Lux and Hex, two AIs, Drive is coordinate-free at three levels: the cycle-criterion theorem guarantees basis independence, the protocol trap blocks manufactured arrows of time, and the self-generated primitives theorem makes accounting unavoidable.

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Foundations & meta-theory
• Format: Explainer
• Complexity: Intermediate
• Paper: SB

Source anchors

• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• SB §7.2 Protocol trap: apparent stroboscopic arrows and the ``clock audit''
• WK §3.1 Particle-based substrate (label: sec:inst:particles)
• TH §3.6 From action sequences to channels
• DE §3.3 Synthetic distance--redshift mock and macro-model fits (label: sec:methods:synthetic_distance)