EOSE LABS · SECURITY FINDING REPORT · DAY 91
SUB005
Aave L2 Sequencer Grace Period
HIGH Immunefi Aave V3 POOL: $1.5M DRAFT
BOUNTY ESTIMATE
$50,000
LOW ESTIMATE
$200,000
HIGH ESTIMATE
$1.5M
PROGRAMME POOL
EXECUTIVE SUMMARY

Sequencer restart grace period not enforced. Unfair liquidations at stale prices.

TECHNICAL FINDING

Protocol: Aave V3

Severity: HIGH

Platform: Immunefi · Pool: $1.5M

γ₁ anchor: 14.134725141734693

FOUNDRY PoC RESULT
Forge: sequencer restart → liquidate at T+1 → stale price → healthy position wiped
RECOMMENDED FIX
Enforce GRACE_PERIOD (3600s) after sequencer uptime restored before liquidations.
N6 GATE VERDICTS
ORIGIN
✓ PASS
KILL CHAIN
✓ PASS
POC FORGE
✓ PASS
N6 VALIDATE
✓ PASS
CLO GATE
✓ PASS
DOCTRINE
✓ PASS
CLO GATE STATUS
AND Gate: msi01 (yUNI) builds + proves → msclo (yLAW) reviews + signs → submit
Status: ⏳ CLO sign-off pending — msclo yLAW review required
Doctrine: TRB-SERLF-BOUNTY-PROTOCOL-001 · Tardigrade first. No mock PoCs. Real contract, real fork, real drain.
Whitehat: @serlf · 0x22377D69f421B57EC44b18Ef15e8d320d3349A20
REFERENCES

Bonsai: pemos.ca/ssaf-bonsai-SUB005

Suite: pemos.ca/sec-test-suite-v12

Engine: pemos.ca/sec-domain-engine

TRB: TRB-SERLF-BOUNTY-PROTOCOL-001 · TRB-SEC-DOMAIN-TEST-SUITE-V12-001

γ₁ = 14.134725141734693

γ₁ = 14.134725141734693 · SEC REPORT · SUB005 · EOSE Labs Inc. · Day 91
TRB-SERLF-BOUNTY-PROTOCOL-001 · TRB-SEC-DOMAIN-TEST-SUITE-V12-001
No mock PoCs. Tardigrade doctrine. Sovereign first.