Tribonacci Period-Eight Distinctness

Abstract

The one hundred twenty new Tribonacci period-eight phase codes are duplicate-free.

Theorem 1.1 (All one hundred twenty new phase codes are distinct).

$$\mathrm{Nodup}\left(tribonacciPeriodEightNewPhaseStateList\right)$$

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

Source. Repository-derived.

Commentary.

Three five-orbit blocks and three cross-block comparisons replace one monolithic separation computation.

References

• Truth anchor: D5/S0/Tower/TribonacciPeriodicEight/EnumerationEightDistinct.tribonacci_new_periodic_orbit_state_codes_nodup_eight
• Dependency: D5/S0/Tower/TribonacciPeriodicEight/EnumerationEightData