Implementation: IMPLEMENTED (contract, verifier-owned close) · Exposure: INTERNAL · PUBLIC (docs). See status labels. Verification requests and receipts.

Architecture contract

Source: spec/Contracts/kernel/v1/schemas/verification.schema.json ($id https://schemas.allternit.com/kernel/1.0.0/verification.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: VerificationRequestV1 · VerificationReceiptV1

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 (contract, verifier-owned close) · Exposure INTERNAL · PUBLIC (docs).

Developer relevance

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

Definitions

VerificationRequestV1

No other properties are accepted.

VerificationReceiptV1

No other properties are accepted.