Generated page

This page is generated by loom-commission-docs from the ESS specification in ess/commission/ (system commission, version 1). Do not edit it by hand; run task commission:docs.

Domain model

The responsibility model for governed autonomous workers: an agent revision commissioned to a durable case under a governor, the frontier the governor returns, and the runs that act on it.

Responsibility domain

commission.responsibility. An agent revision commissioned to a durable case. The governor owns the case's truth and returns a frontier; a run is one bounded period of execution against it. The executor proposes; it never completes a case.

Entities and relations

Hover or focus an entity to see its fields, lifecycle and relations. Press Enter to pin it, Escape to clear.

Lifecycles with transitions

Run

Suspension

Domain as text

Entities
Entity	Identity and fields	Lifecycle	Relations
`ActionBinding`	binding: ActionBindingKey (identity) commission_id: CommissionId instance_id: ConnectorInstanceId operation_id: ConnectorOperationId effect: ConnectorOperationEffect	states Declared; initial Declared	endpoint references one ConnectorEndpoint
`ActionRequest`	action_request_id: ActionRequestId (identity) run_id: RunId case_id: CaseId expected_case_revision: integer action: string arguments: ProposedActionArguments	states Requested; initial Requested	case references one Case
`Agent`	agent_id: AgentId (identity) name: string	states Registered; initial Registered	revisions owns many AgentRevision
`AgentRevision`	agent_revision_id: AgentRevisionId (identity) agent_id: AgentId revision: integer	states Published; initial Published	—
`AuthorityDecision`	authority_decision_id: AuthorityDecisionId (identity) action: string granted: boolean action_request_id: ActionRequestId	states Decided; initial Decided	action_request references one ActionRequest
`Case`	case_id: CaseId (identity) protocol: string revision: integer	states Open; initial Open	—
`Commission`	commission_id: CommissionId (identity) agent_revision_id: AgentRevisionId case_id: CaseId principal: PrincipalId authority_context: AuthorityContext	states Assigned; initial Assigned	agent_revision references one AgentRevision case references one Case runs owns many Run bindings owns many ActionBinding suspension owns one Suspension
`ConnectorEndpoint`	instance_id: ConnectorInstanceId (identity) url: ConnectorEndpointUrl credential: ConnectorCredentialRef allow_plaintext: boolean	states Declared; initial Declared	—
`Evidence`	evidence_id: EvidenceId (identity) case_id: CaseId kind: string subject_revision: integer producer: string observation_ids: List<ObservationId> facts: json provenance: json	states Submitted; initial Submitted	case references one Case observations references many Observation
`Frontier`	frontier_id: FrontierId (identity) case_id: CaseId case_revision: integer claims: List<FrontierClaim> obligations: List<FrontierObligation> actions: List<FrontierAction>	states Issued; initial Issued	case references one Case
`Observation`	observation_id: ObservationId (identity) source: string subject: string observed_at: timestamp payload: json	states Reported; initial Reported	—
`Run`	run_id: RunId (identity) commission_id: CommissionId case_revision: integer	states Running, Suspended; initial Running suspend: Running → Suspended (SuspendRun) resume: Suspended → Running (ResumeRun)	requests owns many ActionRequest
`Suspension`	suspension: SuspensionKey (identity) commission_id: CommissionId run_id: RunId run_case_revision: integer action_request_id: ActionRequestId case_id: CaseId expected_case_revision: integer action: string arguments: ProposedActionArguments reason: SuspensionReason	states Pending, Resuming; initial Pending take: Pending → Resuming (TakeSuspension)	run references one Run action_request references one ActionRequest case references one Case

Source: commission ess/commission/ compiled with ess 0.84.0

ActionBinding

Identity: binding, ActionBindingKey.

Field	Type
`commission_id`	`CommissionId`
`instance_id`	`ConnectorInstanceId`
`operation_id`	`ConnectorOperationId`
`effect`	`ConnectorOperationEffect`

Lifecycle: states Declared; initial Declared; terminal Declared.

Relation	Kind	Target	Cardinality	Via
`endpoint`	references	ConnectorEndpoint	one	`instance_id`

ActionRequest

Identity: action_request_id, ActionRequestId.

