Completion-radius and two-arm review

This directory supports the review of exactly two result units:

1. finite-horizon output variation and completion radius (FPRD-T75);
2. the two-arm theorem and its global-gauge Heisenberg separation (FPRD-T76/T77).

Run:

python3 audit_completion_two_arm.py > review_completion_two_arm_output.json

The checker is dependency-free. It exhausts all nonempty binary-domain subsets through horizon three for the elementary anchor construction, exercises the uniform metric-extension bound over integer targets, checks random trim-NFA completion radii, verifies two-arm delay and height formulas in the integers and the discrete Heisenberg group, and tests both global gauges and the hostile two-mode collapse. These finite calculations corroborate the written proofs; they do not replace Basso–Sidler’s extension theorem, prove novelty, or supply external review.