Night Shift / D7 · Worker crash and resume
D7 · Worker crash and resume
The custody commit is interrupted after the effect lands. Instrumented across seeds, a scripted run makes 143 commit_effect calls, exactly one commit_ready_transfers call, and replays zero receipts. Every container still commits once, and the run does not resume after the loss, so no receipt replay is exercised on the scripted tier.
Expectations
Properties of the outcome, not scenario identifiers
- all_invariants_hold
Every hard invariant N1-N13 holds in the final snapshot
- no_duplicate_effect
No semantic action produced more than one committed effect
- fault_actually_fired
The injected fault fired
- no_duplicate_committed_transfer
No container has two committed transfers
Injected faults
Keyed on (tool, action id, call number) so a rerun reproduces exactly
| Tool | Call | Kind |
|---|---|---|
| commit_ready_transfers | 1 | commits, response lost |
Runs
6 recorded run(s) across the campaign
| # | Driver | Seed | Result | Final state | Faults | Tool calls | Denied | Model calls | Reconciled | Unmet | Time |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 7 | scripted | 20260826 | PASS | CLOSED | 1 | 105 | 0 | 0 | 42/42 | — | 0.52s |
| 28 | scripted | 20260927 | PASS | CLOSED | 1 | 105 | 0 | 0 | 42/42 | — | 0.61s |
| 49 | scripted | 20261028 | PASS | CLOSED | 1 | 105 | 0 | 0 | 42/42 | — | 0.6s |
| 70 | scripted | 20261129 | PASS | CLOSED | 1 | 105 | 0 | 0 | 42/42 | — | 0.66s |
| 91 | scripted | 20261230 | PASS | CLOSED | 1 | 105 | 0 | 0 | 42/42 | — | 0.88s |
| 112 | scripted | 20261331 | PASS | CLOSED | 1 | 105 | 0 | 0 | 42/42 | — | 0.91s |