On this page

Reference¶

Find a concept, inspect its exact definition, then follow the configured evidence. Qualified identities distinguish definitions with the same spelling in different modules or scopes.

Teaching contracts¶

The three instructional packages are deliberately small. Start here when learning notation or one boundary:

Question	Entry
How is a final nonnegative cost calculated?	Cost algebra and payment boundaries.
What distinguishes zero payment, decline and pending completion?	Resources and payment.
Does an old target follow a fresh occurrence?	Objects and lifetime.
Which actor and exact caller receive a completed return?	Priority and completion.

These models have their own source and bounds. Their A/B labels and simplified records are not automatic aliases for the larger profile’s roles or state.

Reference-profile contracts¶

Meet the reference profile introduces its SideA/SideB roles and supplier boundaries. The entries below describe the full selected profile rather than substituting the teaching examples for it.

Contract	Entry
Components, supplied payment candidates and commitment	Payment interfaces.
Metadata values, name references and effective characteristics	Characteristics.
Locations, object renewal, ordered piles and observation	Zones.
Turn opportunities, objective procedures and ending boundaries	Turns.
Operation admission, instruction parts and completion	Instructions.
Traversal, site selection, item inspection and return	Inspection.
Ability definitions, instances, use, priority and caller return	Abilities.
Information, conversion and supplied loop witnesses	Additional rules.
Current entries, activity epochs, pending and detached authority	Registry.
Owed work, cleanup, reactions and matched returns	Checkpoints.
Neutral vocabulary and synthetic example/source contexts	Vocabulary.

A source listing does not prove that every branch was exercised. A guard that consumes a supplier’s decision does not implement that supplier. Continue through Evidence before transferring a result to another configuration or implementation.

Modules¶

These pages are generated from the exact prepared neutral source. Every selected contract and frozen nested helper has its own entry. Additional local fixture helpers can remain within their owning definitions and complete downloads; each affected module explains its index scope.