Use when the central theorem of an Econometrica manuscript must be stated cleanly and proven completely — assumptions, generality, and proof strategy. Builds and audits the theorem-and-proof core; it does not derive the identification/asymptotic conditions (use ecta-identification) or run simulations (use ecta-robustness).
