Contracts Core

Kind: layer

Record: layer:contracts-core

Canonical: Schema

The rules governing interfaces and contracts — explicit typed boundaries, versioned change, no implicit or breaking contracts.

Listed in Layers, after Computation Core and before Correctness Core.

Contract

Edge kind

Layer of

Linked from