Tribonacci Period-Seven Fixed Points

Abstract

The period-seven equations are exactly one inherited and seventy new phases.

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

$$\mathrm{toFinset}\left(\mathrm{tribonacciFixedPointCodes}\left(7\right)\right)=tribonacciExpectedPointCodesSeven$$

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

Source. Repository-derived.

Commentary.

A seventy-one-cardinality squeeze turns the rotated itinerary inclusions into exact equality.

References

• Truth anchor: D5/S0/Tower/TribonacciPeriodic/EnumerationSevenFixed.tribonacci_fixed_point_codes_seven_decompose
• Dependency: D5/S0/Tower/TribonacciPeriodic/EnumerationSevenFixedB