THE CRUCIBLE
six chambers of descending scrutiny · each layer its own sigil
TARGET CONTRACT
I
LAYER I · STATIC
Slither · Aderyn · Mythril · pattern grep
DEFINE
II
LAYER II · SEMANTIC
LLM intent-vs-impl diff
DEFINE
III
LAYER III · COMPOSABILITY
Cross-contract reachable state
MEASURE
IV
LAYER IV · INVARIANT + FUZZ
Foundry invariants · Echidna
MEASURE
V
LAYER V · ECONOMIC
Attack cost · griefing · MEV
ANALYZE
VI
11/16
LAYER VI · RED TEAM · BFT
Construct panel · 11-of-16 HotStuff quorum
IMPROVE
S
A
T
O
R
A
R
E
P
O
T
E
N
E
T
O
P
E
R
A
R
O
T
A
S
FINDING SHIPS
SHA-256 stamped · git-anchored · DMAIC CONTROL
NODE
M