[1337isnot1337]

The common-axis contact search leaves independent Clifford chart changes untested. This adds a complete source-bound census of all nearest charts at every unfrozen contact and at every group constrained to preserve original zero edges on Cao Yifan’s PR4610 round-three word.

All 19,458,880 moves have nonnegative paid-minus-productive energy for every saving 0 <= C <= .005. Exact signed rank histograms, independent Python witness invoices, discrete concave dominance and outward 128-bit integer intervals establish the result. All formerly free edges, changed native warps, eight owned centers and 408 distinct arbitrary helpers are included. The selected κ remains 0.00302015. This is a finite local obstruction, not a global optimum or a new supplier.

The registered replay recompiles and reruns both complete censuses, checks all 153 tiny Lagrangians, 5,661 literal independent-axis pairs, 1,143 sequential compositions, three corruption controls and a positive descent fixture. It also replays final rank invoices for 1,960 exploratory plateau moves; those walks found no improvement and are not exhaustive.

Validation: registered replay and isolated optimized-Python replay pass; exact committed-byte/source-history preflight and official export integrity pass; a read-only Git-free isolated replay reproduces the full certificate. Hosted run 39935262575 failed in the shared onboarding fixture suite before this package replay (eight inherited failures; replay skipped). Existing PR #5123, head 95f875490c9d8d198ac594991962c4b2ebc8e017, addresses those exact fixture failures. No hosted package pass is claimed. The branch is based on refreshed canonical main 20a1e31bc6009b9b3f4d084bbaadc6350e34fcba, with source inputs pinned to the original assignment base. No selected record or frozen predecessor file changes.

Proof, exact scope, reproduction commands and open next questions are in research/independent-clifford-expansion/. Joint multi-group replacements, changed scalar contacts and new native/owned protocols remain open; continued higher-κ work will change those premises.

Credit Cao Yifan/PR4610, Dugongue/PR4654, the prior general Gaussian contact and phase-rank-debt packages, Cinna Davis’s PR4470/controller lineage, zxv, Jacob Alan Sussman and the retained source contributors. Prepared for Cinna Davis / 1337isnot1337 with substantial OpenAI Codex assistance; no subagents. Apache-2.0.

Canonical investigation and changed-contract continuation: #5125 .