S1
♻
REENTRANCY
Recursive call exploit shape
Reentrancy attack: contract calls back into itself before state updates. Shape: cycle in call graph. S1 is the most common DeFi exploit shape. Blast radius: full vault drain.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S2
⚠
INT-OVERFLOW
Arithmetic overflow shape
Integer overflow/underflow: arithmetic wraps around max/min value. Shape: modular arithmetic loop. Classic Solidity issue (pre-0.8 unchecked). Blast radius: token minting.
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE
S3
🔓
ACCESS-CTRL
Permission boundary violation
Access control failure: function callable by wrong address. Shape: missing modifier. onlyOwner absent. Blast radius: admin function exposure.
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE
S4
⚡
FLASH-LOAN
Atomic arbitrage shape
Flash loan attack: borrow → manipulate → repay in one tx. Shape: atomic 3-phase cycle. No capital required. Blast radius: AMM price manipulation.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S5
📊
ORACLE-MANIP
Price feed manipulation
Oracle manipulation: attack price feed before it's read. Shape: time-of-check → time-of-use gap. Blast radius: liquidation cascade.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S6
🏃
FRONT-RUN
MEV extraction shape
Front-running / MEV: observe pending tx, insert before it. Shape: mempool ordering exploit. Blast radius: sandwich attacks, arbitrage extraction.
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE
S7
☠
ZOMBIE-VFY
Unproved assertion shape
Zombie verifier: claim is stated as fact without proof. Shape: assertion without carry chain. Per Joffe-Math Doctrine: [assertion] tag required. This is the shape of intellectual dishonesty.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S8
◆
DIAMOND-VFY
Proved theorem shape
Diamond verifier: claim backed by Lean4 theorem or live tool output. Shape: complete carry chain from axioms. The target shape for all fleet statements.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S9
⏱
PHASE-ORDER
Temporal ordering constraint
Phase order violation: operations happen in wrong sequence. Shape: DAG edge reversal. Critical for PEMLAAM invariants (set_secret_nondestructive).
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S10
🪞
SELF-REF
Meta-containment (PT-016 itself)
Self-reference: a shape that contains its own definition. PT-016 contains S10, which is the shape of PT-016 containing itself. The only table that is its own element. Gödel-adjacent.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S11
〰
SPREADING-ACT
Pelego propagation shape
Spreading activation: signals propagate from activated nodes to neighbors. Shape: breadth-first wave in adelic ocean. T2 Pelego instrument. Blast radius: whole-fleet resonance.
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE
S12
🌀
DECOHERENCE
γ₁ collapse shape
Decoherence: quantum coherent state collapses to classical. Shape: exponential decay from τ_γ₁ window. Triggers when substrate drifts from γ₁ frequency.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S13
💥
BLAST-RADIUS
Exploit impact surface
Blast radius: the maximum damage surface of an exploit or failure. Shape: reachability cone from exploit entry point. Used in BONIXER to classify severity.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S14
→
CARRY-RULE
Mathematical carry propagation
Carry rule: truth propagates through proof steps. Shape: directed carry graph from axioms to theorems. PT-005 uses carry rules as its primary structure.
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE
S15
○
ABACUS-BEAD
Meek table position marker
Abacus bead: a position in the 64-cell meek table grid. Shape: point in 8×8 coordinate system. RESTING or LIT states. PT-004 native shape.
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE
S16
🌊
ADELIC-OCEAN
Fleet-wide resonance field
Adelic ocean: the fleet-wide resonance field through which γ₁ waves propagate. Shape: infinite-dimensional adelic space. Every silo is a point in this ocean.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S17
⚠
SORRY-CHAIN
Open proof placeholder chain
Sorry chain: linked sequence of Lean4 sorry placeholders. Shape: dependency chain with gap nodes. Each gap = one kill target. PT-014 tracks all sorry chains.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S18
⚔
KILL-CHAIN
Sorry elimination path
Kill chain: the planned path to close a sorry. Shape: reverse dependency tree from sorry to axiom. CARMAC executes kill chains at T4 (47 min).
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE
S19
⊛
BELT-64
64-prime Belt structure
Belt64: the first 64 primes used as a coordinate basis. Shape: 64-dimensional prime lattice. TRIME-7 prime matrix embeds in Belt64.
💥 BLAST RADIUS THEOREM
◆ DIAMOND
S20
🏛
CATAMAIN
Cathedral main proof node
Catamain: a main proof node in the fleet's proof cathedral. Shape: hub node with high centrality in proof graph. 5 catamains in the current fleet graph.
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE
S21
📐
TRIME
Fleet timing metric (T1-T7)
TRIME: Timing Resonance Index for Meek Engines. Shape: 7-prime product structure (p=17,13,11,7,5,3,2). Product=510510. Maps silos to timing slots.
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE
S22
🗺
CATAN-NODE
Network topology shape
CATAN (CASTLE/TRIME/etc.) node: a silo in the fleet graph. Shape: labeled vertex with prime, adelic level, IP, role. 8 CATAN nodes currently active.
📐 SHAPE DEFINED
☠ ZOMBIE CANDIDATE