State machines

Each aggregate that changes status through commands has a state machine contract. This page lists, for every contract, the states, the initial and terminal states and the allowed transitions with the role that may run the command and the approval policy. It is generated from the contract files, so it changes only when they change.

Every combination of state and command that is not an allowed transition is declared as forbidden in the contract. Only the number of forbidden combinations is shown here. For the Tender workflow in practice, see Tender states and commands.

How to read the tables: Evidence says whether the contract requires evidence for the transition. Capability says whether a validated capability admission is required. Approval and Proof show the approval policy and the proof type; none means the transition needs no approval.

Overview

Aggregate	Contract	States	Allowed transitions	Forbidden combinations
Adjustment	adjustment_v1	4	4	8
Advice Case	advice_case_v1	5	6	14
Capability Admission	capability_admission_v1	5	4	16
Claim	claim_v1	5	5	20
Commission Statement	commission_statement_v1	6	7	23
Complaint	complaint_v1	6	6	24
Document Ingestion	document_ingestion_v1	6	5	25
Foundation Case	foundation_case_v1	5	4	16
Import Batch	import_batch_v1	7	6	36
Mandate	mandate_v1	5	4	16
Mutation	mutation_v1	4	3	9
Placement Case	placement_case_v1	6	6	24
Policy	policy_v1	6	7	29
Population Reconciliation	population_reconciliation_v1	6	7	23
Portfolio Transfer	portfolio_transfer_v1	7	8	34
Posting Plan	posting_plan_v1	5	5	15
Privacy Request	privacy_request_v1	6	5	25
Quote	quote_v1	5	4	16
Reconciliation	reconciliation_v1	5	6	14
Reinstatement	reinstatement_v1	5	4	16
Renewal	renewal_v1	6	7	23
Retention Disposition	retention_disposition_v1	6	5	25
Tender	tender_v1	11	22	88

Adjustment

Contract adjustment_v1, contract version 1.0.0. Initial state: proposed. Terminal states: applied, cancelled.

States: proposed, approved, applied, cancelled.

Commands: approve, apply, cancel.

From	Command	To	Role	Evidence	Capability	Approval	Proof
proposed	approve	approved	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1
proposed	cancel	cancelled	Insurance Broker Operations	yes	no	none	none
approved	apply	applied	Insurance Broker Operations	yes	yes	none	none
approved	cancel	cancelled	Insurance Broker Approver	yes	no	none	none

Forbidden combinations of state and command: 8. Running one of them is rejected.

Advice Case

Contract advice_case_v1, contract version 1.0.0. Initial state: draft. Terminal states: completed, cancelled.

States: draft, assessment, recommendation, completed, cancelled.

Commands: start_assessment, recommend, complete, cancel.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	start_assessment	assessment	Insurance Broker Advisor	yes	yes	none	none
draft	cancel	cancelled	Insurance Broker Advisor	no	no	none	none
assessment	recommend	recommendation	Insurance Broker Advisor	yes	yes	none	none
assessment	cancel	cancelled	Insurance Broker Advisor	yes	no	none	none
recommendation	complete	completed	Insurance Broker Advisor	yes	yes	maker_checker	core_local_approval_proof_v1
recommendation	cancel	cancelled	Insurance Broker Advisor	yes	no	none	none

Forbidden combinations of state and command: 14. Running one of them is rejected.

Capability Admission

Contract capability_admission_v1, contract version 1.0.0. Initial state: draft. Terminal states: blocked, revoked.

States: draft, review, validated, blocked, revoked.

Commands: request_review, validate, block, revoke.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	request_review	review	Insurance Broker Compliance	yes	no	none	none
review	validate	validated	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1
review	block	blocked	Insurance Broker Approver	yes	no	none	none
validated	revoke	revoked	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1

Forbidden combinations of state and command: 16. Running one of them is rejected.

Claim

Contract claim_v1, contract version 1.0.0. Initial state: reported. Terminal states: cancelled.

States: reported, assisting, awaiting_carrier, closed, cancelled.

Commands: start_assistance, await_carrier, close, reopen, cancel.

From	Command	To	Role	Evidence	Capability	Approval	Proof
reported	start_assistance	assisting	Insurance Broker Sensitive Claims	yes	no	none	none
reported	cancel	cancelled	Insurance Broker Sensitive Claims	yes	no	none	none
assisting	await_carrier	awaiting_carrier	Insurance Broker Sensitive Claims	yes	no	none	none
awaiting_carrier	close	closed	Insurance Broker Sensitive Claims	yes	no	none	none
closed	reopen	assisting	Insurance Broker Sensitive Claims	yes	no	none	none

