Rank Dichotomy (CAT(0) cube complexes) This repository fixes the canonical statement boundary for the rank dichotomy in finite-dimensional CAT(0) cube complexes. Artifacts THEOREM.md: formal mathematical statement and assumptions rank-dichotomy-cat0.tex / pdf: canonical statement artifact STATUS.md: claim boundary and verification status Reproducibility Build the canonical PDF with: scripts/build_pdf.sh Scope No proof is claimed here. No generalization or extension is intended. Computational checks, if present, are bounded evidence only.
docs/STATEMENT_INTEGRITY_NOTE_2026_04.md— conditional note specifying the weakest audit-level extension compatible with the repository's statement-boundary-only scope.