=== RUN 1: self-contained certificate (check_c71_n18.py) ===
selftest Maj3:  I = 3/2 (want 3/2), H brackets 2: PASS
selftest beta(1/2) in [6.454783716562, 6.454783716563] (want 6.45478371656..., < prev record): PASS
SELFTEST PASS
n=18 terminal (headline record, logic-monotone): n=18, balanced (fhat(0)=0): True, I = 261/128, monotone = True, sha256 binding OK, 2770 nonzero coefficients
  C = H/(I-1) certified in [6.521845710923046575658143972948..., 6.521845710923046575658143972949...]
  claimed (floor-truncated)  6.5218457109230465756581439729485784683666
  headline (18-digit floor of lower endpoint)  6.521845710923046575
  claimed <= lower endpoint: True;  lower endpoint > 6.514326913930565372650625175957 (prev record certified hi): True
  CERTIFIED
ALL CERTIFIED
exit=0

=== RUN 2: independent verifier (verify.py, numpy WHT) ===
artifact: fei_c71_n18_artifact.json
n = 18   balanced = True   I = 261/128 = 2.039062500   monotone = True   nonzero coeffs = 2770
H > 0: True   C = H/(I-1) certified lower endpoint (exact floor, 30 digits):
    6.521845710923046575658143972948
live record (MI2026b): 6.51432691393056537265062517595609726535914349523745739524537
strict bar (their hi): 6.514326913930565372650625175957
beats record (strict): True   margin over bar = 0.007518796992481203007518
claims-table cross-check OK: claimed 6.5218457109230465 <= recomputed lower endpoint
RESULT: PASS — valid balanced seed, certified C strictly exceeds the live record
exit=0

run captured: 2026-07-22T17:21:21Z host=instance-20260715-123353