Manhattan Pinball: finite seam certificate, symbolic interval certificate, multi-q empirical certificates, and reproduction code (R=2)

Computational artifacts accompanying ongoing work on the Manhattan Pinball localization conjecture for q in (0, 1/2). This deposition is the canonical archive for the finite seam certificate referenced in the manuscript's certificate manifest, with the code needed to regenerate and re-verify it. Finite seam certificate (top-level files). seam_certificate.json is the machine-readable form used as the reference object for the certificate manifest in the manuscript. It records 88 atom supports, 130 charged transitions, eight minimal bridge orbits, 88 row-sum polynomials, and the Sturm data for the pressure check. seam_certificate.md is a human-readable summary; seam_certificate.txt is a verbose row-sum log. Reproduction code (top-level Python files). prefix_lyapunov_v2.py and prefix_lyapunov_symbolic.py implement the prefix enumeration (numerical and symbolic-in-q variants). mp_stream.py and mp_par.py implement the underlying Manhattan walk and shard splitting. schur_certificate.py implements the Schur-complement Lyapunov solver and verifier. schur_interval_certify.py implements the interval Schur certifier used to cover all q in (0.001, 0.499). Companion bundle (tarball). Rigorous symbolic interval Schur Lyapunov certificate covering all q in (0.001, 0.499) at base radius R=2; empirical Schur certificates at q=0.10 and q=0.30; per-interval log. Scope. Certifies the finite local seam pressure and the lifted Schur Lyapunov inequality at base radius R=2. Does not prove the all-R extension. Repository: github.com/okezue/ManhattanPinball