Tribonacci Period-Eight Equation Identifications

Abstract

The final five primitive cycles occur among the period-eight equations.

Theorem 1.1 (The final five cycles occur in the equation set).

$$tribonacciPeriodEightLastPhaseStates\subseteq tribonacciPeriodEightFixedPointCodes$$

Proof. Machine-checked in Lean as D5/S0/Tower/TribonacciPeriodicEight/EnumerationEightFixedB.tribonacci_last_new_orbit_states_subset_fixed_points_eight (✓ std3). ∎

Source. Repository-derived.

Commentary.

Explicit closed rotations identify each phase without re-expanding the complete one hundred thirty-one-equation system.

References

• Truth anchor: D5/S0/Tower/TribonacciPeriodicEight/EnumerationEightFixedB.tribonacci_last_new_orbit_states_subset_fixed_points_eight
• Dependency: D5/S0/Tower/TribonacciPeriodicEight/EnumerationEightFixedBase