LESR FINAL STRESS CHECKPOINT — 09V_EXACT_CORE_9_CLOSED
Date: 2026-09-24
Target: Tail Aref hard-core campaign

Exact-eroded-core proof tier remains authoritative for these delegated hard parents.
Hard-core CLOSED count = 9 / 29
CLOSED IDs = [1, 13, 45, 47, 95, 143, 169, 178, 186]

Current OPEN exact-core states:
- 160: queue=8, new_nodes=182000, leaves=91003, min_slack=9.44206823838556e-10, max_depth=28
- 168: queue=9, new_nodes=226000, leaves=113000, min_slack=1.5298426969678758e-09, max_depth=27
- 177: queue=11, new_nodes=122000, leaves=61001, min_slack=1.6955751247493822e-09, max_depth=24
- 0: queue=12, new_nodes=74000, leaves=37000, min_slack=3.873754539363006e-09, max_depth=24
- 94: queue=12, new_nodes=110000, leaves=55002, min_slack=7.932648982134083e-10, max_depth=26
- 125: queue=12, new_nodes=80000, leaves=40002, min_slack=1.4836906148119056e-09, max_depth=31
- 159: queue=12, new_nodes=86000, leaves=42998, min_slack=1.9757173674861406e-10, max_depth=27
- 161: queue=12, new_nodes=166000, leaves=83007, min_slack=8.581815258423831e-10, max_depth=30
- 93: queue=13, new_nodes=182000, leaves=90999, min_slack=2.299802792649075e-09, max_depth=27
- 124: queue=13, new_nodes=72000, leaves=36003, min_slack=5.725406815315637e-10, max_depth=29
- 129: queue=13, new_nodes=46000, leaves=23001, min_slack=2.7556068538103773e-10, max_depth=29
- 142: queue=13, new_nodes=40000, leaves=20000, min_slack=1.5289930432871301e-09, max_depth=30
- 150: queue=13, new_nodes=70000, leaves=35002, min_slack=1.1944867317481567e-10, max_depth=30
- 152: queue=13, new_nodes=114000, leaves=57001, min_slack=5.203364406014543e-10, max_depth=30
- 81: queue=14, new_nodes=44000, leaves=22002, min_slack=1.3210499361093753e-10, max_depth=32
- 92: queue=14, new_nodes=62000, leaves=31004, min_slack=2.580468061452734e-10, max_depth=31
- 46: queue=15, new_nodes=142000, leaves=70999, min_slack=2.033839097137502e-09, max_depth=24
- 63: queue=15, new_nodes=122000, leaves=60999, min_slack=2.3805915017049983e-09, max_depth=24
- 128: queue=15, new_nodes=46000, leaves=23002, min_slack=1.380942027395804e-10, max_depth=30
- 131: queue=17, new_nodes=50000, leaves=24999, min_slack=2.003024412999821e-10, max_depth=29

Traversal findings:
- exact-core proof predicate remains stable; all certified leaf slacks are positive.
- queue count is not monotone because DFS exposes large frozen siblings late.
- frontier sweep is now used to immediately consume already-provable A/NOT-F3 queue boxes.
- a fast erosion-radius-only scheduler benchmark did not outperform the historical K64 lookahead.
- exact child-lookahead adaptive scheduling improved some near-reference parents (especially 131) but costs several times more CPU per split; retained only as a specialized escalation tier.

Adaptive delegated states currently exist for parents 92,124,125,129,131,142,150,152,161; they are not counted as CLOSED unless their delegated frontier reaches zero.

Domain sanity check:
- crossing parents are correctly clipped to rho >= 0.003 before tail certification.
- therefore the remaining hard trees are not caused by accidentally including the local rho<0.003 domain.

NO FINAL TAIL CLAIM YET:
- TAIL [0.003,pi/120] OPEN.
- ROOT6217 positive rotation OPEN.
- GLOBAL Lebesgue OPEN.

Next:
Continue 4-worker exact-core waves plus frontier sweep, prioritizing low-cost parents while keeping deep-tree parents persistent.