---
title: "Besu Settlement Contract Linter"
method: POST
path: "/v1/tools/lint_besu_settlement_contract"
tags: ["TODO_TAGS_REVIEW", "TODO_AP2_EXPORT_REVIEW"]
---

# Besu Settlement Contract Linter

`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

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

## Request body

- object
  - `artifact_kind` unknown, required
  - `ruleset_profile` unknown, required
  - `source` unknown, required

## Response `200`

Successful tool execution result

- object
  - `artifact_kind` string
  - `fail_count` integer
  - `findings` object[]
    - `locus` string
    - `rationale` string
    - `rule_id` string
    - `severity` string
  - `invariants_pass` object
    - `R1` boolean
    - `R2` boolean
    - `R3` boolean
    - `R4` boolean
    - `R5` boolean
    - `R6` boolean
  - `overall` string
  - `ruleset_profile` string
  - `warn_count` integer

---

[API](https://skmtc.dev/ainumbers/apis/ainumbers-co-fintech-intelligence-suite.md) · [All operations](https://skmtc.dev/ainumbers/apis/ainumbers-co-fintech-intelligence-suite/llms.txt) · [OpenAPI document](https://skmtc.dev/ainumbers/apis/ainumbers-co-fintech-intelligence-suite/revisions/b462e4f5bb28?raw)