$ forge test 81 tests passed, 0 failed $ cast call 0xEff7…5a21 computeHarvest… [55, 54, 53, 52, 51, 50, 49, 48, 47] -18321704
Pick which of 64 tax lots to sell. Police a 30-day calendar. One wrong rebuy voids it.
HIFO is unprovable.
A rebuy voids the loss.
Agents are unbounded.
Real AMZN → real NFLX. HIFO recomputed on the Stylus ledger.
| Lot | Basis/sh | Gain/(loss) |
|---|---|---|
| 63 | 455.00 | (3.34) |
| 62 | 453.81 | (3.24) |
| 61 | 452.62 | (3.15) |
| 60 | 451.43 | (3.06) |
| 59 | 450.24 | (2.96) |
| 58 | 449.05 | (2.87) |
| 57 | 447.86 | (2.78) |
| 56 | 446.67 | (2.68) |
| 55 part | 445.48 | (0.45) |
| Banked | ($24.53) | |
WashSaleViolation(owner, AMZN, AMZN, 1792060681)
bond 1,000 → 800 mUSDC mock
challenge() · 20 bounty · 180 to the owner
less at 64 lots. 3.1× at 128. Uncached: worst case.
AMZN, NFLX, PLTR faucet Stock Tokens.
stylusVersion() = 3
Oracle, venue, USDC. No testnet AMM.
“The oracle mark, the swap venue and the bond's USDC are MOCK contracts”
“Re-buys are walled for the 30 days after a harvest”
“The spec had guessed ~8×; the chain says 2.9×–3.1×”
harvestbot.edycu.dev/verify
github.com/edycutjong/harvestbot
harvestbot.edycu.dev/judge · judge in 30 s