neuwirth
/
epiphany
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

P13-S27 amended pre-dispatch: pin 10's escape clause was unsatisfiable 

The status header still read "BLOCKED on the format-epoch rung ... has not
yet landed". That rung landed at bc06706 (fix be244df), and the ledger row
has said UNBLOCKED since. Corrected, recording the prior status rather than
erasing it.

Fixing only the header would have left the contradiction it points at. Pin
10 instructs the ledger writer that P13-S16's row opens only "unless 2a is
ratified and tested within this rung" -- but pin 2a's own prohibition
forbade being amended into a disposition from inside this contract, so the
only route it permitted was resolution from outside, which is what the
format-epoch rung's pin 8 did. The clause's literal condition could never be
satisfied by the one path 2a allowed, and read literally pin 10 would record
S16 as still blocked on a settled disposition.

Amended so ratification is sourced correctly. The "tested" half is
deliberately NOT waived: no other rung exercises this authority, so testing
is discharged by S27's own inherited obligations -- converting both interim
refusals to real capability validation -- and the ledger row may not record
S16 as open until those land with this rung.

Pin 2a's original analysis stays verbatim; its resolution block says so
explicitly. Touch row 11 already carries PASS13_CANDIDATES.md for pin 10, so
the amendment adds no touch row. Documentation only -- no code reads .md.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Ps1szk2mSfgp4Cz21eVH9x
This commit is contained in:
Levi Neuwirth 2026-08-07 22:25:27 +02:00
parent 49b512b314
commit 96b40b2d96
No known key found for this signature in database
1 changed files with 48 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

61
spec/CONTRACT_P13S27_REDUCTION_AUTHORITY.md
View File

@ -1,9 +1,18 @@
# Contract — P13-S27: the reduction version gets an outside witness # Contract — P13-S27: the reduction version gets an outside witness
**Status:** DRAFT — **BLOCKED on the format-epoch rung** **Status:** DRAFT — **UNBLOCKED and dispatchable as of 2026-08-07**; **AMENDED
(`spec/CONTRACT_FORMAT_EPOCH_MAJOR1.md`), which is **ratified and in 2026-08-07 (pin 10)**, before dispatch and before ratification. (Was: BLOCKED on
implementation** but has not yet landed. Pins 1 and 3–10 are settled, internally the format-epoch rung, `spec/CONTRACT_FORMAT_EPOCH_MAJOR1.md`, which at the time
consistent, and ratifiable as a plan. was ratified and in implementation but had not yet landed.) **That rung landed at
`bc06706`**, with its pin-3b follow-up at `be244df`. Pins 1 and 3–10 are settled,
internally consistent, and ratifiable as a plan.
**The pin 10 amendment**, recorded here so it is not read as the original: pin 10
made P13-S16's opening conditional on pin 2a being *"ratified and tested **within
this rung**"* — a condition that the only route pin 2a permitted, resolution from
outside, could never satisfy. Ratification is now sourced correctly. The
*tested* half is **not** waived: it is carried by this rung's inherited
obligations rather than dropped. See pin 10.
**Pin 2a is RESOLVED as of 2026-08-07** — from outside this rung, by that **Pin 2a is RESOLVED as of 2026-08-07** — from outside this rung, by that
contract's pin 8, exactly as its prohibition required. Legacy bases are refused contract's pin 8, exactly as its prohibition required. Legacy bases are refused
@ -13,9 +22,11 @@ pin 2a. This contract additionally **inherits three obligations** from that rung
demonstration, and pin 3c's two suspended conformance assertions) — recorded in demonstration, and pin 3c's two suspended conformance assertions) — recorded in
the same place. the same place.
**It becomes dispatchable when the format rung lands, not before.** Until then **It became dispatchable when the format rung landed, not before — and that has
this remains bounded analysis. Pin 2a's original prohibition stands for the now happened.** This is no longer bounded analysis. Pin 2a's original prohibition
record: it was never amended into a disposition from inside this contract. stands for the record: it was never amended into a disposition from inside this
contract, and the resolution above came from outside, which is exactly what the
prohibition required.
**Rung type:** **capability + API change.** No wire bytes move and no schema **Rung type:** **capability + API change.** No wire bytes move and no schema
major or minor changes — `BundleError` has no discriminant and no encoder major or minor changes — `BundleError` has no discriminant and no encoder
@ -426,15 +437,39 @@ behaviour normatively, and a Revision History row. There is **no** existing
"requires rebuild" error language in either document — verified — so this is new "requires rebuild" error language in either document — verified — so this is new
prose, not an amendment. prose, not an amendment.
**Pin 10 — the ledger.** **Pin 10 — the ledger. AMENDED 2026-08-07, before dispatch, on a finding from
the machine-move review.**
`spec/PASS13_CANDIDATES.md`: P13-S27 → RESOLVED, recording both rulings, the `spec/PASS13_CANDIDATES.md`: P13-S27 → RESOLVED, recording both rulings, the
baseline-0 decision, the writer-path correction of §0.4, and **whichever baseline-0 decision, the writer-path correction of §0.4, and **whichever
legacy-base disposition pin 2a settles on**. legacy-base disposition pin 2a settles on** — which, as of 2026-08-07, is the
container epoch, settled from outside this rung.
**P13-S16's row does NOT become dispatchable on this rung alone.** It moves from **The original clause, retained for the record:** *"P13-S16's row does NOT become
"blocked on P13-S27" to "blocked on the pin-2a legacy disposition" unless 2a is dispatchable on this rung alone. It moves from 'blocked on P13-S27' to 'blocked
ratified and tested within this rung, in which case it opens and its row records on the pin-2a legacy disposition' unless 2a is ratified and tested within this
that its first act is bumping the authority past the baseline. rung, in which case it opens and its row records that its first act is bumping
the authority past the baseline."*
**Why it is amended.** Pin 2a *was* ratified — through the format-epoch
contract's four adversarial rounds — but **outside** this rung, which is exactly
what pin 2a's own prohibition demanded: it forbade being amended into a
disposition from inside this contract. So the clause's literal condition
("within this rung") could never be satisfied by the only route pin 2a permitted,
and read literally pin 10 would have the ledger record S16 as still blocked on a
disposition that is settled. The condition was written when an inside resolution
still looked possible.
**As amended:** P13-S16's row becomes **dispatchable when this rung lands**. Pin
2a's disposition is settled, so the row moves from "blocked on P13-S27" straight
to open, and records that its first act is bumping the authority past the
baseline.
**The "tested" half is not waived by this amendment.** Ratification came from
outside; testing did not, and cannot — no other rung exercises this authority.
It is discharged by this rung's own inherited obligations, in particular
converting **both** interim refusals to real capability validation. **The ledger
row may not record S16 as open until those land with this rung**; ratification of
2a alone does not open it.
--- ---