{
  "repository": "opentofu/opentofu",
  "ref": "c570669d0fed5787f18d2f017f56b2658e2e6cce",
  "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": "eslint",
      "method": "static_analysis",
      "commands": [
        "eslint . --ext mdx"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "website/package.json",
          "locator": "scripts.lint"
        },
        {
          "path": "website/package.json",
          "locator": "devDependencies: eslint"
        },
        {
          "path": "website/.eslintrc.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": false
    },
    {
      "tool": "golangci-lint",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": ".golangci.yml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/golangci/golangci-lint",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "ci-matrix",
      "method": "testing",
      "commands": [
        "e2e-tests (include: 5)",
        "unit-tests (include: 5)",
        "exp-eng-tests (include: 1)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.e2e-tests.strategy.matrix"
        },
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.unit-tests.strategy.matrix"
        },
        {
          "path": ".github/workflows/experimental-engine.yml",
          "locator": "jobs.exp-eng-tests.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 -v ./internal/command/e2etest",
        "go test ./...",
        "go test -race ./internal/tofu ./internal/command ./internal/states ./internal/providercache ./internal/addrs ./internal/tfdiags",
        "go test -v ./internal/command/e2etest ./internal/initwd ./internal/registry",
        "go test -v -ldflags -X main.experimentsAllowed=yes ./internal/tofu"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.e2e-tests.steps[2] (End-to-end tests)"
        },
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.unit-tests.steps[2] (Unit tests)"
        },
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.race-tests.steps[2] (Race detector)"
        },
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.e2e-tests.steps[2] (End-to-end tests)"
        },
        {
          "path": ".github/workflows/experimental-engine.yml",
          "locator": "jobs.exp-eng-tests.steps[3] (Unit tests)"
        },
        {
          "path": "Makefile",
          "locator": "target test-with-coverage (line 14)"
        },
        {
          "path": "Makefile",
          "locator": "target test (line 20)"
        },
        {
          "path": "Makefile",
          "locator": "target test-experimental (line 38)"
        },
        {
          "path": "Makefile",
          "locator": "target test-s3 (line 120)"
        },
        {
          "path": "Makefile",
          "locator": "target test-gcp (line 138)"
        },
        {
          "path": "Makefile",
          "locator": "target test-pg (line 155)"
        },
        {
          "path": "Makefile",
          "locator": "target test-kubernetes (line 207)"
        }
      ],
      "upstream": "https://github.com/golang/go",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "govulncheck",
      "method": "supply_chain",
      "commands": [
        "govulncheck -format json ./cmd/tofu"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/govulncheck.yml",
          "locator": "jobs.govulncheck.steps[3] (Run and report govulncheck findings)"
        }
      ],
      "upstream": "https://github.com/golang/vuln",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "do echo Database is getting ready, waiting"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "Makefile",
          "locator": "target test-pg (line 155)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "go mod vendor"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.license-checks.steps[4] (Run licensei)"
        },
        {
          "path": "Makefile",
          "locator": "target license-check (line 69)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "go tool cover -html=coverage.out -o coverage.html"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "Makefile",
          "locator": "target test-with-coverage (line 14)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "licensei cache --debug"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.license-checks.steps[4] (Run licensei)"
        },
        {
          "path": "Makefile",
          "locator": "target license-check (line 69)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "licensei check --debug"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.license-checks.steps[4] (Run licensei)"
        },
        {
          "path": "Makefile",
          "locator": "target license-check (line 69)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "licensei header --debug"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.license-checks.steps[4] (Run licensei)"
        },
        {
          "path": "Makefile",
          "locator": "target license-check (line 69)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "show --no-patch --format=%cd --date=format:%Y%m%d%H%M%S ${GITHUB_SHA}`"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/nightly.yml",
          "locator": "jobs.nightly.steps[2] (Prepare version file)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}