Forbidden combinations of state and command: 20. Running one of them is rejected.

Commission Statement

Contract commission_statement_v1, contract version 1.0.0. Initial state: imported. Terminal states: posted, rejected.

States: imported, validated, reconciled, approved, posted, rejected.

Commands: validate, reconcile, approve, post, reject.

From	Command	To	Role	Evidence	Capability	Approval	Proof
imported	validate	validated	Insurance Broker Reconciler	yes	no	none	none
imported	reject	rejected	Insurance Broker Reconciler	yes	no	none	none
validated	reconcile	reconciled	Insurance Broker Reconciler	yes	no	none	none
validated	reject	rejected	Insurance Broker Reconciler	yes	no	none	none
reconciled	approve	approved	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1
reconciled	reject	rejected	Insurance Broker Approver	yes	no	none	none
approved	post	posted	Insurance Broker Approver	yes	yes	bound_context_hash	core_local_approval_proof_v1

Forbidden combinations of state and command: 23. Running one of them is rejected.

Complaint

Contract complaint_v1, contract version 1.0.0. Initial state: received. Terminal states: none.

States: received, investigating, response_due, resolved, closed, reopened.

Commands: investigate, prepare_response, resolve, close, reopen.

From	Command	To	Role	Evidence	Capability	Approval	Proof
received	investigate	investigating	Insurance Broker Compliance	yes	no	none	none
investigating	prepare_response	response_due	Insurance Broker Compliance	yes	no	none	none
response_due	resolve	resolved	Insurance Broker Compliance	yes	no	maker_checker	core_local_approval_proof_v1
resolved	close	closed	Insurance Broker Compliance	yes	no	none	none
closed	reopen	reopened	Insurance Broker Compliance	yes	no	none	none
reopened	investigate	investigating	Insurance Broker Compliance	yes	no	none	none

Forbidden combinations of state and command: 24. Running one of them is rejected.

Document Ingestion

Contract document_ingestion_v1, contract version 1.0.0. Initial state: received. Terminal states: quarantined, accepted, rejected.

States: received, scanned, quarantined, extraction_proposed, accepted, rejected.

Commands: scan_clean, quarantine, propose_extraction, accept, reject.

From	Command	To	Role	Evidence	Capability	Approval	Proof
received	scan_clean	scanned	Insurance Broker Operations	no	no	none	none
received	quarantine	quarantined	Insurance Broker Operations	no	no	none	none
scanned	propose_extraction	extraction_proposed	Insurance Broker Operations	yes	no	none	none
extraction_proposed	accept	accepted	Insurance Broker Operations	yes	no	maker_checker	core_local_approval_proof_v1
extraction_proposed	reject	rejected	Insurance Broker Operations	yes	no	none	none

Forbidden combinations of state and command: 25. Running one of them is rejected.

Foundation Case

Contract foundation_case_v1, contract version 1.0.0. Initial state: draft. Terminal states: revoked.

States: draft, review, approved, active, revoked.

Commands: request_review, approve, activate, revoke.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	request_review	review	Insurance Broker Operations	no	no	none	none
review	approve	approved	Insurance Broker Compliance	yes	yes	maker_checker	core_local_approval_proof_v1
approved	activate	active	Insurance Broker Administrator	yes	yes	bound_context_hash	core_local_approval_proof_v1
active	revoke	revoked	Insurance Broker Compliance	yes	no	maker_checker	core_local_approval_proof_v1

Forbidden combinations of state and command: 16. Running one of them is rejected.

Import Batch

Contract import_batch_v1, contract version 1.0.0. Initial state: staged. Terminal states: quarantined, completed, failed.

States: staged, validating, admitted, quarantined, processing, completed, failed.

Commands: validate, admit, quarantine, process, complete, fail.

From	Command	To	Role	Evidence	Capability	Approval	Proof
staged	validate	validating	Insurance Broker Operations	yes	no	none	none
validating	admit	admitted	Insurance Broker Compliance	yes	no	none	none
validating	quarantine	quarantined	Insurance Broker Compliance	yes	no	none	none
admitted	process	processing	Insurance Broker Operations	yes	yes	none	none
processing	complete	completed	Insurance Broker Operations	yes	no	none	none
processing	fail	failed	Insurance Broker Operations	yes	no	none	none

Forbidden combinations of state and command: 36. Running one of them is rejected.

