{
  "tool_id": "art-289-lint-besu-settlement-contract",
  "kernel_id": "art-289-lint-besu-settlement-contract",
  "display_name": "Besu Settlement Contract Linter",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_mandate",
  "purpose": "Static conformance lint of a permissioned-EVM settlement contract (Solidity source or ABI) against six invariants: atomic PvP/DvP (paired-or-revert), no native-token/msg.value settlement dependence, a finality-hook/settlement event, a compliance-gate modifier preceding every value transfer, bounded participant-set loops, and upgradeability disclosure. Lightweight in-browser parse only, never solc, never a network call. v1 scope is source + ABI; bytecode/opcode heuristics are deferred. Not a security audit.",
  "control_description": "Static conformance lint of a permissioned-EVM settlement contract (Solidity source or ABI) against six invariants: atomic PvP/DvP (paired-or-revert), no native-token/msg.value settlement dependence, a finality-hook/settlement event, a compliance-gate modifier preceding every value transfer, bounded participant-set loops, and upgradeability disclosure. Lightweight in-browser parse only, never solc, never a network call. v1 scope is source + ABI; bytecode/opcode heuristics are deferred. Not a security audit.",
  "declared_inputs": [],
  "declared_outputs": [
    "art-292-attest-settlement-orchestrator"
  ],
  "kernel_digest": "sha256:8452fcfb980e34593a3e46cab2d75a620d9e598ea12e618b94c74b04ff1f4ce7",
  "trust_label": "deferred -- deterministic source published, zkVM proof not yet generated",
  "data_vintage": "2026-07-13",
  "last_validated": "2026-07-13",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 53,
  "source_url": "https://ainumbers.co/chaingraph/art-289-lint-besu-settlement-contract.html",
  "generated_at": "2026-07-25T20:02:55.601Z"
}