Receipts and trace contracts

Implementation: ENABLED (signed effect receipt chain) · Exposure: INTERNAL · 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	Signed, hash-chained effect receipts; trace events as contract.
Active path	Partial. Not every receipt type is on the signed chain.
Public exposure	No. Public keys are not served on `api.allternit.com`.

Receipt chains, action, policy, spawn and run receipts, and trace events.

Architecture contract

Source: spec/Contracts/kernel/v1/schemas/receipts.schema.json ($id https://schemas.allternit.com/kernel/1.0.0/receipts.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: ReceiptSignature · ReceiptChainV1 · ActionReceiptV1 · PolicyReceiptV1 · SpawnReceiptV1 · RunReceiptV1 · TraceEventV1

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 ENABLED (signed effect receipt chain) · Exposure INTERNAL · PUBLIC (docs).

Developer relevance

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

Definitions

ReceiptSignature

Field	Type	Required
`alg`	`"ed25519"`	yes
`key_id`	string	yes
`value`	string	yes
`domain`	`"allternit.receipt.v1"`	yes
`jwks_url`	string \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

ReceiptChainV1

Field	Type	Required
`receipt_id`	Id	yes
`run_id`	Id	yes
`index`	integer	yes
`prev_hash`	ContentHash \| null	yes
`content_hash`	ContentHash	yes
`schema_id`	string	yes
`schema_version`	SemVer	yes
`domain`	`"allternit.receipt.v1"`	yes
`canonicalization`	`"RFC8785-JCS"`	yes
`signature`	ReceiptSignature \| null	no
`supersedes`	Id \| null	no
`idempotency_key`	string \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

ActionReceiptV1

Field	Type	Required
`envelope`	AbiEnvelopeV1 & object	yes
`chain`	ReceiptChainV1	yes
`action_id`	Id	yes
`effect_class`	enum: `NONE`, `READ`, `WORKSPACE_WRITE`, `EXECUTE`, `NETWORK`, `EXTERNAL_WRITE`, `FINANCIAL`, `PUBLISH`, `PERMISSION_CHANGE`	yes
`idempotency_key`	string	yes
`target`	string \| null	no
`status`	enum: `INTENDED`, `COMMITTED`, `FAILED`, `COMPENSATED`, `UNKNOWN`	yes
`policy_decision_id`	Id	yes
`tool_receipt_id`	Id \| null	no
`external_ref`	string \| null	no
`result_hash`	ContentHash \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

PolicyReceiptV1

Field	Type	Required
`envelope`	AbiEnvelopeV1 & object	yes
`chain`	ReceiptChainV1	yes
`check_id`	Id	yes
`decision_id`	Id	yes
`decision`	enum: `ALLOW`, `ALLOW_WITH_LIMITS`, `ASK`, `DENY`	yes
`precedence`	enum: `HARD_DENY`, `HARD_ALLOW`, `SOFT`, `COGNITIVE`, `FAIL_CLOSED`	yes
`reason_codes`	array of string	yes
`evaluated_rules`	array of object	yes
`evaluated_rules[].rule_id`	Id	yes
`evaluated_rules[].rule_version`	string \| null	no
`evaluated_rules[].outcome`	enum: `MATCH`, `NO_MATCH`, `ERROR`	yes
`judge_ref`	Id \| null	no
`grant_ids`	array of Id	no
`attention_id`	Id \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

SpawnReceiptV1

Field	Type	Required
`envelope`	AbiEnvelopeV1 & object	yes
`chain`	ReceiptChainV1	yes
`spawn_id`	Id	yes
`parent_node_id`	Id \| null	no
`executor_class`	string	yes
`admission_decision_id`	Id	yes
`lease_id`	Id	yes
`environment_id`	Id	yes
`network_policy_id`	Id \| null	no
`authority_profile`	enum: `read-only`, `code-safe`, `code-write`	yes
`policy_gate_injected`	`true`	no
`process_ref`	string \| null	no
`subgoal_id`	Id \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

RunReceiptV1

Field	Type	Required
`envelope`	AbiEnvelopeV1 & object	yes
`chain`	ReceiptChainV1	yes
`task_id`	Id	yes
`graph_id`	Id \| null	no
`final_state_version`	StateVersion	yes
`final_work_state_version`	StateVersion	yes
`completion_status`	enum: `COMPLETE`, `PARTIAL`, `FAILED`, `CANCELLED`, `WAITING_APPROVAL`	yes
`completion_decision_id`	Id \| null	yes
`acceptance_results`	array of object	yes
`acceptance_results[].criterion_id`	Id	yes
`acceptance_results[].satisfied`	boolean	yes
`acceptance_results[].evidence_refs`	array of EvidenceRef	no
`mutation_receipts`	array of Id	no
`verification_receipts`	array of Id	no
`tool_receipts`	array of Id	no
`policy_receipts`	array of Id	no
`action_receipts`	array of Id	no
`models_used`	array of ComponentIdentity	no
`total_cost_units`	number \| null	no
`total_latency_ms`	number \| null	no
`unresolved_items`	array of string	no
`user_result_ref`	Id \| null	no
`replay_fingerprint`	ContentHash	yes
`retries`	integer	yes
`implementation_resolution`	array of object	yes
`implementation_resolution[].node_id`	Id	yes
`implementation_resolution[].backend_id`	Id	yes
`implementation_resolution[].execution_mode`	enum: `M0.DETERMINISTIC`, `M1.LOGIT_READOUT`, `M2.CALIBRATED_READOUT`, `M3.HIDDEN_HEAD`, `M4.DEDICATED_DECIDER`, `M5.GENERATIVE`, `M6.DEEP_SOLVER`	yes
`implementation_resolution[].calibration_level`	enum: `RAW`, `L0`, `L1`, `L2` \| null	no
`implementation_resolution[].layer_stop`	integer \| null	no
`router_telemetry`	object	yes
`router_telemetry.context_build_tokens`	number \| null	no
`router_telemetry.prefill_tokens`	number \| null	no
`router_telemetry.transfer_latency_ms`	number \| null	no
`router_telemetry.effective_route_cost`	number \| null	no
`router_telemetry.reuse_mode`	TransferMode \| null	no
`router_telemetry.provider_trust_class`	TrustClass \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

TraceEventV1

Field	Type	Required
`envelope`	AbiEnvelopeV1 & object	yes
`event_type`	string	yes
`primitive_id`	PrimitiveId \| null	no
`capability_id`	CapabilityId \| null	no
`backend_id`	Id \| null	no
`model_ref`	Id \| null	no
`tool_id`	Id \| null	no
`cognitive_role`	enum: `S0`, `S1`, `S2`, `S3` \| null	no
`execution_mode`	enum: `M0.DETERMINISTIC`, `M1.LOGIT_READOUT`, `M2.CALIBRATED_READOUT`, `M3.HIDDEN_HEAD`, `M4.DEDICATED_DECIDER`, `M5.GENERATIVE`, `M6.DEEP_SOLVER` \| null	no
`calibration_level`	enum: `RAW`, `L0`, `L1`, `L2` \| null	no
`layer_stop`	integer \| null	no
`latency_ms`	number \| null	no
`input_tokens`	integer \| null	no
`output_tokens`	integer \| null	no
`memory_bytes`	integer \| null	no
`cache_hit`	boolean \| null	no
`kv_transfer_mode`	TransferMode \| null	no
`confidence`	number \| null	no
`cost_units`	number \| null	no
`status`	enum: `SUCCEEDED`, `FAILED`, `SKIPPED`, `STARTED`	yes
`state_version_before`	StateVersion \| null	no
`state_version_after`	StateVersion \| null	no
`receipt_refs`	array of Id	no
`error`	ErrorV1 \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

Get Started

Allternit Factory

Workspace workflows

Architecture

Work Runtime

Cognitive Runtime

Context & Memory

Tools & Execution

Verification & Safety

Observability & Evaluation

Kernel Contracts

Build on Allternit

Operations

Reference

Core Concepts

Gizzi Code CLI

Tools & ACI

Security & Enterprise

Admin API

BYOC Runtime

Surfaces

CI CD

Guides

Cookbooks

Release Notes

Receipts and trace contracts

Architecture contract

Current implementation

Availability

Developer relevance

Definitions

ReceiptSignature

ReceiptChainV1

ActionReceiptV1

PolicyReceiptV1

SpawnReceiptV1

RunReceiptV1

TraceEventV1

​Architecture contract

​Current implementation

​Availability

​Developer relevance

​Definitions

​ReceiptSignature

​ReceiptChainV1

​ActionReceiptV1

​PolicyReceiptV1

​SpawnReceiptV1

​RunReceiptV1

​TraceEventV1

Architecture contract

Current implementation

Availability

Developer relevance

Definitions

ReceiptSignature

ReceiptChainV1

ActionReceiptV1

PolicyReceiptV1

SpawnReceiptV1

RunReceiptV1

TraceEventV1