Mandate

Contract mandate_v1, contract version 1.0.0. Initial state: draft. Terminal states: revoked, terminated.

States: draft, signature_pending, active, revoked, terminated.

Commands: request_signature, activate, revoke, terminate.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	request_signature	signature_pending	Insurance Broker Operations	yes	no	none	none
signature_pending	activate	active	Insurance Broker Compliance	yes	yes	maker_checker	core_local_approval_proof_v1
active	revoke	revoked	Insurance Broker Compliance	yes	no	maker_checker	core_local_approval_proof_v1
active	terminate	terminated	Insurance Broker Compliance	yes	no	maker_checker	core_local_approval_proof_v1

Forbidden combinations of state and command: 16. Running one of them is rejected.

Mutation

Contract mutation_v1, contract version 1.0.0. Initial state: proposed. Terminal states: applied, rejected.

States: proposed, review, applied, rejected.

Commands: submit_review, approve_apply, reject.

From	Command	To	Role	Evidence	Capability	Approval	Proof
proposed	submit_review	review	Insurance Broker Operations	yes	no	none	none
review	approve_apply	applied	Insurance Broker Approver	yes	yes	bound_context_hash	core_local_approval_proof_v1
review	reject	rejected	Insurance Broker Approver	yes	no	none	none

Forbidden combinations of state and command: 9. Running one of them is rejected.

Placement Case

Contract placement_case_v1, contract version 1.0.0. Initial state: draft. Terminal states: declined, closed.

States: draft, submitted, quoted, bound, declined, closed.

Commands: submit, record_quote, bind, decline, close.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	submit	submitted	Insurance Broker Advisor	yes	yes	none	none
submitted	record_quote	quoted	Insurance Broker Advisor	yes	yes	none	none
submitted	decline	declined	Insurance Broker Advisor	yes	no	none	none
quoted	bind	bound	Insurance Broker Approver	yes	yes	bound_context_hash	core_local_approval_proof_v1
quoted	decline	declined	Insurance Broker Advisor	yes	no	none	none
bound	close	closed	Insurance Broker Operations	yes	no	none	none

Forbidden combinations of state and command: 24. Running one of them is rejected.

Policy

Contract policy_v1, contract version 1.0.0. Initial state: draft. Terminal states: cancelled, expired, void_ab_initio.

States: draft, active, suspended, cancelled, expired, void_ab_initio.

Commands: activate, suspend, reinstate, cancel, expire, void.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	activate	active	Insurance Broker Operations	yes	yes	maker_checker	core_local_approval_proof_v1
draft	void	void_ab_initio	Insurance Broker Compliance	yes	no	maker_checker	core_local_approval_proof_v1
active	suspend	suspended	Insurance Broker Operations	yes	no	none	none
active	cancel	cancelled	Insurance Broker Operations	yes	no	maker_checker	core_local_approval_proof_v1
active	expire	expired	Insurance Broker Operations	no	no	none	none
active	void	void_ab_initio	Insurance Broker Compliance	yes	no	maker_checker	core_local_approval_proof_v1
suspended	reinstate	active	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1

Forbidden combinations of state and command: 29. Running one of them is rejected.

Population Reconciliation

Contract population_reconciliation_v1, contract version 1.0.0. Initial state: draft. Terminal states: approved, rejected.

States: draft, comparing, matched, exception, approved, rejected.

Commands: compare, match, raise_exception, approve, reject.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	compare	comparing	Insurance Broker Operations	yes	no	none	none
comparing	match	matched	Insurance Broker Operations	yes	no	none	none
comparing	raise_exception	exception	Insurance Broker Operations	yes	no	none	none
matched	approve	approved	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1
matched	reject	rejected	Insurance Broker Approver	yes	no	none	none
exception	match	matched	Insurance Broker Operations	yes	no	none	none
exception	reject	rejected	Insurance Broker Approver	yes	no	none	none

Forbidden combinations of state and command: 23. Running one of them is rejected.

Portfolio Transfer

Contract portfolio_transfer_v1, contract version 1.0.0. Initial state: initiated. Terminal states: completed, partial, failed, cancelled.

States: initiated, carrier_pending, reconciling, completed, partial, failed, cancelled.

Commands: submit_carrier, confirm_carrier, complete, mark_partial, fail, cancel.

