Completion contracts

Implementation: IMPLEMENTED (verifier-owned completion) · Exposure: INTERNAL · PUBLIC (docs). See status labels. Completion policies, criteria, proposals and decisions.

​

Architecture contract

Source: spec/Contracts/kernel/v1/schemas/completion.schema.json ($id https://schemas.allternit.com/kernel/1.0.0/completion.schema.json). The schema is normative; the tables below are generated from it and match it field for field. Receivers fail closed on unknown enum values and unknown required fields. See Kernel contracts. Definitions: CompletionPolicyRef · CompletionCriterionV1 · CompletionPolicyV1 · CompletionProposalV1 · CompletionDecisionV1

​

Current implementation

A frozen contract is a specification. Whether a component implements it is stated in the status block above and in the linked architecture pages, not implied by the contract existing.

​

Availability

The contract is published as part of ABI package 1.0.0 (Implementation: IMPLEMENTED · Exposure: PUBLIC, as documentation). Component status: Implementation IMPLEMENTED (verifier-owned completion) · Exposure INTERNAL · PUBLIC (docs).

​

Developer relevance

Validate anything you produce or consume against this schema before it crosses a boundary. Related pages: Verification. All contracts: Kernel contracts reference.

​

Definitions

​

CompletionPolicyRef

No other properties are accepted.

​

CompletionCriterionV1

No other properties are accepted.

​

CompletionPolicyV1

No other properties are accepted.

​

CompletionProposalV1

No other properties are accepted.

​

CompletionDecisionV1

No other properties are accepted.