03 — Formal Capability Contract v0.1

Formal structures are selected by problem obligations, not declared as reality's ontology.

Cycle 1 capabilities: configurations; typed transformations; path/composition; branching genealogy; predicates/equivalence/tolerance relations; reachability; probabilistic observation/transition; representation mappings.

Profiles: RP002A uses probabilistic/representation capabilities; RP003 path/relation; RP004 genealogy/representation; RP005A reachability.

Encodability ≠ explanatory adequacy. Expressivity alone ≠ suitability. Borrow established mathematics first; bridge when needed; invent only after recurring formal deficit.