From	Command	To	Role	Evidence	Capability	Approval	Proof
initiated	submit_carrier	carrier_pending	Insurance Broker Operations	yes	no	none	none
initiated	cancel	cancelled	Insurance Broker Operations	yes	no	none	none
carrier_pending	confirm_carrier	reconciling	Insurance Broker Operations	yes	no	none	none
carrier_pending	fail	failed	Insurance Broker Operations	yes	no	none	none
carrier_pending	cancel	cancelled	Insurance Broker Operations	yes	no	none	none
reconciling	complete	completed	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1
reconciling	mark_partial	partial	Insurance Broker Operations	yes	no	none	none
reconciling	fail	failed	Insurance Broker Operations	yes	no	none	none

Forbidden combinations of state and command: 34. Running one of them is rejected.

Posting Plan

Contract posting_plan_v1, contract version 1.0.0. Initial state: draft. Terminal states: executed, revoked.

States: draft, approval_pending, approved, executed, revoked.

Commands: request_approval, approve, execute, revoke.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	request_approval	approval_pending	Insurance Broker Reconciler	yes	no	none	none
approval_pending	approve	approved	Insurance Broker Approver	yes	no	bound_context_hash	core_local_approval_proof_v1
approval_pending	revoke	revoked	Insurance Broker Approver	yes	no	none	none
approved	execute	executed	Insurance Broker Approver	yes	yes	bound_context_hash	core_local_approval_proof_v1
approved	revoke	revoked	Insurance Broker Approver	yes	no	none	none

Forbidden combinations of state and command: 15. Running one of them is rejected.

Privacy Request

Contract privacy_request_v1, contract version 1.0.0. Initial state: received. Terminal states: fulfilled, partially_fulfilled, rejected.

States: received, identity_pending, in_review, fulfilled, partially_fulfilled, rejected.

Commands: request_identity, verify_identity, fulfill, partial, reject.

From	Command	To	Role	Evidence	Capability	Approval	Proof
received	request_identity	identity_pending	Insurance Broker Compliance	no	no	none	none
identity_pending	verify_identity	in_review	Insurance Broker Compliance	yes	no	none	none
in_review	fulfill	fulfilled	Insurance Broker Compliance	yes	no	maker_checker	core_local_approval_proof_v1
in_review	partial	partially_fulfilled	Insurance Broker Compliance	yes	no	maker_checker	core_local_approval_proof_v1
in_review	reject	rejected	Insurance Broker Compliance	yes	no	maker_checker	core_local_approval_proof_v1

Forbidden combinations of state and command: 25. Running one of them is rejected.

Quote

Contract quote_v1, contract version 1.0.0. Initial state: draft. Terminal states: accepted, withdrawn, expired.

States: draft, issued, accepted, withdrawn, expired.

Commands: issue, accept, withdraw, expire.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	issue	issued	Insurance Broker Advisor	yes	yes	none	none
issued	accept	accepted	Insurance Broker Advisor	yes	yes	maker_checker	core_local_approval_proof_v1
issued	withdraw	withdrawn	Insurance Broker Advisor	yes	no	none	none
issued	expire	expired	Insurance Broker Operations	no	no	none	none

Forbidden combinations of state and command: 16. Running one of them is rejected.

Reconciliation

Contract reconciliation_v1, contract version 1.0.0. Initial state: draft. Terminal states: approved, rejected.

States: draft, matched, exception, approved, rejected.

Commands: match, raise_exception, approve, reject.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	match	matched	Insurance Broker Reconciler	yes	no	none	none
draft	raise_exception	exception	Insurance Broker Reconciler	yes	no	none	none
matched	approve	approved	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1
matched	reject	rejected	Insurance Broker Approver	yes	no	none	none
exception	match	matched	Insurance Broker Reconciler	yes	no	none	none
exception	reject	rejected	Insurance Broker Approver	yes	no	none	none

Forbidden combinations of state and command: 14. Running one of them is rejected.

Reinstatement

Contract reinstatement_v1, contract version 1.0.0. Initial state: requested. Terminal states: declined, applied.

States: requested, carrier_pending, approved, declined, applied.

Commands: submit_to_carrier, record_approval, record_decline, apply.

From	Command	To	Role	Evidence	Capability	Approval	Proof
requested	submit_to_carrier	carrier_pending	Insurance Broker Operations	yes	no	none	none
carrier_pending	record_approval	approved	Insurance Broker Operations	yes	no	none	none
carrier_pending	record_decline	declined	Insurance Broker Operations	yes	no	none	none
approved	apply	applied	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1

Forbidden combinations of state and command: 16. Running one of them is rejected.

Renewal

