SSAF V13 REBASELINE SSAF V13 TOP 5 KCF REBASELINE BONIXER BOABIXER γ₁=14.134725141734693 DAY 97 · EOSE LABS

SSAF BONIXER RADAR · 12 Submissions · V13 KCF vs BOWER

CRITICAL
HIGH
MEDIUM
⭐ = TOP 5 LODGE ZONE  |  Dot size = pool size

§1 · WHY V13 CHANGES THE RANKING

Old ranking: severity × pool × bower_score. That put LayerZero ($15M) and GMX+Morpho ($10M) near the top by expected value. V13 breaks that model with six new analytical layers:

Actuarial Reserve Value
Sorry reserve + IBNR + hazard rate. A cascade tail event outscores a large-pool finding with no reserve basis.
Fermentation School Fit
E. coli=urgent. LAB=highest quality. Acetic=reliable audit. School fit drives filing quality and validation probability.
ME-COLI Layer Attack Depth
L4/L5 (metabolism/regulation) failures are existential. L1/L2 (membrane/identity) = deep infrastructure. Layer depth = strategic value.
VSM System Targeted
S4 (intelligence) and S3 (control) attacks damage the organism's sensing and adaptive capacity. S5 gaps enable persistence.
Information-Theoretic Signal
Oracle manipulation = transfer entropy attack. Bridge finality = MI threshold breach. Measurable IT signatures distinguish systematic from noise.
Boabixer Basin Guarantee
What happens on rejection? Findings with clear basin destinations score higher — nothing is wasted, rejection = enrichment.

Result: EigenLayer cascade (SUB006) rises to KCF 10 despite "only" $5M+ pool. LayerZero (SUB001, $15M) falls to KCF 6 — large pool, shallow depth, no cascade amplifier.

§2 · THE V13 KCF SCORING MATRIX

