Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Golden Factor Matrix Recovery

Abstract

Equality of the fixed represented Chen signatures is equivalent to equality of the legal golden factors.

Remark 1.1 (Source-linked mathematical interpretation).

Lean statement: D5/S3/Observer/GoldenChronology/GoldenFactorParikhMagnusBridge.golden_factor_eq_iff_step_two_signature_eq

Formalization. D5/S3/Observer/GoldenChronology/GoldenFactorParikhMagnusBridge.golden_factor_eq_iff_step_two_signature_eq (✓ std3).

Source. Repository-derived.

Commentary.

Equality of the fixed represented Chen signatures is equivalent to equality of the legal golden factors.

The two first-degree entries recover length. A single central second-order coordinate then recovers the legal word. Prime labels and absolute occurrence indices are outside this claim.

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

References