Work runtime contracts - Allternit Docs

Implementation: ENABLED (work runtime) · IMPLEMENTED (typed lifecycle) · 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	The internal work runtime; typed lifecycle as library code.
Active path	Yes for the work runtime; typed lifecycle not enforced.
Public exposure	No. Not reachable by an external developer.

Node lifecycle, run records, node outputs, leases, admission and executor probes.

Architecture contract

Source: spec/Contracts/kernel/v1/schemas/work.schema.json ($id https://schemas.allternit.com/kernel/1.0.0/work.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: LifecycleState · RunStatus · WorkNodeLifecycleV1 · WorkNodeTransitionV1 · WorkRunRecordV1 · NodeOutputV1 · LeaseV1 · AdmissionRequestV1 · AdmissionDecisionV1 · ExecutorProbeV1

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 (work runtime) · IMPLEMENTED (typed lifecycle) · Exposure INTERNAL · PUBLIC (docs).

Developer relevance

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

Definitions

LifecycleState

Type: string enum.

Value
`DECLARED`
`ADMITTED`
`READY`
`LEASED`
`SPAWNED`
`RUNNING`
`OUTPUT_READY`
`VERIFYING`
`COMMITTED`
`CONTINUE`
`REPLAN`
`NEEDS_HUMAN`
`WAITING`
`CANCELLING`
`CLOSED`

RunStatus

Type: string enum.

Value
`accepted`
`running`
`waiting`
`needs_attention`
`paused`
`cancelling`
`completed`
`partial`
`failed`
`cancelled`

WorkNodeLifecycleV1

Field	Type	Required
`schema_id`	`"allternit.kernel.WorkNodeLifecycleV1"`	yes
`schema_version`	string	yes
`run_id`	Id	yes
`node_id`	Id	yes
`attempt`	integer	yes
`state`	LifecycleState	yes
`close_outcome`	enum: `COMMITTED`, `PARTIAL`, `FAILED`, `CANCELLED` \| null	no
`lease_id`	Id \| null	no
`wait_gate_id`	Id \| null	no
`attention_id`	Id \| null	no
`work_state_version`	StateVersion	yes
`agent_state_ref`	StateVersionRef	yes
`updated_at`	Timestamp	no
`extensions`	ExtensionMap	no

No other properties are accepted.

WorkNodeTransitionV1

Field	Type	Required
`schema_id`	`"allternit.kernel.WorkNodeTransitionV1"`	yes
`schema_version`	string	yes
`run_id`	Id	yes
`node_id`	Id	yes
`from`	LifecycleState	yes
`to`	LifecycleState	yes
`guard`	enum: `ADMISSION_OK`, `DEPS_MET`, `LEASE_ACQUIRED`, `SPAWN_OK`, `HEARTBEAT`, `OUTPUT_RECORDED`, `VERIFY_PASS`, `VERIFY_FAIL`, `COMPLETION_DECIDED`, `REPLAN_ACCEPTED`, `ATTENTION_OPENED`, `ATTENTION_RESOLVED`, `WAIT_GATE_ARMED`, `WAKE`, `LEASE_EXPIRED`, `BUDGET_STOP`, `CANCEL_REQUESTED`, `EFFECTS_SETTLED`, `UNRECOVERABLE`	yes
`evidence_refs`	array of EvidenceRef	no
`work_state_version_before`	StateVersion	yes
`work_state_version_after`	StateVersion	yes
`actor`	enum: `SYSTEM`, `EXECUTOR`, `HUMAN`	yes
`extensions`	ExtensionMap	no

No other properties are accepted.

WorkRunRecordV1

Field	Type	Required
`schema_id`	`"allternit.kernel.WorkRunRecordV1"`	yes
`schema_version`	string	yes
`run_id`	Id	yes
`status`	RunStatus	yes
`work_state_version`	StateVersion	yes
`agent_state_ref`	StateVersionRef	yes
`campaign_id`	Id \| null	no
`attempts`	integer	no
`budget_usage`	ResourceBudget \| null	no
`billable_stopped`	boolean	no
`resolved`	object	yes
`resolved.agent`	string	yes
`resolved.logical_model_id`	LogicalModelId	yes
`resolved.authority_profile`	enum: `read-only`, `code-safe`, `code-write`	yes
`resolved.workspace`	string \| null	no
`resolved.budget`	ResourceBudget	yes
`resolved.completion_policy`	CompletionPolicyRef	yes
`resolved.defaults_version`	string	yes
`extensions`	ExtensionMap	no

No other properties are accepted.

NodeOutputV1

Field	Type	Required
`schema_id`	`"allternit.kernel.NodeOutputV1"`	yes
`schema_version`	string	yes
`dag_id`	Id	yes
`node_id`	Id	yes
`artifact_id`	Id	yes
`mime_type`	string	yes
`hash`	ContentHash	yes
`producer`	ComponentIdentity	yes
`state_version`	StateVersion	yes
`trust_class`	TrustClass	yes
`sensitivity`	SensitivityClass	yes
`verification_status`	enum: `UNVERIFIED`, `PASS`, `FAIL`, `INCONCLUSIVE`, `ERROR`	yes
`receipt_ref`	Id	yes
`created_at`	Timestamp	yes
`extensions`	ExtensionMap	no

No other properties are accepted.

LeaseV1

Field	Type	Required
`schema_id`	`"allternit.kernel.LeaseV1"`	yes
`schema_version`	string	yes
`lease_id`	Id	yes
`holder`	Id	yes
`host`	string	yes
`process_or_session`	string	yes
`scope`	array of ResourceRef	yes
`acquired_at`	Timestamp	yes
`heartbeat_at`	Timestamp	yes
`heartbeat_interval_ms`	integer	yes
`expires_after_ms`	integer	yes
`reclaim_policy`	enum: `REQUEUE`, `RESUME_FROM_CHECKPOINT`, `FAIL_NODE`, `NEEDS_HUMAN`	yes
`state_version`	StateVersion	yes
`defaults_version`	string \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

AdmissionRequestV1

Field	Type	Required
`schema_id`	`"allternit.kernel.AdmissionRequestV1"`	yes
`schema_version`	string	yes
`request_id`	Id	yes
`run_id`	Id	yes
`node_id`	Id	yes
`executor_class`	string	yes
`requested_scope`	array of ResourceRef	yes
`budget`	ResourceBudget \| null	no
`priority`	integer \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

AdmissionDecisionV1

Field	Type	Required
`schema_id`	`"allternit.kernel.AdmissionDecisionV1"`	yes
`schema_version`	string	yes
`request_id`	Id	yes
`decision`	enum: `ADMIT`, `QUEUE`, `REJECT`	yes
`spawn_cap_key`	string	yes
`cap_limit`	integer \| null	no
`cap_in_use`	integer \| null	no
`probe_id`	Id \| null	no
`reason_codes`	array of string	yes
`retry_after_ms`	integer \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

ExecutorProbeV1

Field	Type	Required
`schema_id`	`"allternit.kernel.ExecutorProbeV1"`	yes
`schema_version`	string	yes
`probe_id`	Id	yes
`executor_class`	string	yes
`available`	boolean	yes
`auth_state`	enum: `AUTHENTICATED`, `UNAUTHENTICATED`, `EXPIRED`, `UNKNOWN`	yes
`capacity`	integer \| null	no
`in_use`	integer \| null	no
`probed_at`	Timestamp	yes
`error`	ErrorV1 \| null	no
`extensions`	ExtensionMap	no

No other properties are accepted.

​Architecture contract

​Current implementation

​Availability

​Developer relevance

​Definitions

​LifecycleState

​RunStatus

​WorkNodeLifecycleV1

​WorkNodeTransitionV1

​WorkRunRecordV1

​NodeOutputV1

​LeaseV1

​AdmissionRequestV1

​AdmissionDecisionV1

​ExecutorProbeV1

Architecture contract

Current implementation

Availability

Developer relevance

Definitions

LifecycleState

RunStatus

WorkNodeLifecycleV1

WorkNodeTransitionV1

WorkRunRecordV1

NodeOutputV1

LeaseV1

AdmissionRequestV1

AdmissionDecisionV1

ExecutorProbeV1