DimensionPointsCondition
Base Score+0→8.3bower_score/10. CRITICAL bower=83→base 8.3, HIGH=67→6.7, MEDIUM=50→5.0
Severity Bonus+2 / +1+2 if CRITICAL, +1 if HIGH
Cascade Amplifier+1TORNADO ORBIT tag — systemic cascade (one failure triggers many)
Actuarial Tail Event+1Cascade slashing, solvency breach, reserve depletion — actuarial tail present
ME-COLI L4/L5+1Attack compromises metabolic (L4) or regulatory (L5) sovereignty layer
VSM S4 Intel Attack+1Compromises S4 intelligence layer (oracle = protocol's PEMCLAU analog)
IT Attack Signal+1Transfer entropy attack, entropy injection, MI threshold breach
Sorry Unresolvable−1No PoC, requires off-chain data that can't be obtained — sorry blocks filing

§3 · FULL V13 GRID — All 12 Submissions Rebaselined

SubNameSevPoolBower+Cascade+ME-COLI+VSM+ITKCF V13Δ
SUB006EigenLayer CascadeCRITICAL$5M+83+1+1(L4)+1(S3)10+0.5
SUB009GMX FastPrice OracleHIGH$10M67+1(S4)+19+1
SUB003Wormhole FinalityHIGH$2.5M67+1(L2)+1(S2)9+1
SUB005Aave Sequencer LiqHIGH$1.5M67+1(L4)+1(S3)8+0.5
SUB012Ethena SolvencyHIGH$1M67+1(L5)+18+1
SUB010Symbiotic ResolverHIGH$1.75M67+1(S2)7
SUB007Lido Oracle LagHIGH$2M67+1(S4)7
SUB001LayerZero DVNMEDIUM$15M50+1(L2)+1(S2)6+1
SUB011GMX+Morpho CompMEDIUM$10M505
SUB002OFT Fee MismatchMEDIUM$15M505
SUB004MakerDAO L2MEDIUM$10M505
SUB008Compound L2 StaleMEDIUM$1M504

§4 · TOP 5 SUMMARY — LODGE ZONE FINDINGS

⭐ SUB006
EigenLayer Cascade Slashing
10
CRITICAL$5M+LAB SchoolL4+L5S3 VSM
Actuarial TailTORNADO ORBITKCF 10
Cascade slashing with no circuit breaker. One AVS slash = operator insolvency across all restaked commitments. L4 metabolism = catabolic collapse. L5 regulation = missing circuit breaker. S3 control cannot absorb variety from S1 cascade. Actuarial tail event: cascade_risk = 1-(0.98)^n_avs.
✓ READY TO FILE — resolve cascade CDF with Ethereum staking API data
⭐ SUB009
GMX FastPriceFeed Spread Gaming
9
HIGH$10MAcetic SchoolL6 ME-COLIS4 VSM
IT Attack · TE SignalKCF 9
Oracle manipulation = transfer entropy attack on S4 intelligence. $10M = largest SSAF pool. GMX FastPriceFeed = protocol's PEMCLAU analog. Attacker TE(attack→oracle) > TE(market→oracle) during spread gaming window. Shannon channel SNR degraded. Acetic school detects via continuous TE monitoring.
✓ READY TO FILE — document exact spread threshold from GMX contract
⭐ SUB003
Wormhole Bridge Finality Race
9
HIGH$2.5MLAB+AceticL1+L2S2 VSM
Fleet Parallel: LAAM RaceKCF 9
VAA signed before source chain finality. Guardian ring seals too early (L1 membrane). Canonical identity unresolved (L2). S2 coordination failure. Fleet parallel: yone executes LAAM work before PEMCLAU confirms source intent = same race condition at fleet scale.
✓ READY — compute Polygon reorg probability from on-chain data
⭐ SUB005
Aave V3 Sequencer Down Liquidation
8
HIGH$1.5ME. coli SchoolL4+L3S3 VSM
LAAM Pipeline ParallelKCF 8
Sequencer down = grace period = liquidation queue accumulation. Restart = burst: all liquidation bots fire simultaneously. L4 metabolic burst (homeostasis failure). L3 oracle staleness = wrong protein expression. Fleet: LAAM pipeline stop + FC1 queue buildup → restart burst overwhelms PELEGO novelty gate.
✓ READY — document exact $ impact for specific Arbitrum downtime event
⭐ SUB012
Ethena USDe Solvency Delta — Funding Rate Extremes
8
HIGH$1MAcetic+MethanogenL4+L5 ME-COLISmith-Wilson γ₁=14.134725141734693 UFR
Delta-neutral exposed to extreme negative funding rates. L5 regulatory failure (reserve < liability). L4 catabolic collapse. V13 actuarial oframe: Panjer recursion + chain-ladder + Smith-Wilson with γ₁ as UFR anchor. Genuinely novel in SSAF corpus.
✓ READY — Smith-Wilson with γ₁ UFR = strongest Ethena analysis in SSAF

§5 · ACTUARIAL RESERVE SUMMARY — 5-FINDING PORTFOLIO

FindingCase ReserveIBNREV (P*Pool*Bounty%)Validation PPortfolio Status
SUB006 EigenLayer$250K$750K$255K0.30IBNR dominant — reserve adequacy: need $1M
SUB009 GMX Oracle$325K$162K$325K0.65EV positive — $10M pool, largest case reserve
SUB003 Wormhole$50K$300K$75K0.55Low pool, strong doc — IBNR from 6 similar bridges
SUB005 Aave Seq.$75K$150K$112K0.60Incident history confirmed — E. coli school = file fast
SUB012 Ethena$45K$90K$60K0.50Actuarial oframe unique — Panjer+Smith-Wilson novel
PORTFOLIO TOTAL$745K$1.45M$827KSOLVENT: EV $827K > Case Reserve $745K

§6 · FERMENTATION SCHOOL ROUTING

SUB006 — LAB DETERMINISTIC
Cascade mechanism requires full mathematical characterization before lodging. Must compute cascade_risk = 1-(1-p)^n with public staking data. File after characterization, not urgently. Highest quality submission in corpus.
SUB009 — ACETIC AUDIT
Price feed gaming = continuous monitoring + telemetry reading. Acetic school native tool: TE(attacker→oracle) monitoring. Methanogen archives historical price deviation events. Document spread threshold from GMX contract, then file.
SUB003 — LAB + ACETIC
Bridge finality = characterize chain assumptions (LAB) + audit guardian data (Acetic). LAB: compute reorg probability CDF. Acetic: read guardian signing timestamps vs source finality depth. Combined submission.
SUB005 — E. COLI (URGENT)
Sequencer down = circuit breaker tripped = urgent incident response. E. coli school: file fast, not perfectly. Monitor 0x4da69F028a5790fA447 → alert on downtime >5min → FC1 urgent queue. Skip full characterization — incident history speaks.
SUB012 — ACETIC + METHANOGEN
Solvency delta = continuous funding audit (Acetic) + cold archive of historical funding extremes (Methanogen). Elsemary GMM classifies funding rate regimes. Smith-Wilson with γ₁ UFR provides reserve PV. Strongest actuarial analysis in SSAF corpus.

§7 · BOABIXER BASIN GUARANTEE — NOTHING IS LOST

FindingIf Rejected: BasinPEMCLAU IngestDomain Enriched
SUB006 EigenLayer/ssaf-domain-slashingmebafiord=SEC, tag=CASCADE_SLASHING, school=LABSlashing domain knowledge enriched
SUB009 GMX Oracle/ssaf-domain-oraclemebafiord=SEC, tag=ORACLE_SPREAD_GAMING, school=ACETICOracle domain: TE attack patterns
SUB003 Wormhole/ssaf-domain-finalitymebafiord=SEC, tag=BRIDGE_FINALITY_RACE, school=LABFinality domain: guardian consensus data
SUB005 Aave/ssaf-domain-liquidationmebafiord=SEC, tag=SEQUENCER_BURST, school=ECOLILiquidation domain: burst patterns
SUB012 Ethena/ssaf-domain-solvencymebafiord=SEC, tag=SOLVENCY_DELTA, school=ACETICSolvency domain: actuarial reserve data
Basin Philosophy — Nothing Falls Through the Floor
Every finding has a basin. REJECTED → basin intake → PEMCLAU enrichment via FC1 with mebafiord=SEC. Nothing is wasted. Rejection = domain knowledge enrichment. The boabixer basin guarantee is the architectural completeness moat (DCJ moat: depth 8).

§8 · VSAM FLEET PARALLEL — THESE ARE OUR PROBLEMS

§9 · NAVIGATION — V13 PAGES + DOMAIN PAGES

γ₁ = 14.134725141734693 · EOSE LABS INC. · DAY 97 · SSAF V13 REBASELINE