Contract renewal_v1, contract version 1.0.0. Initial state: opened. Terminal states: accepted, declined, expired.

States: opened, review, offered, accepted, declined, expired.

Commands: start_review, record_offer, accept, decline, expire.

From	Command	To	Role	Evidence	Capability	Approval	Proof
opened	start_review	review	Insurance Broker Advisor	yes	yes	none	none
opened	expire	expired	Insurance Broker Operations	no	no	none	none
review	record_offer	offered	Insurance Broker Advisor	yes	yes	none	none
review	expire	expired	Insurance Broker Operations	no	no	none	none
offered	accept	accepted	Insurance Broker Advisor	yes	yes	maker_checker	core_local_approval_proof_v1
offered	decline	declined	Insurance Broker Advisor	yes	no	none	none
offered	expire	expired	Insurance Broker Operations	no	no	none	none

Forbidden combinations of state and command: 23. Running one of them is rejected.

Retention Disposition

Contract retention_disposition_v1, contract version 1.0.0. Initial state: proposed. Terminal states: executed, rejected, cancelled.

States: proposed, review, approved, executed, rejected, cancelled.

Commands: request_review, approve, execute, reject, cancel.

From	Command	To	Role	Evidence	Capability	Approval	Proof
proposed	request_review	review	Insurance Broker Compliance	yes	no	none	none
proposed	cancel	cancelled	Insurance Broker Compliance	yes	no	none	none
review	approve	approved	Insurance Broker Approver	yes	no	maker_checker	core_local_approval_proof_v1
review	reject	rejected	Insurance Broker Approver	yes	no	none	none
approved	execute	executed	Insurance Broker Compliance	yes	no	bound_context_hash	core_local_approval_proof_v1

Forbidden combinations of state and command: 25. Running one of them is rejected.

Tender

Contract tender_v1, contract version 1.0.0. Initial state: draft. Terminal states: closed, cancelled, no_result, legal_review_required.

States: draft, preparing, invitations_sent, responses_open, comparison, recommended, decided, closed, cancelled, no_result, legal_review_required.

Commands: prepare, send_invitations, open_responses, start_comparison, recommend, decide, close, cancel, mark_no_result, require_legal_review.

From	Command	To	Role	Evidence	Capability	Approval	Proof
draft	prepare	preparing	Insurance Broker Advisor	yes	yes	none	none
draft	cancel	cancelled	Insurance Broker Advisor	yes	no	none	none
draft	require_legal_review	legal_review_required	Insurance Broker Compliance	yes	no	none	none
preparing	send_invitations	invitations_sent	Insurance Broker Advisor	yes	yes	none	none
preparing	cancel	cancelled	Insurance Broker Advisor	yes	no	none	none
preparing	require_legal_review	legal_review_required	Insurance Broker Compliance	yes	no	none	none
invitations_sent	open_responses	responses_open	Insurance Broker Advisor	yes	yes	none	none
invitations_sent	cancel	cancelled	Insurance Broker Advisor	yes	no	none	none
invitations_sent	mark_no_result	no_result	Insurance Broker Advisor	yes	no	none	none
invitations_sent	require_legal_review	legal_review_required	Insurance Broker Compliance	yes	no	none	none
responses_open	start_comparison	comparison	Insurance Broker Advisor	yes	yes	none	none
responses_open	cancel	cancelled	Insurance Broker Advisor	yes	no	none	none
responses_open	mark_no_result	no_result	Insurance Broker Advisor	yes	no	none	none
responses_open	require_legal_review	legal_review_required	Insurance Broker Compliance	yes	no	none	none
comparison	recommend	recommended	Insurance Broker Advisor	yes	yes	maker_checker	core_local_approval_proof_v1
comparison	cancel	cancelled	Insurance Broker Advisor	yes	no	none	none
comparison	mark_no_result	no_result	Insurance Broker Advisor	yes	no	none	none
comparison	require_legal_review	legal_review_required	Insurance Broker Compliance	yes	no	none	none
recommended	decide	decided	Insurance Broker Advisor	yes	yes	maker_checker	core_local_approval_proof_v1
recommended	cancel	cancelled	Insurance Broker Advisor	yes	no	none	none
recommended	require_legal_review	legal_review_required	Insurance Broker Compliance	yes	no	none	none
decided	close	closed	Insurance Broker Operations	yes	no	none	none

Forbidden combinations of state and command: 88. Running one of them is rejected.

Related pages

• Tender states and commands
• Role matrix
• Error codes