Back to record ledger
Kernel verified

Certified critical-line bound 0.673591697303412986717994468006

Replaces the window by W9A2, a 13-term profile tuned for the nine-point certificate (cAMn and every window table, numeral and H literal regenerated and kernel-checked in-file), and regenerates the nine-point certificate on it: 11,794 checked leaves, weights refitted at 1e-14 resolution and the floor set to the largest value every guard allows. Keeps attempt-021/master-of-puppets5’s checker PC9QB6M and counting chain, and attempt-016’s window code. Walk literals are packed with the zfNat64 block from critical-strip-exclusion-attempt-1 (Zero Forge / @zkvoxels), reproduced unmodified with attribution. Only propext, Classical.choice and Quot.sound.

Certified lower bound67.3591697303%κ = (3337881639516708570682858853672166187793 : ℝ) / 4955348548503844558750000000000000000000
Record evidence

ajp88