{
  "repository": "LMCache/LMCache",
  "ref": "4f5c6cc5187f5a25c4ef2a2fd06814b8973d4661",
  "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": "clippy",
      "method": "static_analysis",
      "commands": [
        "cargo clippy -- -D warnings'"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.rust-clippy"
        }
      ],
      "upstream": "https://github.com/rust-lang/rust-clippy",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "codeql",
      "method": "static_analysis",
      "commands": [
        "uses github/codeql-action/analyze"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/codeql.yml",
          "locator": "jobs.analyze.steps[4] (Perform CodeQL Analysis)"
        }
      ],
      "upstream": "https://github.com/github/codeql",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "mypy",
      "method": "static_analysis",
      "commands": [
        "pre-commit hook mypy"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.mypy"
        },
        {
          "path": "pyproject.toml",
          "locator": "[tool.mypy]"
        }
      ],
      "upstream": "https://github.com/python/mypy",
      "docs": "https://mypy.readthedocs.io/en/stable/command_line.html",
      "exit_codes": {
        "0": "no type errors",
        "1": "type errors found",
        "2": "crash or invalid invocation"
      },
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ruff-check",
      "method": "static_analysis",
      "commands": [
        "pre-commit hook ruff"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.ruff"
        },
        {
          "path": "pyproject.toml",
          "locator": "[tool.ruff]"
        }
      ],
      "upstream": "https://github.com/astral-sh/ruff",
      "docs": "https://docs.astral.sh/ruff/linter/#exit-codes",
      "exit_codes": {
        "0": "no violations",
        "1": "violations found",
        "2": "invalid configuration, CLI options or internal error"
      },
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": "sphinx",
      "method": "static_analysis",
      "commands": [
        "sphinx-build -b gettext docs/source docs/build/gettext",
        "sphinx-build -b html docs/source docs/build/html/zh_CN"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/translate_doc_zh.yml",
          "locator": "jobs.translate-docs.steps[5] (Update gettext catalogs)"
        },
        {
          "path": ".github/workflows/translate_doc_zh.yml",
          "locator": "jobs.translate-docs.steps[8] (Validate Chinese docs build)"
        }
      ],
      "upstream": "https://github.com/sphinx-doc/sphinx",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "golangci-lint",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "operator/.golangci.yml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/golangci/golangci-lint",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "cargo-test",
      "method": "testing",
      "commands": [
        "cargo test --manifest-path rust/raw_block/Cargo.toml --no-default-features"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test.yml",
          "locator": "jobs.rust-unit-tests.steps[4] (Run Rust unit tests)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ci-matrix",
      "method": "testing",
      "commands": [
        "analyze (include: 2)",
        "test (python: 5, platform: 1)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/codeql.yml",
          "locator": "jobs.analyze.strategy.matrix"
        },
        {
          "path": ".github/workflows/test.yml",
          "locator": "jobs.test.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": "pytest",
      "method": "testing",
      "commands": [
        "pytest tests/v1/distributed/test_aerospike_l2_integration.py -v --tb=short",
        "pytest -v --tb=short tests/inprocess/v1/storage_backend/test_azure_connector_azurite.py",
        "pytest -m not (cuda or musa or xpu or npu or neuron or rbln)",
        "pytest -q --basetemp=.pytest-tmp/raw-block tests/v1/distributed/raw_block/test_device.py tests/v1/distributed/raw_block/test_core.py tests/v1/multiprocess/test_raw_block_l2_adapter.py",
        "pytest -q tests/v1/multiprocess/test_grpc_native_server.py tests/v1/multiprocess/test_grpc_transport.py tests/v1/multiprocess/test_grpc_real_server.py tests/v1/multiprocess/test_worker_liveness.py"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/aerospike_integration.yml",
          "locator": "jobs.aerospike-native-l2.steps[5] (Integration tests)"
        },
        {
          "path": ".github/workflows/azure_integration.yml",
          "locator": "jobs.azure-blob-azurite.steps[6] (Run Azure connector integration test)"
        },
        {
          "path": ".github/workflows/test.yml",
          "locator": "jobs.test.steps[6] (CPU only unit tests)"
        },
        {
          "path": ".github/workflows/test.yml",
          "locator": "jobs.raw-block-tests.steps[6] (Run raw-block tests)"
        },
        {
          "path": ".github/workflows/test.yml",
          "locator": "jobs.grpc-native-tests.steps[4] (Run native, shared transport, real server and liveness tests)"
        },
        {
          "path": "pytest.ini",
          "locator": "config file"
        },
        {
          "path": "tests/inprocess/v1/cache_controller/pytest.ini",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/pytest-dev/pytest",
      "docs": "https://docs.pytest.org/en/stable/reference/exit-codes.html",
      "exit_codes": {
        "0": "all tests passed",
        "1": "some tests failed",
        "2": "interrupted by the user",
        "3": "internal error",
        "4": "command line usage error",
        "5": "no tests were collected"
      },
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "codespell",
      "method": "formatting",
      "commands": [
        "pre-commit hook codespell"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.codespell"
        },
        {
          "path": "pyproject.toml",
          "locator": "[tool.codespell]"
        }
      ],
      "upstream": "https://github.com/codespell-project/codespell",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "isort",
      "method": "formatting",
      "commands": [
        "pre-commit hook isort"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.isort"
        }
      ],
      "upstream": "https://github.com/PyCQA/isort",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": "ruff-format",
      "method": "formatting",
      "commands": [
        "pre-commit hook ruff-format"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.ruff-format"
        }
      ],
      "upstream": "https://github.com/astral-sh/ruff",
      "docs": "https://docs.astral.sh/ruff/formatter/#exit-codes",
      "exit_codes": {
        "0": "already formatted",
        "1": "files would be reformatted (--check)",
        "2": "error"
      },
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": "rustfmt",
      "method": "formatting",
      "commands": [
        "cargo fmt --check'"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.rust-fmt"
        }
      ],
      "upstream": "https://github.com/rust-lang/rustfmt",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "Built and smoke-tested in the validated TorchMUSA/MUSA SDK image. TorchMUSA, musa_aiter, and the MUSA userspace runtime stay in the host image and are not installed from PyPI."
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/publish.yml",
          "locator": "jobs.publish-musa-github-release.steps[2] (Publish MUSA wheel to dedicated GitHub Release)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "assert lmcache.device_ops.device_type == cpu"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build_cpu_artifacts.yml",
          "locator": "jobs.build-cpu-artifacts.steps[6] (Smoke-test CPU wheel)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "assert lmcache.torch_device_type == cpu, lmcache.torch_device_type"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build_cpu_artifacts.yml",
          "locator": "jobs.build-cpu-artifacts.steps[6] (Smoke-test CPU wheel)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bash -c 'cd rust/raw_block"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.rust-fmt"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bash .github/scripts/cpu_device_test.sh server_bench"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/cpu_device.yml",
          "locator": "jobs.cpu-device-test.steps[10] (Server bench — LMCache-driven)"
        },
        {
          "path": ".github/workflows/cpu_device.yml",
          "locator": "jobs.cpu-device-test.steps[11] (Server bench — Engine-driven)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bash .github/scripts/cpu_device_test.sh vllm_e2e"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/cpu_device.yml",
          "locator": "jobs.cpu-device-test.steps[13] (vLLM e2e — Engine-driven (inline))"
        },
        {
          "path": ".github/workflows/cpu_device.yml",
          "locator": "jobs.cpu-device-test.steps[14] (vLLM e2e — Engine-driven (shm))"
        },
        {
          "path": ".github/workflows/cpu_device.yml",
          "locator": "jobs.cpu-device-test.steps[15] (vLLM e2e — LMCache-driven)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bash .github/scripts/nightly-aggregate-vllm-verify.sh"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/nightly_build.yml",
          "locator": "jobs.nightly-pin-or-report-vllm.steps[4] (Aggregate and pin / report)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bash .github/scripts/pin-tested-vllm.sh"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/nightly_build.yml",
          "locator": "jobs.verify-and-pin-xpu-ci.steps[2] (Promote verified XPU CI image pin)"
        },
        {
          "path": ".github/workflows/nightly_build.yml",
          "locator": "jobs.pin-nightly-xpu-base.steps[1] (Promote XPU base image pin)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "buildx imagetools inspect \"${CANDIDATE_TAG}\" --format '{{json .Manifest.Digest}}'"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/nightly_build.yml",
          "locator": "jobs.build-xpu-ci-candidate.steps[4] (Build and push candidate for hardware tests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "buildx imagetools inspect \"${IMAGE}:${TAG}\" --format '{{json .Manifest.Digest}}'"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/publish.yml",
          "locator": "jobs.resolve-xpu-release-runtime.steps[0] (Resolve immutable XPU runtime image)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "buildx imagetools inspect \"${IMAGE}:nightly\" --format '{{json .Manifest.Digest}}'"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/nightly_build.yml",
          "locator": "jobs.resolve-xpu-nightly.steps[0] (Resolve immutable XPU runtime image)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "pre-commit hook clang-format"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.clang-format"
        }
      ],
      "upstream": "https://github.com/pre-commit/mirrors-clang-format",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "python .buildkite/k3_tests/xpu/verify-xpu-ci-image.py"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/nightly_build.yml",
          "locator": "jobs.verify-and-pin-xpu-ci.steps[1] (Run both Buildkite XPU pipelines)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "python .github/scripts/nightly-collect-verify-result.py"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/cpu_device.yml",
          "locator": "jobs.cpu-device-test.steps[17] (Collect verify result)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "python tests/native/storage_backends/hf3fs/run_tests.py"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test.yml",
          "locator": "jobs.hf3fs-native-tests.steps[3] (Run HF3FS connector tests against the SDK double)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "python tools/check_direct_torch_device.py"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.ban-direct-torch-device"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "python tools/check_spdx_header.py"
      ],
      "triggers": [
        "pre_commit",
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/code_quality_checks.yml",
          "locator": "jobs.pre-commit.steps[4] (Run code quality checks - lint, format, spell, & static checks)"
        },
        {
          "path": ".pre-commit-config.yaml",
          "locator": "hooks.check-spdx-header"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "python tools/translate_docs_zh.py"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/translate_doc_zh.yml",
          "locator": "jobs.translate-docs.steps[7] (Translate missing Chinese entries)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "sphinx-multiversion docs/source output"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build_doc.yml",
          "locator": "jobs.build-docs.steps[4] (Build Versioned Sphinx Documentation)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "sphinx-multiversion docs/source output-zh"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build_doc.yml",
          "locator": "jobs.build-docs.steps[4] (Build Versioned Sphinx Documentation)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}