Drop7 Research
← Research

Experiments

Preregistered experiment protocols from research/experiments/ and their recorded results. For the full historical inventory of every approach — including the ledger-recorded runs that predate the registry — see the approach pages and the experiment index.

completedtier PILOTalgorithmicpublic-developmentEX-20260820-afterstate-pilot-h40-29b8588a

Pilot: action-complete H40 afterstate corpus and distributional ranker offline gate

On roots harvested from fair-D1 development games, a compact residual-CNN afterstate evaluator trained on successor-closed H40 scenario labels (every legal sibling, 8 aligned chance scenarios, phase-greedy D1 continuation) ranks held-out whole-origin siblings non-inferiorly to exact fair D4 on top-1 accuracy, pairwise accuracy, and normalized regret against the scenario-mean H40 outcome ranking.

Candidate
distributional-afterstate-ranker
approaches/afterstate-learning/distributional-afterstate/common.hpp
Comparator
fair-d4
approaches/fair-expectimax/reference/fair-only-depth4.cpp
outcome: inconclusiverun: validpilotRS-20260820T094500Z-5c1e9a04

The successor-closed corpus pipeline works exactly as designed (11,379 roots, 616,048 sibling labels, 100% action completeness, all CHECK tests pass), but the frozen label-stability floor failed: with K=8 aligned scenarios and an H40 phase-greedy-D1 continuation, the split-half Spearman correlation of within-root action rankings is 0.246, far below the 0.50 floor. Per the preregistered gate the outcome is inconclusive: the scenario-mean H40 outcome ranking is too noisy at K=8 to certify any model's ranking. Diagnosis: within-action scenario std is ~21k points while the median between-action gap is ~7.1k, so the target ranking is noise-dominated; noise math predicts K=64 (split-half 32v32) lifts stability to roughly 0.7. For the record, against this noisy target the model trailed fair D4 (top-1 0.247 vs 0.330 pooled; pairwise 0.571 vs 0.637), and D4 beat D1 (0.330 vs 0.254), consistent with the historical ranking of those searches. No gameplay tier was opened.

Gate criterionVerdictObserved
Successor-closed corpus: every non-trivial root labeled for every legal sibling under all 8 scenariospass616,048 rows over 11,379 roots; completeness 1.0 by construction and verified by self-test legality checks
Label stability floor: mean scenario-half Spearman >= 0.5 on held-out rootsfail0.2457 mean, 0.286 median over 2,470 held-out roots; per the frozen rule this makes the outcome inconclusive, not a pass and not a theory rejection
Model top-1 >= fair D4 top-1 - 0.02 on each held-out half-foldfailhalf1 model 0.2478 vs D4 0.3296; half2 model 0.2462 vs D4 0.3239 (moot given the stability failure)
Model pairwise accuracy >= fair D4 pairwise - 0.02 on each half-foldfailhalf1 model 0.5678 vs D4 0.6413; half2 model 0.5745 vs D4 0.6322 (moot given the stability failure)
Model normalized regret <= fair D4 regret + 0.02 on each half-foldfailhalf1 model 0.4193 vs D4 0.3318; half2 model 0.4076 vs D4 0.3418 (moot given the stability failure)
80% quantile interval coverage within [0.70, 0.90]fail0.631 coverage of the nominal 76.5% outer-quantile interval on held-out afterstates
All CHECK-tier mechanics, legality, determinism, reflection, information-boundary, and resource-bound tests pass before any label is inspectedpassbuild/afterstate/self-test prints SELFTEST OK (9 checks); make test (TypeScript, native, parity) also passes
Raw metrics (15)
corpusRoots
11,379
corpusRows
616,048
actionCompleteness
1
heldoutRoots
2,470
labelStabilityMeanSpearman
0.2457
quantileIntervalCoverage
0.6310
modelTop1Pooled
0.2470
d4Top1Pooled
0.3300
d1Top1Pooled
0.2540
modelPairwisePooled
0.5710
d4PairwisePooled
0.6370
modelRegretPooled
0.4130
d4RegretPooled
0.3370
withinActionScenarioStdMedian
20,922
betweenActionMedianGap
7,096
completedtier PILOTalgorithmicpublic-developmentEX-20260820-afterstate-pilot-h40-k256-65a05477

Pilot iteration 3: K=256-scenario corpus, fresh held-out origins, full training

With K=256 aligned scenarios (per-action standard error ~1.3k points against a ~7k median sibling gap), the scenario-half label stability on decisive roots passes the 0.5 floor, and a fully trained distributional afterstate ranker ranks fresh held-out whole-origin siblings non-inferiorly to exact fair D4. Iterations 1-2 showed K=8/K=64 stability of 0.246/0.446 and an undertrained model; this iteration changes scenario count and training completeness, and refines only the stability diagnostic to condition on decisive roots.

Candidate
distributional-afterstate-ranker
approaches/afterstate-learning/distributional-afterstate/common.hpp
Comparator
fair-d4
approaches/fair-expectimax/reference/fair-only-depth4.cpp
outcome: failrun: validpilotRS-20260820T142500Z-8f4a2d17

With K=256 aligned scenarios the label-stability floor passed decisively (decisive-root split-half Spearman 0.818, unconditioned 0.638, both >= 0.5), so for the first time in this line the ranking target is stable enough to certify a verdict. The verdict is a valid negative for the direct-play configuration: the distributional afterstate ranker trailed exact fair D4 on every preregistered comparison in both fresh held-out half-folds (pooled top-1 0.424 vs 0.499; pairwise 0.685 vs 0.737; regret 0.241 vs 0.178). On the 411 decisive roots (spread > 20k) the gap narrowed but persisted (top-1 0.526 vs 0.584; regret 0.082 vs 0.064). The model clearly beat its D1 continuation teacher (top-1 0.424 vs 0.319) and its quantile head is calibrated (0.864 coverage). Conclusion: a compact action-free afterstate network trained on successor-closed H40 D1-continuation labels is a viable, calibrated long-horizon evaluator, but it is NOT a viable direct replacement for 4-ply expectimax; any future use must be as a companion signal inside search, and the same ranking gate applies. No gameplay tier was opened.

Gate criterionVerdictObserved
Successor-closed corpus (all legal siblings x 256 scenarios)pass24,270,592 rows over 14,009 roots across both corpora; completeness 1.0
Label stability floor: decisive-root scenario-half (128 vs 128) Spearman >= 0.5pass0.8181 on 411 decisive roots; unconditioned 0.6379 on 2,523 roots
Model top-1 >= D4 top-1 - 0.02 on each half-foldfailhalf1 0.3981 vs 0.4776; half2 0.4439 vs 0.5141
Model pairwise >= D4 pairwise - 0.02 on each half-foldfailhalf1 0.6828 vs 0.7280; half2 0.6868 vs 0.7429
Model regret <= D4 regret + 0.02 on each half-foldfailhalf1 0.2496 vs 0.1870; half2 0.2344 vs 0.1720
Nominal 76.5% quantile interval coverage within [0.66, 0.87]pass0.8635
All CHECK-tier tests pass before any label is inspectedpassSELFTEST OK (9 checks)
Raw metrics (19)
corpusARows
19,713,536
corpusCRows
4,557,056
heldoutRoots
2,523
decisiveRoots
411
labelStabilityMeanSpearman
0.6379
labelStabilityDecisiveSpearman
0.8181
quantileIntervalCoverage
0.8635
modelTop1Pooled
0.4245
d4Top1Pooled
0.4986
d1Top1Pooled
0.3191
modelPairwisePooled
0.6851
d4PairwisePooled
0.7366
modelRegretPooled
0.2408
d4RegretPooled
0.1784
modelTop1Decisive
0.5255
d4Top1Decisive
0.5839
modelRegretDecisive
0.0820
d4RegretDecisive
0.0643
epochsCompleted
11
completedtier PILOTalgorithmicpublic-developmentEX-20260820-afterstate-pilot-h40-k64-d7a9faf5

