{
  "repository": "likec4/likec4",
  "ref": "3cce820fadd11839d6bd745cf611722085558065",
  "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": "codeql",
      "method": "static_analysis",
      "commands": [
        "uses github/codeql-action/analyze"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/codeql.yml",
          "locator": "jobs.analyze.steps[2] (Perform CodeQL Analysis)"
        }
      ],
      "upstream": "https://github.com/github/codeql",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "tsc",
      "method": "static_analysis",
      "commands": [
        "tsc -b"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "devops/package.json",
          "locator": "scripts.typecheck"
        },
        {
          "path": "devops/package.json",
          "locator": "devDependencies: typescript"
        },
        {
          "path": "e2e/package.json",
          "locator": "dependencies: typescript"
        },
        {
          "path": "package.json",
          "locator": "devDependencies: typescript"
        }
      ],
      "upstream": "https://github.com/microsoft/TypeScript",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ci-matrix",
      "method": "testing",
      "commands": [
        "analyze (language: 1)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/codeql.yml",
          "locator": "jobs.analyze.strategy.matrix"
        }
      ],
      "upstream": "https://docs.github.com/en/actions/how-tos/write-workflows/choose-what-workflows-do/run-job-variations",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "node-test",
      "method": "testing",
      "commands": [
        "node --test devops/check-agent-instructions.spec.mjs devops/check-agent-skills.spec.mjs"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-types.steps[2] (🤖 agent instructions)"
        },
        {
          "path": "package.json",
          "locator": "scripts.check:agent-instructions"
        }
      ],
      "upstream": "https://github.com/nodejs/node",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "playwright",
      "method": "testing",
      "commands": [
        "playwright test -c playwright.mcp-app.config.ts",
        "playwright test",
        "playwright test --update-snapshots",
        "playwright test -c playwright.playground.config.ts"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-mcp-app.steps[5] (🔬 run MCP App browser contract)"
        },
        {
          "path": "e2e/package.json",
          "locator": "scripts.test:mcp-app"
        },
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-e2e-tests.steps[5] (⚙️ run playwright tests)"
        },
        {
          "path": "e2e/package.json",
          "locator": "scripts.test"
        },
        {
          "path": ".github/workflows/e2e-update-screenshots.yaml",
          "locator": "jobs.update-screenshots.steps[8] (⚙️ update screenshots)"
        },
        {
          "path": "e2e/package.json",
          "locator": "scripts.test:update-screenshots"
        },
        {
          "path": "e2e/package.json",
          "locator": "scripts.test:playground"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:e2e"
        },
        {
          "path": "e2e/package.json",
          "locator": "dependencies: @playwright/test"
        },
        {
          "path": "e2e/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": [
        "vitest run --no-isolate",
        "vitest run",
        "vitest --no-isolate",
        "vitest --ui --no-isolate"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-on-macos.steps[4] (Test)"
        },
        {
          "path": "package.json",
          "locator": "scripts.ci:test"
        },
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-on-windows.steps[3] (🔬 test)"
        },
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-tests.steps[3] (🔬 test)"
        },
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-e2e-types.steps[5] (ʦ typecheck test)"
        },
        {
          "path": "e2e/package.json",
          "locator": "scripts.typecheck"
        },
        {
          "path": "package.json",
          "locator": "scripts.test"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:watch"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:e2e:typecheck"
        },
        {
          "path": "package.json",
          "locator": "scripts.vitest:ui"
        },
        {
          "path": "devops/package.json",
          "locator": "dependencies: vitest"
        },
        {
          "path": "e2e/package.json",
          "locator": "dependencies: vitest"
        }
      ],
      "upstream": "https://github.com/vitest-dev/vitest",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "dprint fmt"
      ],
      "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": [
        "node devops/check-agent-instructions.mjs"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-types.steps[2] (🤖 agent instructions)"
        },
        {
          "path": "package.json",
          "locator": "scripts.check:agent-instructions"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node devops/check-agent-skills.mjs"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-types.steps[2] (🤖 agent instructions)"
        },
        {
          "path": "package.json",
          "locator": "scripts.check:agent-instructions"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "oxlint"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.lint"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "oxlint --fix-suggestions"
      ],
      "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": [
        "oxlint --format=github --quiet"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.ci:lint"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "oxlint --quiet"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.lint:errors-only"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "turbo run lint:package --filter=!./apps/*"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-build.steps[3] (⚙️ lint:package)"
        },
        {
          "path": "package.json",
          "locator": "scripts.lint:package"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "turbo run test --affected --filter=!./apps/*"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.test:affected"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "turbo run typecheck"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.typecheck:all"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "turbo run typecheck --filter=!./apps/*"
      ],
      "triggers": [
        "pre_commit",
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yaml",
          "locator": "jobs.check-types.steps[3] (ʦ typecheck)"
        },
        {
          "path": "package.json",
          "locator": "scripts.ci:typecheck"
        },
        {
          "path": ".husky/pre-push",
          "locator": "line 1"
        },
        {
          "path": "package.json",
          "locator": "scripts.git:pre-push"
        },
        {
          "path": "package.json",
          "locator": "scripts.typecheck"
        },
        {
          "path": "package.json",
          "locator": "scripts.vscode:typecheck"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}