P13-S16 RATIFIED after twelve independent rounds; pins frozen, not dispatched
Ratification round 12 returned zero findings against25b4925-- the live mutation-site locators, M7's field anchors, M6's structural mapping, touch-table coverage, the gate and report consumers, and the expected-outcome table all rechecked, with the revised m40 citations and the remaining named mutation sites resolving against the tree. Ratified on the authority of the repository owner. Contract status block: RATIFIED, DISPATCHABLE, PINS FROZEN -- executed, not edited; a defect found during execution is reported as its own amendment with its own review round. The block's earlier promise to say RATIFIED when the decision was taken is discharged, and it still states no round count, per round 2's correction. NOT YET DISPATCHED. Ratification and dispatch are separate acts, no execution instruction has been given, and nothing is implemented -- so the ledger row does NOT move to RESOLVED. The contract now distinguishes four states: unblocked, ratified, dispatchable, resolved. This rung is the first three. What ratification does not settle, recorded at the top of the contract: - Two cells of §3's expected-outcome table -- t8d under M2, t9 under M1 -- are PREDICTIONS from pins not yet executed, stated so they can be falsified. A mismatch is a finding in the contract or the implementation. - Every gate, test and mutation is specified and none has been run. Twelve rounds went into the claim that they can be run and that their results would be evidential; execution is what tests that claim. - §4a's landing obligation is outstanding by construction: CLAUDE.md and the handoff carry statements pin 12's bump falsifies, and must not be staged during execution. - The execution report is subject to independent review before completion is accepted, as S27's was -- which turned a clean paper record into seven post-execution amendments. Round 11 is also recorded: pin 6's m40 locators had drifted to invariants.rs:6045, the enclosing module's doc comment rather than m40's own. Fixed by the owner at25b4925to :6060-:6135 and gate 6 to :6063; verified against the tree. The defect record, so ratification is not read as vindication: 32 findings closed before it -- 19 in draft amendment 1 and revisions A-J, 13 across rounds 1-11. None was in the pins' substance. The maintenance rule, the refusal, invariant 21, the undo strip and the authority bump have been stable since draft amendment 1, and every single finding was in the evidence apparatus: what observes a requirement, what channel carries an observation, who owns a claim, and whether a locator resolves. That is where this contract was weak and where execution should be read hardest. Governing docs updated to the now-true state: CLAUDE.md's track head, the handoff's POST-S27 chain row, and the S16 ledger cell, which supersedes its own "has not been through adversarial review" sentence per the append-only convention. Documentation only: no .rs or .toml touched. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Ps1szk2mSfgp4Cz21eVH9x
This commit is contained in:
parent
25b492575e
commit
34232dc1a6
|
|
@ -17,7 +17,7 @@ model with a LaTeX specification suite as its source of truth.
|
|||
|
||||
| Track | Lives in | Current head |
|
||||
|---|---|---|
|
||||
| **Spec / Pass 13** — wire format, bundle, ops, text projection, the `.tex` suite | `spec/`, `crates/epiphany-{core,ops,bundle,textproj,testkit}` | **P13-S27 LANDED** (`4df8e25`); **P13-S16 unblocked, contract still DRAFT** |
|
||||
| **Spec / Pass 13** — wire format, bundle, ops, text projection, the `.tex` suite | `spec/`, `crates/epiphany-{core,ops,bundle,textproj,testkit}` | **P13-S27 LANDED** (`4df8e25`); **P13-S16 RATIFIED and dispatchable, pins frozen, not dispatched** |
|
||||
| **Editor / T4** — the editing seam, engraving, the toolkit spike | `spec/PLAN_EDITOR_APP.md`, `spec/CONTRACT_EDITOR_*`, `spikes/`, `crates/epiphany-{editor-core,editor-gui,engrave,layout-ir,glyphs,render-svg}` | T4 spike, round 2 built but not run |
|
||||
|
||||
They are currently independent. The T1b/P13-S27 collision in
|
||||
|
|
|
|||
|
|
@ -1,7 +1,16 @@
|
|||
# Contract — P13-S16: the projection gets maintained
|
||||
|
||||
**Status:** **DRAFT — UNBLOCKED 2026-08-09. NOT RATIFIED, and therefore NOT
|
||||
dispatchable.**
|
||||
**Status:** **RATIFIED 2026-08-09, on the authority of the repository owner, on the
|
||||
evidence of the review records below — the last of which returned zero findings.
|
||||
DISPATCHABLE.**
|
||||
|
||||
**THE PINS ARE FROZEN. They may be executed, not edited.** A defect found during execution
|
||||
is **reported, not patched in place** — if it needs a pin change, that is its own amendment
|
||||
with its own review round. *(S27's discipline, and the reason its post-execution findings
|
||||
became amendments 1–7 rather than silent edits to frozen text.)*
|
||||
|
||||
**NOT YET DISPATCHED.** Ratification and dispatch are separate acts; no execution
|
||||
instruction has been given, and **no implementation work has begun.**
|
||||
|
||||
**P13-S27 landed and was accepted at `4df8e25`**, so pin 0's blocker is discharged: an
|
||||
authority now defines the implementation's current reduction semantics
|
||||
|
|
@ -9,24 +18,39 @@ authority now defines the implementation's current reduction semantics
|
|||
`core_spec.tex:11614`'s requirement is **met** — a stale canonical base is refused with
|
||||
`CanonicalBaseRequiresRebuild` on both the read and write paths.
|
||||
|
||||
**What remains before dispatch is this contract's own ratification.** It is complete and
|
||||
ratifiable as a *plan*.
|
||||
|
||||
> **Which independent rounds have closed, and what each found, are the review records
|
||||
> below. This block does not restate them, and states no count and no ordinal — a status
|
||||
> line that describes the review is a status line that goes stale every time the review
|
||||
> advances.** The **last record below is the review state**; ratification is the
|
||||
> repository owner's decision taken on that evidence, and this block will say
|
||||
> **RATIFIED** when it is taken.
|
||||
> **Which independent rounds closed, and what each found, are the review records below.
|
||||
> This block does not restate them, and states no count and no ordinal** — a status line
|
||||
> that describes the review goes stale every time the review advances. **The records are
|
||||
> the review state.**
|
||||
>
|
||||
> *(It read "has **not been through adversarial review rounds**" — true when written and
|
||||
> false from the first independent pass onward, while sitting in the summary a top-down
|
||||
> reader meets first. **Corrected in ratification round 2**, which found it as a live
|
||||
> false signal rather than as stale history.)*
|
||||
> *(This block read "has **not been through adversarial review rounds**" — true when
|
||||
> written and false from the first independent pass onward, while sitting in the summary a
|
||||
> top-down reader meets first. **Corrected in ratification round 2**, which found it as a
|
||||
> live false signal rather than as stale history. It then promised to say **RATIFIED** when
|
||||
> the decision was taken; that promise is discharged above.)*
|
||||
|
||||
*Unblocked*, *ratified* and *dispatchable* are three different states, and conflating the
|
||||
first two is how the S27 contract came to be ratified after a single round and then have
|
||||
that ratification withdrawn — see its status block.
|
||||
*Unblocked*, *ratified*, *dispatchable* and *resolved* are four different states. This
|
||||
contract is now the first three and **not the fourth** — nothing is implemented. Conflating
|
||||
the first two is how the S27 contract came to be ratified after a single round and then
|
||||
have that ratification withdrawn; **this ratification rests on a different footing: every
|
||||
round was independent, every round but the last returned a blocking finding, and the last
|
||||
returned none.**
|
||||
|
||||
### What ratification does NOT settle, stated at the top so it is not missed
|
||||
|
||||
- **Two cells of §3's expected-outcome table are PREDICTIONS, not observations** — `t8d`
|
||||
under M2 and `t9` under M1 depend on how pins 4 and 1a are executed. They are stated so
|
||||
they can be falsified; **a mismatch is a finding, in the contract or the
|
||||
implementation.**
|
||||
- **Every gate, test and mutation is specified and none has been run.** Twelve rounds went
|
||||
into the claim that they *can* be run and that their results *would* be evidential.
|
||||
**Execution is what tests that claim.**
|
||||
- **§4a's landing obligation is outstanding by construction** — `CLAUDE.md` and the
|
||||
handoff carry statements pin 12's bump falsifies, and they **must not** be staged during
|
||||
execution.
|
||||
- **The execution report is subject to independent review before completion is accepted**,
|
||||
as S27's was. That is what turned S27's twelve-round paper record into seven
|
||||
post-execution amendments, and there is no reason to expect this rung to differ in kind.
|
||||
|
||||
**This rung's first act is bumping the authority to `1`** (**pin 12**), because it
|
||||
changes `CreateStaffGroup`'s reduction verdict. That bump is the discipline S27
|
||||
|
|
@ -520,6 +544,48 @@ it can report**, and failing early looks like failing correctly: the test is red
|
|||
mutation "worked", and the required evidence never existed. **Harden the locator, not only
|
||||
the assertion.**
|
||||
|
||||
### RATIFICATION ROUND 11 — independent, against `63a2dc8`. One blocking finding, fixed by the owner.
|
||||
|
||||
**Pin 6's `m40` locators had drifted**: the doc/body span cited `invariants.rs:6045`, which
|
||||
is the enclosing **module's** doc comment, not `m40`'s. Corrected at `25b4925` to
|
||||
**`:6060`–`:6135`** — `m40`'s own doc plus body — and gate 6's citation to **`:6063`**, the
|
||||
`fn` line. **Verified against the tree:** all three resolve, the span is `m40`'s and not the
|
||||
module's, no `:6045` reference remains, and the commit touched one file with no
|
||||
implementation change.
|
||||
|
||||
**A locator-only finding is a different kind from rounds 1–10**, every one of which found a
|
||||
defect in what the contract *required*. This one found a defect in how it *points* — the
|
||||
class the execution-time re-derivation obligations exist to absorb.
|
||||
|
||||
### RATIFICATION ROUND 12 — independent, whole-artifact, against `25b4925`. ZERO FINDINGS.
|
||||
|
||||
Rechecked the live mutation-site locators, M7's field anchors, M6's structural mapping,
|
||||
touch-table coverage, the gate and report consumers, and the expected-outcome table. **The
|
||||
revised `m40` citations resolve and the remaining named mutation sites resolve against the
|
||||
tree.**
|
||||
|
||||
**What a clean round does and does not establish.** It is the criterion S27's round 11
|
||||
named and this contract inherited: *treat dispatchable as a claim requiring evidence of
|
||||
convergence, not a status reached by running out of findings.* **Twelve independent rounds,
|
||||
eleven of them blocking, and the twelfth clean** is that evidence — and it is the argument
|
||||
for having run whole-artifact rounds *before* ratification rather than treating ratification
|
||||
as the first whole-artifact read.
|
||||
|
||||
**It is not proof of correctness.** Round 12 reviewed the artifact as a whole; **it did not
|
||||
run anything.** Every gate, test and mutation here remains specified and unexecuted, and
|
||||
S27's history is the relevant precedent: a clean paper round, then **seven post-execution
|
||||
amendments** once the gates were actually run. **The value of the clean round is that the
|
||||
document no longer contradicts itself — not that its predictions are right.**
|
||||
|
||||
**The defect record, stated plainly so ratification is not read as vindication:** draft
|
||||
amendment 1 and revisions A–J closed **19 findings** before the first ratification round;
|
||||
rounds 1–11 closed **13 more**. Not one was in the pins' *substance* — the maintenance rule,
|
||||
the refusal, invariant 21, the undo strip and the authority bump have been stable since
|
||||
draft amendment 1. **Every finding was in the evidence apparatus**: what observes a
|
||||
requirement, what channel carries an observation, who owns a claim, and whether a locator
|
||||
resolves. That is where this contract was weak, and it is where execution should be read
|
||||
hardest.
|
||||
|
||||
**The pattern across revisions A–J is sharper than any individual finding: a correction
|
||||
propagates one hop and stops.** Rev A fixed pin 10a and left touch row 11; the sweep
|
||||
caught row 11 and stopped before §6's consumer; rev D found pin 10a's *decision* still
|
||||
|
|
|
|||
|
|
@ -16,7 +16,7 @@ unpushed commits on any branch.
|
|||
> | **§1.2 the live constraint** | no bundle anywhere may carry a canonical base | **LIFTED.** A base is accepted when its `reduction_algorithm_version` matches the running authority and refused with `CanonicalBaseRequiresRebuild { base, current }` when it does not — read side in `open`, write side in `commit`/`commit_versioned` |
|
||||
> | §1.2 conformance criterion 4 | canonical-base wiring **suspended** | **RESTORED.** Both lapsed assertions are back and the suspension marker is gone from `testkit/src/roundtrip.rs`. **§1.2's warning against re-homing the snapshot to `acceleration_snapshots` stands permanently** — it was never about the suspension |
|
||||
> | §1.2 the third error | `ReductionAuthorityUnavailable`, temporary | **DELETED**, replaced by `CanonicalBaseRequiresRebuild { base, current }`. The two permanent repack errors are unchanged, and **§1.2's "none may degrade to read-only" rule carries to the new error verbatim** — a stale base is the wrong materialization, not a restricted-but-correct view |
|
||||
> | §1.4 chain state | `P13-S27 (UNBLOCKED) → P13-S16 (blocked on S27)` | `P13-S27 (LANDED)` → **`P13-S16 (UNBLOCKED, DRAFT — needs ratification)`** |
|
||||
> | §1.4 chain state | `P13-S27 (UNBLOCKED) → P13-S16 (blocked on S27)` | `P13-S27 (LANDED)` → **`P13-S16 (RATIFIED 2026-08-09, pins frozen, dispatchable — not dispatched, nothing implemented)`** |
|
||||
> | §2.6, §4.3 collision | T1b and P13-S27 must not fly together | **RESOLVED** — S27 has landed. **T1b is NOT thereby free:** it remains blocked on Ruling B blocker (ii), versioned decode — see §2.3, which is still accurate |
|
||||
> | §3.5, §4.2, §4.3 baseline | 1570 passing | **Moved when S27 landed. The count is in `CLAUDE.md`'s *Green baseline* and is deliberately not stated here, or anywhere else in this document** — it was kept in three places and went stale in all three |
|
||||
> | §4.3 item 7 | dispatch P13-S27 | **done** |
|
||||
|
|
|
|||
File diff suppressed because one or more lines are too long
Loading…
Reference in New Issue