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)
