{
  "repository": "dyad-sh/dyad",
  "ref": "dfb56a46ec5ddb415d992bfe1f237f282deb7400",
  "methods": [
    {
      "slug": "formal",
      "title": "Formal verification and model checking"
    },
    {
      "slug": "static_analysis",
      "title": "Static analysis"
    },
    {
      "slug": "testing",
      "title": "Testing"
    },
    {
      "slug": "formatting",
      "title": "Formatting and hygiene"
    },
    {
      "slug": "supply_chain",
      "title": "Supply chain"
    },
    {
      "slug": "unclassified",
      "title": "Unclassified"
    }
  ],
  "verifications": [
    {
      "tool": "eslint",
      "method": "static_analysis",
      "commands": [
        "eslint ."
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "scaffold/package.json",
          "locator": "scripts.lint"
        },
        {
          "path": "package.json",
          "locator": "devDependencies: eslint"
        },
        {
          "path": "scaffold/package.json",
          "locator": "devDependencies: eslint"
        },
        {
          "path": ".eslintrc.json",
          "locator": "config file"
        },
        {
          "path": "scaffold/eslint.config.js",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/eslint/eslint",
      "docs": "https://eslint.org/docs/latest/use/command-line-interface#exit-codes",
      "exit_codes": {
        "0": "no errors",
        "1": "linting errors found",
        "2": "configuration problem or internal error"
      },
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": "biome",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "package.json",
          "locator": "dependencies: @biomejs/biome"
        },
        {
          "path": "biome.json",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/biomejs/biome",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": true
    },
    {
      "tool": "tsc",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "package.json",
          "locator": "devDependencies: typescript"
        },
        {
          "path": "scaffold/package.json",
          "locator": "devDependencies: typescript"
        }
      ],
      "upstream": "https://github.com/microsoft/TypeScript",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "node-test",
      "method": "testing",
      "commands": [
        "node --test scripts/prepare-safe-storage-baseline.test.mjs scripts/promote-previous-beta.test.mjs scripts/start-supervisor.test.mjs scripts/copy-data-to-dev.test.mjs scripts/unauthorized-release-alert.test.mjs scripts/pr-review/validate-review.test.mjs scripts/issue-triage/triage-comment.test.mjs scripts/issue-triage/prepare-context.test.mjs"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-macos.steps[8] (Unit tests)"
        },
        {
          "path": "package.json",
          "locator": "scripts.test"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-windows.steps[5] (Unit tests)"
        }
      ],
      "upstream": "https://github.com/nodejs/node",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "playwright",
      "method": "testing",
      "commands": [
        "playwright test e2e-tests/safe_storage_keychain_identity.spec.ts --workers=1",
        "playwright test --shard=$EXPR/$EXPR",
        "playwright test",
        "playwright test --shard"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.safe-storage-e2e.steps[11] (Safe storage keychain identity tests)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.e2e-tests.steps[12] (E2E tests (Shard ${{ matrix.shard }}/${{ matrix.shardTotal }}))"
        },
        {
          "path": "package.json",
          "locator": "scripts.e2e"
        },
        {
          "path": "package.json",
          "locator": "scripts.e2e:fast"
        },
        {
          "path": "package.json",
          "locator": "scripts.e2e:shard"
        },
        {
          "path": "package.json",
          "locator": "devDependencies: @playwright/test"
        },
        {
          "path": "playwright.config.ts",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/microsoft/playwright",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "vitest",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "package.json",
          "locator": "devDependencies: vitest"
        },
        {
          "path": "packages/pg-schema-classifier/vitest.config.ts",
          "locator": "config file"
        },
        {
          "path": "packages/ts-pg-schema-diff/vitest.config.ts",
          "locator": "config file"
        },
        {
          "path": "vitest.config.ts",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/vitest-dev/vitest",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "prettier",
      "method": "formatting",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": ".prettierrc",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/prettier/prettier",
      "docs": "https://prettier.io/docs/cli#exit-codes",
      "exit_codes": {
        "0": "everything formatted",
        "1": "something was not formatted (--check)",
        "2": "prettier error"
      },
      "autofix": true,
      "declared_only": true
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cross-env E2E_TEST_BUILD=true npm run package"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.build-e2e-artifacts.steps[4] (Prep test server)"
        },
        {
          "path": "package.json",
          "locator": "scripts.build"
        },
        {
          "path": "package.json",
          "locator": "scripts.pre:e2e"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.build-e2e-artifacts.steps[5] (Build)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-macos.steps[6] (Prep test server)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-windows.steps[4] (Prep test server)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.safe-storage-e2e.steps[9] (Prepare baseline test server)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.safe-storage-e2e.steps[10] (Build unsigned Electron 40 baseline)"
        },
        {
          "path": ".github/workflows/claude-deflake-e2e.yml",
          "locator": "jobs.deflake.steps[9] (Build fake LLM server)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cross-env NODE_OPTIONS=--no-deprecation VITE_CJS_IGNORE_WARNING=true vitest"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.test:watch"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cross-env NODE_OPTIONS=--no-deprecation VITE_CJS_IGNORE_WARNING=true vitest --ui"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.test:ui"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cross-env NODE_OPTIONS=--no-deprecation VITE_CJS_IGNORE_WARNING=true vitest run"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-macos.steps[8] (Unit tests)"
        },
        {
          "path": "package.json",
          "locator": "scripts.test"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-windows.steps[5] (Unit tests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cross-env NODE_OPTIONS=--no-deprecation vitest run --config vitest.eval.config.ts"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.eval"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "lint-staged"
      ],
      "triggers": [
        "pre_commit"
      ],
      "evidence": [
        {
          "path": ".husky/pre-commit",
          "locator": "line 1"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node node_modules/typescript/bin/tsc -p workers/code_explorer/tsconfig.json --noEmit --incremental"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-macos.steps[7] (Type-checking)"
        },
        {
          "path": "package.json",
          "locator": "scripts.ts"
        },
        {
          "path": "package.json",
          "locator": "scripts.ts:workers"
        },
        {
          "path": "package.json",
          "locator": "scripts.ts:workers:code-explorer"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node node_modules/typescript/bin/tsc -p workers/supabase_dependency_analysis/tsconfig.json --noEmit --incremental"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-macos.steps[7] (Type-checking)"
        },
        {
          "path": "package.json",
          "locator": "scripts.ts"
        },
        {
          "path": "package.json",
          "locator": "scripts.ts:workers"
        },
        {
          "path": "package.json",
          "locator": "scripts.ts:workers:supabase-dependency-analysis"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node scripts/generate-release-provenance.js out/release-provenance-$EXPR.json $EXPR out/make"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yml",
          "locator": "jobs.build.steps[10] (Generate release provenance manifest)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node scripts/github-security-advisory-alert.mjs"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/github-security-advisory-alerts.yml",
          "locator": "jobs.send-alert.steps[3] (Send advisory alert email)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node scripts/prepare-release-tag.js verify"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yml",
          "locator": "jobs.publish.steps[8] (Verify release tag still points to this workflow commit)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node scripts/verify-release-assets.js"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yml",
          "locator": "jobs.publish.steps[9] (Verify all release assets are uploaded)"
        },
        {
          "path": "package.json",
          "locator": "scripts.verify-release"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "oxfmt"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.fmt"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "oxfmt --check"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-macos.steps[5] (Presubmit check (e.g. lint, format))"
        },
        {
          "path": "package.json",
          "locator": "scripts.presubmit"
        },
        {
          "path": "package.json",
          "locator": "scripts.fmt:check"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "oxlint --fix"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.unit-tests-macos.steps[5] (Presubmit check (e.g. lint, format))"
        },
        {
          "path": "package.json",
          "locator": "scripts.presubmit"
        },
        {
          "path": "package.json",
          "locator": "scripts.lint"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "oxlint --fix --fix-suggestions --fix-dangerously"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.lint:fix"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "type == boolean) then"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/closed-issue-comment.yml",
          "locator": "jobs.classify-author-comment.steps[3] (Validate Claude decision)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}