Tribonacci Period-Eight Fixed Points

Abstract

The period-eight equations are exactly eleven inherited and one hundred twenty new phases.

Theorem 1.1 (Period-eight equations decompose into certified orbit phases).

$$\mathrm{toFinset}\left(\mathrm{tribonacciFixedPointCodes}\left(8\right)\right)=tribonacciExpectedPointCodesEight$$

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

Source. Repository-derived.

Commentary.

A one hundred thirty-one-cardinality squeeze turns the inherited and rotated-itinerary inclusions into exact equality.

References

• Truth anchor: D5/S0/Tower/TribonacciPeriodicEight/EnumerationEightFixed.tribonacci_fixed_point_codes_eight_decompose
• Dependency: D5/S0/Tower/TribonacciPeriodicEight/EnumerationEightFixedB