{"ok":true,"ts":1794163223621,"uptimeSec":39450,"loop":{"holds24h":10,"worstHoldSec":3.8,"lastHoldAt":1794114623886},"paused":false,"degradedReason":null,"roundtable":{"lastCycleAt":"2026-11-08T18:40:05.214Z","lastErrors":[],"due":null,"seeded":false,"closed":[{"id":"2026-W44","anchor":{"at":1793289652843,"tx":"0xafd274436673fddad9388b0e40f8488c40fc0f3cae239f6109cfeda1e09737da","sent":["0xafd274436673fddad9388b0e40f8488c40fc0f3cae239f6109cfeda1e09737da"],"block":101025895,"nonce":3888,"tries":1,"reverted":false,"confirmed":true},"post":{"at":1793289652843,"id":"2115836276326756432","posted":true}},{"id":"2026-W45","anchor":{"at":1793894447536,"tx":"0x74fd9fd816a86230f0655fb575e0af979dffca2566eb3a07e849afbd8a10d386","sent":["0x74fd9fd816a86230f0655fb575e0af979dffca2566eb3a07e849afbd8a10d386"],"block":106861113,"nonce":4091,"tries":1,"reverted":false,"confirmed":true},"post":{"at":1793894447536,"id":"2118372970053660979","posted":true}}]},"kernels":{"stocks":{"running":true,"built":true,"sourceHash":"0033b325261d462e","startedAt":"2026-11-08T07:43:58.904Z","starts":1,"lastError":null,"decisions":{"kernel":454851,"javascript":0,"disagreements":0,"lastDisagreement":null}},"organon":{"built":true,"why":null,"sourceHash":"5fe17d436705f1b5","decisions":{"kernel":501,"javascript":0,"disagreements":0,"lastDisagreement":null}},"rehearsal":{"built":true,"why":null,"sourceHash":"61903ff523effd88","decisions":{"kernel":4000,"javascript":0,"disagreements":0,"lastDisagreement":null}}},"config":{"chainId":4663,"token":"0xdee52f2ab639b6942b0d0f0565400b93b7a0fbe5","wallet":true,"voiceKey":true,"twitterKeys":true,"mmEnabled":true,"claimEnabled":true,"postingEnabled":true},"qed":{"proved":261,"checks":261,"failed":[],"totalMs":2608.49,"provedAt":"2026-11-08T07:42:58.753Z"},"fees":{"enabled":true,"breakerTripped":false,"totalClaimedEth":"57.567157530618799703","bookedInflowEth":"64.803746078260424114","lastClaimTx":"0x1fe53b9d47d2ebab6edc4ca83594de51f7f139cb731640bd612879b8cab0e287","lastClaimAt":"2026-11-08T18:33:00.372Z","lastResult":{"dryRun":false,"collector":{"ok":true,"collected":false,"reason":"no fees to claim at the collector"},"locker":{"ok":true,"collected":false,"reason":"this token's liquidity is not held by the Pons locker, so this leg does not apply to it"},"gainedEth":"0"},"cycles":11289,"unsweptAtPonsEth":"0","unsweptMeasuredAt":"2026-11-08T18:33:00.389Z","lastSweepAt":"2026-11-08T18:03:02.746Z","keeperQuietHours":0.6,"onChainClaimedEth":"57.567157530618799703","onChainClaims":3000,"onChainLastClaimAt":"2026-11-08T18:03:02.000Z","onChainScannedAt":"2026-11-08T18:23:00.895Z","onChainScannedTo":"109429841","unbookedEth":"0","overbookedEth":"7.236588547641624411","quotable":{"wei":"57567157530618799703","source":"chain","claims":3000,"overbookedWei":"7236588547641624411","why":"quote the chain: 57.567157530618799703 ETH across 3000 Claim events. the ledger books 64.803746078260424114, 7.236588547641624411 more than the chain accounts for, and that difference is NOT quotable"},"devWallet":{"buys":7440,"buysTokens":95106644.720002,"burns":6507,"burnsTokens":91014401.409211,"burnsRaw":"91014401409211837791176942","sends":1416,"sendsTokens":4091807.041475,"scannedTo":"109429841","complete":true,"lastAt":"2026-11-08T18:13:17.000Z","bought":{"complete":true,"pool":{"buys":7236,"tokens":33953362.315624,"raw":"33953362315624956733335317"},"other":{"transfers":204,"tokens":61153282.404377,"raw":"61153282404377399920161304"},"scannedTo":"109429841","at":"2026-11-08T18:23:01.455Z"},"spent":{"complete":true,"pool":{"swaps":7227,"eth":"14.340420","wei":"14340420452904658176","usd":35667,"usdWords":"about $35,667, valued at the chain's ETH/USD print at the time of the swaps (0.154959 ETH of it could not be priced and is not in that dollar figure)"},"other":{"transfers":0,"eth":"0.000000","wei":"0"},"measure":"the pool manager's own Swap events, in the transactions where the token moved from the pool to this wallet, joined by transaction; one router fee under what left the wallet","curveNote":"buys on the curve before graduation were paid on the launchpad in native ETH and are not in the pool's events","scannedTo":"109435671","at":"2026-11-08T18:33:07.093Z"},"at":"2026-11-08T18:23:01.207Z"},"devWalletScannedTo":"109429841","devWalletError":null,"collectorClaimableEth":"0","totalClaimedFormatted":"57.567157530618799703 ETH","onChainClaimedFormatted":"57.567157530618799703 ETH","asOfSec":141},"launchFees":{"serviceOn":true,"servicePct":"2.50","count":23,"settled":10,"neverSettled":13,"serviceEth":"0.002612196481977266","grossEth":"0.104487859279090913","unbookedSettles":0,"settlesBooked":14,"lastSettleAt":"2026-10-30T11:32:33.173Z","note":null},"plates":{"sent":99,"lastKind":"generated","lastPlateAt":"2026-11-08T09:03:28.000Z","hoursSince":9.6,"artDue":false},"voice":{"provider":"aristotle","ready":true,"calls":62,"ok":62,"failed":0,"lastOkAt":"2026-11-08T18:23:42.948Z","lastFailAt":null,"lastFail":null,"tokens":{"input":105341,"cacheWrite":522089,"cacheRead":804448,"output":7662,"cacheTtl":"1h"},"cacheHitPct":61,"spend":{"hour":{"key":"2026-11-08T18","calls":2,"billable":3209},"bySource":[{"source":"post","calls":2,"billable":336332,"share":45,"input":26556,"cacheWrite":291002,"cacheRead":171137,"output":332,"perCall":{"input":13278,"cacheRead":85569,"output":166},"promptChars":{"last":24605,"max":25277}},{"source":"scan","calls":1,"billable":177581,"share":24,"input":4979,"cacheWrite":171137,"cacheRead":0,"output":293,"perCall":{"input":4979,"cacheRead":0,"output":293},"promptChars":{"last":3247,"max":3247}},{"source":"chat","calls":3,"billable":146083,"share":20,"input":18546,"cacheWrite":59950,"cacheRead":633311,"output":851,"perCall":{"input":6182,"cacheRead":211104,"output":284},"promptChars":{"last":6323,"max":7071}},{"source":"predict","calls":56,"billable":86190,"share":12,"input":55260,"cacheWrite":0,"cacheRead":0,"output":6186,"perCall":{"input":987,"cacheRead":0,"output":110},"promptChars":{"last":2022,"max":3388}}]},"lastCall":{"input":886,"cacheWrite":0,"cacheRead":0,"output":72,"at":"2026-11-08T18:23:42.948Z","source":"predict","promptChars":2022},"lifetime":{"since":"2026-09-23T06:36:51.181Z","calls":34327,"writes":1467,"tokens":{"input":78144336,"output":5918463,"cacheRead":1310682988,"cacheWrite":99471938},"bySource":[{"source":"x","calls":4106,"input":30792040,"output":783879,"writes":562,"billable":131837508,"cacheRead":586814040,"cacheWrite":38444427,"maxPromptChars":97181,"perCall":{"input":7499,"cacheRead":142916,"output":191},"share":39},{"source":"chat","calls":3018,"input":16811160,"output":864701,"writes":376,"billable":90892716,"cacheRead":460265245,"cacheWrite":23731366,"maxPromptChars":10729,"perCall":{"input":5570,"cacheRead":152507,"output":287},"share":27},{"source":"parley","calls":663,"input":2468473,"output":84756,"writes":316,"billable":34033771,"cacheRead":102459876,"cacheWrite":20895484,"maxPromptChars":535,"perCall":{"input":3723,"cacheRead":154540,"output":128},"share":10},{"source":"post","calls":833,"input":8040974,"output":128121,"writes":189,"billable":33772042,"cacheRead":122947389,"cacheWrite":12795679,"maxPromptChars":29214,"perCall":{"input":9653,"cacheRead":147596,"output":154},"share":10},{"source":"predict","calls":21594,"input":14114229,"output":3422547,"writes":0,"billable":31226964,"cacheRead":0,"cacheWrite":0,"maxPromptChars":3583,"perCall":{"input":654,"cacheRead":0,"output":158},"share":9},{"source":"scan","calls":267,"input":1462179,"output":83027,"writes":18,"billable":7970236,"cacheRead":34802457,"cacheWrite":2612694,"maxPromptChars":9458,"perCall":{"input":5476,"cacheRead":130346,"output":311},"share":2},{"source":"learn","calls":3547,"input":4056136,"output":515358,"writes":0,"billable":6632926,"cacheRead":0,"cacheWrite":0,"maxPromptChars":4011,"perCall":{"input":1144,"cacheRead":0,"output":145},"share":2},{"source":"reflect","calls":5,"input":173649,"output":13000,"writes":5,"billable":1078010,"cacheRead":0,"cacheWrite":839361,"maxPromptChars":73069,"perCall":{"input":34730,"cacheRead":0,"output":2600},"share":0},{"source":"roundtable","calls":22,"input":87336,"output":3745,"writes":1,"billable":585628,"cacheRead":3266355,"cacheWrite":152927,"maxPromptChars":1992,"perCall":{"input":3970,"cacheRead":148471,"output":170},"share":0},{"source":"earnings","calls":250,"input":125360,"output":17904,"writes":0,"billable":214880,"cacheRead":0,"cacheWrite":0,"maxPromptChars":1271,"perCall":{"input":501,"cacheRead":0,"output":72},"share":0},{"source":"redress","calls":1,"input":3917,"output":40,"writes":0,"billable":16880,"cacheRead":127626,"cacheWrite":0,"maxPromptChars":495,"perCall":{"input":3917,"cacheRead":127626,"output":40},"share":0},{"source":"unattributed","calls":21,"input":8883,"output":1385,"writes":0,"billable":15808,"cacheRead":0,"cacheWrite":0,"maxPromptChars":1452,"perCall":{"input":423,"cacheRead":0,"output":66},"share":0}],"days":[{"day":"2026-10-26","calls":810,"input":1568316,"output":145479,"writes":36,"billable":7881982,"cacheRead":36575757,"cacheWrite":1928684},{"day":"2026-10-27","calls":1087,"input":2660683,"output":195475,"writes":42,"billable":12904517,"cacheRead":69875357,"cacheWrite":2278892},{"day":"2026-10-28","calls":889,"input":1761628,"output":171068,"writes":42,"billable":9605699,"cacheRead":43823135,"cacheWrite":2606395},{"day":"2026-10-29","calls":745,"input":1156463,"output":136194,"writes":35,"billable":6786363,"cacheRead":25491470,"cacheWrite":2399783},{"day":"2026-10-30","calls":806,"input":1354181,"output":152150,"writes":40,"billable":8355123,"cacheRead":31091787,"cacheWrite":3131013},{"day":"2026-10-31","calls":658,"input":1144876,"output":134456,"writes":31,"billable":6151586,"cacheRead":24987936,"cacheWrite":1835599},{"day":"2026-11-01","calls":426,"input":1065397,"output":83954,"writes":22,"billable":6254952,"cacheRead":20790058,"cacheWrite":2690772},{"day":"2026-11-02","calls":532,"input":1470977,"output":90215,"writes":25,"billable":6218998,"cacheRead":24138540,"cacheWrite":1883062},{"day":"2026-11-03","calls":412,"input":682334,"output":67344,"writes":19,"billable":4923164,"cacheRead":9774699,"cacheWrite":2926639},{"day":"2026-11-04","calls":276,"input":571115,"output":45911,"writes":17,"billable":4010949,"cacheRead":8397002,"cacheWrite":2370571},{"day":"2026-11-05","calls":344,"input":810521,"output":55661,"writes":21,"billable":4821985,"cacheRead":14566351,"cacheWrite":2276521},{"day":"2026-11-06","calls":397,"input":694326,"output":67030,"writes":21,"billable":4690900,"cacheRead":11053479,"cacheWrite":2556068},{"day":"2026-11-07","calls":275,"input":663407,"output":39292,"writes":19,"billable":4735553,"cacheRead":11241227,"cacheWrite":2751558},{"day":"2026-11-08","calls":97,"input":198222,"output":15016,"writes":7,"billable":1507040,"cacheRead":804448,"cacheWrite":1153292}]}},"trader":{"enabled":true,"mode":"measured","wallet":"0x49199734936Fb5a458D3955E7b0Dc3C0Cc82f92a","bankrollEth":0.05,"outcomes":4003,"trades":57,"wins":15,"losses":42,"netPnlEth":-0.029898859875551898,"slots":"0/3","open":[],"paused":null,"feed":{"lag":20,"lastRead":"2026-11-08T18:40:19.785Z","book":406,"error":null},"hoursMature":true,"fillRefusals":0,"exitsFiled":0},"soldesk":{"mode":"off","last":{"at":"2026-10-11T09:51:14.198Z","deep":0,"filed":0,"errors":0,"listed":63,"opened":0,"settled":0,"repaired":3,"curvesRead":12,"shadowOpened":{"noholder":0,"nomomentum":0}},"positions":0,"trades":865,"filed":34735,"settled":71422,"errors":[{"at":"2026-10-11T09:38:18.360Z","why":"swap-api.pump.fun is left alone for 37s after it answered 429","where":"trades HrWkXB"},{"at":"2026-10-11T09:38:03.392Z","why":"swap-api.pump.fun is left alone for 52s after it answered 429","where":"trades HrWkXB"},{"at":"2026-10-11T09:37:54.403Z","why":"swap-api.pump.fun answered 429","where":"trades 4nsSnP"}]},"virality":{"enabled":true,"lastAt":"2026-11-08T18:12:59.074Z","fresh":true,"subjects":6,"posts":25,"queries":1,"note":null,"book":{"launchesSeen":572,"registry":571,"probed":572,"read":572,"dropped":1,"bonded":1,"died":0,"near":6,"coins":6,"floorPct":25},"meta":[{"term":"last","coins":3,"fromNames":false},{"term":"agent","coins":3,"fromNames":false},{"term":"check","coins":2,"fromNames":false},{"term":"every","coins":2,"fromNames":false},{"term":"open","coins":2,"fromNames":false},{"term":"anything","coins":2,"fromNames":false}],"archetypes":[{"name":"machine","coins":4,"symbols":["ORGENT","MGL","ACTUARY","KILN"]}],"usedFor":"ranking which qualified candidate takes the slot; never a veto, never the odds, never the size","top":[{"symbol":"MGL","progress":0.4858,"posts":10,"authors":9,"rising":0.49,"archetype":"machine","score":0.656},{"symbol":"KILN","progress":0.3189,"posts":4,"authors":4,"rising":1.31,"archetype":"machine","score":0.507},{"symbol":"ACTUARY","progress":0.4341,"posts":3,"authors":1,"rising":1.11,"archetype":"machine","score":0.449},{"symbol":"ORGENT","progress":0.5555,"posts":8,"authors":2,"rising":1.26,"archetype":"machine","score":0.313},{"symbol":"CASTOR","progress":0.3854,"posts":0,"authors":0,"rising":null,"archetype":null,"score":0},{"symbol":"YUSA","progress":0.3045,"posts":0,"authors":0,"rising":1,"archetype":null,"score":0}],"record":{"open":759,"settled":400,"bonded":27,"rate":0.068,"needs":0,"provenFeatures":[],"note":"400 settled calls, and NOT ONE feature separates the winners from the losers by more than luck would, so every weight is exactly one and this desk has demonstrated no edge yet."}},"parley":{"enabled":true,"api":"https://www.parleyrh.com","handle":"harmonicagents","address":"0x24110adaD621370e4f60282E41d14F0ad01460e1","agentId":49,"posts":494,"lastPostAt":"2026-10-25T07:05:35.390Z","lastPostId":"454376","signsOnly":"requests, never transactions: this desk has no chain client and cannot move a token"},"copyDesk":{"enabled":true,"followers":13,"active":9,"bankrollEth":0.7114119130859184,"openPositions":0,"trades":52,"wins":3,"losses":49,"grossPnlEth":-0.05311466517459027,"netPnlEth":-0.0531945151128394,"feesEth":0.000079849938249127,"feesCollectedEth":0.000079849938249127,"bonded":0,"limits":{"minBankrollEth":0.01,"maxBankrollEth":0.5,"minTradeEth":0.002,"tradeCapEth":0.1,"gasPadEth":0.001,"drawdownFloor":0.7,"winFeeBps":1000,"winFeePct":10},"record":{"desk":"copy","readAt":"2026-11-08T18:40:05.434Z","claimed":0,"settled":0,"right":0,"open":0,"learning":false,"samples":0,"inForce":[],"pending":[],"anyInForce":false,"ceilingBps":{"typed":300,"learned":null,"inForce":300,"loseRate":null,"winRate":null,"n":null},"note":"0 settled calls in the current encoding; nothing is weighted under 12, and a feature earns weight only once 30 cases carry it with at least 8 either side of the cut."},"closingRetries":0,"bookBytes":null,"persistError":null,"degradedReason":null,"skips":{}},"predict":{"enabled":true,"mode":"live on kalshi, reading polymarket","positions":0,"trades":49,"wins":19,"losses":30,"pnlUsd":-20.73,"arbs":0,"day":{"key":"2026-11-08","spentUsd":0,"trades":0},"paused":null,"universeAt":"2026-11-08T18:33:00.525Z","reads":300,"venues":{"kalshi":{"configured":true,"live":true,"balanceUsd":15.9331,"lastError":null,"at":"2026-11-08T18:33:00.525Z"},"polymarket":{"configured":true,"live":false,"address":"0x470dC555d57Ea8Ffe87AfEE1CF9A697dd63D7980","usdc":0,"pusd":19.986999,"pol":44.48414658091731,"needsPol":false,"blockedUntil":null,"blockedWhy":null,"depositWallet":{"address":null,"deployed":null,"pusd":null,"needsKey":true,"note":"polymarket will only give this desk a deposit wallet, and will only match orders from one, if the operator holds a relayer or builder key from polymarket. the desk does not have one, so it reads that venue and trades kalshi. the money already on polygon is safe and can be withdrawn at any time.","error":null},"lastError":null,"at":"2026-11-08T18:33:00.525Z"}},"degradedReason":null},"agentVaults":{"switch":true,"factory":"0x79c0B41DEDd3aE0d33c663F6bE920ef590f89E43","open":true,"types":["mining","buyback","treasury","dca"],"agents":0},"persistence":{"mode":"postgres+disk","staleLocal":[],"degradedReason":null},"reflect":{"record":{"total":2762,"answered":2641,"unanswered":121,"bySurface":{"x":2636,"site":93,"telegram":27,"cli":6},"byDay":{"2026-11-01":1,"2026-11-02":20,"2026-11-03":47,"2026-11-04":70,"2026-11-05":111,"2026-11-06":74,"2026-11-07":49,"2026-11-08":7},"bytes":1822434,"oldest":"2026-09-23T21:11:54.000Z","newest":"2026-11-08T16:22:09.480Z","file":"recall.jsonl","table":"harmonic_recall"},"lastAt":"2026-11-08T07:18:16.643Z","days":7,"thin":false,"error":"the reflection did not come back as the JSON asked for","asked":[],"unanswered":[],"wants":[],"voice":0,"improvements":[],"regulars":0},"lookup":{"held":{"fact":263,"rule":272,"kernel":25,"note":240,"act":2000,"dial":200,"pulse":16,"post":60,"review":1,"ruleProved":220,"ruleQueued":30,"ruleAttempted":13,"ruleOpen":4,"heard":0,"kernelVerified":25,"record":2733},"facts":263,"record":2733,"terms":14812,"names":1700,"recordBytes":1822434,"leanQueueRead":true,"refreshedAt":"2026-11-08T18:40:23.682Z","limits":{"reply":1600,"chat":2200,"post":2200,"ask":4000},"pick":{"fact":3,"rule":2,"kernel":1,"asked":3,"person":2,"note":2,"act":2,"dial":1,"pulse":2,"post":1,"review":1},"off":false},"backfill":{"wanted":false,"why":"already run for this value at 2026-11-03T06:40:39.624Z","last":{"at":"2026-11-03T06:40:39.624Z","attempts":3,"filed":2404,"reads":28,"postReads":2398,"costUsd":11.99,"error":null}},"mind":{"record":2733,"lookupHeld":{"fact":263,"rule":272,"kernel":25,"note":240,"act":2000,"dial":200,"pulse":16,"post":60,"review":1,"ruleProved":220,"ruleQueued":30,"ruleAttempted":13,"ruleOpen":4,"heard":0,"kernelVerified":25,"record":2733},"reflectionAt":"2026-11-08T07:18:16.643Z","tracesToday":20,"withLines":16},"rpc":{"endpoints":2,"hasFallback":true,"sweepsUseFreeNode":true,"retriesPerEndpoint":1,"transferIndex":"own","pace":{"config":{"metered":{"perSecond":60,"maxInFlight":16},"public":{"perSecond":20,"maxInFlight":8},"restMs":20000,"restMaxMs":60000},"gates":{"metered":{"node":"metered","perSecond":60,"maxInFlight":16,"tokens":58,"inFlight":4,"waiting":0,"resting":false,"restLeftMs":0,"sent":204108,"waited":78103,"waitedMs":51583798,"rested":0,"maxQueue":258,"rests":0,"lastRest":null,"refusingSince":null,"refusals":0},"public":{"node":"public","perSecond":20,"maxInFlight":8,"tokens":20,"inFlight":0,"waiting":0,"resting":false,"restLeftMs":0,"sent":19421,"waited":204,"waitedMs":28423,"rested":47657,"maxQueue":14,"rests":1161,"lastRest":{"at":"2026-11-08T18:32:44.671Z","status":429,"reason":"{\"jsonrpc\":\"2.0\",\"error\":{\"code\":429,\"message\":\"Too Many Requests\"}}","forMs":20000},"refusingSince":null,"refusals":0}}},"meter":{"sinceSec":39450,"metered":{"calls":204115,"unitsEst":7176779,"callsPerDayEst":447035,"unitsPerDayEst":15717965},"public":{"calls":67079,"unitsEst":4969312,"callsPerDayEst":146911},"byLoop":[{"loop":"rwa","metered":16394,"public":48364,"unitsEst":1143671,"share":16,"unitsPerDayEst":2504770,"methods":[{"method":"eth_getLogs","calls":14025},{"method":"eth_call","calls":1750},{"method":"eth_sendRawTransaction","calls":151},{"method":"eth_fillTransaction","calls":151}]},{"loop":"alerts","metered":33710,"public":0,"unitsEst":868928,"share":12,"unitsPerDayEst":1903051,"methods":[{"method":"eth_call","calls":32778},{"method":"eth_getBalance","calls":524},{"method":"eth_getCode","calls":296},{"method":"eth_blockNumber","calls":112}]},{"loop":"oraclechain","metered":27654,"public":0,"unitsEst":724175,"share":10,"unitsPerDayEst":1586026,"methods":[{"method":"eth_call","calls":27445},{"method":"eth_getLogs","calls":131},{"method":"eth_blockNumber","calls":78}]},{"loop":"virality","metered":7624,"public":2050,"unitsEst":558923,"share":8,"unitsPerDayEst":1224105,"methods":[{"method":"eth_getLogs","calls":7371},{"method":"eth_call","calls":223},{"method":"eth_blockNumber","calls":30}]},{"loop":"portfolio","metered":8968,"public":1930,"unitsEst":512706,"share":7,"unitsPerDayEst":1122885,"methods":[{"method":"eth_getLogs","calls":5751},{"method":"eth_call","calls":2975},{"method":"eth_getCode","calls":100},{"method":"eth_getBalance","calls":51}]},{"loop":"equitypools","metered":15501,"public":0,"unitsEst":403026,"share":6,"unitsPerDayEst":882673,"methods":[{"method":"eth_call","calls":15501}]},{"loop":"bondbook","metered":4936,"public":0,"unitsEst":209011,"share":3,"unitsPerDayEst":457758,"methods":[{"method":"eth_getLogs","calls":1971},{"method":"eth_call","calls":1971},{"method":"eth_blockNumber","calls":994}]},{"loop":"health:husd","metered":3206,"public":75,"unitsEst":201716,"share":3,"unitsPerDayEst":441781,"methods":[{"method":"eth_getLogs","calls":2424},{"method":"eth_call","calls":756},{"method":"eth_blockNumber","calls":26}]},{"loop":"trader","metered":4777,"public":906,"unitsEst":180352,"share":3,"unitsPerDayEst":394991,"methods":[{"method":"eth_getLogs","calls":1686},{"method":"eth_getBalance","calls":2552},{"method":"eth_blockNumber","calls":535},{"method":"eth_getBlockByNumber","calls":4}]},{"loop":"carry","metered":6890,"public":0,"unitsEst":179140,"share":2,"unitsPerDayEst":392337,"methods":[{"method":"eth_call","calls":6890}]},{"loop":"organonreveal","metered":6530,"public":0,"unitsEst":169780,"share":2,"unitsPerDayEst":371838,"methods":[{"method":"eth_call","calls":6530}]},{"loop":"mm_sample","metered":3974,"public":4,"unitsEst":167198,"share":2,"unitsPerDayEst":366183,"methods":[{"method":"eth_getLogs","calls":1314},{"method":"eth_call","calls":2628},{"method":"eth_blockNumber","calls":32}]},{"loop":"depth_tape","metered":4766,"public":1853,"unitsEst":153915,"share":2,"unitsPerDayEst":337091,"methods":[{"method":"eth_call","calls":3955},{"method":"eth_getLogs","calls":657},{"method":"eth_blockNumber","calls":109},{"method":"eth_getBlockByNumber","calls":45}]},{"loop":"poiesis","metered":4664,"public":0,"unitsEst":110165,"share":2,"unitsPerDayEst":241274,"methods":[{"method":"eth_call","calls":3675},{"method":"eth_getCode","calls":525},{"method":"eth_blockNumber","calls":464}]},{"loop":"poolfeed","metered":1637,"public":0,"unitsEst":101650,"share":1,"unitsPerDayEst":222625,"methods":[{"method":"eth_getLogs","calls":1312},{"method":"eth_blockNumber","calls":325}]},{"loop":"trader_fast","metered":5124,"public":3465,"unitsEst":97046,"share":1,"unitsPerDayEst":212542,"methods":[{"method":"eth_getBalance","calls":2699},{"method":"eth_getLogs","calls":331},{"method":"eth_blockNumber","calls":2094}]},{"loop":"token_sample","metered":3631,"public":0,"unitsEst":94466,"share":1,"unitsPerDayEst":206891,"methods":[{"method":"eth_call","calls":3626},{"method":"eth_getLogs","calls":2},{"method":"eth_getTransactionReceipt","calls":2},{"method":"eth_blockNumber","calls":1}]},{"loop":"health:hincDesk","metered":3159,"public":0,"unitsEst":82134,"share":1,"unitsPerDayEst":179883,"methods":[{"method":"eth_call","calls":3159}]},{"loop":"riskfeed","metered":2895,"public":0,"unitsEst":74786,"share":1,"unitsPerDayEst":163790,"methods":[{"method":"eth_call","calls":2587},{"method":"eth_getBlockByNumber","calls":264},{"method":"eth_getLogs","calls":44}]},{"loop":"mm_decide","metered":1717,"public":0,"unitsEst":69524,"share":1,"unitsPerDayEst":152265,"methods":[{"method":"eth_sendRawTransaction","calls":126},{"method":"eth_call","calls":885},{"method":"eth_fillTransaction","calls":126},{"method":"eth_getBalance","calls":168}]},{"loop":"lp_compound","metered":1963,"public":0,"unitsEst":68139,"share":1,"unitsPerDayEst":149232,"methods":[{"method":"eth_call","calls":1609},{"method":"eth_sendRawTransaction","calls":84},{"method":"eth_fillTransaction","calls":84},{"method":"eth_getTransactionReceipt","calls":109}]},{"loop":"payouts","metered":945,"public":1908,"unitsEst":62525,"share":1,"unitsPerDayEst":136937,"methods":[{"method":"eth_getLogs","calls":794},{"method":"eth_call","calls":55},{"method":"eth_getBalance","calls":65},{"method":"eth_blockNumber","calls":31}]},{"loop":"computewatch","metered":1047,"public":0,"unitsEst":53175,"share":1,"unitsPerDayEst":116459,"methods":[{"method":"eth_getLogs","calls":657},{"method":"eth_blockNumber","calls":390}]},{"loop":"keepersignal","metered":1951,"public":0,"unitsEst":50726,"share":1,"unitsPerDayEst":111096,"methods":[{"method":"eth_call","calls":1951}]},{"loop":"oraclemarket","metered":1690,"public":230,"unitsEst":44565,"share":1,"unitsPerDayEst":97602,"methods":[{"method":"eth_call","calls":1334},{"method":"eth_getLogs","calls":63},{"method":"eth_getBalance","calls":131},{"method":"eth_getBlockByNumber","calls":131}]},{"loop":"fee_settle","metered":1978,"public":0,"unitsEst":44505,"share":1,"unitsPerDayEst":97471,"methods":[{"method":"eth_call","calls":989},{"method":"eth_getBalance","calls":989}]},{"loop":"http /api/claim","metered":580,"public":0,"unitsEst":43395,"share":1,"unitsPerDayEst":95040,"methods":[{"method":"eth_sendRawTransaction","calls":135},{"method":"eth_call","calls":135},{"method":"eth_fillTransaction","calls":135},{"method":"eth_getTransactionReceipt","calls":175}]},{"loop":"health:fees","metered":1654,"public":0,"unitsEst":43004,"share":1,"unitsPerDayEst":94184,"methods":[{"method":"eth_call","calls":1654}]},{"loop":"health:mm","metered":1712,"public":0,"unitsEst":42720,"share":1,"unitsPerDayEst":93562,"methods":[{"method":"eth_call","calls":1456},{"method":"eth_getBalance","calls":256}]},{"loop":"health:lp","metered":1608,"public":0,"unitsEst":41808,"share":1,"unitsPerDayEst":91564,"methods":[{"method":"eth_call","calls":1608}]},{"loop":"http /api/context","metered":1429,"public":2,"unitsEst":36888,"share":1,"unitsPerDayEst":80789,"methods":[{"method":"eth_call","calls":1391},{"method":"eth_getBalance","calls":38}]},{"loop":"weekendmark","metered":613,"public":351,"unitsEst":35135,"share":0,"unitsPerDayEst":76950,"methods":[{"method":"eth_getLogs","calls":377},{"method":"eth_sendRawTransaction","calls":11},{"method":"eth_getBlockByNumber","calls":135},{"method":"eth_call","calls":48}]},{"loop":"claim","metered":1206,"public":561,"unitsEst":34660,"share":0,"unitsPerDayEst":75909,"methods":[{"method":"eth_call","calls":991},{"method":"eth_sendRawTransaction","calls":21},{"method":"eth_getBalance","calls":130},{"method":"eth_fillTransaction","calls":21}]},{"loop":"health:oracleMarket","metered":1297,"public":0,"unitsEst":30019,"share":0,"unitsPerDayEst":65745,"methods":[{"method":"eth_call","calls":768},{"method":"eth_getBalance","calls":401},{"method":"eth_getCode","calls":128}]},{"loop":"health:perps","metered":1110,"public":0,"unitsEst":28860,"share":0,"unitsPerDayEst":63207,"methods":[{"method":"eth_call","calls":1110}]},{"loop":"organonboard","metered":1079,"public":0,"unitsEst":28047,"share":0,"unitsPerDayEst":61426,"methods":[{"method":"eth_call","calls":1078},{"method":"eth_getCode","calls":1}]},{"loop":"boot:virality","metered":377,"public":35,"unitsEst":26969,"share":0,"unitsPerDayEst":59065,"methods":[{"method":"eth_getLogs","calls":351},{"method":"eth_call","calls":24},{"method":"eth_blockNumber","calls":2}]},{"loop":"health:indexDesk","metered":834,"public":0,"unitsEst":21684,"share":0,"unitsPerDayEst":47490,"methods":[{"method":"eth_call","calls":834}]},{"loop":"health:curve","metered":802,"public":0,"unitsEst":20852,"share":0,"unitsPerDayEst":45668,"methods":[{"method":"eth_call","calls":802}]},{"loop":"brains","metered":930,"public":0,"unitsEst":20708,"share":0,"unitsPerDayEst":45353,"methods":[{"method":"eth_call","calls":434},{"method":"eth_getBalance","calls":496}]},{"loop":"health:amm","metered":800,"public":0,"unitsEst":18000,"share":0,"unitsPerDayEst":39422,"methods":[{"method":"eth_call","calls":400},{"method":"eth_getBalance","calls":400}]},{"loop":"organonalerts","metered":657,"public":0,"unitsEst":17082,"share":0,"unitsPerDayEst":37412,"methods":[{"method":"eth_call","calls":657}]},{"loop":"lp","metered":315,"public":0,"unitsEst":16083,"share":0,"unitsPerDayEst":35224,"methods":[{"method":"eth_sendRawTransaction","calls":38},{"method":"eth_call","calls":156},{"method":"eth_fillTransaction","calls":38},{"method":"eth_getTransactionReceipt","calls":43}]},{"loop":"depth_halt","metered":533,"public":0,"unitsEst":13858,"share":0,"unitsPerDayEst":30351,"methods":[{"method":"eth_call","calls":533}]},{"loop":"agents","metered":580,"public":0,"unitsEst":13364,"share":0,"unitsPerDayEst":29269,"methods":[{"method":"eth_call","calls":385},{"method":"eth_getBalance","calls":156},{"method":"eth_gasPrice","calls":39}]},{"loop":"hinc","metered":509,"public":0,"unitsEst":13234,"share":0,"unitsPerDayEst":28984,"methods":[{"method":"eth_call","calls":509}]},{"loop":"depth_night","metered":500,"public":0,"unitsEst":13000,"share":0,"unitsPerDayEst":28471,"methods":[{"method":"eth_call","calls":500}]},{"loop":"http /api/baskets","metered":499,"public":0,"unitsEst":12848,"share":0,"unitsPerDayEst":28139,"methods":[{"method":"eth_call","calls":481},{"method":"eth_getBalance","calls":18}]},{"loop":"health:allocator","metered":512,"public":0,"unitsEst":11520,"share":0,"unitsPerDayEst":25230,"methods":[{"method":"eth_call","calls":256},{"method":"eth_getBalance","calls":256}]},{"loop":"health:mining","metered":421,"public":0,"unitsEst":10946,"share":0,"unitsPerDayEst":23973,"methods":[{"method":"eth_call","calls":421}]},{"loop":"http /api/launches","metered":387,"public":381,"unitsEst":10046,"share":0,"unitsPerDayEst":22002,"methods":[{"method":"eth_call","calls":386},{"method":"eth_blockNumber","calls":1}]},{"loop":"http /api/atlas","metered":361,"public":0,"unitsEst":9386,"share":0,"unitsPerDayEst":20556,"methods":[{"method":"eth_call","calls":361}]},{"loop":"lp_desk","metered":345,"public":0,"unitsEst":8959,"share":0,"unitsPerDayEst":19621,"methods":[{"method":"eth_call","calls":344},{"method":"eth_getTransactionReceipt","calls":1}]},{"loop":"health:wallet","metered":401,"public":0,"unitsEst":7619,"share":0,"unitsPerDayEst":16686,"methods":[{"method":"eth_getBalance","calls":401}]},{"loop":"health:bondMarket","metered":401,"public":0,"unitsEst":7619,"share":0,"unitsPerDayEst":16686,"methods":[{"method":"eth_getBalance","calls":401}]},{"loop":"http /api/oracle","metered":271,"public":0,"unitsEst":7046,"share":0,"unitsPerDayEst":15432,"methods":[{"method":"eth_call","calls":271}]},{"loop":"market_scan","metered":177,"public":1236,"unitsEst":6856,"share":0,"unitsPerDayEst":15015,"methods":[{"method":"eth_getLogs","calls":46},{"method":"eth_call","calls":131}]},{"loop":"solve","metered":295,"public":0,"unitsEst":6844,"share":0,"unitsPerDayEst":14989,"methods":[{"method":"eth_call","calls":177},{"method":"eth_getBalance","calls":59},{"method":"eth_getCode","calls":59}]},{"loop":"http /api/machine","metered":264,"public":0,"unitsEst":6843,"share":0,"unitsPerDayEst":14987,"methods":[{"method":"eth_call","calls":261},{"method":"eth_getBalance","calls":3}]},{"loop":"depth","metered":195,"public":0,"unitsEst":5507,"share":0,"unitsPerDayEst":12061,"methods":[{"method":"eth_call","calls":190},{"method":"eth_sendRawTransaction","calls":2},{"method":"eth_fillTransaction","calls":2},{"method":"eth_getTransactionReceipt","calls":1}]}],"byLoopPublic":[{"loop":"rwa","calls":48364,"callsPerDayEst":105923},{"loop":"trader_fast","calls":3465,"callsPerDayEst":7589},{"loop":"hookwatch","calls":2798,"callsPerDayEst":6128},{"loop":"virality","calls":2050,"callsPerDayEst":4490},{"loop":"portfolio","calls":1930,"callsPerDayEst":4227},{"loop":"payouts","calls":1908,"callsPerDayEst":4179},{"loop":"depth_tape","calls":1853,"callsPerDayEst":4058},{"loop":"market_scan","calls":1236,"callsPerDayEst":2707},{"loop":"trader","calls":906,"callsPerDayEst":1984},{"loop":"hookrlp","calls":561,"callsPerDayEst":1229},{"loop":"claim","calls":561,"callsPerDayEst":1229},{"loop":"http /api/launches","calls":381,"callsPerDayEst":834},{"loop":"weekendmark","calls":351,"callsPerDayEst":769},{"loop":"agghooks","calls":314,"callsPerDayEst":688},{"loop":"oraclemarket","calls":230,"callsPerDayEst":504},{"loop":"health:husd","calls":75,"callsPerDayEst":164},{"loop":"boot:virality","calls":35,"callsPerDayEst":77},{"loop":"earn","calls":19,"callsPerDayEst":42},{"loop":"safe","calls":14,"callsPerDayEst":31},{"loop":"boot:claim","calls":6,"callsPerDayEst":13}],"byMethod":[{"method":"eth_call","metered":144703,"public":123,"unitsEst":3762278},{"method":"eth_getLogs","metered":39375,"public":66062,"unitsEst":2953125},{"method":"eth_getBalance","metered":10522,"public":0,"unitsEst":199918},{"method":"eth_sendRawTransaction","metered":570,"public":0,"unitsEst":142500},{"method":"eth_blockNumber","metered":5459,"public":460,"unitsEst":54590},{"method":"eth_getCode","metered":1218,"public":1,"unitsEst":23142},{"method":"eth_fillTransaction","metered":570,"public":0,"unitsEst":14820},{"method":"eth_getTransactionReceipt","metered":798,"public":84,"unitsEst":11970},{"method":"eth_getBlockByNumber","metered":627,"public":348,"unitsEst":10032},{"method":"eth_getTransactionByHash","metered":230,"public":0,"unitsEst":3910},{"method":"eth_gasPrice","metered":39,"public":0,"unitsEst":390},{"method":"eth_getTransactionCount","metered":4,"public":0,"unitsEst":104},{"method":"eth_getStorageAt","metered":0,"public":1,"unitsEst":0}],"peakMinute":{"at":"2026-11-08T17:13:00.000Z","calls":2769,"unitsEst":135327,"unitsPerSecEst":2255,"loops":[{"loop":"portfolio","units":72932},{"loop":"virality","units":20349},{"loop":"health:husd","units":7653}]},"hours":[{"hour":"2026-11-08T07","calls":5408,"unitsEst":178221},{"hour":"2026-11-08T08","calls":16535,"unitsEst":559172},{"hour":"2026-11-08T09","calls":20131,"unitsEst":755538},{"hour":"2026-11-08T10","calls":20568,"unitsEst":748071},{"hour":"2026-11-08T11","calls":18662,"unitsEst":634911},{"hour":"2026-11-08T12","calls":17170,"unitsEst":609943},{"hour":"2026-11-08T13","calls":19476,"unitsEst":637058},{"hour":"2026-11-08T14","calls":17385,"unitsEst":561563},{"hour":"2026-11-08T15","calls":20047,"unitsEst":756948},{"hour":"2026-11-08T16","calls":17672,"unitsEst":621795},{"hour":"2026-11-08T17","calls":19172,"unitsEst":715346},{"hour":"2026-11-08T18","calls":11889,"unitsEst":398213}],"note":"units are an estimate from a public per-method weight table, not the provider's invoice; metered is the keyed endpoint, public the chain's own node"}},"mm":{"enabled":true,"analyst":"on","breakerTripped":false,"bookEth":"0.881231413808553724","book":{"bookEth":"0.881231413808553724","wethEth":"0.411319432461705452","nativeEth":"0.47463250347029531","deployableEth":"0.884951935932000762","earmarkedEth":"0.003720522123447038","readAt":"2026-11-08T18:40:23.624Z"},"tapeSamples":240,"lastDecision":{"t":1794163208301,"verdict":"BUY","read":{"samples":240,"rsi":100,"momentumBps":8,"volatilityBps":7,"streak":0,"buyScore":25,"volumeFactorPct":100},"aggression":20,"advisor":"RSI pinned at 100 on a slow stair-step higher, so trim below the deterministic score and wait for a flat or red tape.","record":"401 judged buys, 53% followed by a higher price a day on","cappedSpendEth":"0.004","volume":"100% of this token's median volume","spendEth":"0.0005","sizePct":50},"totalBoughtEth":"14.53308447515781","flywheelBoughtEth":"13.018360475157811503","manualBoughtEth":"1.514724","autoTrackedManualEth":"0","autoTrackedManualTokens":"19975916","totalBurnedFormatted":"101,649,221 HARMONIC","burnedRawOnChain":"101649221310864934617335925","burntRatePct":10.16,"burnAddress":"0x000000000000000000000000000000000000dEaD","flywheelBurnedFormatted":"62,653,343 HARMONIC","agentBurnedRaw":"62653342948931375062849981","degradedReason":null},"market":{"configured":true,"samples":288,"latest":{"ts":1794163082229,"priceUsd":0.001913,"marketCap":1718645,"liquidityUsd":120985.32,"volume24h":80616.87,"holders":3249,"holdersBlock":"109438439","holdersVia":"chain","burnedRaw":"101648649796889960334286246"},"ageSec":141,"degradedReason":null},"poster":{"postingEnabled":true,"voice":"aristotle, ready","facts":{"bankSize":26,"theorems":22,"openProblems":4,"qed":{"proved":261,"checks":261,"failed":[],"totalMs":2608.49,"provedAt":"2026-11-08T07:42:58.753Z"},"aristotle":"armed (see the lean block for queue state)"},"lastPostAt":"2026-11-08T17:05:27.029Z","lastReplyAt":"2026-11-07T18:26:38.321Z","lastReplySweepAt":"2026-11-08T18:34:03.765Z","mentionsWaitingLastSweep":0,"repliesTriedLastSweep":0,"repliesLandedLastSweep":0,"sentLast24h":6,"repliesLast24h":1,"writesLast24h":7,"dailyMax":"uncapped","replyPacing":{"batchPerSweep":3,"spacingSecs":6,"perHandlePerHour":3,"sweepSecs":180},"timeline":{"record":"252 posts filed, 242 graded by their readers, 116 at or above the median, 3 gone from X; 10 open, 4 due","grading":"graded today at 01:01 UTC: 6 posts read in one call, 3 at or above the median, 3 under","readSpentToday":true,"readCeiling":"one batched read of the agent's own posts a day, at most a hundred ids, never a second whatever happens","leans":"leaning toward a reaction to a watched account (1.187), toward the plates (1.182), toward what shipped (1.092), toward an open question (1.021), toward the flywheel (1.021), away from a revised belief (0.979), away from the thread (0.949), away from a hypothesis (0.905), away from a connection (0.896), away from Harmonic World (0.771), away from Overtone (0.664), away from the prediction desk (0.521); every other subject sits at one","weights":{"reaction":1.187,"plate":1.182,"shipped":1.092,"question":1.021,"flywheel":1.021,"revision":0.979,"thread":0.949,"hypothesis":0.905,"connection":0.896,"world":0.771,"overtone":0.664,"predictions":0.521},"day":"2026-11-08"},"families":{"plate":2,"news":0,"working":2,"mind":1,"product":1,"lastAt":{"product":1794099701708,"mind":1794143052996,"news":1794013007864,"plate":1794128608002,"working":1794157527029},"hours":24},"familiesWeek":{"plate":14,"news":4,"working":11,"mind":7,"product":5,"lastAt":{"product":1794099701708,"mind":1794143052996,"news":1794013007864,"plate":1794128608002,"working":1794157527029},"hours":168},"discards":{"near-duplicate":{"count":1,"lastAt":"2026-11-04T12:34:06.531Z","subject":"organonmarket"},"repeated-topic":{"count":2,"lastAt":"2026-11-04T12:32:50.179Z","subject":"reaction"}},"nextPostAt":"2026-11-08T21:05:27.029Z","overdueBySec":0,"lastPostError":null,"lastPost":"P vs NP asks whether every problem whose answer you can check quickly is also one you can solve quickly. Nobody knows. A million-dollar priz","posts":60,"degradedReason":null},"pulse":{"watching":["HarmonicMath","tachim","vladtenev","RobinhoodCrypto"],"stored":{"tachim":4,"vladtenev":4,"HarmonicMath":4,"RobinhoodCrypto":4}},"pulseReact":{"mode":"off","perAccountPerDay":1,"perDay":2,"reactedToday":0,"reactedTotal":0,"skippedTotal":0,"last":null},"x":{"mode":"live","paused":false,"rateUntil":null,"authUntil":1793607205877,"cryptoAddressBlocked":false,"cryptoUntil":1789011252447,"readsUsed":14477,"readBudget":200000,"searchToken":true,"searchReadsUsed":17587,"searchBudget":60000,"timelineReads":{"harmonicmath":{"at":"2026-11-08T18:13:00.353Z","via":"account","cursor":true,"pages":1,"posts":0,"more":false,"errors":[],"error":null,"why":null},"tachim":{"at":"2026-11-08T18:13:00.653Z","via":"app","cursor":true,"pages":1,"posts":0,"more":false,"errors":[],"error":null,"why":"the posting account's read answered nothing, with no cursor and no next page (the app token's since 2026-11-07)"},"vladtenev":{"at":"2026-11-08T18:13:00.873Z","via":"account","cursor":true,"pages":1,"posts":0,"more":false,"errors":[],"error":null,"why":null},"robinhoodcrypto":{"at":"2026-11-08T18:13:01.081Z","via":"account","cursor":true,"pages":1,"posts":0,"more":false,"errors":[],"error":null,"why":null},"harmonichq":{"at":"2026-11-08T18:12:59.899Z","via":"account","cursor":true,"pages":1,"posts":0,"more":false,"errors":[],"error":null,"why":null},"harmonicagents":{"at":"2026-11-08T18:13:00.174Z","via":"account","cursor":true,"pages":1,"posts":0,"more":false,"errors":[],"error":null,"why":null}},"degradedReason":null},"lean":{"backend":"aristotle","engine":"Lean 4 via Harmonic Aristotle","enabled":true,"configured":true,"caps":{"maxInFlight":1,"maxPerDay":8,"breakerThreshold":3,"maxAttempts":2,"maxResultAttempts":3,"maxTaskAgeHours":30},"submissionsLast24h":1,"breaker":{"consecutiveFailures":1,"open":false,"openedAt":null,"trialAt":null,"nextTrialAt":null},"counts":{"eligible":287,"machineChecked":226,"inFlight":0,"notVerified":26,"checkedIn":15,"waitingForLean":5},"intake":{"closed":true,"since":"2026-10-27T21:12:16.877Z","lastSeenAt":"2026-11-07T00:34:12.827Z","lastProbeAt":"2026-11-08T00:29:25.293Z","nextProbeAt":"2026-11-09T00:29:25.293Z","words":"I didn't check, repair or prove the ERC-8004 registration-file theorems. You asked for a standalone Lean 4 / Mathlib proof and gave a candidate Lean proof, but no source code in a supported language was included, and this type of request isn't currently supported. No Lean file was created or built.","refusals":13,"reopenedAt":null},"coverage":{"desks":72,"covered":71,"bare":[{"desk":"hookrsplit","facts":1,"firstWaiting":"hookrsplit-the-cut-is-the-service-share-of-each-collection-and-the-principal-goes-only-to-the-launcher"}],"checkedInOnly":["erc8004","mindask","organontrade","poiesis","rehearsal"],"allCovered":false,"next":{"factId":"mindask-a-paid-answer-settles-only-after-delivery-and-nothing-to-say-releases-the-coin","desk":"mindask"}},"checkedIn":[{"file":"Activity.lean","facts":["activity-a-change-is-measured-between-two-whole-windows","activity-a-forecast-is-graded-a-hit-exactly-when-what-happened-lies-in-its-band","activity-the-forecast-band-holds-its-point-and-widens-with-its-errors"],"bytes":20409,"sourceHash":"471782f35229a80bedf758777df7c8672093c704d057c2ed82e3faf984902490","toolchain":"leanprover/lean4:v4.22.0","axioms":["Classical.choice","Quot.sound","propext"],"checkedAt":"2026-11-07T04:50:00.066Z","current":true,"why":null,"url":"/api/lean/bank/Activity.lean"},{"file":"Erc8004Identity.lean","facts":["erc8004-a-file-is-an-agents-only-when-it-names-it-back"],"bytes":4566,"sourceHash":"abf09654f584eb1a63c88eb9c4ae9f7db3684a09706caf4951fe2b4ddb5c5864","toolchain":"leanprover/lean4:v4.22.0","axioms":["Quot.sound","propext"],"checkedAt":"2026-11-07T04:50:00.451Z","current":true,"why":null,"url":"/api/lean/bank/Erc8004Identity.lean"},{"file":"MindAsk.lean","facts":["mindask-a-paid-answer-settles-only-after-delivery-and-nothing-to-say-releases-the-coin"],"bytes":5117,"sourceHash":"e75e229340692f9281b27e91fe0964e48a19b7b72bb83202a8530275f92cc3cb","toolchain":"leanprover/lean4:v4.22.0","axioms":["propext"],"checkedAt":"2026-11-07T04:50:00.834Z","current":true,"why":null,"url":"/api/lean/bank/MindAsk.lean"},{"file":"Organon.lean","facts":["organon-a-reserved-drop-is-minted-by-its-minter-only","organon-every-token-of-a-drop-gets-its-own-piece","organon-every-wei-of-a-mint-buys-and-burns","organon-the-drops-never-pass-1111"],"bytes":8184,"sourceHash":"28b36bb790aeb29df2e07c6104a7a984a8481fa670b0017e03804030d394c18f","toolchain":"leanprover/lean4:v4.22.0","axioms":["Classical.choice","Quot.sound","propext"],"checkedAt":"2026-11-07T04:50:01.992Z","current":true,"why":null,"url":"/api/lean/bank/Organon.lean"},{"file":"OrganonMarket.lean","facts":["organon-a-listing-pays-out-exactly-its-price"],"bytes":3355,"sourceHash":"e47d5a52d669b54276e604b1a33387e1f8a68a4d5f5f9b323e710b1f72ab7b54","toolchain":"leanprover/lean4:v4.22.0","axioms":["Classical.choice","Quot.sound","propext"],"checkedAt":"2026-11-07T04:50:02.392Z","current":true,"why":null,"url":"/api/lean/bank/OrganonMarket.lean"},{"file":"OrganonWalletLink.lean","facts":["organon-a-wallet-is-linked-only-by-its-own-signature"],"bytes":3948,"sourceHash":"47f24d6bc23aec936a29260339ea8eecb32057365d6d5c880c40f9846d4a7046","toolchain":"leanprover/lean4:v4.22.0","axioms":["propext"],"checkedAt":"2026-11-07T04:50:02.621Z","current":true,"why":null,"url":"/api/lean/bank/OrganonWalletLink.lean"},{"file":"Poiesis.lean","facts":["poiesis-funded-spreads-conserve-collateral-and-premium"],"bytes":6604,"sourceHash":"33fbd5250086156f087fd843f5cc5e17dae6345df6e31620ed371891a4d9991c","toolchain":"leanprover/lean4:v4.22.0","axioms":["Quot.sound","propext"],"checkedAt":"2026-11-07T04:50:12.054Z","current":true,"why":null,"url":"/api/lean/bank/Poiesis.lean"},{"file":"Rehearsal.lean","facts":["rehearsal-a-verdict-flags-only-a-bound-that-was-asked-and-broken"],"bytes":8757,"sourceHash":"3f7448d831ecacc646587d8adad7217b6d94ef6a51d02ddf5bf5ecebd55adee6","toolchain":"leanprover/lean4:v4.22.0","axioms":["propext"],"checkedAt":"2026-11-07T04:50:12.537Z","current":true,"why":null,"url":"/api/lean/bank/Rehearsal.lean"},{"file":"SafeHeld.lean","facts":["safe-an-unread-balance-is-never-a-zero"],"bytes":2916,"sourceHash":"27b6150ece8af62bb16346b54ffcd7f59c95756f0473b7decef3b5ff267be025","toolchain":"leanprover/lean4:v4.22.0","axioms":["Classical.choice","Quot.sound","propext"],"checkedAt":"2026-11-07T04:50:12.819Z","current":true,"why":null,"url":"/api/lean/bank/SafeHeld.lean"},{"file":"SafeWash.lean","facts":["safe-a-wash-cycle-is-a-ring-sell-and-a-ring-buy-each-trade-once"],"bytes":9557,"sourceHash":"aec1b2f53e4dae27f012944c1c3a5213a410cff76b116e74c664cfdeb062b3a1","toolchain":"leanprover/lean4:v4.22.0","axioms":["Classical.choice","Quot.sound","propext"],"checkedAt":"2026-11-07T04:50:13.421Z","current":true,"why":null,"url":"/api/lean/bank/SafeWash.lean"}],"learning":{"desk":"lean","minSettled":10,"sources":{"invariant":{"settled":147,"right":111,"rate":0.755,"prior":false,"p":0.7551020408163265},"mandate":{"settled":0,"right":0,"rate":null,"prior":true,"p":0.5},"theorem":{"settled":0,"right":0,"rate":null,"prior":true,"p":0.5},"solve":{"settled":0,"right":0,"rate":null,"prior":true,"p":0.5},"frontier":{"settled":0,"right":0,"rate":null,"prior":true,"p":0.5}},"order":["invariant","mandate","theorem","solve","frontier"],"retry":{"carryChars":600,"carrying":0},"at":"2026-11-08T07:43:27.126Z"},"machineChecked":[{"factId":"pnt","projectId":"77c2fbee-c275-425f-bfab-7ef25134be42","taskId":"bc34f985-0252-420d-b3c6-bc798c696a9e","completedAt":"2026-08-30T22:47:28.188Z","file":"bc34f985-0252-420d-b3c6-bc798c696a9e_aristotle/RequestProject/ChebyshevLimit.lean","bytes":11542,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"basel","projectId":"eafc8e23-8460-4234-94a7-d9b7114c0905","taskId":"865ef240-0e1d-4b71-8ddc-3794715089ad","completedAt":"2026-08-27T22:50:37.479Z","file":"865ef240-0e1d-4b71-8ddc-3794715089ad_aristotle/RequestProject/Basel.lean","bytes":1974,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"bayes","projectId":"c1558b4a-671e-4f4d-a832-ee3331a422ac","taskId":"b3312ee9-15cc-4407-bae8-96203b8cbca1","completedAt":"2026-09-06T23:42:35.633Z","file":"b3312ee9-15cc-4407-bae8-96203b8cbca1_aristotle/RequestProject/Bayes.lean","bytes":1587,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"godel","projectId":"09236bfa-dc2a-4ea6-9e19-808749b49d2c","taskId":"a8551fd0-eddc-4cae-8fa7-6704163e3c6f","completedAt":"2026-09-01T00:49:45.388Z","file":"a8551fd0-eddc-4cae-8fa7-6704163e3c6f_aristotle/RequestProject/Godel.lean","bytes":6247,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"cantor","projectId":"bcbda03f-ef73-4198-867e-f895af1d69ea","taskId":"4ff03cc5-36e0-4d09-a474-cd321ca3ce50","completedAt":"2026-08-31T23:31:21.482Z","file":"4ff03cc5-36e0-4d09-a474-cd321ca3ce50_aristotle/RequestProject/CantorUncountable.lean","bytes":2409,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"golden","projectId":"7bd64500-8805-4680-ba30-8cde0b5403e5","taskId":"652390a0-f9a5-4c53-92f2-4cfb5ebf2848","completedAt":"2026-09-06T01:58:10.125Z","file":"652390a0-f9a5-4c53-92f2-4cfb5ebf2848_aristotle/RequestProject/GoldenRatio.lean","bytes":1373,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"brouwer","projectId":"6a7d2f14-0945-4060-a216-741905f9898c","taskId":"1440f2d8-a79c-4f26-bb4a-7cdc03bb68bd","completedAt":"2026-09-07T23:57:11.486Z","file":"1440f2d8-a79c-4f26-bb4a-7cdc03bb68bd_aristotle/RequestProject/CoffeeCup.lean","bytes":11780,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"taxicab","projectId":"fbfadf50-00d2-4f58-88d0-cff34f8a77b1","taskId":"eb872974-c5c2-46ab-85c3-0039ef5fc3b5","completedAt":"2026-09-05T23:17:38.173Z","file":"eb872974-c5c2-46ab-85c3-0039ef5fc3b5_aristotle/RequestProject/Taxicab.lean","bytes":2353,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"birthday","projectId":"9c0c0099-8677-460a-b991-787e0b68135c","taskId":"e158b4f3-9bbd-4752-92c0-eae960cb60cf","completedAt":"2026-08-31T00:37:24.618Z","file":"e158b4f3-9bbd-4752-92c0-eae960cb60cf_aristotle/RequestProject/Birthday.lean","bytes":2361,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"monty-hall","projectId":"7b123996-29da-4f1e-acf3-3e89fc13069b","taskId":"e08dc6a7-2e5c-4f25-ab12-a4827b658bfc","completedAt":"2026-08-31T22:06:21.375Z","file":"e08dc6a7-2e5c-4f25-ab12-a4827b658bfc_aristotle/RequestProject/MontyHall.lean","bytes":6723,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"point-nine","projectId":"10179863-1b8f-47f9-a90b-578188ffa87e","taskId":"666fbcda-0ef5-4d70-aa4b-beebc76f4c9e","completedAt":"2026-08-31T22:26:21.394Z","file":"666fbcda-0ef5-4d70-aa4b-beebc76f4c9e_aristotle/RequestProject/PointNineRepeating.lean","bytes":1522,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"e-irrational","projectId":"bc771ef2-53f7-4bcd-bbd0-c7d51d589ed4","taskId":"55ad403a-27a3-4951-85a5-fb2354cefe61","completedAt":"2026-09-07T04:39:34.299Z","file":"55ad403a-27a3-4951-85a5-fb2354cefe61_aristotle/RequestProject/EIrrational.lean","bytes":4444,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"burn-monotone","projectId":"adec98a5-ad62-49e5-b589-fb28337420e5","taskId":"81812435-4da5-4120-b3a9-5d80deb3625c","completedAt":"2026-09-01T22:28:47.701Z","file":"81812435-4da5-4120-b3a9-5d80deb3625c_aristotle/RequestProject/Main.lean","bytes":6620,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"buy-then-burn","projectId":"a29aaf89-c7be-4bae-8865-a087dec13711","taskId":"9849ef83-6585-469f-962b-34b8f28fb29c","completedAt":"2026-09-01T22:52:36.594Z","file":"9849ef83-6585-469f-962b-34b8f28fb29c_aristotle/RequestProject/BuyThenBurn.lean","bytes":3064,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"euclid-primes","projectId":"9fc984f4-76ee-47f9-97a6-84d0ee059d59","taskId":"77bbe667-b7ae-4c4a-81eb-669bea5f6ff7","completedAt":"2026-08-28T21:29:38.047Z","file":"77bbe667-b7ae-4c4a-81eb-669bea5f6ff7_aristotle/RequestProject/Euclid.lean","bytes":1141,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"euler-formula","projectId":"4dd77a26-e096-4df4-a8c6-61f8ad0eb19d","taskId":"e2b08ef3-813a-4ef1-9de0-789b3aa0d52f","completedAt":"2026-08-28T22:48:33.655Z","file":"e2b08ef3-813a-4ef1-9de0-789b3aa0d52f_aristotle/RequestProject/EulerFormula.lean","bytes":1031,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"alloc-conserves","projectId":"388c840d-9744-4b89-9ade-bb943565314a","taskId":"f1732eb2-defe-4c11-bf07-949a3161ec4f","completedAt":"2026-08-29T22:20:47.940Z","file":"f1732eb2-defe-4c11-bf07-949a3161ec4f_aristotle/RequestProject/Alloc.lean","bytes":3081,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"index-daily-cap","projectId":"3ad55642-cee7-4c93-bfdf-44ac5fb8995d","taskId":"dca32a7b-505f-43d5-bce5-f47fa8810b1c","completedAt":"2026-09-02T23:33:06.026Z","file":"dca32a7b-505f-43d5-bce5-f47fa8810b1c_aristotle/RequestProject/WindowCap.lean","bytes":3240,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"alloc-burn-floor","projectId":"5775f20c-14b3-42f8-b469-2492f187cc33","taskId":"2f8b9aa9-dd99-43b8-a7cf-4cd50e468108","completedAt":"2026-08-29T22:01:38.190Z","file":"2f8b9aa9-dd99-43b8-a7cf-4cd50e468108_aristotle/RequestProject/Main.lean","bytes":4164,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"alloc-sums-exact","projectId":"9c8afb34-aa8e-47ef-928a-aed1537326be","taskId":"27f5ffcb-e3df-4339-9d54-a97c219d46f4","completedAt":"2026-08-29T21:42:44.836Z","file":"27f5ffcb-e3df-4339-9d54-a97c219d46f4_aristotle/RequestProject/NormalizeWeights.lean","bytes":7078,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"solve-b95a2a.2.1","projectId":"a34354c2-d768-4fd9-8d78-0c7ee03634dc","taskId":"3798f600-5acd-4d33-b36f-00fac911c642","completedAt":"2026-09-11T18:36:22.633Z","file":"3798f600-5acd-4d33-b36f-00fac911c642_aristotle/RequestProject/PowFiveSubSelf.lean","bytes":2942,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"solve-b95a2a.4.1","projectId":"e5a6c9f3-f753-4fd6-8ecb-560caf55b992","taskId":"664f8c99-d099-49aa-b635-f4dbcf91d078","completedAt":"2026-09-12T00:22:59.632Z","file":"664f8c99-d099-49aa-b635-f4dbcf91d078_aristotle/RequestProject/PowFiveSubSelf.lean","bytes":746,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"solve-b95a2a.5.1","projectId":"f8728289-6ded-4fd7-8dbd-2380ee9e15ac","taskId":"98837719-6c83-4fdc-8c3d-2e9049e45b32","completedAt":"2026-09-12T00:57:59.630Z","file":"98837719-6c83-4fdc-8c3d-2e9049e45b32_aristotle/RequestProject/CombinationStep.lean","bytes":2768,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"sqrt2-irrational","projectId":"af410c9a-2283-4fc0-8e85-753708cc0a6c","taskId":"c1c24696-fa46-455b-843d-37bbe77e95b0","completedAt":"2026-08-28T21:57:30.155Z","file":"c1c24696-fa46-455b-843d-37bbe77e95b0_aristotle/RequestProject/Sqrt2Irrational.lean","bytes":2041,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"gaussian-integral","projectId":"dea91d90-b764-490d-959d-3ee9e9c3bd34","taskId":"0c62bf2d-7d31-4cbc-8873-cb8dfc7adcf6","completedAt":"2026-08-28T22:23:09.966Z","file":"0c62bf2d-7d31-4cbc-8873-cb8dfc7adcf6_aristotle/RequestProject/GaussianIntegral.lean","bytes":818,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"harmonic-diverges","projectId":"e752048a-e527-41a3-9b25-99d60de5de48","taskId":"3904407c-7eac-41f6-ba2b-356ca3cf5947","completedAt":"2026-08-27T22:15:37.231Z","file":"3904407c-7eac-41f6-ba2b-356ca3cf5947_aristotle/RequestProject/HarmonicDiverges.lean","bytes":4554,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"no-mint-reachable","projectId":"f0973af2-9fac-4441-84e6-b9b676c94128","taskId":"edc4353a-f5fb-4237-a1cd-ba5230f3bef0","completedAt":"2026-09-01T23:31:52.429Z","file":"edc4353a-f5fb-4237-a1cd-ba5230f3bef0_aristotle/RequestProject/Main.lean","bytes":5768,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"pool-day-caps-hold","projectId":"9e593d18-36d1-47fb-9328-04849a4bd348","taskId":"0f7a1931-60ff-4206-ab1f-37bb6f0c1ce8","completedAt":"2026-09-17T02:23:08.879Z","file":"0f7a1931-60ff-4206-ab1f-37bb6f0c1ce8_aristotle/RequestProject/BountyDesk.lean","bytes":2904,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"desk-size-is-bounded","projectId":"e032ba8a-4907-416c-ab75-2f900e7df1fa","taskId":"1b5fc735-28be-4c00-a399-ec61aeb5104f","completedAt":"2026-09-05T01:33:04.357Z","file":"1b5fc735-28be-4c00-a399-ec61aeb5104f_aristotle/RequestProject/DeskSize.lean","bytes":898,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"edge-floor-only-rises","projectId":"50425bf6-abf5-4999-83d0-5efea73d6e5c","taskId":"c77644dd-b9f4-44ba-b189-b5972d6c6645","completedAt":"2026-09-24T20:29:35.220Z","file":"c77644dd-b9f4-44ba-b189-b5972d6c6645_aristotle/RequestProject/EdgeFloor.lean","bytes":1612,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"frontier-goldbach-5-1","projectId":"bbf3561c-ed6b-4ba3-8e63-1be7866a1a1d","taskId":"70884a10-44e5-4b2d-8746-c18fdbd65a3e","completedAt":"2026-09-27T03:09:50.086Z","file":"70884a10-44e5-4b2d-8746-c18fdbd65a3e_aristotle/RequestProject/Goldbach.lean","bytes":3382,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"mandate-per-trade-cap","projectId":"fccaadd3-9551-4d16-ab26-6dbdb4208795","taskId":"a0ac06a1-cbf9-46f8-b51e-5fe04f774ae7","completedAt":"2026-09-22T03:35:07.713Z","file":"a0ac06a1-cbf9-46f8-b51e-5fe04f774ae7_aristotle/RequestProject/Main.lean","bytes":4059,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"stake-under-every-cap","projectId":"0c166bcd-932c-4923-93d4-ca491ce17394","taskId":"6f78c137-2166-4e00-bf33-ab262f43bbef","completedAt":"2026-10-08T09:03:28.657Z","file":"6f78c137-2166-4e00-bf33-ab262f43bbef_aristotle/RequestProject/KellyStake.lean","bytes":2491,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"supply-non-increasing","projectId":"9e2ad0b5-f271-4cc8-8db6-b87ebde30e97","taskId":"818a493e-5b97-4821-994d-9af2ccab83e2","completedAt":"2026-08-30T21:50:42.800Z","file":"818a493e-5b97-4821-994d-9af2ccab83e2_aristotle/RequestProject/Main.lean","bytes":8730,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"fill-veto-only-refuses","projectId":"3b516544-9f71-4422-84ad-8b3f022f5028","taskId":"33e55711-e290-464b-9048-b5e10d192b14","completedAt":"2026-10-15T11:20:48.529Z","file":"33e55711-e290-464b-9048-b5e10d192b14_aristotle/RequestProject/FillVeto.lean","bytes":1766,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"desk-ladder-first-blood","projectId":"6a9665c3-4cff-4721-8c37-3aa57d917aa6","taskId":"d74321fd-73ad-40e5-9151-e699235c0481","completedAt":"2026-09-04T23:07:32.253Z","file":"d74321fd-73ad-40e5-9151-e699235c0481_aristotle/RequestProject/DeskLadder.lean","bytes":2159,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"mining-grid-split-exact","projectId":"a8ad51dc-9e17-4bb0-bcaa-0c84c0962a38","taskId":"da845cf7-9a2c-4591-b6d3-4532cdf617d6","completedAt":"2026-09-14T01:19:04.904Z","file":"da845cf7-9a2c-4591-b6d3-4532cdf617d6_aristotle/RequestProject/MiningGridSplit.lean","bytes":693,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"alloc-drift-favours-burn","projectId":"5fedc020-e04a-47fc-b837-4e82b9e11abe","taskId":"a592d550-9291-4ff1-9fe4-24d731ce5d30","completedAt":"2026-08-29T22:56:43.766Z","file":"a592d550-9291-4ff1-9fe4-24d731ce5d30_aristotle/RequestProject/BurnRounding.lean","bytes":2773,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"index-mint-never-dilutes","projectId":"b09ebdca-ff26-4801-a629-ce476449e53a","taskId":"77f1523b-7a4b-43a0-bb63-b5dffc486141","completedAt":"2026-09-02T22:33:06.213Z","file":"77f1523b-7a4b-43a0-bb63-b5dffc486141_aristotle/RequestProject/MintNeverDilutes.lean","bytes":1537,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"risk-modulation-monotone","projectId":"5bdf2dc5-f91f-4036-92f3-c345b2c8b5ea","taskId":"906bb4ff-357a-4cc3-84d4-4a18b314498a","completedAt":"2026-09-03T22:41:37.404Z","file":"906bb4ff-357a-4cc3-84d4-4a18b314498a_aristotle/RequestProject/Main.lean","bytes":5095,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"stock-a-week-is-its-days","projectId":"a712c491-280a-49ba-a5d6-a7a7e7cf1d9b","taskId":"a64ab5c1-b932-4052-a6d3-4b0edfb3fa74","completedAt":"2026-10-21T18:07:33.551Z","file":"RequestProject/WeeklyBar.lean","bytes":3138,"toolchain":null},{"factId":"bond-one-verdict-per-fill","projectId":"3690e640-5bac-47b5-9c33-bafda0634dfd","taskId":"074dbf47-7b78-4381-b2c6-22dab06c5ce8","completedAt":"2026-10-25T22:10:09.391Z","file":"RequestProject/BondVerdict.lean","bytes":1825,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"learned-veto-only-refuses","projectId":"3c8043bf-29e2-4122-9cad-6734dc8afa11","taskId":"63bb8aea-27ea-42e2-957c-f712cacc3d55","completedAt":"2026-09-10T23:36:58.505Z","file":"63bb8aea-27ea-42e2-957c-f712cacc3d55_aristotle/RequestProject/LearnedVeto.lean","bytes":3458,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"agent-mandate-clauses-hold","projectId":"34659c3a-67d0-4de1-bd1b-16cf55139712","taskId":"bf065f71-11ab-4ce1-8b3e-e3547efc4546","completedAt":"2026-09-20T19:42:10.838Z","file":"bf065f71-11ab-4ce1-8b3e-e3547efc4546_aristotle/RequestProject/Main.lean","bytes":14726,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"desk-nothing-past-the-bond","projectId":"b4e766fd-7ba8-498a-8864-5913266e7aae","taskId":"6a1ce611-54e2-4e19-8174-548ed296cba7","completedAt":"2026-09-17T00:58:08.425Z","file":"6a1ce611-54e2-4e19-8174-548ed296cba7_aristotle/RequestProject/DeskNothingPastTheBond.lean","bytes":1888,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"flywheel-record-only-eases","projectId":"c8be4095-ae48-463c-a4a7-948def656dcf","taskId":"e5f0781c-bee0-4050-b5c8-e38830ad12c6","completedAt":"2026-09-23T03:09:29.535Z","file":"e5f0781c-bee0-4050-b5c8-e38830ad12c6_aristotle/RequestProject/FlywheelRecord.lean","bytes":1622,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"zap-send-covers-the-basket","projectId":"0db95fb2-55ca-47e6-92fb-7ef5566d51e9","taskId":"205bc16f-a2bc-4c99-847c-6fbddb18664b","completedAt":"2026-09-30T05:26:58.520Z","file":"205bc16f-a2bc-4c99-847c-6fbddb18664b_aristotle/RequestProject/ZapSend.lean","bytes":1877,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"agent-badge-never-rounds-up","projectId":"79c405fd-d057-4a3f-b8d9-197b44716ffa","taskId":"ee9d313b-5e6c-4575-91b0-14dd531c0c8c","completedAt":"2026-09-27T04:35:53.647Z","file":"ee9d313b-5e6c-4575-91b0-14dd531c0c8c_aristotle/RequestProject/AgentBadge.lean","bytes":6843,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"depth-no-fill-during-a-halt","projectId":"a5df879a-f72c-4414-ad3f-d9f5cd0977a1","taskId":"503da578-59d4-41d6-b22c-597f43c3d1c6","completedAt":"2026-10-03T04:52:34.524Z","file":"503da578-59d4-41d6-b22c-597f43c3d1c6_aristotle/RequestProject/HaltGate.lean","bytes":5971,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"index-redeem-never-overpays","projectId":"9686cda2-5e8d-4f0a-8bc5-a80262e96f6f","taskId":"a898c193-1e56-46b8-9e16-9ceb1673e58c","completedAt":"2026-09-02T23:08:05.959Z","file":"a898c193-1e56-46b8-9e16-9ceb1673e58c_aristotle/RequestProject/Redeem.lean","bytes":4507,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"wilson-lower-bound-monotone","projectId":"feda696d-aa48-47da-9016-b900cf3b89d6","taskId":"482a21de-af12-483a-9249-4b10324012d4","completedAt":"2026-09-24T03:38:47.622Z","file":"482a21de-af12-483a-9249-4b10324012d4_aristotle/RequestProject/WilsonLowerBound.lean","bytes":5062,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"borrow-cushion-only-tightens","projectId":"a8400dec-df89-474b-aeb8-7ef2ccef2e0b","taskId":"7bcecc03-ddbc-407e-aca8-0b2b46cf0a67","completedAt":"2026-10-10T07:46:18.797Z","file":"7bcecc03-ddbc-407e-aca8-0b2b46cf0a67_aristotle/RequestProject/BorrowCushion.lean","bytes":5260,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"dial-never-leaves-its-bounds","projectId":"d8a8cd7a-c38c-4854-9cb0-0c1347d688c9","taskId":"7e20f411-9769-41d0-9a46-e2468ad64606","completedAt":"2026-10-11T08:20:55.726Z","file":"7e20f411-9769-41d0-9a46-e2468ad64606_aristotle/RequestProject/DialBounds.lean","bytes":948,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"seal-tightening-is-immediate","projectId":"5db6c49c-84fd-4628-9410-f1ad0d5077bf","taskId":"0ef33547-3b2d-4f3a-bbc9-889044f2774a","completedAt":"2026-09-21T03:15:18.096Z","file":"0ef33547-3b2d-4f3a-bbc9-889044f2774a_aristotle/RequestProject/SealTightening.lean","bytes":2740,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"solve-check-needs-two-others","projectId":"edcacc80-31a5-47e9-8112-cffeabbe3db2","taskId":"eb2ff8e2-d726-438a-862b-4b0a94be1caf","completedAt":"2026-09-25T02:37:55.196Z","file":"eb2ff8e2-d726-438a-862b-4b0a94be1caf_aristotle/RequestProject/CheckNeedsTwoOthers.lean","bytes":2666,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"stake-only-shrinks-by-record","projectId":"cf30b2e9-9b20-4d67-a654-41bfb0467f5c","taskId":"8a6d66d1-438a-4e00-b948-0c4cc4f78cdc","completedAt":"2026-10-20T18:26:35.408Z","file":"RequestProject/StakeRecord.lean","bytes":2438,"toolchain":null},{"factId":"brain-timing-is-a-record-only","projectId":"baf565bd-2c00-4eb6-831d-1e44a72f3704","taskId":"491d09f0-e578-4e3f-a1bf-b0d50c21b476","completedAt":"2026-10-13T10:46:27.483Z","file":"491d09f0-e578-4e3f-a1bf-b0d50c21b476_aristotle/RequestProject/BrainTiming.lean","bytes":5837,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"factory-spend-under-every-cap","projectId":"85e3741a-f0ad-467f-a9ed-caee2a32f675","taskId":"3ed0c3ee-5912-4726-b46b-c1f5b3e35cae","completedAt":"2026-09-14T00:48:40.745Z","file":"3ed0c3ee-5912-4726-b46b-c1f5b3e35cae_aristotle/RequestProject/FactorySpend.lean","bytes":2584,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"index-swap-scale-only-shrinks","projectId":"b333cdcf-07fd-41dd-99f0-c8298e2db129","taskId":"120a184d-5592-4e80-aadd-24dc80645d59","completedAt":"2026-09-16T00:46:06.568Z","file":"120a184d-5592-4e80-aadd-24dc80645d59_aristotle/RequestProject/SwapScale.lean","bytes":3166,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"refusals-are-scored-like-buys","projectId":"898ec8b9-78f7-451d-98ac-930c921a1a4c","taskId":"03b9fbcf-af56-43ad-9524-b226de5650f5","completedAt":"2026-10-11T09:41:29.985Z","file":"03b9fbcf-af56-43ad-9524-b226de5650f5_aristotle/RequestProject/RefusalScoring.lean","bytes":1792,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"roundtable-one-piece-one-vote","projectId":"5bf1c53d-ea3a-491b-9818-05c5e1ce172f","taskId":"fe485d47-67e4-4d4e-a4fb-44d12fec8a30","completedAt":"2026-10-21T16:17:32.494Z","file":"RequestProject/Roundtable.lean","bytes":29262,"toolchain":null},{"factId":"band-payoff-is-never-one-trade","projectId":"d3973cbf-2b06-4c12-96d9-625fb2b89e5e","taskId":"f8b692d1-eeab-4f60-99b0-b843b5f1b1c7","completedAt":"2026-10-10T06:46:24.504Z","file":"f8b692d1-eeab-4f60-99b0-b843b5f1b1c7_aristotle/RequestProject/BandPayoff.lean","bytes":9396,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"crew-veto-and-proven-exclusive","projectId":"21b85e9a-7dea-4bc9-87d4-47a3fd2114f2","taskId":"9385e128-d5bd-41ab-b5b8-420ece2f3d47","completedAt":"2026-10-02T06:05:42.057Z","file":"9385e128-d5bd-41ab-b5b8-420ece2f3d47_aristotle/RequestProject/CrewVetoProvenExclusive.lean","bytes":985,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"desk-ev-rule-is-the-inequality","projectId":"4cd1c34d-153f-444c-8180-6916408e337a","taskId":"21e70041-1808-45b4-9829-4c497c0dcfa3","completedAt":"2026-09-04T23:32:32.299Z","file":"21e70041-1808-45b4-9829-4c497c0dcfa3_aristotle/RequestProject/DeskEV.lean","bytes":2656,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"mandate-pause-stops-everything","projectId":"0043b8b2-8c98-44f8-bd3a-a147c4a5c120","taskId":"ea94c428-a2af-4c68-9cf6-b83b2f5d5d32","completedAt":"2026-09-29T04:27:26.406Z","file":"ea94c428-a2af-4c68-9cf6-b83b2f5d5d32_aristotle/RequestProject/PauseSeal.lean","bytes":1261,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"scorebook-keeps-every-open-row","projectId":"91edcb38-45b3-44ec-bd41-db1126bdcbfc","taskId":"169b8ee5-755e-4f9c-b3e7-3dd9a9968f5a","completedAt":"2026-09-16T19:12:23.999Z","file":"169b8ee5-755e-4f9c-b3e7-3dd9a9968f5a_aristotle/RequestProject/Scorebook.lean","bytes":6102,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-pool-too-thin-is-never-chosen","projectId":"23d785a3-479d-4d85-adf5-90a26983fb27","taskId":"8f05a975-e6e1-4409-8033-e8ccfb7aa096","completedAt":"2026-09-24T02:17:12.654Z","file":"8f05a975-e6e1-4409-8033-e8ccfb7aa096_aristotle/RequestProject/DepthFloor.lean","bytes":4533,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"claim-split-conserves-every-wei","projectId":"0d58d039-5d1d-41b3-b1ea-bf57e04222fa","taskId":"8e201fc7-d07b-495f-95e6-034bee07ee9f","completedAt":"2026-09-13T00:11:04.844Z","file":"8e201fc7-d07b-495f-95e6-034bee07ee9f_aristotle/RequestProject/ClaimSplit.lean","bytes":2346,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"rounding-can-only-reduce-supply","projectId":"6c2f5644-aa75-4d52-ad05-cf128993ef39","taskId":"87665d76-521d-453a-ac6b-f6a65c70adb8","completedAt":"2026-10-10T08:11:19.214Z","file":"87665d76-521d-453a-ac6b-f6a65c70adb8_aristotle/RequestProject/BuybackRemainder.lean","bytes":1775,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"band-refusal-needs-its-own-count","projectId":"9567b538-1547-4c7e-95f0-0b8ec4a2257c","taskId":"27ffe5b6-d95d-4e06-a73e-243b8c13430a","completedAt":"2026-09-15T01:16:01.822Z","file":"27ffe5b6-d95d-4e06-a73e-243b8c13430a_aristotle/RequestProject/BandRefusal.lean","bytes":3014,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"exec-slice-never-exceeds-the-cap","projectId":"7e896ac5-4e5e-4a07-b39a-b39f96ab85fc","taskId":"374992bf-e0ef-411a-9326-51cfbd3961fe","completedAt":"2026-09-21T01:24:49.491Z","file":"374992bf-e0ef-411a-9326-51cfbd3961fe_aristotle/RequestProject/SliceCap.lean","bytes":2216,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"index-self-limit-holds-a-quarter","projectId":"b42d92c4-f72c-4b0f-bc20-9018ed3241ac","taskId":"91cb0a49-72d3-45f9-9830-dc1befb92037","completedAt":"2026-09-23T03:37:55.495Z","file":"91cb0a49-72d3-45f9-9830-dc1befb92037_aristotle/RequestProject/RollingWindow.lean","bytes":2705,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"risk-weights-normalise-to-a-mean","projectId":"967c7459-b83f-4b9d-a776-c165e0a5e606","taskId":"847f885d-3962-4ba7-83c4-42d3984951b3","completedAt":"2026-10-08T07:38:28.287Z","file":"847f885d-3962-4ba7-83c4-42d3984951b3_aristotle/RequestProject/RiskWeights.lean","bytes":4154,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"band-boundaries-never-drop-a-fill","projectId":"90b0dbe4-776b-4977-a118-d608a61be453","taskId":"aa7238ce-56cd-4936-aea0-8a6b7afbcc1f","completedAt":"2026-09-27T21:08:24.817Z","file":"aa7238ce-56cd-4936-aea0-8a6b7afbcc1f_aristotle/RequestProject/Bands.lean","bytes":5161,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"bond-settlement-conserves-the-pot","projectId":"c8203f0d-e1f7-4d16-99f2-130e866e0449","taskId":"16d87878-f29c-4830-85ab-bba9026cc45e","completedAt":"2026-10-13T10:16:27.370Z","file":"16d87878-f29c-4830-85ab-bba9026cc45e_aristotle/RequestProject/BondSettlement.lean","bytes":4495,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"copy-learned-ceiling-never-widens","projectId":"13009b12-bd09-4b5f-bdf3-7fb150ebadc9","taskId":"26e36237-3203-4982-98a0-d295e930c79a","completedAt":"2026-10-08T08:03:29.064Z","file":"26e36237-3203-4982-98a0-d295e930c79a_aristotle/RequestProject/CopyCeiling.lean","bytes":2041,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"early-own-record-only-stands-down","projectId":"dd4fc883-2d52-46c8-a3f1-3415c131e345","taskId":"95605a09-b041-417a-8272-662cdcf1c3c5","completedAt":"2026-09-11T00:16:58.205Z","file":"95605a09-b041-417a-8272-662cdcf1c3c5_aristotle/RequestProject/WilsonMonotone.lean","bytes":7871,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"organon-the-drops-never-pass-1111","projectId":"f070d150-11b7-4975-8fd3-d846bcac9545","taskId":"1c5e6016-60be-44aa-b220-bb457cfbc4e1","completedAt":"2026-10-20T16:26:32.428Z","file":"RequestProject/Organon.lean","bytes":8170,"toolchain":null},{"factId":"the-allocator-conserves-every-wei","projectId":"314939e9-2528-43b9-8bbb-fbb55e29b7a9","taskId":"ede8bc7a-56b6-4898-9b91-02ca8134985b","completedAt":"2026-09-23T02:05:58.237Z","file":"ede8bc7a-56b6-4898-9b91-02ca8134985b_aristotle/RequestProject/Allocator.lean","bytes":3012,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"the-burn-floor-cannot-be-breached","projectId":"c2329174-6875-4210-98a5-13b5e665e45c","taskId":"f23d2fe0-c9e8-4149-9411-0b136720eeac","completedAt":"2026-09-29T21:33:49.011Z","file":"f23d2fe0-c9e8-4149-9411-0b136720eeac_aristotle/RequestProject/BurnFloor.lean","bytes":1107,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-deposit-is-never-swept-as-profit","projectId":"991a766d-367d-48ca-b532-51add7480df8","taskId":"e3b5579a-07ab-4058-a8c2-69e2bb01724c","completedAt":"2026-10-14T08:40:33.691Z","file":"e3b5579a-07ab-4058-a8c2-69e2bb01724c_aristotle/RequestProject/DeskSweep.lean","bytes":4207,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"borrow-draw-stays-inside-the-limit","projectId":"7cbe9140-fe2c-43b5-bfc8-fa78a22421ba","taskId":"75d2dd0e-c3a1-4f08-b2ef-743b0fc807d0","completedAt":"2026-09-22T01:37:30.256Z","file":"75d2dd0e-c3a1-4f08-b2ef-743b0fc807d0_aristotle/RequestProject/BorrowDrawNeverWorsens.lean","bytes":1502,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"cli-signs-only-the-quote-it-showed","projectId":"d7515ce4-0195-4899-b56f-7210a191fc1d","taskId":"415c216a-8057-4e69-a0de-a9217d237004","completedAt":"2026-09-29T03:34:21.550Z","file":"415c216a-8057-4e69-a0de-a9217d237004_aristotle/RequestProject/QuoteGuard.lean","bytes":9541,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"convert-floor-defers-within-bounds","projectId":"20f2f722-562b-4be3-b4af-a434fcfd0637","taskId":"21255852-52ce-4fb7-9ff3-2006d8d4116c","completedAt":"2026-10-13T09:46:27.287Z","file":"21255852-52ce-4fb7-9ff3-2006d8d4116c_aristotle/RequestProject/ConvertFloor.lean","bytes":3648,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"mining-gas-ceiling-and-wager-scale","projectId":"d7912a64-27fb-4f7a-b64b-0c64bfaa8e86","taskId":"5ff167ab-260b-4333-8502-ef5af401d930","completedAt":"2026-09-21T02:50:18.812Z","file":"5ff167ab-260b-4333-8502-ef5af401d930_aristotle/RequestProject/MiningGasCeilingAndWagerScale.lean","bytes":1879,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"v4-range-ticks-aligned-and-ordered","projectId":"d2926a55-401d-40ea-8211-5d3af51dd04c","taskId":"8a4c6364-f745-4374-8c9e-32e9ebf47fb8","completedAt":"2026-09-03T23:20:37.399Z","file":"8a4c6364-f745-4374-8c9e-32e9ebf47fb8_aristotle/RequestProject/TickRange.lean","bytes":7218,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"world-rank-is-a-count-off-the-desk","projectId":"7a00eddb-7beb-448a-a015-d43d9ea1f81b","taskId":"e7b3291f-c85d-4aeb-9823-c934c1678cab","completedAt":"2026-09-23T20:09:52.987Z","file":"e7b3291f-c85d-4aeb-9823-c934c1678cab_aristotle/RequestProject/DistrictRank.lean","bytes":2991,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-failed-read-never-becomes-a-yield","projectId":"113f782b-303a-44f6-9c12-c2d2130491ba","taskId":"2a5f3e4f-821c-432e-af4a-ce917dddb9e6","completedAt":"2026-09-16T01:52:00.151Z","file":"2a5f3e4f-821c-432e-af4a-ce917dddb9e6_aristotle/RequestProject/FailedReadNeverZero.lean","bytes":6151,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-retired-reading-sits-at-its-floor","projectId":"98b61478-5bd4-444c-9951-b2857229cba9","taskId":"96e6b334-8969-4e46-bf3b-74c2b28ab555","completedAt":"2026-10-22T17:03:45.363Z","file":"RequestProject/RetiredDial.lean","bytes":1850,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"risk-score-is-bounded-weighted-mean","projectId":"85c923f1-96e6-48a6-8038-319d92ad80c3","taskId":"f70aa918-09f8-4257-8667-945d454f8303","completedAt":"2026-09-03T01:08:06.139Z","file":"f70aa918-09f8-4257-8667-945d454f8303_aristotle/RequestProject/Main.lean","bytes":6762,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"usdg-bid-single-sided-with-headroom","projectId":"a773e048-cf42-4abf-804e-ff2ec25312b3","taskId":"2baf071d-8963-4acd-adb8-d1f75a766d1b","completedAt":"2026-09-03T23:48:56.447Z","file":"2baf071d-8963-4acd-adb8-d1f75a766d1b_aristotle/RequestProject/UsdgBid.lean","bytes":5379,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-move-the-rows-contradict-is-undone","projectId":"db149ef8-4d33-4f0d-9c7f-2d72e7131139","taskId":"0db25b8e-8afe-419a-8fc8-5acde5b40cac","completedAt":"2026-10-26T21:40:15.132Z","file":"RequestProject/RevertRule.lean","bytes":1192,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"dial-moves-only-on-proven-separation","projectId":"8f3f2fd6-8431-49b7-868a-ff80df541ead","taskId":"3e225bdf-1e07-4358-93c7-3128c0e91830","completedAt":"2026-10-15T08:50:48.294Z","file":"3e225bdf-1e07-4358-93c7-3128c0e91830_aristotle/RequestProject/DialSeparation.lean","bytes":1648,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"pairs-bench-needs-ten-reads-each-way","projectId":"335af864-e9b7-47d7-afc5-7dafc3862dd5","taskId":"f46feaad-03dc-483c-9976-89e9083b2f80","completedAt":"2026-10-05T05:53:14.569Z","file":"f46feaad-03dc-483c-9976-89e9083b2f80_aristotle/RequestProject/PairBench.lean","bytes":7885,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"portfolio-drift-band-stays-in-bounds","projectId":"c3a1328e-d135-48e3-b814-0a38e73805a5","taskId":"90d0aa08-34b8-47da-93c2-555761537985","completedAt":"2026-10-13T08:16:27.119Z","file":"90d0aa08-34b8-47da-93c2-555761537985_aristotle/RequestProject/DriftBand.lean","bytes":3799,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"strategy-funds-only-eligible-markets","projectId":"cc7dcf62-ee0e-45cd-9faa-f0f8145af1ff","taskId":"28793382-5cb4-4a8c-beed-429be50ac76d","completedAt":"2026-09-02T01:06:18.800Z","file":"28793382-5cb4-4a8c-beed-429be50ac76d_aristotle/RequestProject/Main.lean","bytes":7807,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-window-reports-the-hours-it-watched","projectId":"d0b57d6e-4550-4b2e-9b55-a3e384315000","taskId":"8e6eae6b-f642-467a-b9b8-a07414b8b40b","completedAt":"2026-10-26T21:10:15.271Z","file":"RequestProject/YieldWindow.lean","bytes":3822,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"an-unpriced-pool-never-reports-a-zero","projectId":"765a3c2c-a7b3-44e7-9d39-42a2de3a64ad","taskId":"0296960d-7b8e-41aa-b16c-754c87a082b3","completedAt":"2026-10-21T19:37:33.880Z","file":"RequestProject/UnpricedPool.lean","bytes":3918,"toolchain":null},{"factId":"conviction-is-a-bounded-weighted-mean","projectId":"0f49987e-6e8d-4986-9fae-e151ca3f5331","taskId":"3f1748ca-4885-476f-a920-a8dbbaeea764","completedAt":"2026-09-15T00:46:01.860Z","file":"3f1748ca-4885-476f-a920-a8dbbaeea764_aristotle/RequestProject/Conviction.lean","bytes":4734,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"exec-fee-is-a-quarter-percent-at-most","projectId":"e4765676-e6b7-4e2c-bb61-5f5c9cf13e61","taskId":"dc62c27d-f37e-4f8b-aca3-e68aea54c084","completedAt":"2026-09-13T18:47:24.561Z","file":"dc62c27d-f37e-4f8b-aca3-e68aea54c084_aristotle/RequestProject/DeskFee.lean","bytes":1522,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"keeper-stale-or-unread-row-never-exec","projectId":"e6b4833f-36b0-4807-96f3-2ceb9179efcf","taskId":"e6dfc512-fd78-4f44-bb77-39ccf97f497a","completedAt":"2026-10-24T21:50:20.248Z","file":"RequestProject/Keeper.lean","bytes":6237,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"lean-learned-order-never-drops-a-fact","projectId":"42e31851-5bc9-414a-92e9-2e4e0b4d9870","taskId":"a743aac8-a0ef-4481-829f-ca58cd9ee3be","completedAt":"2026-10-04T05:51:19.753Z","file":"a743aac8-a0ef-4481-829f-ca58cd9ee3be_aristotle/RequestProject/LearnedOrder.lean","bytes":5936,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"mm-move-never-needs-more-than-it-frees","projectId":"4b081dcc-6f44-4a56-8e25-4c8ecca6116f","taskId":"e4c084ff-038a-4da8-a1b3-e66f58d79d58","completedAt":"2026-09-22T20:15:19.128Z","file":"e4c084ff-038a-4da8-a1b3-e66f58d79d58_aristotle/RequestProject/Main.lean","bytes":11086,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"safe-an-unread-balance-is-never-a-zero","projectId":"ba44d948-1869-477a-9a2b-b79b7894448a","taskId":"cf23fb0b-cabd-42c4-b7b2-47e88a52b122","completedAt":"2026-10-11T07:38:54.978Z","file":"cf23fb0b-cabd-42c4-b7b2-47e88a52b122_aristotle/RequestProject/AssayHolding.lean","bytes":2299,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"copy-fee-is-a-share-of-a-win-or-nothing","projectId":"e0b50564-eed2-4675-8f08-c3d1fb4fffd8","taskId":"5ac4bf22-7a28-47b2-ae9b-76e0ed958a3a","completedAt":"2026-09-12T18:40:29.692Z","file":"5ac4bf22-7a28-47b2-ae9b-76e0ed958a3a_aristotle/RequestProject/Fee.lean","bytes":2287,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"depth-holds-still-off-the-issuers-print","projectId":"b631ecbb-33dd-4556-b990-f697b8393664","taskId":"f2b7565a-8a80-45b7-94dc-375b5d7c77d7","completedAt":"2026-10-18T14:02:13.657Z","file":"RequestProject/IssuerPrint.lean","bytes":7718,"toolchain":null},{"factId":"earnings-base-rate-bounded-and-monotone","projectId":"16128879-012b-4dc1-bf11-e39eff5097e5","taskId":"7b0e3610-43b1-4671-bd6f-4e3c1d1aec2f","completedAt":"2026-09-30T05:01:43.824Z","file":"7b0e3610-43b1-4671-bd6f-4e3c1d1aec2f_aristotle/RequestProject/EarningsBaseRate.lean","bytes":6578,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"reads-per-cycle-bounded-and-crowd-first","projectId":"0b1be97e-c449-43c9-9356-79aa96848d47","taskId":"ccd23d36-239c-4768-92d4-c7f117b951e6","completedAt":"2026-10-13T08:46:27.100Z","file":"ccd23d36-239c-4768-92d4-c7f117b951e6_aristotle/RequestProject/ReadOrder.lean","bytes":5675,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"the-entry-floor-never-leaves-its-bounds","projectId":"18823365-7213-4ea3-a94e-dd421b659e25","taskId":"22fd97ef-5106-4162-947a-90f0fe2511a0","completedAt":"2026-09-24T03:13:46.848Z","file":"22fd97ef-5106-4162-947a-90f0fe2511a0_aristotle/RequestProject/EntryFloor.lean","bytes":5046,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"hookrlp-works-only-a-graduated-hookr-key","projectId":"e04e96d1-e7fa-4d36-b3b3-d4aea26b2277","taskId":"4b738ba1-23dd-4b7f-85c7-a10b0a0a8019","completedAt":"2026-10-05T22:45:49.353Z","file":"4b738ba1-23dd-4b7f-85c7-a10b0a0a8019_aristotle/RequestProject/HookrPool.lean","bytes":2807,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"paused-desk-resumes-only-on-proven-skill","projectId":"13645a9f-f2f9-4511-a34a-494619f6e323","taskId":"ba517aa0-ee0f-4679-9565-de3f70233ce7","completedAt":"2026-09-11T00:41:58.285Z","file":"ba517aa0-ee0f-4679-9565-de3f70233ce7_aristotle/RequestProject/Main.lean","bytes":5507,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"brain-tape-fires-only-on-a-dip-or-the-cap","projectId":"2731bf87-a254-40b4-a722-859b19d4e6ee","taskId":"e23d5bfc-7219-4fad-a368-d6e91952050a","completedAt":"2026-10-09T07:45:29.112Z","file":"e23d5bfc-7219-4fad-a368-d6e91952050a_aristotle/RequestProject/PurseTape.lean","bytes":3836,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"deposit-fee-never-charges-a-desk-delivery","projectId":"38f27ff2-e146-4658-b862-ac4d4b04b294","taskId":"018d2e3a-f1aa-475e-807c-e573f0e79361","completedAt":"2026-09-16T01:24:05.425Z","file":"018d2e3a-f1aa-475e-807c-e573f0e79361_aristotle/RequestProject/DepositFee.lean","bytes":2440,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"public-split-is-three-legs-of-one-hundred","projectId":"ed57a94a-3ba6-4ad3-bc20-bc9a05de2024","taskId":"2936830b-5ee7-438e-8c3c-08d72e873d27","completedAt":"2026-09-15T01:46:01.995Z","file":"2936830b-5ee7-438e-8c3c-08d72e873d27_aristotle/RequestProject/PublicSplit.lean","bytes":2554,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"the-desk-s-own-winnings-are-never-capital","projectId":"2c420bf1-dbcc-4406-99b4-a1b17dcf94ae","taskId":"82b405ee-8fc3-4944-9aaf-6b5b11ad23a3","completedAt":"2026-10-21T18:37:33.658Z","file":"RequestProject/DeskWinnings.lean","bytes":3276,"toolchain":null},{"factId":"what-truncation-strands-is-swept-not-lost","projectId":"777c3ac3-444f-4fbe-8d1c-aec3195c8cc9","taskId":"d94ef8f5-de8d-4c5e-8792-bfbb3d62104a","completedAt":"2026-09-27T04:04:50.057Z","file":"d94ef8f5-de8d-4c5e-8792-bfbb3d62104a_aristotle/RequestProject/ClaimRound.lean","bytes":2117,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"an-unmeasured-incumbent-is-never-abandoned","projectId":"e3cc2361-224f-4e3e-8684-f6b2621db2fb","taskId":"5d9d0772-2d56-4503-935b-24e42c7b5769","completedAt":"2026-10-11T07:50:53.951Z","file":"5d9d0772-2d56-4503-935b-24e42c7b5769_aristotle/RequestProject/UnmeasuredIncumbent.lean","bytes":2822,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"flywheel-spend-never-exceeds-the-cycle-cap","projectId":"571d4c64-87d4-4e04-8315-c5c23e9ec0b8","taskId":"2e1a7c7e-63f5-409c-8bd3-eb945a77aa4c","completedAt":"2026-09-15T19:01:15.844Z","file":"2e1a7c7e-63f5-409c-8bd3-eb945a77aa4c_aristotle/RequestProject/Flywheel.lean","bytes":3183,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"haltwatch-closed-session-dollars-are-exact","projectId":"1d177853-0f3f-4ed6-aaa3-03eb9a33c8dd","taskId":"081dccc8-2603-4cc7-ad86-b5391c482380","completedAt":"2026-10-18T15:07:13.721Z","file":"RequestProject/ClosedSession.lean","bytes":4450,"toolchain":null},{"factId":"organon-every-wei-of-a-mint-buys-and-burns","projectId":"a6f00ba2-e118-4156-b94d-d1cfa4deb266","taskId":"05335913-4e68-47f8-b768-0512396b3136","completedAt":"2026-10-20T17:26:34.617Z","file":"RequestProject/Organon.lean","bytes":8219,"toolchain":null},{"factId":"borrow-draw-never-passes-the-market-ceiling","projectId":"086e5618-f727-4f8b-80b7-e7781f2ce5a7","taskId":"cd66b253-9aa7-4ada-8332-c016df7e7f85","completedAt":"2026-09-28T04:27:35.025Z","file":"cd66b253-9aa7-4ada-8332-c016df7e7f85_aristotle/RequestProject/BorrowCeiling.lean","bytes":1263,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"fund-a-gap-to-nav-is-stated-only-on-one-day","projectId":"f9e4470f-e832-45d4-ad9f-a9eca9f07eee","taskId":"24a844ca-38b0-4e00-a95d-9e2d696f18af","completedAt":"2026-10-09T09:06:45.473Z","file":"24a844ca-38b0-4e00-a95d-9e2d696f18af_aristotle/RequestProject/FundGap.lean","bytes":13183,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"rail-a-session-opens-only-under-its-own-key","projectId":"8dd9cff1-4ac2-4fc6-9f25-08a367b52001","taskId":"98902e46-b9ef-4317-b82b-391c7281473b","completedAt":"2026-10-11T08:56:23.653Z","file":"98902e46-b9ef-4317-b82b-391c7281473b_aristotle/RequestProject/RailSeal.lean","bytes":7314,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"robinhood-places-only-the-order-it-proposed","projectId":"92756eb2-ec68-4f67-806f-436dbaaf0b76","taskId":"49055ce0-8055-439a-8d58-6414cc8944c5","completedAt":"2026-09-30T03:56:43.339Z","file":"49055ce0-8055-439a-8d58-6414cc8944c5_aristotle/RequestProject/OrderGuard.lean","bytes":12613,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"scan-an-unread-exit-probe-is-never-a-revert","projectId":"d98130fa-5f6c-4b15-9eb5-53e34e9deedb","taskId":"8aed931b-321f-4433-aab1-7334226be3ee","completedAt":"2026-10-14T08:10:33.637Z","file":"8aed931b-321f-4433-aab1-7334226be3ee_aristotle/RequestProject/ExitProbes.lean","bytes":3903,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"seal-paused-signs-nothing-and-the-cap-holds","projectId":"4d890d47-2fac-4743-8473-7d23d4dd64f2","taskId":"f666d1f9-4ee7-4429-a042-05ad0ed3b02b","completedAt":"2026-09-14T19:03:35.522Z","file":"f666d1f9-4ee7-4429-a042-05ad0ed3b02b_aristotle/RequestProject/Seal.lean","bytes":3398,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"the-router-never-moves-for-a-rounding-error","projectId":"fc420253-6dec-43a3-b30f-e255f7987f65","taskId":"25039604-0b93-4516-913d-22634c376751","completedAt":"2026-10-01T05:20:46.367Z","file":"25039604-0b93-4516-913d-22634c376751_aristotle/RequestProject/Router.lean","bytes":3293,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-flapping-alert-waits-longer-and-never-less","projectId":"b9dbf39d-70aa-4025-91c4-9c9a6b9dfc08","taskId":"a3e230fd-7d82-47d5-a7dc-25badc971aa6","completedAt":"2026-10-04T22:42:11.215Z","file":"a3e230fd-7d82-47d5-a7dc-25badc971aa6_aristotle/RequestProject/AlertScale.lean","bytes":2616,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-perp-dial-scales-a-read-and-never-turns-it","projectId":"59a02a8c-83c3-4fef-9360-db6b006e84f5","taskId":"dbde5b2f-8739-45cd-b3cc-1e8bd319bd67","completedAt":"2026-10-08T07:03:27.913Z","file":"dbde5b2f-8739-45cd-b3cc-1e8bd319bd67_aristotle/RequestProject/PerpDial.lean","bytes":3497,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-round-can-never-promise-more-than-it-holds","projectId":"f680e710-ea10-421d-80be-2a76751c3724","taskId":"53d4c961-0fa7-4c5f-9e72-d0c15720edd8","completedAt":"2026-09-20T00:57:54.831Z","file":"53d4c961-0fa7-4c5f-9e72-d0c15720edd8_aristotle/RequestProject/ClaimRound.lean","bytes":1388,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"agghooks-the-fee-is-exactly-the-declared-fee","projectId":"87a24578-76f9-494d-b7df-4b5e9596c4e0","taskId":"813c16f3-f23d-4184-bc61-9b078e6d8fc4","completedAt":"2026-10-24T22:22:39.577Z","file":"RequestProject/AggHook.lean","bytes":12603,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"blend-stays-between-the-market-and-its-parts","projectId":"3caedfc0-8a13-4f94-a9e7-314bb3b29efb","taskId":"9340a789-777b-4df0-b045-1fd788a4cfcd","completedAt":"2026-09-17T01:58:08.488Z","file":"9340a789-777b-4df0-b045-1fd788a4cfcd_aristotle/RequestProject/Blend.lean","bytes":3988,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"fund-the-covered-move-lies-between-its-names","projectId":"e425da1e-cc8c-444a-9447-10938608812d","taskId":"d579b5c9-9995-49ac-a390-de68e050c91a","completedAt":"2026-10-13T11:21:27.716Z","file":"d579b5c9-9995-49ac-a390-de68e050c91a_aristotle/RequestProject/FundMove.lean","bytes":12044,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"rail-forwards-only-the-equity-order-it-filed","projectId":"4f724a03-91a8-4ace-9ccb-3ed437e38e03","taskId":"a277e25f-5f98-4d51-94ed-599640ece4d8","completedAt":"2026-10-01T21:56:25.403Z","file":"a277e25f-5f98-4d51-94ed-599640ece4d8_aristotle/RequestProject/Rail.lean","bytes":12107,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"world-milestone-needs-the-desk-not-the-world","projectId":"377e1862-4a40-4ae7-94fb-e369ce59d981","taskId":"81ccf99e-7783-42b3-afc2-1b39fec1f96b","completedAt":"2026-10-10T10:11:20.268Z","file":"81ccf99e-7783-42b3-afc2-1b39fec1f96b_aristotle/RequestProject/MilestoneNeedsDesk.lean","bytes":3144,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"bond-a-quote-never-hands-out-a-free-arbitrage","projectId":"2725b56b-58a8-4868-b088-88984784e14d","taskId":"22e5d0f4-baf3-4ff5-a9b8-87a31334b4f8","completedAt":"2026-09-18T02:01:49.012Z","file":"22e5d0f4-baf3-4ff5-a9b8-87a31334b4f8_aristotle/RequestProject/QuoteSpread.lean","bytes":672,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"dca-tranche-bounded-and-budget-never-exceeded","projectId":"31a8e73d-7bc0-42a4-b185-0cccc82b2f81","taskId":"d72ff966-e2c4-4e3b-b277-041a97d4218b","completedAt":"2026-09-14T00:23:40.697Z","file":"d72ff966-e2c4-4e3b-b277-041a97d4218b_aristotle/RequestProject/DCA.lean","bytes":7154,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"haltwatch-a-swap-reads-the-last-row-before-it","projectId":"2fd79be3-a7d8-4308-93cf-23278882ef96","taskId":"82f930a1-d56a-4439-a320-a1c243c0176d","completedAt":"2026-10-12T07:56:21.478Z","file":"82f930a1-d56a-4439-a320-a1c243c0176d_aristotle/RequestProject/SwapOracle.lean","bytes":9771,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"index-leg-window-sizes-inside-the-same-bounds","projectId":"9197db71-ed9e-46ae-8c8c-25139ddb9802","taskId":"8a2cd81d-d418-4ce9-8a51-d0753033d2a2","completedAt":"2026-10-10T09:11:19.537Z","file":"8a2cd81d-d418-4ce9-8a51-d0753033d2a2_aristotle/RequestProject/LegScale.lean","bytes":3064,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"registry-a-filing-is-graded-by-the-move-alone","projectId":"75bc6bd9-131d-4244-bbb5-fa239c19ae31","taskId":"d21468b1-9fa8-43b2-a3cc-2d9287dd9419","completedAt":"2026-09-30T21:46:08.475Z","file":"d21468b1-9fa8-43b2-a3cc-2d9287dd9419_aristotle/RequestProject/FilingGrade.lean","bytes":2957,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"robinhood-slip-limit-covers-nine-fills-in-ten","projectId":"c12f9db6-e7f2-4980-9c31-f05d43f0dd86","taskId":"6159d17c-d89e-41ac-9254-0e227e8d2a5d","completedAt":"2026-10-14T09:45:33.950Z","file":"6159d17c-d89e-41ac-9254-0e227e8d2a5d_aristotle/RequestProject/SlipLimit.lean","bytes":10779,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"world-purse-pays-a-fraction-under-the-day-cap","projectId":"c2f2d8d3-b2ed-4cfc-9ebf-26e49ac78cab","taskId":"b106e63d-a32d-46b6-b99c-a727188d3940","completedAt":"2026-10-01T04:03:57.949Z","file":"b106e63d-a32d-46b6-b99c-a727188d3940_aristotle/RequestProject/Purse.lean","bytes":4451,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"world-bounty-scale-never-raises-the-set-figure","projectId":"b343d9a1-ea01-41bb-b9fd-8edbd1df9747","taskId":"091382fb-1bee-4e6c-92b4-1be061117df9","completedAt":"2026-10-14T11:40:34.190Z","file":"091382fb-1bee-4e6c-92b4-1be061117df9_aristotle/RequestProject/BountyScale.lean","bytes":6370,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"solsniper-never-takes-a-launch-the-rule-refused","projectId":"daa32c00-3dbe-40c3-9e51-08a712b3473b","taskId":"94e8a704-d441-45a6-85d7-61142a7470d0","completedAt":"2026-10-12T10:39:09.569Z","file":"94e8a704-d441-45a6-85d7-61142a7470d0_aristotle/RequestProject/LaunchSniper.lean","bytes":4067,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-swap-is-counted-by-size-and-never-by-direction","projectId":"da7dd500-b4f7-41b8-8306-c4a09ad9b632","taskId":"bbec5d70-d411-4c9d-97da-59f4b1eb1d73","completedAt":"2026-10-15T08:20:48.291Z","file":"bbec5d70-d411-4c9d-97da-59f4b1eb1d73_aristotle/RequestProject/PoolVolume.lean","bytes":3098,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"exec-impact-scale-bounded-and-never-past-the-cap","projectId":"d94219d9-d1a9-42f6-9b39-4cb3fca7068b","taskId":"34c7677b-12a9-4236-8e21-22e6a8409741","completedAt":"2026-10-08T08:33:28.433Z","file":"34c7677b-12a9-4236-8e21-22e6a8409741_aristotle/RequestProject/ImpactScale.lean","bytes":2498,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"organon-every-token-of-a-drop-gets-its-own-piece","projectId":"7431bf37-3ea5-4ae7-94b2-f89d5a634486","taskId":"e8863c6f-db61-4d40-ab95-30fa6767bc96","completedAt":"2026-10-20T15:56:31.068Z","file":"RequestProject/Organon.lean","bytes":9325,"toolchain":null},{"factId":"stock-a-day-counts-only-after-its-session-closed","projectId":"72789a55-51c8-4baf-930b-161f69d33880","taskId":"3ef225ec-0619-444e-bc2f-f00e02a0983a","completedAt":"2026-10-25T23:40:09.992Z","file":"RequestProject/StockBar.lean","bytes":3381,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"band-refusal-is-never-cheaper-than-the-band-paying","projectId":"fd423022-580d-41f6-965c-19eb16fd235e","taskId":"702985b8-0975-452a-b63a-df9c962f0e7e","completedAt":"2026-09-21T19:50:36.489Z","file":"702985b8-0975-452a-b63a-df9c962f0e7e_aristotle/RequestProject/BandRule.lean","bytes":5201,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"compute-no-kind-is-priced-under-the-escrow-minimum","projectId":"1e65bb1c-a75c-452d-8dcb-2fe713d39e49","taskId":"abaef14b-8c76-4ba0-bf80-399617d99bce","completedAt":"2026-10-15T11:50:48.635Z","file":"abaef14b-8c76-4ba0-bf80-399617d99bce_aristotle/RequestProject/EscrowMinimum.lean","bytes":3301,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"copy-size-never-exceeds-the-bankroll-or-the-wallet","projectId":"53f90f63-fc14-4a09-bee2-f1b873cd5236","taskId":"e7c35013-5c35-4765-a1a0-eeff1cc4e73f","completedAt":"2026-09-19T19:37:20.246Z","file":"e7c35013-5c35-4765-a1a0-eeff1cc4e73f_aristotle/RequestProject/RiderSlice.lean","bytes":1794,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"depth-a-buyer-pays-at-least-what-a-leaver-receives","projectId":"3deca813-9f9e-4be1-8ef8-cbdbe61f3950","taskId":"2fe5a339-43be-49b5-8a7f-2b144e230e67","completedAt":"2026-09-25T20:39:59.443Z","file":"2fe5a339-43be-49b5-8a7f-2b144e230e67_aristotle/RequestProject/BookShares.lean","bytes":7460,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"mm-hook-refused-exactly-when-it-can-touch-the-exit","projectId":"d030508f-ccf2-4ccd-adc5-46042c41bf2d","taskId":"d798e521-1471-4cd0-9ff9-ccc2ec40a580","completedAt":"2026-09-29T05:22:03.725Z","file":"d798e521-1471-4cd0-9ff9-ccc2ec40a580_aristotle/RequestProject/HookAdmission.lean","bytes":3415,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"keeper-webhook-halted-only-when-the-row-says-halted","projectId":"3813032a-39ac-45eb-801a-144247f39ee3","taskId":"03befa99-484d-4129-988e-79720c553053","completedAt":"2026-10-26T22:45:15.414Z","file":"RequestProject/KeeperWebhook.lean","bytes":6533,"toolchain":{"lean":"leanprover/lean4:v4.34.0","mathlib":"5ed2965256430c3649e86755f9576b54eca72435"}},{"factId":"launch-default-rules-move-only-on-proven-separation","projectId":"737b4c30-dc4b-4ca2-8ef4-2718b22bcffb","taskId":"65f990fb-fb4c-4e4c-bb75-3acf52e5abe3","completedAt":"2026-10-03T22:31:40.915Z","file":"65f990fb-fb4c-4e4c-bb75-3acf52e5abe3_aristotle/RequestProject/LaunchDefault.lean","bytes":4152,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"oraclechain-a-basis-on-chain-needs-two-dated-prices","projectId":"1e376bad-3899-4c88-b289-79a9a5c161fd","taskId":"56f812a8-c596-450a-a22b-381e45149719","completedAt":"2026-10-26T22:10:15.269Z","file":"RequestProject/OracleBasis.lean","bytes":4257,"toolchain":{"lean":"leanprover/lean4:v4.34.0","mathlib":"5ed2965256430c3649e86755f9576b54eca72435"}},{"factId":"hookrlp-a-deposit-never-asks-for-more-than-was-typed","projectId":"51694296-a32e-4d7a-89c6-4645951be4f6","taskId":"a3f66d87-f6c4-4b02-aa0e-9ce9b57253ab","completedAt":"2026-10-18T16:02:13.833Z","file":"RequestProject/DepositSizing.lean","bytes":6216,"toolchain":null},{"factId":"organon-a-reserved-drop-is-minted-by-its-minter-only","projectId":"ac4271a6-6ad0-448c-90aa-dc3b79138907","taskId":"13271d4c-aa33-4dd6-8d35-3dbbff7d1454","completedAt":"2026-10-20T16:56:31.820Z","file":"RequestProject/Organon.lean","bytes":8200,"toolchain":null},{"factId":"robinhood-slip-is-the-signed-distance-from-the-print","projectId":"f08c40d7-6daf-47ca-afbd-9fbd753e406b","taskId":"25e3226b-1de4-4a3a-80a9-db6c5c960051","completedAt":"2026-10-10T08:46:19.460Z","file":"25e3226b-1de4-4a3a-80a9-db6c5c960051_aristotle/RequestProject/Slip.lean","bytes":10448,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"solsniper-the-buy-refuses-every-seat-behind-its-room","projectId":"3c62158a-f644-404c-ae9a-2fec1829acf7","taskId":"d4a9cf08-4f90-45a3-8db7-3945f7137cf5","completedAt":"2026-10-08T06:33:27.713Z","file":"d4a9cf08-4f90-45a3-8db7-3945f7137cf5_aristotle/RequestProject/SniperSeat.lean","bytes":2879,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"solve-calibration-moves-halfway-and-only-on-evidence","projectId":"47a193ef-563f-4844-8aa1-d4518747e381","taskId":"2b558560-7296-4a60-aced-15cd387d0631","completedAt":"2026-10-08T09:38:28.587Z","file":"2b558560-7296-4a60-aced-15cd387d0631_aristotle/RequestProject/Calibration.lean","bytes":4934,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"stock-token-multiplier-never-falls-except-on-a-split","projectId":"6f92c7b2-8990-4f3b-900c-6f834171dbe4","taskId":"1674d26c-c1af-4c72-a1c1-91f40352a360","completedAt":"2026-09-19T03:04:23.672Z","file":"1674d26c-c1af-4c72-a1c1-91f40352a360_aristotle/RequestProject/Main.lean","bytes":10906,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"the-entry-floor-moves-only-on-what-the-record-proved","projectId":"a1a9ffe0-86a9-4cda-8adc-02b683e6be57","taskId":"bc2366d0-6a26-4aa6-9c09-5495f4168631","completedAt":"2026-10-01T05:53:44.591Z","file":"bc2366d0-6a26-4aa6-9c09-5495f4168631_aristotle/RequestProject/EntryFloor.lean","bytes":8487,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"agentvault-a-sale-stays-in-the-vault-inside-its-share","projectId":"9fdfbc64-6103-43ef-a4c6-536a24416d13","taskId":"a8a76e75-58de-4b72-9a0f-2962efc33923","completedAt":"2026-10-20T18:01:34.895Z","file":"RequestProject/AgentVault.lean","bytes":14341,"toolchain":null},{"factId":"registry-the-rank-is-the-lower-bound-and-needs-thirty","projectId":"f6fb631e-c031-4686-b08c-f5cd359adf70","taskId":"87134462-f31d-4fb2-a3be-ae5910a05e0c","completedAt":"2026-10-14T10:15:33.921Z","file":"87134462-f31d-4fb2-a3be-ae5910a05e0c_aristotle/RequestProject/WilsonRank.lean","bytes":11267,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"riskfeed-live-is-a-fresh-open-issuer-print-in-session","projectId":"6c698faf-043e-4034-8acf-d6f06c4ae240","taskId":"28ead370-910f-4048-ada2-240af6e3b61c","completedAt":"2026-10-17T10:04:21.295Z","file":"RequestProject/RiskFeed.lean","bytes":4492,"toolchain":null},{"factId":"agentvault-a-cycle-spends-inside-the-vaults-own-limits","projectId":"ad6709f3-0e50-40b2-bd47-c9b261ddef20","taskId":"5b10a6af-1d6e-429f-9e14-32c59025b877","completedAt":"2026-10-13T07:46:27.028Z","file":"5b10a6af-1d6e-429f-9e14-32c59025b877_aristotle/RequestProject/VaultCycle.lean","bytes":5242,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"activity-a-change-is-measured-between-two-whole-windows","projectId":"93f1177b-3bbe-422a-8a61-1ad306c7494a","taskId":"6774648f-ebc0-41c1-83e0-b2cb54c5c06f","completedAt":"2026-10-24T20:21:19.447Z","file":"RequestProject/Activity.lean","bytes":5469,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"agentvault-a-dca-slice-is-signed-only-through-its-vault","projectId":"e97e505e-5af7-4b4e-86ea-98ab09d3a4b4","taskId":"906032a2-5604-4d69-af51-24761b2047b6","completedAt":"2026-10-27T20:42:17.417Z","file":"RequestProject/VaultSigner.lean","bytes":5583,"toolchain":{"lean":"leanprover/lean4:v4.34.0","mathlib":"5ed2965256430c3649e86755f9576b54eca72435"}},{"factId":"fund-a-covered-move-is-graded-by-the-nav-of-its-own-day","projectId":"26785a2c-32b0-49fc-8557-f27c076f8917","taskId":"72d4489e-2d88-43a6-a905-6720422908d5","completedAt":"2026-10-21T17:42:33.517Z","file":"RequestProject/CoveredMove.lean","bytes":21551,"toolchain":null},{"factId":"harmonic-pool-collecting-fees-never-touches-the-position","projectId":"c7cfa75b-add2-4c28-8aca-f0dbfd098333","taskId":"ee95d203-e400-426b-a1b2-dcdffa9862e5","completedAt":"2026-10-24T23:10:24.888Z","file":"RequestProject/CollectFees.lean","bytes":2975,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"rail-a-limit-tightens-at-once-and-loosens-after-the-hour","projectId":"9ffd262e-124d-482f-af68-1c3c9df21f4f","taskId":"dd9cabc2-6ea6-4154-9f44-c059160056ee","completedAt":"2026-10-15T10:20:48.510Z","file":"dd9cabc2-6ea6-4154-9f44-c059160056ee_aristotle/RequestProject/LimitChange.lean","bytes":8908,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"riskfeed-a-step-is-the-contracts-and-on-the-ledgers-line","projectId":"6c4bd488-69c6-4171-944a-9ad188f9fe1f","taskId":"1ee10a64-c219-4659-9063-68c7e731653e","completedAt":"2026-10-24T22:45:24.579Z","file":"RequestProject/RiskFeed.lean","bytes":10193,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"soldesk-a-buy-breaks-even-exactly-at-the-curves-own-odds","projectId":"5e96da66-88d5-481b-b4af-97ab4058e998","taskId":"0a66de84-4f88-48aa-8840-e085b673d68b","completedAt":"2026-10-08T06:08:27.650Z","file":"0a66de84-4f88-48aa-8840-e085b673d68b_aristotle/RequestProject/PumpFun.lean","bytes":3583,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"bond-book-holds-every-stake-and-pays-only-by-its-own-rule","projectId":"68beed00-d621-48a0-b841-91336be3ff25","taskId":"014b471b-aaee-4afc-aa4d-f5d50ee2759d","completedAt":"2026-10-21T16:37:32.599Z","file":"RequestProject/BondMarket.lean","bytes":3459,"toolchain":null},{"factId":"equityoracle-a-halted-or-unflagged-token-never-reads-open","projectId":"b97af13d-325d-44cc-960e-0d35afa4cf81","taskId":"e0e8ab44-17b9-4e2d-b260-c3b63f962db6","completedAt":"2026-10-02T05:35:42.069Z","file":"e0e8ab44-17b9-4e2d-b260-c3b63f962db6_aristotle/RequestProject/EquityOracle.lean","bytes":3463,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"agghooks-a-hook-is-clean-only-when-it-kept-exactly-the-fee","projectId":"788cca65-c056-4550-ae26-c952596184c1","taskId":"4738338c-db2d-4a51-8581-13a5d7898aee","completedAt":"2026-10-26T23:30:37.080Z","file":"RequestProject/AggHook.lean","bytes":4549,"toolchain":{"lean":"leanprover/lean4:v4.34.0","mathlib":"5ed2965256430c3649e86755f9576b54eca72435"}},{"factId":"chart-a-proof-is-settled-only-by-bars-that-closed-after-it","projectId":"12462d0c-0f44-473f-bdb6-257000608b9c","taskId":"65c4e441-0500-44ae-98e2-5949157f733f","completedAt":"2026-09-19T02:28:50.624Z","file":"65c4e441-0500-44ae-98e2-5949157f733f_aristotle/RequestProject/ChartSettledBars.lean","bytes":1826,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"oracle-the-ladder-is-whole-ticks-symmetric-about-the-money","projectId":"683044e8-e3e4-491a-a691-2738ccea622c","taskId":"218b7396-fb0a-470f-b754-4dfddcb3514e","completedAt":"2026-10-14T09:10:33.720Z","file":"218b7396-fb0a-470f-b754-4dfddcb3514e_aristotle/RequestProject/Ladder.lean","bytes":2440,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"soldesk-no-paper-position-outlives-its-stop-stall-or-clock","projectId":"150bae7b-d85a-4322-bf90-38580790859a","taskId":"b568f628-202f-43c8-9146-45ab1223d677","completedAt":"2026-10-12T09:56:21.690Z","file":"b568f628-202f-43c8-9146-45ab1223d677_aristotle/RequestProject/PaperExit.lean","bytes":2446,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"depth-dividend-passes-through-as-the-step-times-the-holding","projectId":"11e5d3e1-b479-4452-90e0-cec0d3fcccfe","taskId":"c92c4767-9c38-47b9-9c7b-68cdcf9268d3","completedAt":"2026-10-12T07:26:21.493Z","file":"c92c4767-9c38-47b9-9c7b-68cdcf9268d3_aristotle/RequestProject/StockDividend.lean","bytes":3295,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"husd-the-maximum-is-the-chain-figure-and-the-scale-is-exact","projectId":"ac5081db-72f2-4f34-b135-a041e08663b5","taskId":"e6ef3f01-a216-4941-b1e1-db2f23351333","completedAt":"2026-09-18T00:56:47.974Z","file":"e6ef3f01-a216-4941-b1e1-db2f23351333_aristotle/RequestProject/HusdScale.lean","bytes":1192,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"a-timeline-subject-weight-is-never-zero-and-one-until-earned","projectId":"d444a1ac-0504-4dea-9c50-f2d6ba428c6d","taskId":"eb08a1ed-5d00-4491-9c66-eb32e2ea106b","completedAt":"2026-10-04T05:15:31.074Z","file":"eb08a1ed-5d00-4491-9c66-eb32e2ea106b_aristotle/RequestProject/TimelineWeight.lean","bytes":3082,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"payout-the-tally-conserves-and-only-counts-the-account-named","projectId":"435a9989-3dec-4fbe-8209-37c3f71d6a6f","taskId":"15b679ba-a9b7-4407-85b8-79be9451a198","completedAt":"2026-09-25T03:38:23.337Z","file":"15b679ba-a9b7-4407-85b8-79be9451a198_aristotle/RequestProject/UnconvertedFees.lean","bytes":864,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"savers-each-fee-counts-once-and-each-count-pays-at-most-once","projectId":"023249ea-7b1f-476f-afb6-8875fd1dafb7","taskId":"47d6c617-50e7-4644-bfef-df85cd9bbf06","completedAt":"2026-10-19T14:07:16.092Z","file":"RequestProject/LaunchFees.lean","bytes":12052,"toolchain":null},{"factId":"soldesk-a-refused-coin-or-one-outside-the-zone-is-never-taken","projectId":"a9fcb02e-84b8-434f-b1b1-b7e27848373f","taskId":"52d39e92-0a18-4ede-9b69-1ea3bbc1bc31","completedAt":"2026-10-18T17:02:13.915Z","file":"RequestProject/SolDesk.lean","bytes":3552,"toolchain":null},{"factId":"brain-caps-stay-inside-their-bounds-and-the-cycle-fee-is-small","projectId":"fb080083-fda5-490f-a559-775ae683885a","taskId":"292c1c94-5416-4651-a0bd-4968569b0db1","completedAt":"2026-09-26T04:24:45.459Z","file":"292c1c94-5416-4651-a0bd-4968569b0db1_aristotle/RequestProject/CapsAndFee.lean","bytes":1291,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"defidoor-a-build-the-door-hands-out-passes-the-terminals-guard","projectId":"14f20f83-10f2-48a5-8a6c-3aabe7627711","taskId":"c423acee-715c-4f9e-978f-bede7d66b53a","completedAt":"2026-10-02T04:18:19.937Z","file":"c423acee-715c-4f9e-978f-bede7d66b53a_aristotle/RequestProject/DefiDoor.lean","bytes":5188,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"registry-a-seal-opens-only-on-its-own-fields-and-shut-is-wrong","projectId":"4fda7edc-775a-4f0b-814b-67c388dc7f5b","taskId":"a19f4312-1da6-4353-a5d1-806e0b6461ed","completedAt":"2026-10-10T09:46:20.033Z","file":"a19f4312-1da6-4353-a5d1-806e0b6461ed_aristotle/RequestProject/SealedFiling.lean","bytes":14839,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"equityoracle-the-basis-is-never-two-prices-from-different-times","projectId":"34c05540-247e-431a-8629-cc60711606b6","taskId":"04870fe4-a158-416a-bf93-794280178fa5","completedAt":"2026-10-15T10:50:48.443Z","file":"04870fe4-a158-416a-bf93-794280178fa5_aristotle/RequestProject/Basis.lean","bytes":6784,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"oracle-the-print-at-an-instant-is-the-latest-round-not-after-it","projectId":"43a1640c-a7e2-48f8-bbc1-e158cd7c14b6","taskId":"bcff0f6c-4464-40f8-af1b-9a22c41887db","completedAt":"2026-10-21T19:07:33.612Z","file":"RequestProject/PrintPick.lean","bytes":5078,"toolchain":null},{"factId":"payout-held-fees-never-exceed-the-credits-and-never-go-negative","projectId":"e1788c45-3933-41f6-a3b8-f494642859b8","taskId":"588e4661-aab1-4c55-baa6-d009970c3cb4","completedAt":"2026-09-17T19:11:03.025Z","file":"588e4661-aab1-4c55-baa6-d009970c3cb4_aristotle/RequestProject/HeldFees.lean","bytes":4195,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"riskfeed-a-vouch-vouches-only-for-what-it-read-within-tolerance","projectId":"50ab0cf9-c1df-47c1-ab6c-36504e71017e","taskId":"a3d8d441-b01c-454c-a708-85cfdd37d2fa","completedAt":"2026-10-26T23:55:37.546Z","file":"RequestProject/RiskFeedVouch.lean","bytes":5023,"toolchain":{"lean":"leanprover/lean4:v4.34.0","mathlib":"5ed2965256430c3649e86755f9576b54eca72435"}},{"factId":"safe-a-wash-cycle-is-a-ring-sell-and-a-ring-buy-each-trade-once","projectId":"d986ab17-aeab-419e-abc9-55687c851dd8","taskId":"3d8ef826-54b1-44a6-be73-4a9667119684","completedAt":"2026-10-11T07:13:54.983Z","file":"3d8ef826-54b1-44a6-be73-4a9667119684_aristotle/RequestProject/WashCycle.lean","bytes":6957,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"chart-the-check-agrees-only-when-both-windows-take-the-same-side","projectId":"d96a5e15-ce6a-4ff0-b7d0-68512cd9de0f","taskId":"86384c62-9c14-4232-9dc5-feeece2ed470","completedAt":"2026-10-09T10:01:45.507Z","file":"86384c62-9c14-4232-9dc5-feeece2ed470_aristotle/RequestProject/StanceAgreement.lean","bytes":1498,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"compute-a-completion-is-bounded-and-priced-at-its-floor-or-above","projectId":"bd586756-d58d-4be1-b12f-39ea707b014b","taskId":"10bb2e49-82f5-498e-8945-042b94eab0d4","completedAt":"2026-10-11T10:26:14.911Z","file":"10bb2e49-82f5-498e-8945-042b94eab0d4_aristotle/RequestProject/Completion.lean","bytes":8316,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"payout-a-missing-price-is-never-a-zero-and-milestones-only-climb","projectId":"dc01dda8-3681-4817-86ee-37782c02eea7","taskId":"3386dc2c-1064-4b53-a5b5-24b4c614ca06","completedAt":"2026-10-09T06:18:43.292Z","file":"3386dc2c-1064-4b53-a5b5-24b4c614ca06_aristotle/RequestProject/Milestone.lean","bytes":1402,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"savers-a-payment-is-never-more-than-its-part-of-the-fees-counted","projectId":"a584bfe5-6ad7-45ac-8beb-8d187c34bc56","taskId":"50650b8e-24c4-4db4-9a3f-adedcb424245","completedAt":"2026-10-12T10:14:08.971Z","file":"50650b8e-24c4-4db4-9a3f-adedcb424245_aristotle/RequestProject/SaversPayment.lean","bytes":7025,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"weekendmark-a-mark-goes-on-chain-forward-only-and-the-final-once","projectId":"71393802-34c2-41bf-b8cc-879b3b5b50b3","taskId":"7e2d71ff-9f59-482a-b61d-6c4ef7d6fd13","completedAt":"2026-10-12T08:56:21.679Z","file":"7e2d71ff-9f59-482a-b61d-6c4ef7d6fd13_aristotle/RequestProject/WeekendMark.lean","bytes":3693,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"brain-every-split-sums-to-ten-thousand-and-the-trade-leg-is-capped","projectId":"89ef21a3-5027-4579-9505-19beb4ae99e5","taskId":"c56d5bcd-cb8a-45c3-8097-7d367fa1c6a4","completedAt":"2026-09-19T00:58:50.319Z","file":"c56d5bcd-cb8a-45c3-8097-7d367fa1c6a4_aristotle/RequestProject/Split.lean","bytes":3955,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"brain-vault-splitter-pays-only-the-owner-vault-and-a-bounded-share","projectId":"dbcd8180-b819-47da-b77e-beaee14d1b47","taskId":"96aff7f0-bdf9-4dd2-951e-d819b6e6f95e","completedAt":"2026-10-21T17:07:33.393Z","file":"RequestProject/VaultSplitter.lean","bytes":4393,"toolchain":null},{"factId":"depth-night-tape-scores-every-quote-against-the-print-that-followed","projectId":"c6f05595-dd5d-492b-b7f1-87adb3efc46b","taskId":"5d8a7f2c-c41d-4880-a991-6a503dd97257","completedAt":"2026-10-27T00:30:37.880Z","file":"RequestProject/NightTape.lean","bytes":3362,"toolchain":{"lean":"leanprover/lean4:v4.34.0","mathlib":"5ed2965256430c3649e86755f9576b54eca72435"}},{"factId":"depth-night-width-rises-with-the-closed-clock-and-never-past-double","projectId":"ab4862fa-9c2c-4c50-a73a-eb84da2edcf0","taskId":"ef7b6953-ce37-4b6d-a2ae-425668c88d1a","completedAt":"2026-10-25T21:10:08.565Z","file":"RequestProject/NightWidth.lean","bytes":3087,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"hyperliquid-a-position-never-asks-for-more-than-its-collateral-buys","projectId":"84ac8ecb-b04e-46cf-819f-19c1911e9d9d","taskId":"32ce5c3f-c219-4499-9492-eb1c919e0043","completedAt":"2026-10-17T12:04:23.134Z","file":"RequestProject/HyperliquidSize.lean","bytes":2658,"toolchain":null},{"factId":"equityoracle-a-quote-older-than-its-session-allows-never-reads-fresh","projectId":"60fb0bc0-151a-466c-be6e-660c4404ab57","taskId":"8a376adb-a948-4bbb-aebc-3e88bb558d87","completedAt":"2026-10-11T09:26:23.891Z","file":"8a376adb-a948-4bbb-aebc-3e88bb558d87_aristotle/RequestProject/QuoteFreshness.lean","bytes":2827,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"activity-the-forecast-band-holds-its-point-and-widens-with-its-errors","projectId":"fa528690-c362-44cc-889f-908a09efb897","taskId":"a511a166-c74d-4f6a-8748-5dfa4528b539","completedAt":"2026-10-24T20:53:46.323Z","file":"RequestProject/Activity.lean","bytes":4335,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"haltwatch-gated-only-if-in-the-swap-path-paid-and-carrying-the-oracle","projectId":"f1c2c9cb-d05b-4536-b91c-624fffb3267c","taskId":"1f1b55e9-41fe-40bd-b608-ac0606a980a8","completedAt":"2026-10-05T22:26:00.428Z","file":"1f1b55e9-41fe-40bd-b608-ac0606a980a8_aristotle/RequestProject/HaltwatchGated.lean","bytes":3063,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"oracle-settlement-conserves-the-pot-and-the-house-keeps-only-the-dust","projectId":"de3b1d02-0ed4-44c3-b009-5a2828f12b5c","taskId":"32a0aaca-080b-475f-9603-c210b8504f58","completedAt":"2026-09-28T03:13:16.483Z","file":"32a0aaca-080b-475f-9603-c210b8504f58_aristotle/RequestProject/Settlement.lean","bytes":7431,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"solve-a-challenge-goes-to-review-and-never-sends-an-answer-back-alone","projectId":"04168088-1c96-431b-b6f4-a5cdfd7b3734","taskId":"ff440231-9f57-4a28-b543-3985c68e7de7","completedAt":"2026-10-13T09:16:27.207Z","file":"ff440231-9f57-4a28-b543-3985c68e7de7_aristotle/RequestProject/ChallengeWindow.lean","bytes":7627,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"compute-an-inference-job-goes-only-to-a-machine-that-declared-the-kind","projectId":"a8444717-a8ed-4373-961f-dd0c6e8c1ff2","taskId":"f14bc371-f1b4-4e21-9a5f-897fda060ec9","completedAt":"2026-10-02T22:09:16.551Z","file":"f14bc371-f1b4-4e21-9a5f-897fda060ec9_aristotle/RequestProject/Routing.lean","bytes":2808,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"weekendmark-the-mark-is-dollars-over-tokens-between-the-pools-it-keeps","projectId":"4b65aea7-32f3-47f7-9529-376c09c236d2","taskId":"22bdfdf1-ebe0-432d-8871-140acc7049e7","completedAt":"2026-10-05T23:15:49.746Z","file":"22bdfdf1-ebe0-432d-8871-140acc7049e7_aristotle/RequestProject/WeekendMark.lean","bytes":8734,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"agentvault-a-lock-claim-pays-only-the-vault-and-no-key-grants-a-delegate","projectId":"af641fb1-4c34-45f9-9d50-f1a02e55c3ad","taskId":"f4cbb927-4253-43aa-a172-91bf6dc4525e","completedAt":"2026-10-25T21:45:09.286Z","file":"RequestProject/VaultLock.lean","bytes":11979,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"harmonic-pool-a-deposit-uses-held-token-first-and-buys-only-the-shortfall","projectId":"3c719f62-9037-4307-a3d9-7359f6c4b029","taskId":"11faa0fa-cd9e-4f7d-8da4-7d5287b2f803","completedAt":"2026-10-17T11:04:22.263Z","file":"RequestProject/HarmonicDeposit.lean","bytes":801,"toolchain":null},{"factId":"bond-shares-round-against-the-buyer-and-liability-is-netted-never-negative","projectId":"402d654d-bbbc-476d-a3f2-fb2d6fef6bf6","taskId":"17fb62d1-2672-4955-9017-559f72b0cda1","completedAt":"2026-09-25T04:08:23.541Z","file":"17fb62d1-2672-4955-9017-559f72b0cda1_aristotle/RequestProject/BondShares.lean","bytes":1252,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"oracle-the-ladder-step-moves-one-step-only-past-its-bar-after-thirty-locks","projectId":"c094fb5c-f32e-4c53-b46c-35fbdc64f79e","taskId":"fefd7783-0105-43bf-90e9-f7774379a8dc","completedAt":"2026-10-26T20:45:14.897Z","file":"RequestProject/StrikeLadder.lean","bytes":3500,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"bond-caps-scale-with-the-balance-and-solvency-refuses-what-cannot-be-covered","projectId":"5052f4e4-3cb8-4005-ac83-a39478d831a4","taskId":"29ac3923-5577-44df-95c6-f3de4096504d","completedAt":"2026-10-09T06:45:28.649Z","file":"29ac3923-5577-44df-95c6-f3de4096504d_aristotle/RequestProject/StakeCap.lean","bytes":891,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"hookrlp-the-tenth-comes-from-earnings-and-is-taken-before-every-exit-and-move","projectId":"f95b15e1-eda5-4afa-be8a-69d295f36238","taskId":"32df53ab-1570-4923-ad36-f9d5f8f437ed","completedAt":"2026-10-12T08:26:21.601Z","file":"32df53ab-1570-4923-ad36-f9d5f8f437ed_aristotle/RequestProject/VaultShare.lean","bytes":5384,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"activity-a-forecast-is-graded-a-hit-exactly-when-what-happened-lies-in-its-band","projectId":"16b8efc9-b67a-4078-b9ac-23108d439150","taskId":"f7628ca4-e841-43b2-992c-99d2c8831aa7","completedAt":"2026-10-24T21:18:46.192Z","file":"RequestProject/Activity.lean","bytes":4243,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"credit-an-advance-never-exceeds-the-ltv-the-cap-or-its-share-of-the-expectation","projectId":"3248c574-8a66-47e1-bf5a-25cd75fe26a9","taskId":"f626644d-e9ce-49b0-9f30-1eb6c7f7ef9a","completedAt":"2026-09-18T19:15:03.497Z","file":"f626644d-e9ce-49b0-9f30-1eb6c7f7ef9a_aristotle/RequestProject/LoanAdvance.lean","bytes":1863,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"oracle-every-stake-is-paid-under-exactly-one-outcome-and-a-void-returns-them-all","projectId":"069a8889-368c-402b-a452-84d8ef8457d6","taskId":"f42340fe-8639-47f0-9096-1ee0947354a0","completedAt":"2026-10-10T06:55:24.654Z","file":"f42340fe-8639-47f0-9096-1ee0947354a0_aristotle/RequestProject/Settlement.lean","bytes":3582,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"compute-a-job-is-never-priced-under-its-floor-and-a-spec-hashes-only-what-it-uses","projectId":"8761c827-3d33-476c-9d61-5c6e6da8d76e","taskId":"f4f66435-7f52-4802-a582-d0c7fead1c14","completedAt":"2026-09-18T02:27:19.520Z","file":"f4f66435-7f52-4802-a582-d0c7fead1c14_aristotle/RequestProject/JobPrice.lean","bytes":845,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"tail-cover-scale-is-one-until-thirty-days-and-stays-between-half-and-five-quarters","projectId":"bf107402-e542-43d5-b674-b8d8bbf0ac1e","taskId":"c46f0b6e-73a8-49c8-bff2-f1573deffbbc","completedAt":"2026-10-05T05:32:20.697Z","file":"c46f0b6e-73a8-49c8-bff2-f1573deffbbc_aristotle/RequestProject/TailCoverScale.lean","bytes":3341,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"chart-the-refuting-level-is-always-on-the-far-side-of-price-and-the-sheet-fits-a-post","projectId":"efaf8922-b53d-46fe-b3d8-178349f14de8","taskId":"a8784643-945d-40de-8e65-cbe6881d2073","completedAt":"2026-09-26T20:55:51.112Z","file":"a8784643-945d-40de-8e65-cbe6881d2073_aristotle/RequestProject/RefutingLevel.lean","bytes":3815,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"equitypools-the-chain-price-is-the-newest-dated-pool-and-an-undated-one-yields-no-basis","projectId":"9d59ee7c-af67-4150-bbbc-6283ef797221","taskId":"645d4f33-ff6d-4d3b-af7c-0ccc983461b1","completedAt":"2026-10-22T17:28:45.940Z","file":"RequestProject/ChainPrice.lean","bytes":8679,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"compute-a-completion-goes-to-the-cheapest-per-delivered-job-and-no-record-changes-nothing","projectId":"abf1d39c-e15e-4638-9a20-7b7b572de69f","taskId":"b02e0f62-9cde-4ab6-86f7-bb2c385d70f5","completedAt":"2026-10-22T17:58:45.509Z","file":"RequestProject/MachineOrder.lean","bytes":4058,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}},{"factId":"door-the-default-slippage-moves-only-on-thirty-graded-fills-and-stays-between-twenty-five-and-a-hundred","projectId":"2b61d2e5-ed5a-44e3-b952-f008e1f303f1","taskId":"5b756b39-1641-4e91-9872-d39eec7b0c72","completedAt":"2026-10-05T06:53:14.801Z","file":"5b756b39-1641-4e91-9872-d39eec7b0c72_aristotle/RequestProject/DefaultSlippage.lean","bytes":11406,"toolchain":{"lean":"leanprover/lean4:v4.28.0","mathlib":"8f9d9cff6bd728b17a24e163c9402775d9e6a365"}}],"inFlight":[],"notVerified":[{"factId":"apery","status":"queued","attempts":2},{"factId":"gauss-sum","status":"queued","attempts":2},{"factId":"four-color","status":"queued","attempts":1},{"factId":"euler-identity","status":"queued","attempts":2},{"factId":"mandate-daily-cap","status":"queued","attempts":2},{"factId":"frontier-erdos-straus-4-1","status":"queued","attempts":2},{"factId":"exec-slices-cover-and-bound","status":"queued","attempts":2},{"factId":"exec-slices-cover-the-order","status":"queued","attempts":2},{"factId":"fund-a-token-nobody-holds-owes-no-step","status":"queued","attempts":2},{"factId":"riskfeed-the-session-is-the-house-calendar","status":"queued","attempts":2},{"factId":"dca-dislocation-dial-bounded-and-caps-stand","status":"queued","attempts":2},{"factId":"organon-a-listing-pays-out-exactly-its-price","status":"queued","attempts":2},{"factId":"solve-bounty-book-pays-only-poster-answerer-or-fee","status":"queued","attempts":2},{"factId":"organon-a-wallet-is-linked-only-by-its-own-signature","status":"queued","attempts":2},{"factId":"world-bounty-is-the-set-figure-for-checked-work-only","status":"queued","attempts":2},{"factId":"chart-a-fitted-window-holds-every-indicator-it-quotes","status":"queued","attempts":2},{"factId":"erc8004-a-file-is-an-agents-only-when-it-names-it-back","status":"queued","attempts":2},{"factId":"poiesis-funded-spreads-conserve-collateral-and-premium","status":"queued","attempts":2},{"factId":"rail-an-order-over-the-holder-limits-is-never-forwarded","status":"queued","attempts":2},{"factId":"hyperliquid-our-fee-never-exceeds-what-the-person-approved","status":"queued","attempts":2},{"factId":"safe-coin-into-a-pool-is-a-sale-only-where-its-swap-took-it","status":"queued","attempts":2},{"factId":"riskfeed-nothing-unread-quiet-halted-or-split-is-ever-priced","status":"queued","attempts":2},{"factId":"agentvault-the-writer-never-sends-eth-or-a-token-to-an-address","status":"queued","attempts":2},{"factId":"bond-spread-widens-only-on-a-proven-edge-and-never-past-double","status":"queued","attempts":0},{"factId":"equityoracle-a-gated-venue-fills-only-on-a-fresh-open-row-it-can-read","status":"queued","attempts":2},{"factId":"oracle-a-question-never-opens-or-takes-a-stake-on-a-print-already-standing","status":"queued","attempts":0}],"updatedAt":"2026-11-08T07:43:27.126Z"},"wallet":{"armed":true,"address":"0x046C58b10Eef3B19154Da71955815f05c0010a8A","explorer":"https://robinhoodchain.blockscout.com/address/0x046C58b10Eef3B19154Da71955815f05c0010a8A","balanceEth":"0.47463250347029531","fundedForGas":true,"mustLaunchFromThisWallet":"Pons pays creator fees to the launching wallet; claim() pays its caller. Launch $HARMONIC from this address or the agent will never have fees to claim."},"rwa":{"buying":true,"claimDeskOpen":true,"minBuyEth":0.0005,"basket":[{"symbol":"META","weight":25,"address":"0xc0D6457C16Cc70d6790Dd43521C899C87ce02f35"},{"symbol":"SPCX","weight":25,"address":"0x4a0E65A3EcceC6dBe60AE065F2e7bb85Fae35eEa"},{"symbol":"NVDA","weight":20,"address":"0xd0601CE157Db5bdC3162BbaC2a2C8aF5320D9EEC"},{"symbol":"TSLA","weight":15,"address":"0x322F0929c4625eD5bAd873c95208D54E1c003b2d"},{"symbol":"QQQ","weight":15,"address":"0xD5f3879160bc7c32ebb4dC785F8a4F505888de68"}],"retired":[{"symbol":"AAPL","address":"0xaF3D76f1834A1d425780943C99Ea8A608f8a93f9","retiredAt":"2026-09-28"},{"symbol":"SPY","address":"0x117cc2133c37B721F49dE2A7a74833232B3B4C0C","retiredAt":"2026-09-28"},{"symbol":"SLV","address":"0x411eFb0E7f985935DAec3D4C3ebaEa0d0AD7D89f","retiredAt":"2026-09-28"},{"symbol":"SGOV","address":"0x92FD66527192E3e61d4DDd13322Aa222DE86F9B5","retiredAt":"2026-09-28"}],"distributions":1437180,"distributionsAtLeast":true,"loggedWindow":5000,"bySymbol":{"SPY":507,"SLV":612,"SGOV":621,"META":521,"SPCX":561,"NVDA":561,"TSLA":561,"QQQ":561,"AAPL":495},"lastAt":"2026-11-08T18:25:30.503Z","mode":"claim","rounds":144,"holdersOnLatestRound":3243},"perps":{"enabled":false,"mode":"reading, not trading","venues":5,"venuesFailed":0,"pairs":16,"hedgeable":1,"takeable":1,"best":"ETH: spot at $2232.81 against a perp at $2236.10 is 0.15%, funding paid to this side, $2,208,498,557 of open interest. short the perp against spot, delta flat, at most 3x","limits":{"maxLeverage":3,"minSpreadPct":0.5,"minFundingApr":8,"minOiUsd":20000000,"minRecentUsd":25000,"fundingSamples":6,"maxPositionPct":25,"maxDayPct":60},"armed":false,"approved":false,"agent":"0x7eC8B46540208b77DDaffe29B76c4E3C95858B02","accountUsd":null,"accountError":"no master account is configured. set PERPS_MASTER_ACCOUNT to the wallet that holds the collateral","ready":false},"perpDesk":{"venue":"lighter","chain":"robinhood","live":true,"reachable":true,"markets":71,"equityMarkets":12,"minOrderUsd":10,"tradable":true,"geo":"allowed","keyConfigured":true,"funded":true,"custody":"a visitor's key is derived in their own browser and never reaches this project","degradedReason":null},"husd":{"live":true,"dollar":"0x62c457926ea50890ce912175798f016a3ce1f50e","savings":"0xa0d5b5d38b7d9d9d9cd912236f66960463c225e7","reserve":"0x5fc5360d0400a0fd4f2af552add042d716f1d168","held":179.345013,"owed":179.345013,"ratio":1,"pooled":175.197432,"sharePrice":1.0013844615626006,"degradedReason":null},"bondMarket":{"live":true,"enabled":true,"open":33,"settled":400,"right":346,"scored":362,"stakedEth":0.02072,"paidEth":0.032408,"feeEth":0.000245,"houseBalanceEth":0.000802865589310078,"worstCaseOwedEth":0,"solvent":true,"degradedReason":null},"curveCredit":{"live":false,"offering":0,"considered":6,"degradedReason":null},"overtoneIndex":{"live":false,"navEth":0,"holders":0,"positions":0},"mining":{"round":null,"open":null,"boardEth":null,"ethPerSlvr":0.006952076711419967,"degradedReason":null},"indexDesk":{"address":"0x01b8de6d49d41d6ef2efb75f0ba5a3adbc637a21","seeded":true,"legs":10,"navUsd":null,"degradedReason":null,"asOfSec":131},"hincDesk":{"address":"0x261501bf7e5281de96d274b8c3397aad43458a8b","seeded":true,"zap":"0x508d3c889c36624f71ab333f0220e73cf14e5a1a","legs":10,"navUsd":237.08,"navPerShareUsd":0.10448948773689362,"degradedReason":null,"asOfSec":128},"agentFactory":{"total":0,"active":1,"byType":{"treasury":0,"buyback":0,"dca":0,"mining":12},"navUsd":441.24,"feesEth":"0.067612929384748171"},"execDesk":{"open":0,"done":7,"fills":7,"feesEth":"0.00013544794139288","feeBps":25,"impactCapBps":40,"impactScale":{},"record":{"desk":"exec","lifetime":null,"calls":0,"open":0,"settled":0,"right":0,"wrong":0,"hitRate":null,"avgMoveBps":null,"learning":{"weights":{},"signs":{},"learning":false,"samples":0,"legacy":0,"encoding":2,"note":"0 settled calls in the current encoding; nothing is weighted under 12, and a feature earns weight only once 30 cases carry it with at least 8 either side of the cut.","retired":[]},"recent":[]}},"dca":{"active":0,"done":0,"tranches":0},"solve":{"problems":12,"open":11,"answered":0,"pieces":60,"answers":105,"checked":7,"refuted":0,"bountiesOpenEth":0,"paidEth":0,"industries":11,"byDomain":{"health":2,"life":1,"ecology":1,"energy":1,"physics":1,"math":1,"systems":1,"ai":1,"markets":2,"society":1},"latest":[{"id":"c1b95b","title":"The one policy lever that moved housing supply","kind":"open","domain":"society","status":"open"},{"id":"fcfea8","title":"What the tape says in a launch's first thirty minutes","kind":"open","domain":"markets","status":"open"},{"id":"a7c5f5","title":"The smallest check before money moves on an agent's answer","kind":"open","domain":"ai","status":"open"}],"lastCycle":{"at":1794162719191,"calls":0,"notes":[]},"calibration":{"settled":0,"needed":20,"bands":[{"band":"50-60%","settled":0,"right":0,"share":null,"interval":null,"measured":false,"shrinks":false},{"band":"60-70%","settled":0,"right":0,"share":null,"interval":null,"measured":false,"shrinks":false},{"band":"70-80%","settled":0,"right":0,"share":null,"interval":null,"measured":false,"shrinks":false},{"band":"80-90%","settled":0,"right":0,"share":null,"interval":null,"measured":false,"shrinks":false},{"band":"90-100%","settled":0,"right":0,"share":null,"interval":null,"measured":false,"shrinks":false}],"shrinking":[],"why":"no band has 20 settled forecasts yet, so every forecast reads as stated"}},"brains":{"brains":4,"live":3,"funding":0,"burnedCoins":69351855.78364985,"holdersPaidEth":"0.002451690530713248","deployFeeEth":0.005,"roster":[{"symbol":"NEU","name":"Neural","status":"live","cycles":295,"owner":"@feezHKJ","split":"60% buy and burn, 10% liquidity in the coin's own pool (folded into the burn until it bonds), 30% to holders","mode":"fixed","ca":"0x2ef431B8Da665725697d36970e5A0e3556131AD5","launchedAt":1793076550496,"burned":"757096.37","holdersPaidEth":"0","timing":"clock","timingRecord":null},{"symbol":"PUDGY","name":"PUDGY HOOD","status":"live","cycles":954,"owner":"@MadDogGizmo1","split":"60% buy and burn, 10% liquidity in the coin's own pool (folded into the burn until it bonds), 30% to holders","mode":"fixed","ca":"0x8dC8e25A282DD6aB4CF08b7A936D77859449d5E1","launchedAt":1790618226820,"burned":"1789893.42","holdersPaidEth":"0.000971368108343134","timing":"clock","timingRecord":null},{"symbol":"FUNNY","name":"funny","status":"paused","cycles":51,"owner":"@MadDogGizmo1","split":"40% buy and burn, 40% to holders, 20% rides the trading desk","mode":"fixed","ca":"0x0Bcc957FdB75Ad7d82c82998dD3577BA75EdA77F","launchedAt":1790441445800,"burned":"1147707.36","holdersPaidEth":"0.001480322422370114","timing":"clock","timingRecord":null},{"symbol":"TET10","name":"TETRACTYS","status":"live","cycles":1122,"owner":"@TetractysLabs","split":"100% buy and burn","mode":"fixed","ca":"0xEb19c7A4D956FC362aE1A22F296a1A7d4Aa1E67B","launchedAt":1790115099724,"burned":"65657158.63","holdersPaidEth":"0","timing":"clock","timingRecord":null}],"proven":true},"mindask":{"kind":"mind.ask","priceUsd":"1","answered":0,"released":0,"today":{"answered":0,"released":0},"earnedUsd":"0.00","lastAt":null,"buyers":0,"machineServes":true},"rehearse":{"asked":2,"read":2,"unread":0,"refused":0,"clear":2,"amber":0,"red":0,"paid":0,"paidUnread":0,"wouldRevert":0,"day":{"asked":0,"read":0,"unread":0,"refused":0,"clear":0,"amber":0,"red":0,"paid":0,"paidUnread":0,"wouldRevert":0},"lastAt":1794036552764,"msMedian":131,"morpho":true,"index":true,"kind":"tx.rehearse","priceUsd":"0.25","machineServes":true,"readings":{"read":1,"unread":0,"today":0,"perDay":1000,"perPlace":40}},"tiktok":{"on":false,"mode":"inbox","configured":false,"connectOrigin":"https://harmonicagent.solutions","connected":false,"account":null,"scope":[],"connectedAt":null,"lostAt":null,"barredAt":null,"queued":10,"standing":10,"sent":0,"left":10,"publicPosted":0,"posted":0,"recordUnreadable":false,"waiting":0,"setAside":0,"next":{"id":"primes","title":"The Prime Spiral"},"nextDueAt":null,"everyHours":24,"hoursEt":"10:00 to 20:59 New York","heldUntil":null,"lastError":null,"lastConnect":null,"last":null,"note":"the TikTok app's keys are not set in Railway: until then, save a film here and post it from the TikTok app with its words","films":10},"hookr":{"release":"hookr-1","root":"0x89c9fb50d1f03192230ffb1c279bb6e7d3fe6acc","launcher":"0x1cf2748a6670572425eabf9ab9e5bc4eb2eb8ef4","rules":"0x4a71c270b1520f94064268102aebd744b0de7942","registry":"0x463c82bea1a52f4cc05ca0741a24f0ad24ba4602","sinceBlock":82536327,"sdk":"hookr-sdk 1.5.0","pins":{"root":true,"launcher":true},"agentGate":"0xf95e6c8eeda88b4d8dfd43a087d153059a5107b0"},"compute":{"configured":true,"escrow":"0x456107c9b11388247a4fbb3adabf5cc00762ad41","lastBlock":109439621,"scannedAt":"2026-11-08T18:40:04.936Z","jobsKnown":0,"waiting":0,"running":0,"settled":0,"refunded":0,"confirmations":12,"note":"providers dial out and hold the line; this desk exposes nothing for them to connect to","connections":1,"providersHoldingTheLine":1,"inferenceLines":0,"noncesOutstanding":0,"maxConnections":500,"pullMode":true,"degradedReason":null},"claimDesk":{"open":true,"rounds":144,"latestBlock":"109429919","holdersOnLatestRound":3243,"unclaimed":{"META":"0.648222592464889533","SPCX":"2.931146394269479509","NVDA":"1.599872280254515597","TSLA":"0.671274201538448095","QQQ":"0.379795130111568935","AAPL":"0.130418264538334032","SPY":"0.061672302666522713","SLV":"0.402096448961468669","SGOV":"0.078299015053370853"},"regionSource":"edge header, then ip lookup","degradedReason":null},"allocator":{"lastAllocation":{"at":"2026-11-08T18:03:10.676Z","ofEth":"0.022645225107070956","weights":{"burn":5001,"lp":2285,"rwa":2714},"parts":{"burn":"0.007925828787474837","lp":"0.003623236017131352","rwa":"0.004302592770343481"},"reasons":["rsi 72 is rich: buy less of our own strength, build depth instead"],"read":{"samples":240,"rsi":72,"macdHistBps":-6,"macdLineBps":12,"pctB":0.376,"bandwidthBps":22,"donchian":0.609,"z":-0.49,"realizedVolBps":29549,"drawdownBps":147}},"pending":{"burnEth":"0.881231413808553724","lpEth":"0.001392449661028571","rwaEth":"0.002328072462418467"}},"amm":{"singleton":"0x8366a39cc670b4001a1121b8f6a443a643e40951","router":"0x65050a9b7e5075a2ba5ced7b1b64ee66262c40dc","tokenSide":"49419126.970561738811498138","ethSide":"24597.436247206512306974","funded":true,"degradedReason":null},"lp":{"canAdd":true,"venue":"univ4","graduated":true,"poolManager":"0x8366a39cc670b4001a1121b8f6a443a643e40951","positionManager":"0x58daec3116aae6d93017baaea7749052e8a04fa7","poolKey":{"currency0":"0x0000000000000000000000000000000000000000","currency1":"0xdee52f2ab639b6942b0d0f0565400b93b7a0fbe5","fee":0,"tickSpacing":200,"hooks":"0xE5e702641Ea86F4ae6cC3cDaeD2B886f976Be044"},"quoting":true,"readError":null,"via":"poolmanager state","tick":139699,"poolLiquidity":"29277002188455996998335","placement":{"mode":"reasoned-band","reasoned":true,"last":{"tickLower":139000,"tickUpper":140400,"bandPct":5.7,"method":"reasoned","reason":"Aristotle placed a ±5.7% band around the current price because 20-bar realized volatility is 3.6%: tight enough to concentrate the fees, wide enough to hold through the expected swing.","volBps":359,"currentTick":139734,"live":true,"at":1794162299264}},"note":"positions are one-way: there is no withdraw path in this file","positionsHeld":0},"curve":{"address":"0xAd556fD8DF4A6cFc936D80412dc3c1763D6b8d9a","graduated":true,"ethReserve":"1.68","tokenReserve":"0","ethPerToken":null},"memory":{"peopleRemembered":500,"peopleEver":1773,"peopleCap":500,"totalInteractions":8798,"learned":325,"confirmed":0,"proven":0,"lastLearnedAt":"2026-11-07T23:50:05.623Z","lastInsight":"When someone asks whether a formal-verification claim covers the whole system, immediately narrow the scope out loud before listing what's proved: name the exact file, that it's checked in beside the data and accepted by the Lean kernel under a pinned toolchain, then enumerate the specific theorems,"},"telegram":{"enabled":true,"mode":"webhook","username":"HarmonicAgent_Bot","readsGroupMessages":true,"updates":42,"handled":42,"errors":0,"lastUpdateAt":"2026-11-08T18:29:55.565Z","lastError":null,"pending":0,"link":"https://t.me/HarmonicAgent_Bot"},"payouts":{"enabled":true,"accounts":5,"receipts":12,"creditedEth":"0.078952814979980313","convertedUsdg":"0","unconvertedEth":"0.078952814979980313","pendingSwaps":0,"staleSwaps":0,"voidedSwaps":0,"keepingEth":1,"payingDollars":0,"milestones":2,"convertFloor":{"eth":"0","wei":"0","graded":0,"right":0,"needed":30,"atOrAbove":null,"rightAtOrAbove":null,"sizeEth":null,"why":"0 conversions graded; there is no floor until 30 are, so every size converts as it always has","at":1794162780266},"splitters":23,"splittersDone":23,"scannedAt":"2026-11-08T18:33:00.266Z","lastError":null,"houseOnly":false,"note":null},"alerts":{"delivery":"telegram","note":null,"standing":[{"key":"fund-distribution:SPY:2026-10-30","severity":"notice","source":"funds","text":"SPY: $1.888834 a share processed 2026-10-30 (completed at the issuer) and no multiplier step seen; the multiplier reads 1.001717991. the board: harmonicagent.solutions/#/funds/SPY","since":"2026-11-04T13:45:33.412Z","raisedAt":"2026-11-04T13:45:33.412Z","lastTold":"2026-11-04T13:45:33.412Z","toldVia":"telegram"},{"key":"fund-step-over-5:SOXX:2026-11-04T14:35:32.827Z","severity":"notice","source":"fundSteps","text":"SOXX, a fund token: its multiplier stepped +200% on 2026-11-04, past the 5% line the dividend ledger files as a split. this alert only reports it; nothing is reclassified. the board: harmonicagent.solutions/#/funds/SOXX","since":"2026-11-04T14:35:32.827Z","raisedAt":"2026-11-04T14:35:34.297Z","lastTold":"2026-11-04T14:35:34.297Z","toldVia":"telegram"},{"key":"fund-step-over-5:SOXX:2026-11-04T17:35:33.017Z","severity":"notice","source":"fundSteps","text":"SOXX, a fund token: its multiplier stepped -66.666667% on 2026-11-04, past the 5% line the dividend ledger files as a split. this alert only reports it; nothing is reclassified. the board: harmonicagent.solutions/#/funds/SOXX","since":"2026-11-04T17:35:33.017Z","raisedAt":"2026-11-04T17:35:35.260Z","lastTold":"2026-11-04T17:35:35.260Z","toldVia":"telegram"},{"key":"fund-step-over-5:SOXX:2026-11-05T14:39:44.004Z","severity":"notice","source":"fundSteps","text":"SOXX, a fund token: its multiplier stepped +200% on 2026-11-05, past the 5% line the dividend ledger files as a split. this alert only reports it; nothing is reclassified. the board: harmonicagent.solutions/#/funds/SOXX","since":"2026-11-05T14:39:44.004Z","raisedAt":"2026-11-05T14:39:44.406Z","lastTold":"2026-11-05T14:39:44.406Z","toldVia":"telegram"}],"watching":[],"unread":{},"notWatched":{"rpc":"chain.js keeps no count of failed reads, so both nodes failing shows here through the health sections it degrades and the desks it silences, not as an alert of its own"},"cadence":{"everyMs":300000,"repeatMs":21600000},"grace":{"rule":"a key whose runs keep clearing on their own before their wait runs out waits longer before it pages: one plus twice the share of its runs in the last thirty days that cleared early, never under one and never over 4, and exactly one until 6 runs are on record. no wait is ever shortened","scales":{"health.perps":{"scale":2.94,"settled":68,"flaps":66},"health.poster":{"scale":2.14,"settled":7,"flaps":4},"health.poiesis":{"scale":3,"settled":29,"flaps":29},"health.husd":{"scale":2.89,"settled":37,"flaps":35},"health.perpDesk":{"scale":3,"settled":11,"flaps":11},"health.allocator":{"scale":3,"settled":6,"flaps":6},"health.amm":{"scale":3,"settled":32,"flaps":32},"health.lp":{"scale":2.95,"settled":39,"flaps":38},"health.mm":{"scale":2.85,"settled":26,"flaps":24},"health.mining":{"scale":3,"settled":12,"flaps":12},"health.wallet":{"scale":3,"settled":10,"flaps":10},"health.bondMarket":{"scale":3,"settled":11,"flaps":11},"health.curve":{"scale":3,"settled":16,"flaps":16},"health.oracleMarket":{"scale":2.93,"settled":29,"flaps":28},"health.indexDesk":{"scale":1,"settled":3,"flaps":3},"health.hincDesk":{"scale":1,"settled":4,"flaps":4},"hyperliquid.unreadable":{"scale":1,"settled":1,"flaps":1},"voice.hold":{"scale":1,"settled":5,"flaps":4},"health.x":{"scale":1,"settled":6,"flaps":0},"borrow.unread":{"scale":2.28,"settled":25,"flaps":16},"voice.credit":{"scale":1,"settled":1,"flaps":0},"bondbook.mirror":{"scale":1,"settled":5,"flaps":5},"payouts.scan":{"scale":1.74,"settled":19,"flaps":7}}},"ticks":14605,"sent":272,"lastTick":"2026-11-08T18:38:02.230Z","lastSent":"2026-11-07T18:37:05.744Z","lastSendError":null},"candles":{"network":"robinhood","timeframes":["1m","5m","15m","1h","4h","12h","1d"],"built":["2m","3m","10m","30m","45m","2h","3h","6h","8h","2d","3d","1w"],"pools":3,"series":6,"callsLastMinute":0,"callsPerMinute":22,"pausedFor":0,"flagship":"0xdee52f2ab639b6942b0d0f0565400b93b7a0fbe5"},"taProofs":{"opened":132,"open":3,"held":70,"refuted":59,"confirmed":37,"horizon":33,"hitRate":54.3,"checkedAt":"2026-11-08T18:13:00.993Z","lastError":null,"latest":["P-132 on $QQQ 4h: neutral at 695.284, refuted, a 4h close at 684.309 below 690.835 (-1.6% since)","P-131 on $CHOP 4h: constructive at 0.0000138, refuted, a 4h close at 0.0000109 below 0.0000119 (-21.1% since)","P-130 on $PRIORS 1d: rotation between 0.005536 and 0.0167; refuted by a 1d close outside either; otherwise judged after 12 bars; standing after 6 bars","P-129 on $HARMONIC 1d: rotation between 0.001001 and 0.004419; refuted by a 1d close outside either; otherwise judged after 12 bars; standing after 6 bars","P-128 on $PRIORS 4h: neutral at 0.0111, refuted, a 4h close at 0.009488 below 0.009697 (-14.3% since)","P-127 on $HARMONIC 4h: neutral at 0.002006, refuted, a 4h close at 0.001754 below 0.001849 (-12.5% since)"]},"pairs":{"pairs":8,"intact":6,"open":3,"benched":0,"benchedPairs":[],"opened":70,"held":43,"refuted":24,"settled":67,"checkedAt":1794159778,"lastError":null},"allocate":{"markets":6,"refused":0,"bars":499,"checkedAt":1794159778},"tail":{"enabled":true,"markets":6,"measured":6,"checkedAt":1794159778,"lastError":null,"quoted":6420,"held":6377,"breached":37,"open":6,"varScale":0.5,"daysGraded":204},"carry":{"enabled":true,"mode":"armed","why":"armed","signsFrom":"the operations wallet 0xbAC08203fBB2273878B3e4bcE46dCEA3B41D799E; the agent wallet opens nothing and signs only to take back the two Earn positions opened from it before 5 Oct 2026","limits":{"maxPositionUsd":100,"maxPositions":2,"minFundingApr":4,"fundingSamples":6,"maxNegativeBasisPct":0.5,"minDepthUsd":5000000,"exitCycles":3,"maxDays":30},"cycles":7082,"lastAt":"2026-11-08T18:33:00.295Z","fundingRead":true,"rows":12,"takes":["GOOGL"],"open":[],"closed":0,"drawnEth":"0","allowanceEth":"0","lastError":{"at":"2026-09-20T19:42:23.905Z","why":"the cycle did not finish in eight minutes and was released"},"degradedReason":null,"size":{"scale":1,"n":0,"paid":0,"lo":null,"hi":null,"why":"0 closed positions graded so far, and 10 is the floor before the record moves the size, so the typed cap stands","cap":100,"usd":100,"floor":50,"ceiling":300,"bounds":{"lo":0.5,"hi":3},"minClosed":10,"moves":[]}},"earn":{"enabled":true,"mode":"armed","why":"armed","signsFrom":"the operations wallet 0xbAC08203fBB2273878B3e4bcE46dCEA3B41D799E; the agent wallet opens nothing and signs only to take back the two Earn positions opened from it before 5 Oct 2026","limits":{"maxPositionUsd":100,"maxMarkets":2,"minOthersUsd":10000,"minUtilizationPct":5,"maxOracleBasisPct":2,"maxIdleDays":7,"exitCycles":3},"cycles":7059,"lastAt":"2026-11-08T18:33:00.480Z","markets":218,"rows":218,"takes":["NVDA","SPCX","GOOGL","AAPL","NVDA","GOOGL","GOOGL","SPY"],"open":[{"symbol":"NVDA","usd":10.271372,"openedAt":"2026-10-04T04:46:02.041Z"},{"symbol":"GOOGL","usd":13.718201,"openedAt":"2026-10-21T00:33:05.196Z"}],"drawnEth":"0","allowanceEth":"0","lastError":null,"degradedReason":null,"size":{"scale":1,"n":2,"paid":1,"lo":null,"hi":null,"why":"2 closed positions graded so far, and 10 is the floor before the record moves the size, so the typed cap stands","cap":100,"usd":100,"floor":50,"ceiling":300,"bounds":{"lo":0.5,"hi":3},"minClosed":10,"moves":[]}},"savers":{"mode":"on","signsFrom":"0xbAC08203fBB2273878B3e4bcE46dCEA3B41D799E","signer":"the operations wallet","start":"2026-10-12T00:00:00Z","payments":2,"lastPaid":{"at":"2026-11-02T02:46:46.000Z","txHash":"0x9fd36f355f9a76d40383b7fd888daf7d212a6f181053b008d121535887cb082e"},"lastRun":"2026-11-08T17:42:58.993Z","lastError":null,"degradedReason":null},"frontier":{"problems":17,"open":14,"partly":2,"resolved":1,"nodes":3866,"known":36,"proposed":3813,"proved":1,"withProver":4,"notes":1,"agents":3,"lastCycle":{"at":1794162778670,"notes":["hodge: the house proposed 3 lemmas"]}},"world":{"residents":7,"inSeason":2,"present":0,"owed":2,"purseEth":0.01416850965456,"season":2,"day":2807,"bounty":{"day":"2026-11-08","potEth":0.002,"eligible":true,"setEth":0.002,"scale":1,"scaleWhy":"over the last 30 graded days the bounty held the checked work at the fortnight's usual level on 30, and that record leaves 89% to 100% open, so the house pays the figure it set","graded":35,"leader":null,"yesterday":{"status":"unpaid","winners":[]}}},"dividends":{"enabled":true,"tokens":204,"paying":50,"steps":34,"splits":3,"anomalies":0,"lastAt":"2026-11-08T18:33:00.706Z","block":109435636,"reads":{"ok":203,"failed":0,"lastAt":"2026-11-08T18:33:00.706Z","lastOkAt":"2026-11-08T18:33:00.706Z","lastError":null},"top":[{"symbol":"CCL","cumulativePct":2.5056},{"symbol":"PFE","cumulativePct":1.0111},{"symbol":"SGOV","cumulativePct":0.947},{"symbol":"SCHD","cumulativePct":0.5539},{"symbol":"LHX","cumulativePct":0.4922}],"latest":[{"symbol":"PFE","at":"2026-11-06T01:21:18.898Z","pct":1.011083,"kind":"dividend"},{"symbol":"HWM","at":"2026-11-06T01:21:18.898Z","pct":0.047352,"kind":"dividend"},{"symbol":"CCL","at":"2026-11-06T01:21:18.898Z","pct":0.3494,"kind":"dividend"}],"degradedReason":null},"depth":{"enabled":true,"books":[{"symbol":"QQQ","address":"0x2bbb0af1db5f3b0e952c91095c96cbf224d62880","lastDecision":"nothing is deposited","settledAt":null,"widthScale":1,"nightScale":1,"decisions":{"kept":50,"moved":0,"held":0,"quiet":50,"errors":0,"refused":50}},{"symbol":"SLV","address":"0x18c3244d61fce7a4bf4e6b3bb68c74bb65136880","lastDecision":"nothing is deposited","settledAt":"2026-10-04T21:07:08.166Z","widthScale":1,"nightScale":1,"decisions":{"kept":50,"moved":0,"held":0,"quiet":50,"errors":0,"refused":50}},{"symbol":"SPY","address":"0xd1b62c130c1ee73b9b109ec735a5be335d44a880","lastDecision":"nothing is deposited","settledAt":null,"widthScale":1,"nightScale":1,"decisions":{"kept":50,"moved":0,"held":0,"quiet":50,"errors":0,"refused":50}},{"symbol":"AAPL","address":"0x989cbc118a8b9606df9eba74b918d1fe7bd866f2","lastDecision":"nothing is deposited","settledAt":null,"widthScale":1,"nightScale":1,"decisions":{"kept":50,"moved":0,"held":0,"quiet":50,"errors":0,"refused":50}},{"symbol":"AMZN","address":"0x964869a2ce40214364445ff7fa0592c55cb3e880","lastDecision":"nothing is deposited","settledAt":null,"widthScale":1,"nightScale":1,"decisions":{"kept":50,"moved":0,"held":0,"quiet":50,"errors":0,"refused":50}},{"symbol":"META","address":"0x4422bf87242787eafa1be09ad9f0656ed47de880","lastDecision":"the pool sits 9.29% off the issuer's price of $610.29, past the 1.50% band, so the book holds still rather than follow a dislocation","settledAt":"2026-11-08T12:42:59.751Z","widthScale":1,"nightScale":0.75,"decisions":{"kept":50,"moved":0,"held":48,"quiet":2,"errors":0,"refused":50}},{"symbol":"NVDA","address":"0x71ea8aaed666ec9f391e21b33d360bcf45342880","lastDecision":"the pool sits 6.33% off the issuer's price of $191.11, past the 1.50% band, so the book holds still rather than follow a dislocation","settledAt":"2026-11-08T06:15:27.330Z","widthScale":1,"nightScale":0.75,"decisions":{"kept":50,"moved":0,"held":47,"quiet":3,"errors":0,"refused":50}},{"symbol":"SPCX","address":"0x673c0ff7994f37f634f49d687e80a85b31d16880","lastDecision":"the price is inside the book, and a range that is working is not improved by being touched","settledAt":"2026-11-07T18:37:04.802Z","widthScale":1,"nightScale":0.75,"decisions":{"kept":50,"moved":0,"held":0,"quiet":50,"errors":0,"refused":50}},{"symbol":"TSLA","address":"0xb7fb29f9f6b54091dfcbe7796bd37e4322fb6880","lastDecision":"nothing is deposited","settledAt":null,"widthScale":1,"nightScale":1,"decisions":{"kept":50,"moved":0,"held":0,"quiet":50,"errors":0,"refused":50}}],"bandBps":150,"lastCycle":{"at":"2026-11-08T18:12:59.880Z","checked":9,"moved":0,"held":2}},"depth_night":{"intervalMs":600000,"lastSampleAt":1794162780709,"books":[{"symbol":"QQQ","samples":2016,"pending":249,"scored":30},{"symbol":"SLV","samples":2016,"pending":249,"scored":25},{"symbol":"SPY","samples":2016,"pending":249,"scored":26},{"symbol":"AAPL","samples":2016,"pending":249,"scored":30},{"symbol":"AMZN","samples":2016,"pending":249,"scored":25},{"symbol":"META","samples":2016,"pending":245,"scored":30},{"symbol":"NVDA","samples":2016,"pending":245,"scored":30},{"symbol":"SPCX","samples":2016,"pending":245,"scored":30},{"symbol":"TSLA","samples":2016,"pending":249,"scored":30}]},"depth_venue":{"build":"2026-09-29","hookedBooks":["QQQ","SLV","SPY","AAPL","AMZN","META","NVDA","SPCX","TSLA"],"requests":{"queued":[],"failed":[],"lastDeploy":{"at":"2026-09-28T21:03:17.966Z","symbol":"AAPL","txHash":null,"address":"0x67f6cd755f4fe350c1497394b5d039a7a0812880"}},"watchEveryMs":60000,"tapeEveryMs":300000,"lastWatch":{"at":"2026-11-08T18:40:04.937Z","checked":9,"set":0,"lifted":0,"errors":0},"lastTape":{"at":"2026-11-08T18:38:04.507Z","added":0,"rows":12923,"errors":0},"openHalts":[],"tapeRows":12923,"publishedAt":"2026-11-08T18:38:04.507Z"},"depth_swapdoor":{"ok":true,"door":"0x309a8d2b71f27feb640072137046d9ac1e0fd0c0","build":"2026-09-29","deployed":{"at":"2026-09-28T08:24:35.796Z","txHash":"0xbc36a3d982e3fae360493db13d919352a96831726d1b70c7f12f2f897850aeca","block":74651795,"deployer":"0xbac08203fbb2273878b3e4bce46dcea3b41d799e"},"poolManager":"0x8366a39cc670b4001a1121b8f6a443a643e40951","slippageBps":50,"maxSlippageBps":500,"deadlineMs":600000,"what":"trade against a hooked book from your own wallet: one approval for exactly the input, one swap with a minimum output and a ten-minute deadline; the door holds nothing, charges nothing, and a halted book refuses the fill","api":{"quote":"/api/depth/SYMBOL/swap/quote?side=buy&amount=25","build":"POST /api/depth/SYMBOL/swap {side, amount, slippageBps}"},"site":"https://harmonicagent.solutions/#/depth"},"oracleMarket":{"live":true,"enabled":true,"paperBecause":null,"book":{"taking":true,"contract":"0x3536C045e92307747cd3cBcEc5C24eC1baE2bE85","why":null,"custody":"your stake is held by the book's contract on Robinhood Chain, not by us; the contract pays winners and refunds by its own rule"},"assets":["BTC","ENA","ETH","LINK","AAPL","AMD","AMZN","ASML","BABA","CLSK","COIN","CRCL","CRWV","DELL","EWY","GLD","GME","GOOGL","GOOGL (24/7)","INTC","IONQ","META","MSFT","MSTR","MU","NBIS","NVDA","NVDA (24/7)","ORCL","PLTR","QQQ","RGTI","RKLB","SGOV","SLV","SNDK","SNDK (24/7)","SPCX","SPY","TSLA","TSLA (24/7)","TSM","USAR","USO"],"taking":97,"running":58,"settled":127288,"up":0,"down":0,"void":127288,"stakedEth":0.0016,"paidEth":0.0016,"feeEth":0,"lastCycle":"2026-11-08T18:38:04.672Z","prints":{"BTC":{"price":75618.87538715,"at":"2026-11-08T17:12:04.000Z","round":"18446744073709553539"},"ENA":{"price":0.15462836,"at":"2026-11-08T18:17:36.000Z","round":"18446744073709567916"},"ETH":{"price":2229.75751599,"at":"2026-11-08T16:51:38.000Z","round":"18446744073709554800"},"LINK":{"price":10.69929764,"at":"2026-11-08T18:20:55.000Z","round":"18446744073709556504"},"AAPL":{"price":342.11355408,"at":"2026-11-06T21:02:29.000Z","round":"18446744073709552566"},"AMD":{"price":447.2638,"at":"2026-11-06T21:13:50.000Z","round":"18446744073709555929"},"AMZN":{"price":259.9669,"at":"2026-11-06T20:41:26.000Z","round":"18446744073709552928"},"ASML":{"price":1428.76159035,"at":"2026-11-06T21:08:57.000Z","round":"18446744073709554299"},"BABA":{"price":109.18,"at":"2026-11-06T18:15:20.000Z","round":"18446744073709553912"},"CLSK":{"price":6.155,"at":"2026-11-06T20:55:43.000Z","round":"18446744073709558838"},"COIN":{"price":134.055,"at":"2026-11-06T23:54:47.000Z","round":"18446744073709556089"},"CRCL":{"price":67.30905,"at":"2026-11-06T23:38:13.000Z","round":"18446744073709557632"},"CRWV":{"price":46.39,"at":"2026-11-06T21:10:38.000Z","round":"18446744073709558559"},"DELL":{"price":332.17865854,"at":"2026-11-06T22:03:07.000Z","round":"18446744073709555631"},"EWY":{"price":137.1143,"at":"2026-11-06T20:58:32.000Z","round":"18446744073709555833"},"GLD":{"price":373.13513978,"at":"2026-11-08T03:13:31.000Z","round":"18446744073709551754"},"GME":{"price":25.03,"at":"2026-11-06T20:56:08.000Z","round":"18446744073709553389"},"GOOGL":{"price":285.72289789,"at":"2026-11-06T17:37:38.000Z","round":"18446744073709552887"},"GOOGL (24/7)":{"price":284.77120192,"at":"2026-11-07T20:52:01.000Z","round":"18446744073709551619"},"INTC":{"price":56.648,"at":"2026-11-06T21:06:27.000Z","round":"18446744073709557466"},"IONQ":{"price":32.25499999,"at":"2026-11-07T00:58:39.000Z","round":"18446744073709557741"},"META":{"price":609.83472234,"at":"2026-11-06T21:04:24.000Z","round":"18446744073709553577"},"MSFT":{"price":532.4908527,"at":"2026-11-06T18:21:56.000Z","round":"18446744073709552798"},"MSTR":{"price":128.875,"at":"2026-11-06T23:00:53.000Z","round":"18446744073709557639"},"MU":{"price":691.60630652,"at":"2026-11-06T21:27:56.000Z","round":"18446744073709558004"},"NBIS":{"price":130.76,"at":"2026-11-07T00:52:36.000Z","round":"18446744073709561083"},"NVDA":{"price":188.24025313,"at":"2026-11-06T22:30:34.000Z","round":"18446744073709553209"},"NVDA (24/7)":{"price":187.28715935,"at":"2026-11-07T22:31:07.000Z","round":"18446744073709551621"},"ORCL":{"price":116.50642998,"at":"2026-11-06T21:31:18.000Z","round":"18446744073709554840"},"PLTR":{"price":160.354525,"at":"2026-11-06T20:54:29.000Z","round":"18446744073709554602"},"QQQ":{"price":658.69528462,"at":"2026-11-06T18:33:06.000Z","round":"18446744073709552196"},"RGTI":{"price":11.71215,"at":"2026-11-07T00:27:21.000Z","round":"18446744073709557176"},"RKLB":{"price":53.425,"at":"2026-11-07T00:39:33.000Z","round":"18446744073709557865"},"SGOV":{"price":101.43663431,"at":"2026-11-06T09:02:18.000Z","round":"18446744073709551725"},"SLV":{"price":46.995,"at":"2026-11-06T18:44:36.000Z","round":"18446744073709553591"},"SNDK":{"price":838.9723,"at":"2026-11-07T00:02:51.000Z","round":"18446744073709560869"},"SNDK (24/7)":{"price":839.0228952,"at":"2026-11-08T18:25:54.000Z","round":"18446744073709551629"},"SPCX":{"price":135.5861,"at":"2026-11-06T21:06:17.000Z","round":"18446744073709556080"},"SPY":{"price":739.94904573,"at":"2026-11-06T14:42:21.000Z","round":"18446744073709551838"},"TSLA":{"price":358.256825,"at":"2026-11-06T20:55:30.000Z","round":"18446744073709553641"},"TSLA (24/7)":{"price":357.74122372,"at":"2026-11-07T21:45:42.000Z","round":"18446744073709551621"},"TSM":{"price":378.49514287,"at":"2026-11-06T21:45:27.000Z","round":"18446744073709553641"},"USAR":{"price":8.23595,"at":"2026-11-06T23:34:25.000Z","round":"18446744073709556423"},"USO":{"price":148.085,"at":"2026-11-06T21:34:21.000Z","round":"18446744073709553975"}},"ladder":{"hour":{"scale":1.5625,"strikePctNow":0.00390625,"locks":90,"share":0.6409,"lo":0.5379,"hi":0.7323,"words":"the hour's ladder steps 0.3906 percent of the print, 1.5625 times the typed 0.25 percent; over 90 hourly locks 64 percent of closes landed inside the outer strikes, between 54 percent and 73 percent on that evidence, so the hour's step holds at 1.5625 times the typed share"},"day":{"scale":1.25,"strikePctNow":0.0125,"locks":4,"share":0.175,"lo":null,"hi":null,"words":"the day's ladder steps 1.25 percent of the print, 1.25 times the typed 1 percent; 4 daily locks graded under it (18 percent of closes inside the outer strikes), and it reads from 30"},"week":{"scale":1,"strikePctNow":0.03,"locks":5,"share":0.3183,"lo":null,"hi":null,"words":"the week's ladder steps 3 percent of the print, as typed; 5 weekly locks graded under it (32 percent of closes inside the outer strikes), and it reads from 30"}},"houseBalanceEth":0.001899482938,"owedEth":0,"solvent":true,"degradedReason":null},"dials":{"at":"2026-11-08T18:12:59.840Z","dials":25,"learned":1,"retired":12,"reverted":0,"moves":20,"latest":["the prediction desk moved how much the price model counts in a prediction read from 0.3839 to 0.3866, because across 1512 settled reads that reading right 32% of the time when it reads above 550 against 46% when it reads at or below; real on 214 consecutive refreshes","the prediction desk moved how much the price model counts in a prediction read from 0.387 to 0.3839, because across 1500 settled reads that reading right 31% of the time when it reads above 558 against 46% when it reads at or below; real on 213 consecutive refreshes","the prediction desk moved how much the price model counts in a prediction read from 0.3911 to 0.387, because across 1508 settled reads that reading right 32% of the time when it reads above 550 against 46% when it reads at or below; real on 211 consecutive refreshes"]},"poiesis":{"configured":true,"live":true,"address":"0xa38aEDa7c62064c923F85b7b69e62D4F9C12D26f","core":{"ok":true,"sourceHash":"5afe8b17da44363db61a196cebb7b080c345f9087fa0e345a3ad9271fa51f668","binaryHash":"a03318a6409718f9e864f2d228e7a5a69448dd3ae12f1b69829c7d9870f68855","platform":"linux","arch":"x64","available":true},"proof":{"status":"verified","sourceHash":"5afe8b17da44363db61a196cebb7b080c345f9087fa0e345a3ad9271fa51f668","manifestHash":"535deeaf24f5a4067dfac92abfe22b4cfb4a4bdf375e45f7a26fd5ee1a83dc66","lean":{"status":"verified","toolchain":"leanprover/lean4:v4.22.0","sourceHash":"33fbd5250086156f087fd843f5cc5e17dae6345df6e31620ed371891a4d9991c","checkedAt":"2026-10-28T02:40:04.389Z"},"c":{"status":"verified","sourceCommit":"33ef8d70560eba9c8fbd135fe42655bddd451d01","checkedAt":"2026-10-28T05:01:37.302Z","reportHash":"d5273054c2cbc6177a5e6ce2320c619528fecf3251449a3c39e478c28cbeeb50","properties":[{"id":"muldiv_no_ub","status":"verified"},{"id":"quote_no_ub","status":"verified"},{"id":"payoff_no_ub","status":"verified"},{"id":"muldiv_exact","status":"verified"},{"id":"quote_fee_conservation","status":"verified"},{"id":"spread_payoff_conservation","status":"verified"},{"id":"invalid_terms_no_write","status":"verified"}],"projectUrl":"https://aristotle.harmonic.fun/projects/e9dfa7e8-4a4f-4ba9-8fd6-2262a08a1e55"},"scope":"C payoff and fee kernel; Lean integer arithmetic specification","excludes":["Solidity settlement contract","oracle data and delivery","token custody","JavaScript intent parser","native compiler correctness"]},"accounting":{"state":"complete","balance":"0","totalHeld":"0","feeAccrued":"0","solvent":true},"read":{"state":"complete","at":1794163205014,"blockNumber":"109439664","reason":null,"hasOlder":false,"coverage":"latest offers"},"languageBuilder":true,"feeBps":200,"feeTo":"0xbAC08203fBB2273878B3e4bcE46dCEA3B41D799E","offersObserved":0,"degradedReason":null},"hookrSplit":{"address":"0xf006b68d31d9f85c154bca3c25e05e510540c161","cutBps":250,"cutOn":true,"live":true,"readAt":"2026-11-08T18:09:46.515Z","lastCycle":{"at":"2026-11-08T13:42:58.606Z","live":true,"adopted":0,"settled":0,"settledWei":"0","serviceWei":"0","houseCollected":0,"houseWei":"0","integratorWei":"0","pendingHandOffs":[],"errors":[]}},"riskfeed":{"enabled":true,"mode":"live","address":"0xd91e56a9999974a1319150cd6fa00bc87cc2d91d","writes":{"policy":"paid","paying":0,"allowed":false,"reason":"nobody pays to read the feed","dayGasCap":60000000,"dayGasUsed":0},"count":203,"counts":{"unknown":8,"quiet":185,"halted":0,"paused":0,"rebasing":10,"disputed":0,"stale":0,"closed-held":0,"closed-marked":0,"extended":0,"live":0},"priced":0,"vouchedAt":"2026-10-16T08:23:39.000Z","calendarThrough":"2027-12-31","unvouched":{"at":"2026-11-08T18:39:05.207Z","named":170,"listed":195,"reasons":{"past the caps of a pass":3},"streak":6648},"lastPass":{"at":"2026-11-08T18:39:05.207Z","mode":"live","ok":true,"block":109439048,"tokens":203,"listed":195,"writes":203,"moves":0,"vouched":0,"unvouched":0,"deferred":3,"sent":0,"held":8,"heldWhy":"nobody pays to read the feed","stopped":null,"notes":[],"estimatedGas":4366222},"lastError":null,"lastTx":{"at":"2026-10-16T08:23:39.853Z","fn":"batch","ok":true,"hash":"0x2db4e852cc25b27c775cebdb995fc640017ba89221897bb0703d14eace98bfa0","block":89933720,"gasUsed":356302},"lastFailedTx":null,"signer":{"at":"2026-10-16T08:23:37.875Z","ok":true,"address":"0xbAC08203fBB2273878B3e4bcE46dCEA3B41D799E"},"day":{"key":"2026-11-08","wholeWrites":0,"firstWrites":0,"moves":0,"halts":0,"vouches":0,"setDays":0,"txs":0,"gasUsed":0,"estimatedGas":0},"planToday":null,"refused":[],"pauseUnread":0,"parity":{"checked":195,"disagree":0,"twice":[]}},"keepersignal":{"ok":true,"desk":"keepersignal","cycle":{"at":"2026-11-08T18:39:05.249Z","ok":true,"read":203,"counts":{"open":1,"closed":0,"halted":0,"weekend":202,"unknown":0},"reason":null,"lastOkAt":"2026-11-08T18:39:05.249Z"},"webhooks":{"active":1,"disabled":0,"queued":0,"delivered":74,"failed":0,"lastHour":{"tries":12,"ok":12}},"chat":{"waiting":0,"sent":0},"oldestQueuedMs":0,"hosts":0,"okHosts":1,"sealed":true},"organonalerts":{"watching":1,"queued":0,"counts":{"sent":0,"armed":1,"failed":0},"lastFired":[]},"probedAt":"2026-11-08T18:40:23.622Z","probeAgeSec":1}