jason.woltjeandClaude Opus 5.5
9f1563ec16
Folds Filbert's N1 per Sage's comment 28355: the envelope test sends a role cap with a tester proof. The narrowing mutant at server.mjs:50 survives the full bus suite on round 1 and is killed on round 2. Full gate passed with the real bwrap tester case running. 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
|