TODO_TAGS_REVIEW
TODO_AP2_EXPORT_REVIEW

Besu Settlement Contract Linter

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.

Tool URL: https://ainumbers.co/chaingraph/art-289-lint-besu-settlement-contract.html

post/v1/tools/lint_besu_settlement_contract

Request

  • Base URL: https://ainumbers.co
  • URL: https://ainumbers.co/v1/tools/lint_besu_settlement_contract
  • Auth: none declared

Request body

artifact_kindunknown required
ruleset_profileunknown required
sourceunknown required

Response

Successful tool execution result

artifact_kindstring
fail_countinteger
overallstring
ruleset_profilestring
warn_countinteger

Changes

No recorded changes to this operation across all 1 revision of this API.