jason.woltjeandClaude Opus 5.5
62f354746d
Candidate on 5661bd233: GATED and GATED_ONLY become PRD 1.5's eight hard
waits (data.delete, network.expose and account.create are new), derived
as ACTIONS minus an explicit ROUTED list (REQ-WAIT-3). A gated raise
citing the current spec goes to the domain arbiter unless it is a hard
wait. land-work refuses an arbiter-resolved merge with not-human.
Mutants 5/5 killed; gate green (bus, business and every scripts/test-*.sh).
Row 137 has not landed, so its REQ-LAND-1 refusal and the host-op
arbiter acceptance are left out, as BUILD.md says.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
17 lines
655 B
Plaintext
17 lines
655 B
Plaintext
OK valid RELEASE resolves (exit 0)
|
|
OK invalid RELEASE exits 1 (exit 1)
|
|
OK missing RELEASE exits 1 (exit 1)
|
|
OK valid RELEASE leaves image tag consistent with version
|
|
OK status safe on empty state (exit 0)
|
|
OK status created no pointer
|
|
OK fault-injected activation refuses (exit 1)
|
|
OK refused activation wrote no pointer
|
|
OK refusal logged exactly once with valid fields
|
|
OK healthy activation succeeds (exit 0)
|
|
OK pointer written with valid fields
|
|
OK repeat activation succeeds (log grows) (exit 0)
|
|
OK log is append-only across activations
|
|
OK rollback without previous refuses (exit 1)
|
|
|
|
selftest: 14 passed, 0 failed
|