Enumeration Ten Data

Abstract

Forty-two exact primitive period-ten orbit certificates.

The enumerator was calibrated against both committed levels before use, and against their rotation classes as sets rather than their counts: it reproduces the fifteen period-eight classes and the twenty-six period-nine classes exactly.

Theorem 1.1 (Enumeration Ten Data).

$$\mathrm{length}\left(tribonacciPeriodTenOrbitRepresentatives\right)=42$$

Proof. Machine-checked in Lean as D5/S0/Tower/TribonacciPeriodicTen/EnumerationTenData.tribonacci_period_ten_representative_count (✓ std3). ∎

Source. Repository-derived.

Commentary.

Names are numeric because forty-two exceeds the twenty-six letters the shorter levels used.

References

• Truth anchor: D5/S0/Tower/TribonacciPeriodicTen/EnumerationTenData.tribonacci_period_ten_representative_count
• Dependency: D5/S0/Tower/TribonacciPeriodicNine/EnumerationNineMaximinB