evidence/v137/Manuscript v1.37 — analytic no-go: a bounded scalar primitive error cannot supply the finite floor (cor:v137-scalar-no-go). check_probe.py provides diagnostic quadrature and exact rational gates; “No Weil eigenvalue or RH sign is inferred from these computations.”
The v1.37 manifest lists these files under their original g2_scalar_budget_no_go/ path; tools/verify_manifest.py reports them RELOCATED here.
Start here: research_report.md, adversarial_review.md
Manifest: v1.37_manifest.json
adversarial_review.md (10 KB) — Adversarial review: the bounded scalar primitive route fails for the actual symbolcheck_probe.py (2 KB) — Diagnostic quadrature and exact rational gates for the cutoff-side-lobe proof. No Weil eigenvalue or RH sign is inferred from these computations.new_section.tex (9 KB) — Why a bounded scalar primitive error cannot supply the finite floorprobe_results.json (871 B) — (no description in file)research_report.md (9 KB) — v1.37 — an arithmetic no-go for bounded scalar primitive budgets