ResultCHECK gates for the one-entry leaf memo: bit identity, search parity, determinism, interleaved timing on real probe seeds
One-entry leaf memo (fast-engine-memo/MemoSearch) on real probe seeds: leaf bits 0/4,260 (d4s5) and 0/2,500 (d4s7) mismatches in the search's feeding order; parity with FastSearch 0 action/work/node/cache-hit/completed-depth mismatches over 160 (d4s5, 117,732,775 leaf calls) and 50 (d4s7, 119,607,901 leaf calls) moves; determinism 0 mismatches at 1 vs 4 threads; memo hit rate 61.74% (d4s5) and 68.47% (d4s7); interleaved timing plain/memo 1.581x (d4s5, 12 real roots x 3 reps) and 1.634x (d4s7, 6 roots x 2 reps) under load ~31, indicative.
On this page
- Recorded
No explanation has been written for this record yet.
Technical recordMetrics, gate checks and limitations
One-entry leaf memo (fast-engine-memo/MemoSearch) on real probe seeds: leaf bits 0/4,260 (d4s5) and 0/2,500 (d4s7) mismatches in the search's feeding order; parity with FastSearch 0 action/work/node/cache-hit/completed-depth mismatches over 160 (d4s5, 117,732,775 leaf calls) and 50 (d4s7, 119,607,901 leaf calls) moves; determinism 0 mismatches at 1 vs 4 threads; memo hit rate 61.74% (d4s5) and 68.47% (d4s7); interleaved timing plain/memo 1.581x (d4s5, 12 real roots x 3 reps) and 1.634x (d4s7, 6 roots x 2 reps) under load ~31, indicative. Engineering result: semantics-preserving; no strength claim.
- ✓0 leaf bit mismatches at d4s5 and d4s7 — observed: 0/4,260 and 0/2,500
- ✓0 parity mismatches vs FastSearch — observed: 0 over 160 and 50 moves
- ✓0 determinism mismatches — observed: 0 over 4 games
- ✓timing ratio >= 1.5 at both strata (indicative) — observed: 1.581 and 1.634 under load
Technical recordRecorded metrics
- d4s5
- boards
- 4,260
- mismatches
- 0
- hitRateFeedOrder
- 0.5655
- d4s7
- boards
- 2,500
- mismatches
- 0
- hitRateFeedOrder
- 0.6392
- d4s5
- moves
- 160
- mismatches
- 0
- leafCalls
- 117,732,775
- hitRate
- 0.6174
- d4s7
- moves
- 50
- mismatches
- 0
- leafCalls
- 119,607,901
- hitRate
- 0.6847
- games
- 4
- threads
- 1
- 4
- mismatches
- 0
- d4s5
- roots
- 12
- reps
- 3
- plainSeconds
- 7.1319
- memoSeconds
- 4.5098
- ratio
- 1.5814
- d4s7
- roots
- 6
- reps
- 2
- plainSeconds
- 12.5726
- memoSeconds
- 7.6951
- ratio
- 1.6338
- Timing ratios were measured on a host at load ~31 and are indicative; an idle-host, three-repeat measurement is owed before any throughput claim.
- Probe cohorts are small (210 parity moves); the bit-identity argument is structural and the gates are confirmation, not the proof.
- Not adopted by any cohort runner yet.
Recorded against CHECK gates for the one-entry leaf memo: bit identity, search parity, determinism, interleaved timing on real probe seeds.
Agent contextHow to extend this record
To add a reader-facing explanation, write web/content/research/RS-20260822T074305Z-bd1697c8.mdx; it renders above this record on the next request. The recorded metrics, gate checks and limitations are in the technical record above.
Record file: research/results/RS-20260822T074305Z-bd1697c8.json, validated against research/schemas/result-v1.schema.json.
- Run ids
RUN-20260822T073338Z-48e4df54
- Contribution ids
CT-20260822T074159Z-247f2f1bCT-20260822T073043Z-f8dcf45aCT-20260822T073043Z-6aa6d992
- Per-game artifact
–- Artifact manifest
runs/RUN-20260822T073338Z-48e4df54/gates.log- Machine profiles
research/system-profiles/MACH-20260820T080056Z-376ada90.json