amadan
sim: expected-outcomes.txt records reloc-name-drops-move-target as missed at one box, with its direct test; park-evidence-every-box needs no line, since its witness catches it in either shape
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
1 file changed,
+1
−0
internal/sim/hostlife/expected-outcomes.txt+1 −0
diff --git a/internal/sim/hostlife/expected-outcomes.txt b/internal/sim/hostlife/expected-outcomes.txt| index f46fe7b7b..8f5474366 100644 |
| --- a/internal/sim/hostlife/expected-outcomes.txt |
| +++ b/internal/sim/hostlife/expected-outcomes.txt |
| @@ -49,3 +49,4 @@ reloc-fence-pending-blocks missed a fidelity guard: under the mutation the phase |
| reloc-release-needs-flush missed a fidelity guard: the mutation's unflushed release is legal in the model (the next admission declares what the remote does not hold, as writes_lost), so no invariant fails, but 1b-next refuses it and waits for the deadline; TestReleaseRefusedAfterACrashBeforeTheFlush and TestReleaseReplaysTheRecordedFlush fail under the mutation |
| operator-stop-unrecoverable-only missed a fidelity guard on the operator's resolve: the mutation stops a target that could still release, and the declared loss and replay that follow are legal in the model, so no invariant fails; TestOperatorResumesASlowRelease and TestOperatorResumesARecordedFlush fail under the mutation |
| reloc-release-needs-receipt missed a fidelity guard: under the mutation recorded positions replay without root's receipt, and the release they journal is the flushed one, so no model invariant fails, but 1b-next refuses it after a restart; TestReleaseRefusedAfterACrashBeforeTheReceipt and TestOperatorStopsATargetWithNoReceipt fail under the mutation |
| +reloc-name-drops-move-target missed liveness: under the mutation a converted move's own target stays on the barrier and stalls the relocation only if that box never acknowledges, which the sweep does not produce (0 of 3,000 at two boxes, 0 of 300 at one box, on this revision); TestConvertedMoveDropsTheMoveTargetFromTheBarrier stops the move's target and fails under the mutation |