{
  "repository": "Kong/kong",
  "ref": "21032122ab80c973f368f6bc539f53985e7164e8",
  "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": null,
      "method": "unclassified",
      "commands": [
        "ast-grep scan --format github"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ast-grep.yml",
          "locator": "jobs.lint.steps[4] (ast-grep scan)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "ast-grep test"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ast-grep.yml",
          "locator": "jobs.lint.steps[3] (ast-grep test)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bash ./scripts/upgrade-tests/test-upgrade-path.sh -i $EXPR/kong-dev-venv.sh"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/upgrade-tests.yml",
          "locator": "jobs.upgrade-test.steps[2] (Run Upgrade Tests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "else echo all required tools satisfied"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "changelog/Makefile",
          "locator": "target check_version (line 30)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "fail $test --title Rule test file/.id mismatch Rule test file .id (%s) does not match rule .id (%s) $test_id $id"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ast-grep.yml",
          "locator": "jobs.lint.steps[1] (ensure all rules are properly formed and have tests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "fail $test --title Rule tests insufficient Rule test file must contain at least one valid and one invalid test case"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ast-grep.yml",
          "locator": "jobs.lint.steps[1] (ensure all rules are properly formed and have tests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "false"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "changelog/Makefile",
          "locator": "target check_version (line 30)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "luacov -c t/phase_checks.luacov"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "Makefile",
          "locator": "target pdk-phase-checks (line 151)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "prove -I. -r t"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build_and_test.yml",
          "locator": "jobs.pdk-tests.steps[5] (Tests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "prove -I. t/01*/*/00-phase*.t"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "Makefile",
          "locator": "target pdk-phase-checks (line 151)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "pushd ./spec"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build_and_test.yml",
          "locator": "jobs.lint-and-doc-tests.steps[3] (Check test-helpers doc generation)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "readonly CHECKSUM=7fd693b013447582d8befa1695f00d17301c2cff1763cfb0b52191096309dbef"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ast-grep.yml",
          "locator": "jobs.lint.steps[2] (install ast-grep)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "sha256sum --check --strict <<< ${CHECKSUM} ${FILENAME}"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ast-grep.yml",
          "locator": "jobs.lint.steps[2] (install ast-grep)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "tail -F servroot/logs/error.log"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "Makefile",
          "locator": "target test-logs (line 148)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "tee -a /etc/security/limits.d/kong-ci.conf"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build_and_test.yml",
          "locator": "jobs.lint-and-doc-tests.steps[0] (Bump max open files)"
        },
        {
          "path": ".github/workflows/build_and_test.yml",
          "locator": "jobs.busted-tests.steps[0] (Bump max open files)"
        },
        {
          "path": ".github/workflows/build_and_test.yml",
          "locator": "jobs.pdk-tests.steps[0] (Bump max open files)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}