{
  "repository": "unionlabs/union",
  "ref": "031785bb6dc6b957c624e62bc64c184409c97d7b",
  "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 ."
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "app2/package.json",
          "locator": "scripts.lint"
        },
        {
          "path": "app2/package.json",
          "locator": "devDependencies: eslint"
        },
        {
          "path": "app2/eslint.config.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": "tsc",
      "method": "static_analysis",
      "commands": [
        "tsc --project tsconfig.json --noEmit",
        "tsc -b tsconfig.build.json",
        "tsc -b tsconfig.json",
        "tsc -p tsconfig.examples.json",
        "tsc --noEmit"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "docs/package.json",
          "locator": "scripts.typecheck"
        },
        {
          "path": "sentinel2/package.json",
          "locator": "scripts.build"
        },
        {
          "path": "site/package.json",
          "locator": "scripts.typecheck"
        },
        {
          "path": "ts-sdk-cosmos/package.json",
          "locator": "scripts.build"
        },
        {
          "path": "ts-sdk-cosmos/package.json",
          "locator": "scripts.build-esm"
        },
        {
          "path": "ts-sdk-cosmos/package.json",
          "locator": "scripts.check"
        },
        {
          "path": "ts-sdk-cosmos/package.json",
          "locator": "scripts.check:examples"
        },
        {
          "path": "ts-sdk-evm/package.json",
          "locator": "scripts.build"
        },
        {
          "path": "ts-sdk-evm/package.json",
          "locator": "scripts.build-esm"
        },
        {
          "path": "ts-sdk-evm/package.json",
          "locator": "scripts.check"
        },
        {
          "path": "ts-sdk-evm/package.json",
          "locator": "scripts.check:examples"
        },
        {
          "path": "ts-sdk-sui/package.json",
          "locator": "scripts.build"
        }
      ],
      "upstream": "https://github.com/microsoft/TypeScript",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "biome",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "biome.json",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/biomejs/biome",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": true
    },
    {
      "tool": "clippy",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "clippy.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rust-clippy",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "vitest",
      "method": "testing",
      "commands": [
        "vitest",
        "vitest --run",
        "vitest run",
        "vitest --typecheck.only"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "app2/package.json",
          "locator": "scripts.test:watch"
        },
        {
          "path": "app2/package.json",
          "locator": "scripts.test"
        },
        {
          "path": "effect-svelte/package.json",
          "locator": "scripts.test"
        },
        {
          "path": "sentinel2/package.json",
          "locator": "scripts.test"
        },
        {
          "path": "sentinel2/package.json",
          "locator": "scripts.test-watch"
        },
        {
          "path": "ts-sdk-cosmos/package.json",
          "locator": "scripts.test"
        },
        {
          "path": "ts-sdk-cosmos/package.json",
          "locator": "scripts.test:watch"
        },
        {
          "path": "ts-sdk-evm/package.json",
          "locator": "scripts.test"
        },
        {
          "path": "ts-sdk-evm/package.json",
          "locator": "scripts.test:watch"
        },
        {
          "path": "ts-sdk-sui/package.json",
          "locator": "scripts.test"
        },
        {
          "path": "ts-sdk-sui/package.json",
          "locator": "scripts.test:watch"
        },
        {
          "path": "ts-sdk/package.json",
          "locator": "scripts.test"
        }
      ],
      "upstream": "https://github.com/vitest-dev/vitest",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "prettier",
      "method": "formatting",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "site/package.json",
          "locator": "devDependencies: prettier"
        }
      ],
      "upstream": "https://github.com/prettier/prettier",
      "docs": "https://prettier.io/docs/cli#exit-codes",
      "exit_codes": {
        "0": "everything formatted",
        "1": "something was not formatted (--check)",
        "2": "prettier error"
      },
      "autofix": true,
      "declared_only": true
    },
    {
      "tool": "rustfmt",
      "method": "formatting",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "rustfmt.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rustfmt",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": true
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "astro check"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "docs/package.json",
          "locator": "scripts.check"
        },
        {
          "path": "site/package.json",
          "locator": "scripts.check"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "dpdm -T src"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "ts-sdk-cosmos/package.json",
          "locator": "scripts.check:circular"
        },
        {
          "path": "ts-sdk-evm/package.json",
          "locator": "scripts.check:circular"
        },
        {
          "path": "ts-sdk-sui/package.json",
          "locator": "scripts.check:circular"
        },
        {
          "path": "ts-sdk/package.json",
          "locator": "scripts.check:circular"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "images --format {{.ID}}:{{.Tag}}"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release-component.yml",
          "locator": "jobs.release-images.steps[3] (Tag Docker Images)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node scripts/docs.mjs"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.docgen"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "publint"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "effect-svelte/package.json",
          "locator": "scripts.build"
        },
        {
          "path": "effect-svelte/package.json",
          "locator": "scripts.prepack"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "publint --strict"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "typescript-sdk/package.json",
          "locator": "scripts.check-package"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "supabase gen types --lang=typescript --project-id=uorqzpuryrgfnecadajo > ./src/lib/dashboard/database.types.ts"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "app2/package.json",
          "locator": "scripts.supabase:generate"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "svelte-check --tsconfig ./tsconfig.json"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "app2/package.json",
          "locator": "scripts.check"
        },
        {
          "path": "ceremony/package.json",
          "locator": "scripts.check"
        },
        {
          "path": "effect-svelte/package.json",
          "locator": "scripts.check"
        },
        {
          "path": "zkgm-dev/package.json",
          "locator": "scripts.check"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "svelte-check --tsconfig ./tsconfig.json --watch"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "app2/package.json",
          "locator": "scripts.check:watch"
        },
        {
          "path": "ceremony/package.json",
          "locator": "scripts.check:watch"
        },
        {
          "path": "effect-svelte/package.json",
          "locator": "scripts.check:watch"
        },
        {
          "path": "zkgm-dev/package.json",
          "locator": "scripts.check:watch"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}