Quantum-Statistics Nonselection: Proof and Reproducibility Archive

This record provides the proof and reproducibility archive supporting the manuscript “Topology Permits but Does Not Select Fermions: Character Nonselection, Pfaffian Triviality, and Topological-Memory Obstructions for Degree-One Bosonic Solitons.” The archive contains the corrected LaTeX manuscript source, compiled manuscript PDF, bibliography, internal red-team proof audit, revision log, primary-source verification table, executable verification scripts, and recorded outputs. The scripts check four discrete components of the analysis: the classification of real characters of the group Z2; the exterior-module decomposition of the typed chiral space; the pairwise anticommutation and exchange algebra of the auxiliary three-channel model; and the exact perturbative expansion of the two-state effective Hamiltonian. The associated manuscript distinguishes topological permission for fermionic quantization from dynamical selection of the fermionic sign character. For the specified degree-one bosonic soliton configuration space, the topology permits both the trivial flat line and the nontrivial sign line. The audited real local action, Berry-holonomy construction, bosonic mod-two spectral-flow family, reduced Hodge–de Rham Pfaffian line, SU(2) anomaly indicators, and auxiliary compact exchange model do not canonically select the sign line without additional microscopic structure or retained discrete topological memory. The archive supports a bounded nonselection result. It does not claim that fermionic quantization is impossible, does not select the trivial quantum sector, and does not identify a proton, neutron, electron, or other physical particle. The included internal proof audit is a research-quality control record and does not constitute external peer review. All executable checks can be run from the extracted archive with: python scripts/run_all_checks.py