Candidate manifest 616f953fe09bfc198645886bc4c7228a0fdeafa8c89b1729f2be8a5222689607 on dda7e31b0.
Owner's gate 23:11:36Z-23:15:46Z exit 0; mutants 17 of 17 killed.
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
|