{
  "backends": {
    "lean": {
      "artifactBytes": 119,
      "diagnostics": [
        {
          "code": "W_BACKEND_MACHINE_UNSUPPORTED",
          "message": "lean does not generate machine execution for machine 'ChangeApproval'; use xstate/scxml or the reference runtime",
          "path": [
            "machines",
            "ChangeApproval"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_NO_FUNCTIONS",
          "message": "lean has no functions to emit",
          "path": [
            "functions"
          ],
          "severity": "WARNING"
        }
      ],
      "status": "ok",
      "validation": {
        "status": "not-requested"
      }
    },
    "riscv": {
      "artifactBytes": 124,
      "diagnostics": [
        {
          "code": "W_BACKEND_MACHINE_UNSUPPORTED",
          "message": "riscv does not generate machine execution for machine 'ChangeApproval'; use xstate/scxml or the reference runtime",
          "path": [
            "machines",
            "ChangeApproval"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_NO_FUNCTIONS",
          "message": "riscv has no functions to emit",
          "path": [
            "functions"
          ],
          "severity": "WARNING"
        }
      ],
      "status": "ok",
      "validation": {
        "status": "not-requested"
      }
    },
    "scxml": {
      "artifactBytes": 3715,
      "diagnostics": [
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records effect metadata for transition idle.SubmitChange; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "idle",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records assignment metadata for transition idle.SubmitChange; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "idle",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records effect metadata for transition awaiting_risk_review.RiskReviewed; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_risk_review",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records assignment metadata for transition awaiting_risk_review.RiskReviewed; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_risk_review",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records effect metadata for transition awaiting_approvals.SecurityApprove; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records assignment metadata for transition awaiting_approvals.SecurityApprove; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records effect metadata for transition awaiting_approvals.ManagerApprove; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "1",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records assignment metadata for transition awaiting_approvals.ManagerApprove; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "1",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records guard metadata for transition awaiting_approvals.ManagerApprove; host runtime evaluates guards",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "1",
            "guard"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records effect metadata for transition awaiting_approvals.Reject; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "2",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records effect metadata for transition ready_to_deploy.Deploy; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records assignment metadata for transition ready_to_deploy.Deploy; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records guard metadata for transition ready_to_deploy.Deploy; host runtime evaluates guards",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "0",
            "guard"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records effect metadata for transition ready_to_deploy.Reject; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "1",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records effect metadata for transition deployed.Rollback; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "deployed",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "scxml records assignment metadata for transition deployed.Rollback; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "deployed",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        }
      ],
      "status": "ok",
      "validation": {
        "status": "not-requested"
      }
    },
    "solidity": {
      "artifactBytes": 6860,
      "diagnostics": [
        {
          "code": "W_BACKEND_EFFECT_INTENT_ONLY",
          "message": "solidity emits effect-intent events for transition idle.SubmitChange; off-chain adapters still execute external effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "idle",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_EFFECT_INTENT_ONLY",
          "message": "solidity emits effect-intent events for transition awaiting_risk_review.RiskReviewed; off-chain adapters still execute external effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_risk_review",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_EFFECT_INTENT_ONLY",
          "message": "solidity emits effect-intent events for transition awaiting_approvals.SecurityApprove; off-chain adapters still execute external effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_EFFECT_INTENT_ONLY",
          "message": "solidity emits effect-intent events for transition awaiting_approvals.ManagerApprove; off-chain adapters still execute external effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "1",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_EFFECT_INTENT_ONLY",
          "message": "solidity emits effect-intent events for transition awaiting_approvals.Reject; off-chain adapters still execute external effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "2",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_EFFECT_INTENT_ONLY",
          "message": "solidity emits effect-intent events for transition ready_to_deploy.Deploy; off-chain adapters still execute external effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_EFFECT_INTENT_ONLY",
          "message": "solidity emits effect-intent events for transition ready_to_deploy.Reject; off-chain adapters still execute external effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "1",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_EFFECT_INTENT_ONLY",
          "message": "solidity emits effect-intent events for transition deployed.Rollback; off-chain adapters still execute external effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "deployed",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        }
      ],
      "status": "ok",
      "validation": {
        "status": "not-requested"
      }
    },
    "wasm": {
      "artifactBytes": 69,
      "diagnostics": [
        {
          "code": "W_BACKEND_MACHINE_UNSUPPORTED",
          "message": "wasm does not generate machine execution for machine 'ChangeApproval'; use xstate/scxml or the reference runtime",
          "path": [
            "machines",
            "ChangeApproval"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_NO_FUNCTIONS",
          "message": "wasm has no functions to emit",
          "path": [
            "functions"
          ],
          "severity": "WARNING"
        }
      ],
      "status": "ok",
      "validation": {
        "status": "not-requested"
      }
    },
    "xstate": {
      "artifactBytes": 21458,
      "diagnostics": [
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records effect metadata for transition idle.SubmitChange; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "idle",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records assignment metadata for transition idle.SubmitChange; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "idle",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records effect metadata for transition awaiting_risk_review.RiskReviewed; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_risk_review",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records assignment metadata for transition awaiting_risk_review.RiskReviewed; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_risk_review",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records effect metadata for transition awaiting_approvals.SecurityApprove; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records assignment metadata for transition awaiting_approvals.SecurityApprove; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records effect metadata for transition awaiting_approvals.ManagerApprove; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "1",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records assignment metadata for transition awaiting_approvals.ManagerApprove; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "1",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records guard metadata for transition awaiting_approvals.ManagerApprove; host runtime evaluates guards",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "1",
            "guard"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records effect metadata for transition awaiting_approvals.Reject; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "awaiting_approvals",
            "transitions",
            "2",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records effect metadata for transition ready_to_deploy.Deploy; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records assignment metadata for transition ready_to_deploy.Deploy; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records guard metadata for transition ready_to_deploy.Deploy; host runtime evaluates guards",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "0",
            "guard"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records effect metadata for transition ready_to_deploy.Reject; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "ready_to_deploy",
            "transitions",
            "1",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records effect metadata for transition deployed.Rollback; host runtime executes effects",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "deployed",
            "transitions",
            "0",
            "effects"
          ],
          "severity": "WARNING"
        },
        {
          "code": "W_BACKEND_HOST_RUNTIME_REQUIRED",
          "message": "xstate records assignment metadata for transition deployed.Rollback; host runtime applies assignments",
          "path": [
            "machines",
            "ChangeApproval",
            "states",
            "deployed",
            "transitions",
            "0",
            "assign"
          ],
          "severity": "WARNING"
        }
      ],
      "status": "ok",
      "validation": {
        "status": "not-requested"
      }
    }
  },
  "canonicalIrSha256": "03aba488bc8360fb510ced3396ca2ef1e1e71d56e0ea172fe0b70790ba9f27dc",
  "caveats": [
    "A release preview is an inspectable artifact contract, not a deployment action.",
    "Backend artifacts are generated from the checked module; optional validation requires external tools.",
    "Generated Lean obligations are not completed proofs unless checked proof files close them."
  ],
  "counts": {
    "agents": 1,
    "examples": 0,
    "functions": 0,
    "machines": 1,
    "ports": 1,
    "stores": 2,
    "surfaces": 3
  },
  "diagnostics": [],
  "kind": "capsulang.release_preview",
  "module": "examples.change_approval",
  "schemaVersion": 1,
  "semanticHash": "03aba488bc8360fb510ced3396ca2ef1e1e71d56e0ea172fe0b70790ba9f27dc",
  "sourcePath": "examples/23_change_approval_workflow.caps",
  "sourceSha256": "d12054df48421872921e37c78eeefc6ad514912d186609d31b8095e8b2dc200a",
  "status": "preview",
  "verification": {
    "obligationCount": 13,
    "policy": null,
    "status": "checked"
  }
}