David/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

session 2026-07-19: coordinate-contract arc closed — REVIEWED-64 built + placement-gated, spec v2.2.0 landed, REVIEWED-65 placed; PENDING-64 closed

Browse Source
This commit is contained in:
David F Glidden
2026-07-19 14:40:54 +02:00
parent bfd85a99e6
commit 8f6577cc0c
8 changed files with 105 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
REVIEWED.md
+7 -1
View File
@@ -600,4 +600,10 @@ DONE + DEPLOYED (a9e5196).
**Date:** 2026-07-19
**Decision:** AUTHORIZED
**Notes:** Jurist design-gate PASSED 2026-07-18 (`chamber-library/docs/coordinate-contract-design-gate-JURIST-RULING-2026-07-18.md`, filed verbatim; package + Addendum: `docs/coordinate-contract-FOR-JURIST-2026-07-18.md`). One docket at PROPOSAL weight with FIX parts (the PENDING-63 pattern). Ruled: **ONE constitutional coordinate contract** — a 1-based line in `source_file`, valid against `source_sha256` (hash-locality extended from *which file* to *where in the file*); the producer's array index is a tool detail in a **declared transitional state** ending at translation — a consumer builds to one contract and refuses anything marked untranslated. **The contract binds all five field families** (`sections[]` · `provenance.pages[]` · `notes[]` · `anchors[]` · `app[]`) per §III's shared-substrate clause: no committed sidecar may exist in a mixed-frame state; translation covers all five in one operation per work (vehicle decided at #2's build — #2's scope widened explicitly or an atomic companion pass; the mixed state never allowed). Translation at #2's re-stamp (item (f)); `write_sidecar` continues to bind the file only. Frame remedy: **name the frames, don't rename the field** — one per-sidecar declaration, **schema-optional, gate-required**, FIX lane, naming in the schema doc's Naming note. **Declare now on all eleven** landed sidecars. **`notes[]`'s credit stated explicitly as linkage-only** — it does not extend to its line coordinates. Proof condition: `citation_coverage.status: verified` only for coordinates verified in the landed frame by **multi-point content probe per work**; where no single constant resolves all probes, the work is **held, not force-fitted**.
**If AUTHORIZED:** proceed to build the FIX parts (frame naming + per-sidecar declaration + the graduation refusal + the eleven declarations + the `notes[]` linkage-only statement), tag commits REVIEWED-64; the contract's constitutional text lands via the amendment lane at PROPOSAL weight (hook-gated, grounded); translation itself remains #2's work under the ruled proof condition.
**If AUTHORIZED:** proceed to build the FIX parts (frame naming + per-sidecar declaration + the graduation refusal + the eleven declarations + the `notes[]` linkage-only statement), tag commits REVIEWED-64; the contract's constitutional text lands via the amendment lane at PROPOSAL weight (hook-gated, grounded); translation itself remains #2's work under the ruled proof condition.
## REVIEWED-65 — The coordinate contract lands as spec v2.2.0 (§III subsection; requirement constitutional, mechanism declared data)
**Date:** 2026-07-19
**Decision:** AUTHORIZED
**Notes:** Jurist gate + placement ruling PASSED 2026-07-19 (`chamber-library/docs/coordinate-contract-edit-set-JURIST-RULING-2026-07-19.md`, filed verbatim; edit-set spine + Addendum: `docs/coordinate-contract-amendment-edit-set-2026-07-19.md`). REVIEWED-64's FIX parts pass as built (the contract-frame-at-#1 refusal noted by the jurist as "the best thing in this build" — the gate refuses the dangerous *claim*, not merely the dangerous value). **Placement: (a) spec supersession** — separable from PROPOSAL weight; ruled on doctrinal-traceability (the A3 legibility test: §III is where a successor looks, and the contract constrains what §III's substrate means). **Required correction applied before ratification:** the constitution states the verification *requirement* (a coordinate is attested `verified` only when verified in the landed frame against `source_sha256` — never defaulted, never for translated-but-unverified values) and the no-mixed-frame *property*; the *mechanism* (multi-point probe per work · per-work-constant offset model · hold where no single constant resolves — specified-but-unbuilt) lives in declared data (`graduation-spec.yaml` `sidecar.translation:`), revisable without supersession per §VII's routing-table pattern; the vehicle prescription ("one operation per work") removed in favour of the property, vehicle decided at #2's build. **Both flags applied:** schema doc renamed `sidecar-schema-LOCKED-2026-07-12.md` (filename-says-DRAFT hazard); `producer_frames` keyed to the named producer (unmapped producer → no stamp → line-carrying sidecar HOLDS; witnessed red 186/188 → green 188/188). Pacing note recorded (pre-#2 batches grow the untranslated backlog; batch pacing ⟷ #2 scheduling coupled). **Steward ratified 2026-07-19; v2.2.0 LANDED:** v2.1.0 frozen byte-identical; §III gains *The coordinate contract* subsection (Ion demonstrative record preserved); bounded-diff proven (header block + subsection only; all else v2.1.0 verbatim). Change class: PROPOSAL-class by the change-class test (the graduation refusal changes what the gate accepts), MINOR-semver (forward-only; the eleven were declared in the same docket — no re-verify storm).
**If AUTHORIZED:** LANDED — commits tagged REVIEWED-64 (`9112564` build · `7dd852e` gate outcome) and REVIEWED-65 (`81cbdd1`, the v2.2.0 supersession). PENDING-64 closes. Translation and the probe build remain #2's work (Region 4) under the declared mechanism; the engine's ingest-side frame check belongs to the engine session.