{
  "kind": "capsulang.cost_report",
  "machines": [
    {
      "auditComplexity": "high",
      "effectIntents": 19,
      "name": "ChangeApproval",
      "states": 7,
      "transitions": 8,
      "uniqueEffects": [
        "a2a.task:security_reviewer.review_change",
        "a2ui.emit:change_approval",
        "a2ui.emit:change_deployment",
        "a2ui.emit:change_status",
        "db.write:operational.approvals",
        "db.write:operational.change_requests",
        "db.write:operational.change_reviews",
        "db.write:operational.deployments",
        "mcp.call:ci.deploy",
        "mcp.call:ci.rollback"
      ]
    }
  ],
  "module": "examples.change_approval",
  "notes": [
    "This is a structural runtime/audit complexity estimate, not binary size.",
    "Use compile-plan for backend-specific compileability and release-preview for deployment readiness."
  ],
  "schemaVersion": 1,
  "summary": {
    "auditComplexity": "medium",
    "compileablePureFunctions": [],
    "effectIntents": 19,
    "externalEffectKinds": [
      "a2a.task:security_reviewer.review_change",
      "a2ui.emit:change_approval",
      "a2ui.emit:change_deployment",
      "a2ui.emit:change_status",
      "db.write:operational.approvals",
      "db.write:operational.change_requests",
      "db.write:operational.change_reviews",
      "db.write:operational.deployments",
      "mcp.call:ci.deploy",
      "mcp.call:ci.rollback"
    ],
    "functions": 0,
    "machines": 1,
    "states": 7,
    "transitions": 8
  }
}