Static conformance check of a permissioned-EVM settlement contract (Solidity source or ABI) against six settlement-rail invariants: atomic PvP/DvP, no native-token dependence, a finality-hook event, a compliance-gate modifier on every value transfer, bounded participant loops, and upgradeability disclosure.
Source + ABI, v1Bytecode Heuristics DeferredNo solc, No Network
🔒 All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.
What this does NOT prove
This is a lightweight regex/structural scan, never a compile: it does not run solc, does not execute the contract, and does not query a chain. v1 scope covers source and ABI fragments only (SLI-WAVE-1 §5 G3); bytecode/opcode heuristics are a deferred wave-2 candidate. A pass here is not a security audit.
–
Overall
–
Fail / Warn
Findings
Rule
Status
Locus
Rationale
⚠ DECISION-SUPPORT DRAFT. Not a security audit. See the "What this does NOT prove" note above.