Contracts¶
Accepted
Accepted for the V1 semantic contract model and prelude contract families.
Catalyst separates the general semantic contract model from the prelude contract families that source syntax lowers through.
Read In This Order¶
- Semantic Contract Model
- Implementation Declarations
- Coherence and Visibility
- Contract Dependencies and Intersections
- Contract Dispatch
Then read the contract-family pages:
- Indexing and Sequence Contracts
- Iterator Contracts
- Dynamic Iteration
- Equality and Ordering Contracts
- Arithmetic Contracts
- Built-In Contract Conformances
Deferred or future contract work is tracked separately:
- Deferred Contract Work
- CEP-0005: Fallible Iterator Families
- CEP-0018: Contextful Iterator Families
- CEP-0019: Owned Dynamic Iterator Construction
Boundary¶
Contract laws, dispatch, dyn-safety, implementation declarations, coherence, and prelude contract families live here.
Box-owned iterator forwarding is documented with Box ownership. Iterator source selection and loop cleanup are documented with control flow.
Standard-library-owned contracts are documented by namespace: hashing under std.hash, formatting under std.fmt, debug rendering under std.debug, and printing APIs under std.io.