# CONTRACT — <id>

## Domain and obligation
- Consumer / provider:
- Scope and exclusions:
- Public / internal / experimental:
- Inputs, outputs and error semantics:
- Lifecycle and concurrency:
- Invariants / preconditions / postconditions:
- Ownership and resource boundaries:
- Authority needed (operation, resource, expiry):
- Backward compatibility and deprecation:

## Proof
| Claim | Evidence location | Baseline SHA | Status |
|---|---|---|---|
| | | | unverified |

## Non-goals and rollback

## Sign-off (explicit)