Field	Type
`run_id`	`RunId`
`case_id`	`CaseId`
`expected_case_revision`	`integer`
action	`string`
`arguments`	`ProposedActionArguments`

Lifecycle: states Requested; initial Requested; terminal Requested.

Relation	Kind	Target	Cardinality	Via
`case`	references	Case	one	`case_id`

Agent

Identity: agent_id, AgentId.

Field	Type
`name`	`string`

Lifecycle: states Registered; initial Registered; terminal Registered.

Relation	Kind	Target	Cardinality	Via
`revisions`	owns	AgentRevision	many	`agent_id`

AgentRevision

Identity: agent_revision_id, AgentRevisionId.

Field	Type
`agent_id`	`AgentId`
`revision`	`integer`

Lifecycle: states Published; initial Published; terminal Published.

AuthorityDecision

Identity: authority_decision_id, AuthorityDecisionId.

Field	Type
action	`string`
`granted`	`boolean`
`action_request_id`	`ActionRequestId`

Lifecycle: states Decided; initial Decided; terminal Decided.

Relation	Kind	Target	Cardinality	Via
`action_request`	references	ActionRequest	one	`action_request_id`

Case

Identity: case_id, CaseId.

Field	Type
`protocol`	`string`
`revision`	`integer`

Lifecycle: states Open; initial Open; terminal Open.

Commission

Identity: commission_id, CommissionId.

Field	Type
`agent_revision_id`	`AgentRevisionId`
`case_id`	`CaseId`
`principal`	`PrincipalId`
`authority_context`	`AuthorityContext`

Lifecycle: states Assigned; initial Assigned; terminal Assigned.

Relation	Kind	Target	Cardinality	Via
`agent_revision`	references	AgentRevision	one	`agent_revision_id`
`case`	references	Case	one	`case_id`
`runs`	owns	Run	many	`commission_id`
`bindings`	owns	ActionBinding	many	`commission_id`
`suspension`	owns	Suspension	one	`commission_id`

ConnectorEndpoint

Identity: instance_id, ConnectorInstanceId.

Field	Type
`url`	`ConnectorEndpointUrl`
`credential`	`ConnectorCredentialRef`
`allow_plaintext`	`boolean`

Lifecycle: states Declared; initial Declared; terminal Declared.

Evidence

Identity: evidence_id, EvidenceId.

Field	Type
`case_id`	`CaseId`
`kind`	`string`
`subject_revision`	`integer`
`producer`	`string`
`observation_ids`	list of `ObservationId`
`facts`	`json`
`provenance`	`json`

Lifecycle: states Submitted; initial Submitted; terminal Submitted.

Relation	Kind	Target	Cardinality	Via
`case`	references	Case	one	`case_id`
`observations`	references	Observation	many	`observation_ids`

Frontier

Identity: frontier_id, FrontierId.

Field	Type
`case_id`	`CaseId`
`case_revision`	`integer`
`claims`	list of `FrontierClaim`
`obligations`	list of `FrontierObligation`
`actions`	list of `FrontierAction`

Lifecycle: states Issued; initial Issued; terminal Issued.

Relation	Kind	Target	Cardinality	Via
`case`	references	Case	one	`case_id`

Observation

Identity: observation_id, ObservationId.

Field	Type
`source`	`string`
`subject`	`string`
`observed_at`	`timestamp`
`payload`	`json`

Lifecycle: states Reported; initial Reported; terminal Reported.

Run

Identity: run_id, RunId.

Field	Type
`commission_id`	`CommissionId`
`case_revision`	`integer`

Lifecycle: states Running, Suspended; initial Running; terminal none.

Transition	From	To
`suspend`	`Running`	`Suspended`
`resume`	`Suspended`	`Running`

Relation	Kind	Target	Cardinality	Via
`requests`	owns	ActionRequest	many	`run_id`

Suspension

Identity: suspension, SuspensionKey.

Field	Type
`commission_id`	`CommissionId`
`run_id`	`RunId`
`run_case_revision`	`integer`
`action_request_id`	`ActionRequestId`
`case_id`	`CaseId`
`expected_case_revision`	`integer`
action	`string`
`arguments`	`ProposedActionArguments`
`reason`	`SuspensionReason`

Lifecycle: states Pending, Resuming; initial Pending; terminal Resuming.

Transition	From	To
`take`	`Pending`	`Resuming`

