saymrwulf/ltl-accumulator-verified
1
0
Fork 0
mirror of https://github.com/saymrwulf/ltl-accumulator-verified.git synced 2026-09-04 20:03:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Runbook: drift-tolerant producer pin (Fable drill on the Opus Phase-B batch)

Browse source 
The drill caught: committing the paper outline advanced the pacta
working tree 8b1a325→84e0eb8, so the release tuple's exact-SHA
PACTA_COMMIT=8b1a325 was already stale and B1b's 'HEAD==PACTA_COMMIT'
would have falsely aborted. Verified 8b1a325..84e0eb8 touches ONLY
paper/ (zero producer code). Fixed the invariant to pin the producer
CODE (PACTA_CODE_BASE=8b1a325, git diff -- src provider must be empty),
tolerating doc-only commits above it — the correct thing to pin is the
reviewed producer code, not an ephemeral HEAD.

Drill also re-confirmed by execution (not from Opus-session logs):
operational append base pristine (12 entries, root bcd15f9d, max index
11, mtimes Jul 7 — uncontaminated by any rehearsal); B1 clean-room exit
0 + ATTESTATION GREEN with fidelity; live log 12/bcd15f9d; producer
suite 115/115.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
mrwulf 2026-07-16 19:20:00 +02:00
parent 576a2d1e5c
commit b61a38911c
1 changed files with 9 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
ATTESTATION-RUNBOOK.md
View file

@ -28,13 +28,15 @@ them; any mismatch aborts. Filled from the round-6 rehearsal
```
SUBJECT_COMMIT = 172a1d0653f489d5b7cb73ac7942a57cbb496532 # corpus (round-5 freeze, reviewed r6)
PACTA_COMMIT = <the pacta commit containing ALL of: the round-6 parser
hardening + fail-closed classifier (87ef2a1), the leaf
`scope` block (d937a94), and examples/repos.yaml's
ltl-accumulator-verified entry (0f5906c). The GREEN 12→13
rehearsal ran at d937a9438218eea537ed47fef8c206375bd9e400;
use the current pacta HEAD that contains it —
re-confirm clean + suite-green on the day (B1b)>
PACTA_CODE_BASE = 8b1a325caaef6d3993d63d4c730eab03065e936b # round-6-hardened
producer: parser hardening + fail-closed classifier +
leaf `scope` block + examples/repos.yaml entry + dead-code
cleanup. The 12→13 rehearsal ran green on this producer.
PACTA_COMMIT = <the pacta working-tree HEAD at B2 time — MUST have
`git diff PACTA_CODE_BASE HEAD -- src provider` EMPTY
(producer code identical to the reviewed base; doc-only
commits above it, e.g. paper/, are fine). Record the exact
HEAD in the B6 evidence.>
EXPECTED_OLD_SIZE= 12
EXPECTED_OLD_ROOT= bcd15f9d7ea1c9e5bd0a9e64fa8d846208b1e29ee167d4f1eac19b30e6913ee9
KEY_FINGERPRINT = 874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a