Pilot iteration 2: K=64-scenario action-complete H40 corpus with fresh held-out origins

Raising aligned chance scenarios from K=8 to K=64 (the only change from EX-20260820-afterstate-pilot-h40-29b8588a) lifts scenario-half label stability above the frozen 0.5 Spearman floor, and the unchanged distributional afterstate ranker then ranks fresh held-out whole-origin siblings non-inferiorly to exact fair D4 on top-1 accuracy, pairwise accuracy, and normalized regret against the scenario-mean H40 outcome ranking.

Candidate
distributional-afterstate-ranker
approaches/afterstate-learning/distributional-afterstate/common.hpp
Comparator
fair-d4
approaches/fair-expectimax/reference/fair-only-depth4.cpp
outcome: inconclusiverun: validpilotRS-20260820T114500Z-2b7c9e31

K=64 improved label stability from 0.246 to 0.446 mean split-half Spearman on fresh held-out origins, but still below the frozen 0.5 floor, so the preregistered verdict is again inconclusive. Quantile calibration passed (0.807 coverage of the nominal 76.5% interval). Against the still-noisy target the model trailed fair D4 consistently in both half-folds (pooled top-1 0.342 vs 0.433; pairwise 0.637 vs 0.697; regret 0.303 vs 0.232) while beating its D1 continuation teacher (top-1 0.342 vs 0.299). Training stopped at epoch 15 of 20 on the GPU time budget with the ranking loss still decreasing. No gameplay tier was opened.

Gate criterionVerdictObserved
Successor-closed corpus (all legal siblings x 64 scenarios)pass6,167,936 rows over 14,228 roots across both corpora; completeness 1.0
Label stability floor: mean scenario-half (32 vs 32) Spearman >= 0.5fail0.4462 on 2,750 fresh held-out roots; inconclusive per the frozen rule
Model top-1 >= D4 top-1 - 0.02 on each half-foldfailhalf1 0.3401 vs 0.4365; half2 0.3442 vs 0.4299 (moot given the stability failure)
Model pairwise >= D4 pairwise - 0.02 on each half-foldfailhalf1 0.6341 vs 0.6970; half2 0.6391 vs 0.6974 (moot)
Model regret <= D4 regret + 0.02 on each half-foldfailhalf1 0.3031 vs 0.2388; half2 0.3028 vs 0.2247 (moot)
Nominal 76.5% quantile interval coverage within [0.66, 0.87]pass0.8069
All CHECK-tier tests pass before any label is inspectedpassSELFTEST OK (9 checks) after the K-parameterization change
Raw metrics (13)
corpusARows
4,928,384
corpusBRows
1,239,552
heldoutRoots
2,750
labelStabilityMeanSpearman
0.4462
quantileIntervalCoverage
0.8069
modelTop1Pooled
0.3422
d4Top1Pooled
0.4331
d1Top1Pooled
0.2985
modelPairwisePooled
0.6367
d4PairwisePooled
0.6972
modelRegretPooled
0.3029
d4RegretPooled
0.2315
epochsCompleted
15
completedtier PILOTalgorithmicpublic-developmentEX-20260820-d4-toptwo-override-gate-0bdb39a1

Offline gate: calibrated top-two near-tie override of fair D4 by the frozen afterstate model