Relation	Kind	Target	Cardinality	Via
`run`	references	Run	one	`run_id`
`action_request`	references	ActionRequest	one	`action_request_id`
`case`	references	Case	one	`case_id`

Commands

HoldSuspension

Input	Type
`suspension`	`SuspensionKey`
`commission_id`	`CommissionId`
`run_id`	`RunId`
`run_case_revision`	`integer`
`action_request_id`	`ActionRequestId`
`case_id`	`CaseId`
`expected_case_revision`	`integer`
action	`string`
`arguments`	`ProposedActionArguments`
`reason`	`SuspensionReason`

Outcome	When	Effect	Emits	Error
`settled`	external	none	none	`SuspensionSettled`
`held`	otherwise	creates Suspension	`SuspensionHeld`	none
`already-held`	existing instance	none	none	`SuspensionAlreadyHeld`
`storage-failed`	external	none	none	`SuspensionStorageFailed`

JudgeBudgetStop

Input	Type
`pending`	list of `ActionRequestId`
`reason`	`SuspensionReason`

Outcome	When	Effect	Emits	Error
`waiting`	when	none	none	`RequestsWaiting`
`suspended`	otherwise	none	none	none

JudgeEffectRefusal

Input	Type
`action_request_id`	`ActionRequestId`
`reason`	`string`
`ends_run`	`boolean`

Outcome	When	Effect	Emits	Error
`final`	when	none	none	`EffectRefusedFinal`
`ordinary`	otherwise	none	none	none

JudgeIdleIteration

Input	Type
`idle_iterations`	`integer`
`bound`	`integer`

Outcome	When	Effect	Emits	Error
`bound`	when	none	none	`IdleBoundReached`
`below`	otherwise	none	none	none

JudgePerformableActions

Input	Type
`performed`	`integer`
`unperformed`	list of `string`
`open_claims`	list of `string`

Outcome	When	Effect	Emits	Error
`unperformable`	when	none	none	`ActionsUnperformable`
`performable`	otherwise	none	none	none

ReleaseSuspension

Input	Type
`suspension`	`SuspensionKey`
`action_request_id`	`ActionRequestId`

Outcome	When	Effect	Emits	Error
`other-request`	subject predicate	none	none	`SuspensionRequestMismatch`
`not-taken`	subject predicate	none	none	`SuspensionStateConflict`
`released`	otherwise	deletes Suspension	`SuspensionReleased`	none
`not-found`	unknown instance	none	none	`SuspensionNotFound`
`storage-failed`	external	none	none	`SuspensionStorageFailed`

ResumeRun

Input	Type
`run_id`	`RunId`

Outcome	When	Effect	Emits	Error
`resumed`	otherwise	moves Run by `resume`, from `Suspended` to `Running`	`RunResumed`	none
`wrong-state`	wrong state	refused	none	`RunStateConflict`
`storage-failed`	external	none	none	`RunStorageFailed`

RevalidateActionRequest

Input	Type
`action_request_id`	`ActionRequestId`
`run_id`	`RunId`
`case_id`	`CaseId`
`expected_case_revision`	`integer`
action	`string`
`arguments`	`ProposedActionArguments`

Outcome	When	Effect	Emits	Error
`stale`	external	none	none	`ActionRequestStale`
`not-admitted`	external	none	none	`ActionNotAdmitted`
`needs-authority`	external	none	none	`ActionNeedsAuthority`
`admitted`	otherwise	none	none	none

StartRun

Input	Type
`commission_id`	`CommissionId`
`case_revision`	`integer`

Outcome	When	Effect	Emits	Error
`started`	otherwise	creates Run	`RunStarted`	none
`storage-failed`	external	none	none	`RunStorageFailed`

SuspendRun

Input	Type
`run_id`	`RunId`
`reason`	`SuspensionReason`

Outcome	When	Effect	Emits	Error
`suspended`	otherwise	moves Run by `suspend`, from `Running` to `Suspended`	`RunSuspended`	none
`wrong-state`	wrong state	refused	none	`RunStateConflict`
`storage-failed`	external	none	none	`RunStorageFailed`

TakeSuspension

Input	Type
`suspension`	`SuspensionKey`
`action_request_id`	`ActionRequestId`

