{
  "repository": "ghostty-org/ghostty",
  "ref": "c7f68a7f48c6a5b357689eb8c2328bc2dab5d8ed",
  "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": [
        "TESTEOF"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test.yml",
          "locator": "jobs.test-lib-vt-pkgconfig.steps[8] (Write test program)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "api repos/mbadolato/iTerm2-Color-Schemes/releases/latest)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/update-colorschemes.yml",
          "locator": "jobs.update-iterm2-schemes.steps[4] (Download colorschemes)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "security create-keychain -p $MACOS_CI_KEYCHAIN_PWD build.keychain"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release-tag.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-slow.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-fast.steps[10] (Codesign app bundle)"
        }
      ],
      "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-tag.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-slow.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-fast.steps[10] (Codesign app bundle)"
        }
      ],
      "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_CERTIFICATE_PWD -T /usr/bin/codesign"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release-tag.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-slow.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-fast.steps[10] (Codesign app bundle)"
        }
      ],
      "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 $MACOS_CI_KEYCHAIN_PWD build.keychain"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release-tag.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-slow.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-fast.steps[10] (Codesign app bundle)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "security unlock-keychain -p $MACOS_CI_KEYCHAIN_PWD build.keychain"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release-tag.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-slow.steps[10] (Codesign app bundle)"
        },
        {
          "path": ".github/workflows/release-tip.yml",
          "locator": "jobs.build-macos-debug-fast.steps[10] (Codesign app bundle)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}