Interface Contract

Kind: algorithm

Record: algorithms:interface-contract

Canonical: Algorithms

Closure: Dependencies in load order

Define explicit interfaces with preconditions, postconditions, invariants, error semantics, version rules, and compatibility guarantees before implementation.

Listed in Algorithm contracts, after Coupling Control and before Substitutability.

Domain

• Architecture

Tier

• leaf

Composed by

• Composed Turn Contract
• <Mode-Driven Response Schema>

Math type

• Logic

Force

• Contract compatibility
• Semantic consistency

Linked from

• Mode-driven response schema
• The mathematics
• Domain tiers
• The forces