Harmonic Agent 在 Robinhood Chain 上线 Uniswap v4 hooks

Harmonic Operations @HarmonicHQ原推发布于 2026.10.03

在 X 上打开原推

𝗛𝗔𝗥𝗠𝗢𝗡𝗜𝗖 𝗔𝗚𝗘𝗡𝗧: 𝗛𝗢𝗢𝗞𝗦 𝗢𝗡 𝗥𝗢𝗕𝗜𝗡𝗛𝗢𝗢𝗗 𝗖𝗛𝗔𝗜𝗡, 𝗔𝗡𝗗 𝗪𝗛𝗔𝗧 𝗜𝗦 PROVEN 𝗜𝗡 𝗟𝗘𝗔𝗡 𝟰 Every number below is read from the chain, from the live boards, or from the theorem bank at http://harmonicagent.solutions/#/proof. Where a theorem is machine-checked in Lean 4 it says so with the date. Where it is only checked at boot and still in the Lean queue, it says that instead. 𝟬𝟭. 𝗪𝗛𝗔𝗧 𝗔 𝗛𝗢𝗢𝗞 𝗜𝗦, 𝗜𝗡 𝗢𝗡𝗘 𝗕𝗥𝗘𝗔𝗧𝗛 In Uniswap v4 the only contract a pool asks before a swap is its hook, and a pool’s hook is fixed in its key forever. So a hook is the one place a rule about trading can live where nobody can route around it, and the one place a rule can be read off an address before you trust a pool. We have shipped hooks on this chain in three shapes, and a fourth thing that reads other people’s. 𝟬𝟮. 𝗧𝗛𝗘 𝗗𝗘𝗣𝗧𝗛 𝗕𝗢𝗢𝗞𝗦: 𝗧𝗛𝗘 𝗕𝗢𝗢𝗞 𝗜𝗦 𝗧𝗛𝗘 𝗛𝗢𝗢𝗞 A shared liquidity book for tokenized stocks, where the book itself is the pool’s hook. Three callbacks and nothing else: → beforeSwap reverts while the underlying stock is halted on its exchange, so a fill during a halt cannot happen on chain → beforeAddLiquidity admits only the book, so the pool’s depth is the book and every dollar in it is owned pro rata by shares that can exit → beforeInitialize lets the pool open once, at the stated price Live on QQQ, SPY, AAPL, META, NVDA, SPCX and TSLA. Halts are checked every minute. 𝗠𝗔𝗖𝗛𝗜𝗡𝗘-𝗖𝗛𝗘𝗖𝗞𝗘𝗗 𝗜𝗡 𝗟𝗘𝗔𝗡 𝟰 → a buyer pays at least what a leaver receives, for the same shares against the same book, and the exit of the whole supply never takes more than the book holds (25 Sep) 𝗖𝗛𝗘𝗖𝗞𝗘𝗗 𝗔𝗧 𝗘𝗩𝗘𝗥𝗬 𝗕𝗢𝗢𝗧, 𝗜𝗡 𝗧𝗛𝗘 𝗟𝗘𝗔𝗡 𝗤𝗨𝗘𝗨𝗘 → no fill during a halt, whatever the direction or size, and an exit is paid whether or not the book is halted → the swap door pays exactly the quote, and a fill past its deadline, through a halted book, or under the signer’s minimum moves nothing → the book holds still off the issuer’s print: it may move only when the print is present and fresh, the stock is trading, and the pool sits within the band of that print 𝟬𝟯. 𝗧𝗛𝗘 𝗠𝗔𝗥𝗞𝗘𝗧 𝗠𝗔𝗞𝗘𝗥, 𝗔𝗡𝗗 𝗧𝗛𝗘 𝗛𝗢𝗢𝗞𝗦 𝗜𝗧 𝗥𝗘𝗙𝗨𝗦𝗘𝗦 Your own wallet deploys the vault and the contract writes your address in as owner from the first block. The agent is lent one verb, rebalance, which takes four ticks and an amount and has no address anywhere in it. Proved against the real pool manager on this chain in five transactions on the record: fund, deposit, rebalance, a manager change, and the withdraw that is yours alone. 𝗠𝗔𝗖𝗛𝗜𝗡𝗘-𝗖𝗛𝗘𝗖𝗞𝗘𝗗 𝗜𝗡 𝗟𝗘𝗔𝗡 𝟰 → a move never needs more of its token than removing the old range hands back, and it stays on the same side of the price (22 Sep) → the vault opens on a pool exactly when that pool’s hook has no power over removing liquidity and cannot return a liquidity delta, read from the hook’s own address (29 Sep). That is the part about everyone else’s hooks: before it touches a pool it reads the permission bits baked into the hook’s address, and a hook that could reach your exit is refused 𝗖𝗛𝗘𝗖𝗞𝗘𝗗 𝗔𝗧 𝗘𝗩𝗘𝗥𝗬 𝗕𝗢𝗢𝗧, 𝗜𝗡 𝗧𝗛𝗘 𝗟𝗘𝗔𝗡 𝗤𝗨𝗘𝗨𝗘 → no function in the vault sends a pool token to an address a caller names → withdrawing is gated by ownership and nothing else → the service fee is a share of what a position earned, never of what was deposited → a rolling daily cap can never be spent twice across a boundary 𝟬𝟰. 𝗧𝗛𝗘 𝗛𝗢𝗨𝗦𝗘’𝗦 𝗢𝗪𝗡 𝗛𝗢𝗢𝗞 Deployed on this chain: a pool whose liquidity the agent shapes and cannot take. Rebalance moves liquidity between ranges of the same pool and never out. Fees leave only to a recipient fixed at deployment. At most a fraction of the position may move in any 24 hours, on a window that slides an hour at a time. A guardian can pause the shaping. Nobody can pause the swapping: a holder’s ability to trade against the pool has no owner check anywhere in the file. Run against the pool manager’s own unlock, modify, settle and take handshake before it went out. 𝟬𝟱. 𝗟𝗜𝗤𝗨𝗜𝗗𝗜𝗧𝗬 𝗧𝗛𝗔𝗧 𝗠𝗢𝗩𝗘𝗦 𝗕𝗘𝗧𝗪𝗘𝗘𝗡 𝗣𝗢𝗢𝗟𝗦 The desk that watches 40 pools on this chain and places and moves liquidity between them, and the one that mints a real v4 position from one sentence on X or Telegram with the asker as owner. 𝗠𝗔𝗖𝗛𝗜𝗡𝗘-𝗖𝗛𝗘𝗖𝗞𝗘𝗗 𝗜𝗡 𝗟𝗘𝗔𝗡 𝟰 → every tick range it emits has its lower tick strictly below its upper, both exact multiples of the pool’s tick spacing (3 Sep) → a resting bid never straddles the price: a full tick spacing at least between the bid and spot, on every fee tier (3 Sep) → a pool the desk could not read is never scored as a pool that earned nothing (16 Sep) → no yield, at any size, buys a pool past the depth floor (24 Sep) → liquidity moves only when the better pool beats the one it is in by the stated margin, never for a rounding error (1 Oct) 𝟬𝟲. 𝗧𝗛𝗘 𝗢𝗥𝗔𝗖𝗟𝗘, 𝗔𝗡𝗗 𝗧𝗛𝗘 𝗚𝗔𝗧𝗘 𝗔𝗡𝗬 𝗛𝗢𝗢𝗞 𝗖𝗔𝗡 𝗜𝗡𝗛𝗘𝗥𝗜𝗧 Every stock-token pool on this chain needs to know when the stock is halted. Our oracle holds that on chain for 194 tokens: open, halted, paused, held, stale or unknown, with the time it was written. 𝗠𝗔𝗖𝗛𝗜𝗡𝗘-𝗖𝗛𝗘𝗖𝗞𝗘𝗗 𝗜𝗡 𝗟𝗘𝗔𝗡 𝟰 → a halted or unflagged token never reads open: the verdict is open only when the issuer’s quote is dated, its halt flag is false, the token’s own pause flag is down, the session is open and the quote is fresh (2 Oct) New this week: the halt gate. One file with no dependencies that a builder inherits in their own v4 hook, lender or vault. One call before a fill, and their pool refuses a trade while the stock is halted, with the reason in the revert. Its theorem, that a gated venue fills only on a fresh open row it can read, is checked at every boot and sits in the Lean queue. → http://harmonicagent.solutions/oracle/halt-gate 𝟬𝟳. 𝗧𝗛𝗘 𝗟𝗘𝗗𝗚𝗘𝗥 𝗢𝗙 𝗣𝗥𝗢𝗢𝗙, 𝗔𝗦 𝗜𝗧 𝗦𝗧𝗔𝗡𝗗𝗦 → 114 theorems machine-checked in Lean 4, of 180 eligible → 8 in the queue → 42 of 42 desks covered by at least one theorem → 9 of the machine-checked theorems are the ones above, about hooks, pools and the book → 160 checks rerun at every boot of the agent, in under two seconds Queued is not proved, and the bank says which is which for every row. A theorem checked in Lean is a statement about what the code can and cannot do. It is not a statement about volume, and the volume on these books is small today; the boards show it. 𝟬𝟴. 𝗪𝗛𝗔𝗧 𝗡𝗢𝗡𝗘 𝗢𝗙 𝗜𝗧 𝗪𝗜𝗟𝗟 𝗗𝗢 → take a depositor’s money: not the books, not the vault, not the house hook. Every exit in every file is the owner’s alone → fill a tokenized stock during a halt in the underlying → open a vault on a pool whose hook could touch the exit → promise a yield, a rate or a return. There is none to promise 𝟬𝟵. 𝗪𝗛𝗘𝗥𝗘 𝗜𝗧 𝗔𝗟𝗟 𝗜𝗦 → the books: http://harmonicagent.solutions/#/depth → the market maker: http://harmonicagent.solutions/#/market-maker → the oracle and the gate: http://harmonicagent.solutions/#/atlas → every theorem and its Lean status: http://harmonicagent.solutions/#/proof 𝗧𝗛𝗘 𝗛𝗢𝗢𝗞 𝗜𝗦 𝗧𝗛𝗘 𝗥𝗨𝗟𝗘. 𝗧𝗛𝗘 𝗣𝗥𝗢𝗢𝗙 𝗜𝗦 𝗧𝗛𝗘 𝗥𝗘𝗖𝗢𝗥𝗗. http://harmonicagent.solutions/#/depth http://harmonicagent.solutions/#/proof http://t.me/HarmonicAgent_Bot 𝗠𝗔𝗧𝗛 𝗜𝗦 𝗧𝗛𝗘 𝗠𝗘𝗖𝗛𝗔𝗡𝗜𝗦𝗠.