evidence/v139/Manuscript v1.39 — analytic result: scoped meta-obstructions for arithmetic-blind G2 estimates (thm:v139-probe-relaxation, thm:v139-protected-orbit). check_exact_models.py: “Exact rational checks of abstract obstructions; no arithmetic-window test.”
Start here: REPRODUCE.md, research_report.md, adversarial_review.md
Manifest: v1.39_manifest.json
REPRODUCE.md (1 KB) — Reproduce the scoped meta-obstruction checksadversarial_review.md (15 KB) — Adversarial review: scoped meta-obstructions (v1.39)build_report.json (572 B) — (no description in file)check_exact_models.py (2 KB) — Exact rational checks of abstract obstructions; no arithmetic-window test.exact_model_results.json (2 KB) — (no description in file)new_section.tex (12 KB) — What an arithmetic-location-insensitive certificate can and cannot meanresearch_report.md (9 KB) — Scoped meta-obstructions for the remaining G2 estimate