A
THE COLOPHON
the closing page · the methodology summarised · the commitment stated
uditus per sex strata
— a hearing through six strata. The contract arrives at the gate, enters the nave, descends the crucible, and — if it survives — emerges stamped. Nothing ships without ceremony. Everything ships with receipts.
THE NAVE
src/auditor.py
ABBAAuditEngine
Slither · Aderyn · Mythril
LLM semantic diff
cross-contract analysis
foundry invariant generation
Layers I–IV
THE CROSSING
src/pipeline.py
DMAIC state machine
SEED · NAVIGATE · HOLD
EXECUTE · LOG
11-of-16 BFT quorum
Construct red-team panel
Layers V–VI
THE ALTAR
src/bounty_verifier.py
BVP 7 gates
prior-audit · runtime anchor
economic model · red team
pre-mortem · TL;DR
SATOR ceremony
ceremony
DEFINE
MEASURE
ANALYZE
IMPROVE
CONTROL
WHAT WE PROMISE
· no finding ships without BVP's seven gates
· Construct red-team votes before submission
· severity is classified honestly, never inflated
· reproducibility: commit + forge test + PoC
· the prior-art search is run before we file
WHAT WE DO NOT PROMISE
· that this pipeline replaces a veteran Solidity auditor
· that every class of bug is in scope (ZK, MPC, novel curves — specialists)
· that incremental forge test becomes obsolete
◆ EXPLICIT ◆
src/auditor.py · src/pipeline.py · src/bounty_verifier.py · src/construct.py
matrix cr studio · build 63 · 2026-03-27 · LoneRam @ code4rena
NODE
M