Actual one-sided Nahm vacuum packet

The proof works with one fixed published figure-eight triangulation and symbolic primitive slopes p mu + q lambda satisfying p in 4Z and p/q > -4. It detects the actual native filled vacuum. The explicit +4 case is beyond the earlier original-character ordinary-index detector, whose unit average has an exact nonconvergent ray.

This is a supporting research note, not an unrestricted conjecture resolution. AI-assisted; no external specialist review; novelty unassessed.

Run with Python 3 (standard library only):

python3 verify-actual-nahm.py
python3 build-release.py

The verifier uses exact coefficient arithmetic, symbolic polynomial identities and certified quadratic tails. The proof, not the finite checks, establishes the whole slope family. There is no manifold, triangulation or slope census.

Read FPRD-actual-Nahm-vacuum-2026-09-08.md, internal-audit.md, and source-ledger.md for the theorem, dependencies, limitations, and next question. FPRD-research-loop-state.md continues the same active program.