{
  "repository": "honojs/hono",
  "ref": "98b35afc0e8d70dc07bf59c3b796c9cbfdd4c7a7",
  "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": "tsc",
      "method": "static_analysis",
      "commands": [
        "tsc -p tsconfig.spec.json"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci-adapters.yml",
          "locator": "jobs.adapters.steps[9]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:adapters"
        },
        {
          "path": "package.json",
          "locator": "scripts.test"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.main.steps[8]"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.bun.steps[4]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:bun"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.bun-windows.steps[4]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:all"
        },
        {
          "path": "package.json",
          "locator": "devDependencies: typescript"
        }
      ],
      "upstream": "https://github.com/microsoft/TypeScript",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "vitest",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "package.json",
          "locator": "devDependencies: vitest"
        },
        {
          "path": "runtime-tests/fastly/vitest.config.ts",
          "locator": "config file"
        },
        {
          "path": "runtime-tests/node/vitest.config.ts",
          "locator": "config file"
        },
        {
          "path": "runtime-tests/workerd/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": null,
      "method": "unclassified",
      "commands": [
        "deno coverage --lcov > coverage/deno-runtime-coverage-lcov.info"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.deno.steps[6]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "deno test --allow-read --allow-env --allow-write --allow-net -c runtime-tests/deno/deno.json runtime-tests/deno"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci-adapters.yml",
          "locator": "jobs.adapters.steps[11]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:deno"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:all"
        },
        {
          "path": "package.json",
          "locator": "scripts.prerelease"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "deno test --coverage=coverage/raw/deno-runtime --allow-read --allow-env --allow-write --allow-net -c runtime-tests/deno/deno.json runtime-tests/deno"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.deno.steps[2]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "deno test --no-lock -c runtime-tests/deno-jsx/deno.precompile.json runtime-tests/deno-jsx"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci-adapters.yml",
          "locator": "jobs.adapters.steps[11]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:deno"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:all"
        },
        {
          "path": "package.json",
          "locator": "scripts.prerelease"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "deno test --no-lock -c runtime-tests/deno-jsx/deno.react-jsx.json runtime-tests/deno-jsx"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci-adapters.yml",
          "locator": "jobs.adapters.steps[11]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:deno"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:all"
        },
        {
          "path": "package.json",
          "locator": "scripts.prerelease"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "deno test -c runtime-tests/deno-jsx/deno.precompile.json --coverage=coverage/raw/deno-precompile-jsx runtime-tests/deno-jsx"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.deno.steps[3]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "deno test -c runtime-tests/deno-jsx/deno.react-jsx.json --coverage=coverage/raw/deno-react-jsx runtime-tests/deno-jsx"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.deno.steps[4]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "editorconfig-checker"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.main.steps[6]"
        },
        {
          "path": "package.json",
          "locator": "scripts.editorconfig-checker"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "publint"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci-adapters.yml",
          "locator": "jobs.adapters.steps[7]"
        },
        {
          "path": "package.json",
          "locator": "scripts.build"
        },
        {
          "path": ".github/workflows/ci-adapters.yml",
          "locator": "jobs.adapters.steps[8]"
        },
        {
          "path": "package.json",
          "locator": "scripts.build:adapters"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.main.steps[7]"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.fastly.steps[4]"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.node.steps[5]"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.workerd.steps[5]"
        },
        {
          "path": ".github/workflows/cr.yml",
          "locator": "jobs.publish.steps[5] (Build)"
        },
        {
          "path": ".github/workflows/release.yml",
          "locator": "jobs.npm.steps[6]"
        },
        {
          "path": ".github/workflows/release.yml",
          "locator": "jobs.adapter.steps[7]"
        },
        {
          "path": "package.json",
          "locator": "scripts.prerelease"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp check"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.main.steps[5]"
        },
        {
          "path": "package.json",
          "locator": "scripts.check"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp check --fix"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/autofix.yml",
          "locator": "jobs.autofix.steps[4]"
        },
        {
          "path": "package.json",
          "locator": "scripts.check:fix"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp fmt --check src/**/*.{js,ts,tsx} runtime-tests/**/*.{js,ts,tsx} build/**/*.{js,ts,tsx} perf-measures/**/*.{js,ts,tsx} benchmarks/**/*.{js,ts,tsx} adapters/**/*.{js,ts,tsx}"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci-adapters.yml",
          "locator": "jobs.adapters.steps[5]"
        },
        {
          "path": "package.json",
          "locator": "scripts.format"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp fmt src/**/*.{js,ts,tsx} runtime-tests/**/*.{js,ts,tsx} build/**/*.{js,ts,tsx} perf-measures/**/*.{js,ts,tsx} benchmarks/**/*.{js,ts,tsx} adapters/**/*.{js,ts,tsx}"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.format:fix"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp lint --fix src runtime-tests build perf-measures benchmarks adapters"
      ],
      "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": [
        "vp lint src runtime-tests build perf-measures benchmarks adapters"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci-adapters.yml",
          "locator": "jobs.adapters.steps[6]"
        },
        {
          "path": "package.json",
          "locator": "scripts.lint"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp test --run"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci-adapters.yml",
          "locator": "jobs.adapters.steps[9]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:adapters"
        },
        {
          "path": "package.json",
          "locator": "scripts.test"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.main.steps[8]"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.bun.steps[4]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:bun"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.bun-windows.steps[4]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:all"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp test --run --coverage"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.coverage"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp test --run --project fastly"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.fastly.steps[5]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:fastly"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp test --run --project node"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.node.steps[6]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:node"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp test --run --project workerd"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.workerd.steps[6]"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:workerd"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "vp test --watch"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.test:watch"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}