{
  "id": "workflow:smart-contract-audit",
  "_kind": "Workflow",
  "_file": "workflows/workflows/workflows-crypto-blockchain.yaml",
  "_cluster": "workflows",
  "attributes": {
    "displayName": "Smart Contract Audit",
    "workflowKind": "security",
    "triggerType": "on-demand",
    "typicalCadence": "per-deployment",
    "complexity": "single-team",
    "description": "Audits smart contract code for correctness, security vulnerabilities,\ngas optimization, and compliance — running static analysis, fuzzing,\nformal verification checks, and producing a findings report with\nseverity ratings. Excludes contract development.\n"
  },
  "outgoingEdges": [
    {
      "from": "workflow:smart-contract-audit",
      "to": "role:security-reviewer",
      "kind": "involves_role",
      "attributes": {}
    },
    {
      "from": "workflow:smart-contract-audit",
      "to": "role:code-reviewer",
      "kind": "involves_role",
      "attributes": {}
    },
    {
      "from": "workflow:smart-contract-audit",
      "to": "skill-area:typescript-generic-programming",
      "kind": "requires_skill_area",
      "attributes": {}
    },
    {
      "from": "workflow:smart-contract-audit",
      "to": "domain:cybersecurity",
      "kind": "applies_to_domain",
      "attributes": {}
    },
    {
      "from": "workflow:smart-contract-audit",
      "to": "domain:software-engineering",
      "kind": "applies_to_domain",
      "attributes": {}
    },
    {
      "from": "workflow:smart-contract-audit",
      "to": "responsibility:security-review",
      "kind": "triggers_responsibility",
      "attributes": {}
    },
    {
      "from": "workflow:smart-contract-audit",
      "to": "responsibility:run-security-scans",
      "kind": "triggers_responsibility",
      "attributes": {}
    },
    {
      "from": "workflow:smart-contract-audit",
      "to": "org-unit:security-team",
      "kind": "performed_by_org_unit",
      "attributes": {}
    },
    {
      "from": "workflow:smart-contract-audit",
      "to": "org-unit:application-security-team",
      "kind": "performed_by_org_unit",
      "attributes": {}
    }
  ],
  "incomingEdges": [
    {
      "from": "domain:crypto-defi",
      "to": "workflow:smart-contract-audit",
      "kind": "uses_workflow"
    },
    {
      "from": "stack-profile:blockchain-dapp",
      "to": "workflow:smart-contract-audit",
      "kind": "follows_workflow"
    }
  ]
}