Enumeration Eleven MaximinB

Abstract

Period-eleven Tribonacci certificates, part MaximinB.

The enumerator was calibrated against all three committed levels before use, and against their rotation classes as sets rather than their counts: it reproduces the fifteen, twenty-six and forty-two classes exactly.

Theorem 1.1 (Enumeration Eleven MaximinB).

$$\forall o\in TribonacciCodedOrbit,o\in tribonacciPeriodElevenOrbitRepresentatives\Rightarrow \mathrm{tribonacciPeriodicStateArm}\left(\mathrm{decodeTribonacciState}\left(\mathrm{lowState}\left(o\right)\right)\right)\le \mathrm{championValue}\left(t\right)$$

Proof. Machine-checked in Lean as D5/S0/Tower/TribonacciPeriodicEleven/EnumerationElevenMaximinB.tribonacci_period_eleven_orbit_16_low_arm (✓ std3). ∎

Source. Repository-derived.

Commentary.

The left and right branch split of the arm minimum was measured for this level: thirty-nine left and thirty-five right. It differs at every level, so the shorter levels’ sets are not reusable.

References

• Truth anchor: D5/S0/Tower/TribonacciPeriodicEleven/EnumerationElevenMaximinB.tribonacci_period_eleven_orbit_16_low_arm
• Dependency: D5/S0/Tower/TribonacciPeriodicEleven/EnumerationElevenMaximinA
• Dependency: D5/S0/Tower/TribonacciPeriodicTen/EnumerationTenMaximinC