Defect
Not a defect — a status record. Carl closed the 2026-08-21 import batch at ~22:15 in finish-line mode ("file and leave, no new fixes unless blocking"). This issue is the pickup point. The orchestrator's memory file batch-2026-08-21-handoff.md has the lane-level detail; release-lab#250 is the batch ledger.
Decided build
State at close.
| repo |
state |
| canon |
v1.59.0 (f0694b0). Today: v1.58.6 → v1.59.0. #804/#814, #816/#818, #821/#822, #826/#827, #830/#831, #809/#817 |
| release-lab |
full width restored, pinned v1.58.11 (#258); oci-only cell v0.28.0 published (#253 proven); v0.28.1 full-width Release PR #261 merged, publish running |
| monumental-archive |
#262 merged (d9611af) — belt adopted, first green gate since import (needed canon #830 atlas-token + compose repin, MA#267). MA#263 = owners' record, OPEN |
| edtf |
pinned v1.58.11; v1.3.1 BURNED (draft = record) on #833 — see below. v1.3.0 also burned (#816). edtf#172 = owners' record, OPEN |
| iiif-server |
v0.2.2 published; #133 merged (audit validates the published image) |
| ma-db |
PR 1 merged; PR 2 DEFERRED by Carl (Dockerfile repin to the org edtf-postgres image, ma-db#5) |
The one blocker for edtf v1.3.2 — #833. build-rust-crate.yml emits no sbom-plan-* artifact while slsa/assert-policy.json declares rust-crate owes a sbom-cargo- document (owedFrom: 1.42.0); the release SBOM assertion correctly refuses. This was foreseeable by reading (Carl's challenge, measured by the edtf lane): the obligation is a literal table in the policy, the emitters are a grep over the builders, and the set difference has had exactly one inconsistent row for the 40 releases since v1.42.0. Nothing about it needed a runner or a real repo. Decided build (in #833): a belt lint asserting every class with a planned: true prefix has a builder emitting a matching plan — deterministic, two files, belongs in ci — plus the one-workflow fix. Release-path: canon fix → canon release → edtf bump → v1.3.2. Everything else in v1.3.1 worked: 58/59 jobs, all ten pgrx cells across pg14–18 × 2 arches, repro legs matched, upgrade path derived from 1.2.3 past the burned 1.3.0 and proven live.
Deferred, filed, not built (batch next week): #813 (pgrx compiles + tests in the gate, belt-provisioned postgres; Carl ruled "into the belt, correct by construction"; lab-pg exclusion dies with it), #820 (MSRV check lost on import → lint:msrv in the belt; needs a ruling between rustup-at-run-time and a second pinned toolchain), #825 (dead-end ≠ burned in pg-upgrade-path; release path should WRITE the installable set), #803/stele#252 (private member reads as unseen — every consumer level red, canon self-level red), #784, MA#264/#265/#266/#267, ma-db PR 2.
Rulings made today that bind the batch (all dated in the issues): no lab leg for release-path fixes when the only consumer is the proof (120-minute runs are a human cost); checks a repo lost on import go INTO THE BELT, never back as repo-local tasks; a recorded loss is not conformance — diff the old required checks against the belt before calling an import done; record issues (#172, #263, iiif#123) are the owners' to close.
Four-defect family worth naming (edtf lane): a release path that assumes "the previous release was ours and succeeded" is proven only by a real adopted repository — #762, #780, #792 needed an imported history, and #816 needed an actually-failed release. #833 is NOT in that family: it is a declaration-without-producer that a lint catches, and the first framing that put it there was retracted the same evening.
Canon consequence
None by itself. Close this when #833 ships and edtf v1.3.2 publishes, or fold it into the next batch's ledger.
Done when
Sequencing
Pickup order: #833 first (it is the only thing between the org and a published edtf). Refs release-lab#250.
Defect
Not a defect — a status record. Carl closed the 2026-08-21 import batch at ~22:15 in finish-line mode ("file and leave, no new fixes unless blocking"). This issue is the pickup point. The orchestrator's memory file
batch-2026-08-21-handoff.mdhas the lane-level detail; release-lab#250 is the batch ledger.Decided build
State at close.
atlas-token+ compose repin, MA#267). MA#263 = owners' record, OPENThe one blocker for edtf v1.3.2 — #833.
build-rust-crate.ymlemits nosbom-plan-*artifact whileslsa/assert-policy.jsondeclaresrust-crateowes asbom-cargo-document (owedFrom: 1.42.0); the release SBOM assertion correctly refuses. This was foreseeable by reading (Carl's challenge, measured by the edtf lane): the obligation is a literal table in the policy, the emitters are a grep over the builders, and the set difference has had exactly one inconsistent row for the 40 releases since v1.42.0. Nothing about it needed a runner or a real repo. Decided build (in #833): a belt lint asserting every class with aplanned: trueprefix has a builder emitting a matching plan — deterministic, two files, belongs inci— plus the one-workflow fix. Release-path: canon fix → canon release → edtf bump → v1.3.2. Everything else in v1.3.1 worked: 58/59 jobs, all ten pgrx cells across pg14–18 × 2 arches, repro legs matched, upgrade path derived from 1.2.3 past the burned 1.3.0 and proven live.Deferred, filed, not built (batch next week): #813 (pgrx compiles + tests in the gate, belt-provisioned postgres; Carl ruled "into the belt, correct by construction"; lab-pg exclusion dies with it), #820 (MSRV check lost on import →
lint:msrvin the belt; needs a ruling between rustup-at-run-time and a second pinned toolchain), #825 (dead-end ≠ burned inpg-upgrade-path; release path should WRITE the installable set), #803/stele#252 (private member reads as unseen — every consumerlevelred, canon self-level red), #784, MA#264/#265/#266/#267, ma-db PR 2.Rulings made today that bind the batch (all dated in the issues): no lab leg for release-path fixes when the only consumer is the proof (120-minute runs are a human cost); checks a repo lost on import go INTO THE BELT, never back as repo-local tasks; a recorded loss is not conformance — diff the old required checks against the belt before calling an import done; record issues (#172, #263, iiif#123) are the owners' to close.
Four-defect family worth naming (edtf lane): a release path that assumes "the previous release was ours and succeeded" is proven only by a real adopted repository — #762, #780, #792 needed an imported history, and #816 needed an actually-failed release. #833 is NOT in that family: it is a declaration-without-producer that a lint catches, and the first framing that put it there was retracted the same evening.
Canon consequence
None by itself. Close this when #833 ships and edtf v1.3.2 publishes, or fold it into the next batch's ledger.
Done when
Sequencing
Pickup order: #833 first (it is the only thing between the org and a published edtf). Refs release-lab#250.