Contracts

Informative catalog page. The linked OpenSpec source is the sole normative text.

Capability ID

BSP-CAP-53430B474DB2

Capability key

language-meta--contracts-and-effects--contracts

Status

Standard

Catalog revision

9c11b6418f6db430f8fc249f71e01ce9273b2a681b77b32dafc44703b9b41734

Read the canonical OpenSpec capability source.

Requirements

• BSP-REQ-5A6EF5C559A0: Contract declaration and embeddings — canonical requirement
• BSP-REQ-CA9C4460BD37: Conformance satisfaction and diagnostics — canonical requirement
• BSP-REQ-DC7D6E98A37C: Contract call dispatch — canonical requirement