@oimlsmart/primmel-packages 0.1.0

package/oiml-smart-core/evaluation/state-machines.prl

@@ -0,0 +1,1157 @@
+state_machine Application {
+  initial DRAFT
+  states {
+    DRAFT
+    SUBMITTED
+    SAMPLES_REQUESTED
+    SAMPLES_RECEIVED
+    UNDER_REVIEW
+    ACCEPTED
+    REJECTED
+    CHANGES_REQUESTED
+    WITHDRAWN
+    COMPLETED
+  }
+  transition DRAFT -> SUBMITTED action submit {
+  }
+  transition SUBMITTED -> SAMPLES_REQUESTED action ia_requests_samples {
+  }
+  transition SAMPLES_REQUESTED -> SAMPLES_RECEIVED action ia_logs_samples {
+  }
+  transition SAMPLES_RECEIVED -> UNDER_REVIEW action ia_starts_review {
+  }
+  transition UNDER_REVIEW -> ACCEPTED action ia_accepts {
+  }
+  transition UNDER_REVIEW -> REJECTED action ia_rejects {
+  }
+  transition [SUBMITTED, SAMPLES_REQUESTED, SAMPLES_RECEIVED, UNDER_REVIEW] -> CHANGES_REQUESTED action ia_requests_changes {
+  }
+  transition CHANGES_REQUESTED -> UNDER_REVIEW action applicant_resubmits {
+  }
+  transition [SUBMITTED, SAMPLES_REQUESTED, SAMPLES_RECEIVED, UNDER_REVIEW, CHANGES_REQUESTED] -> WITHDRAWN action applicant_withdraws {
+  }
+  transition DRAFT -> ACCEPTED action register_offline {
+    cascade Application {
+      set {
+        status: "ACCEPTED"
+        reviewed_date: "now"
+      }
+    }
+  }
+  transition ACCEPTED -> COMPLETED action ia_marks_completed {
+    guard "completion_settled"
+    cascade Application {
+      set {
+        status: "COMPLETED"
+        completed_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "applications"
+        entity_id: "${this.id}"
+        action: "completed"
+        user_id: "user"
+        basis: "The Issuing Authority marks the Evaluation Project completed — the completion gate's settling conditions all held (the demo-flows program's settling doctrine: every fee marked paid, the samples' custody closed, the review threads resolved, the reports finalized, the certificate issued and registered; specification/constraints.prl carries the gate's rule as subject-intrinsic inv constraints, and the completion_settled guard refuses with the open items named) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+}
+
+state_machine TestRequest {
+  initial DRAFT
+  states {
+    DRAFT
+    ISSUED
+    QUOTED
+    ACCEPTED_BY_LAB
+    REJECTED_BY_LAB
+    IN_PROGRESS
+    COMPLETED
+    WITHDRAWN
+  }
+  transition DRAFT -> ISSUED action ia_issues {
+    cascade TestRequest {
+      set {
+        status: "ISSUED"
+        issued_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "testRequests"
+        entity_id: "${this.id}"
+        action: "issued"
+        user_id: "user"
+        basis: "IA issues the test request to the laboratory (PD-05 §4.3 dispatch) — declared transition side-effect (TODO.roadmap/52); actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition ISSUED -> QUOTED action lab_quotes {
+    cascade TestRequest {
+      set {
+        status: "QUOTED"
+        quoted_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "testRequests"
+        entity_id: "${this.id}"
+        action: "quotation_issued"
+        user_id: "user"
+        basis: "The laboratory responds to the dispatched request with a quotation (TODO.adoption/07's quote leg on the PD-05 §4.3 dispatch: price, currency, timeline, conditions and validity ride the Quotation record; the step is optional, a laboratory that does not quote accepts directly) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition QUOTED -> ACCEPTED_BY_LAB action ia_accepts_quotation {
+    cascade TestRequest {
+      set {
+        status: "ACCEPTED_BY_LAB"
+        accepted_date: "now"
+        accepted_by: "user"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "testRequests"
+        entity_id: "${this.id}"
+        action: "quotation_accepted"
+        user_id: "user"
+        basis: "The Issuing Authority accepts the laboratory's quotation (TODO.adoption/07): the work proceeds exactly as after a direct acceptance — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition QUOTED -> REJECTED_BY_LAB action ia_declines_quotation {
+    cascade TestRequest {
+      set {
+        status: "REJECTED_BY_LAB"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "testRequests"
+        entity_id: "${this.id}"
+        action: "quotation_declined"
+        user_id: "user"
+        basis: "The Issuing Authority declines the laboratory's quotation (TODO.adoption/07): the request closes and the reason rides the quotation record and the audit trail, never silently dropped — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition ISSUED -> ACCEPTED_BY_LAB action lab_accepts {
+    cascade TestRequest {
+      set {
+        status: "ACCEPTED_BY_LAB"
+        accepted_date: "now"
+        accepted_by: "user"
+      }
+    }
+  }
+  transition ISSUED -> REJECTED_BY_LAB action lab_declines {
+    cascade TestRequest {
+      set {
+        status: "REJECTED_BY_LAB"
+      }
+    }
+  }
+  transition ACCEPTED_BY_LAB -> IN_PROGRESS action lab_starts_testing {
+    cascade TestRequest {
+      set {
+        status: "IN_PROGRESS"
+        started_date: "now"
+      }
+    }
+    cascade TestAssignment {
+      where "test_request_id = ${this.id}"
+      via start
+      set {
+        status: "IN_PROGRESS"
+        started_date: "now"
+      }
+    }
+  }
+  transition IN_PROGRESS -> COMPLETED action lab_issues_test_report {
+    cascade TestRequest {
+      set {
+        status: "COMPLETED"
+        completed_date: "now"
+      }
+    }
+    cascade TestReport {
+      action submit
+      where "test_request_id = ${this.id}"
+      via lab_submits
+    }
+    cascade TestAssignment {
+      where "test_request_id = ${this.id} AND status != OMITTED"
+      via complete
+      set {
+        status: "COMPLETED"
+        completed_date: "now"
+      }
+    }
+  }
+  transition [DRAFT, ISSUED, QUOTED] -> WITHDRAWN action ia_cancels {
+    cascade TestRequest {
+      set {
+        status: "WITHDRAWN"
+        withdrawn_date: "now"
+      }
+    }
+    cascade TestAssignment {
+      where "test_request_id = ${this.id} AND status != COMPLETED"
+      via omit
+      set {
+        status: "OMITTED"
+        omit_reason: "TR withdrawn"
+      }
+    }
+  }
+}
+
+state_machine TestReport {
+  initial DRAFT
+  states {
+    DRAFT
+    SUBMITTED
+    UNDER_REVIEW
+    CONSULTATION
+    ACCEPTED
+    REJECTED
+  }
+  transition DRAFT -> SUBMITTED action lab_submits {
+    cascade TestReport {
+      set {
+        status: "SUBMITTED"
+        submitted_date: "now"
+      }
+    }
+    cascade FormInstance {
+      action lock
+      where "test_report_id = ${this.id} AND status != LOCKED"
+      via test_report_issued
+    }
+  }
+  transition SUBMITTED -> UNDER_REVIEW action ia_starts_review {
+    cascade TestReport {
+      set {
+        status: "UNDER_REVIEW"
+      }
+    }
+  }
+  transition UNDER_REVIEW -> ACCEPTED action ia_accepts {
+    cascade TestReport {
+      set {
+        status: "ACCEPTED"
+      }
+    }
+  }
+  transition UNDER_REVIEW -> REJECTED action ia_rejects {
+    cascade TestReport {
+      set {
+        status: "REJECTED"
+      }
+    }
+    cascade FormInstance {
+      where "test_report_id = ${this.id} AND status = LOCKED"
+      via ia_accepts
+      set {
+        status: "ACCEPTED"
+      }
+    }
+  }
+  transition UNDER_REVIEW -> CONSULTATION action ia_opens_consultation {
+    cascade TestReport {
+      set {
+        status: "CONSULTATION"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "testReports"
+        entity_id: "${this.id}"
+        action: "consultation_opened"
+        user_id: "user"
+        basis: "The Issuing Authority opens the review period on the test report (the demo-flows program's flow 04, step 4: the Evaluation Project's participants comment on the report — the threads of entities/comments.prl — before its finalization completes; the consultation_resolved guard gates the decision hops) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition CONSULTATION -> ACCEPTED action ia_accepts {
+    guard "consultation_resolved"
+    cascade TestReport {
+      set {
+        status: "ACCEPTED"
+      }
+    }
+  }
+  transition CONSULTATION -> REJECTED action ia_rejects {
+    guard "consultation_resolved"
+    cascade TestReport {
+      set {
+        status: "REJECTED"
+      }
+    }
+    cascade FormInstance {
+      where "test_report_id = ${this.id} AND status = LOCKED"
+      via ia_accepts
+      set {
+        status: "ACCEPTED"
+      }
+    }
+  }
+  transition CONSULTATION -> DRAFT action ia_returns_to_lab {
+    cascade TestReport {
+      set {
+        status: "DRAFT"
+      }
+    }
+    cascade FormInstance {
+      where "test_report_id = ${this.id} AND status = LOCKED"
+      via test_report_recalled
+      set {
+        status: "SUBMITTED"
+      }
+    }
+  }
+  transition SUBMITTED -> DRAFT action lab_withdraws_for_edit {
+    cascade TestReport {
+      set {
+        status: "DRAFT"
+      }
+    }
+    cascade FormInstance {
+      where "test_report_id = ${this.id} AND status = LOCKED"
+      via test_report_recalled
+      set {
+        status: "SUBMITTED"
+      }
+    }
+  }
+  transition UNDER_REVIEW -> DRAFT action ia_returns_to_lab {
+    cascade TestReport {
+      set {
+        status: "DRAFT"
+      }
+    }
+    cascade FormInstance {
+      where "test_report_id = ${this.id} AND status = LOCKED"
+      via test_report_recalled
+      set {
+        status: "SUBMITTED"
+      }
+    }
+  }
+  transition DRAFT -> SUBMITTED action register_offline {
+    cascade TestReport {
+      set {
+        status: "SUBMITTED"
+        submitted_date: "now"
+      }
+    }
+  }
+}
+
+state_machine FormInstance {
+  initial DRAFT
+  states {
+    DRAFT
+    IN_PROGRESS
+    SUBMITTED
+    LOCKED
+    ACCEPTED
+    REJECTED
+  }
+  transition DRAFT -> IN_PROGRESS action lab_starts_filling {
+  }
+  transition [DRAFT, IN_PROGRESS] -> SUBMITTED action lab_submits_with_report {
+  }
+  transition SUBMITTED -> LOCKED action test_report_issued {
+  }
+  transition LOCKED -> SUBMITTED action test_report_recalled {
+  }
+  transition LOCKED -> ACCEPTED action ia_accepts {
+  }
+  transition LOCKED -> REJECTED action ia_rejects {
+  }
+  transition ACCEPTED -> LOCKED action ia_reopens {
+  }
+  transition [IN_PROGRESS, SUBMITTED] -> DRAFT action run_redone {
+  }
+}
+
+state_machine EvaluationReport {
+  initial DRAFT
+  states {
+    DRAFT
+    IN_REVIEW
+    ALL_TR_REVIEWED
+    CONSULTATION
+    APPROVED
+    REJECTED
+    CONDITIONALLY_APPROVED
+  }
+  transition DRAFT -> IN_REVIEW action ia_opens_first_tr {
+  }
+  transition IN_REVIEW -> ALL_TR_REVIEWED action last_tr_determined {
+  }
+  transition ALL_TR_REVIEWED -> CONSULTATION action ia_opens_consultation {
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "evaluationReports"
+        entity_id: "${this.id}"
+        action: "consultation_opened"
+        user_id: "user"
+        basis: "The Issuing Authority opens the review period on the evaluation report (the demo-flows program's flow 04, step 4: every report's finalization runs the participants' comment round — the threads of entities/comments.prl — and the consultation_resolved guard gates the terminal decision hops, so the threads resolve before the finalization completes) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition CONSULTATION -> APPROVED action ia_approves {
+    guard "consultation_resolved"
+    cascade EvaluationReport {
+      set {
+        overall_decision: "APPROVED"
+      }
+    }
+  }
+  transition CONSULTATION -> REJECTED action ia_rejects {
+    guard "consultation_resolved"
+    cascade EvaluationReport {
+      set {
+        overall_decision: "REJECTED"
+      }
+    }
+  }
+  transition CONSULTATION -> CONDITIONALLY_APPROVED action ia_approves_with_conditions {
+    guard "consultation_resolved"
+    cascade EvaluationReport {
+      set {
+        overall_decision: "CONDITIONALLY_APPROVED"
+      }
+    }
+  }
+  transition CONSULTATION -> IN_REVIEW action ia_reopens {
+    cascade EvaluationReport {
+      set {
+        overall_decision: "PENDING"
+      }
+    }
+  }
+  transition ALL_TR_REVIEWED -> APPROVED action ia_approves {
+    cascade EvaluationReport {
+      set {
+        overall_decision: "APPROVED"
+      }
+    }
+  }
+  transition ALL_TR_REVIEWED -> REJECTED action ia_rejects {
+    cascade EvaluationReport {
+      set {
+        overall_decision: "REJECTED"
+      }
+    }
+  }
+  transition ALL_TR_REVIEWED -> CONDITIONALLY_APPROVED action ia_approves_with_conditions {
+    cascade EvaluationReport {
+      set {
+        overall_decision: "CONDITIONALLY_APPROVED"
+      }
+    }
+  }
+  transition [APPROVED, REJECTED, CONDITIONALLY_APPROVED] -> IN_REVIEW action ia_reopens {
+    cascade EvaluationReport {
+      set {
+        overall_decision: "PENDING"
+      }
+    }
+  }
+  transition DRAFT -> APPROVED action register_offline_approved {
+    cascade EvaluationReport {
+      set {
+        overall_decision: "APPROVED"
+      }
+    }
+  }
+  transition DRAFT -> REJECTED action register_offline_rejected {
+    cascade EvaluationReport {
+      set {
+        overall_decision: "REJECTED"
+      }
+    }
+  }
+  transition DRAFT -> CONDITIONALLY_APPROVED action register_offline_conditionally_approved {
+    cascade EvaluationReport {
+      set {
+        overall_decision: "CONDITIONALLY_APPROVED"
+      }
+    }
+  }
+}
+
+state_machine Certificate {
+  initial DRAFT
+  states {
+    DRAFT
+    PENDING_REGISTRATION
+    ACTIVE
+    EXPIRED
+    WITHDRAWN
+    SUSPENDED
+    UNDER_INVESTIGATION
+  }
+  transition DRAFT -> PENDING_REGISTRATION action submit {
+  }
+  transition PENDING_REGISTRATION -> ACTIVE action register {
+  }
+  transition ACTIVE -> EXPIRED action expire {
+  }
+  transition ACTIVE -> WITHDRAWN action withdraw {
+  }
+  transition ACTIVE -> SUSPENDED action suspend {
+  }
+  transition SUSPENDED -> ACTIVE action reinstate {
+  }
+  transition SUSPENDED -> WITHDRAWN action withdraw {
+  }
+  transition ACTIVE -> UNDER_INVESTIGATION action investigate {
+  }
+  transition UNDER_INVESTIGATION -> ACTIVE action clear {
+  }
+  transition UNDER_INVESTIGATION -> SUSPENDED action suspend {
+  }
+  transition UNDER_INVESTIGATION -> WITHDRAWN action withdraw {
+  }
+  transition [ACTIVE, EXPIRED] -> PENDING_REGISTRATION action renew {
+  }
+  transition [ACTIVE, EXPIRED] -> PENDING_REGISTRATION action revise {
+  }
+  transition [ACTIVE, EXPIRED] -> PENDING_REGISTRATION action transfer_ownership {
+  }
+  transition DRAFT -> ACTIVE action issue {
+  }
+  transition [ACTIVE, EXPIRED] -> ACTIVE action renew {
+  }
+  transition [ACTIVE, EXPIRED] -> ACTIVE action revise {
+  }
+  transition [ACTIVE, EXPIRED] -> ACTIVE action transfer_ownership {
+  }
+}
+
+state_machine CertificateRegistration {
+  initial ANNOUNCED
+  states {
+    ANNOUNCED
+    SUBMITTED
+    PUBLISHED
+    REFUSED
+  }
+  transition ANNOUNCED -> SUBMITTED action intake_verifies {
+    cascade CertificateRegistration {
+      set {
+        status: "SUBMITTED"
+        submitted_at: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "certificateRegistrations"
+        entity_id: "${this.id}"
+        action: "submitted"
+        user_id: "user"
+        basis: "The signed registration package passed the register's intake verification (TODO.federation/06's registration sequence: the signature verified against the submitting IA's registered org key, the standing check, and the registrant correlation's orphan check — the trust registry's verification runs at intake) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition SUBMITTED -> PUBLISHED action auto_publishes {
+    cascade CertificateRegistration {
+      set {
+        status: "PUBLISHED"
+        published_at: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "certificateRegistrations"
+        entity_id: "${this.id}"
+        action: "published"
+        user_id: "user"
+        basis: "The verified, receipt-tracked registration submission publishes to the public register with NO human gate (the decided register doctrine — the demo-flows program owner, 2026-08-28: the register's trust is in the signature + the receipt machinery and the published record is exactly what the IA signed and sent; the human review surfaces remain as the operator's read postures, never a gate) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition [ANNOUNCED, SUBMITTED] -> REFUSED action intake_refuses {
+    cascade CertificateRegistration {
+      set {
+        status: "REFUSED"
+        refused_at: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "certificateRegistrations"
+        entity_id: "${this.id}"
+        action: "refused"
+        user_id: "user"
+        basis: "The intake verification refused the registration submission — the signature did not verify, the registrant correlation mismatched, or the standing check failed; the written reason rides the record's refusal_reason (PD-05 §6 decisions are stated, never silent) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+}
+
+state_machine TestAssignment {
+  initial PENDING
+  states {
+    PENDING
+    ACCEPTED
+    IN_PROGRESS
+    COMPLETED
+    OMITTED
+    FAILED
+  }
+  transition PENDING -> ACCEPTED action lab_accepts {
+    cascade TestAssignment {
+      set {
+        accepted_date: "now"
+      }
+    }
+  }
+  transition [PENDING, ACCEPTED] -> IN_PROGRESS action start {
+    cascade TestAssignment {
+      set {
+        started_date: "now"
+      }
+    }
+  }
+  transition [PENDING, ACCEPTED, IN_PROGRESS] -> COMPLETED action complete {
+    cascade TestAssignment {
+      set {
+        completed_date: "now"
+      }
+    }
+  }
+  transition IN_PROGRESS -> FAILED action invalidate {
+    cascade TestAssignment {
+      set {
+        completed_date: "now"
+      }
+    }
+  }
+  transition FAILED -> IN_PROGRESS action redo {
+  }
+  transition [PENDING, ACCEPTED, IN_PROGRESS, FAILED] -> OMITTED action omit {
+  }
+}
+
+state_machine TestRun {
+  initial PLANNED
+  states {
+    PLANNED
+    IN_PROGRESS
+    COMPLETED
+    INVALIDATED
+  }
+  transition PLANNED -> IN_PROGRESS action record_evidence {
+  }
+  transition [PLANNED, IN_PROGRESS] -> COMPLETED action complete {
+    guard "admissible"
+    cascade FormInstance {
+      where "id = ${this.form_instance_id} AND status != SUBMITTED"
+      via lab_submits_with_report
+      set {
+        status: "SUBMITTED"
+        result: "PASS"
+        submitted_at: "now"
+        modified: "now"
+      }
+    }
+    cascade TestAssignment {
+      where "id = ${this.test_assignment_id}"
+      via complete
+      set {
+        status: "COMPLETED"
+        completed_date: "now"
+        form_instance_id: "${this.form_instance_id}"
+      }
+    }
+  }
+  transition [PLANNED, IN_PROGRESS] -> INVALIDATED action invalidate {
+    cascade TestAssignment {
+      where "id = ${this.test_assignment_id}"
+      via invalidate
+      set {
+        status: "FAILED"
+        completed_date: "now"
+      }
+    }
+  }
+  transition INVALIDATED -> PLANNED action redo {
+    cascade TestAssignment {
+      where "id = ${this.test_assignment_id} AND status = FAILED"
+      via redo
+      set {
+        status: "IN_PROGRESS"
+      }
+    }
+    cascade FormInstance {
+      where "id = ${this.form_instance_id} AND status != DRAFT"
+      via run_redone
+      set {
+        status: "DRAFT"
+        modified: "now"
+      }
+    }
+  }
+}
+
+state_machine MeasuringInstrumentSample {
+  initial REQUESTED
+  states {
+    REQUESTED
+    IN_TRANSIT
+    RECEIVED
+    IN_TESTING
+    TESTING_COMPLETE
+    RETURNED
+    RETAINED
+    DESTROYED
+    DISPOSED
+  }
+  transition REQUESTED -> IN_TRANSIT action manufacturer_ships {
+  }
+  transition IN_TRANSIT -> RECEIVED action ia_logs_receipt {
+  }
+  transition RECEIVED -> IN_TRANSIT action ia_dispatches_to_lab {
+  }
+  transition IN_TRANSIT -> RECEIVED action lab_acknowledges_receipt {
+  }
+  transition RECEIVED -> IN_TESTING action lab_starts_test {
+  }
+  transition IN_TESTING -> TESTING_COMPLETE action lab_test_complete {
+  }
+  transition TESTING_COMPLETE -> IN_TRANSIT action ia_recalls {
+  }
+  transition IN_TRANSIT -> RECEIVED action ia_logs_return {
+  }
+  transition RECEIVED -> RETURNED action ia_returns_to_manufacturer {
+  }
+  transition RECEIVED -> RETAINED action ia_retains {
+  }
+  transition RECEIVED -> DESTROYED action ia_destroys {
+  }
+  transition RECEIVED -> DISPOSED action ia_disposes {
+  }
+  transition RETAINED -> DESTROYED action ia_destroys {
+  }
+  transition RETAINED -> DISPOSED action ia_disposes {
+  }
+}
+
+state_machine VerificationRecord {
+  initial DRAFT
+  states {
+    DRAFT
+    IN_PROGRESS
+    ASSESSED
+    PASSED
+    FAILED
+    MARKED
+  }
+  transition DRAFT -> IN_PROGRESS action verification_starts {
+  }
+  transition IN_PROGRESS -> ASSESSED action tests_completed {
+  }
+  transition ASSESSED -> PASSED action conformity_passed {
+  }
+  transition ASSESSED -> FAILED action conformity_failed {
+  }
+  transition PASSED -> MARKED action marks_applied {
+  }
+}
+
+state_machine SampleVerification {
+  initial NOT_VERIFIED
+  states {
+    NOT_VERIFIED
+    VERIFIED
+    REVERIFICATION_DUE
+    INVALIDATED
+  }
+  transition NOT_VERIFIED -> VERIFIED action initial_verification_passed {
+  }
+  transition VERIFIED -> REVERIFICATION_DUE action validity_elapsed {
+  }
+  transition VERIFIED -> INVALIDATED action invalidating_signal_received {
+  }
+  transition [REVERIFICATION_DUE, INVALIDATED] -> VERIFIED action subsequent_verification_passed {
+  }
+}
+
+state_machine ParticipantApplication {
+  initial SUBMITTED
+  states {
+    SUBMITTED
+    ASSESSMENT
+    RC_REVIEW
+    MC_VOTE
+    DECLARATION_PENDING
+    REJECTED
+    ACTIVE
+    SUSPENDED
+    WITHDRAWN
+  }
+  transition SUBMITTED -> ASSESSMENT action competence_evidence_recorded {
+  }
+  transition ASSESSMENT -> RC_REVIEW action referred_to_rc {
+  }
+  transition RC_REVIEW -> MC_VOTE action rc_recommendation_recorded {
+  }
+  transition MC_VOTE -> DECLARATION_PENDING action mc_approves {
+  }
+  transition MC_VOTE -> REJECTED action mc_rejects {
+  }
+  transition DECLARATION_PENDING -> ACTIVE action declaration_signed {
+  }
+  transition ACTIVE -> SUSPENDED action mc_suspends {
+  }
+  transition SUSPENDED -> ACTIVE action mc_reinstates {
+  }
+  transition [ACTIVE, SUSPENDED, DECLARATION_PENDING] -> WITHDRAWN action participant_withdraws {
+  }
+}
+
+state_machine ParticipantDeclaration {
+  initial draft
+  states {
+    draft
+    signed
+    suspended
+    withdrawn
+  }
+  transition draft -> signed action sign {
+  }
+  transition signed -> draft action amend {
+  }
+  transition signed -> suspended action suspend {
+  }
+  transition suspended -> signed action reinstate {
+  }
+  transition [draft, signed, suspended] -> withdrawn action withdraw {
+  }
+}
+
+state_machine AnrDeclaration {
+  initial DRAFT
+  states {
+    DRAFT
+    SUBMITTED
+    APPROVED
+    REJECTED
+    WITHDRAWN
+  }
+  transition DRAFT -> SUBMITTED action submit_for_review {
+  }
+  transition SUBMITTED -> APPROVED action cs_approves {
+  }
+  transition SUBMITTED -> REJECTED action cs_rejects {
+  }
+  transition REJECTED -> DRAFT action revise {
+  }
+  transition APPROVED -> DRAFT action amend {
+  }
+  transition [DRAFT, SUBMITTED, REJECTED, APPROVED] -> WITHDRAWN action withdraw {
+  }
+}
+
+state_machine AppealCase {
+  initial LODGED
+  states {
+    LODGED
+    CIRCULATED
+    CONSIDERED
+    DECIDED
+    INADMISSIBLE
+  }
+  transition LODGED -> CIRCULATED action information_circulated {
+  }
+  transition CIRCULATED -> CONSIDERED action boa_considers {
+  }
+  transition CONSIDERED -> DECIDED action boa_decides {
+  }
+  transition LODGED -> INADMISSIBLE action rule_inadmissible {
+  }
+}
+
+state_machine ComplaintCase {
+  initial RECEIVED
+  states {
+    RECEIVED
+    INVESTIGATION
+    UPHELD
+    DISMISSED
+  }
+  transition RECEIVED -> INVESTIGATION action investigation_opened {
+  }
+  transition INVESTIGATION -> UPHELD action complaint_upheld {
+  }
+  transition INVESTIGATION -> DISMISSED action complaint_dismissed {
+  }
+}
+
+state_machine MisuseCase {
+  initial EVIDENCED
+  states {
+    EVIDENCED
+    WARNED
+    CLOSED
+    DEREGISTERED
+  }
+  transition EVIDENCED -> WARNED action owner_warned {
+  }
+  transition WARNED -> CLOSED action case_closed {
+  }
+  transition WARNED -> DEREGISTERED action biml_deregisters {
+  }
+}
+
+state_machine Marking {
+  initial DRAFT
+  states {
+    DRAFT
+    AFFIXED
+    INSPECTED
+    SUPERSEDED
+  }
+  transition DRAFT -> AFFIXED action marking_affixed {
+  }
+  transition AFFIXED -> INSPECTED action marking_inspected {
+  }
+  transition [DRAFT, AFFIXED, INSPECTED] -> SUPERSEDED action marking_superseded {
+  }
+}
+
+state_machine Sealing {
+  initial DRAFT
+  states {
+    DRAFT
+    AFFIXED
+    INSPECTED
+    SUPERSEDED
+  }
+  transition DRAFT -> AFFIXED action sealing_affixed {
+  }
+  transition AFFIXED -> INSPECTED action sealing_inspected {
+  }
+  transition [DRAFT, AFFIXED, INSPECTED] -> SUPERSEDED action sealing_superseded {
+  }
+}
+
+state_machine CalibrationRecord {
+  initial DRAFT
+  states {
+    DRAFT
+    AFFIXED
+    INSPECTED
+    SUPERSEDED
+  }
+  transition DRAFT -> AFFIXED action calibration_record_affixed {
+  }
+  transition AFFIXED -> INSPECTED action calibration_record_inspected {
+  }
+  transition [DRAFT, AFFIXED, INSPECTED] -> SUPERSEDED action calibration_record_superseded {
+  }
+}
+
+state_machine Engagement {
+  initial INQUIRY
+  states {
+    INQUIRY
+    QUOTED
+    AGREED
+    CONVERTED
+    DECLINED
+    WITHDRAWN
+    PENDING_EXTERNAL
+  }
+  transition INQUIRY -> QUOTED action provider_issues_quotation {
+    cascade Engagement {
+      set {
+        status: "QUOTED"
+        quoted_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "engagements"
+        entity_id: "${this.id}"
+        action: "quotation_issued"
+        user_id: "user"
+        basis: "The provider issues the quotation against the inquiry (TODO.adoption/07: the provider is the Issuing Authority on ia_applicant, the Test Laboratory on ia_tl and tl_applicant; ISO/IEC 17065:2012, 7.2/7.3.1; the fee content per PD-05 §4.2.8) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition QUOTED -> AGREED action agreement_signed {
+    cascade Engagement {
+      set {
+        status: "AGREED"
+        agreed_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "engagements"
+        entity_id: "${this.id}"
+        action: "agreement_signed"
+        user_id: "user"
+        basis: "The agreement carries both signatures (ISO/IEC 17065:2012, 4.1.2) — the completing signature fires the hop; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition AGREED -> CONVERTED action convert_to_application {
+    guard "conversion_offered"
+    cascade Engagement {
+      set {
+        status: "CONVERTED"
+        converted_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "engagements"
+        entity_id: "${this.id}"
+        action: "converted"
+        user_id: "user"
+        basis: "The ia_applicant negotiation converts into the technical Application (converted_application_id) and turns read-only (TODO.federation/02; the conversion_offered guard holds the kind: ia_tl and tl_applicant negotiations never convert) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition INQUIRY -> DECLINED action provider_declines {
+    cascade Engagement {
+      set {
+        status: "DECLINED"
+        declined_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "engagements"
+        entity_id: "${this.id}"
+        action: "declined"
+        user_id: "user"
+        basis: "The provider declines the inquiry (ISO/IEC 17065:2012, 7.3.4: e.g. without competence); the reason rides on the record's decline_reason — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition QUOTED -> DECLINED action requester_declines {
+    cascade Engagement {
+      set {
+        status: "DECLINED"
+        declined_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "engagements"
+        entity_id: "${this.id}"
+        action: "declined"
+        user_id: "user"
+        basis: "The requester declines the quotation; the reason rides on the record's decline_reason — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition [INQUIRY, QUOTED, PENDING_EXTERNAL] -> WITHDRAWN action requester_withdraws {
+    cascade Engagement {
+      set {
+        status: "WITHDRAWN"
+        withdrawn_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "engagements"
+        entity_id: "${this.id}"
+        action: "withdrawn"
+        user_id: "user"
+        basis: "The requester withdraws the inquiry before agreement; the reason rides on the record's withdrawal_reason — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition [INQUIRY, QUOTED] -> PENDING_EXTERNAL action park_external {
+    cascade Engagement {
+      set {
+        status: "PENDING_EXTERNAL"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "engagements"
+        entity_id: "${this.id}"
+        action: "parked_external"
+        user_id: "user"
+        basis: "The negotiation parks while the parties settle off-platform (TODO.adoption/07's pending-external pattern: a phone negotiation, a legal review; what is being settled rides the record's external_note) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition PENDING_EXTERNAL -> AGREED action external_agreement_recorded {
+    cascade Engagement {
+      set {
+        status: "AGREED"
+        agreed_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "engagements"
+        entity_id: "${this.id}"
+        action: "external_outcome_recorded"
+        user_id: "user"
+        basis: "A party records the off-platform outcome: agreement claimed, the signed terms attached to the agreement record, the claimant named on external_recorded_by (TODO.adoption/07: the platform records the claimed outcome with the claimant's provenance, it never pretends to have witnessed the act) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+  transition PENDING_EXTERNAL -> DECLINED action external_decline_recorded {
+    cascade Engagement {
+      set {
+        status: "DECLINED"
+        declined_date: "now"
+      }
+    }
+    cascade AuditEvent {
+      action record
+      with {
+        entity_type: "engagements"
+        entity_id: "${this.id}"
+        action: "external_outcome_recorded"
+        user_id: "user"
+        basis: "A party records the off-platform outcome: the negotiation collapsed, the reason rides on decline_reason and the claimant is named on external_recorded_by (TODO.adoption/07) — declared transition side-effect; actor/timestamp from the cascade context"
+      }
+    }
+  }
+}
+
+state_machine PaymentRecord {
+  initial INVOICED
+  states {
+    INVOICED
+    MARKED_PAID
+  }
+  transition INVOICED -> MARKED_PAID action mark_paid {
+  }
+}
+