At roots where fair D4's top two actions are near-tied (Q gap <= 500 points, the bottom ~37% of the top-two gap distribution measured on already-read development labels), the frozen iteration-3 distributional afterstate model can identify the better action more reliably than D4's own ordering, because near-ties are where D4's 4-ply estimates are most noise-sensitive while the model's calibrated H40 outcome distributions carry independent long-horizon information. The override policy (D4, plus swapping to the second action only when the model's paired 256-scenario advantage has a positive 95% bootstrap lower bound) will show lower mean normalized regret than unchanged D4 on eligible fresh held-out roots.

Candidate
d4-toptwo-override
approaches/afterstate-learning/distributional-afterstate/override-gate.py
Comparator
fair-d4
approaches/fair-expectimax/reference/fair-only-depth4.cpp
outcome: failrun: validpilotRS-20260820T184500Z-63c0a8e2

The calibrated top-two near-tie override of fair D4 by the frozen iteration-3 afterstate model FAILED its frozen gate by a narrow margin, with genuinely positive signal. On 2,689 fresh held-out roots, 1,030 (38.3%) were near-tied at the frozen 500-point threshold and the override fired on 37.0% of those. On eligible roots the override reduced mean normalized regret versus unchanged D4 in both half-folds (half1 0.2484 vs 0.2835, +0.0351; half2 0.2343 vs 0.2418, +0.0075; pooled +0.0214), but the frozen criterion required at least +0.01 in EACH half-fold, and half2 fell short. On the 84 decisive eligible roots the improvement was larger (+0.0426: 0.0880 vs 0.1306). Label stability passed (decisive Spearman 0.814), model quantile calibration passed (0.861), the gate is deterministic (byte-identical repeated reports), and the corpus is successor-closed. Interpretation: the conservative-override MECHANISM works as designed (fires often, calibrated, positive in both halves) and this is the first preregistered held-out test in this repository where a learned model's intervention improved on fair D4 at all; the CHECKPOINT's ranking quality is the bottleneck, consistent with the model being undertrained (11 of 20 epochs) and trained on a weak D1-continuation teacher. Per the frozen failure action, no further override variants of this same checkpoint are opened; a retry requires new evidence such as a fully trained or stronger-teacher model under the same frozen rule.

Gate criterionVerdictObserved
Successor-closed corpus (all legal siblings x 256 scenarios)pass4,858,880 rows over 2,793 roots; completeness 1.0
Label stability floor: decisive-root scenario-half Spearman >= 0.5pass0.8144
Eligible-root override regret <= D4 regret - 0.01 in EACH half-foldfailhalf1 +0.0351 (passes); half2 +0.0075 (below the frozen 0.01 margin); pooled +0.0214
Override rate >= 5% of eligible rootspass37.0%
Quantile interval coverage within [0.66, 0.87]pass0.8606
Gate script deterministic (byte-identical repeated reports)passtwo runs byte-identical after moving wall time out of the report
All existing CHECK-tier self-tests pass before any label is inspectedpassSELFTEST OK (9 checks)
Raw metrics (13)
roots
2,689
eligibleRoots
1,030
nearTieRate
0.3830
overrideRateEligible
0.3699
d4RegretEligiblePooled
0.2629
overrideRegretEligiblePooled
0.2414
regretGainHalf1
0.0351
regretGainHalf2
0.0075
regretGainDecisive
0.0426
d4RegretWholeSet
0.1932
overrideRegretWholeSet
0.1850
labelStabilityDecisiveSpearman
0.8144
quantileIntervalCoverage
0.8606
completedtier CHECKalgorithmicpublic-developmentEX-20260821-afterstate-d2-teacher-58772f17

Stronger-teacher (D2 continuation) afterstate corpus: ranking gate and frozen override rule

The iteration-3 valid negative used a weak phase-greedy D1 continuation for its H40 labels. Regenerating the successor-closed corpus with a stronger public teacher (fair D2, five chance samples) at K=64 over the same training roots produces labels whose trained model ranks fresh held-out siblings closer to fair D4 than the D1-teacher model did (top-1 gap to D4 shrinks by at least half), and the frozen override rule then passes on fresh origins.

Candidate
distributional-afterstate-ranker-d2
approaches/afterstate-learning/distributional-afterstate/common.hpp
Comparator
fair-d4
approaches/fair-expectimax/reference/fair-only-depth4.cpp
outcome: failrun: validpilotRS-20260821T134500Z-4b9d2f68

The stronger-teacher hypothesis fails as tested. A successor-closed corpus relabeled with a fair-D2 (five-sample) continuation teacher at K=64 (2.88M rows over 6,535 roots; partial at the generator's 4h default wall stop) trained a model that, on the fresh 0x5da70500 ranking gate against the fixed D1-continuation H40 target, reached top-1 0.3365 - far below fair D4's 0.5020, below the D1-teacher model's 0.4245 from iteration 3, and only at exact-D1's own 0.3339. The frozen criterion (top-1 >= 0.4616 on each half, i.e. closing half the iteration-3 gap to D4) failed by a wide margin in both halves (0.342, 0.331). The frozen override gate on fresh 0x5da70600 roots also failed (eligible-root regret: half1 -0.0089, half2 +0.0110, pooled +0.0012). IMPORTANT CONFOUND, disclosed: the D2-teacher model was evaluated against D1-continuation outcomes (frozen for comparability with iteration 3), so part of its regression may reflect the teacher/target mismatch rather than teacher quality alone. Read narrowly, the result says a stronger-teacher corpus did not produce a better ranker of the fixed public-continuation outcome, and the afterstate line's ranking deficit is robust to the teacher choice within the tested configurations.

Gate criterionVerdictObserved
Corpus successor-closed at K=64 with the D2 teacher, completeness 1.0passper-root completeness 1.0 over 6,535 fully labeled roots; the corpus is partial (6,535 of 8,192 planned) at the generator's 4h default wall stop
Ranking gate: model top-1 >= 0.4616 on each half-foldfailhalf1 0.3418, half2 0.3314
Override gate: eligible-root override regret <= D4 regret - 0.01 in EACH half-fold, rate >= 5%failhalf1 -0.0089, half2 +0.0110, pooled +0.0012; override rate 35.9%
Decisive-root label stability >= 0.5 for both evaluation corporapass0.8058 (override corpus), 0.8010 (ranking corpus)
Quantile coverage within [0.66, 0.87]pass0.7244
Raw metrics (18)
corpusD2Rows
2,884,224
corpusD2Roots
6,535
corpusD2Complete
false
epochsCompleted
30
rankingTop1Pooled
0.3365
rankingTop1Half1
0.3418
rankingTop1Half2
0.3314
d4Top1Pooled
0.5020
d1Top1Pooled
0.3339
iteration3D1TeacherTop1
0.4245
rankingPairwisePooled
0.6310
rankingRegretPooled
0.3120
overrideRegretGainHalf1
-0.0089
overrideRegretGainHalf2
0.0110
overrideRegretGainPooled
0.0012
overrideRate
0.3592
labelStabilityDecisiveSpearman
0.8058
quantileIntervalCoverage
0.7244
completedtier CHECKalgorithmicpublic-developmentEX-20260821-afterstate-d4q-stage1-40136e9e

Scale-out stage 1: successor-closed fair-D4 search-value labels; held-out D4-ranking agreement

A successor-closed corpus of exact fair-D4 per-action search values (every legal sibling labeled by the pinned reference itself) lets the action-free afterstate model learn fair D4's within-root ordering well enough to reach preregistered agreement thresholds on fresh held-out roots - the stage-1 prerequisite of the registered search-guided self-play loop (TH-20260821-search-guided-self-play-at-scale-299ed02f). Prior D4 clones failed on played-action or sparse-sibling data; this configuration is successor-closed.

Candidate
afterstate-d4q-student
approaches/afterstate-learning/distributional-afterstate/train.py
Comparator
fair-d4
approaches/fair-expectimax/reference/fair-only-depth4.cpp
outcome: failrun: validpilotRS-20260821T104500Z-77d21e90

Scale-out stage 1 fails its prerequisite: a compact action-free afterstate model cannot learn fair D4's within-root ordering even from successor-closed, exactly-labeled search values. Training labels were the pinned reference's own depth-3 values of every legal sibling's resolved afterstate under its own five-stratum quadrature (291,890 labeled afterstates over 8,639 training roots, completeness 1.0). On 3,030 fresh held-out roots the model's one-ply chance-averaged ordering agreed with exact fair D4 at top-1 0.375 (frozen threshold >= 0.60), pairwise 0.643 (>= 0.78), normalized regret 0.291 (<= 0.13), failing every criterion in both origin-hash half-folds. For scale, exact fair D1 agrees with D4 at 0.486 top-1 on the historical panel - the learned student is WORSE than the cheapest exact search. Combined with the repository's prior played-action distillation failures, this strengthens the conclusion to: the obstacle to learning D4's ranking is not sibling coverage but the representational capacity of a compact board evaluator for the 4-ply search-value function. The registered self-play loop's stage-1 prerequisite is not met at this model scale.

Gate criterionVerdictObserved
Successor-closed D4-value labels on >= 8,000 training roots, completeness 1.0pass8,639 roots, 291,890 afterstate labels, every legal sibling x 5 strata
Held-out top-1 agreement >= 0.60 on each half-foldfailhalf1 0.3628, half2 0.3864
Held-out pairwise agreement >= 0.78 on each half-foldfailhalf1 0.6375, half2 0.6473
Normalized regret <= 0.13 on each half-foldfailhalf1 0.3055, half2 0.2778
All CHECK-tier self-tests pass before any label is inspectedpassSELFTEST OK (10 checks including D2-continuation determinism)
Raw metrics (10)
trainRoots
8,639
trainAfterstateLabels
291,890
heldoutRoots
3,030
top1Pooled
0.3752
top1Half1
0.3628
top1Half2
0.3864
pairwisePooled
0.6426
regretPooled
0.2909
referenceD1Top1
0.4860
referenceD2Top1
0.5680
completedtier CHECKalgorithmicpublic-developmentEX-20260821-afterstate-full-train-override-ec7f28f4

Full training of the K=256 afterstate model, then the frozen top-two override rule on fresh origins

The iteration-3 model was stopped at epoch 11 of 20 with its ranking loss still decreasing, so it was undertrained. Fully training the identical architecture on the identical K=256 successor-closed corpus (up to 40 epochs, 4M-row deterministic subsample, 6h GPU budget) improves its calibrated ranking enough that the FROZEN top-two near-tie override rule (epsilon=500, paired-bootstrap 95% lower bound > 0, 1000 resamples, domain 0x4f565252) passes its frozen margin on fresh held-out origins.

Candidate
distributional-afterstate-ranker
approaches/afterstate-learning/distributional-afterstate/train.py
Comparator
fair-d4
approaches/fair-expectimax/reference/fair-only-depth4.cpp
outcome: failrun: validpilotRS-20260821T094500Z-1a7e3c55

Full training does not rescue the afterstate model; it overfits. The model was trained to 22 epochs on the 2M-row K=256 subsample (44M row-updates, 2x iteration 3, cosine schedule completed, ranking loss 0.584 vs iteration 3's 0.630). On the SAME held-out roots as iteration 3 (corpus-C, a labeled diagnostic reuse), the fully-trained model ranks WORSE than iteration 3's 11-epoch checkpoint (top-1 0.361 vs 0.424, pairwise 0.658 vs 0.685, regret 0.281 vs 0.241) - training loss improved while held-out ranking degraded, a textbook overfitting signature against the D1-continuation H40 labels. The frozen override gate on fresh corpus-E (2,867 roots, 1,106 near-tie eligible, 41% override rate) then FAILED: eligible-root regret half1 0.2289 vs D4 0.2517 (+0.0228) but half2 0.2778 vs 0.2481 (-0.0297, the override is actively harmful there), pooled +0.0018. Stability (0.824), calibration (0.800), determinism (byte-identical) all passed. Conclusion: the model's limitation is not training completeness but generalization to held-out roots under a weak D1 teacher; the direct-override use of this model family is closed per the frozen failure action.

Gate criterionVerdictObserved
Training completes 22 epochs on the 2M-row subsample within budget (44M row-updates, 2x iteration 3)pass22 epochs, cosine schedule completed, ~5.5h GPU
Eligible-root override regret <= D4 regret - 0.01 in EACH half-foldfailhalf1 +0.0228 (passes); half2 -0.0297 (override harmful); pooled +0.0018
Override rate >= 5% of eligible rootspass41.1%
Decisive-root label stability >= 0.5pass0.8244
Quantile coverage within [0.66, 0.87]pass0.7997
Gate report byte-identical across two runspassbyte-identical
Raw metrics (12)
epochsCompleted
22
rowUpdates
44,000,000
finalRankLoss
0.5838
diagnosticTop1VsIter3
0.3611 vs 0.4245 (same roots)
diagnosticRegretVsIter3
0.2807 vs 0.2408 (same roots)
overrideEligibleRoots
1,106
overrideRate
0.4114
overrideRegretGainHalf1
0.0228
overrideRegretGainHalf2
-0.0297
overrideRegretGainPooled
0.0018
labelStabilityDecisiveSpearman
0.8244
quantileIntervalCoverage
0.7997
runningtier STANDARDalgorithmicpreviously-evaluated-developmentEX-20260821-depth5-chance-exactness-factorial-a6a604fd

Depth x chance-exactness factorial: the fifth ply at five and at seven strata, with an end-to-end reproduction control

On the shared 64-game development cohort 0xa51d1000-0xa51d103f, a five-ply fair search beats the same search at four plies at the same stratum count, with a one-sided 95% whole-game bootstrap lower bound above zero at seven strata (where finding-05 measured a +86,172 [+26,468] third-to-fourth ply gradient) and no requirement at five strata (where finding-05 measured none). The fast engine's depth-4 seven-stratum arm must first reproduce the recorded unoptimised arm field-for-field, so that any depth-5 difference is a depth difference and not an engine difference.

Candidate
fast-engine-parameterized-fair-search, depth 5 (arms d5s7 and d5s5)
approaches/lifetime-objective/fast-engine/cohort.cpp
Comparator
the recorded depth-4 arms on the same seeds (d4s7 = runs/RUN-A51D-s7confirm/fresh-s7.json, d4s5 = runs/RUN-A51D-s7confirm/fresh-s5.json), plus a same-cohort fast-engine reproduction of d4s7 as the control
approaches/lifetime-objective/risk-calibration/search.cpp
outcome: failrun: partialpublic-developmentRS-20260821T181917Z-9a34ba02

The fifth ply buys nothing at either chance resolution, and the earlier interim reading that it was actively harmful is withdrawn. Complete leg, 64 of 64 games: depth 5 at five strata scores 288,704 against depth 4 at five strata's 297,327, a paired -8,624 with a one-sided 95% whole-game bootstrap lower bound of -55,134 and W-T-L 33-0-31, for 23.29x the logical work per move. That is a wash, not a reversal. Partial leg, 16 of 64 games and still running: depth 5 at seven strata is -1,581 against the depth-4 seven-stratum control (95% lower bound -173,154, W-T-L 7-0-9) at 34.32x the work, and +16,622 against depth 3 at seven strata (95% lower bound -130,027, W-T-L 8-0-8) at 1,084.78x the work. At a fixed stratum count, depth 3 -> 4 -> 5 does not separate. READ THIS BEFORE QUOTING THE MEANS: the eye-catching gap between the 398,498 of d4s7 and the 288,704 of d5s5 is a chance-samples effect and not a depth effect, because those two arms differ in both factors; the correct paired depth contrasts at fixed chance resolution are d5s5 - d4s5 = -8,624 and d5s7 - d4s7 = -1,581, both indistinguishable from zero, and the correct paired stratum contrast at fixed depth is finding-05's d4s7 - d4s5 = +101,171. The interim slice reported in finding-15 section 2.2 (-268,611 over 8 paired games) was completion-order biased against depth 5 exactly as that section warned; at 16 games the bias is gone and the delta is -1,581. The engine control is clean and is the other retained result here: the fast engine's depth-4 seven-stratum arm reproduces the recorded unoptimised arm over 64 paired games x 11 fields with 0 mismatches, and the depth-5 five-stratum arm reproduces the recorded 32-game unoptimised arm over 32 paired games x 11 fields with 0 mismatches across two binaries and two different cache capacities. Every arm audited 0 incomplete decisions at its requested depth, 0 censored games and 0 score-decomposition identity failures. Flow rates fall with depth at five strata (1.9387 clears and 1.0651 reveals per move against depth 4's 1.9489 and 1.0697, and against the 2.400 and 1.400 indefinite survival needs), so nothing here moves toward the target.

Gate criterionVerdictObserved
Control: the fast engine's depth-4 seven-stratum arm reproduces the recorded unoptimised arm on all 11 per-game fieldspass64 paired games x 11 fields = 704 comparisons, 0 mismatches; a second, unplanned reproduction fell out of d5s5 against the recorded 32-game arm (352 comparisons, 0 mismatches) across two binaries and cache capacities 60,000 vs 200,000
Audit: 0 incomplete decisions and minimum completed depth equal to the requested depth in every armpassd4s7 7,338 decisions minCompletedDepth 4; d5s5 5,420 decisions minCompletedDepth 5; d5s7 (partial) 1,760 decisions minCompletedDepth 5; 0 incomplete decisions everywhere, busiest decision at 76% (d5s7), 72% (d5s5) and 89% (d4s7) of its declared bound
Depth 5 beats depth 4 at seven strata with a one-sided 95% bootstrap lower bound above zero, on 64 complete gamesn/aundecidable as run: the arm holds 16 of 64 games and is still executing. On the 16 paired games the delta is -1,581 with a 95% lower bound of -173,154 and W-T-L 7-0-9 - no gradient is visible, but 16 games cannot decide this criterion and no claim is made that they do
Depth 5 is at least not worse than depth 4 at five strata, on 64 complete gamesfail-8,624 with a 95% lower bound of -55,134, W-T-L 33-0-31, median paired delta +349, at 23.29x the logical work per move; a wash that costs 23x
Clears per move, reveals per move and occupancy all move toward the survival requirement from depth 4 to depth 5 at the same stratum countfailat five strata clears/move 1.9387 vs 1.9489, reveals/move 1.0651 vs 1.0697 and occupancy 24.1886 vs 24.2880 - two of three move away from the 2.400/1.400 requirement
0 censored games and 0 score-decomposition identity failures in every armpass0 and 0 in all three arms
Raw metrics (30)
cohort
0xa51d1000-0xa51d103f, 2,000-move cap, corrected 17,000-point Hardcore scoring
d4s7ControlGames
64
d4s7ControlMeanScore
398498.2344
d4s7ControlMeanMoves
114.6563
d4s7ControlWorkPerMove
4956614.2652
d5s5Games
64
d5s5MeanScore
288703.6719
d5s5MeanMoves
84.6875
d5s5WorkPerMove
30,183,227
d5s5ClearsPerMove
1.9387
d5s5RevealsPerMove
1.0651
d5s7Games
16
d5s7GamesPlanned
64
d5s7MeanScoreOn16
383691.1875
d5s7MeanMovesOn16
110
d5s7WorkPerMove
170,131,134
pairedD5s5MinusD4s5
n
64
meanScoreDelta
-8623.7000
lowerBound95
-55133.7000
meanMoveDelta
-2.4700
winTieLoss
33-0-31
medianDelta
349
workRatio
23.2900
pairedD5s7MinusD4s7
n
16
meanScoreDelta
-1581.1000
lowerBound95
-173154.2000
meanMoveDelta
-0.8800
winTieLoss
7-0-9
medianDelta
-39660.5000
workRatio
34.3200
pairedD5s7MinusD3s7
n
16
meanScoreDelta
16622.4000
lowerBound95
-130026.9000
meanMoveDelta
3.2500
winTieLoss
8-0-8
medianDelta
-8,539
workRatio
1084.7800
pairedD5s7MinusD5s5
n
16
meanScoreDelta
114640.3000
lowerBound95
-7279.5000
meanMoveDelta
30.5600
winTieLoss
8-0-8
medianDelta
14,763
workRatio
5.6400
pairedD4s7MinusD4s5
n
64
meanScoreDelta
101170.8000
lowerBound95
47446.8000
meanMoveDelta
27.5000
winTieLoss
41-0-23
medianDelta
55416.5000
workRatio
3.8200
note
the stratum contrast at fixed depth 4 - this is the significant effect the 398,498-vs-288,704 gap is actually made of, not depth
reproductionD4s7
pairedGames
64
fields
11
comparisons
704
mismatches
0
reproductionD5s5
pairedGames
32
fields
11
comparisons
352
mismatches
0
auditD4s7
decisions
7,338
incompleteDecisions
0
minimumCompletedDepth
4
maxWorkPerDecision
10,639,860
declaredBound
11,892,399
declaredCacheEntries
60,000
auditD5s5
decisions
5,420
incompleteDecisions
0
minimumCompletedDepth
5
maxWorkPerDecision
78,537,460
declaredBound
109,723,461
declaredCacheEntries
200,000
auditD5s7Partial
decisions
1,760
incompleteDecisions
0
minimumCompletedDepth
5
maxWorkPerDecision
441,657,335
declaredBound
582,727,797
declaredCacheEntries
200,000
censoredGamesAllArms
0
scoreIdentityFailuresAllArms
0
bootstrap
one-sided 95% percentile bootstrap over whole paired games, 20,000 resamples, Mulberry32 domain 0xb0075eed (analyze.py)
twoSidedContext
the same estimator's one-sided 95% upper bounds are +39,052 for d5s5-d4s5 and +166,299 for d5s7-d4s7, so neither delta is distinguishable from zero in either direction
outcome: inconclusiverun: partialpublic-developmentRS-20260821T205102Z-d89df4b5

SUPERSEDES RS-20260821T181917Z-9a34ba02, which assessed this experiment when the depth-5 seven-stratum arm held 16 games. The arm was stopped by the repository owner's decision at the 32-game chunk boundary and will not be resumed, so its analysis is now FINAL even though the cohort is partial: 32 of 64 planned games, every one of them a whole game, 0 censored, 0 score-decomposition identity failures, 0 incomplete decisions, minimum completed depth 5. The old record remains committed history and is not edited. THE HEADLINE IS A CORRECTION, NOT AN UPDATE. The previous record read the fifth ply as 'does not separate'. That reading was a NON-MEASUREMENT REPORTED AS A NULL. Doubling the sample from 16 to 32 games moved the depth-5-minus-depth-4 seven-stratum contrast from -1,581 to +23,367 and its median from -39,660 to +18,820 - THE SIGN FLIPPED - which is what a quantity being estimated far below its detection floor looks like. By chunk the paired mean is -1,581 on the first 16 seeds and +48,315 on the second 16. Do NOT replace the old reading with 'depth 5 helps': +23,367 is equally unsupported. The one-sided 95% bootstrap lower bound is -83,046 and the contrast's detection floor at n=32 is 107,988, so the estimate sits at 22% of the smallest effect this cohort could have resolved. The correct statement is that THE FOURTH-TO-FIFTH PLY CONTRAST AT SEVEN STRATA WAS NEVER MEASURED, in either record. THE POWER ANALYSIS IS THE MOST USEFUL THING THIS EXPERIMENT PRODUCED. Detection floor, taken as 1.645 x sd / sqrt(n), the smallest true effect whose one-sided 95% bound would clear zero: d4s7-d4s5 +101,171 against a floor of 55,192 (n=64); d4s7-d3s7 +86,172 against 61,457 (n=64); d5s5-d4s5 -8,624 against 47,052 (n=64); d5s7-d4s7 +23,367 against 107,988 (n=32). EVERY SIGNIFICANT RESULT IN THIS FACTORIAL IS ABOVE ITS FLOOR AND EVERY NULL IS BELOW IT - the factorial separated the contrasts it had the power to separate and nothing else. Resolving the observed +23,367 needs about 684 paired games; finishing to the planned 64 would have left a standard error near 46,400 against a 23,367 estimate, still a non-measurement. That is the justification for the stop: the contrast is not answerable at any affordable cohort size, so the marginal machine-day buys no information. The variance is structural, not fixable by tidier running: the five largest single-seed paired deltas are -1,002,862, +958,985, -678,455, +592,546 and -577,069, so individual games swing by more than twice the cohort mean. WHAT IS ACTUALLY MEASURED HERE, and it is the same lesson from the other side: at depth 5, going from five to seven strata is worth +123,613 with a lower bound of +32,575, W-T-L 19-0-13 - SIGNIFICANT, and comfortably above its 95,207 floor - for 5.85x the work. The chance-exactness axis pays at depth 5 exactly as it pays at depth 4 (+101,171 [+47,447] there). The previous record's warning therefore survives and is strengthened: the eye-catching gap between d4s7's 398,498 and d5s5's 288,704 is a CHANCE-SAMPLES effect, not a depth effect, and both stratum contrasts are now significant while no depth contrast is. The engine controls are unchanged and clean: the fast engine's depth-4 arm reproduces the recorded unoptimised arm over 704 field comparisons with 0 mismatches, and the depth-5 five-stratum arm reproduces its recorded 32-game predecessor over 352 comparisons with 0 mismatches across two binaries and two cache capacities.

Gate criterionVerdictObserved
Control: the fast engine's depth-4 seven-stratum arm reproduces the recorded unoptimised arm on all 11 per-game fieldspass704 comparisons, 0 mismatches; plus d5s5 against its recorded 32-game predecessor, 352 comparisons, 0 mismatches, across two binaries and cache capacities 60,000 vs 200,000
Audit: 0 incomplete decisions and minimum completed depth equal to the requested depth in every armpassd4s7 7,338 decisions minCompletedDepth 4; d5s5 5,420 decisions minCompletedDepth 5; d5s7 3,775 decisions minCompletedDepth 5; 0 incomplete everywhere, busiest decision at 80% of bound in d5s7
Depth 5 beats depth 4 at seven strata with a one-sided 95% bootstrap lower bound above zero, on 64 complete gamesn/aNOT MEASURABLE AS RUN, and not measurable at 64 games either. On 32 games: +23,367, lower bound -83,046, W-T-L 17-0-15, median +18,820. The paired sd is 371,351, giving a detection floor of 107,988 at n=32 and 76,359 at n=64; the estimate is 22% and 31% of those. Resolving it needs about 684 paired games. The criterion is neither passed nor failed - it was never tested with the power to answer it
Depth 5 is at least not worse than depth 4 at five strata, on 64 complete gamesfail-8,624 [-55,134], W-T-L 33-0-31, at 23.29x work, on a complete 64-game cohort. This is a bounded null and the strongest depth statement the factorial supports: any true d4->d5 effect at five strata is smaller than about 47,000 points
Clears per move, reveals per move and occupancy all move toward the survival requirement from depth 4 to depth 5 at the same stratum countfailat seven strata on 32 games, clears/move 2.0575 vs 2.0571 (+0.0004), reveals/move 1.1481 vs 1.1549 (-0.0069), occupancy 23.62 vs 23.15 (worse); at five strata all three move away. Nothing approaches the 2.400/1.400 requirement
0 censored games and 0 score-decomposition identity failures in every armpass0 and 0 in all three arms, including the arm that was stopped
Raw metrics (32)
cohort
0xa51d1000-0xa51d103f, 2,000-move cap, corrected 17,000-point Hardcore scoring; the depth-5 seven-stratum arm covers the first 32 seeds 0xa51d1000-0xa51d101f
supersedes
RS-20260821T181917Z-9a34ba02
supersededFieldsFromPartialRecord
d5s7Games 16 -> 32 (final; cohort stopped by decision, not resumed); d5s7MeanScoreOn16 383,691 -> d5s7MeanScore 411,874; d5s7MeanMoves 110.00 -> 117.97; d5s7WorkPerMove 170,131,134 -> 176,536,117; d5s7 decisions 1,760 -> 3,775; pairedD5s7MinusD4s7 -1,581 [-173,154] median -39,660 W-T-L 7-0-9 -> +23,367 [-83,046] median +18,820 W-T-L 17-0-15 (SIGN FLIP); pairedD5s7MinusD5s5 +114,640 [-7,280] not significant -> +123,613 [+32,575] SIGNIFICANT W-T-L 19-0-13; pairedD5s7MinusD3s7 +16,622 [-130,027] -> +86,397 [-6,303] W-T-L 20-0-12; scientificOutcome fail -> inconclusive; assessment not-supported-as-tested -> mixed. Unchanged: every depth-4 and depth-5 five-stratum figure, both reproduction controls, and pairedD5s5MinusD4s5 at -8,624 [-55,134] W-T-L 33-0-31 on 64 games.
d5s7Games
32
d5s7GamesPlanned
64
d5s7StopKind
deliberate resource decision at a clean chunk boundary; not resumed
d5s7MeanScore
411873.6563
d5s7MedianScore
344436.5000
d5s7ScoreSd
282631.6400
d5s7MeanMoves
117.9688
d5s7ClearsPerMove
2.0575
d5s7RevealsPerMove
1.1481
d5s7Occupied
23.6169
d5s7WorkPerMove
176,536,117
pairedD5s7MinusD4s7
n
32
meanScoreDelta
23366.8000
lowerBound95
-83046.2000
meanMoveDelta
6.0300
winTieLoss
17-0-15
medianDelta
18,820
workRatio
35.6200
chunk1MeanDelta
-1,581
chunk2MeanDelta
48,315
note
sign flipped from the n=16 record; sits at 22% of its 107,988 detection floor
pairedD5s7MinusD5s5
n
32
meanScoreDelta
123612.7000
lowerBound95
32575.2000
meanMoveDelta
33.5300
winTieLoss
19-0-13
medianDelta
119,724
workRatio
5.8500
significant
true
detectionFloor
95,207
pairedD5s7MinusD3s7
n
32
meanScoreDelta
86396.8000
lowerBound95
-6302.9000
meanMoveDelta
22.2800
winTieLoss
20-0-12
workRatio
1125.6200
detectionFloor
97,211
pairedD5s5MinusD4s5
n
64
meanScoreDelta
-8623.7000
lowerBound95
-55133.7000
winTieLoss
33-0-31
workRatio
23.2900
detectionFloor
47,052
pairedD4s7MinusD4s5
n
64
meanScoreDelta
101170.8000
lowerBound95
47446.8000
winTieLoss
41-0-23
workRatio
3.8200
significant
true
detectionFloor
55,192
powerTable
  1. contrast
    d4s7 - d4s5
    n
    64
    mean
    101,171
    pairedSd
    268,413
    standardError
    33,552
    detectionFloor
    55,192
    aboveFloor
    true
  2. contrast
    d4s7 - d3s7
    n
    64
    mean
    86,172
    pairedSd
    298,877
    standardError
    37,360
    detectionFloor
    61,457
    aboveFloor
    true
  3. contrast
    d5s7 - d5s5
    n
    32
    mean
    123,613
    pairedSd
    327,399
    standardError
    57,876
    detectionFloor
    95,207
    aboveFloor
    true
  4. contrast
    d5s7 - d3s7
    n
    32
    mean
    86,397
    pairedSd
    334,291
    standardError
    59,095
    detectionFloor
    97,211
    aboveFloor
    false
  5. contrast
    d5s5 - d4s5
    n
    64
    mean
    -8,624
    pairedSd
    228,827
    standardError
    28,603
    detectionFloor
    47,052
    aboveFloor
    false
  6. contrast
    d5s7 - d4s7
    n
    32
    mean
    23,367
    pairedSd
    371,351
    standardError
    65,646
    detectionFloor
    107,988
    aboveFloor
    false
detectionFloorDefinition
1.645 * sd(paired deltas) / sqrt(n): the smallest true mean difference whose one-sided 95% bound would clear zero. Sample sd uses the n-1 denominator.
gamesNeededToResolveD5s7MinusD4s7
684
standardErrorHadTheArmFinishedAt64
46,419
detectionFloorHadTheArmFinishedAt64
76,359
largestSingleSeedPairedDeltasD5s7MinusD4s7
  1. -1,002,862
  2. 958,985
  3. -678,455
  4. 592,546
  5. -577,069
costToResolve
684 games at the run's own observed 1,647 s per game at 14 threads is 1,126,562 s = 13.0 wall-days (about 182 thread-days). The two chunks differed 2.3x in throughput under other agents' load (2,306 and 989 s per game), so the honest range is roughly 8-18 wall-days.
bootstrapVersusNormalApproximation
The tooling reports a one-sided percentile bootstrap (20,000 resamples, Mulberry32 domain 0xb0075eed) and the floors above are the normal approximation 1.645*sd/sqrt(n). They agree on the significance call for all six contrasts. The bootstrap bound is systematically 0.5k-4.5k HIGHER (less conservative) than mean minus 1.645*SE, i.e. 1-5% of the half-width: d4s7-d4s5 +47,447 vs +45,979; d4s7-d3s7 +26,468 vs +24,715; d5s5-d4s5 -55,134 vs -55,676; d5s7-d4s7 -83,046 vs -84,621; d5s7-d5s5 +32,575 vs +28,406; d5s7-d3s7 -6,303 vs -10,814. Paired-delta skewness is +0.55 to +0.92 on four of the six contrasts and -0.30 on d5s7-d4s7, so the two methods are close but not interchangeable at the third digit; no conclusion in this record depends on which is used.
auditD5s7Final
decisions
3,775
incompleteDecisions
0
minimumCompletedDepth
5
maxWorkPerDecision
467,827,983
declaredBound
582,727,797
declaredCacheEntries
200,000
reproductionD4s7
pairedGames
64
fields
11
comparisons
704
mismatches
0
reproductionD5s5
pairedGames
32
fields
11
comparisons
352
mismatches
0
censoredGamesAllArms
0
scoreIdentityFailuresAllArms
0
runningtier STANDARDalgorithmicpreviously-evaluated-developmentEX-20260821-reveal-sampling-unfinished-arms-470677b5

The two arms finding-09 left unfinished: reveal sampling on top of the fourth ply, and the depth-3 ladder at full joint coverage

On the shared 64-game development cohort 0xa51d1000-0xa51d103f, factoring the chance node keeps paying when it is applied on top of the fourth ply: depth 4 with seven disc samples and two reveal samples beats depth 4 with seven disc samples and one reveal sample with a one-sided 95% whole-game bootstrap lower bound above zero. Separately, the depth-3 ladder continues to order with joint (disc, reveal) coverage: twelve reveal samples (100% joint coverage) is at least as strong as six (85.7%).

Candidate
factored-chance-fair-search, arms d4 N=7 M=2 and d3 N=7 M=12
approaches/lifetime-objective/reveal-sampling/search.cpp
Comparator
the recorded single-reveal-sample arms on the same seeds (d4 N=7 M=1 = runs/RUN-A51D-s7confirm/fresh-s7.json; d4 N=5 M=1 = runs/RUN-A51D-s7confirm/fresh-s5.json) and finding-09's completed depth-3 ladder (M=1, 3, 6)
approaches/lifetime-objective/risk-calibration/search.cpp
outcome: failrun: partialpublic-developmentRS-20260821T181918Z-ea7076a3

Chance-node decorrelation and search depth do not compound; they substitute. The primary arm is complete at 64 of 64 games: depth 4 with seven disc samples and two reveal samples scores 356,548 against the 398,498 of the same search with one reveal sample, a paired -41,950 with a one-sided 95% whole-game bootstrap lower bound of -100,137 and W-T-L 28-0-36, for 4.07x the logical work per move. The gate asked for a lower bound above zero and got a negative point estimate, so the compounding theory is rejected as tested. STATE THE DOSE WHEN QUOTING THIS: two reveal samples raises joint (disc, reveal) coverage from 14.3% to 28.6%, which is a smaller increment than the six samples (85.7%) that first cleared noise at depth 3; at depth 3 the three-sample dose (42.9%) was also not significant (+24,980, lower bound -23,451). This result therefore rejects a doubling of reveal samples on top of the fourth ply, and does not establish that a wide reveal estimator at depth 4 would fail - that arm was never affordable. What the arm does establish is that the depth-4 search is not starved for the thing the extra samples supply. The striking positive finding is an equivalence at near-equal work: depth 3 with six reveal samples costs 4,244,020 work per move and scores 376,442, while depth 4 with one reveal sample costs 4,956,614 and scores 398,498, and the paired delta between them is -22,056 with a lower bound of -89,867 and W-T-L 30-0-34 - two different ways of spending the same budget landing in the same place, which is the same exchangeability the depth factorial shows from the other side. The new arm is not worthless: against the frozen five-stratum depth-4 reference it is +59,221 with a lower bound of +9,134 and W-T-L 37-0-27, so the gain comes from the seven disc samples, not from the reveal samples. Second arm, partial at 32 of 64 games and still running: depth 3 with twelve reveal samples takes joint coverage to 100% and scores -4,495 against the six-sample arm on the 32 shared seeds (lower bound -91,425, W-T-L 15-0-17) and +31,413 against the one-sample arm (lower bound -70,729), so the ladder that ordered with coverage from M=1 to M=6 stops ordering at M=12. Every arm audited 0 decisions below target depth, 0 work-limit events, 0 censored games and 0 score-decomposition identity failures, and the chunk-pooling used to survive interruption was verified to reproduce a single 64-game run field-for-field with identical summed logical work.

Gate criterionVerdictObserved
Pooling validity: four pooled 16-game chunks reproduce a single 64-game run on all 13 per-game fields with identical summed logical workpass64 games, 0 field mismatches, logical work 312,966,881 vs 312,966,881 (equal)
Bound diagnostics: 0 decisions below target depth and 0 work-limit events in every armpassd4 N=7 M=2: 6,633 decisions, 0 below target, 0 work-limit events, busiest decision at 44% of its bound; d3 N=7 M=12 (partial): 3,335 decisions, 0 below target, 0 work-limit events, busiest at 31% of its bound
Depth 4 with two reveal samples beats depth 4 with one reveal sample, 95% bootstrap lower bound above zero, 64 complete gamesfail-41,950 with a 95% lower bound of -100,137 (upper bound +17,541), W-T-L 28-0-36, at 4.07x the logical work per move; negative point estimate, and not distinguishable from zero in either direction
Depth 3 with twelve reveal samples is at least as strong as depth 3 with sixn/aundecidable as run: the arm holds 32 of 64 games and is still executing. On the 32 shared seeds the delta is -4,495 with a 95% lower bound of -91,425 and W-T-L 15-0-17 - the coverage ladder has stopped ordering, but 32 games cannot decide this criterion
0 censored games and 0 score-decomposition identity failures in every armpass0 and 0 in both new arms and in every comparator arm re-read here
Raw metrics (30)
cohort
0xa51d1000-0xa51d103f, 2,000-move cap, corrected 17,000-point Hardcore scoring
d4N7M2Games
64
d4N7M2MeanScore
356,548
d4N7M2MedianScore
305,167
d4N7M2MeanMoves
103.6400
d4N7M2WorkPerMove
20,178,327
d4N7M2ClearsPerMove
2.0306
d4N7M2RevealsPerMove
1.1358
d4N7M2Occupied
23.3500
d3N7M12Games
32
d3N7M12GamesPlanned
64
d3N7M12MeanScoreOn32
356,890
d3N7M12WorkPerMove
13,575,768
ladderD3N7
M1
312,327
M3
337,306
M6
376,442
M12partial32
356,890
jointCoverageByM
M1
0.1430
M2
0.2860
M3
0.4290
M6
0.8570
M12
1
pairedD4M2MinusD4M1
n
64
meanScoreDelta
-41,950
lowerBound95
-100,137
upperBound95
17,541
meanMoveDelta
-11.0200
winTieLoss
28-0-36
workRatio
4.0700
pairedD4M2MinusD4N5M1
n
64
meanScoreDelta
59,221
lowerBound95
9,134
meanMoveDelta
16.4800
winTieLoss
37-0-27
workRatio
15.5700
pairedD4M2MinusD3M6
n
64
meanScoreDelta
-19,894
lowerBound95
-76,456
meanMoveDelta
-5.8100
winTieLoss
37-0-27
workRatio
4.7500
pairedD3M6MinusD4M1
n
64
meanScoreDelta
-22,056
lowerBound95
-89,867
meanMoveDelta
-5.2000
winTieLoss
30-0-34
workRatio
0.8600
pairedD3M3MinusD3M1
n
64
meanScoreDelta
24,980
lowerBound95
-23,451
winTieLoss
32-0-32
pairedD3M6MinusD3M1
n
64
meanScoreDelta
64,116
lowerBound95
7,475
winTieLoss
36-0-28
pairedD3M12MinusD3M6
n
32
meanScoreDelta
-4,495
lowerBound95
-91,425
winTieLoss
15-0-17
note
partial arm, paired on the 32 shared seeds
pairedD3M12MinusD3M1
n
32
meanScoreDelta
31,413
lowerBound95
-70,729
winTieLoss
15-0-17
note
partial arm, paired on the 32 shared seeds
pairedD3M12MinusD4M1
n
32
meanScoreDelta
-31,616
lowerBound95
-143,344
winTieLoss
12-0-20
note
partial arm, paired on the 32 shared seeds
boundDiagnosticsD4N7M2
decisions
6,633
decisionsBelowTargetDepth
0
workLimitEvents
0
minCompletedDepth
4
maxDecisionWork
81,686,570
declaredBound
187,336,114
boundDiagnosticsD3N7M12
decisions
3,335
decisionsBelowTargetDepth
0
workLimitEvents
0
minCompletedDepth
3
maxDecisionWork
128,386,272
declaredBound
407,634,528
poolingValidity
games
64
fieldMismatches
0
summedLogicalWorkCandidate
312,966,881
summedLogicalWorkComparator
312,966,881
note
four pooled 16-game chunks against the single 64-game d3 N=5 M=1 run
censoredGamesAllArms
0
scoreIdentityFailuresAllArms
0
bootstrap
one-sided 95% percentile bootstrap over whole paired games, 20,000 resamples, seed 0xb0075eed (stats.py)
outcome: failrun: validpublic-developmentRS-20260821T192140Z-189fe392

SUPERSEDES RS-20260821T181918Z-ea7076a3, which assessed the same experiment while its second arm held 32 of 64 games. Both arms are now complete at 64 of 64 and the run validity rises from partial to valid. The old record remains as committed history and is not edited; this record carries the completed figures and everything below replaces the partial ones. Nothing in arm 1 changed and the direction of arm 2 did not change; only its magnitude did, by about 6x. ARM 1, unchanged and complete: depth 4 with seven disc samples and two reveal samples scores 356,548 against the 398,498 of the same search with one reveal sample - a paired -41,950 with a one-sided 95% bootstrap interval of (-100,137, +17,541) and W-T-L 28-0-36, for 4.07x the logical work per move. The gate required a lower bound above zero, so the compounding theory is rejected as tested. The sign is stable across both cohort halves (-11,082 on seeds 0xa51d1000-0xa51d101f and -72,818 on 0xa51d1020-0xa51d103f), independently confirmed by the agent that completed the runs. The +17,541 ceiling is the load-bearing number: had the axes compounded even at a quarter of the +64,116 the same knob is worth at depth 3, the data would have had to show it. The axes substitute in the strong sense. ARM 2, now complete: depth 3 with twelve reveal samples - the configuration at which (disc, reveal) joint coverage reaches 100% - scores 349,345, not the 356,890 its first 32 games suggested. Against the six-sample arm it is -27,097 with an interval of (-83,807, +31,209) and W-T-L 28-0-36; against the one-sample arm +37,019 (-25,076, +102,426), 30-0-34. THE REVEAL AXIS SATURATES AT M ABOUT 6 AND DOES NOT IMPROVE TO FULL COVERAGE. Read this as saturation, not as a demonstrated regression: the M=6 to M=12 step does not clear zero in either direction, so the data are consistent with the curve being flat from M=6 onward and are not consistent with it continuing to climb at the rate M=1 to M=6 showed. Score, moves, numbered clears and covered reveals all peak at M=6 (85.7% coverage) and fall back at M=12 (100%); only mean occupancy improves monotonically across all four points (23.88, 23.81, 23.49, 23.39). This weakens two SUPPORTING arguments in finding-09 without touching its headline, which rests on its own paired tests and stands: the dose-response is no longer monotone once the fourth point is added, with four of five tracked quantities reversing, and section 2's attribution of strength to joint coverage fails exactly at the 100% endpoint that attribution predicts should be best. finding-09 section 5 should now be read as 'M=6 is a local optimum', not 'more M is better'. Validity controls all pass: 0 decisions below target depth, 0 work-limit events, 0 censored games and 0 score-decomposition identity failures in both arms, and the chunk-and-pool procedure on which every cohort in this family depends was verified end to end by running depth 3 (N=5, M=1) as four 16-game chunks at 1 thread and reproducing the existing 64-game 12-thread artifact field-for-field - 0 mismatches, identical summed logical work of 312,966,881, only per-game wallSeconds differing, which also re-confirms worker-count independence.

Gate criterionVerdictObserved
Pooling validity: four pooled 16-game chunks reproduce a single 64-game run on all per-game fields with identical summed logical workpassdepth 3 (N=5, M=1) as 4x16 chunks at 1 thread vs the existing 64-game 12-thread artifact: 64 games, 0 field mismatches, logical work 312,966,881 = 312,966,881, only per-game wallSeconds differing; pooled bound diagnostics identical (5,750 decisions, 0 below target, 0 work-limit events, maxDecisionWork 85,085)
Bound diagnostics: 0 decisions below target depth and 0 work-limit events in every armpassd4 N=7 M=2: 6,633 decisions, busiest at 44% of its bound; d3 N=7 M=12: 6,523 decisions, busiest at 47% of its bound; 0 below target depth and 0 work-limit events in both
Depth 4 with two reveal samples beats depth 4 with one reveal sample, 95% bootstrap lower bound above zero, 64 complete gamesfail-41,950, interval (-100,137, +17,541), W-T-L 28-0-36, at 4.07x the logical work per move; negative in both cohort halves (-11,082 and -72,818) and not distinguishable from zero in either direction
Depth 3 with twelve reveal samples is at least as strong as depth 3 with six, 64 complete gamesfail-27,097, interval (-83,807, +31,209), W-T-L 28-0-36, at 3.18x the work; the ladder peaks at M=6 and turns over at full joint coverage. Failed as a criterion, but the interval spans zero, so this is saturation rather than a demonstrated regression
0 censored games and 0 score-decomposition identity failures in every armpass0 and 0 in both arms and in every comparator arm re-read here
Raw metrics (37)
cohort
0xa51d1000-0xa51d103f, 64 games, 2,000-move cap, corrected 17,000-point Hardcore scoring
supersedes
RS-20260821T181918Z-ea7076a3
supersededFieldsFromPartialRecord
d3N7M12MeanScoreOn32 356,890 -> d3N7M12MeanScore 349,345 (64 games); pairedD3M12MinusD3M6 -4,495 [-91,425] at n=32 -> -27,097 [-83,807, +31,209] at n=64; pairedD3M12MinusD3M1 +31,413 [-70,729] at n=32 -> +37,019 [-25,076, +102,426] at n=64; pairedD3M12MinusD4M1 -31,616 [-143,344] at n=32 -> -49,153 [-125,029, +27,828] at n=64; runValidity partial -> valid
ladderD3N7
M1
312,327
M3
337,306
M6
376,442
M12
349,345
ladderMovesD3N7
M1
92.2700
M3
98.7000
M6
109.4500
M12
101.9200
ladderClearsPerMoveD3N7
M1
1.9849
M3
2.0033
M6
2.0447
M12
2.0231
ladderRevealsPerMoveD3N7
M1
1.1001
M3
1.1111
M6
1.1423
M12
1.1309
ladderOccupiedD3N7
M1
23.8800
M3
23.8100
M6
23.4900
M12
23.3900
ladderWorkPerMoveD3N7
M1
156,834
M3
1,045,719
M6
4,244,020
M12
13,506,434
jointCoverageByM
M1
0.1430
M2
0.2860
M3
0.4290
M6
0.8570
M12
1
d4N7M2Games
64
d4N7M2MeanScore
356,548
d4N7M2MeanMoves
103.6400
d4N7M2WorkPerMove
20,178,327
d3N7M12Games
64
d3N7M12MeanScore
349345.2188
d3N7M12MedianScore
258,855
d3N7M12MeanMoves
101.9219
d3N7M12ScoreSd
254059.0100
d3N7M12WorkPerMove
13,506,434
d3N7M12GamesAtOrAboveOneMillion
3
pairedD4M2MinusD4M1
n
64
meanScoreDelta
-41,950
lowerBound95
-100,137
upperBound95
17,541
meanMoveDelta
-11.0200
winTieLoss
28-0-36
workRatio
4.0700
half1
-11,082
half2
-72,818
pairedD4M2MinusD4N5M1
n
64
meanScoreDelta
59,221
lowerBound95
9,134
upperBound95
111,812
winTieLoss
37-0-27
workRatio
15.5700
pairedD4M2MinusD3M6
n
64
meanScoreDelta
-19,894
lowerBound95
-76,456
upperBound95
36,846
winTieLoss
37-0-27
workRatio
4.7500
pairedD3M6MinusD4M1
n
64
meanScoreDelta
-22,056
lowerBound95
-89,867
upperBound95
46,009
winTieLoss
30-0-34
workRatio
0.8600
pairedD3M3MinusD3M1
n
64
meanScoreDelta
24,980
lowerBound95
-23,451
upperBound95
73,442
winTieLoss
32-0-32
pairedD3M6MinusD3M1
n
64
meanScoreDelta
64,116
lowerBound95
7,475
upperBound95
121,776
winTieLoss
36-0-28
pairedD3M12MinusD3M6
n
64
meanScoreDelta
-27,097
lowerBound95
-83,807
upperBound95
31,209
meanMoveDelta
-7.5300
winTieLoss
28-0-36
workRatio
3.1800
half1
-4,495
half2
-49,698
pairedD3M12MinusD3M1
n
64
meanScoreDelta
37,019
lowerBound95
-25,076
upperBound95
102,426
meanMoveDelta
9.6600
winTieLoss
30-0-34
pairedD3M12MinusD4M1
n
64
meanScoreDelta
-49,153
lowerBound95
-125,029
upperBound95
27,828
meanMoveDelta
-12.7300
winTieLoss
22-0-42
boundDiagnosticsD4N7M2
decisions
6,633
decisionsBelowTargetDepth
0
workLimitEvents
0
minCompletedDepth
4
maxDecisionWork
81,686,570
declaredBound
187,336,114
boundDiagnosticsD3N7M12
decisions
6,523
decisionsBelowTargetDepth
0
workLimitEvents
0
minCompletedDepth
3
maxDecisionWork
190,214,472
declaredBound
407,634,528
poolingValidity
games
64
fieldMismatches
0
summedLogicalWorkChunked1Thread
312,966,881
summedLogicalWorkSingle12Thread
312,966,881
onlyDifferingField
per-game wallSeconds
note
depth 3 (N=5, M=1) run as four 16-game chunks at 1 thread against the existing single 64-game 12-thread artifact; also a worker-count independence check. Recorded in finding-09 Continuation section 12.
poolDeterminism
the completing agent's single-file pooling and this session's independent re-pooling of the same four chunks produce byte-identical artifacts for both arms (d4-n7-m2.json vs d4-n7-m2-pooled.json, d3-n7-m12.json vs d3-n7-m12-pooled.json)
censoredGamesAllArms
0
scoreIdentityFailuresAllArms
0
bootstrap
one-sided 95% percentile bootstrap over whole paired games, 20,000 resamples, seed 0xb0075eed (stats.py); upper bounds from the same estimator at alpha 0.95