carlos / platform Public

sim: exec-writer and reloc-replacement-table are rare 30000 at two boxes, caught 1 and 2 times in 3,000, so a 3,000-seed sweep that misses them by chance does not fail (final review minor 6)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Paul Campbell pushed by claude 2 weeks ago 6b52cf73a0fb427d490a274fdee3ccd902f9e922 parent 0c3deba

1 file changed, +4 −3

internal/sim/hostlife/expected-outcomes.two-box.txt +4 −3

diff --git a/internal/sim/hostlife/expected-outcomes.two-box.txt b/internal/sim/hostlife/expected-outcomes.two-box.txt

index 5f91b552c..ee551b1d0 100644

--- a/internal/sim/hostlife/expected-outcomes.two-box.txt

+++ b/internal/sim/hostlife/expected-outcomes.two-box.txt

@@ -2,9 +2,10 @@

# Read by mutate.sh only at HOSTLIFE_BOXES=2. A rule listed here replaces

# that rule's line from the base file; `rule - reason` drops the base

# line, so the rule must be caught at two boxes. Same format otherwise:

-# rule outcome reason.

+# rule outcome reason (`missed`, or `rare <N>` for a rule the sweep

+# catches only now and then: below N seeds a miss is expected).

timer-canonical missed at two boxes the sweep reaches it 0 of 3000; at one box it is caught (2 / 3000 on this revision), so the one-box sweep owns it

source-readiness missed at two boxes the sweep reaches it 0 of 3000; at one box it is caught (12 / 3000 on this revision), so the one-box sweep owns it

-exec-writer - caught at two boxes by the random sweep (1 / 3000, seed 2319: INV-11 generation.json published before its snapshot landed); the base line's one-box miss does not hold here

+exec-writer rare 30000 caught at two boxes by the random sweep only rarely (1 / 3000, seed 2319: INV-11 generation.json published before its snapshot landed), so a 3,000-seed sweep may miss it by chance; the base line's one-box miss does not hold here

create-choice-once - caught at two boxes by the random sweep (239 / 3000, first seed 250); the base line's one-box miss does not hold here (TestCreateNamesItsExecutorOnce also fails under the mutation)

-reloc-replacement-table - caught at two boxes by the random sweep (2 / 3000, first seed 2854); the base line's one-box miss does not hold here (TestL18NestedFailover also fails under the mutation)

+reloc-replacement-table rare 30000 caught at two boxes by the random sweep only rarely (2 / 3000, first seed 2854), so a 3,000-seed sweep may miss it by chance; the base line's one-box miss does not hold here (TestL18NestedFailover also fails under the mutation)