Contracts

Stage contracts, plan bundle format, compiler algorithm, and corpus structure.

• Stage contracts — catalog of all 40 stage contracts across 6 lines (entry, exit, bindings, transitions)
• Plan bundle schema — plan-bundle.v1 format: fields, constraints, digest calculation
• Compiler specification — 8-step compilation algorithm: resolution, binding validation, deterministic checks, pack emission
• Corpus architecture — corpus structure, unit types, registry, proposal lifecycle