Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Magnus Center and Window Parity

Abstract

For a specified length, center-only recovery of every legal golden factor holds exactly when that length is even.

Remark 1.1 (Source-linked mathematical interpretation).

Lean statement: D5/S3/Observer/GoldenChronology/GoldenMagnusParityRecovery.center_recovers_fixed_length_iff_even

Formalization. D5/S3/Observer/GoldenChronology/GoldenMagnusParityRecovery.center_recovers_fixed_length_iff_even (✓ std3).

Source. Repository-derived.

Commentary.

For a specified length, center-only recovery of every legal golden factor holds exactly when that length is even.

Even-length balance and integral parity recover the omitted count. At each odd length the two distinct legal palindromes have zero center. Every same-length central fiber contains at most two word contents.

This mirror supplies commentary only. The named Lean declaration and its kernel report own the exact statement and verification status.

References