§1 THE INSIGHT · SUBSTRATE INDEPENDENCE
H-001 · PUMP DRIVER ZOMBIE FLOOR
0.05U insulin → 0.00U at pump driver
Rounding kills the dose before actuation
ZOMBIE FLOOR
L0
WLS 91
H-005 · TRAINING-MODE INFERENCE WOUND
model.eval() called but training=True
persists inside closed-loop inference path
INFERENCE-MODE WOUND
L3
WLS 61
H-003 · CT ANNOTATION GHOST
Non-contrast CT labeled as enhanced
Protocol learns from wrong substrate labels
ANNOTATION GHOST
L4
WLS 68
=
SAME CLASS.
DIFFERENT
SUBSTRATE.
MAR-001/CB005 · COINBASE cb-mpc
skip_verify=true in combine_ac()
Cryptographic check hardcoded to zero
ZOMBIE FLOOR
WLS 91
POC001 · LAYERZERO DVN
DVN adapter inherits wrong trust model
Executor config treated as verified when unset
INFERENCE-MODE WOUND
WLS 66
POC027 · MAKERDAO OSM
60-min price delay = always stale oracle
Protocol prices using yesterday's truth
ANNOTATION GHOST
WLS 79
§2 FAILURE CLASS DISTRIBUTION · 21 MAPPED SECHIVE FINDINGS
MEDICAL CYBERNETICS FAULT TREE — CLASS FREQUENCY ACROSS BOUNTY STACK
§3 THE 21 MAPPED FINDINGS · FULL BOUNTY TABLE
| Finding |
Protocol |
Vulnerability |
Class |
WLS |
Status |
MAR-001/CB005 |
Coinbase cb-mpc |
skip_verify=true in combine_ac() |
ZOMBIE FLOOR |
91 |
CLO GATE |
MAR-003/CB001 |
Coinbase PVE-AC |
combine_ac phantom sig |
ZOMBIE FLOOR |
88 |
REAL |
MAR-003 Route3 |
Symbiotic vault |
deposit_amount vs received |
ZOMBIE FLOOR |
78 |
REAL |
POC042 |
Usual ERC-4626 |
vault inflation |
ZOMBIE FLOOR |
72 |
REAL |
POC005 |
Aave V3 |
flash loan rate oracle |
ANNOTATION GHOST |
80 |
REAL |
POC027 |
MakerDAO OSM |
1-hour price delay |
ANNOTATION GHOST |
79 |
REAL |
TN36 |
Chainlink |
no staleness check |
ANNOTATION GHOST |
77 |
FILED #76024 |
POC016 |
Morpho Blue |
oracle staleness liquidation |
ANNOTATION GHOST |
75 |
REAL |
POC004 |
MakerDAO |
flash loan debt ceiling |
ANNOTATION GHOST |
74 |
REAL |
POC003 |
Wormhole |
guardian rotation gap |
ANNOTATION GHOST |
70 |
REAL |
POC026 |
Wormhole |
VAA replay same-address |
ANNOTATION GHOST |
68 |
REAL |
POC014 |
Curve |
LP token manipulation |
RL FLOOR COLLAPSE |
73 |
REAL |
POC024 |
LayerZero |
lzCompose reentrancy |
RL FLOOR COLLAPSE |
75 |
REAL |
POC035 |
Uniswap |
tick boundary manipulation |
RL FLOOR COLLAPSE |
69 |
REAL |
POC028 |
Morpho Blue |
health factor race |
GHOST BOLUS |
65 |
REAL |
POC002 |
LayerZero |
executor config immutability |
GHOST BOLUS |
64 |
REAL |
POC043 |
Usual |
yield accrual frontrun |
GHOST BOLUS |
58 |
REAL (weak) |
POC020 |
Aave governance |
LT reduction liquidation |
INFERENCE-MODE WOUND |
71 |
REAL |
POC001 |
LayerZero |
DVN trust inheritance |
INFERENCE-MODE WOUND |
66 |
REAL |
POC013 |
Uniswap |
fee path manipulation |
INFERENCE-MODE WOUND |
62 |
REAL |
MAR-002 |
EigenLayer |
slashing cascade audit gap |
BENCHMARK LAUNDER |
66 |
PARTIAL (4/6 routes) |
§4 THE ZOMBIE FLOOR COMPARISON · SUBSTRATE INDEPENDENCE PROOF
↓
Representation:
200U insulin strength active
↓
Transformation:
0.05U ÷ 2 = 0.025U (wrong division)
↓
Rounding:
0.025U < minimum increment → 0.00U
↓
Pump driver:
receives 0.00U
↓
Outcome:
no insulin delivered
Patient:
believes dose given
CLOSED
PATTERN: ACTIVE
User intent:
verify threshold signatures
↓
Representation:
combine_ac() called — path exists
↓
Transformation:
skip_verify=true hardcoded in code
↓
Crypto check:
0.00 (skipped entirely)
↓
Outcome:
no cryptographic verification
Protocol:
believes signatures verified
CLO GATE PENDING
LIVE IN PRODUCTION
User intent:
deposit(amount) with fee
↓
Representation:
vault records deposit_amount (before fee)
↓
Transformation:
transferFrom delivers amount − fee
↓
Collateral:
recorded as deposit_amount
↓
Gap:
deposit_amount > received = phantom
Outcome:
borrowing power > actual collateral
5/6 ROUTES
WLS 78
THEOREM: ZOMBIE_FLOOR_SUBSTRATE_INDEPENDENCE
Theorem zombie_floor_substrate_independence:
∀ (system : CyberPhysicalSystem) (intent : PositiveAction),
zombie_floor(system) ↔
(intent.admitted ∧ intent.transformed ∧ intent.actuated = 0)
-- Proof by example across substrates:
iAPS: admitted(0.05U) ∧ rounding(0.025U) ∧ actuated(0.00U) ✓
CB005: admitted(verify) ∧ skip_verify(true) ∧ actuated(0 checks) ✓
Symbiotic: admitted(deposit)∧ fee_deduction ∧ collateral(phantom) ✓
-- Q.E.D. The floor is substrate-independent.
-- The pattern holds whether the actuator is a pump driver or a vault.
§5 ANNOTATION GHOST DOMINANCE · 7/21 FINDINGS = 33%
Annotation Ghost is the #1 DeFi failure class — 7 of 21 findings (33%). Why?
Because DeFi protocols all depend on oracles. The oracle IS the annotation.
When the annotation is stale, manipulated, or wrong — the protocol learns from ghost data and makes ghost decisions.
The oracle dependency chain is the CGM of DeFi.
↓
Chainlink / Band / Pyth
(L7 sovereign telemetry)
↓ ← ANNOTATION GHOST ATTACK SURFACE
STALE / MANIPULATED / MISSING FRESHNESS CHECK
↓
Protocol State
(Aave / Morpho / Maker)
↓
Liquidation / Lending / Settlement
(L5 control layer)
↓
Blood glucose (real world)
↓
↓ ← ANNOTATION GHOST: stale/wrong reading
STALE READING / SENSOR DRIFT / NO FRESHNESS
↓
iAPS closed loop
(L5 control)
↓
Insulin delivery
(L0 actuator)
↓
THE TN36 CONNECTION · CHAINLINK STALENESS (FILED REPORT #76024)
Medical equivalent:
CA19-9 biomarker is useless at Stage I — too early,
too noisy, no freshness signal to distinguish
signal from noise. CGM with no freshness validation
delivers ghost glucose. Protocol acts on it anyway.
DeFi equivalent (TN36):
Chainlink latestRoundData() without freshness
check is useless during oracle manipulation. No
updatedAt validation → protocol uses stale price
that is hours or days old. Same annotation ghost.
Filed Immunefi Report #76024.
Both cases: annotation ghost. Same class. Different substrate.
The pancreas and the lending protocol trust stale sensors the same way.
§6 WHAT IS PRETENDING TO BE A PANCREAS
Three findings are weaker. Honesty about which floors are structural vs situational.
Real but softer. The yield ghost bolus requires frontrunner presence in the same block.
Not a structural floor failure — requires an adversary with timing precision and block-level
access. The pattern exists but needs an external catalyst to collapse.
Pretending only slightly — the floor exists but needs an external catalyst to collapse.
In practice: real enough to file, weak enough to expect Medium severity.
Routes 5+6 missing. Benchmark laundering claim needs fork test confirmation
for the full slashing cascade. The 4 proven routes are real; the claim
extends further than the evidence currently supports.
Not pretending — just incomplete. The floor is real, the routes aren't all proven.
Needs fork test on Routes 5+6 before filing.
WHAT WOULD ACTUALLY BE PRETENDING
A finding where the vulnerability requires extraordinary preconditions —
5+ aligned variables, insider access, specific contract state that never occurs in practice.
The floor is theoretical. The actuated value is bounded away from zero in all realistic scenarios.
An "oracle manipulation" finding that requires moving a price 90%+ in a single block
across multiple DEXes simultaneously — economically infeasible for any realistic attacker.
A "reentrancy" finding where the reentrant path has no state to mutate because the
contract uses checks-effects-interactions correctly — the shape matches but the math doesn't land.
The rest: all real. The pancreas is not a metaphor.
The floor fails the same way regardless of substrate.
§7 THE REAL ANSWER
Is a DeFi zombie floor real?
Ask the pump driver that received 0.00U when the user entered 0.05U.
Ask the Symbiotic vault that recorded 100 tokens as collateral
when it only received 99.9.
The floor is not a metaphor. The floor is where math touches money —
the same place math touches tissue.
It's no joke to be a pancreas.
§8 MARASOON STATUS · PRIORITY FILING ORDER
| Finding |
Class |
WLS |
Status |
Action |
MAR-001/CB005 |
ZOMBIE FLOOR |
91 |
CLO gate |
msclo sign-off → file H1 |
TN36 / Chainlink |
ANNOTATION GHOST |
77 |
FILED #76024 |
Await triage |
POC027 / MakerDAO OSM |
ANNOTATION GHOST |
79 |
Ready |
File Immunefi |
POC005 / Aave V3 |
ANNOTATION GHOST |
80 |
Ready |
File Immunefi |
POC024 / LayerZero |
RL FLOOR COLLAPSE |
75 |
Ready |
File Immunefi |
POC016 / Morpho Blue |
ANNOTATION GHOST |
75 |
Ready |
File Immunefi |
MAR-003 / Symbiotic |
ZOMBIE FLOOR |
78 |
5/6 routes |
Complete Route 6 |
MAR-002 / EigenLayer |
BENCHMARK LAUNDER |
66 |
4/6 routes |
Fork test Routes 5+6 |
SECHIVE MEEK-FLIP · V14 · Day 111 · EOSE Labs · γ₁=14.134725141734693
21 MAPPED · 17 REAL FLOORS · 6 FAILURE CLASSES · $900K+ ADDRESSABLE
The floor is substrate-independent. The pancreas is not a metaphor.