50fb293fa5
d86 asked for the rigorous version of 35's spot-check -- check out the codebase at the 1ph commit, backport the iio stale-leaf-share fix, re-run the historical seed sets. One constraint had to be worked around: this repository's history begins 2026-07-30, six days AFTER the 1ph commit (2026-07-24), so that checkout does not exist here. Closest reachable stand-in is391f510(2026-07-30), a genuine ancestor of the iio fix and therefore pre-iio, carrying that era's examples/ and objective. Measured there, not at the true 1ph commit, and that is a real limitation of the reproduction. Protocol as published: programme-house, budget 3000, 4 workers, seeds 1-20, ON vs OFF, both arms finished with --collapse. Run twice over one worktree, as-is then with the 22-line iio hunk applied. OFF ON W/L/T mean diff t(df=19) published 1ph 7.95 7.10 11/6/3 +0.85 2.38 pre-iio391f5108.05 7.10 11/6/3 +0.95 2.59 same + iio fix 8.05 7.10 11/6/3 +0.95 2.59 The published verdict reproduces, and the iio fix changes nothing: 0 of 40 (seed, arm) cells differ, per-seed counts equal cell by cell. It could not have been otherwise. The bug needs a leaf carrying a STALE share/share_type, and leaf-sharing only stamps a share where a code has count > 1 -- programme-house declares count: 1 for all six codes. Over 8 constructed seeds at that commit, programme-house had share_type set on 0 of 56 leaves; harbor-house on 24 of 128. _collapse_value reads leaf.share_type, so the bug is structurally unreachable on the 1ph protocol. That is why 35 saw 2/3 harbor seeds diverge by 5-8 fails while programme-house at N=20 moves not one cell: harbor has codes at counts 10, 6 and 5. 20's retroactive caveat is discharged for the 1ph section and stays live for harbor-house/qpk, where shares exist and divergence was measured. Kept experiments/rerun_1ph_protocol.sh and both result TSVs. Closes homemaker-py-d86. Lint at parity (46); tests 384 passed, 0 failed. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01MJ84Feep79Hhm3E4zZJmnB
40 lines
685 B
Text
40 lines
685 B
Text
iiofix 1 on 5 8
|
|
iiofix 1 off 8 6
|
|
iiofix 2 on 7 8
|
|
iiofix 2 off 8 6
|
|
iiofix 3 on 9 8
|
|
iiofix 3 off 8 6
|
|
iiofix 4 on 9 7
|
|
iiofix 4 off 11 5
|
|
iiofix 5 on 9 8
|
|
iiofix 5 off 8 7
|
|
iiofix 6 on 8 7
|
|
iiofix 6 off 11 5
|
|
iiofix 7 on 9 8
|
|
iiofix 7 off 11 6
|
|
iiofix 8 on 8 8
|
|
iiofix 8 off 7 7
|
|
iiofix 9 on 6 7
|
|
iiofix 9 off 9 6
|
|
iiofix 10 on 4 8
|
|
iiofix 10 off 7 7
|
|
iiofix 11 on 5 7
|
|
iiofix 11 off 5 6
|
|
iiofix 12 on 7 8
|
|
iiofix 12 off 6 7
|
|
iiofix 13 on 6 7
|
|
iiofix 13 off 9 6
|
|
iiofix 14 on 8 8
|
|
iiofix 14 off 7 6
|
|
iiofix 15 on 6 8
|
|
iiofix 15 off 8 6
|
|
iiofix 16 on 8 7
|
|
iiofix 16 off 8 6
|
|
iiofix 17 on 6 7
|
|
iiofix 17 off 8 6
|
|
iiofix 18 on 7 7
|
|
iiofix 18 off 8 6
|
|
iiofix 19 on 8 7
|
|
iiofix 19 off 7 6
|
|
iiofix 20 on 7 7
|
|
iiofix 20 off 7 6
|