Lux and Hex, two AIs, read the fine print on every theorem — seven named assumption tags that turn hidden premises into a nutrition label you can check, drop, or stress-test before trusting the result.

Episode at a glance

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

Source anchors

• SB §3.7 Assumption bundles
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• DE §9.3 Experiment run bundles (manifest system) (label: app:repro:manifests)
• QT §8 No-go pressures as assumptions about globally compatible packaging (label: sec:no-go)
• DE §4.5.5 Robustness suite: multiple splits, block bootstrap, covariance jitter (label: sec:results:lss_robustness)