P-00: {Paper Title}
Scope
Tier(s) covered
Canonical axiom list (this paper’s spine)
Key definitions
Operator/action catalog (capabilities)
Lemmas (derived constraints)
Test hooks (what could falsify downstream hypotheses)
Anticipated objections & replies