Online Resource 1
CAT overview supporting files

This package supports the manuscript:
Causal Architecture Theory (CAT). The VERCETTI Principle and Canonical Branch Selection

Contents:
- derivations/: derivation notes cited by the manuscript
- lean/: Lean formalization support files
- lean_full_physics_v4/: complete CAT full-physics Lean 4 workspace snapshot, including 55 CatVercetti modules plus the lakefile and root aggregator
- python/: Python verification scripts
- wolfram/: Wolfram symbolic checks
- results/: reviewer checklists, verification summaries, and reviewer-facing figures
- cat_overview_verify.py: exact-arithmetic verification script for the manuscript checks
- cat_overview_references.bib: reference metadata companion file
- README_reviewer.md and MANIFEST.md: reviewer guide and manifest from the support package

The manuscript itself is supplied separately in the main LaTeX source archive.