Outcome	When	Effect	Emits	Error
`other-request`	subject predicate	none	none	`SuspensionRequestMismatch`
`taken`	otherwise	moves Suspension by `take`, from `Pending` to `Resuming`	`SuspensionTaken`	none
`not-found`	unknown instance	none	none	`SuspensionNotFound`
`wrong-state`	wrong state	refused	none	`SuspensionStateConflict`
`storage-failed`	external	none	none	`SuspensionStorageFailed`

Events

RunResumed

Field	Type
`run_id`	`RunId`

RunStarted

Field	Type
`run_id`	`RunId`
`commission_id`	`CommissionId`
`case_revision`	`integer`

RunSuspended

Field	Type
`run_id`	`RunId`
`reason`	`SuspensionReason`

SuspensionHeld

Field	Type
`suspension`	`SuspensionKey`
`run_id`	`RunId`
`action_request_id`	`ActionRequestId`

SuspensionReleased

Field	Type
`suspension`	`SuspensionKey`

SuspensionTaken

Field	Type
`suspension`	`SuspensionKey`
`action_request_id`	`ActionRequestId`

Errors

ActionNeedsAuthority

Field	Type
action	`string`
`capability`	`string`

ActionNotAdmitted

Field	Type
action	`string`
`reasons`	list of `string`

ActionRequestStale

Field	Type
`expected_case_revision`	`integer`
`current_case_revision`	`integer`

ActionsUnperformable

Field	Type
`actions`	list of `string`
`open_claims`	list of `string`

EffectRefusedFinal

Field	Type
`action_request_id`	`ActionRequestId`
`reason`	`string`

IdleBoundReached

Field	Type
`idle_iterations`	`integer`

RequestsWaiting

Field	Type
`action_request_ids`	list of `ActionRequestId`
`reason`	`SuspensionReason`

RunStateConflict

Field	Type
`state`	`Run.State`

RunStorageFailed

Field	Type
`reason`	`string`

SuspensionAlreadyHeld

Field	Type
`suspension`	`SuspensionKey`

SuspensionNotFound

Field	Type
`suspension`	`SuspensionKey`

SuspensionRequestMismatch

Field	Type
`suspension`	`SuspensionKey`
`held_action_request_id`	`ActionRequestId`
`action_request_id`	`ActionRequestId`

SuspensionSettled

Field	Type
`suspension`	`SuspensionKey`
`action_request_id`	`ActionRequestId`
`reason`	`string`

SuspensionStateConflict

Field	Type
`state`	`Suspension.State`
`action_request_id`	`ActionRequestId`

SuspensionStorageFailed

Field	Type
`reason`	`string`

Views

RunStates

Projects Run; consistency read_your_writes.

Field	Type
`run_id`	`RunId`
`commission_id`	`CommissionId`
`case_revision`	`integer`
`state`	`Run.State`

SuspensionStates

Projects Suspension; consistency read_your_writes.

Field	Type
`suspension`	`SuspensionKey`
`commission_id`	`CommissionId`
`run_id`	`RunId`
`action_request_id`	`ActionRequestId`
`state`	`Suspension.State`

Responsibility domain​

Entities and relations​

ActionBinding​

ActionRequest​

Agent​

AgentRevision​

AuthorityDecision​

Case​

Commission​

ConnectorEndpoint​

Evidence​

Frontier​

Observation​

Run​

Suspension​

Commands​

HoldSuspension​

JudgeBudgetStop​

JudgeEffectRefusal​

JudgeIdleIteration​

JudgePerformableActions​

ReleaseSuspension​

ResumeRun​

RevalidateActionRequest​

StartRun​

SuspendRun​

TakeSuspension​

Events​

RunResumed​

RunStarted​

RunSuspended​

SuspensionHeld​

SuspensionReleased​

SuspensionTaken​

Errors​

ActionNeedsAuthority​

ActionNotAdmitted​

ActionRequestStale​

ActionsUnperformable​

EffectRefusedFinal​

IdleBoundReached​

RequestsWaiting​

RunStateConflict​

RunStorageFailed​

SuspensionAlreadyHeld​

SuspensionNotFound​

SuspensionRequestMismatch​

SuspensionSettled​

SuspensionStateConflict​

SuspensionStorageFailed​

Views​

RunStates​

SuspensionStates​