Common types and envelope contracts

Implementation: IMPLEMENTED · Exposure: PUBLIC (docs). See status labels.


Architecture	Frozen schema in Kernel ABI 1.0.0; every component that crosses this boundary validates against it.
Implemented today	Schema, generated Rust and TypeScript types, validation examples.
Active path	Partial. Used by kernel components on main.
Public exposure	Documentation only. No endpoint serves it.

The shared envelope every contract carries, plus identifiers, trust and sensitivity classes, budgets and the error shape.

Architecture contract

Source: spec/Contracts/kernel/v1/schemas/common.schema.json ($id https://schemas.allternit.com/kernel/1.0.0/common.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: Id · Timestamp · ContentHash · StateVersion · SemVer · AbiVersion · PrimitiveId · CapabilityId · LogicalModelId · TrustClass · SensitivityClass · ExtensionMap · ComponentIdentity · Provenance · StateVersionRef · AbiEnvelopeV1 · EvidenceRef · ArtifactRef · ResourceRef · ResourceBudget · ErrorV1

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 · Exposure PUBLIC (docs).

Developer relevance

Validate anything you produce or consume against this schema before it crosses a boundary. Related pages: Kernel contracts, Trust classes, Error codes. All contracts: Kernel contracts reference.

Definitions

Id

Type: string.

Timestamp

Type: string (date-time).

ContentHash

Type: string.

StateVersion

Type: integer.

SemVer

Type: string.

AbiVersion

Type: string.

PrimitiveId

Type: string.

CapabilityId

Type: string.

LogicalModelId

Type: string.

TrustClass

Type: string enum.

Value
`PUBLIC`
`INTERNAL`
`RESTRICTED`
`SECRET`
`UNTRUSTED`

SensitivityClass

Type: string enum.

Value
`PUBLIC`
`INTERNAL`
`RESTRICTED`
`SECRET`