carlos / platform Public

Clone
git clone https://amadan.net/carlos/platform

Plain git — no account needed to clone.

Download

Download this file

1# Two-box overrides for expected-outcomes.txt (the one-box expectations).
2# Read by mutate.sh only at HOSTLIFE_BOXES=2. A rule listed here replaces
3# that rule's line from the base file; `rule - reason` drops the base
4# line, so the rule must be caught at two boxes. Same format otherwise:
5# rule outcome reason (`missed`, or `rare <N>` for a rule the sweep
6# catches only now and then: below N seeds a miss is expected).
7timer-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
8source-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
9exec-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
10create-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)
11reloc-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)
12reloc-name-drops-move-target missed liveness: under the mutation a converted move's own target stays on the barrier, which stalls only when that box never acknowledges; the sweep never terminates a move's participants (plan ruling 15) and its controllers acknowledge within a step of the conversion; TestConvertedMoveDropsTheMoveTargetFromTheBarrier stops the move's target and fails under the mutation
13reloc-stuck-refuses-admission missed redundant alone at two boxes since L18 joint round 2: reloc-admits-probe-only (relocatingAdmission) refuses the stuck source's wake in starting and releasing as well, and the relocation pass makes no probe attempt for a stuck operation; TestStuckSourceRefusesAdmission fails with both mutations (reloc-stuck-refuses-admission,reloc-admits-probe-only)
14