Tribonacci Period-Seven Distinctness

Abstract

The seventy new Tribonacci period-seven phase codes are duplicate-free.

Theorem 1.1 (All seventy new phase codes are distinct).

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

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

Source. Repository-derived.

Commentary.

Two five-orbit blocks and five isolated cross-block comparisons replace one monolithic separation computation.

References

• Truth anchor: D5/S0/Tower/TribonacciPeriodic/EnumerationSevenDistinct.tribonacci_new_periodic_orbit_state_codes_nodup_seven
• Dependency: D5/S0/Tower/TribonacciPeriodic/EnumerationSevenData