{
  "repository": "warpdotdev/warp",
  "ref": "2d5398a4f10aac2efb914b71104e518e83594d16",
  "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": "cargo-check",
      "method": "static_analysis",
      "commands": [
        "cargo check --locked -p warp --lib --features agent_mode_evals"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.check-eval-compilation.steps[2] (Verify compilation with the agent_mode_evals feature)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "clippy",
      "method": "static_analysis",
      "commands": [
        "cargo clippy --locked --workspace --all-targets --tests -- -D warnings",
        "cargo clippy --locked -p warp --all-targets --tests -- -D warnings",
        "cargo clippy --locked --target wasm32-unknown-unknown --profile release-wasm-debug_assertions -- -D warnings"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.lints.steps[4] (Run cargo clippy)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.wasm-lint.steps[5] (Run cargo clippy)"
        },
        {
          "path": ".clippy.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rust-clippy",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-test",
      "method": "testing",
      "commands": [
        "cargo nextest run $EXPR --no-run --timings",
        "cargo nextest run $EXPR -E not package(integration)",
        "cargo test $EXPR --doc"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.tests.steps[12] (Compile tests)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.tests.steps[15] (Run unit tests)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.tests.steps[29] (Run doc tests)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ci-matrix",
      "method": "testing",
      "commands": [
        "tests (include: 3)",
        "lints (include: 3)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.tests.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.lints.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": "rustfmt",
      "method": "formatting",
      "commands": [
        "cargo fmt --check"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.wasm-lint.steps[4] (Check Rust formatting)"
        },
        {
          "path": ".rustfmt.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rustfmt",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": "cargo-deny",
      "method": "supply_chain",
      "commands": [
        "cargo deny -L error check licenses"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.general-lint.steps[3] (Check licenses for dependencies)"
        },
        {
          "path": "deny.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/EmbarkStudios/cargo-deny",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "Write-Output ::notice title=$EXPR Tests - Powershell Version::$env:POWERSHELL_VERSION"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.tests.steps[4] (Echo Shells (Windows))"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check Linux ARM64 $LINUX_ARM_RESULT $LINUX_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check Linux CLI x86_64 $LINUX_CLI_X86_RESULT $LINUX_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check Linux TUI $LINUX_TUI_RESULT $LINUX_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check Linux x86_64 $LINUX_X86_RESULT $LINUX_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check MacOS CLI $MACOS_CLI_RESULT $MACOS_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check MacOS Single Arch $MACOS_SINGLE_ARCH_RESULT $MACOS_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check MacOS TUI $MACOS_TUI_RESULT $MACOS_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check MacOS Universal $MACOS_UNIVERSAL_RESULT $MACOS_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check WASM $WEB_RESULT $WEB_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check Windows $WINDOWS_RESULT $WINDOWS_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check Windows CLI $WINDOWS_CLI_RESULT $WINDOWS_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "check Windows TUI $WINDOWS_TUI_RESULT $WINDOWS_DISABLED"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.collect_results.steps[0] (Determine which release jobs genuinely failed)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "for approver in ${APPROVER_ARRAY[@]}"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/check_approvals.yml",
          "locator": "jobs.check_owners.steps[3] (Check OWNERS approval)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "gpg-agent --gpgconf-test"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.release_linux_x86.steps[6] (Load PGP signing key and passphrase)"
        },
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.release_linux_cli_x86.steps[5] (Load PGP signing key and passphrase)"
        },
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.release_linux_arm.steps[8] (Load PGP signing key and passphrase)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "gpgconf --check-options gpg-agent"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.release_linux_x86.steps[6] (Load PGP signing key and passphrase)"
        },
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.release_linux_cli_x86.steps[5] (Load PGP signing key and passphrase)"
        },
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.release_linux_arm.steps[8] (Load PGP signing key and passphrase)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "read -ra APPROVER_ARRAY <<< $APPROVERS"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/check_approvals.yml",
          "locator": "jobs.check_owners.steps[3] (Check OWNERS approval)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "sentry-cli debug-files check $dsym_dwarf_path"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/create_release.yml",
          "locator": "jobs.release_macos_tui.steps[8] (Verify and upload TUI debugging symbols to Sentry)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}