Cyclic Rigidity — Reproducibility Archive

Technical Report IV · v1.1 corrected · July 22, 2026

Scope. These artifacts verify the cyclic normal-form theorem and preserve the internal multi-agent adversarial review that corrected the published framing. They do not claim unrestricted JC₂, historical priority, or independent human peer review.

Corrected manuscript and review

File	Purpose
cyclic-rigidity-report-iv-v1.1.pdf	Corrected, internally reviewed eight-page manuscript
cyclic-rigidity-report-iv-v1.1.tex	LaTeX source for the corrected manuscript
ADVERSARIAL_REVIEW.md	Full seven-trace internal referee report and six proof obligations
review_ledger.json	Machine-readable verdicts, defects, proof obligations, and trace identifiers
independent_low_degree_search.py	Independent exact low-degree system search
independent_low_degree_search.out	Captured output: 130 systems, no nonconstant solutions
formal_series_counterexample.py	Executable warning that the polynomiality hypothesis is essential
formal_series_counterexample.out	Captured formal-series counterexample output

Replay

python -m pip install -r requirements.txt
python run_all.py

Files

File	Purpose
FULL_CYCLIC_RIGIDITY_THEOREM.md	Main theorem and proof
verify_full_cyclic_rigidity.py	Primary exact symbolic and modular verifier
independent_checker.py	Independent polynomial-dictionary implementation
adversarial_counterexample_search.py	Bounded exact Gröbner attack on the edge identity
SINGLE_U_MODE_THEOREM.md	Earlier unbounded recurrence theorem
verify_single_u_mode_theorem.py	Single-mode exact checker
run_all.py	One-command replay and manifest regeneration
requirements.txt	Pinned Python dependency
manifest.json	Environment and executed-run receipt
SHA256SUMS.txt	SHA-256 ledger