{
  "repository": "ollama/ollama",
  "ref": "e9fde36d75fea66579d84099956ce1430792737a",
  "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": "golangci-lint",
      "method": "static_analysis",
      "commands": [
        "uses golangci/golangci-lint-action"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test.yaml",
          "locator": "jobs.test.steps[13]"
        },
        {
          "path": ".golangci.yaml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/golangci/golangci-lint",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "eslint",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "app/ui/app/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": true
    },
    {
      "tool": "ci-matrix",
      "method": "testing",
      "commands": [
        "test (os: 3)",
        "race (os: 2)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test.yaml",
          "locator": "jobs.test.strategy.matrix"
        },
        {
          "path": ".github/workflows/test.yaml",
          "locator": "jobs.race.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": "go-test",
      "method": "testing",
      "commands": [
        "go test -race -count=1 -timeout=10m -v ./mlxrunner/tokenizer/...",
        "go test -count=1 -v ./mlxrunner/xgrammar/...",
        "go test -count=1 -bench=. -benchtime=1x ./...",
        "go test -count=1 -tags updater_live ./app/...",
        "go test -race -count=1 ./..."
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test-tokenizer.yaml",
          "locator": "jobs.reference.steps[3] (Test published tokenizers)"
        },
        {
          "path": ".github/workflows/test-xgrammar.yaml",
          "locator": "jobs.standalone.steps[8] (go test)"
        },
        {
          "path": ".github/workflows/test.yaml",
          "locator": "jobs.test.steps[11] (go test)"
        },
        {
          "path": ".github/workflows/test.yaml",
          "locator": "jobs.test.steps[12] (go test app with live updater tag)"
        },
        {
          "path": ".github/workflows/test.yaml",
          "locator": "jobs.race.steps[6] (go test -race)"
        }
      ],
      "upstream": "https://github.com/golang/go",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "vitest",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "app/ui/app/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": "app/ui/app/.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": [
        "New-Item -ItemType Directory -Force -Path $cudnnRoot"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.windows-depends.steps[7] (Install cuDNN for MLX)"
        },
        {
          "path": ".github/workflows/test.yaml",
          "locator": "jobs.windows.steps[5] (Install cuDNN for MLX)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "format-list"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.windows-depends.steps[12] (Log build results)"
        },
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.windows-build.steps[7] (Log build results)"
        },
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.windows-app.steps[10] (Log contents after build)"
        },
        {
          "path": ".github/workflows/test-llamacpp-update.yaml",
          "locator": "jobs.windows-depends.steps[10] (Log build results)"
        },
        {
          "path": ".github/workflows/test-llamacpp-update.yaml",
          "locator": "jobs.windows-build.steps[7] (Log build results)"
        },
        {
          "path": ".github/workflows/test-llamacpp-update.yaml",
          "locator": "jobs.windows-package.steps[9] (Log contents after build)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "security create-keychain -p password build.keychain"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.darwin-build.steps[2]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "security default-keychain -s build.keychain"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.darwin-build.steps[2]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "security import certificate.p12 -k build.keychain -P $MACOS_SIGNING_KEY_PASSWORD -T /usr/bin/codesign"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.darwin-build.steps[2]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "security set-key-partition-list -S apple-tool:,apple:,codesign: -s -k password build.keychain"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.darwin-build.steps[2]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "security set-keychain-settings -lut 3600 build.keychain"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.darwin-build.steps[2]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "security unlock-keychain -p password build.keychain"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.darwin-build.steps[2]"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "tee ${RUNNER_TEMP}/tokenizer-test.log"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test-tokenizer.yaml",
          "locator": "jobs.reference.steps[3] (Test published tokenizers)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "tee ${RUNNER_TEMP}/xgrammar-test.log"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test-xgrammar.yaml",
          "locator": "jobs.standalone.steps[8] (go test)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}