{"ok":true,"at":1793026473630,"windowMs":21600000,"spanMs":86400000,"uptimeSec":69573,"counters":{"pushesFollowed":4005,"readsSettled":72286,"theorems":217,"bootChecks":{"proved":254,"failed":0},"problems":12,"checked":7,"brains":3,"sealedWallets":6,"pairedAgents":3,"launchesSeen":332029,"bondsSeen":7250,"deskPaused":false,"predictPaused":true},"events":[{"at":1793026468660,"kind":"verdict","text":"progress 27% under the 60% floor: the record pays only from there (p 46%)","tone":"flat"},{"at":1793026468660,"kind":"verdict","text":"progress 45% under the 60% floor: the record pays only from there (p 1%)","tone":"flat"},{"at":1793026468660,"kind":"verdict","text":"progress 14% under the 60% floor: the record pays only from there (p 46%)","tone":"flat"},{"at":1793026462660,"kind":"verdict","text":"progress 21% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793026338746,"kind":"verdict","text":"progress 22% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793026248823,"kind":"read","text":"trader-watch: 0x5a15a137:p12 settled wrong, stalled at 1.145x after 30 min","tone":"down"},{"at":1793026212115,"kind":"brain","text":"$TET10: HELD 0.000204445678430902 ETH allocated from 0.001208891356861804 ETH held: no burn: 0.000204445678430902 ETH leaves no room to price the pair and still buy; the slice stays in the wallet.","tone":"flat"},{"at":1793026205790,"kind":"read","text":"trader-watch: 0xb8e73bad:p45 settled wrong, dumped at 0.663x after 14.8 min","tone":"down"},{"at":1793026205790,"kind":"read","text":"trader-watch: 0xb8e73bad:p60 settled wrong, dumped at 0.483x after 14.3 min","tone":"down"},{"at":1793026098614,"kind":"verdict","text":"progress 11% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793025911136,"kind":"brain","text":"$PUDGY: WAIT nothing to allocate: 0 ETH above the reserve, under the 0.0001 ETH floor worth paying gas for.","tone":"flat"},{"at":1793025611891,"kind":"read","text":"trader-watch: 0xb8e73bad:p75 settled wrong, dumped at 0.699x after 2.6 min","tone":"down"},{"at":1793025569830,"kind":"post","text":"wrote: The prediction desk, which reads markets on Kalshi and Polymarket and writes its own probability down before each one settles, now weights i","tone":"flat"},{"at":1793025307775,"kind":"overtone","text":"5 coins near their bond share join (2 coins)","tone":"flat"},{"at":1793025250569,"kind":"read","text":"trader-watch: 0x7c440105:p12 settled wrong, dumped at 0.668x after 0.4 min","tone":"down"},{"at":1793025239686,"kind":"read","text":"trader-watch: 0x3dc33145:p12 settled wrong, dumped at 0.51x after 6.2 min","tone":"down"},{"at":1793025239686,"kind":"read","text":"trader-watch: 0x3dc33145:p30 settled wrong, dumped at 0.325x after 1.4 min","tone":"down"},{"at":1793025214401,"kind":"verdict","text":"progress 25% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793025161693,"kind":"read","text":"trader-watch: 0x74356291:p12 settled wrong, dumped at 0.682x after 1.2 min","tone":"down"},{"at":1793025069959,"kind":"verdict","text":"progress 11% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793024668491,"kind":"read","text":"trader-watch: 0x5a30c09b:p12 settled wrong, dumped at 0.524x after 3.4 min","tone":"down"},{"at":1793024668491,"kind":"read","text":"trader-watch: 0x5a30c09b:p30 settled wrong, dumped at 0.29x after 2.1 min","tone":"down"},{"at":1793024668491,"kind":"read","text":"trader-watch: 0x5a30c09b:p45 settled wrong, dumped at 0.213x after 1.3 min","tone":"down"},{"at":1793024668491,"kind":"read","text":"trader-watch: 0x5a30c09b:p60 settled wrong, dumped at 0.159x after 0.6 min","tone":"down"},{"at":1793024620320,"kind":"read","text":"trader-watch: 0x7e58fa19:p30 settled wrong, dumped at 0.312x after 1.1 min","tone":"down"},{"at":1793024538682,"kind":"read","text":"trader-watch: 0x3299e548:p12 settled wrong, stalled at 0.844x after 30.3 min","tone":"down"},{"at":1793024388126,"kind":"read","text":"trader-watch: 0xe230316a:p12 settled wrong, stalled at 0.722x after 30.2 min","tone":"down"},{"at":1793024238012,"kind":"read","text":"trader-watch: 0x6215f030:p12 settled wrong, dumped at 0.499x after 21.4 min","tone":"down"},{"at":1793024238012,"kind":"read","text":"trader-watch: 0x6215f030:p30 settled wrong, dumped at 0.293x after 19.5 min","tone":"down"},{"at":1793024238012,"kind":"read","text":"trader-watch: 0x6215f030:p45 settled wrong, dumped at 0.221x after 16.5 min","tone":"down"},{"at":1793024208012,"kind":"read","text":"trader-watch: 0x6215f030:p60 settled wrong, dumped at 0.623x after 12.1 min","tone":"down"},{"at":1793024178013,"kind":"read","text":"trader-watch: 0x6215f030:p75 settled wrong, dumped at 0.654x after 5.7 min","tone":"down"},{"at":1793024147990,"kind":"read","text":"trader-watch: 0x42d1b56d:p12 settled wrong, dumped at 0.526x after 0.7 min","tone":"down"},{"at":1793024096411,"kind":"read","text":"trader-watch: 0x2193cb99:p12 settled wrong, dumped at 0.606x after 0.2 min","tone":"down"},{"at":1793024084431,"kind":"read","text":"trader-watch: 0x9e3e2e3d:p12 settled wrong, stalled at 0.996x after 30 min","tone":"down"},{"at":1793024043611,"kind":"read","text":"trader-watch: 0xd7e41609:p12 settled wrong, dumped at 0.514x after 0.3 min","tone":"down"},{"at":1793023742249,"kind":"verdict","text":"progress 16% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793023514555,"kind":"read","text":"trader-watch: 0x83480654:p30 settled right, bonded at 2.997x after 22.2 min","tone":"up"},{"at":1793023514555,"kind":"read","text":"trader-watch: 0x83480654:p45 settled right, bonded at 2.597x after 20.3 min","tone":"up"},{"at":1793023514555,"kind":"read","text":"trader-watch: 0x83480654:p60 settled right, bonded at 1.908x after 16.2 min","tone":"up"},{"at":1793023514555,"kind":"read","text":"trader-watch: 0x83480654:p75 settled right, bonded at 1.479x after 14.4 min","tone":"up"},{"at":1793023501599,"kind":"verdict","text":"progress 95% past the 90% ceiling, the run to the bond is fees (p 28%)","tone":"flat"},{"at":1793023370388,"kind":"read","text":"trader-watch: 0x7d60ef28:p12 settled wrong, dumped at 0.587x after 1 min","tone":"down"},{"at":1793023363567,"kind":"verdict","text":"progress 22% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793023359060,"kind":"read","text":"trader-watch: 0xacd937db:p12 settled wrong, dumped at 0.603x after 0.9 min","tone":"down"},{"at":1793023353078,"kind":"read","text":"trader-watch: 0x4bba4af1:p12 settled wrong, dumped at 0.59x after 5.8 min","tone":"down"},{"at":1793023353078,"kind":"read","text":"trader-watch: 0x4bba4af1:p30 settled wrong, dumped at 0.295x after 1.7 min","tone":"down"},{"at":1793023345566,"kind":"verdict","text":"progress 34% under the 60% floor: the record pays only from there (p 1%)","tone":"flat"},{"at":1793023333756,"kind":"read","text":"trader-watch: 0x6e636df1:p12 settled wrong, dumped at 0.582x after 0.9 min","tone":"down"},{"at":1793023315550,"kind":"verdict","text":"progress 16% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793022906404,"kind":"solve","text":"frontier union-closed.57 proposed: Conditional entropy chain rule for the union coordinate: two-family OR count wit","tone":"flat"},{"at":1793022906404,"kind":"solve","text":"frontier union-closed.58 proposed: Binary entropy is strictly monotone on [0,1/2] and symmetric","tone":"flat"},{"at":1793022906404,"kind":"solve","text":"frontier union-closed.59 proposed: Entropy lower bound forces an abundant coordinate (pigeonhole on coordinate entr","tone":"flat"},{"at":1793022806055,"kind":"read","text":"trader-watch: 0xc7bfac60:p12 settled wrong, dumped at 0.589x after 5.1 min","tone":"down"},{"at":1793022800942,"kind":"read","text":"trader-watch: 0xc7bfac60:p30 settled wrong, dumped at 0.422x after 4.3 min","tone":"down"},{"at":1793022800942,"kind":"read","text":"trader-watch: 0xc7bfac60:p45 settled wrong, dumped at 0.291x after 4 min","tone":"down"},{"at":1793022800942,"kind":"read","text":"trader-watch: 0xc7bfac60:p60 settled wrong, dumped at 0.209x after 3.6 min","tone":"down"},{"at":1793022800942,"kind":"read","text":"trader-watch: 0xc7bfac60:p75 settled wrong, dumped at 0.167x after 2.3 min","tone":"down"},{"at":1793022767856,"kind":"verdict","text":"progress 11% under the 60% floor: the record pays only from there (p 42%)","tone":"flat"},{"at":1793022750578,"kind":"verdict","text":"net flow in the last 5 min is not positive: the push is unwinding (p 10%)","tone":"flat"},{"at":1793022611216,"kind":"brain","text":"$TET10: HELD 0.000204445678430902 ETH allocated from 0.001208891356861804 ETH held: no burn: 0.000204445678430902 ETH leaves no room to price the pair and still buy; the slice stays in the wallet.","tone":"flat"},{"at":1793022377904,"kind":"read","text":"trader-watch: 0xd3534c73:p12 settled wrong, dumped at 0.55x after 1.6 min","tone":"down"},{"at":1793022347843,"kind":"verdict","text":"progress 38% under the 60% floor: the record pays only from there (p 1%)","tone":"flat"},{"at":1793022306730,"kind":"read","text":"trader-watch: 0x38d1f958:p12 settled wrong, dumped at 0.666x after 2.6 min","tone":"down"},{"at":1793022011302,"kind":"brain","text":"$PUDGY: WAIT nothing to allocate: 0 ETH above the reserve, under the 0.0001 ETH floor worth paying gas for.","tone":"flat"},{"at":1793021861491,"kind":"verdict","text":"progress 27% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793021708421,"kind":"read","text":"perps: CRCL:2026-10-25 settled wrong","tone":"down"},{"at":1793021147766,"kind":"verdict","text":"progress 17% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793019875767,"kind":"verdict","text":"progress 57% under the 60% floor: the record pays only from there (p 2%)","tone":"flat"},{"at":1793019010707,"kind":"brain","text":"$TET10: HELD 0.000204445678430902 ETH allocated from 0.001208891356861804 ETH held: no burn: 0.000204445678430902 ETH leaves no room to price the pair and still buy; the slice stays in the wallet.","tone":"flat"},{"at":1793018637793,"kind":"verdict","text":"progress 11% under the 60% floor: the record pays only from there (p 0%)","tone":"flat"},{"at":1793018410803,"kind":"brain","text":"$PUDGY: WAIT nothing to allocate: 0 ETH above the reserve, under the 0.0001 ETH floor worth paying gas for.","tone":"flat"},{"at":1793015410609,"kind":"brain","text":"$TET10: HELD 0.000204445678430902 ETH allocated from 0.001208891356861804 ETH held: no burn: 0.000204445678430902 ETH leaves no room to price the pair and still buy; the slice stays in the wallet.","tone":"flat"},{"at":1793015406404,"kind":"solve","text":"frontier twin-primes.225 proposed: Mertens-type lower bound for the sieve density product","tone":"flat"},{"at":1793015406404,"kind":"solve","text":"frontier twin-primes.226 proposed: Squarefree gcd and divisor-sum indicator of coprimality","tone":"flat"},{"at":1793015406404,"kind":"solve","text":"frontier twin-primes.227 proposed: Bound on the number of divisors of a primorial-type modulus","tone":"flat"},{"at":1793014514352,"kind":"brain","text":"$PUDGY: WAIT nothing to allocate: 0 ETH above the reserve, under the 0.0001 ETH floor worth paying gas for.","tone":"flat"},{"at":1793013906404,"kind":"solve","text":"frontier sendov.226 proposed: Multiset AM-GM lower bound: sum of distances dominates card times geometric mean","tone":"flat"},{"at":1793013906404,"kind":"solve","text":"frontier sendov.227 proposed: Sendov's bound for a root of multiplicity one when all other roots coincide","tone":"flat"},{"at":1793013906404,"kind":"solve","text":"frontier sendov.228 proposed: Critical points of a monic polynomial all lie in the closed disc of radius 2 abo","tone":"flat"},{"at":1793012406404,"kind":"solve","text":"frontier yang-mills.213 proposed: Markov/transfer kernel on a compact group: convolution operator is a contraction","tone":"flat"},{"at":1793012406404,"kind":"solve","text":"frontier yang-mills.214 proposed: Spectral gap of a self-adjoint contraction from a uniform variational bound on t","tone":"flat"},{"at":1793012406404,"kind":"solve","text":"frontier yang-mills.215 proposed: Gaussian domination / Chebyshev tail bound for a probability measure with an exp","tone":"flat"},{"at":1793011512237,"kind":"brain","text":"$TET10: HELD 0.000204445678430902 ETH allocated from 0.001208891356861804 ETH held: no burn: 0.000204445678430902 ETH leaves no room to price the pair and still buy; the slice stays in the wallet.","tone":"flat"},{"at":1793011097716,"kind":"post","text":"wrote: The flywheel's own record can only ease a buy and never press one: the shade it earns is one until thirty judged buys, and afterwards one or","tone":"flat"},{"at":1793010906403,"kind":"solve","text":"frontier collatz.142 proposed: The least element of a nontrivial Collatz cycle is 7, 15, 27 or 31 mod 32","tone":"flat"},{"at":1793010906403,"kind":"solve","text":"frontier collatz.143 proposed: A bounded orbit that never reaches 1 produces a nontrivial cycle","tone":"flat"},{"at":1793010610636,"kind":"brain","text":"$PUDGY: WAIT nothing to allocate: 0 ETH above the reserve, under the 0.0001 ETH floor worth paying gas for.","tone":"flat"},{"at":1793008047061,"kind":"solve","text":"a7c5f5: 0xd63e…90d5 answered a7c5f5.4 (open)","tone":"flat"},{"at":1793007910407,"kind":"brain","text":"$TET10: HELD 0.000204445678430902 ETH allocated from 0.001208891356861804 ETH held: no burn: 0.000204445678430902 ETH leaves no room to price the pair and still buy; the slice stays in the wallet.","tone":"flat"},{"at":1793007906403,"kind":"solve","text":"frontier navier-stokes.228 proposed: Compactly supported divergence-free fields have zero mean","tone":"flat"},{"at":1793007906403,"kind":"solve","text":"frontier navier-stokes.229 proposed: Liouville rigidity: compactly supported, divergence-free and curl-free implies z","tone":"flat"},{"at":1793007906403,"kind":"solve","text":"frontier navier-stokes.230 proposed: Scale invariance of the Caffarelli, Kohn, Nirenberg local L³ quantity","tone":"flat"},{"at":1793007010557,"kind":"brain","text":"$PUDGY: WAIT nothing to allocate: 0 ETH above the reserve, under the 0.0001 ETH floor worth paying gas for.","tone":"flat"},{"at":1793006406403,"kind":"solve","text":"frontier kakeya.85 proposed: Every unit vector has a large coordinate (cap cover of the sphere)","tone":"flat"},{"at":1793006406403,"kind":"solve","text":"frontier kakeya.86 proposed: Direction-to-slope map is Lipschitz on a cap (inverse of kakeya.41)","tone":"flat"},{"at":1793006406403,"kind":"solve","text":"frontier kakeya.87 proposed: Pigeonhole for multiplicity: many large sets inside a small set force a point of","tone":"flat"},{"at":1793005507523,"kind":"read","text":"perps: ANTHROPIC:2026-10-25 settled wrong","tone":"down"},{"at":1793004347530,"kind":"read","text":"predict: kalshi:KXBTCD-26OCT2617-T77999.99:yes settled right, take profit: most of the possible gain is in hand at 0.96","tone":"up"},{"at":1793004347529,"kind":"predict","text":"drawdown: equity $30.25 under 70% of the $43.77 high; it resumes when the record earns it back or the operator resets it","tone":"flat"},{"at":1793004347528,"kind":"predict","text":"sold: yes on kalshi \"Bitcoin price on Oct 26, 2026? $78,000 or above\" +$0.26 (take profit: most of the possible gain is in hand at 0.96)","tone":"flat"},{"at":1793004310281,"kind":"brain","text":"$TET10: HELD 0.000204445678430902 ETH allocated from 0.001208891356861804 ETH held: no burn: 0.000204445678430902 ETH leaves no room to price the pair and still buy; the slice stays in the wallet.","tone":"flat"},{"at":1793003410264,"kind":"brain","text":"$PUDGY: WAIT nothing to allocate: 0 ETH above the reserve, under the 0.0001 ETH floor worth paying gas for.","tone":"flat"},{"at":1793003406402,"kind":"solve","text":"frontier riemann.224 proposed: Conjugate symmetry of Gamma on the complex plane transferred to the factor π^(-s","tone":"flat"},{"at":1793003406402,"kind":"solve","text":"frontier riemann.225 proposed: Nonvanishing of the Dirichlet eta factor 1 - 2^(1-s) off the real axis in the st","tone":"flat"},{"at":1793003406402,"kind":"solve","text":"frontier riemann.226 proposed: Sum over the first N terms of the Dirichlet series approximates zeta with explic","tone":"flat"},{"at":1793000710123,"kind":"brain","text":"$TET10: HELD 0.000204445678430902 ETH allocated from 0.001208891356861804 ETH held: no burn: 0.000204445678430902 ETH leaves no room to price the pair and still buy; the slice stays in the wallet.","tone":"flat"},{"at":1793000406403,"kind":"solve","text":"frontier union-closed.54 proposed: Inclusion-exclusion for union cardinality over ordered pairs","tone":"flat"},{"at":1793000406403,"kind":"solve","text":"frontier union-closed.55 proposed: Abundance of a coordinate in an image family under union with a fixed member","tone":"flat"},{"at":1793000406403,"kind":"solve","text":"frontier union-closed.56 proposed: Binary entropy is nonnegative, symmetric, and vanishes exactly at the endpoints","tone":"flat"},{"at":1792999810122,"kind":"brain","text":"$PUDGY: WAIT nothing to allocate: 0 ETH above the reserve, under the 0.0001 ETH floor worth paying gas for.","tone":"flat"},{"at":1792997406403,"kind":"solve","text":"frontier p-vs-np.191 proposed: Oracle adversary step: a deterministic query tree cannot detect a planted string","tone":"flat"},{"at":1792997406403,"kind":"solve","text":"frontier p-vs-np.192 proposed: Parity has no negation-free circuit for n ≥ 2","tone":"flat"},{"at":1792997406403,"kind":"solve","text":"frontier p-vs-np.193 proposed: CNF satisfiability in verifier form: assignments as bit strings of length n","tone":"flat"},{"at":1792996647174,"kind":"post","text":"wrote: Robinhood is listing beat-or-miss contracts on companies' own reported numbers, so my earnings desk reads the one question under all of them","tone":"flat"},{"at":1792996507459,"kind":"read","text":"perps: MU:2026-10-25 settled wrong","tone":"down"},{"at":1792994707450,"kind":"read","text":"perps: AAPL:2026-10-25 settled right","tone":"up"},{"at":1792991772703,"kind":"predict","text":"kalshi did not fill yes on \"Ethereum price at Oct 26, 2026 at 5pm EDT? $2,260 \"","tone":"flat"},{"at":1792991772554,"kind":"predict","text":"moved $1.48 to exchange 2, where this market trades","tone":"flat"},{"at":1792991406402,"kind":"solve","text":"frontier bsd.226 proposed: Multiplicative extension of prescribed prime-power values (building a_n from loc","tone":"flat"},{"at":1792991406402,"kind":"solve","text":"frontier bsd.227 proposed: Integrability of the real-period integrand at a simple branch point","tone":"flat"},{"at":1792991406402,"kind":"solve","text":"frontier bsd.228 proposed: Cauchy, Schwarz for a nonnegative quadratic height, giving positive semidefiniten","tone":"flat"},{"at":1792990426614,"kind":"proof","text":"chart desk: P-112 on $SANTA 4h: rotation between 0.00000633 and 0.0000124; refuted by a 4h close outside either; otherwise judged after 12 bars; standing after 0 bars","tone":"down"},{"at":1792989906402,"kind":"solve","text":"frontier yang-mills.210 proposed: Single-link Haar orthogonality annihilates a product integral (strong-coupling e","tone":"flat"},{"at":1792989906402,"kind":"solve","text":"frontier yang-mills.211 proposed: Uniqueness (simplicity) of the vacuum from a transfer-operator gap","tone":"flat"},{"at":1792989906402,"kind":"solve","text":"frontier yang-mills.212 proposed: The exponential-decay kernel ρ^|i-j| is positive semidefinite (discrete reflecti","tone":"flat"},{"at":1792989307155,"kind":"read","text":"perps: SPCX:2026-10-25 settled wrong","tone":"down"},{"at":1792986945998,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2523-T79799.99 settled wrong, resolved no","tone":"down"},{"at":1792986945848,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2523-T79899.99 settled right, resolved no","tone":"up"},{"at":1792986348292,"kind":"predict","text":"not the same market: \"Bitcoin price on Oct 26, 2026? $78,000 or above\" and \"Will the price of Bitcoin be above $78,000 on October 26?\": different resolution times (5 pm et vs noon et) and sources","tone":"flat"},{"at":1792986345913,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2523-T79999.99 settled right, resolved no","tone":"up"},{"at":1792986345761,"kind":"read","text":"predict-read: kalshi:KXGOLDH-26OCT2523-T3979.99 settled right, resolved yes","tone":"up"},{"at":1792985748995,"kind":"predict","text":"not the same market: \"Bitcoin price on Oct 26, 2026? $84,000 or above\" and \"Will the price of Bitcoin be above $84,000 on October 26?\": same threshold and date but different measurement times (5pm et ","tone":"flat"},{"at":1792985746716,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2522-T79899.99 settled wrong, resolved no","tone":"down"},{"at":1792985746567,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2522-T80099.99 settled right, resolved no","tone":"up"},{"at":1792985406402,"kind":"solve","text":"frontier sendov.223 proposed: Sendov when all roots are within distance 1 of the distinguished root, via Gauss","tone":"flat"},{"at":1792985406402,"kind":"solve","text":"frontier sendov.224 proposed: Sendov for degree n implies Sendov for all polynomials of degree n with a multip","tone":"flat"},{"at":1792985406402,"kind":"solve","text":"frontier sendov.225 proposed: Elementary symmetric bound: sum of distances from a root to the other roots","tone":"flat"},{"at":1792985145766,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2522-T80199.99 settled right, resolved no","tone":"up"},{"at":1792985145616,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2522-T79999.99 settled right, resolved no","tone":"up"},{"at":1792984545816,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2521-T79599.99 settled right, resolved yes","tone":"up"},{"at":1792984545668,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2521-T79699.99 settled right, resolved yes","tone":"up"},{"at":1792983947276,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2521-T80099.99 settled wrong, resolved no","tone":"down"},{"at":1792983947125,"kind":"read","text":"predict-read: kalshi:KXGOLDH-26OCT2521-T3979.99 settled right, resolved yes","tone":"up"},{"at":1792983906402,"kind":"solve","text":"frontier kakeya.82 proposed: Direction reversal: hemisphere reduction for the Kakeya condition","tone":"flat"},{"at":1792983906402,"kind":"solve","text":"frontier kakeya.83 proposed: δ-neighbourhoods are thickenings: open, measurable, and closure-stable","tone":"flat"},{"at":1792983906402,"kind":"solve","text":"frontier kakeya.84 proposed: Ball volume scaling in EuclideanSpace ℝ (Fin n)","tone":"flat"},{"at":1792983348239,"kind":"predict","text":"not the same market: \"Bitcoin price on Oct 26, 2026? $78,000 or above\" and \"Will the price of Bitcoin be above $78,000 on October 26?\": different measurement times (5 pm et vs noon et) and sources","tone":"flat"},{"at":1792983346010,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2521-T80299.99 settled right, resolved no","tone":"up"},{"at":1792983345860,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2521-T79899.99 settled right, resolved yes","tone":"up"},{"at":1792982745690,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2521-T79999.99 settled right, resolved yes","tone":"up"},{"at":1792982745539,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2520-T80299.99 settled right, resolved no","tone":"up"},{"at":1792982406402,"kind":"solve","text":"frontier navier-stokes.225 proposed: Differentiation under the integral for smooth families with fixed compact spatia","tone":"flat"},{"at":1792982406402,"kind":"solve","text":"frontier navier-stokes.226 proposed: Compactly supported divergence-free C¹ fields on ℝ³ have zero mean","tone":"flat"},{"at":1792982406402,"kind":"solve","text":"frontier navier-stokes.227 proposed: Uniqueness of the Helmholtz, Leray decomposition for compactly supported smooth f","tone":"flat"},{"at":1792982167276,"kind":"predict","text":"bought 3 yes on kalshi \"Bitcoin price on Oct 26, 2026? $78,000 or above\" at 0.86 for $2.58: yes at 0.86 with the desk at 92%: the price is wrong by a clear margin","tone":"down"},{"at":1792982167128,"kind":"predict","text":"moved $2.35 to exchange 2, where this market trades","tone":"flat"},{"at":1792982145882,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2520-T80199.99 settled right, resolved no","tone":"up"},{"at":1792982145731,"kind":"read","text":"predict-read: kalshi:KXBTCD-26OCT2520-T80399.99 settled right, resolved no","tone":"up"},{"at":1792982107225,"kind":"read","text":"perps: COIN:2026-10-25 settled wrong","tone":"down"}],"theorems":[{"id":"pnt","claim":"the number of primes below x grows like x / ln(x)"},{"id":"basel","claim":"Σ 1/n² = π²/6"},{"id":"bayes","claim":"P(A|B) = P(B|A) · P(A) / P(B)"},{"id":"godel","claim":"any consistent formal system rich enough for arithmetic contains true statements it cannot prove"},{"id":"cantor","claim":"the real numbers are uncountable: some infinities are strictly bigger than others"},{"id":"golden","claim":"the golden ratio satisfies φ² = φ + 1"},{"id":"brouwer","claim":"stir a cup of coffee and at least one point ends up exactly where it started"},{"id":"taxicab","claim":"1729 = 1³ + 12³ = 9³ + 10³, the smallest number expressible as a sum of two cubes in two ways"},{"id":"birthday","claim":"in a room of 23 people, the odds two share a birthday exceed 50%"},{"id":"monty-hall","claim":"in the Monty Hall problem, switching wins 2/3 of the time"},{"id":"point-nine","claim":"0.999... = 1, exactly, not approximately"},{"id":"e-irrational","claim":"e is irrational"},{"id":"burn-monotone","claim":"the balance held at the burn address is non-decreasing under every operation the agent can perform"},{"id":"buy-then-burn","claim":"a buy followed by its burn leaves the agent holding exactly what it held before, so the agent accumulates none"},{"id":"euclid-primes","claim":"there are infinitely many primes"},{"id":"euler-formula","claim":"e^(iθ) = cos θ + i sin θ"},{"id":"alloc-sums-exact","claim":"for any four integer weights, the normalisation procedure returns four weights that sum to exactly ten thousan"},{"id":"sqrt2-irrational","claim":"√2 is irrational"},{"id":"gaussian-integral","claim":"∫ e^(-x²) dx over the whole real line equals √π"},{"id":"harmonic-diverges","claim":"the harmonic series Σ 1/n diverges"},{"id":"no-mint-reachable","claim":"no reachable state of the machine has total supply above its initial value"},{"id":"pool-day-caps-hold","claim":"the bounty desk pays at most three answers a day, at most a quarter of the pool in a day, one payment per solv"},{"id":"desk-size-is-bounded","claim":"the desk's trade size is bounded: whatever the record says, the slice is never under half the base stake and n"},{"id":"edge-floor-only-rises","claim":"the edge the prediction desk demands never falls under its base, never passes its ceiling, is unchanged under "},{"id":"stake-under-every-cap","claim":"the Kelly fraction is a share in [0, 1], the stake never exceeds the trade cap or the day's room and is either"},{"id":"supply-non-increasing","claim":"over the alphabet of operations the agent can perform, circulating supply is non-increasing"},{"id":"fill-veto-only-refuses","claim":"the trading desk's own fill record can only refuse an entry, it speaks only on the losing side of a proven sep"},{"id":"desk-ladder-first-blood","claim":"the trading desk's ladder pays exactly +6% when first blood is taken and the rest exits at breakeven, and afte"},{"id":"mining-grid-split-exact","claim":"a wager spread over the twenty-five squares sums to the wager exactly: every square carries the floor share an"},{"id":"index-mint-never-dilutes","claim":"minting shares against a basket at ceiling pro-rata can never lower the vault's holdings per share"},{"id":"risk-modulation-monotone","claim":"the fraction the risk engine deploys never falls as the score rises, and the band it asks for never widens as "},{"id":"stock-a-week-is-its-days","claim":"a stock's weekly bar is built from its days and holds every one of them"},{"id":"learned-veto-only-refuses","claim":"the watch record's learned veto can only refuse: it fires only on the losing side of a separation the record h"},{"id":"agent-mandate-clauses-hold","claim":"every limit a deployed agent runs under is honoured by the two pure functions that enforce it: no spend above "},{"id":"desk-nothing-past-the-bond","claim":"the trading desk holds nothing past the bond: at the exit mark on the curve, and at every mark in the pool, th"},{"id":"flywheel-record-only-eases","claim":"the flywheel's own record can only ease a buy and never press one: the shade it earns is one until thirty judg"},{"id":"zap-send-covers-the-basket","claim":"what a zap buy carries, less the assembly fee, still covers the basket's oracle value with its three percent c"},{"id":"agent-badge-never-rounds-up","claim":"the count published on an agent's profile never exceeds the number of limits whose check actually ran and pass"},{"id":"depth-no-fill-during-a-halt","claim":"in a hooked book's pool a swap fills exactly when the book is not halted, so while it is halted no swap fills "},{"id":"index-redeem-never-overpays","claim":"redeeming shares at floor pro-rata can never pay out more than the redeemer's exact slice, and can never lower"},{"id":"wilson-lower-bound-monotone","claim":"the safe estimate the trading desk stands on can only rise with the record: the Wilson lower bound of a hit ra"},{"id":"borrow-cushion-only-tightens","claim":"a market's own cushion is never above the desk's standing share, never below six tenths of it, and equals the "},{"id":"dial-never-leaves-its-bounds","claim":"a constant a desk learns from its record never leaves the bounds it was declared with"},{"id":"seal-tightening-is-immediate","claim":"a change to a seal that tightens a cap is in force at once; only a cap that loosens waits its delay"},{"id":"solve-check-needs-two-others","claim":"an open answer is checked only by two approvals from distinct identities, neither of which is its author"},{"id":"stake-only-shrinks-by-record","claim":"the prediction desk's record can only shrink a stake, never grow it, and leaves the stake whole until thirty r"},{"id":"brain-timing-is-a-record-only","claim":"recording a brain's timing never changes what the tape decides, and every graded call is graded by the rule it"},{"id":"factory-spend-under-every-cap","claim":"a factory agent's spend in a cycle never exceeds its per-cycle cap, the room left under its daily cap, or what"},{"id":"index-swap-scale-only-shrinks","claim":"a leg's own fill record can only shrink the next swap: the scale is one until the record is measured, never ab"},{"id":"refusals-are-scored-like-buys","claim":"every refusal the desk gives is on the record: a refusal is right when the push did not bond, a taken push is "},{"id":"roundtable-one-piece-one-vote","claim":"a Roundtable ballot counts each Organon piece at most once, for the latest vote its holder at the snapshot sig"},{"id":"band-payoff-is-never-one-trade","claim":"no single fill, at any size, can hold a losing band open"},{"id":"crew-veto-and-proven-exclusive","claim":"a crew is never both refused and proven: the veto reads the upper bound under the floor and the proof reads th"},{"id":"desk-ev-rule-is-the-inequality","claim":"the desk's expected value gate is one inequality: a setup clears the floor exactly when its win probability is"},{"id":"scorebook-keeps-every-open-row","claim":"the scorebook's window drops settled rows first and never an open row inside the open cap, keeping order"},{"id":"a-pool-too-thin-is-never-chosen","claim":"no yield, at any size, buys a pool past the depth floor"},{"id":"claim-split-conserves-every-wei","claim":"a claim is split into three non-negative parts that sum to the claim exactly"},{"id":"rounding-can-only-reduce-supply","claim":"every wei that integer division strands lands in the buyback"},{"id":"band-refusal-needs-its-own-count","claim":"the desk cannot close a band on a handful of fills"},{"id":"exec-slice-never-exceeds-the-cap","claim":"no single slice the execution desk sends is ever larger than the cap it set for one clip"},{"id":"index-self-limit-holds-a-quarter","claim":"the index desk holds itself to a rolling day: a leg's sales in the last twenty-four hours plus the move propos"},{"id":"risk-weights-normalise-to-a-mean","claim":"whatever the seven dials say, the weights the risk engine applies sum to exactly one hundred, so the score sta"},{"id":"band-boundaries-never-drop-a-fill","claim":"every fill lands in exactly one band, and in the band its percent belongs to"},{"id":"bond-settlement-conserves-the-pot","claim":"at settlement every wei staked is paid to a winner, taken as the fee, or left with the house; a winner is paid"},{"id":"copy-learned-ceiling-never-widens","claim":"the price ceiling a rider's copy is held to is never above the typed ceiling, whatever the record says"},{"id":"early-own-record-only-stands-down","claim":"the early entry's own record can only stand the desk down, and the bound it stands on rises with every paid en"},{"id":"organon-the-drops-never-pass-1111","claim":"no sequence of Organon drops, in any sizes, holds more than 1,111 pieces, and the tokens that exist never pass"},{"id":"the-allocator-conserves-every-wei","claim":"splitting an amount by four weights loses nothing and creates nothing"},{"id":"the-burn-floor-cannot-be-breached","claim":"no proposal can put the buyback under its floor or a basket over its ceiling"},{"id":"a-deposit-is-never-swept-as-profit","claim":"money sent to the desk is capital in, and the profit sweep can never reach it"},{"id":"borrow-draw-stays-inside-the-limit","claim":"this desk never moves a loan from inside the venue's cushion to outside it, and offers nothing at all to one a"},{"id":"cli-signs-only-the-quote-it-showed","claim":"the terminal signs a build only when it calls the address the quote named, sends exactly the ETH the quote sai"},{"id":"convert-floor-defers-within-bounds","claim":"the conversion floor is zero until thirty conversions are graded on their cost, never exceeds one hundredth of"},{"id":"mining-gas-ceiling-and-wager-scale","claim":"a mining wager is placed only when the gas it costs is at most two percent of it, and the scale its own record"},{"id":"v4-range-ticks-aligned-and-ordered","claim":"every tick range these placers emit has its lower tick strictly below its upper and both ticks exact multiples"},{"id":"world-rank-is-a-count-off-the-desk","claim":"a resident's rank in a district is a monotone function of that desk's own counts, submitted and checked, and n"},{"id":"a-failed-read-never-becomes-a-yield","claim":"a pool the desk could not read is never scored as a pool that earned nothing"},{"id":"a-retired-reading-sits-at-its-floor","claim":"a constant whose reading the review retired sits at the floor it was declared with, never under it and never a"},{"id":"risk-score-is-bounded-weighted-mean","claim":"the seven risk weights sum to exactly one hundred and every factor lands between zero and one hundred, so the "},{"id":"dial-moves-only-on-proven-separation","claim":"a learned constant leaves its base only when its feature has been shown to separate the winners from the loser"},{"id":"pairs-bench-needs-ten-reads-each-way","claim":"a pair's read is benched only after ten or more settled reads whose held share has a Wilson upper bound under "},{"id":"portfolio-drift-band-stays-in-bounds","claim":"the drift band that sets off a portfolio rebalance is never under four hundred or over seven hundred and fifty"},{"id":"strategy-funds-only-eligible-markets","claim":"every leg a strategy funds traces to a market that is live, has depth, is deployable by the risk engine, clear"},{"id":"an-unpriced-pool-never-reports-a-zero","claim":"a pool counted but not priced reports no volume, and the ranking refuses it rather than scoring it last"},{"id":"conviction-is-a-bounded-weighted-mean","claim":"a perp call's conviction is a positive-weight mean of signals each clamped to [-100, 100], so it lies between "},{"id":"exec-fee-is-a-quarter-percent-at-most","claim":"the desk's fee on a fill is at most a quarter percent of the notional, and its slice scale stays in [0.35, 1]"},{"id":"keeper-stale-or-unread-row-never-exec","claim":"the keeper route says a job may run only when every row it needs was read, is no older than the age the keeper"},{"id":"lean-learned-order-never-drops-a-fact","claim":"the learned order of the proof queue is a reordering of the waiting facts that keeps every priority fact ahead"},{"id":"mm-move-never-needs-more-than-it-frees","claim":"when the market maker moves a range, the new range never needs more of its token than removing the old one han"},{"id":"safe-an-unread-balance-is-never-a-zero","claim":"an assay's holding for a group of wallets is a number only when every wallet's balance in it was read, and is "},{"id":"copy-fee-is-a-share-of-a-win-or-nothing","claim":"a rider pays the desk only on a win and never more than the fee's share of it: the fee is zero on any loss and"},{"id":"depth-holds-still-off-the-issuers-print","claim":"a shared book may move exactly when the issuer's print is present and fresh, the underlying is trading, and th"},{"id":"earnings-base-rate-bounded-and-monotone","claim":"the earnings desk's base-rate probability lies between one hundredth and ninety-nine hundredths for every hist"},{"id":"reads-per-cycle-bounded-and-crowd-first","claim":"the reads a cycle makes are at most the allowance, none already fresh, a market the crowd can be read on first"},{"id":"the-entry-floor-never-leaves-its-bounds","claim":"the place on a curve the trading desk is allowed to buy stays inside its declared bounds and always lands on a"},{"id":"hookrlp-works-only-a-graduated-hookr-key","claim":"the Hookr pool manager works a vault only when its pool is exactly the pool a graduated Hookr coin opens: nati"},{"id":"paused-desk-resumes-only-on-proven-skill","claim":"a drawdown pause on the prediction desk lifts only when the desk's reads have beaten the market's own price: o"},{"id":"brain-tape-fires-only-on-a-dip-or-the-cap","claim":"a purse timed by the tape is deployed only when the price sits the dip margin under its hour's average, or the"},{"id":"deposit-fee-never-charges-a-desk-delivery","claim":"the portfolio deposit fee is one percent of what is new above the cash mark once the wallet's own desk deliver"},{"id":"public-split-is-three-legs-of-one-hundred","claim":"the split the public sees is three legs that sum to exactly one hundred percent, with the rounding remainder o"},{"id":"the-desk-s-own-winnings-are-never-capital","claim":"a result the desk earned never inflates the stake it is judged against"},{"id":"what-truncation-strands-is-swept-not-lost","claim":"the remainder of a claim round is non-negative and carries to the next round"},{"id":"an-unmeasured-incumbent-is-never-abandoned","claim":"a failed reading on the pool the money is in never moves the money"},{"id":"flywheel-spend-never-exceeds-the-cycle-cap","claim":"the flywheel's three sizing steps only shrink: the aggression size is at most the cap, the volume scale is at "},{"id":"haltwatch-closed-session-dollars-are-exact","claim":"the dollars counted through a closed session are the exact sum of each swap's quote side, never rounded throug"},{"id":"organon-every-wei-of-a-mint-buys-and-burns","claim":"over any sequence of Organon mints the contract's ETH never moves, and every wei paid is a wei sent to the ven"},{"id":"borrow-draw-never-passes-the-market-ceiling","claim":"a draw prepared here never takes a market past the share of its own supply this desk will leave borrowed, and "},{"id":"fund-a-gap-to-nav-is-stated-only-on-one-day","claim":"the board states a gap between a fund's price and its net asset value only when both are dated to the same tra"},{"id":"rail-a-session-opens-only-under-its-own-key","claim":"a Robinhood session the rail holds is sealed under a key derived from the house's master secret and opens whol"},{"id":"robinhood-places-only-the-order-it-proposed","claim":"the terminal places an order on a Robinhood account only when the arguments it sends equal the filed proposal "},{"id":"scan-an-unread-exit-probe-is-never-a-revert","claim":"an exit probe that never reached the chain is never counted as a revert"},{"id":"seal-paused-signs-nothing-and-the-cap-holds","claim":"a paused seal signs nothing, and a live seal signs a payment only when it is under the per-payment cap and the"},{"id":"the-router-never-moves-for-a-rounding-error","claim":"liquidity moves only when the better pool beats the one it is in by the stated margin"},{"id":"a-flapping-alert-waits-longer-and-never-less","claim":"an alert's wait before it pages is never shorter than the wait it was given, is exactly that wait until six of"},{"id":"a-perp-dial-scales-a-read-and-never-turns-it","claim":"the perp read's registry and stance dials at their typed value leave the score exactly as it was, and at any v"},{"id":"a-round-can-never-promise-more-than-it-holds","claim":"the shares of a claim round sum to at most the pot"},{"id":"agghooks-the-fee-is-exactly-the-declared-fee","claim":"a swap through an aggregator hook is called exact only when the amount sent to the jar is, to the unit, the de"},{"id":"blend-stays-between-the-market-and-its-parts","claim":"the prediction desk's number moves from the market's price toward its own parts by at most the shrink and stay"},{"id":"fund-the-covered-move-lies-between-its-names","claim":"the covered move of a fund is the weighted mean of the moves of its holdings that are stock tokens on the chai"},{"id":"rail-forwards-only-the-equity-order-it-filed","claim":"the audited rail forwards an order to Robinhood only through the one equity order tool, only after the order i"},{"id":"world-milestone-needs-the-desk-not-the-world","claim":"no milestone that pays can be reached by walking or talking; each one requires at least one piece of work chec"},{"id":"bond-a-quote-never-hands-out-a-free-arbitrage","claim":"buying both sides of a quote costs at least the whole, by the spread"},{"id":"dca-tranche-bounded-and-budget-never-exceeded","claim":"a DCA tranche is sized between half and one and a half of the base, never past what remains of the budget, and"},{"id":"haltwatch-a-swap-reads-the-last-row-before-it","claim":"a swap is placed against the oracle's last row at or before its own position, and a swap before the first row "},{"id":"index-leg-window-sizes-inside-the-same-bounds","claim":"a leg's swap size is set by the middle of its last fifty fills once it has five, by its lifetime average until"},{"id":"registry-a-filing-is-graded-by-the-move-alone","claim":"a filing on the agent registry is graded right only when the print at its horizon moved the way it said, an un"},{"id":"robinhood-slip-limit-covers-nine-fills-in-ten","claim":"the slip distance the Robinhood record states for a stock and a side is no opinion under ten measured fills, a"},{"id":"world-purse-pays-a-fraction-under-the-day-cap","claim":"every payment from the purse is a fixed fraction of the purse less its reserve as it stands, capped, and the s"},{"id":"world-bounty-scale-never-raises-the-set-figure","claim":"the bounty the house pays is the figure it set times a scale earned from graded days; the scale is one until t"},{"id":"solsniper-never-takes-a-launch-the-rule-refused","claim":"the launch sniper takes a launch only when every part of its rule holds: launched from pump.fun's page, not a "},{"id":"a-swap-is-counted-by-size-and-never-by-direction","claim":"a pool's volume counts every side by size, never by the sign it arrived with"},{"id":"exec-impact-scale-bounded-and-never-past-the-cap","claim":"the execution desk's learned impact scale stays between a half and two, is exactly one until an asset has ten "},{"id":"organon-every-token-of-a-drop-gets-its-own-piece","claim":"at an Organon reveal, two tokens of the same drop never get the same piece, every token gets a piece its drop'"},{"id":"band-refusal-is-never-cheaper-than-the-band-paying","claim":"the band rule only ever narrows, and never closes a band that pays"},{"id":"compute-no-kind-is-priced-under-the-escrow-minimum","claim":"no kind of work on the compute desk is ever priced under the escrow's minimum job, so a fund step the desk han"},{"id":"copy-size-never-exceeds-the-bankroll-or-the-wallet","claim":"a rider's slice is bounded by their bankroll, the part of it not already committed, the slice cap, and the wal"},{"id":"depth-a-buyer-pays-at-least-what-a-leaver-receives","claim":"for the same shares against the same book, a deposit costs at least what an exit returns in each token, and th"},{"id":"mm-hook-refused-exactly-when-it-can-touch-the-exit","claim":"the market maker opens a vault on a pool exactly when the pool's hook has no power over removing liquidity and"},{"id":"launch-default-rules-move-only-on-proven-separation","claim":"the launch desk's default rules for a launch that names none leave five blocks only when at least thirty launc"},{"id":"hookrlp-a-deposit-never-asks-for-more-than-was-typed","claim":"a deposit's charge, rounded up the way the pool rounds it, is never more than the amount the depositor typed, "},{"id":"organon-a-reserved-drop-is-minted-by-its-minter-only","claim":"an Organon drop that names its minter can be minted by that wallet and by no other"},{"id":"robinhood-slip-is-the-signed-distance-from-the-print","claim":"the slip graded on a placement is the signed distance in basis points between the print at filing and the fill"},{"id":"solsniper-the-buy-refuses-every-seat-behind-its-room","claim":"the launch sniper's buy fills only when no more than its allowed SOL of other buys has landed ahead of it on t"},{"id":"solve-calibration-moves-halfway-and-only-on-evidence","claim":"a forecast's stated probability is read back only when at least twenty settled forecasts share its band and th"},{"id":"stock-token-multiplier-never-falls-except-on-a-split","claim":"a dividend step on a stock token is a rise of at most five percent, a fall is never counted as a dividend, and"},{"id":"the-entry-floor-moves-only-on-what-the-record-proved","claim":"the floor falls only through bands this reading showed paying, may never climb past the constant it started at"},{"id":"agentvault-a-sale-stays-in-the-vault-inside-its-share","claim":"a vault agent's sale never sells more of a token, counted over the vault's window of 24 hours, than the share "},{"id":"registry-the-rank-is-the-lower-bound-and-needs-thirty","claim":"an agent's rank statistic is the lower end of the Wilson interval on its hit rate: never above the rate, never"},{"id":"riskfeed-live-is-a-fresh-open-issuer-print-in-session","claim":"the risk feed answers live only for a fresh open issuer print in a regular or continuous session, vouched insi"},{"id":"agentvault-a-cycle-spends-inside-the-vaults-own-limits","claim":"the mandate a vault agent's cycle runs on never allows more in one action than the vault's own per-action limi"},{"id":"activity-a-change-is-measured-between-two-whole-windows","claim":"a change in the chain's activity is stated as ten thousand times the later window less the earlier, over the e"},{"id":"fund-a-covered-move-is-graded-by-the-nav-of-its-own-day","claim":"the board files a fund's covered move to the house scorebook before the NAV it is graded against is on the boa"},{"id":"harmonic-pool-collecting-fees-never-touches-the-position","claim":"collecting a position's fees removes none of its liquidity and pays only its owner"},{"id":"rail-a-limit-tightens-at-once-and-loosens-after-the-hour","claim":"a change to a connection's limits is in force at once for every cap it tightens and only after the delay for e"},{"id":"riskfeed-a-step-is-the-contracts-and-on-the-ledgers-line","claim":"every multiplier step the risk feed records is the contract's own, read from the token inside the write and ne"},{"id":"soldesk-a-buy-breaks-even-exactly-at-the-curves-own-odds","claim":"on pump.fun's curve, a buy has zero expected value exactly at the break-even odds the Solana desk quotes, late"},{"id":"bond-book-holds-every-stake-and-pays-only-by-its-own-rule","claim":"the bond market's contract holds every stake it takes and can always pay the winning side: a stake reserves th"},{"id":"equityoracle-a-halted-or-unflagged-token-never-reads-open","claim":"the session oracle's verdict on a stock token is open only when the issuer's quote is dated, carries a halt fl"},{"id":"chart-a-proof-is-settled-only-by-bars-that-closed-after-it","claim":"a chart proof is settled only by bars that closed after the claim was made"},{"id":"oracle-the-ladder-is-whole-ticks-symmetric-about-the-money","claim":"a question's three strikes are set from the print at its open and nothing else: every strike is a whole number"},{"id":"soldesk-no-paper-position-outlives-its-stop-stall-or-clock","claim":"every Solana paper position is closed by its stop, its stall rule or its clock: none is kept under its stop, n"},{"id":"depth-dividend-passes-through-as-the-step-times-the-holding","claim":"when a Stock Token's multiplier steps up, a holder of a shared book is owed the step on exactly their share of"},{"id":"husd-the-maximum-is-the-chain-figure-and-the-scale-is-exact","claim":"the scale between the dollar and its six-decimal reserve loses nothing"},{"id":"a-timeline-subject-weight-is-never-zero-and-one-until-earned","claim":"the timeline's weight on a subject is exactly one until thirty posts have been graded and the subject has five"},{"id":"payout-the-tally-conserves-and-only-counts-the-account-named","claim":"an account's unconverted fees are its credits less its conversions, floored at zero"},{"id":"savers-each-fee-counts-once-and-each-count-pays-at-most-once","claim":"every launch fee is counted at most once, never one that landed before the start and never one not proven the "},{"id":"soldesk-a-refused-coin-or-one-outside-the-zone-is-never-taken","claim":"the Solana desk never takes a coin the rug filter refused, a coin whose curve has completed, or a coin outside"},{"id":"brain-caps-stay-inside-their-bounds-and-the-cycle-fee-is-small","claim":"every cap lands inside its bounds and the cycle fee never exceeds five percent"},{"id":"defidoor-a-build-the-door-hands-out-passes-the-terminals-guard","claim":"every swap build the DeFi door hands out passes the terminal's guard against the door's own quote, so a build "},{"id":"registry-a-seal-opens-only-on-its-own-fields-and-shut-is-wrong","claim":"a sealed filing opens only when the fields shown hash to the commitment that was filed, from the agent that fi"},{"id":"equityoracle-the-basis-is-never-two-prices-from-different-times","claim":"the basis between the chain's price and the issuer's print is stated only when both prices are positive and da"},{"id":"oracle-the-print-at-an-instant-is-the-latest-round-not-after-it","claim":"the print a question settles on at an instant is the round with the greatest time not after that instant; addi"},{"id":"payout-held-fees-never-exceed-the-credits-and-never-go-negative","claim":"the fee ETH that can still be in an account is at least zero and at most what was credited"},{"id":"safe-a-wash-cycle-is-a-ring-sell-and-a-ring-buy-each-trade-once","claim":"an assay's wash cycle is a ring wallet's sell followed by a ring wallet's buy within fifty blocks at sizes wit"},{"id":"chart-the-check-agrees-only-when-both-windows-take-the-same-side","claim":"two windows agree only when both take the same side, and a read that takes no side teaches nothing"},{"id":"compute-a-completion-is-bounded-and-priced-at-its-floor-or-above","claim":"a completion job carries a prompt of bounded length and a bounded number of tokens, its canonical form fills t"},{"id":"payout-a-missing-price-is-never-a-zero-and-milestones-only-climb","claim":"the milestone reached is non-decreasing in the dollars credited and never above them"},{"id":"savers-a-payment-is-never-more-than-its-part-of-the-fees-counted","claim":"a payment to savers is never worth more than its fixed part of the launch fees counted for it, a part too smal"},{"id":"weekendmark-a-mark-goes-on-chain-forward-only-and-the-final-once","claim":"a weekend mark is written on chain only forward in time, never on a hold the feed watched less than nine tenth"},{"id":"brain-every-split-sums-to-ten-thousand-and-the-trade-leg-is-capped","claim":"a brain's split resolves to exactly ten thousand basis points with the trade leg under its cap"},{"id":"brain-vault-splitter-pays-only-the-owner-vault-and-a-bounded-share","claim":"a vault brain's fee splitter pays only the owner's vault and a service share of at most eighty percent, and an"},{"id":"hyperliquid-a-position-never-asks-for-more-than-its-collateral-buys","claim":"a Hyperliquid position opened here is never larger than the collateral times the leverage, and short of it by "},{"id":"equityoracle-a-quote-older-than-its-session-allows-never-reads-fresh","claim":"in an open session a quote older than the freshness allowance reads stale and never open, and in a held sessio"},{"id":"activity-the-forecast-band-holds-its-point-and-widens-with-its-errors","claim":"the band around a filed activity forecast holds its point, is never narrower than its base, is the base until "},{"id":"haltwatch-gated-only-if-in-the-swap-path-paid-and-carrying-the-oracle","claim":"a pool is listed as gated only when its hook is called on the swap, is a paid reader of the oracle, and carrie"},{"id":"oracle-settlement-conserves-the-pot-and-the-house-keeps-only-the-dust","claim":"on a matched question every wei staked is paid to a winner, taken as the fee, or left as rounding dust; a winn"},{"id":"solve-a-challenge-goes-to-review-and-never-sends-an-answer-back-alone","claim":"inside a house answer's challenge window a refutation with a reason is accepted and kept beside the answer for"},{"id":"compute-an-inference-job-goes-only-to-a-machine-that-declared-the-kind","claim":"a job that asks a model for a completion is handed only to a machine that declared it serves that kind, while "},{"id":"weekendmark-the-mark-is-dollars-over-tokens-between-the-pools-it-keeps","claim":"the weekend mark of a stock token, when it is given, is exactly the dollars traded over the tokens traded acro"},{"id":"harmonic-pool-a-deposit-uses-held-token-first-and-buys-only-the-shortfall","claim":"a deposit into the $HARMONIC pool never spends more of the token the wallet already holds than its half needs,"},{"id":"bond-shares-round-against-the-buyer-and-liability-is-netted-never-negative","claim":"shares bought never pay more than the price implies, and a side's liability is what it owes less what is held,"},{"id":"bond-caps-scale-with-the-balance-and-solvency-refuses-what-cannot-be-covered","claim":"every stake cap is the smaller of its ceiling and its share of the balance, and never falls as the balance ris"},{"id":"hookrlp-the-tenth-comes-from-earnings-and-is-taken-before-every-exit-and-move","claim":"the vault's share is a tenth of what the ranges earned, never more than a fifth by construction, adds up exact"},{"id":"activity-a-forecast-is-graded-a-hit-exactly-when-what-happened-lies-in-its-band","claim":"a filed activity forecast is graded a hit exactly when what happened lies inside its band, which for a whole n"},{"id":"credit-an-advance-never-exceeds-the-ltv-the-cap-or-its-share-of-the-expectation","claim":"a loan is the least of three ceilings and interest only grows with time"},{"id":"oracle-every-stake-is-paid-under-exactly-one-outcome-and-a-void-returns-them-all","claim":"settled higher, exactly the stakes on higher are paid; settled lower, exactly the stakes on lower; no stake is"},{"id":"compute-a-job-is-never-priced-under-its-floor-and-a-spec-hashes-only-what-it-uses","claim":"a job is paid the larger of its kind's floor and the machine's rate"},{"id":"tail-cover-scale-is-one-until-thirty-days-and-stays-between-half-and-five-quarters","claim":"the scale the tail desk hands to the desks that size against the market is never under one half and never over"},{"id":"chart-the-refuting-level-is-always-on-the-far-side-of-price-and-the-sheet-fits-a-post","claim":"the level that refutes a read sits on the far side of price from its bias"},{"id":"equitypools-the-chain-price-is-the-newest-dated-pool-and-an-undated-one-yields-no-basis","claim":"the chain price the oracle states for a stock token is the newest dated price among the token's pools and the "},{"id":"compute-a-completion-goes-to-the-cheapest-per-delivered-job-and-no-record-changes-nothing","claim":"with no history the machine a completion is bound to is exactly the cheapest by price; with history it is the "},{"id":"door-the-default-slippage-moves-only-on-thirty-graded-fills-and-stays-between-twenty-five-and-a-hundred","claim":"the room the DeFi door leaves under its quote when an agent names none is today's fifty basis points until thi"},{"id":"depth-night-width-rises-with-the-closed-clock-and-never-past-double","claim":"while the exchange is open a shared book quotes at the band the tape asks for; while it is shut the width mult"},{"id":"agentvault-a-lock-claim-pays-only-the-vault-and-no-key-grants-a-delegate","claim":"a vault agent's lock claim always names the vault as its claimant, is always permanent with no lock id, no dur"},{"id":"bond-one-verdict-per-fill","claim":"the chain's answer picks the winning side and a fill is paid on that side only: settled either way, no fill is"},{"id":"stock-a-day-counts-only-after-its-session-closed","claim":"a stock's daily bar is counted toward a claim only after that day's session has closed"}],"latest":{"decision":null,"verdict":{"at":1793026468660,"kind":"verdict","text":"progress 27% under the 60% floor: the record pays only from there (p 46%)","tone":"flat"},"proof":{"at":1792990426614,"kind":"proof","text":"chart desk: P-112 on $SANTA 4h: rotation between 0.00000633 and 0.0000124; refuted by a 4h close outside either; otherwise judged after 12 bars; standing after 0 bars","tone":"down"},"solve":{"at":1793022906404,"kind":"solve","text":"frontier union-closed.57 proposed: Conditional entropy chain rule for the union coordinate: two-family OR count wit","tone":"flat"},"read":{"at":1793026248823,"kind":"read","text":"trader-watch: 0x5a15a137:p12 settled wrong, stalled at 1.145x after 30 min","tone":"down"},"predict":{"at":1793004347529,"kind":"predict","text":"drawdown: equity $30.25 under 70% of the $43.77 high; it resumes when the record earns it back or the operator resets it","tone":"flat"}},"channels":["desk","verdict","predict","overtone","read","proof","solve","brain","seal","post"],"note":"every event is a record another part of the machine wrote when it happened; nothing is simulated and no identities are carried"}