session 2026-07-19: PENDING-64 lodged+design-gate PASSED, REVIEWED-64 placed (coordinate contract ruled); S5 session file + index rotation + harvest + 3 KG lines

This commit is contained in:
David F Glidden
2026-07-19 12:50:54 +02:00
parent 9effd630ae
commit bfd85a99e6
8 changed files with 98 additions and 4 deletions
+10
View File
@@ -1596,3 +1596,13 @@ Disposition (verbatim capture + executor action-list: `chamber-library/docs/libr
**Recommendation:** (a). Design brief FOR-JURIST before code (gate-zero territory; the enforced precondition's `enforced_by` text in `graduation-spec.yaml` may need a matching FIX).
**Files affected (on authorization):** `scripts/archive_sources.py` (the shared-source entry form + the pending→archive move) · `scripts/graduate_to_canonical.py` (source_gate apply leg, if the call shape changes) · `_curation/graduation-spec.yaml` `preconditions:` (enforced_by wording, if changed) · `scripts/test_tools.py` (the end-to-end positive test) · Chamber Sources `manifest.json`/`pending-manifest.json` entry shapes.
**Awaiting:** ~~Jurist design-gate (Q1–Q7)~~ **DESIGN-GATE PASSED 2026-07-18** (`chamber-library/docs/PENDING-63-design-gate-JURIST-RULING-2026-07-18.md`, filed verbatim; package: `docs/PENDING-63-JURIST-PACKAGE-2026-07-18.md` + Addendum): Q1 split confirmed at PROPOSAL weight · Q2 Option B + the same-binding/different-binding distinction · Q3 affirmative role test, copy→verify→remove · Q4 remove-don't-mark · Q5 + the re-pointing case · Q6 dereference + recompute · Q7 rides · dry-run labelled · **positive test = ratification condition + first real run observed.** ~~Steward authorization~~ **STEWARD AUTHORIZED same day** ("close this one today"). **BUILT + LANDED 2026-07-18** (commits `744417b` + the observed-run commit, tagged REVIEWED-63): fleet 157/157 with the end-to-end test in-change; **the first real pending-staged graduation OBSERVED** — loeb.dsl archived once as the `loeb-dsl-537-volumes` artifact (disk-verified), 6 works attached + graduated with re-stamped sidecars, staging cleared by last reference, 14 legacy entries untouched, catalogue 1300 canonical, engine gate canary clean. **Awaiting only: steward placement of REVIEWED-63** (copy-paste draft in the package Addendum).
## PENDING-64 — The line-ref coordinate contract: what a `line` means, who translates it, where it is proven
**Date:** 2026-07-18
**Tag:** [PROPOSAL]-weight docket with FIX parts (executor's read; package Q4 asks the jurist to confirm the class split). The REVIEWED-58 held-open seam; gates #2's re-stamp (Region 4, ~3,333 anchors, known-defective input per the jurist's 2026-07-18 consequence note).
**Summary:** No ruling says what frame a landed sidecar's line values live in, and the three frames in play disagree: the producer emits 0-based indices into its own head-less body array (five field families: `sections[]`, `provenance.pages[]`, `notes[]`, `anchors[]`, `app[]`); the LOCKED schema's example reads as a file coordinate beside `source_sha256` ("anchors trusted only against this"); the landed file shifts every interior line by a per-work constant (prep swaps the producer's 4-line head for frontmatter + title block — Ion: 15 lines). `write_sidecar` re-stamps the sha to the landed file and leaves line values untouched, so **eleven landed sidecars hash-assert "I describe this file" while every line value indexes an artifact that no longer exists** — protected only by the no-consumer-binds discipline (uncredited / produced-without-proof). Measured on Ion today: `anchors[0]` (`loeb-line 531`, `line: 161`) lands mid-Greek read 1-based, on an empty line read 0-based, and on the coherent Stephanus 530d–531a exchange only when shifted by the head-delta — the frame-dependence bit its own observers (the S3 RECORD and today's probe disagree because each silently chose a base).
**Rationale:** Item (f) as amended (REVIEWED-62) makes the raw `loeb-line` layer #2's documented re-stamp input; the jurist's consequence note requires the contract resolved before or at the re-stamp or the offset propagates into the credited citation layer as confident miscitation. Also the fourth instance of the shared-name collision class ("manifest"/53 · "ABSTAIN"/55 · "app[]"/62): the token `line` names two different coordinates.
**Options:** **(A)** one constitutional contract, landed-frame, translated at #1's `write_sidecar` (REJECT: contradicts item (f) — the raw layer would reach #2 pre-transformed by a path with no proof condition; expands #1's ruled boundary; converts obviously-foreign values into plausible-but-unproven ones). **(B)** two contracts meeting at #2's re-stamp (RECOMMEND): Contract 1 = the producer's convention, tool-level declared data, outside the constitution; Contract 2 (constitutional) = every citation-credited coordinate is a landed-file coordinate (1-based line in `source_file`, valid against `source_sha256` — hash-locality extended from *which file* to *where in the file*), proof condition = per-work offset derived mechanically AND verified by content probe at the landed file; `citation_coverage.status: verified` attestable only for landed-frame-proven coordinates; the raw layer retained per item (f) but frame-DECLARED via an additive schema field (FIX lane). **(C)** producer-frame forever + new file-coordinate fields (REJECT: enshrines a tool's array-index in the citation layer's primary field permanently).
**Recommendation:** (B). Grounds: item (f) already draws this line; the §4 lock table protects what is written (only B changes no existing sidecar's meaning); §VII's generative principle is the standing precedent (constitution states the requirement, declared data carries the convention); the collision-remedy precedent is a two-senses shape.
**Files affected (on ratification):** `docs/sidecar-schema-DRAFT-v0-2026-07-12.md` (additive frame-declaration field + Naming-note vocabulary, §4 FIX lane) · `_curation/graduation-spec.yaml` (`sidecar:` frame declaration; #2's routing/proof-condition wording when #2 builds) · `scripts/build_loeb_sidecar.py` (Contract-1 docstring declaration) · the 11 landed `.meta.json` sidecars (per the D4 ruling: additive frame declaration now vs hold-until-#2) · the constitution only if the jurist rules the contract into §III/§VII prose (supersession + semver).
**Awaiting:** ~~Jurist design gate (package §6, Q1–Q6)~~ **DESIGN-GATE PASSED 2026-07-18** (`chamber-library/docs/coordinate-contract-design-gate-JURIST-RULING-2026-07-18.md`, filed verbatim): Option B confirmed in substance, **REFRAMED** — ONE constitutional 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 index = a tool detail in a **declared transitional state** ending at translation (consumers build to one contract and refuse anything marked untranslated). **EXTENDED by two findings the package didn't reach:** (1) the contract binds **ALL FIVE field families** per §III's shared-substrate clause — mixed-frame sidecars forbidden at any committed point; translation covers all five in one operation per work (vehicle decided at #2's build; the mixed state never allowed); (2) `notes[]`'s credit stated explicitly **linkage-only** — it does not extend to its line coordinates. D3 name-the-frames (one per-sidecar declaration, **schema-optional / gate-required**, FIX lane, Naming note); D4 **declare now on all eleven**; Q4 one docket PROPOSAL weight + FIX parts; Q6 **multi-point probe per work**, honest-refuse where no single constant holds. Datum-not-ledger third unbidden instance recorded (candidate stands; trigger sharpened to domain-external — candidates register ⟳ 2026-07-19). **Awaiting: steward REVIEWED-64** (copy-paste draft in the package Addendum). Self-contained package: `chamber-library/docs/coordinate-contract-FOR-JURIST-2026-07-18.md`.