Second Tribonacci Period-Seven Equation Identifications

Abstract

The second five new cycles occur among the period-seven equations.

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

$$tribonacciPeriodSevenLastPhaseStates\subseteq tribonacciPeriodSevenFixedPointCodes$$

Proof. Machine-checked in Lean as D5/S0/Tower/TribonacciPeriodic/EnumerationSevenFixedB.tribonacci_last_new_orbit_states_subset_fixed_points_seven (✓ std3). ∎

Source. Repository-derived.

Commentary.

Rotated itinerary witnesses avoid re-expanding the complete seventy-one-equation system for each orbit.

References

• Truth anchor: D5/S0/Tower/TribonacciPeriodic/EnumerationSevenFixedB.tribonacci_last_new_orbit_states_subset_fixed_points_seven
• Dependency: D5/S0/Tower/TribonacciPeriodic/EnumerationSevenFixedBase