{"engine":"qed","provedAt":"2026-11-11T14:48:19.339Z","totalMs":2585.19,"proved":261,"failed":[],"results":[{"id":"borrow-draw-stays-inside-the-limit","ok":true,"method":"the real maxDrawUsd and ltvOf over every combination of five collateral sizes, five prices, five liquidation limits and four existing debts","evidence":"500 positions: none priced past the cushion, none negative, and every full draw lands strictly inside the venue's own limit","ms":0.74,"plot":{"title":"INSIDE THE CUSHION","epigraph":"the position after a full draw against the cushion, from a dollar to ten million: never past it","x":{"label":"the cushion, USD","log":true},"y":{"label":"position after the draw, USD","log":true},"diagonal":true,"series":[{"name":"after the draw","form":"scatter","points":[[3.75,3.75],[3.75,3.75],[6.45,6.45],[6.45,6.45],[7.35,7.35],[7.35,7.35],[7.5,7.5],[7.5,7.5],[1.88062,1.88062],[1.88062,1.88062],[94.0313,94.0313],[94.0313,94.0313],[161.734,161.734],[161.734,161.734],[184.301,184.301],[184.301,184.301],[188.063,188.063],[188.063,188.063],[750,750],[750,750],[750,750],[37500,37500],[37500,37500],[37500,37500],[37500,37500],[64500,64500],[64500,64500],[64500,64500],[64500,64500],[73500,73500],[73500,73500],[73500,73500],[73500,73500],[75000,75000],[75000,75000],[75000,75000],[75000,75000],[3.75,3.75],[3.75,3.75],[6.45,6.45],[6.45,6.45],[7.35,7.35],[7.35,7.35],[7.5,7.5],[7.5,7.5],[18.8062,18.8062],[18.8062,18.8062],[940.313,940.313],[940.313,940.313],[940.313,940.313],[1617.34,1617.34],[1617.34,1617.34],[1617.34,1617.34],[1843.01,1843.01],[1843.01,1843.01],[1843.01,1843.01],[1880.63,1880.63],[1880.63,1880.63],[1880.63,1880.63],[7500,7500],[7500,7500],[7500,7500],[375000,375000],[375000,375000],[375000,375000],[375000,375000],[645000,645000],[645000,645000],[645000,645000],[645000,645000],[735000,735000],[735000,735000],[735000,735000],[735000,735000],[750000,750000],[750000,750000],[750000,750000],[750000,750000],[75,75],[75,75],[3750,3750],[3750,3750],[3750,3750],[6450,6450],[6450,6450],[6450,6450],[7350,7350],[7350,7350],[7350,7350],[7500,7500],[7500,7500],[7500,7500],[7500,7500],[7500,7500],[7500,7500],[375000,375000],[375000,375000],[375000,375000],[375000,375000],[645000,645000],[645000,645000],[645000,645000],[645000,645000],[735000,735000],[735000,735000],[735000,735000],[735000,735000],[750000,750000],[750000,750000],[750000,750000],[750000,750000],[1880630,1880630],[1880630,1880630],[1880630,1880630],[1880630,1880630]]}]}},{"id":"borrow-draw-never-passes-the-market-ceiling","ok":true,"method":"the real drawableUsd over every combination of six market sizes and six borrowed shares, plus five unreadable rows","evidence":"36 market states: no draw passes 90% of what is supplied, none exceeds what the market holds, none is negative, and an unread market answers null rather than zero","ms":0.2},{"id":"agent-mandate-clauses-hold","ok":true,"method":"every clause in the mandate vocabulary, run against the real seal verdict and mandate normaliser","evidence":"11 of 11 clauses proved over the grids they name","ms":3.48},{"id":"agent-badge-never-rounds-up","ok":true,"method":"four mandates naming limits the signing gate cannot reach","evidence":"4 mandates: the badge never counted more than it checked, and never read complete while something was unenforceable","ms":2.36},{"id":"wilson-lower-bound-monotone","ok":true,"method":"the Wilson interval over every (wins, n) with n up to forty","evidence":"860 cases: lo <= w/n <= hi and lo non-decreasing in wins","ms":0.49,"plot":{"title":"WHAT THE LOWER BOUND KNOWS","epigraph":"the Wilson lower bound against the observed rate, at 5, 10, 20 and 40 fills","x":{"label":"observed rate, w/n"},"y":{"label":"lower bound of the interval"},"series":[{"name":"lower bound","form":"scatter","points":[[0,0],[0.2,0.0362232],[0.4,0.117618],[0.6,0.23072],[0.8,0.375528],[1,0.565509],[0,0],[0.1,0.0178757],[0.2,0.0566809],[0.3,0.107789],[0.4,0.168178],[0.5,0.23659],[0.6,0.31267],[0.7,0.396773],[0.8,0.490157],[0.9,0.595844],[1,0.72246],[0,0],[0.05,0.00888122],[0.1,0.0278659],[0.15,0.0523678],[0.2,0.0806564],[0.25,0.11186],[0.3,0.145475],[0.35,0.18119],[0.4,0.218804],[0.45,0.258195],[0.5,0.299295],[0.55,0.342082],[0.6,0.386578],[0.65,0.432851],[0.7,0.481023],[0.75,0.531295],[0.8,0.583978],[0.85,0.639577],[0.9,0.698962],[0.95,0.763864],[1,0.83887],[0,0],[0.025,0.00442672],[0.05,0.0138204],[0.075,0.0258356],[0.1,0.0395789],[0.125,0.0545942],[0.15,0.0706109],[0.175,0.087453],[0.2,0.104999],[0.225,0.12316],[0.25,0.14187],[0.275,0.161079],[0.3,0.180747],[0.325,0.200843],[0.35,0.221343],[0.375,0.242228],[0.4,0.263481],[0.425,0.285092],[0.45,0.307051],[0.475,0.329352],[0.5,0.351993],[0.525,0.374971],[0.55,0.398288],[0.575,0.421948],[0.6,0.445956],[0.625,0.470322],[0.65,0.495056],[0.675,0.520175],[0.7,0.545697],[0.725,0.571647],[0.75,0.598057],[0.775,0.624966],[0.8,0.652424],[0.825,0.680497],[0.85,0.709274],[0.875,0.738876],[0.9,0.769479],[0.925,0.801355],[0.95,0.834958],[0.975,0.871183],[1,0.912375]]},{"name":"w/n itself","role":"bound","form":"line","points":[[0,0],[1,1]]}]}},{"id":"crew-veto-and-proven-exclusive","ok":true,"method":"crewRead over a grid of two-wallet crews","evidence":"153 crews: never both refused and proven; every proven crew reads 0.3 or better","ms":0.55},{"id":"refusals-are-scored-like-buys","ok":true,"method":"vetoSummary over four families and a grid of counts","evidence":"36 cases: right = n - bonded for a refusal, bonded for a taken push, rate in [0, 1]","ms":0.19},{"id":"copy-fee-is-a-share-of-a-win-or-nothing","ok":true,"method":"winFeeFor over losses, zero and wins at four fee rates","evidence":"24 cases: zero on a loss, at most pnl * bps / 10000 on a win","ms":0.25,"plot":{"title":"A SHARE OF A WIN OR NOTHING","epigraph":"the fee a rider pays against the copied trade's result, at a tenth: nothing on a loss, a tenth of a win","x":{"label":"result of the trade, ETH"},"y":{"label":"fee, ETH"},"series":[{"name":"the fee","form":"line","points":[[-1,0],[-0.99,0],[-0.98,0],[-0.97,0],[-0.96,0],[-0.95,0],[-0.94,0],[-0.93,0],[-0.92,0],[-0.91,0],[-0.9,0],[-0.89,0],[-0.88,0],[-0.87,0],[-0.86,0],[-0.85,0],[-0.84,0],[-0.83,0],[-0.82,0],[-0.81,0],[-0.8,0],[-0.79,0],[-0.78,0],[-0.77,0],[-0.76,0],[-0.75,0],[-0.74,0],[-0.73,0],[-0.72,0],[-0.71,0],[-0.7,0],[-0.69,0],[-0.68,0],[-0.67,0],[-0.66,0],[-0.65,0],[-0.64,0],[-0.63,0],[-0.62,0],[-0.61,0],[-0.6,0],[-0.59,0],[-0.58,0],[-0.57,0],[-0.56,0],[-0.55,0],[-0.54,0],[-0.53,0],[-0.52,0],[-0.51,0],[-0.5,0],[-0.49,0],[-0.48,0],[-0.47,0],[-0.46,0],[-0.45,0],[-0.44,0],[-0.43,0],[-0.42,0],[-0.41,0],[-0.4,0],[-0.39,0],[-0.38,0],[-0.37,0],[-0.36,0],[-0.35,0],[-0.34,0],[-0.33,0],[-0.32,0],[-0.31,0],[-0.3,0],[-0.29,0],[-0.28,0],[-0.27,0],[-0.26,0],[-0.25,0],[-0.24,0],[-0.23,0],[-0.22,0],[-0.21,0],[-0.2,0],[-0.19,0],[-0.18,0],[-0.17,0],[-0.16,0],[-0.15,0],[-0.14,0],[-0.13,0],[-0.12,0],[-0.11,0],[-0.1,0],[-0.09,0],[-0.08,0],[-0.07,0],[-0.06,0],[-0.05,0],[-0.04,0],[-0.03,0],[-0.02,0],[-0.01,0],[0,0],[0.01,0.001],[0.02,0.002],[0.03,0.003],[0.04,0.004],[0.05,0.005],[0.06,0.006],[0.07,0.007],[0.08,0.008],[0.09,0.009],[0.1,0.01],[0.11,0.011],[0.12,0.012],[0.13,0.013],[0.14,0.014],[0.15,0.015],[0.16,0.016],[0.17,0.017],[0.18,0.018],[0.19,0.019],[0.2,0.02],[0.21,0.021],[0.22,0.022],[0.23,0.023],[0.24,0.024],[0.25,0.025],[0.26,0.026],[0.27,0.027],[0.28,0.028],[0.29,0.029],[0.3,0.03],[0.31,0.031],[0.32,0.032],[0.33,0.033],[0.34,0.034],[0.35,0.035],[0.36,0.036],[0.37,0.037],[0.38,0.038],[0.39,0.039],[0.4,0.04],[0.41,0.041],[0.42,0.042],[0.43,0.043],[0.44,0.044],[0.45,0.045],[0.46,0.046],[0.47,0.047],[0.48,0.048],[0.49,0.049],[0.5,0.05],[0.51,0.051],[0.52,0.052],[0.53,0.053],[0.54,0.054],[0.55,0.055],[0.56,0.056],[0.57,0.057],[0.58,0.058],[0.59,0.059],[0.6,0.06],[0.61,0.061],[0.62,0.062],[0.63,0.063],[0.64,0.064],[0.65,0.065],[0.66,0.066],[0.67,0.067],[0.68,0.068],[0.69,0.069],[0.7,0.07],[0.71,0.071],[0.72,0.072],[0.73,0.073],[0.74,0.074],[0.75,0.075],[0.76,0.076],[0.77,0.077],[0.78,0.078],[0.79,0.079],[0.8,0.08],[0.81,0.081],[0.82,0.082],[0.83,0.083],[0.84,0.084],[0.85,0.085],[0.86,0.086],[0.87,0.087],[0.88,0.088],[0.89,0.089],[0.9,0.09],[0.91,0.091],[0.92,0.092],[0.93,0.093],[0.94,0.094],[0.95,0.095],[0.96,0.096],[0.97,0.097],[0.98,0.098],[0.99,0.099],[1,0.1]]},{"name":"a tenth of the result","role":"bound","form":"line","points":[[0,0],[1,0.1]]}]}},{"id":"copy-size-never-exceeds-the-bankroll-or-the-wallet","ok":true,"method":"followSize over bankrolls, desk slices, wallets and committed sums","evidence":"81 cases: 0 or under the bankroll, the uncommitted part, the cap and the wallet less gas","ms":0.32},{"id":"flywheel-spend-never-exceeds-the-cycle-cap","ok":true,"method":"sizeBuyWei, scaleByVolumeWei and paceSpendWei composed over a grid","evidence":"300 cases: every step at most its input, the spend at most the cycle cap","ms":0.37,"plot":{"title":"UNDER THE CYCLE CAP","epigraph":"the buy leg's spend in a cycle against the cap it was given, over every sizing: on the line or under it","x":{"label":"cycle cap, ETH","log":true},"y":{"label":"spend, ETH","log":true},"diagonal":true,"series":[{"name":"spend","form":"scatter","points":[[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.001,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.002],[0.004,0.002],[0.004,0.002],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.002],[0.004,0.002],[0.004,0.002],[0.004,0.002],[0.004,0.002],[0.004,0.002],[0.004,0.00344],[0.004,0.00344],[0.004,0.00344],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.00172],[0.004,0.00172],[0.004,0.00172],[0.004,0.00344],[0.004,0.00344],[0.004,0.00344],[0.004,0.00344],[0.004,0.00344],[0.004,0.00344],[0.004,0.004],[0.004,0.004],[0.004,0.004],[0.004,0.001],[0.004,0.001],[0.004,0.001],[0.004,0.002],[0.004,0.002],[0.004,0.002],[0.004,0.004],[0.004,0.004],[0.004,0.004],[0.004,0.004],[0.004,0.004],[0.004,0.004],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.005],[0.01,0.005],[0.01,0.005],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.0025],[0.01,0.0025],[0.01,0.0025],[0.01,0.005],[0.01,0.005],[0.01,0.005],[0.01,0.005],[0.01,0.005],[0.01,0.005],[0.01,0.0086],[0.01,0.0086],[0.01,0.0086],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.0043],[0.01,0.0043],[0.01,0.0043],[0.01,0.0086],[0.01,0.0086],[0.01,0.0086],[0.01,0.0086],[0.01,0.0086],[0.01,0.0086],[0.01,0.01],[0.01,0.01],[0.01,0.01],[0.01,0.001],[0.01,0.001],[0.01,0.001],[0.01,0.005],[0.01,0.005],[0.01,0.005],[0.01,0.01],[0.01,0.01],[0.01,0.01],[0.01,0.01],[0.01,0.01],[0.01,0.01],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.01],[0.1,0.01],[0.1,0.01],[0.1,0.001],[0.1,0.001],[0.1,0.001],[0.1,0.005],[0.1,0.005],[0.1,0.005],[0.1,0.01],[0.1,0.01],[0.1,0.01],[0.1,0.01],[0.1,0.01],[0.1,0.01],[0.1,0.05],[0.1,0.05],[0.1,0.05],[0.1,0.005],[0.1,0.005],[0.1,0.005],[0.1,0.025],[0.1,0.025],[0.1,0.025],[0.1,0.05],[0.1,0.05],[0.1,0.05],[0.1,0.05],[0.1,0.05],[0.1,0.05],[0.1,0.086],[0.1,0.086],[0.1,0.086],[0.1,0.0086],[0.1,0.0086],[0.1,0.0086],[0.1,0.043],[0.1,0.043],[0.1,0.043],[0.1,0.086],[0.1,0.086],[0.1,0.086],[0.1,0.086],[0.1,0.086],[0.1,0.086],[0.1,0.1],[0.1,0.1],[0.1,0.1],[0.1,0.01],[0.1,0.01],[0.1,0.01],[0.1,0.05],[0.1,0.05],[0.1,0.05],[0.1,0.1],[0.1,0.1],[0.1,0.1],[0.1,0.1],[0.1,0.1],[0.1,0.1]]}]}},{"id":"flywheel-record-only-eases","ok":true,"method":"shadeFromRecord over counts and hit rates","evidence":"35 cases: shade in [0.75, 1], one under 30 judged buys","ms":0.31,"plot":{"title":"THE RECORD ONLY EASES","epigraph":"the shade the buy leg's record earns at every hit rate: one until 30 judged buys, then a fraction under one","x":{"label":"hit rate of judged buys"},"y":{"label":"shade on the leg"},"series":[{"name":"a hundred judged buys","form":"steps","points":[[0,0.75],[0.01,0.75],[0.02,0.75],[0.03,0.75],[0.04,0.75],[0.05,0.75],[0.06,0.75],[0.07,0.75],[0.08,0.75],[0.09,0.75],[0.1,0.75],[0.11,0.75],[0.12,0.75],[0.13,0.75],[0.14,0.75],[0.15,0.75],[0.16,0.75],[0.17,0.75],[0.18,0.75],[0.19,0.75],[0.2,0.75],[0.21,0.75],[0.22,0.75],[0.23,0.75],[0.24,0.75],[0.25,0.75],[0.26,0.75],[0.27,0.75],[0.28,0.75],[0.29,0.75],[0.3,0.75],[0.31,0.75],[0.32,0.75],[0.33,0.75],[0.34,0.75],[0.35,0.75],[0.36,0.75],[0.37,0.75],[0.38,0.75],[0.39,0.75],[0.4,1],[0.41,1],[0.42,1],[0.43,1],[0.44,1],[0.45,1],[0.46,1],[0.47,1],[0.48,1],[0.49,1],[0.5,1],[0.51,1],[0.52,1],[0.53,1],[0.54,1],[0.55,1],[0.56,1],[0.57,1],[0.58,1],[0.59,1],[0.6,1],[0.61,1],[0.62,1],[0.63,1],[0.64,1],[0.65,1],[0.66,1],[0.67,1],[0.68,1],[0.69,1],[0.7,1],[0.71,1],[0.72,1],[0.73,1],[0.74,1],[0.75,1],[0.76,1],[0.77,1],[0.78,1],[0.79,1],[0.8,1],[0.81,1],[0.82,1],[0.83,1],[0.84,1],[0.85,1],[0.86,1],[0.87,1],[0.88,1],[0.89,1],[0.9,1],[0.91,1],[0.92,1],[0.93,1],[0.94,1],[0.95,1],[0.96,1],[0.97,1],[0.98,1],[0.99,1],[1,1]]},{"name":"under the floor of buys","role":"bound","form":"line","points":[[0,1],[0.01,1],[0.02,1],[0.03,1],[0.04,1],[0.05,1],[0.06,1],[0.07,1],[0.08,1],[0.09,1],[0.1,1],[0.11,1],[0.12,1],[0.13,1],[0.14,1],[0.15,1],[0.16,1],[0.17,1],[0.18,1],[0.19,1],[0.2,1],[0.21,1],[0.22,1],[0.23,1],[0.24,1],[0.25,1],[0.26,1],[0.27,1],[0.28,1],[0.29,1],[0.3,1],[0.31,1],[0.32,1],[0.33,1],[0.34,1],[0.35,1],[0.36,1],[0.37,1],[0.38,1],[0.39,1],[0.4,1],[0.41,1],[0.42,1],[0.43,1],[0.44,1],[0.45,1],[0.46,1],[0.47,1],[0.48,1],[0.49,1],[0.5,1],[0.51,1],[0.52,1],[0.53,1],[0.54,1],[0.55,1],[0.56,1],[0.57,1],[0.58,1],[0.59,1],[0.6,1],[0.61,1],[0.62,1],[0.63,1],[0.64,1],[0.65,1],[0.66,1],[0.67,1],[0.68,1],[0.69,1],[0.7,1],[0.71,1],[0.72,1],[0.73,1],[0.74,1],[0.75,1],[0.76,1],[0.77,1],[0.78,1],[0.79,1],[0.8,1],[0.81,1],[0.82,1],[0.83,1],[0.84,1],[0.85,1],[0.86,1],[0.87,1],[0.88,1],[0.89,1],[0.9,1],[0.91,1],[0.92,1],[0.93,1],[0.94,1],[0.95,1],[0.96,1],[0.97,1],[0.98,1],[0.99,1],[1,1]]}]}},{"id":"claim-split-conserves-every-wei","ok":true,"method":"splitClaim over amounts and shares","evidence":"40 cases: mm + reserve + float = amount, all non-negative","ms":0.1},{"id":"public-split-is-three-legs-of-one-hundred","ok":true,"method":"publicSplit over a grid of weights","evidence":"72 cases: exactly three legs summing to 10000, order kept","ms":0.28},{"id":"index-swap-scale-only-shrinks","ok":true,"method":"swapScale over swap counts and average slips","evidence":"40 cases: scale in [0.3, 1], one until 5 swaps, non-increasing in slip","ms":0.46,"plot":{"title":"SLIP ONLY SHRINKS THE LEG","epigraph":"the size the basket leg earns against the average slip of forty swaps: never above one, never under 0.3","x":{"label":"average slip, bps"},"y":{"label":"size of the next swap"},"series":[{"name":"swap scale","form":"steps","points":[[0,1],[0,1],[20,1],[40,1],[60,1],[80,1],[100,1],[100,1],[120,1],[140,1],[160,0.9375],[180,0.833333],[200,0.75],[220,0.681818],[240,0.625],[260,0.576923],[280,0.535714],[300,0.5],[300,0.5],[320,0.46875],[340,0.441176],[360,0.416667],[380,0.394737],[400,0.375],[400,0.375],[420,0.357143],[440,0.340909],[460,0.326087],[480,0.3125],[500,0.3],[520,0.3],[540,0.3],[560,0.3],[580,0.3],[600,0.3],[600,0.3],[620,0.3],[640,0.3],[660,0.3],[680,0.3],[700,0.3],[720,0.3],[740,0.3],[760,0.3],[780,0.3],[800,0.3],[820,0.3],[840,0.3],[860,0.3],[880,0.3],[900,0.3],[920,0.3],[940,0.3],[960,0.3],[980,0.3],[1000,0.3],[1020,0.3],[1040,0.3],[1060,0.3],[1080,0.3],[1100,0.3],[1120,0.3],[1140,0.3],[1160,0.3],[1180,0.3],[1200,0.3],[1220,0.3],[1240,0.3],[1260,0.3],[1280,0.3],[1300,0.3],[1320,0.3],[1340,0.3],[1360,0.3],[1380,0.3],[1400,0.3],[1420,0.3],[1440,0.3],[1460,0.3],[1480,0.3],[1500,0.3],[1500,0.3],[1520,0.3],[1540,0.3],[1560,0.3],[1580,0.3],[1600,0.3],[1620,0.3],[1640,0.3],[1660,0.3],[1680,0.3],[1700,0.3],[1720,0.3],[1740,0.3],[1760,0.3],[1780,0.3],[1800,0.3],[1820,0.3],[1840,0.3],[1860,0.3],[1880,0.3],[1900,0.3],[1920,0.3],[1940,0.3],[1960,0.3],[1980,0.3],[2000,0.3]]},{"name":"the floor, 0.3","role":"bound","form":"line","points":[[0,0.3],[2000,0.3]]}]}},{"id":"index-self-limit-holds-a-quarter","ok":true,"method":"selfLimit over holdings, earlier sales inside and outside the day, and amounts","evidence":"108 cases: accepted iff sales in the day plus this one stay within a quarter of the holding plus those sales","ms":0.39,"plot":{"title":"A QUARTER A DAY","epigraph":"a sale is accepted while the day's sales stay under a quarter of the leg's holding, and refused past it","x":{"label":"the day's sales as a share of the holding"},"y":{"label":"accepted (1) or refused (0)"},"series":[{"name":"the limit's answer","form":"scatter","points":[[0.1,1],[0.1,1],[0.1,1],[0.5,0],[0.5,0],[0.5,0],[1,0],[1,0],[1,0],[3,0],[3,0],[3,0],[0.4,0],[0.4,0],[0.1,1],[0.666667,0],[0.666667,0],[0.5,0],[1,0],[1,0],[1,0],[2.33333,0],[2.33333,0],[3,0],[0.64,0],[0.64,0],[0.1,1],[0.8,0],[0.8,0],[0.5,0],[1,0],[1,0],[1,0],[1.8,0],[1.8,0],[3,0],[0.025,1],[0.025,1],[0.025,1],[0.125,1],[0.125,1],[0.125,1],[0.25,1],[0.25,1],[0.25,1],[0.75,0],[0.75,0],[0.75,0],[0.133333,1],[0.133333,1],[0.025,1],[0.222222,1],[0.222222,1],[0.125,1],[0.333333,0],[0.333333,0],[0.25,1],[0.777778,0],[0.777778,0],[0.75,0],[0.290909,0],[0.290909,0],[0.025,1],[0.363636,0],[0.363636,0],[0.125,1],[0.454545,0],[0.454545,0],[0.25,1],[0.818182,0],[0.818182,0],[0.75,0],[0.01,1],[0.01,1],[0.01,1],[0.05,1],[0.05,1],[0.05,1],[0.1,1],[0.1,1],[0.1,1],[0.3,0],[0.3,0],[0.3,0],[0.0571429,1],[0.0571429,1],[0.01,1],[0.0952381,1],[0.0952381,1],[0.05,1],[0.142857,1],[0.142857,1],[0.1,1],[0.333333,0],[0.333333,0],[0.3,0],[0.13913,1],[0.13913,1],[0.01,1],[0.173913,1],[0.173913,1],[0.05,1],[0.217391,1],[0.217391,1],[0.1,1],[0.391304,0],[0.391304,0],[0.3,0]]},{"name":"one quarter","role":"bound","form":"line","points":[[0.25,0],[0.25,1]]}]}},{"id":"zap-send-covers-the-basket","ok":true,"method":"zapSendEth over basket values and ETH prices","evidence":"12 cases: send * (1 - fee) >= needed * 1.03","ms":0.1},{"id":"deposit-fee-never-charges-a-desk-delivery","ok":true,"method":"depositFee over cash, marks and desk deliveries","evidence":"36 cases: deposit = max(0, cash - mark - delivered), fee = 100 bps of it","ms":0.13},{"id":"exec-slices-cover-the-order","ok":true,"method":"planSlices over orders, caps and windows, down to single units","evidence":"240 cases: the slices cover the order, and the gap is a minute or more whenever there is more than one","ms":0.23},{"id":"a-swap-is-counted-by-size-and-never-by-direction","ok":true,"method":"signed amounts on both sides, including a thirty digit one","evidence":"5 swaps, every side counted by size","ms":0.17},{"id":"an-unpriced-pool-never-reports-a-zero","ok":true,"method":"counted but unpriced pools, carried through into the ranking","evidence":"3 pools, none of them scored on a volume nobody measured","ms":0.72},{"id":"a-window-reports-the-hours-it-watched","ok":true,"method":"feeds from one hour old to past the window","evidence":"12 windows, none claiming an hour it did not watch","ms":0.35,"plot":{"title":"ONLY THE HOURS IT WATCHED","epigraph":"the hours a pool's window reports against the hours the feed spanned: never more, and never past the day","x":{"label":"hours the feed spanned"},"y":{"label":"hours reported"},"diagonal":true,"series":[{"name":"hours reported","form":"scatter","points":[[0,0.017],[1,1],[2,2],[3,3],[5,5],[7,7],[11,11],[15,15],[19,19],[23,23],[29,25],[39,25]]},{"name":"the day's window","role":"bound","form":"line","points":[[0,24],[27,24]]}]}},{"id":"a-failed-read-never-becomes-a-yield","ok":true,"method":"every unreadable value in every input, against a reading known to be sound","evidence":"36 failed reads, none of them turned into a number","ms":0.1},{"id":"a-pool-too-thin-is-never-chosen","ok":true,"method":"every depth under the floor against volumes up to a trillion","evidence":"20 thin pools, none of them able to win at any volume","ms":0.64},{"id":"the-router-never-moves-for-a-rounding-error","ok":true,"method":"every ratio from four fifths to three times the incumbent, in twentieths","evidence":"45 comparisons, the edge honoured on every one","ms":0.23},{"id":"an-unmeasured-incumbent-is-never-abandoned","ok":true,"method":"every unreadable incumbent against rivals up to ten billion in volume","evidence":"12 blind cycles, money moved on none of them","ms":0.09},{"id":"a-deposit-is-never-swept-as-profit","ok":true,"method":"every deposit size from dust to a hundred ETH, against five stakes, through the sweep rule itself","evidence":"30 deposits, none of them reachable by the sweep","ms":0.3},{"id":"the-desk-s-own-winnings-are-never-capital","ok":true,"method":"wins and losses at six sizes across three stakes, read back through the reconciliation","evidence":"18 results, none of them mistaken for capital in","ms":0.12},{"id":"band-refusal-needs-its-own-count","ok":true,"method":"every count under the minimum, with the worst possible fills","evidence":"7 counts, none of them enough to close a band","ms":0.39},{"id":"band-payoff-is-never-one-trade","ok":true,"method":"one and two wins at five sizes up to a thousandfold, against a band with wins of its own","evidence":"15 records, no single fill able to hold a losing band open","ms":0.67},{"id":"band-refusal-is-never-cheaper-than-the-band-paying","ok":true,"method":"every hit count at five sample sizes, against the sign of the band's own best case","evidence":"95 records, refusal and the sign of the best case agree on every one","ms":1.57},{"id":"band-boundaries-never-drop-a-fill","ok":true,"method":"every whole percent of a curve, and every unreadable progress","evidence":"106 readings, each in exactly the band its percent belongs to","ms":0.08},{"id":"exec-slice-never-exceeds-the-cap","ok":true,"method":"planSlices over a grid reaching a whole ETH cut at single wei, where the slice count passes 2^53","evidence":"88 cases: the slice never exceeds the cap","ms":0.11},{"id":"exec-fee-is-a-quarter-percent-at-most","ok":true,"method":"feeFor and sliceScale over a grid","evidence":"10 cases: fee <= notional / 400, slice scale in [0.35, 1]","ms":0.11},{"id":"dca-tranche-bounded-and-budget-never-exceeded","ok":true,"method":"decideTranche over bases, carries, budgets and reads","evidence":"96 cases: factor in [0.5, 1.5], tranche <= min(1.5 base, remaining), carry in [0, base]","ms":0.47},{"id":"factory-spend-under-every-cap","ok":true,"method":"spendForCycle over cash, reserves and caps","evidence":"144 cases: spend <= min(cycle cap, day room, cash - reserve - gas)","ms":0.52},{"id":"mining-grid-split-exact","ok":true,"method":"splitAcrossGrid over six wagers","evidence":"6 wagers: 25 squares, sum exact, remainder on the last","ms":0.16},{"id":"mining-gas-ceiling-and-wager-scale","ok":true,"method":"efficientWager and wagerScale over a grid","evidence":"44 cases: gas <= 2% of any wager placed, wager <= cap and float, scale in [0.25, 1]","ms":0.35},{"id":"pool-day-caps-hold","ok":true,"method":"poolGate and suggestedEth over pools, payments and days","evidence":"77 cases: at most 3 a day, a quarter of the pool a day, one per solver, gas kept, suggestions in [0.0005, 0.02] or nothing","ms":0.4},{"id":"world-rank-is-a-count-off-the-desk","ok":true,"method":"rankOf over the ladder's boundaries","evidence":"visitor, student, apprentice, journeyman, master at 5 checked; submitted never substitutes for checked","ms":0.07},{"id":"world-purse-pays-a-fraction-under-the-day-cap","ok":true,"method":"planPayouts over a full, a thin and an empty purse","evidence":"three rows on 1 ETH paid 0.08968809 ETH in total, each a fraction of the purse as it stood, none over 0.05 ETH, all under the 25% day cap; a thin purse holds every row","ms":0.18},{"id":"depth-a-buyer-pays-at-least-what-a-leaver-receives","ok":true,"method":"depositQuote against exitQuote over generated books with idle balances, and the whole supply out against the holdings","evidence":"400 books: every deposit at least its exit in both tokens and in liquidity, every whole exit within the holdings","ms":18.91},{"id":"depth-dividend-passes-through-as-the-step-times-the-holding","ok":true,"method":"dividendOwed over generated books, steps and partitions of the supply","evidence":"400 books: the whole supply owed exactly the step, no shares owed nothing, no rise owed nothing, every partition summing to at most the book's dividend","ms":1.71},{"id":"depth-swap-door-pays-exactly-the-quote","ok":true,"method":"doorStep over 3000 random fills and their quotes, with random pool deltas, allowances, minimums, deadlines and halts","evidence":"3000 fills: the signer loses exactly the pool's take, the recipient gains exactly its pay, every refusal is the identity, quote and fill agree, the door keeps nothing","ms":5.34},{"id":"cli-signs-only-the-quote-it-showed","ok":true,"method":"guardBuild and stepsOf over 4000 random quote and build pairs: wrong address, wrong value, foreign token, foreign spender, over-ceiling approval, short minimum, past or far deadline","evidence":"4000 pairs checked, 1419 passed the guard and each was signed as exactly its approvals then its one call; every other pair was refused in words before any key","ms":13.48},{"id":"robinhood-places-only-the-order-it-proposed","ok":true,"method":"guardOrder, orderArgs and hashOf over 4000 random filed proposals: the built arguments pass; another symbol, side, size, type or limit, a foreign size or price field, an expired, used or unfiled proposal, and a hash of other fields all refuse; the canonical hash ignores case and trailing zeros","evidence":"4000 proposals checked, 4000 of their own orders passed, 44000 deviations refused","ms":129.99},{"id":"rail-forwards-only-the-equity-order-it-filed","ok":true,"method":"classify, toolList, proposalFrom and guardOrder over 1500 random tool lists and orders: the equity order tool alone is wrapped with its schema untouched, every other placing tool is refused and unlisted, reads keep their schema, the rail's own proposal passes the guard, and a foreign size field, another symbol or another size refuses","evidence":"1500 lists classified, 4500 placing tools refused and unlisted, 1500 of the rail's own proposals passed, 4500 deviations refused","ms":50.71},{"id":"robinhood-slip-is-the-signed-distance-from-the-print","ok":true,"method":"slipBps over 4000 random prints and fills, both sides, missing prices, and summarize over an empty and a mixed record","evidence":"4000 pairs: 2017 worse than the print, 1983 better, the rest at it; antisymmetric throughout; nothing graded from a missing price","ms":1.62},{"id":"rail-a-session-opens-only-under-its-own-key","ok":true,"method":"sealed and opened over 400 random sessions and secrets, the empty secret, and the rail's public shape, skill, consent page and words read for a token","evidence":"400 sessions opened whole under their own key, 400 refused under another, no token on any public surface","ms":18.26},{"id":"rail-an-order-over-the-holder-limits-is-never-forwarded","ok":true,"method":"withinLimits and orderUsd over 3000 random connections and orders against the direct definition: monotone in every limit, nothing unpriced or halted admitted, two orders in turn never together over the day cap","evidence":"3000 orders judged, 503 admitted, 2497 refused, 503 pairs checked against the day cap","ms":57.63},{"id":"rail-a-limit-tightens-at-once-and-loosens-after-the-hour","ok":true,"method":"planLimits and effectiveLimits over 3000 random changes: before the delay every cap is the tighter of old and new and the list the narrower, at the delay every field is the new, and a change that loosens nothing is wholly in force at once","evidence":"3000 changes planned, 2726 waited the hour on at least one field, 274 landed whole at once","ms":13.51},{"id":"registry-a-filing-is-graded-by-the-move-alone","ok":true,"method":"the grade over 5000 random references and marks, a tenth unchanged and a twentieth unreadable: up right only above the reference, down only below, an unchanged print wrong both ways, an unreadable mark ungraded, and the grade unchanged under a common scale","evidence":"4765 pairs graded, 489 unchanged prints wrong both ways, 235 left ungraded for want of a mark","ms":2.27},{"id":"registry-a-seal-opens-only-on-its-own-fields-and-shut-is-wrong","ok":true,"method":"3000 random seals, each opened by its own fields before and at the deadline however cased, and refused on another subject, direction or salt, another agent, a later time and an opened seal; a late reveal is told the seal is graded as never shown","evidence":"3000 seals opened once each, 18000 reveals refused","ms":35.14},{"id":"registry-the-rank-is-the-lower-bound-and-needs-thirty","ok":true,"method":"4000 random records: the lower bound is within zero and the rate, never lowered by a right grade at a fixed count nor by doubling the count at a fixed rate; three of three ranks under sixty of a hundred; twenty-nine graded is in process with no rate and thirty is ranked","evidence":"4000 records checked; the ranking starts at 30 graded","ms":1.79},{"id":"defidoor-a-build-the-door-hands-out-passes-the-terminals-guard","ok":true,"method":"swapCheckOf and swapBuildOf over 3000 random quotes against the terminal's own guardBuild: the honest pair always passes, and six tamperings (another address, ETH, a strange token, a bigger approval, a lower minimum, a far deadline) are refused every time","evidence":"3000 random quotes: the honest build passed every time and 18000 tampered builds were refused","ms":45.41},{"id":"equityoracle-a-halted-or-unflagged-token-never-reads-open","ok":true,"method":"verdictOf over 4000 random quotes, halt and pause flags, sessions and instants against the direct definition; a true halt flag always reads halted, an absent one never reads open","evidence":"4000 cases: 120 open, 1329 halted, 1022 unknown, every one as the definition says","ms":46.23},{"id":"equityoracle-a-quote-older-than-its-session-allows-never-reads-fresh","ok":true,"method":"verdictOf over 4000 random dated, unhalted quotes across three weeks of New York sessions: past the allowance in an open session always stale, inside the weekend hold always held, open only fresh and in session","evidence":"4000 cases: 2577 stale, 1189 held, no open quote older than 15 minutes","ms":45.35},{"id":"equityoracle-the-basis-is-never-two-prices-from-different-times","ok":true,"method":"basisOf over 4000 random price pairs, times up to thirty minutes apart, and verdicts: stated exactly when both prices are positive and dated, within the skew, and the issuer is open; equal to the rounded relative gap; unchanged under a common scale","evidence":"4000 cases, 283 with a basis stated, none from two times further apart than 10 minutes","ms":5.45,"plot":{"title":"THE BASIS NEEDS ONE CLOCK","epigraph":"two dated prices with the issuer open: a basis is stated inside ten minutes of skew and withheld outside it","x":{"label":"minutes between the two prices"},"y":{"label":"basis stated (1) or withheld (0)"},"series":[{"name":"the oracle","form":"scatter","points":[[15.9343,0],[7.04933,1],[-5.36728,1],[19.7126,0],[-10.0941,0],[-11.7283,0],[-25.322,0],[-7.53687,1],[19.5745,0],[22.3664,0],[19.476,0],[-21.4154,0],[28.6693,0],[8.32508,1],[-6.24852,1],[2.22493,1],[24.1703,0],[8.65755,1],[-17.7188,0],[-17.9425,0],[22.7901,0],[-18.1743,0],[-29.1204,0],[-23.9511,0],[0.833583,1],[10.5945,0],[-4.68428,1],[-9.84677,1],[-11.3848,0],[-6.17082,1],[-27.816,0],[24.7508,0],[-16.877,0],[17.3185,0],[-17.8258,0],[2.87268,1],[-21.4264,0],[13.5639,0],[-27.5804,0],[17.8658,0],[11.1963,0],[11.6539,0],[9.01963,1],[-16.3886,0],[-23.9255,0],[-26.5219,0],[16.5413,0],[-7.52983,1],[22.9069,0],[9.22123,1],[13.6814,0],[25.4145,0],[3.58873,1],[-25.9127,0],[-0.92695,1],[4.46662,1],[5.97427,1],[-1.9612,1],[-0.0302667,1],[9.7377,1],[-23.0504,0],[-11.679,0],[-22.4796,0],[-10.2064,0],[-6.30237,1],[10.0952,0],[-20.7982,0],[2.28993,1],[25.1551,0],[-23.3623,0],[9.55328,1],[-16.1574,0],[22.0073,0],[2.17253,1],[12.1925,0],[-3.10797,1],[8.65638,1],[26.0174,0],[26.9935,0],[-11.6919,0],[-4.21282,1],[29.3155,0],[-29.3839,0],[6.66095,1],[-12.2767,0],[1.40107,1],[-11.5276,0],[3.77957,1],[23.0172,0],[15.3231,0],[23.7537,0],[7.78615,1],[-21.4955,0],[-26.8025,0],[2.4018,1],[4.11633,1],[21.8439,0],[-21.3404,0],[-12.9702,0],[15.2804,0],[5.06097,1],[15.4158,0],[-23.1749,0],[15.4001,0],[11.3644,0],[-0.982883,1],[-1.44178,1],[-28.7583,0],[-4.18655,1],[-17.7913,0],[4.25333,1],[28.7839,0],[-12.2124,0],[25.0881,0],[6.9558,1],[13.6755,0],[-23.2348,0],[-26.868,0],[16.7641,0],[18.1165,0],[16.4086,0],[26.2573,0],[-8.67078,1],[-12.7932,0],[29.3337,0],[25.6131,0],[9.01668,1],[-29.66,0],[-27.0099,0],[9.5939,1],[-27.1219,0],[-19.9609,0],[-1.9775,1],[8.16743,1],[25.3457,0],[-8.33238,1],[5.60395,1],[-16.5009,0],[-19.4623,0],[-25.3983,0],[-7.785,1],[-16.4108,0],[27.7543,0],[-28.6537,0],[26.8942,0],[-26.1865,0],[9.81618,1],[-14.9872,0],[17.5631,0],[28.5737,0],[-5.32345,1],[15.5822,0],[19.7466,0],[28.2,0],[8.11065,1],[26.4133,0],[4.76608,1],[29.7422,0],[12.8155,0],[14.3906,0],[-26.9126,0],[23.3655,0],[4.37398,1],[-1.05908,1],[-26.8543,0],[-21.1362,0],[17.952,0],[2.81315,1],[-17.9365,0],[-12.2664,0],[10.0279,0],[-15.5637,0],[-28.7296,0],[22.6978,0],[-5.31275,1],[-28.2717,0],[-1.9376,1],[-19.9688,0],[-2.5422,1],[12.411,0],[5.45607,1],[28.3783,0],[-2.54122,1],[-1.0463,1],[2.90267,1],[24.9901,0],[-12.9869,0],[12.6032,0],[-26.8997,0],[3.38043,1],[-10.3596,0],[17.1116,0],[17.0162,0],[22.6492,0],[10.391,0],[-26.6221,0],[-26.3495,0],[-6.70112,1],[-3.74408,1],[14.1788,0],[28.0985,0],[-4.55393,1],[-5.17903,1],[27.7551,0],[18.5714,0],[14.2905,0],[-21.5494,0],[-6.58178,1],[9.29673,1],[14.4792,0],[-6.80377,1],[-22.3021,0],[19.6225,0],[-13.0332,0],[5.8955,1],[14.3253,0],[3.20662,1],[23.1537,0],[-6.64465,1],[-20.0793,0],[-18.9752,0],[-26.9048,0],[13.3636,0],[-15.5053,0]]},{"name":"ten minutes","role":"bound","form":"line","points":[[10,0],[10,1]]},{"name":"minus ten","role":"bound","form":"line","points":[[-10,0],[-10,1]]}]}},{"id":"oraclechain-a-basis-on-chain-needs-two-dated-prices","ok":true,"method":"rowFor over 1500 random oracle rows with missing, zero and negative prices, missing times, random bases and every verdict word","evidence":"4000 rows: a basis stated in 626 and only beside two dated positive prices, prices exact to the micro-dollar, times exact to the second, every verdict inside the contract's enum","ms":9.89},{"id":"oraclechain-a-row-is-rewritten-only-when-it-moved","ok":true,"method":"needsWrite over 1500 random row pairs in both tiers, each the chain's copy or one field nudged, against the rule's own definition","evidence":"1500 pairs: 1138 rewritten and 362 held, each exactly as the rule says; an unchanged row inside the hour is never rewritten","ms":1.67},{"id":"oraclechain-a-contract-reads-only-while-paid","ok":true,"method":"the gate over 1500 random calls, and one paid contract at the edges of its term","evidence":"1500 calls: 1074 served and 426 refused, each as the definition says; a call from off the chain is served with no payment; a paid contract is served up to the second its term ends and refused the second after","ms":0.65},{"id":"oraclechain-a-term-never-shortens","ok":true,"method":"termAfter over paid times, clocks and month counts, and pairs of payments against their sum","evidence":"172 cases: never under what was left, never under now plus a month, additive while paid, from now after a lapse; zero and thirteen months refused","ms":0.22},{"id":"oraclechain-the-fee-is-the-price-times-the-months-and-has-one-destination","ok":true,"method":"feeFor over four prices and every month count from minus one to fourteen; the interface read for functions that move value","evidence":"64 fees: price times months on one to twelve, refused outside, additive, zero at a zero price; one payment function in the interface, nothing payable, nothing that moves value out","ms":0.31},{"id":"oraclechain-liveness-follows-the-watcher","ok":true,"method":"liveAfterWatch over live and paid times, twice, and after a renewal","evidence":"20 watches: the later of the two times every time, unchanged when repeated, raised by a renewal; twenty tokens is the cap","ms":0.08},{"id":"oraclechain-a-cycle-is-bounded-and-never-blocks","ok":true,"method":"batchesOf over every queue length from 0 to 260, with the cycle's four-transaction cap","evidence":"261 queue lengths: batches of at most 25 in order, a cycle sends at most 4 of them, so at most 100 rows","ms":2.31},{"id":"equitypools-the-chain-price-is-the-newest-dated-pool-and-an-undated-one-yields-no-basis","ok":true,"method":"pickChainPrice over 3000 random candidate sets against the direct definition (newest dated, deepest among equals, undated only when nothing is dated, never non-positive), an undated pick yielding no basis, and usdFromSqrt monotone in the sqrt price on either side and linear in the quote","evidence":"3000 cases: 2518 dated picks, 389 undated, 2907 monotonicity checks, every one as the definition says","ms":15.39},{"id":"earnings-base-rate-bounded-and-monotone","ok":true,"method":"beatModel over 3000 random histories of up to twelve surprises and six thresholds each: bounded in [0.01, 0.99], non-increasing in the threshold, the mean raised by a surprise above it and lowered by one below it, the empty history the prior","evidence":"3000 histories, 18000 thresholds checked","ms":15.63,"plot":{"title":"THE BASE RATE, BOUNDED","epigraph":"sixty random surprise histories, each read at six thresholds: never certain, never rising with the bar","x":{"label":"threshold k"},"y":{"label":"p(beat)"},"series":[{"name":"p(beat)","form":"scatter","points":[[-0.495343,0.99],[-0.444752,0.985],[-0.216611,0.81],[-0.172857,0.735],[0.227118,0.049],[0.352538,0.01],[-0.581387,0.99],[-0.475725,0.99],[-0.346855,0.99],[0.246903,0.013],[0.318869,0.01],[0.343101,0.01],[-0.417652,0.937],[-0.340218,0.895],[-0.284216,0.855],[0.0504285,0.454],[0.180695,0.284],[0.248416,0.209],[-0.538152,0.99],[-0.377357,0.99],[-0.243381,0.99],[0.0425321,0.417],[0.266405,0.01],[0.413537,0.01],[-0.495367,0.99],[-0.229275,0.99],[-0.0687665,0.829],[-0.0223835,0.676],[0.0618903,0.328],[0.346705,0.01],[-0.553978,0.99],[-0.47705,0.99],[-0.066013,0.55],[-0.0176503,0.414],[0.408916,0.01],[0.493206,0.01],[-0.449744,0.919],[-0.398553,0.895],[-0.30964,0.842],[0.112505,0.426],[0.336414,0.207],[0.429514,0.14],[-0.552964,0.99],[-0.46635,0.99],[-0.179833,0.864],[0.133595,0.11],[0.261325,0.015],[0.298919,0.01],[-0.180195,0.855],[-0.111589,0.713],[0.0324447,0.316],[0.411761,0.01],[0.495678,0.01],[0.567065,0.01],[-0.476022,0.99],[-0.245145,0.921],[-0.203883,0.874],[0.0122546,0.404],[0.126168,0.165],[0.569527,0.01],[-0.561004,0.99],[-0.543118,0.99],[-0.49029,0.99],[-0.278153,0.99],[-0.204484,0.99],[0.454981,0.01],[-0.583289,0.99],[-0.451398,0.99],[-0.0531479,0.906],[0.100853,0.432],[0.503712,0.01],[0.592544,0.01],[-0.43529,0.981],[-0.282816,0.928],[-0.273075,0.922],[-0.133726,0.805],[-0.0617548,0.715],[0.209091,0.301],[-0.131608,0.697],[-0.0250034,0.551],[0.0328817,0.467],[0.410863,0.072],[0.493426,0.039],[0.589682,0.017],[-0.382481,0.982],[-0.347517,0.974],[-0.21065,0.921],[-0.0834637,0.82],[0.0414885,0.666],[0.163833,0.48],[-0.508865,0.99],[-0.363139,0.99],[-0.273886,0.99],[0.0616218,0.299],[0.160107,0.015],[0.310307,0.01],[-0.422466,0.925],[-0.112211,0.572],[0.0656313,0.294],[0.187964,0.15],[0.419144,0.024],[0.454085,0.017],[-0.581927,0.99],[-0.570988,0.99],[-0.478795,0.99],[-0.470299,0.99],[0.126543,0.088],[0.576126,0.01],[-0.539887,0.99],[-0.264472,0.904],[0.32511,0.067],[0.405301,0.03],[0.494369,0.011],[0.585046,0.01],[-0.444401,0.99],[-0.2552,0.99],[-0.137932,0.99],[-0.0874829,0.988],[0.107513,0.101],[0.467935,0.01],[-0.324376,0.889],[-0.142851,0.665],[-0.0578419,0.521],[0.351342,0.04],[0.54088,0.01],[0.574058,0.01],[-0.545478,0.99],[-0.138177,0.782],[-0.116405,0.727],[0.188086,0.033],[0.50951,0.01],[0.571127,0.01],[-0.53756,0.99],[-0.411627,0.99],[-0.327714,0.964],[0.0256181,0.302],[0.225882,0.033],[0.388973,0.01],[-0.459128,0.99],[-0.0294522,0.839],[-0.0153544,0.775],[0.0188673,0.574],[0.121842,0.063],[0.259065,0.01],[-0.517831,0.99],[0.0587628,0.316],[0.252383,0.01],[0.262375,0.01],[0.387874,0.01],[0.553177,0.01],[-0.586198,0.99],[-0.165784,0.878],[0.349556,0.272],[0.34969,0.272],[0.403426,0.214],[0.445178,0.175],[-0.456777,0.99],[-0.0998721,0.859],[-0.0308766,0.739],[0.0501262,0.551],[0.287872,0.084],[0.513527,0.01],[-0.107505,0.865],[-0.101774,0.854],[0.140974,0.138],[0.146929,0.127],[0.30243,0.01],[0.432379,0.01],[-0.377905,0.97],[-0.0631956,0.732],[-0.00989636,0.657],[0.0464744,0.571],[0.111961,0.467],[0.451705,0.074],[-0.589512,0.99],[-0.560382,0.987],[-0.545123,0.984],[-0.108191,0.594],[-0.072516,0.532],[-0.0633812,0.516],[-0.340373,0.819],[-0.323233,0.802],[-0.254194,0.727],[-0.000240738,0.382],[0.0901726,0.266],[0.1219,0.231],[-0.599887,0.99],[-0.301595,0.99],[0.288114,0.01],[0.413137,0.01],[0.474507,0.01],[0.493538,0.01],[-0.575602,0.99],[-0.435849,0.99],[-0.315277,0.975],[-0.280603,0.959],[0.260411,0.032],[0.423571,0.01],[-0.240765,0.99],[-0.0537414,0.834],[0.186662,0.01],[0.390728,0.01],[0.459376,0.01],[0.496852,0.01],[-0.375019,0.99],[-0.354313,0.99],[-0.175677,0.948],[-0.0689817,0.786],[-0.0686101,0.786],[0.226416,0.065],[-0.520535,0.99],[-0.211233,0.85],[0.0377934,0.422],[0.101702,0.304],[0.416113,0.019],[0.543157,0.01],[-0.258544,0.987],[0.0242404,0.352],[0.161846,0.049],[0.241149,0.01],[0.259259,0.01],[0.536675,0.01],[-0.366572,0.99],[-0.3578,0.99],[-0.337074,0.99],[-0.329806,0.99],[-0.0942801,0.981],[0.0601422,0.308],[-0.567519,0.99],[-0.435898,0.979],[-0.431867,0.978],[-0.385415,0.967],[-0.125813,0.794],[0.483756,0.059],[-0.451938,0.99],[-0.400761,0.99],[-0.283475,0.99],[0.486546,0.01],[0.505079,0.01],[0.530389,0.01],[-0.505394,0.99],[-0.248372,0.888],[0.114415,0.286],[0.403883,0.023],[0.553621,0.01],[0.566853,0.01],[-0.580423,0.99],[-0.567859,0.99],[-0.467749,0.99],[0.174442,0.021],[0.348944,0.01],[0.576594,0.01],[-0.423455,0.99],[-0.308069,0.958],[-0.157091,0.803],[-0.12533,0.748],[0.381598,0.011],[0.407688,0.01],[-0.565837,0.801],[0.0507657,0.24],[0.170082,0.157],[0.243077,0.117],[0.41777,0.052],[0.424053,0.05],[-0.416765,0.99],[-0.244417,0.99],[-0.0986621,0.894],[-0.0248146,0.691],[0.102274,0.213],[0.22155,0.022],[-0.481647,0.93],[0.0767407,0.303],[0.404148,0.046],[0.454979,0.031],[0.459936,0.03],[0.487819,0.024],[0.109568,0.188],[0.146789,0.119],[0.218187,0.04],[0.255011,0.021],[0.419771,0.01],[0.512825,0.01],[-0.436515,0.976],[-0.375491,0.956],[-0.368837,0.953],[0.020788,0.477],[0.375441,0.051],[0.445464,0.026],[-0.289584,0.852],[-0.288868,0.852],[-0.178689,0.762],[0.168634,0.37],[0.236393,0.296],[0.597638,0.052],[-0.521264,0.99],[-0.135064,0.985],[-0.126355,0.981],[-0.0469686,0.864],[0.119209,0.177],[0.440781,0.01],[-0.00798043,0.631],[0.262814,0.215],[0.294692,0.179],[0.38143,0.1],[0.428685,0.07],[0.571028,0.019],[-0.324723,0.825],[-0.314109,0.816],[-0.301869,0.805],[-0.179622,0.679],[0.177881,0.245],[0.437033,0.063],[-0.133631,0.71],[-0.0519516,0.537],[0.224605,0.071],[0.542607,0.01],[0.557821,0.01],[0.585256,0.01],[-0.396656,0.99],[-0.378754,0.99],[-0.351056,0.99],[-0.319379,0.99],[-0.219774,0.979],[0.395963,0.025],[-0.311996,0.984],[-0.266242,0.964],[0.0627985,0.24],[0.302968,0.01],[0.371633,0.01],[0.596806,0.01],[-0.427505,0.99],[-0.283414,0.932],[-0.283006,0.931],[-0.107457,0.68],[0.481493,0.01],[0.581501,0.01],[-0.480636,0.99],[-0.162551,0.849],[-0.0424203,0.692],[-0.0253332,0.666],[0.453738,0.046],[0.517896,0.025],[-0.455728,0.826],[-0.179405,0.546],[0.058159,0.278],[0.154328,0.191],[0.356832,0.07],[0.376605,0.062],[-0.529499,0.99],[-0.311359,0.99],[-0.211139,0.983],[0.436771,0.01],[0.485536,0.01],[0.568425,0.01],[-0.497696,0.99],[-0.379652,0.99],[-0.0361924,0.573],[-0.0281057,0.548],[0.092696,0.205],[0.280098,0.011]]},{"name":"0.99","role":"bound","form":"line","points":[[-0.6,0.99],[0.6,0.99]]},{"name":"0.01","role":"bound","form":"line","points":[[-0.6,0.01],[0.6,0.01]]}]}},{"id":"depth-no-fill-during-a-halt","ok":true,"method":"gateStep over 400 random sequences of 40 swaps, exits and settings by four callers","evidence":"11215 steps: a swap fills iff not halted, exits pay regardless, strangers change nothing, repeats are one halt, durations non-negative, every halt counted","ms":4.01},{"id":"depth-holds-still-off-the-issuers-print","ok":true,"method":"oracleVerdict over both pool orderings, thirteen dislocations, eight bands and four broken prints","evidence":"208 verdicts: hold on every missing, stale or halted print; move exactly within the band; never a hold from widening it; a pool at the print always moves","ms":0.56},{"id":"depth-night-width-rises-with-the-closed-clock-and-never-past-double","ok":true,"method":"nightWidthMult over fourteen closed clocks either side of twelve hours, and bandTicksFor under each at five volatilities","evidence":"14 clocks: one in the session, never under one, rising with the clock, exactly 2 from 12 hours on; the band never narrows as it rises and never passes the planner's ceiling","ms":0.32,"plot":{"title":"THE NIGHT WIDTH","epigraph":"how wide a book quotes as the exchange stays closed: rising to double at twelve hours, never past it","x":{"label":"hours the exchange has been closed"},"y":{"label":"width, as a multiple of the day"},"series":[{"name":"width","form":"steps","points":[[0,1],[2.77778e-7,1],[0.0166667,1.00139],[1,1.08333],[3,1.25],[6,1.5],[11.99,1.99917],[12,2],[12.01,2],[24,2],[66,2],[100,2]]},{"name":"double","role":"bound","form":"line","points":[[0,2],[100,2]]}]}},{"id":"depth-night-tape-scores-every-quote-against-the-print-that-followed","ok":true,"method":"resolveStretch over a five-quote night with an unpriced quote, a zero night, four price scales and two missing prints","evidence":"every quote is scored from the open print and the close from the same one; a quote at the open scores zero; scaling leaves every score unchanged; nothing scores without an open print","ms":0.47},{"id":"oracle-settlement-conserves-the-pot-and-the-house-keeps-only-the-dust","ok":true,"method":"settlement over 480 matched questions of one to twelve stakes at five fee rates, both outcomes","evidence":"480 settlements: paid + fee + dust = staked every time, every winner paid at least the stake, no cut over a twentieth of the win, dust under the winner count, wins never past the losing pool, voids returned whole","ms":2.44,"plot":{"title":"THE POT IS CONSERVED","epigraph":"what a settled question pays back against what was staked, over 480 questions: the rest is the cut and dust","x":{"label":"staked, ETH","log":true},"y":{"label":"paid out, ETH","log":true},"diagonal":true,"series":[{"name":"paid out","form":"scatter","points":[[0.00109253,0.00108401],[0.00109253,0.00107919],[0.00568748,0.00559605],[0.00568748,0.00549454],[0.000679483,0.000679483],[0.00692564,0.00692564],[0.00692564,0.00692564],[0.000714272,0.000714272],[0.000714272,0.000714272],[0.0043976,0.00439748],[0.00170801,0.00166079],[0.00170801,0.00166982],[0.00484998,0.0047382],[0.00484998,0.00471926],[0.00210164,0.00210164],[0.00473795,0.00465881],[0.00473795,0.00472233],[0.000356379,0.000356379],[0.000356379,0.000356379],[0.00368417,0.00352665],[0.00208276,0.00203665],[0.00208276,0.00202495],[0.00396222,0.00388555],[0.00396222,0.00384118],[0.001753,0.00173601],[0.00127766,0.0012462],[0.00127766,0.00124525],[0.00279595,0.00279579],[0.00279595,0.00279583],[0.000783878,0.000783878],[0.00139334,0.00139327],[0.00139334,0.00139327],[0.00438646,0.00438646],[0.00438646,0.00438646],[0.00565204,0.00565181],[0.00335599,0.00334104],[0.00335599,0.00320348],[0.00491787,0.00491787],[0.00491787,0.00491787],[0.00518654,0.00518618],[0.00213718,0.00205225],[0.00213718,0.00211526],[0.004247,0.00419144],[0.004247,0.00421761],[0.00632313,0.00632313],[0.0013609,0.0013609],[0.0013609,0.0013609],[0.00280574,0.0027291],[0.00280574,0.0027421],[0.00311891,0.00308115],[0.000721138,0.000721138],[0.000721138,0.000721138],[0.0029738,0.00285887],[0.0029738,0.00294004],[0.00463719,0.00459524],[0.00268883,0.00268062],[0.00268883,0.00256261],[0.00406857,0.00401604],[0.00406857,0.00403972],[0.00358574,0.00355179],[0.00287204,0.00286449],[0.00287204,0.00273598],[0.00548477,0.00526409],[0.00548477,0.00543121],[0.00379489,0.00379472],[0.00411526,0.0040041],[0.00411526,0.00402067],[0.000580715,0.000580715],[0.000580715,0.000580715],[0.000530136,0.00052268],[0.00407857,0.00401688],[0.00407857,0.00393674],[0.00266678,0.00265134],[0.00266678,0.00254916],[0.00494307,0.00494282],[0.00275532,0.00271736],[0.00275532,0.00273817],[0.00407473,0.00401292],[0.00407473,0.00405505],[0.00421619,0.00416364],[0.00363001,0.00358197],[0.00363001,0.00360545],[0.00481593,0.00474161],[0.00481593,0.00464993],[0.00552695,0.00552661],[0.000682206,0.000682206],[0.000682206,0.000682206],[0.00255484,0.00252831],[0.00255484,0.00253027],[0.00170002,0.00165963],[0.00455247,0.00455247],[0.00455247,0.00455247],[0.00235988,0.00233891],[0.00235988,0.00226309],[0.00173538,0.00173538],[0.00340494,0.00331479],[0.00340494,0.00332518],[0.000881844,0.000881844],[0.000881844,0.000881844],[0.00373252,0.00371126],[0.00599695,0.00584934],[0.00599695,0.00584472],[0.00377983,0.00360764],[0.00377983,0.00376302],[0.00428792,0.00428766],[0.00157257,0.00157245],[0.00157257,0.00157253],[0.00621177,0.00608706],[0.00621177,0.00602589],[0.00246025,0.00246025],[0.00293735,0.00293735],[0.00293735,0.00293735],[0.000386938,0.000386938],[0.000386938,0.000386938],[0.000570086,0.000570086],[0.00397728,0.00397721],[0.00397728,0.00397696],[0.00414969,0.0041113],[0.00414969,0.00398101],[0.00518934,0.00518934],[0.00229362,0.00224986],[0.00229362,0.00229151],[0.0039306,0.00390004],[0.0039306,0.00388255],[0.00201038,0.00193839],[0.00498588,0.00498588],[0.00498588,0.00498588],[0.00388262,0.00388234],[0.00388262,0.00388251],[0.00135333,0.00135333],[0.00193415,0.00193415],[0.00193415,0.00193415],[0.00482663,0.0047123],[0.00482663,0.00469964],[0.00128841,0.0012783],[0.00629467,0.0060925],[0.00629467,0.00618274],[0.00207416,0.00203438],[0.00207416,0.00207246],[0.00647198,0.00627888],[0.00222163,0.00221522],[0.00222163,0.00218362],[0.00115212,0.00115146],[0.00115212,0.00112973],[0.0049743,0.00486927],[0.00220086,0.00220078],[0.00220086,0.00220072],[0.0000635782,0.0000635782],[0.0000635782,0.0000635782],[0.000318104,0.000318104],[0.00200648,0.0020064],[0.00200648,0.00200636],[0.0000215901,0.0000215901],[0.0000215901,0.0000215901],[0.00152899,0.00151758],[0.00181122,0.0017619],[0.00181122,0.00176998],[0.00456531,0.00447457],[0.00456531,0.00442825],[0.000327151,0.000327136],[0.00531176,0.00513321],[0.00531176,0.00522473],[0.000950405,0.000950405],[0.000950405,0.000950405],[0.00109974,0.00108851],[0.000639686,0.000639686],[0.000639686,0.000639686],[0.00435812,0.00421422],[0.00435812,0.00428455],[0.0066835,0.00651121],[0.000927517,0.000927517],[0.000927517,0.000927517],[0.00476264,0.00469421],[0.00476264,0.00473581],[0.00179266,0.00174363],[0.00205321,0.00197067],[0.00205321,0.00203309],[0.0035646,0.00346614],[0.0035646,0.00348483],[0.0000817593,0.0000817593],[0.00148694,0.00148688],[0.00148694,0.00148685],[0.00229185,0.00218577],[0.00229185,0.00228334],[0.00146137,0.00144546],[0.000696092,0.000669316],[0.000696092,0.000688133],[0.0072736,0.00721147],[0.0072736,0.00719026],[0.0056339,0.00563353],[0.00331744,0.00331716],[0.00331744,0.00331739],[0.00224224,0.00224224],[0.00224224,0.00224224],[0.00253256,0.00253236],[0.000945286,0.000945286],[0.000945286,0.000945286],[0.00244918,0.00241746],[0.00244918,0.00243192],[0.00273977,0.00273958],[0.00342176,0.00338748],[0.00342176,0.0033876],[0.00136843,0.00136838],[0.00136843,0.00136834],[0.00151824,0.00151824],[0.00346986,0.00333866],[0.00346986,0.0034279],[0.00462172,0.00450096],[0.00462172,0.00451186],[0.00190717,0.00190717],[0.00395379,0.00392326],[0.00395379,0.00390524],[0.00562505,0.00562476],[0.00562505,0.00562478],[0.00633481,0.00633452],[0.00349217,0.00349217],[0.00349217,0.00349217],[0.000629426,0.000612287],[0.000629426,0.000615093],[0.00168722,0.00168722],[0.00381828,0.003764],[0.00381828,0.0037962],[0.00167559,0.00167559],[0.00167559,0.00167559],[0.00103669,0.00101588],[0.000306578,0.000306578],[0.000306578,0.000306578],[0.00388413,0.00383502],[0.00388413,0.00373943],[0.000188271,0.000188271],[0.00190353,0.0018613],[0.00190353,0.00185059],[0.00321691,0.00321672],[0.00321691,0.00321677],[0.000507326,0.000503595],[0.00365698,0.00365698],[0.00365698,0.00365698],[0.0032142,0.0031271],[0.0032142,0.00314059],[0.00041267,0.000392194],[0.00779207,0.00779196],[0.00779207,0.0077914],[0.000927833,0.000927833],[0.000927833,0.000927833],[0.00159195,0.00159195],[0.0015411,0.00154105],[0.0015411,0.00154101],[0.00479335,0.00471762],[0.00479335,0.00477322],[0.00291548,0.00287279],[0.00645991,0.00640415],[0.00645991,0.00638647],[0.00340027,0.0033168],[0.00340027,0.00331373],[0.00330993,0.00330978],[0.00103782,0.00103782],[0.00103782,0.00103782],[0.00629212,0.00629212],[0.00629212,0.00629212],[0.00541784,0.00535467],[0.00417247,0.00417223],[0.00417247,0.0041723],[0.00331755,0.00331733],[0.00331755,0.00331743],[0.00171347,0.00163205],[0.00669284,0.00669259],[0.00669284,0.00669241],[0.00372775,0.00372775],[0.00372775,0.00372775],[0.00531873,0.00531873],[0.00337489,0.00337473],[0.00337489,0.00337471],[0.00675889,0.00675854],[0.00675889,0.00675856],[0.00282189,0.00282189],[0.00215817,0.00215817],[0.00215817,0.00215817],[0.00395494,0.00395494],[0.00395494,0.00395494],[0.00355236,0.00355202],[0.00415258,0.00403778],[0.00415258,0.00405975],[0.00323534,0.00316165],[0.00323534,0.00314727],[0.00225826,0.0021753],[0.0000407616,0.0000407616],[0.0000407616,0.0000407616],[0.000506814,0.000506814],[0.000506814,0.000506814],[0.00248732,0.00240938],[0.000858411,0.000858411],[0.000858411,0.000858411],[0.00587514,0.00578736],[0.00587514,0.0058454],[0.0043631,0.00436293],[0.000875505,0.000875505],[0.000875505,0.000875505],[0.00415298,0.00415298],[0.00415298,0.00415298],[0.000900301,0.000900301],[0.000728423,0.000728423],[0.000728423,0.000728423],[0.00622095,0.00616866],[0.00622095,0.00614883],[0.00524445,0.00507015],[0.0027801,0.00269739],[0.0027801,0.00272381],[0.00429392,0.00429392],[0.00429392,0.00429392],[0.0015988,0.0015988],[0.00524802,0.00520746],[0.00524802,0.00518362],[0.00360353,0.003568],[0.00360353,0.003567],[0.00548866,0.00548866],[0.00577129,0.00555316],[0.00577129,0.00570086],[0.00329151,0.0032647],[0.00329151,0.00325248],[0.00192321,0.00192321],[0.00162521,0.00157876],[0.00162521,0.00159056],[0.00275352,0.00275352],[0.00275352,0.00275352],[0.00432279,0.00417227],[0.00664869,0.00646506],[0.00664869,0.00649988],[0.00256931,0.00254455],[0.00256931,0.0024656],[0.00139457,0.00139457],[0.000879912,0.000837806],[0.000879912,0.000878022],[0.00716546,0.00716512],[0.00716546,0.00716509],[0.00651358,0.00651358],[0.00292001,0.00282063],[0.00292001,0.00287338],[0.00128787,0.00126967],[0.00128787,0.0012803],[0.0055769,0.0054628],[0.00418262,0.00414037],[0.00418262,0.00414122],[0.000199837,0.000199837],[0.000199837,0.000199837],[0.00304281,0.00299342],[0.0000131656,0.0000131656],[0.0000131656,0.0000131656],[0.00302744,0.00297782],[0.00302744,0.00301652],[0.000660304,0.000660304],[0.00410495,0.00401589],[0.00410495,0.00398876],[0.00180191,0.00180191],[0.00180191,0.00180191],[0.00121111,0.00121111],[0.00227483,0.00226954],[0.00227483,0.00216661],[0.00420629,0.00411313],[0.00420629,0.00408913],[0.00147682,0.00147682],[0.00327014,0.00322348],[0.00327014,0.00315363],[0.000446581,0.000446581],[0.000446581,0.000446581],[0.00448053,0.00443217],[0.00579321,0.00554375],[0.00579321,0.005753],[0.0000509655,0.0000509637],[0.0000509655,0.0000509623],[0.00430522,0.00430522],[0.00391844,0.00391844],[0.00391844,0.00391844],[0.00229799,0.00229785],[0.00229799,0.0022979],[0.00104137,0.00103755],[0.00325634,0.00310407],[0.00325634,0.0032458],[0.00515695,0.00515677],[0.00515695,0.00515661],[0.0025599,0.00254607],[0.00462996,0.00462996],[0.00462996,0.00462996],[0.00744157,0.00744114],[0.00744157,0.00744126],[0.00245629,0.00242931],[0.00503165,0.00503133],[0.00503165,0.00503147],[0.00552994,0.00552978],[0.00552994,0.00552955],[0.00573061,0.0057303],[0.00427453,0.00427453],[0.00427453,0.00427453],[0.00620366,0.00620316],[0.00620366,0.00620354],[0.00121007,0.00121002],[0.00380819,0.00380806],[0.00380819,0.00380794],[0.00198548,0.0019189],[0.00198548,0.001953],[0.00378456,0.00378456]]}]}},{"id":"oracle-every-stake-is-paid-under-exactly-one-outcome-and-a-void-returns-them-all","ok":true,"method":"settlement under both outcomes and under void over 200 questions, verdictOf on five pairs of raw answers, a one-sided question","evidence":"200 questions: the two paid sets are disjoint and cover every stake; the verdict is exactly one of higher, lower, void; every void returned every stake whole with no fee","ms":1.73},{"id":"oracle-the-ladder-is-whole-ticks-symmetric-about-the-money","ok":true,"method":"strikesFor over 300 prints from a tenth of a dollar to a million, on every horizon","evidence":"900 ladders: every strike a whole number of ticks, the money within half a tick of the print, the step never under a tick, the ladder symmetric about the money","ms":1.57},{"id":"oracle-the-print-at-an-instant-is-the-latest-round-not-after-it","ok":true,"method":"pickRound over 300 feeds of up to eight rounds at a random instant, each with a later round added","evidence":"300 instants: the print is the latest round not after the instant, ties break on the id, a later round never moves it, and no round at or before the instant means no print","ms":0.89},{"id":"oracle-a-question-never-opens-or-takes-a-stake-on-a-print-already-standing","ok":true,"method":"windowAt, heldAcross and heldLockWhy against a model feed printing every minute while the session is open, every hour from Thursday to Tuesday and each minute either side of the hold's two edges, over the weekends of 2 Oct 2026, 30 Oct 2026 (the clocks go back), 8 Jan 2027 and 12 Mar 2027 (the clocks go forward), on all three horizons","evidence":"1512 questions: 360 skipped, each exactly one whose lock and close read one round; 1152 opened, each reading two; 846 stake instants taken while the lock round was unpublished and 306 refused once it was; strikes and feeds that print through never refused","ms":103.97},{"id":"oracle-the-book-contract-pays-a-staked-wei-only-to-its-owner-a-winner-or-the-fee","ok":true,"method":"the book contract's pure machine (oraclebook.js modelStep, line for line with HarmonicOracleBook, which the EVM test holds to the same numbers) over 120 random runs of stakes, settlements, refunds after the escape, claims, refused pushes kept as credit, withdrawals and fee sends, at five fee rates, each payout checked against the book's own settlement()","evidence":"1942 steps over 120 runs (136 voids, 899 claims refused to wallets owed nothing): the balance always covered what was held, what was held was always the pots plus the credit, every wallet was paid exactly what settlement() owes it, every void returned stakes whole, and every run ended holding nothing with paid plus fee equal to staked","ms":5.05},{"id":"world-bounty-is-the-set-figure-for-checked-work-only","ok":true,"method":"bountyPot over eight set figures either side of the minimum and maximum, bountyStandings and planBounty over a tie","evidence":"the pot is the set figure capped at 0.05 ETH and nothing under 0.0002; only a rise in checked work stands, ties split evenly, shares never exceed the pot","ms":0.51},{"id":"world-milestone-needs-the-desk-not-the-world","ok":true,"method":"MILESTONES and standingOf over a walker and a checked resident","evidence":"no paid milestone without a desk's check; one checked piece is apprentice and journeyman, 5 in one district is master, and a skill is a district at journeyman or better","ms":0.26},{"id":"solve-bounty-book-pays-only-poster-answerer-or-fee","ok":true,"method":"the share arithmetic over amounts and shares, and the contract's model over seeded sequences of every call","evidence":"860 steps in 12 sequences, 540 refused calls that moved nothing: the book always held exactly what it owed, every wei left to its poster, the answerer the poster named, an address that answerer chose, or the fee wallet, never the treasury, and the share plus the answerer's part was always the whole bounty","ms":4.74},{"id":"solve-check-needs-two-others","ok":true,"method":"checkVerdict over author, single, duplicate and second approvals","evidence":"checked only at 2 approvals from distinct identities, the author's never counted","ms":0.23},{"id":"seal-paused-signs-nothing-and-the-cap-holds","ok":true,"method":"sealVerdict over paused and live seals, and spentWithin over a window","evidence":"52 cases: paused refuses everything, live signs iff wei <= per payment and spent + wei <= daily; the sum counts only the window","ms":0.67,"plot":{"title":"THE SEAL SIGNS UNDER ITS CAP","epigraph":"whether the rail's seal signs a payment, by its share of the per-payment cap: signed up to it, refused past","x":{"label":"payment as a share of the per-payment cap"},"y":{"label":"signed (1) or refused (0)"},"series":[{"name":"the seal","form":"steps","points":[[0,1],[0.02,1],[0.04,1],[0.06,1],[0.08,1],[0.1,1],[0.12,1],[0.14,1],[0.16,1],[0.18,1],[0.2,1],[0.22,1],[0.24,1],[0.26,1],[0.28,1],[0.3,1],[0.32,1],[0.34,1],[0.36,1],[0.38,1],[0.4,1],[0.42,1],[0.44,1],[0.46,1],[0.48,1],[0.5,1],[0.52,1],[0.54,1],[0.56,1],[0.58,1],[0.6,1],[0.62,1],[0.64,1],[0.66,1],[0.68,1],[0.7,1],[0.72,1],[0.74,1],[0.76,1],[0.78,1],[0.8,1],[0.82,1],[0.84,1],[0.86,1],[0.88,1],[0.9,1],[0.92,1],[0.94,1],[0.96,1],[0.98,1],[1,1],[1.02,0],[1.04,0],[1.06,0],[1.08,0],[1.1,0],[1.12,0],[1.14,0],[1.16,0],[1.18,0],[1.2,0],[1.22,0],[1.24,0],[1.26,0],[1.28,0],[1.3,0],[1.32,0],[1.34,0],[1.36,0],[1.38,0],[1.4,0],[1.42,0],[1.44,0],[1.46,0],[1.48,0],[1.5,0],[1.52,0],[1.54,0],[1.56,0],[1.58,0],[1.6,0],[1.62,0],[1.64,0],[1.66,0],[1.68,0],[1.7,0],[1.72,0],[1.74,0],[1.76,0],[1.78,0],[1.8,0],[1.82,0],[1.84,0],[1.86,0],[1.88,0],[1.9,0],[1.92,0],[1.94,0],[1.96,0],[1.98,0],[2,0],[2.02,0],[2.04,0],[2.06,0],[2.08,0],[2.1,0],[2.12,0],[2.14,0],[2.16,0],[2.18,0],[2.2,0],[2.22,0],[2.24,0],[2.26,0],[2.28,0],[2.3,0],[2.32,0],[2.34,0],[2.36,0],[2.38,0],[2.4,0],[2.42,0],[2.44,0],[2.46,0],[2.48,0],[2.5,0],[2.52,0],[2.54,0],[2.56,0],[2.58,0],[2.6,0],[2.62,0],[2.64,0],[2.66,0],[2.68,0],[2.7,0],[2.72,0],[2.74,0],[2.76,0],[2.78,0],[2.8,0],[2.82,0],[2.84,0],[2.86,0],[2.88,0],[2.9,0],[2.92,0],[2.94,0],[2.96,0],[2.98,0],[3,0],[3.02,0],[3.04,0],[3.06,0],[3.08,0],[3.1,0],[3.12,0],[3.14,0],[3.16,0],[3.18,0],[3.2,0],[3.22,0],[3.24,0],[3.26,0],[3.28,0],[3.3,0],[3.32,0],[3.34,0],[3.36,0],[3.38,0],[3.4,0],[3.42,0],[3.44,0],[3.46,0],[3.48,0],[3.5,0],[3.52,0],[3.54,0],[3.56,0],[3.58,0],[3.6,0],[3.62,0],[3.64,0],[3.66,0],[3.68,0],[3.7,0],[3.72,0],[3.74,0],[3.76,0],[3.78,0],[3.8,0],[3.82,0],[3.84,0],[3.86,0],[3.88,0],[3.9,0],[3.92,0],[3.94,0],[3.96,0],[3.98,0],[4,0]]},{"name":"the cap","role":"bound","form":"line","points":[[1,0],[1,1]]}]}},{"id":"seal-tightening-is-immediate","ok":true,"method":"planSealChange over tightening, loosening and mixed changes","evidence":"32 cases: tighter caps in force now, looser ones only after the delay","ms":0.2},{"id":"blend-stays-between-the-market-and-its-parts","ok":true,"method":"blend over markets, models, cross prices, analysts and confidences","evidence":"432 cases: |p - market| <= shrink * max|part - market|, p in [0.01, 0.99]","ms":0.85,"plot":{"title":"NEVER FAR FROM THE MARKET","epigraph":"the desk's number against the market's price, over every mix of parts: at most 0.6 of the way toward them","x":{"label":"the market's price"},"y":{"label":"the desk's number"},"diagonal":true,"series":[{"name":"the blend","form":"scatter","points":[[0.05,0.05],[0.05,0.05],[0.05,0.05],[0.05,0.05],[0.05,0.26],[0.05,0.26],[0.05,0.05],[0.05,0.614],[0.05,0.614],[0.05,0.14],[0.05,0.14],[0.05,0.14],[0.05,0.14],[0.05,0.205],[0.05,0.14],[0.05,0.318],[0.05,0.399],[0.05,0.5],[0.05,0.5],[0.05,0.5],[0.05,0.5],[0.05,0.41],[0.05,0.369],[0.05,0.5],[0.05,0.543],[0.05,0.08],[0.05,0.08],[0.05,0.08],[0.05,0.08],[0.05,0.125],[0.05,0.152],[0.05,0.08],[0.05,0.214],[0.05,0.294],[0.05,0.101],[0.05,0.101],[0.05,0.101],[0.05,0.101],[0.05,0.149],[0.05,0.101],[0.05,0.192],[0.05,0.255],[0.05,0.23],[0.05,0.23],[0.05,0.23],[0.05,0.23],[0.05,0.235],[0.05,0.239],[0.05,0.23],[0.05,0.298],[0.05,0.32],[0.05,0.32],[0.05,0.32],[0.05,0.32],[0.05,0.305],[0.05,0.296],[0.05,0.32],[0.05,0.393],[0.05,0.438],[0.05,0.256],[0.05,0.256],[0.05,0.256],[0.05,0.256],[0.05,0.257],[0.05,0.256],[0.05,0.319],[0.05,0.363],[0.05,0.384],[0.05,0.384],[0.05,0.384],[0.05,0.384],[0.05,0.362],[0.05,0.347],[0.05,0.384],[0.05,0.425],[0.05,0.59],[0.05,0.59],[0.05,0.59],[0.05,0.59],[0.05,0.507],[0.05,0.458],[0.05,0.59],[0.05,0.596],[0.05,0.6],[0.05,0.429],[0.05,0.429],[0.05,0.429],[0.05,0.429],[0.05,0.378],[0.05,0.429],[0.05,0.462],[0.05,0.485],[0.05,0.558],[0.05,0.558],[0.05,0.558],[0.05,0.558],[0.05,0.505],[0.05,0.468],[0.05,0.558],[0.05,0.568],[0.3,0.3],[0.3,0.3],[0.3,0.3],[0.3,0.3],[0.3,0.36],[0.3,0.36],[0.3,0.3],[0.3,0.714],[0.3,0.714],[0.3,0.24],[0.3,0.24],[0.3,0.24],[0.3,0.24],[0.3,0.305],[0.3,0.24],[0.3,0.418],[0.3,0.499],[0.3,0.6],[0.3,0.6],[0.3,0.6],[0.3,0.6],[0.3,0.51],[0.3,0.469],[0.3,0.6],[0.3,0.643],[0.3,0.18],[0.3,0.18],[0.3,0.18],[0.3,0.18],[0.3,0.225],[0.3,0.252],[0.3,0.18],[0.3,0.314],[0.3,0.394],[0.3,0.201],[0.3,0.201],[0.3,0.201],[0.3,0.201],[0.3,0.249],[0.3,0.201],[0.3,0.292],[0.3,0.355],[0.3,0.33],[0.3,0.33],[0.3,0.33],[0.3,0.33],[0.3,0.335],[0.3,0.339],[0.3,0.33],[0.3,0.398],[0.3,0.42],[0.3,0.42],[0.3,0.42],[0.3,0.42],[0.3,0.405],[0.3,0.396],[0.3,0.42],[0.3,0.494],[0.3,0.538],[0.3,0.356],[0.3,0.356],[0.3,0.356],[0.3,0.356],[0.3,0.357],[0.3,0.356],[0.3,0.419],[0.3,0.463],[0.3,0.484],[0.3,0.484],[0.3,0.484],[0.3,0.484],[0.3,0.462],[0.3,0.447],[0.3,0.484],[0.3,0.525],[0.3,0.69],[0.3,0.69],[0.3,0.69],[0.3,0.69],[0.3,0.607],[0.3,0.558],[0.3,0.69],[0.3,0.696],[0.3,0.7],[0.3,0.529],[0.3,0.529],[0.3,0.529],[0.3,0.529],[0.3,0.478],[0.3,0.529],[0.3,0.562],[0.3,0.585],[0.3,0.658],[0.3,0.658],[0.3,0.658],[0.3,0.658],[0.3,0.605],[0.3,0.569],[0.3,0.658],[0.3,0.668],[0.5,0.5],[0.5,0.5],[0.5,0.5],[0.5,0.5],[0.5,0.44],[0.5,0.44],[0.5,0.5],[0.5,0.794],[0.5,0.794],[0.5,0.32],[0.5,0.32],[0.5,0.32],[0.5,0.32],[0.5,0.385],[0.5,0.32],[0.5,0.498],[0.5,0.579],[0.5,0.68],[0.5,0.68],[0.5,0.68],[0.5,0.68],[0.5,0.59],[0.5,0.549],[0.5,0.68],[0.5,0.723],[0.5,0.26],[0.5,0.26],[0.5,0.26],[0.5,0.26],[0.5,0.305],[0.5,0.332],[0.5,0.26],[0.5,0.394],[0.5,0.474],[0.5,0.281],[0.5,0.281],[0.5,0.281],[0.5,0.281],[0.5,0.329],[0.5,0.281],[0.5,0.372],[0.5,0.435],[0.5,0.41],[0.5,0.41],[0.5,0.41],[0.5,0.41],[0.5,0.415],[0.5,0.419],[0.5,0.41],[0.5,0.478],[0.5,0.5],[0.5,0.5],[0.5,0.5],[0.5,0.5],[0.5,0.485],[0.5,0.476],[0.5,0.5],[0.5,0.574],[0.5,0.618],[0.5,0.436],[0.5,0.436],[0.5,0.436],[0.5,0.436],[0.5,0.437],[0.5,0.436],[0.5,0.499],[0.5,0.543],[0.5,0.564],[0.5,0.564],[0.5,0.564],[0.5,0.564],[0.5,0.542],[0.5,0.527],[0.5,0.564],[0.5,0.605],[0.5,0.77],[0.5,0.77],[0.5,0.77],[0.5,0.77],[0.5,0.688],[0.5,0.638],[0.5,0.77],[0.5,0.776],[0.5,0.78],[0.5,0.609],[0.5,0.609],[0.5,0.609],[0.5,0.609],[0.5,0.559],[0.5,0.609],[0.5,0.642],[0.5,0.665],[0.5,0.738],[0.5,0.738],[0.5,0.738],[0.5,0.738],[0.5,0.685],[0.5,0.649],[0.5,0.738],[0.5,0.748],[0.9,0.9],[0.9,0.9],[0.9,0.9],[0.9,0.9],[0.9,0.6],[0.9,0.6],[0.9,0.9],[0.9,0.954],[0.9,0.954],[0.9,0.48],[0.9,0.48],[0.9,0.48],[0.9,0.48],[0.9,0.545],[0.9,0.48],[0.9,0.658],[0.9,0.739],[0.9,0.84],[0.9,0.84],[0.9,0.84],[0.9,0.84],[0.9,0.75],[0.9,0.709],[0.9,0.84],[0.9,0.883],[0.9,0.42],[0.9,0.42],[0.9,0.42],[0.9,0.42],[0.9,0.465],[0.9,0.492],[0.9,0.42],[0.9,0.554],[0.9,0.634],[0.9,0.441],[0.9,0.441],[0.9,0.441],[0.9,0.441],[0.9,0.489],[0.9,0.441],[0.9,0.532],[0.9,0.595],[0.9,0.57],[0.9,0.57],[0.9,0.57],[0.9,0.57],[0.9,0.575],[0.9,0.579],[0.9,0.57],[0.9,0.638],[0.9,0.66],[0.9,0.66],[0.9,0.66],[0.9,0.66],[0.9,0.645],[0.9,0.636],[0.9,0.66],[0.9,0.734],[0.9,0.778],[0.9,0.596],[0.9,0.596],[0.9,0.596],[0.9,0.596],[0.9,0.597],[0.9,0.596],[0.9,0.659],[0.9,0.703],[0.9,0.724],[0.9,0.724],[0.9,0.724],[0.9,0.724],[0.9,0.702],[0.9,0.687],[0.9,0.724],[0.9,0.765],[0.9,0.93],[0.9,0.93],[0.9,0.93],[0.9,0.93],[0.9,0.848],[0.9,0.798],[0.9,0.93],[0.9,0.936],[0.9,0.94],[0.9,0.769],[0.9,0.769],[0.9,0.769],[0.9,0.769],[0.9,0.718],[0.9,0.769],[0.9,0.802],[0.9,0.825],[0.9,0.898],[0.9,0.898],[0.9,0.898],[0.9,0.898],[0.9,0.845],[0.9,0.809],[0.9,0.898],[0.9,0.908]]}]}},{"id":"edge-floor-only-rises","ok":true,"method":"floorsFromRecord over records from perfect to hopeless","evidence":"25 cases: base <= edge <= 0.2, unchanged under 30, non-decreasing as the record worsens","ms":0.43,"plot":{"title":"THE EDGE FLOOR ONLY RISES","epigraph":"the edge the prediction desk demands, by its hit rate over 500 settled calls: higher the worse the record","x":{"label":"hit rate over 500 settled calls"},"y":{"label":"edge demanded"},"series":[{"name":"edge floor","form":"steps","points":[[0,0.18],[0,0.18],[0.01,0.178],[0.02,0.175],[0.03,0.173],[0.04,0.17],[0.05,0.168],[0.06,0.166],[0.07,0.163],[0.08,0.161],[0.09,0.158],[0.1,0.156],[0.11,0.154],[0.12,0.151],[0.13,0.149],[0.14,0.146],[0.15,0.144],[0.16,0.142],[0.17,0.139],[0.18,0.137],[0.19,0.134],[0.2,0.132],[0.2,0.132],[0.21,0.13],[0.22,0.127],[0.23,0.125],[0.24,0.122],[0.25,0.12],[0.26,0.118],[0.27,0.115],[0.28,0.113],[0.29,0.11],[0.3,0.108],[0.31,0.106],[0.32,0.103],[0.33,0.101],[0.34,0.098],[0.35,0.096],[0.36,0.094],[0.37,0.091],[0.38,0.089],[0.39,0.086],[0.4,0.084],[0.4,0.084],[0.41,0.082],[0.42,0.079],[0.43,0.077],[0.44,0.074],[0.45,0.072],[0.46,0.07],[0.47,0.067],[0.48,0.065],[0.49,0.062],[0.5,0.06],[0.51,0.06],[0.52,0.06],[0.53,0.06],[0.54,0.06],[0.55,0.06],[0.56,0.06],[0.57,0.06],[0.58,0.06],[0.59,0.06],[0.6,0.06],[0.6,0.06],[0.61,0.06],[0.62,0.06],[0.63,0.06],[0.64,0.06],[0.65,0.06],[0.66,0.06],[0.67,0.06],[0.68,0.06],[0.69,0.06],[0.7,0.06],[0.71,0.06],[0.72,0.06],[0.73,0.06],[0.74,0.06],[0.75,0.06],[0.76,0.06],[0.77,0.06],[0.78,0.06],[0.79,0.06],[0.8,0.06],[0.81,0.06],[0.82,0.06],[0.83,0.06],[0.84,0.06],[0.85,0.06],[0.86,0.06],[0.87,0.06],[0.88,0.06],[0.89,0.06],[0.9,0.06],[0.91,0.06],[0.92,0.06],[0.93,0.06],[0.94,0.06],[0.95,0.06],[0.96,0.06],[0.97,0.06],[0.98,0.06],[0.99,0.06],[1,0.06],[1,0.06]]},{"name":"the base","role":"bound","form":"line","points":[[0,0.06],[1,0.06]]},{"name":"the ceiling","role":"bound","form":"line","points":[[0,0.2],[1,0.2]]}]}},{"id":"stake-under-every-cap","ok":true,"method":"kellyFraction, sizeUsd and the venue fee over a grid","evidence":"95 cases: kelly in [0, 1], stake <= min(cap, room) and 0 or >= minimum, fee <= ceil(1.75 c)/100","ms":0.35,"plot":{"title":"NOTHING UNDER THE ASK","epigraph":"the share of the bankroll staked against the desk's probability at an ask of one half: zero until it clears","x":{"label":"the desk's probability"},"y":{"label":"stake as a share of the bankroll"},"series":[{"name":"the fraction","form":"line","points":[[0,0],[0.01,0],[0.02,0],[0.03,0],[0.04,0],[0.05,0],[0.06,0],[0.07,0],[0.08,0],[0.09,0],[0.1,0],[0.11,0],[0.12,0],[0.13,0],[0.14,0],[0.15,0],[0.16,0],[0.17,0],[0.18,0],[0.19,0],[0.2,0],[0.21,0],[0.22,0],[0.23,0],[0.24,0],[0.25,0],[0.26,0],[0.27,0],[0.28,0],[0.29,0],[0.3,0],[0.31,0],[0.32,0],[0.33,0],[0.34,0],[0.35,0],[0.36,0],[0.37,0],[0.38,0],[0.39,0],[0.4,0],[0.41,0],[0.42,0],[0.43,0],[0.44,0],[0.45,0],[0.46,0],[0.47,0],[0.48,0],[0.49,0],[0.5,0],[0.51,0.02],[0.52,0.04],[0.53,0.06],[0.54,0.08],[0.55,0.1],[0.56,0.12],[0.57,0.14],[0.58,0.16],[0.59,0.18],[0.6,0.2],[0.61,0.22],[0.62,0.24],[0.63,0.26],[0.64,0.28],[0.65,0.3],[0.66,0.32],[0.67,0.34],[0.68,0.36],[0.69,0.38],[0.7,0.4],[0.71,0.42],[0.72,0.44],[0.73,0.46],[0.74,0.48],[0.75,0.5],[0.76,0.52],[0.77,0.54],[0.78,0.56],[0.79,0.58],[0.8,0.6],[0.81,0.62],[0.82,0.64],[0.83,0.66],[0.84,0.68],[0.85,0.7],[0.86,0.72],[0.87,0.74],[0.88,0.76],[0.89,0.78],[0.9,0.8],[0.91,0.82],[0.92,0.84],[0.93,0.86],[0.94,0.88],[0.95,0.9],[0.96,0.92],[0.97,0.94],[0.98,0.96],[0.99,0.98],[1,1]]},{"name":"the ask","role":"bound","form":"line","points":[[0.5,0],[0.5,1]]}]}},{"id":"reads-per-cycle-bounded-and-crowd-first","ok":true,"method":"readOrder and familiesWithoutSkill over allowances, fresh reads and families, the refusal asserted in both directions","evidence":"35 cases: at most the allowance, none fresh, crowd first; 2 families measured and found wanting were refused and the 3 others were not","ms":0.42},{"id":"conviction-is-a-bounded-weighted-mean","ok":true,"method":"conviction and checkRequest over a grid","evidence":"140 cases: conviction between the least and greatest signal, a request accepted iff inside every limit","ms":0.47},{"id":"scorebook-keeps-every-open-row","ok":true,"method":"trimRows over sizes, windows and open caps","evidence":"27 cases: the newest settled rows up to the window, every open row up to its own cap, order kept","ms":0.81},{"id":"fees-are-claimed-to-the-caller-and-nowhere-else","ok":true,"method":"signature and call-site check over the only claim path in the codebase","evidence":"claim takes only { type: \"uint256\", name: \"amount\" } and is called with args [amount]: there is no destination to point elsewhere","ms":0.32},{"id":"the-allocator-conserves-every-wei","ok":true,"method":"exact bigint arithmetic over a grid of amounts and adversarial weights","evidence":"40 splits, every one summing to the input exactly","ms":0.37},{"id":"the-burn-floor-cannot-be-breached","ok":true,"method":"exhaustive check over malformed and adversarial proposals","evidence":"7 proposals, every one landing on 10000 bps with burn at or above 3000","ms":0.09},{"id":"rounding-can-only-reduce-supply","ok":true,"method":"exact comparison of the remainder against the floor share","evidence":"572 amounts, burn never under its exact share and above it in 458 of them","ms":0.71},{"id":"the-vault-has-no-destination","ok":true,"method":"signature scan over every external and public function in the deployed source","evidence":"24 functions; the only ones taking an address are the owner's own role setters, so there is no destination to name","ms":0.32},{"id":"the-exit-carries-one-condition","ok":true,"method":"modifier scan over every exit path","evidence":"withdraw, withdrawAll, sweepNative, revokeManager are onlyOwner with no second condition, and the contract has no pause","ms":0.23},{"id":"the-daily-cap-cannot-be-doubled-at-the-boundary","ok":true,"method":"the hour ledger the vault keeps, executed in a model over the boundary timings and a long random run, and held to the deployed source; the bytecode itself is driven across the same timings by the EVM test, not here","evidence":"a window that resets at a fixed edge lets 400000 through in two minutes against a cap of 200000; the deployed ledger refuses one unit more at the hour boundary and a day later, restores the allowance once its hour has left the window, and over 167 accepted moves no twenty-four hours held more than 200000","ms":1.55},{"id":"the-service-fee-cannot-reach-principal","ok":true,"method":"constructor bounds plus a read of the only fee path","evidence":"FEE_BPS is immutable, capped at 2000 bps by the constructor, and applied to the pool's fee delta rather than to any balance","ms":0.19},{"id":"a-round-can-never-promise-more-than-it-holds","ok":true,"method":"exact bigint summation of every holder's floor share against the pot","evidence":"20 rounds across 5 splits of holder balances: what is made claimable never exceeds the assets, and lands exactly on them in 1","ms":0.61},{"id":"what-truncation-strands-is-swept-not-lost","ok":true,"method":"exhaustive over every amount up to 500 against a badly-dividing supply","evidence":"500 rounds; truncation stranded 832 units in total and never a negative one, so every one of them reaches the next round as surplus","ms":0.24},{"id":"a-resting-bid-never-straddles-the-price","ok":true,"method":"every fee tier, the 0.01% tier included, crossed with adversarial ticks and volatilities, both currency orderings","evidence":"240 bands, none containing spot, all on their spacing, every one at least a full spacing and at least 20 ticks clear of it; the tightest sat 20 ticks clear (about 0.20%)","ms":1.46},{"id":"desk-ladder-first-blood","ok":true,"method":"exact basis-point arithmetic over the ladder","evidence":"first blood then breakeven = 10600 bps (+6%); free roll banks 7960 bps, worst case afterwards is a 20.4% loss, never a wipeout","ms":0.07},{"id":"desk-ev-rule-is-the-inequality","ok":true,"method":"the gate evaluated on a 75-point grid against the inequality","evidence":"75 cases agree: refused iff p(M-1)-(1-p)L < 0.05","ms":1.11,"plot":{"title":"REFUSED EXACTLY WHEN","epigraph":"seventy-five setups: the gate refuses when the expected value is under the floor and never otherwise","x":{"label":"expected value per unit, p(M-1) - (1-p)L"},"y":{"label":"refused (1) or allowed (0)"},"series":[{"name":"the gate","form":"scatter","points":[[-0.14368,1],[-0.39568,1],[-0.61408,1],[-0.0976,1],[-0.3496,1],[-0.568,1],[-0.0208,1],[-0.2728,1],[-0.4912,1],[0.1328,0],[-0.1192,1],[-0.3376,1],[0.44,0],[0.188,0],[-0.0304,1],[-0.1296,1],[-0.3696,1],[-0.5776,1],[-0.072,1],[-0.312,1],[-0.52,1],[0.024,1],[-0.216,1],[-0.424,1],[0.216,0],[-0.024,1],[-0.232,1],[0.6,0],[0.36,0],[0.152,0],[-0.0944,1],[-0.3044,1],[-0.4864,1],[-0.008,1],[-0.218,1],[-0.4,1],[0.136,0],[-0.074,1],[-0.256,1],[0.424,0],[0.214,0],[0.032,1],[1,0],[0.79,0],[0.608,0],[-0.024,1],[-0.174,1],[-0.304,1],[0.12,0],[-0.03,1],[-0.16,1],[0.36,0],[0.21,0],[0.08,0],[0.84,0],[0.69,0],[0.56,0],[1.8,0],[1.65,0],[1.52,0],[0.0816,0],[0.0216,1],[-0.0304,1],[0.312,0],[0.252,0],[0.2,0],[0.696,0],[0.636,0],[0.584,0],[1.464,0],[1.404,0],[1.352,0],[3,0],[2.94,0],[2.888,0]]},{"name":"the floor","role":"bound","form":"line","points":[[0.05,0],[0.05,1]]}]}},{"id":"desk-size-is-bounded","ok":true,"method":"fifteen synthetic records through the sizer","evidence":"the slice is the base for eleven trades, then within [0.5x, 2x] of the base for every record tried","ms":1.61,"plot":{"title":"THE SLICE STAYS NEAR THE BASE","epigraph":"the trading desk's slice against the win rate of its last twenty trades: between half the base and twice","x":{"label":"win rate of the last twenty trades"},"y":{"label":"slice, as a multiple of the base"},"series":[{"name":"wins pay 1.2x","form":"line","points":[[0,0.5],[0.05,0.5],[0.1,0.5],[0.15,0.5],[0.2,0.5],[0.25,0.5],[0.3,0.5],[0.35,0.5],[0.4,0.5],[0.45,0.5],[0.5,0.5],[0.55,0.5],[0.6,0.5],[0.65,0.5],[0.7,0.5],[0.75,0.625],[0.8,1],[0.85,1.25],[0.9,1.25],[0.95,1.25]]},{"name":"wins pay 2x","form":"line","points":[[0,0.5],[0.05,0.5],[0.1,0.5],[0.15,0.5],[0.2,0.5],[0.25,0.5],[0.3,0.5],[0.35,0.5],[0.4,0.5],[0.45,0.575],[0.5,0.75],[0.55,0.925],[0.6,1.1],[0.65,1.25],[0.7,1.25],[0.75,1.25],[0.8,1.25],[0.85,1.25],[0.9,1.25],[0.95,1.25]]},{"name":"wins pay 4x","form":"line","points":[[0,0.5],[0.05,0.5],[0.1,0.5],[0.15,0.5],[0.2,0.5],[0.25,0.5],[0.3,0.5165],[0.35,0.6585],[0.4,0.8],[0.45,0.9415],[0.5,1.0835],[0.55,1.225],[0.6,1.25],[0.65,1.25],[0.7,1.25],[0.75,1.25],[0.8,1.25],[0.85,1.25],[0.9,1.25],[0.95,1.25]]},{"name":"half","role":"bound","form":"line","points":[[0,0.5],[1,0.5]]},{"name":"double","role":"bound","form":"line","points":[[0,2],[1,2]]}]}},{"id":"desk-nothing-past-the-bond","ok":true,"method":"the two exit functions evaluated on a 84-point grid of marks, banked tiers and progress at or past the exit mark","evidence":"84 cases: the pool exit is portion 1 at every mark, and the curve exit is portion 1 at 94% and beyond at every multiple; nothing is held past the bond","ms":0.53},{"id":"learned-veto-only-refuses","ok":true,"method":"120-case grid over real and unreal separations, both losing sides, six rate pairs and five readings","evidence":"refused iff on the losing side of a real separation with the winning rate at least 2x the losing rate; act ∧ ¬veto never exceeds act; nothing refused before the record has learned","ms":0.4},{"id":"early-own-record-only-stands-down","ok":true,"method":"every hit count for four record sizes against five tape bounds, 350 cases","evidence":"the safe upper estimate never falls as hits rise; stood down iff it sits under the tape's lower bound with at least 8 closed entries","ms":1.98,"plot":{"title":"WHAT THE RECORD ALLOWS","epigraph":"the safe upper estimate of the desk's own hit rate against its hits, at four record sizes: it only rises","x":{"label":"hits as a share of the record"},"y":{"label":"upper estimate of the hit rate"},"diagonal":true,"series":[{"name":"8 closed entries","form":"line","points":[[0,0.324],[0.125,0.471],[0.25,0.591],[0.375,0.694],[0.5,0.785],[0.625,0.863],[0.75,0.929],[0.875,0.978],[1,1]]},{"name":"12 closed entries","form":"line","points":[[0,0.243],[0.0833333,0.354],[0.166667,0.448],[0.25,0.532],[0.333333,0.609],[0.416667,0.68],[0.5,0.746],[0.583333,0.807],[0.666667,0.862],[0.75,0.911],[0.833333,0.953],[0.916667,0.985],[1,1]]},{"name":"16 closed entries","form":"line","points":[[0,0.194],[0.0625,0.283],[0.125,0.36],[0.1875,0.43],[0.25,0.495],[0.3125,0.556],[0.375,0.614],[0.4375,0.668],[0.5,0.72],[0.5625,0.769],[0.625,0.815],[0.6875,0.858],[0.75,0.898],[0.8125,0.934],[0.875,0.965],[0.9375,0.989],[1,1]]},{"name":"30 closed entries","form":"line","points":[[0,0.114],[0.0333333,0.167],[0.0666667,0.213],[0.1,0.256],[0.133333,0.297],[0.166667,0.336],[0.2,0.373],[0.233333,0.409],[0.266667,0.444],[0.3,0.479],[0.333333,0.512],[0.366667,0.545],[0.4,0.577],[0.433333,0.608],[0.466667,0.639],[0.5,0.668],[0.533333,0.698],[0.566667,0.726],[0.6,0.754],[0.633333,0.781],[0.666667,0.808],[0.7,0.833],[0.733333,0.858],[0.766667,0.882],[0.8,0.905],[0.833333,0.927],[0.866667,0.947],[0.9,0.965],[0.933333,0.982],[0.966667,0.994],[1,1]]}]}},{"id":"paused-desk-resumes-only-on-proven-skill","ok":true,"method":"the gap identity on a 32-point grid, then 8 synthetic records through readSkill","evidence":"g = (q − p)(q + p − 2y) and g > 0 iff the desk is closer; never proven when never closer, never under 30 reads, never when the gaps cancel; always proven when always closer","ms":0.64},{"id":"euler-identity","ok":true,"method":"complex arithmetic, IEEE doubles","evidence":"|e^(iπ)+1| = 1.22e-16 < 10⁻¹²","ms":0.04},{"id":"euler-formula","ok":true,"method":"40-term Taylor series vs trig, four angles","evidence":"max Δ = 1.43e-16 < 10⁻¹³","ms":0.07},{"id":"harmonic-diverges","ok":true,"method":"Oresme's grouping bound, executed to 2²⁰ terms","evidence":"S(2²⁰) = 14.440160 ≥ 11; the bound 1 + k/2 held at every doubling","ms":3.5,"plot":{"title":"THE HARMONIC SERIES DIVERGES","epigraph":"the partial sum at every doubling, against Oresme's bound of 1 + k/2, which it never falls under","x":{"label":"k, the sum taken to 2^k terms"},"y":{"label":"partial sum"},"series":[{"name":"S(2^k)","form":"line","points":[[1,1.5],[2,2.08333],[3,2.71786],[4,3.38073],[5,4.0585],[6,4.74389],[7,5.43315],[8,6.12434],[9,6.81652],[10,7.50918],[11,8.20208],[12,8.8951],[13,9.58819],[14,10.2813],[15,10.9744],[16,11.6676],[17,12.3607],[18,13.0539],[19,13.747],[20,14.4402]]},{"name":"1 + k/2","role":"bound","form":"line","points":[[1,1.5],[2,2],[3,2.5],[4,3],[5,3.5],[6,4],[7,4.5],[8,5],[9,5.5],[10,6],[11,6.5],[12,7],[13,7.5],[14,8],[15,8.5],[16,9],[17,9.5],[18,10],[19,10.5],[20,11]]}]}},{"id":"basel","ok":true,"method":"2,000,000-term partial sum with rigorous tail bracket","evidence":"π²/6 − S_N = 4.999999e-7, inside (1/(N+1), 1/N) exactly as the integral bound demands","ms":2.9,"plot":{"title":"BASEL","epigraph":"the first hundred and twenty partial sums of 1/n^2, climbing to pi^2/6 and never past it","x":{"label":"terms"},"y":{"label":"partial sum"},"series":[{"name":"S_N","form":"line","points":[[1,1],[2,1.25],[3,1.36111],[4,1.42361],[5,1.46361],[6,1.49139],[7,1.5118],[8,1.52742],[9,1.53977],[10,1.54977],[11,1.55803],[12,1.56498],[13,1.57089],[14,1.576],[15,1.58044],[16,1.58435],[17,1.58781],[18,1.59089],[19,1.59366],[20,1.59616],[21,1.59843],[22,1.6005],[23,1.60239],[24,1.60412],[25,1.60572],[26,1.6072],[27,1.60857],[28,1.60985],[29,1.61104],[30,1.61215],[31,1.61319],[32,1.61417],[33,1.61509],[34,1.61595],[35,1.61677],[36,1.61754],[37,1.61827],[38,1.61896],[39,1.61962],[40,1.62024],[41,1.62084],[42,1.62141],[43,1.62195],[44,1.62246],[45,1.62296],[46,1.62343],[47,1.62388],[48,1.62432],[49,1.62473],[50,1.62513],[51,1.62552],[52,1.62589],[53,1.62624],[54,1.62659],[55,1.62692],[56,1.62724],[57,1.62754],[58,1.62784],[59,1.62813],[60,1.62841],[61,1.62867],[62,1.62893],[63,1.62919],[64,1.62943],[65,1.62967],[66,1.6299],[67,1.63012],[68,1.63034],[69,1.63055],[70,1.63075],[71,1.63095],[72,1.63114],[73,1.63133],[74,1.63151],[75,1.63169],[76,1.63186],[77,1.63203],[78,1.6322],[79,1.63236],[80,1.63251],[81,1.63266],[82,1.63281],[83,1.63296],[84,1.6331],[85,1.63324],[86,1.63337],[87,1.63351],[88,1.63363],[89,1.63376],[90,1.63388],[91,1.63401],[92,1.63412],[93,1.63424],[94,1.63435],[95,1.63446],[96,1.63457],[97,1.63468],[98,1.63478],[99,1.63488],[100,1.63498],[101,1.63508],[102,1.63518],[103,1.63527],[104,1.63536],[105,1.63546],[106,1.63554],[107,1.63563],[108,1.63572],[109,1.6358],[110,1.63588],[111,1.63597],[112,1.63605],[113,1.63612],[114,1.6362],[115,1.63628],[116,1.63635],[117,1.63642],[118,1.6365],[119,1.63657],[120,1.63664]]},{"name":"pi^2/6","role":"bound","form":"line","points":[[1,1.64493],[120,1.64493]]}]}},{"id":"gauss-sum","ok":true,"method":"exact integer summation","evidence":"Σ = 5050, exactly","ms":0.03},{"id":"taxicab","ok":true,"method":"exact arithmetic + exhaustive minimality scan below 1729","evidence":"1³+12³ = 9³+10³ = 1729, and no smaller sum of two cubes repeats","ms":0.05},{"id":"golden","ok":true,"method":"direct evaluation at (1+√5)/2","evidence":"|φ² − φ − 1| = 0.00e+0 < 10⁻¹²","ms":0.02},{"id":"birthday","ok":true,"method":"exact BigInt product, no floats","evidence":"P(shared birthday, 23 people) = 0.5072 > 0.5, by integer comparison 2(den−num) > den","ms":0.03},{"id":"monty-hall","ok":true,"method":"exhaustive enumeration of all car placements","evidence":"switching wins in exactly 2 of 3 worlds","ms":0.01},{"id":"point-nine","ok":true,"method":"exact BigInt partial sums to 60 digits","evidence":"1 − 0.999...(60 nines) = 10⁻⁶⁰ exactly; the gap vanishes in the limit, so the limit is 1","ms":0.04},{"id":"pnt","ok":true,"method":"sieve of Eratosthenes to 10⁶, recomputed","evidence":"π(10⁶) = 78498; π(x)·ln(x)/x = 1.0845, drifting toward 1 as the theorem says","ms":9.88,"plot":{"title":"THE PRIMES THIN OUT","epigraph":"pi(x) ln(x) / x from a hundred to a million, drifting toward one as the theorem says","x":{"label":"x","log":true},"y":{"label":"pi(x) ln(x) / x"},"series":[{"name":"the ratio","form":"line","points":[[100,1.15129],[127,1.18244],[160,1.17363],[203,1.20398],[257,1.18755],[326,1.17158],[412,1.16913],[522,1.17481],[661,1.18872],[838,1.16467],[1061,1.16882],[1343,1.1638],[1701,1.1633],[2154,1.15803],[2728,1.15132],[3455,1.13665],[4375,1.14401],[5541,1.13875],[7017,1.13841],[8886,1.13167],[11253,1.1274],[14251,1.12418],[18047,1.12306],[22855,1.12029],[28943,1.11807],[36652,1.11395],[46416,1.11052],[58780,1.11086],[74438,1.10643],[94267,1.1046],[119378,1.10126],[151178,1.10034],[191448,1.09752],[242446,1.09556],[307029,1.09352],[388816,1.09136],[492388,1.08985],[623551,1.08855],[789652,1.08652],[1000000,1.08449]]},{"name":"one","role":"bound","form":"line","points":[[100,1],[1000000,1]]}]}},{"id":"euclid-primes","ok":true,"method":"Euclid's construction executed for the first 8 primes","evidence":"each p₁···p_k + 1 yielded a prime factor outside the list, every time, as the proof promises","ms":0.08},{"id":"gaussian-integral","ok":true,"method":"Simpson quadrature, 20,000 panels on [−10,10]","evidence":"∫ e^(−x²) dx = 1.772453850906; √π = 1.772453850906; Δ = 6.44e-15","ms":0.62},{"id":"bayes","ok":true,"method":"P(A|B) counted over the population against Bayes' rule on the marginals, both in lowest terms, over six joint distributions; the same comparison against the swapped rule","evidence":"6 joints agree term by term; the swapped rule was caught on 4 of them, so the comparison can fail","ms":0.2},{"id":"collatz","ok":true,"method":"full trajectory verification for every n ≤ 200,000, recomputed at boot","evidence":"all 199,999 starting points fall to 1; the general case remains UNPROVEN, which is the whole point","ms":7.67,"plot":{"title":"COLLATZ, THE FIRST 1,500","epigraph":"how many steps each starting number takes to reach one: every one of them gets there, and nobody knows why","x":{"label":"starting number n"},"y":{"label":"steps to reach 1"},"series":[{"name":"steps","form":"scatter","points":[[1,0],[4,2],[8,3],[12,9],[16,4],[19,20],[23,15],[27,111],[31,106],[34,13],[38,21],[42,8],[46,16],[49,24],[53,11],[57,32],[61,19],[64,6],[68,14],[72,22],[76,22],[79,35],[83,110],[87,30],[91,92],[94,105],[98,25],[102,25],[106,12],[109,113],[113,12],[117,20],[121,95],[124,108],[128,7],[132,28],[136,15],[139,41],[143,103],[147,116],[151,15],[154,23],[158,36],[162,23],[166,111],[169,49],[173,31],[177,31],[181,18],[184,18],[188,106],[192,13],[196,26],[199,119],[203,39],[207,88],[211,39],[214,101],[218,114],[222,70],[226,13],[229,34],[233,83],[237,34],[241,21],[244,21],[248,109],[252,109],[256,8],[259,122],[263,78],[267,21],[271,42],[274,91],[278,42],[282,16],[286,104],[289,29],[293,117],[297,73],[301,16],[304,24],[308,24],[312,37],[316,37],[319,55],[323,99],[327,143],[331,24],[334,68],[338,50],[342,125],[346,32],[349,32],[353,125],[357,32],[361,45],[364,94],[368,19],[372,19],[376,107],[379,58],[383,45],[387,120],[391,120],[394,27],[398,120],[402,19],[406,40],[409,40],[413,89],[417,133],[421,40],[424,14],[428,102],[432,115],[436,115],[439,53],[443,53],[447,97],[451,53],[454,14],[458,35],[462,128],[466,84],[469,22],[473,35],[477,35],[481,48],[484,97],[488,22],[492,48],[496,110],[499,48],[503,66],[507,35],[511,61],[514,123],[518,123],[522,30],[526,79],[529,30],[533,30],[537,22],[541,43],[544,17],[548,92],[552,17],[556,43],[559,87],[563,43],[567,61],[571,30],[574,43],[578,30],[582,118],[586,118],[589,118],[593,74],[597,25],[601,56],[604,17],[608,25],[612,38],[616,25],[619,131],[623,131],[627,131],[631,38],[634,38],[638,56],[642,25],[646,100],[649,144],[653,25],[657,51],[661,113],[664,113],[668,69],[672,12],[676,51],[679,64],[683,38],[687,38],[691,126],[694,126],[698,33],[702,82],[706,126],[709,33],[713,25],[717,33],[721,46],[724,20],[728,95],[732,95],[736,20],[739,20],[743,95],[747,46],[751,139],[754,64],[758,59],[762,108],[766,46],[769,33],[773,121],[777,33],[781,121],[784,28],[788,28],[792,28],[796,121],[799,72],[803,20],[807,72],[811,134],[814,41],[818,41],[822,134],[826,90],[829,90],[833,28],[837,41],[841,41],[844,41],[848,15],[852,15],[856,103],[859,147],[863,41],[867,28],[871,178],[874,116],[878,54],[882,28],[886,54],[889,147],[893,72],[897,67],[901,54],[904,15],[908,15],[912,36],[916,36],[919,129],[923,67],[927,116],[931,36],[934,85],[938,23],[942,129],[946,36],[949,36],[953,28],[957,54],[961,49],[964,23],[968,98],[972,98],[976,23],[979,49],[983,142],[987,36],[991,98],[994,23],[998,49],[1002,111],[1006,67],[1009,111],[1013,111],[1017,155],[1021,49],[1024,10],[1028,124],[1032,124],[1036,124],[1039,62],[1043,124],[1047,124],[1051,93],[1054,80],[1058,31],[1062,124],[1066,31],[1069,23],[1073,23],[1077,31],[1081,137],[1084,44],[1088,18],[1092,31],[1096,93],[1099,31],[1103,44],[1107,137],[1111,31],[1114,44],[1118,88],[1122,44],[1126,44],[1129,36],[1133,62],[1137,18],[1141,106],[1144,106],[1148,44],[1152,26],[1156,31],[1159,57],[1163,150],[1167,31],[1171,57],[1174,119],[1178,119],[1182,57],[1186,75],[1189,75],[1193,101],[1197,119],[1201,57],[1204,18],[1208,18],[1212,44],[1216,26],[1219,132],[1223,132],[1227,132],[1231,70],[1234,132],[1238,132],[1242,88],[1246,132],[1249,176],[1253,132],[1257,39],[1261,39],[1264,39],[1268,39],[1272,57],[1276,57],[1279,132],[1283,52],[1287,145],[1291,52],[1294,39],[1298,145],[1302,101],[1306,26],[1309,145],[1313,26],[1317,52],[1321,101],[1324,26],[1328,114],[1332,114],[1336,70],[1339,26],[1343,96],[1347,65],[1351,158],[1354,52],[1358,65],[1362,65],[1366,39],[1369,39],[1373,127],[1377,158],[1381,127],[1384,34],[1388,127],[1392,34],[1396,34],[1399,65],[1403,127],[1407,171],[1411,34],[1414,127],[1418,34],[1422,65],[1426,26],[1429,34],[1433,26],[1437,52],[1441,140],[1444,47],[1448,21],[1452,47],[1456,96],[1459,34],[1463,140],[1467,140],[1471,171],[1474,140],[1478,21],[1482,47],[1486,96],[1489,47],[1493,21],[1497,47]]}]}},{"id":"launch-a-fee-handle-is-an-x-handle-or-nothing","ok":true,"method":"parseLaunchRequest over handle, address and malformed asks","evidence":"8 asks: a fee handle is 1-15 handle characters or null, never an address","ms":2.17},{"id":"launch-hook-options-are-bounded-or-dropped","ok":true,"method":"cleanHookOptions over in-range, out-of-range and malformed options","evidence":"6 cases: every option inside its bounds or dropped, pons carries none","ms":0.26},{"id":"payout-held-fees-never-exceed-the-credits-and-never-go-negative","ok":true,"method":"heldFeeWei over credits, conversions and outflows","evidence":"60 cases: 0 <= held <= credited, a conversion's own send never counted twice","ms":0.63},{"id":"payout-the-tally-conserves-and-only-counts-the-account-named","ok":true,"method":"tallyFor over credits and conversions beside a stranger's receipts","evidence":"18 cases: credits summed exactly, unconverted = max(0, credits - conversions), nobody else's counted","ms":0.27},{"id":"payout-a-missing-price-is-never-a-zero-and-milestones-only-climb","ok":true,"method":"creditedUsdRaw and rungCrossed over the dollar line","evidence":"2007 points: no price is null not zero, rungs non-decreasing and never above the figure","ms":0.69},{"id":"husd-the-maximum-is-the-chain-figure-and-the-scale-is-exact","ok":true,"method":"parseAmount and SCALE over max, typed and dust amounts","evidence":"13 cases: max is the chain's wei, 18 decimals survive, dust refused, the scale is exact","ms":0.25},{"id":"bond-a-quote-never-hands-out-a-free-arbitrage","ok":true,"method":"fairValue and quoteFor over records, tilts, progress and concentration","evidence":"432 quotes: fair inside [150, 9000], both asks sum to 10000 or more, spread never under the house minimum","ms":73.29},{"id":"bond-shares-round-against-the-buyer-and-liability-is-netted-never-negative","ok":true,"method":"sharesFor and liabilityOf over stakes, prices and two-sided books","evidence":"42 cases: shares x price <= stake x scale, liability = max(0, owed - held)","ms":0.5},{"id":"bond-caps-scale-with-the-balance-and-solvency-refuses-what-cannot-be-covered","ok":true,"method":"capsFor over balances; solvencyFor on an empty and a funded book","evidence":"6 balances: caps under both ceilings and non-decreasing; the empty book refuses, the funded one covers","ms":0.42},{"id":"brain-tape-fires-only-on-a-dip-or-the-cap","ok":true,"method":"arithmetic","evidence":"4000 tapes: 1924 fired (every one with the floor passed and a dip, a drop or the cap; 854 by the cap alone), 2076 held (none past the cap, none on a dip), 1574 short tapes fired only by the cap","ms":9.33},{"id":"bond-settlement-conserves-the-pot","ok":true,"method":"settlement over generated fills at quoted prices, both outcomes, held to settleMarket on a book","evidence":"300 markets, 4174 fills: conserved to the wei, every winner at least their stake, the fee within a twentieth of the win, the house's net the stake less the winning shares, and the live path pays the same","ms":10.39},{"id":"bond-book-holds-every-stake-and-pays-only-by-its-own-rule","ok":true,"method":"applyStakeTo, resolutionOf and settlement over generated books at quoted prices","evidence":"300 books, 2097 stakes: the pot always covers either side, every resolution splits the pot to the wei, every winner gets exactly their shares less the fee, a refund is exactly the stakes, and the record pays what the contract pays","ms":3.9},{"id":"bond-one-verdict-per-fill","ok":true,"method":"settlement both ways over generated fills","evidence":"1809 fills: each paid on exactly one outcome, and the two outcomes together pay every share once","ms":1.69},{"id":"compute-a-private-host-is-never-fetched","ok":true,"method":"checkUrl and privateHost over the reserved ranges","evidence":"16 refused, 3 allowed, 15 hosts classified","ms":0.58},{"id":"compute-an-inference-job-goes-only-to-a-machine-that-declared-the-kind","ok":true,"method":"servesKind over 14 declared sets and every kind, with every single-kind addition","evidence":"84 routings: every work kind served everywhere, every inference kind served exactly where declared, nothing refused by declaring more","ms":0.26},{"id":"compute-a-completion-is-bounded-and-priced-at-its-floor-or-above","ok":true,"method":"validateSpec at every bound of the completion spec, refFor across defaults and key order, priceFor over six rates","evidence":"19 cases: refused outside the bounds, accepted at them, one reference whatever the order or the defaults, never under 0.10 USDG","ms":0.69},{"id":"equityoracle-a-gated-venue-fills-only-on-a-fresh-open-row-it-can-read","ok":true,"method":"gateDecision over every verdict, two written-at values, seven ages and both readabilities, against the spec and against isOpenWithin","evidence":"196 cases, 4 fills: only a paid venue, only an open row, only inside 3600s; never written, halted, paused, held, stale, unknown, quiet or unreadable never fills","ms":0.22},{"id":"compute-no-kind-is-priced-under-the-escrow-minimum","ok":true,"method":"floorUnits and priceFor for every kind in the catalogue against the escrow's immutable minJob, over six rates","evidence":"8 kinds, 48 prices, none under 0.10 USDG; the catalogue refuses to load a kind priced under it","ms":0.12},{"id":"mindask-a-paid-answer-settles-only-after-delivery-and-nothing-to-say-releases-the-coin","ok":true,"method":"every path of the five-state job machine walked from funded; settled only through delivered, released only from claimed and never after a delivery, the buyer's coin whole or returned in every state, the house paid only when settled","evidence":"5 paths, 13 states checked","ms":0.13},{"id":"rehearsal-a-verdict-flags-only-a-bound-that-was-asked-and-broken","ok":true,"method":"seeded facts over 64 bits through the JavaScript mirror against the rule by hand; every bound cleared loses only its own flags and no bound asked is clear; better facts never add a red flag; a met quote has no slippage and none passes 10000; the C kernel asked the same cases in one process when built","evidence":"4000 facts checked, 20000 bounds cleared, 4000 by the kernel too","ms":35.83},{"id":"compute-a-job-is-never-priced-under-its-floor-and-a-spec-hashes-only-what-it-uses","ok":true,"method":"priceFor over every kind and rate; validateSpec and refFor with a stray field","evidence":"48 prices at or above the floor, the reference ignores what the kind does not use","ms":0.34},{"id":"credit-an-advance-never-exceeds-the-ltv-the-cap-or-its-share-of-the-expectation","ok":true,"method":"quoteLoan over marks, odds, multiples and concentration; interestEth over days","evidence":"72 loans under every ceiling, 288 refused by a rule, interest non-negative and non-decreasing","ms":0.85,"plot":{"title":"THE LEAST OF THREE CEILINGS","epigraph":"the credit desk's advance against the mark, over every odds it accepts: under the lending line and the cap","x":{"label":"mark, ETH","log":true},"y":{"label":"advance, ETH","log":true},"series":[{"name":"advance","form":"scatter","points":[[0.05,0.003369],[0.05,0.003369],[0.05,0.007306],[0.05,0.007306],[0.05,0.01],[0.05,0.01],[0.05,0.007525],[0.05,0.007525],[0.05,0.01],[0.05,0.01],[0.05,0.01],[0.05,0.01],[0.05,0.01],[0.05,0.01],[0.05,0.01],[0.05,0.01],[0.05,0.01],[0.05,0.01],[0.2,0.013475],[0.2,0.013475],[0.2,0.029225],[0.2,0.029225],[0.2,0.04],[0.2,0.04],[0.2,0.0301],[0.2,0.0301],[0.2,0.04],[0.2,0.04],[0.2,0.04],[0.2,0.04],[0.2,0.04],[0.2,0.04],[0.2,0.04],[0.2,0.04],[0.2,0.04],[0.2,0.04],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[1,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05],[5,0.05]]},{"name":"loan to value","role":"bound","form":"line","points":[[0.001,0.0002],[0.003,0.0006],[0.01,0.002],[0.03,0.006],[0.1,0.02],[0.3,0.06],[1,0.2],[3,0.6],[5,1]]},{"name":"the cap","role":"bound","form":"line","points":[[0.001,0.05],[5,0.05]]}]}},{"id":"brain-every-split-sums-to-ten-thousand-and-the-trade-leg-is-capped","ok":true,"method":"normalizeSplit and harmonicSplit over percent, bps, tapes and seats","evidence":"53 splits: exactly 10000 bps, trade under its cap, no negative leg, the seat paid from burn","ms":0.73},{"id":"hyperliquid-a-position-never-asks-for-more-than-its-collateral-buys","ok":true,"method":"planOpen over 6 lots, 7 prices, 7 sizes and 5 leverages","evidence":"972 positions never past collateral times leverage and short of it by less than one lot; 498 under the venue's floor refused, not rounded up","ms":10.34},{"id":"hyperliquid-our-fee-never-exceeds-what-the-person-approved","ok":true,"method":"the order's builder field, the plan's fee and the wallet's own rule","evidence":"7 positions from $0 to $10,000,000 charged at most one 2000th, to the operations wallet only, and the wallet signs an approval for nothing else","ms":0.57},{"id":"harmonic-pool-a-deposit-uses-held-token-first-and-buys-only-the-shortfall","ok":true,"method":"splitDeposit over 6 sizes, 4 prices and 6 holdings","evidence":"144 deposits: held token used only up to the half, the half made exactly, 85 buying only the shortfall and 59 buying nothing","ms":0.38},{"id":"harmonic-pool-collecting-fees-never-touches-the-position","ok":true,"method":"buildCollectData over 64 ids and owners, decoded as the position manager reads it","evidence":"64 collections: a decrease by zero, both currencies to the owner alone, never a burn","ms":6.09},{"id":"brain-vault-splitter-pays-only-the-owner-vault-and-a-bounded-share","ok":true,"method":"splitterArgs over 64 shapes, valid and not","evidence":"33 built in the one order, 31 refused: a share past 80%, a fraction, a negative, or a missing vault","ms":2},{"id":"brain-caps-stay-inside-their-bounds-and-the-cycle-fee-is-small","ok":true,"method":"normalizeCaps with absurd and empty input; cycleFeeWei over amounts","evidence":"4 caps inside their bounds, 5 fees at or under five percent","ms":0.38,"plot":{"title":"THE CYCLE FEE IS SMALL","epigraph":"what a brain pays the house per cycle against what it moved: a thin line under five percent of it","x":{"label":"moved in the cycle, ETH"},"y":{"label":"fee, ETH"},"series":[{"name":"the fee","form":"line","points":[[1e-18,0],[0.001,0.0000025],[0.01,0.000025],[0.02,0.00005],[0.03,0.000075],[0.04,0.0001],[0.05,0.000125],[0.06,0.00015],[0.07,0.000175],[0.08,0.0002],[0.09,0.000225],[0.1,0.00025],[0.11,0.000275],[0.12,0.0003],[0.123457,0.000308642],[0.13,0.000325],[0.14,0.00035],[0.15,0.000375],[0.16,0.0004],[0.17,0.000425],[0.18,0.00045],[0.19,0.000475],[0.2,0.0005],[0.21,0.000525],[0.22,0.00055],[0.23,0.000575],[0.24,0.0006],[0.25,0.000625],[0.26,0.00065],[0.27,0.000675],[0.28,0.0007],[0.29,0.000725],[0.3,0.00075],[0.31,0.000775],[0.32,0.0008],[0.33,0.000825],[0.34,0.00085],[0.35,0.000875],[0.36,0.0009],[0.37,0.000925],[0.38,0.00095],[0.39,0.000975],[0.4,0.001],[0.41,0.001025],[0.42,0.00105],[0.43,0.001075],[0.44,0.0011],[0.45,0.001125],[0.46,0.00115],[0.47,0.001175],[0.48,0.0012],[0.49,0.001225],[0.5,0.00125],[0.51,0.001275],[0.52,0.0013],[0.53,0.001325],[0.54,0.00135],[0.55,0.001375],[0.56,0.0014],[0.57,0.001425],[0.58,0.00145],[0.59,0.001475],[0.6,0.0015],[0.61,0.001525],[0.62,0.00155],[0.63,0.001575],[0.64,0.0016],[0.65,0.001625],[0.66,0.00165],[0.67,0.001675],[0.68,0.0017],[0.69,0.001725],[0.7,0.00175],[0.71,0.001775],[0.72,0.0018],[0.73,0.001825],[0.74,0.00185],[0.75,0.001875],[0.76,0.0019],[0.77,0.001925],[0.78,0.00195],[0.79,0.001975],[0.8,0.002],[0.81,0.002025],[0.82,0.00205],[0.83,0.002075],[0.84,0.0021],[0.85,0.002125],[0.86,0.00215],[0.87,0.002175],[0.88,0.0022],[0.89,0.002225],[0.9,0.00225],[0.91,0.002275],[0.92,0.0023],[0.93,0.002325],[0.94,0.00235],[0.95,0.002375],[0.96,0.0024],[0.97,0.002425],[0.98,0.00245],[0.99,0.002475],[1,0.0025],[1,0.0025]]},{"name":"five percent","role":"bound","form":"line","points":[[0,0],[1,0.05]]}]}},{"id":"chart-a-proof-is-settled-only-by-bars-that-closed-after-it","ok":true,"method":"resolveAgainst over a bar before the claim, the bar in progress, a refuting close, the horizon and a confirming close","evidence":"5 cases: only closed bars after the claim settle it, and only through a level","ms":0.45},{"id":"chart-the-refuting-level-is-always-on-the-far-side-of-price-and-the-sheet-fits-a-post","ok":true,"method":"readCandles over rising, falling and flat series with a fixed seed","evidence":"24 series: the refuting level on the far side of price, the ladder inside the range, every sheet inside a post","ms":10.11},{"id":"stock-token-multiplier-never-falls-except-on-a-split","ok":true,"method":"classifyStep over the boundary cases, then applyReads over a dividend run, a split and a fall","evidence":"11 cases: five percent is the boundary, a failed read is no step, and the trailing figure is the compounded product of the dividend ratios alone","ms":0.78},{"id":"usdg-aristotle-never-places-under-the-risk-floor","ok":true,"method":"allocateByDepth over a scored board, one under the floor, and the same board unscored","evidence":"4 deposits: the refused market never placed, every leg at most its fraction of its share, placed plus held back the deposit to the cent, 9122.83 USDG held back in all, depth alone and nothing held when unscored","ms":0.73},{"id":"the-entry-floor-never-leaves-its-bounds","ok":true,"method":"floorFrom over every verdict a five-band record can take, at every band edge as a starting floor, and the running state","evidence":"6144 cases inside the bounds and on a band edge, each with its reason in words; the live floor at 60% after 4 moves","ms":14.45},{"id":"the-entry-floor-moves-only-on-what-the-record-proved","ok":true,"method":"floorFrom on records that are empty, gapped, losing under the floor, thin at the floor, losing at the floor, losing everywhere, and paying throughout","evidence":"silence moves nothing, a gap blocks the drop, a losing band is never opened into, nothing this reading says can close a band the desk trades, a floor already lowered retreats no further than the constant, and proof all the way down opens it to the bottom band","ms":0.42},{"id":"dial-never-leaves-its-bounds","ok":true,"method":"valueFrom over every dial and a grid of weights, the absurd included","evidence":"300 cases inside the bounds, weight one is the base, every base inside its bounds","ms":0.24},{"id":"bond-spread-widens-only-on-a-proven-edge-and-never-past-double","ok":true,"method":"spreadScaleFrom over thin, losing, noisy, steady and pre-record books, and the live quote","evidence":"14 cases: one under twenty markets, one when the house kept money, one on an edge luck could show, one before the record began, inside one and two always, the live spread 600 basis points","ms":0.97},{"id":"stake-only-shrinks-by-record","ok":true,"method":"sizeSkillMult over counts, noises and gaps, and shrinkStake over stakes under every multiplier","evidence":"25728 cases: a half, three quarters or one; one under 30 reads; never falling as the gap grows; no stake ever larger than it was","ms":2.18},{"id":"fill-veto-only-refuses","ok":true,"method":"the trading dial's bounds, rankDelta under every weight, and learnedVetoes on a record that has not learned","evidence":"8 weights inside four and eighteen, the silence penalty at half the weight, nothing refused by a record that has not learned","ms":0.23},{"id":"exec-impact-scale-bounded-and-never-past-the-cap","ok":true,"method":"impactCapBpsFor across the scale's range and impactScaleFrom over seeded fill records","evidence":"551 cases: the scale inside a half and two, one under ten readable fills, the scale times its cap never past 40 basis points","ms":3.2},{"id":"depth-learned-width-moves-only-on-evidence-and-stays-bounded","ok":true,"method":"widthScaleFrom over every held count to sixty graded, nightScaleFrom over seeded night sets","evidence":"2191 records: one under ten, never outside its bounds, narrowing only past nine in ten on twenty, never widened by one more held","ms":10.9},{"id":"an-income-desk-earns-its-size-only-on-its-record","ok":true,"method":"sizeScaleFrom over every paid count to sixty closes, sizedUsd over caps and junk scales","evidence":"1891 records: one under 10 closes, inside a half and three, never lowered by one more paid close","ms":6.44},{"id":"risk-weights-normalise-to-a-mean","ok":true,"method":"normaliseWeights and scoreRow over 200 draws of seven dials inside their bounds, and each dial's base against the typed weight","evidence":"600 scores: weights summing to 100, every score an integer between its smallest and largest factor, typed weights unchanged, every dial based on its typed weight","ms":3.2},{"id":"copy-learned-ceiling-never-widens","ok":true,"method":"recordStateOf over typed ceilings and synthetic separations of either sign","evidence":"1080 cases: the ceiling in force never above the typed one, unmoved by an empty record","ms":12.83},{"id":"a-perp-dial-scales-a-read-and-never-turns-it","ok":true,"method":"dialedScore over blends, both dials across their bounds, every agreement and stance","evidence":"2520 cases: inside a hundred either way, never turned, the typed values leave the score as it was","ms":4.31},{"id":"dca-dislocation-dial-bounded-and-caps-stand","ok":true,"method":"decideTranche over settings, dislocations, carries, budgets and bases","evidence":"1344 cases: factor inside a half and one and a half, tranche inside its caps, the typed tenth reproduces the old sizer","ms":5.64},{"id":"launch-default-rules-move-only-on-proven-separation","ok":true,"method":"presetFrom walked over bond counts on six arm sizes, in force and not, against the scorebook's own separation","evidence":"6962 cases; 494 moved the default, each on a real, in-force gap thirty deep on both arms that favoured plain","ms":41.54},{"id":"a-timeline-subject-weight-is-never-zero-and-one-until-earned","ok":true,"method":"subjectWeightsFrom over every split of up to sixty graded posts","evidence":"31248 records: every weight inside a half and one and a half, one under both floors, equal to the stated formula","ms":119.95},{"id":"robinhood-slip-limit-covers-nine-fills-in-ten","ok":true,"method":"slipLimitFrom, limitInside and slipAdvice over seeded fill histories, both sides, windows over a hundred, distances past five percent","evidence":"1500 histories: 16 distances with a limit inside them to the cent, 405 sides under ten fills with no opinion","ms":95.12},{"id":"lean-learned-order-never-drops-a-fact","ok":true,"method":"pickNext walked to exhaustion over seeded fact lists and measured rates","evidence":"200 walks: every fact reached once, priority first, the prior walk identical to today's","ms":67.29},{"id":"oracle-the-ladder-step-moves-one-step-only-past-its-bar-after-thirty-locks","ok":true,"method":"ladderScaleFrom over seeded ledgers on every horizon from every step and regime, with other horizons' and regimes' locks mixed in; strikesFor at the default against a scale of one","evidence":"300 ledgers: 52 widened and 21 narrowed, each by one step past its bar, none under thirty locks, every scale inside 0.64 to 1.5625; 600 default ladders equal to the typed one","ms":12.83},{"id":"compute-a-completion-goes-to-the-cheapest-per-delivered-job-and-no-record-changes-nothing","ok":true,"method":"onTimeOf, standingOf and rankMachines over every record to thirty jobs and seeded boards","evidence":"496 records and 400 boards: empty records keep the price order, no cost past five times its price, a machine offered last never leads, every rate strictly inside zero and one","ms":10.88},{"id":"a-flapping-alert-waits-longer-and-never-less","ok":true,"method":"graceScaleFrom over every early-clear count to forty runs, with old, foreign and open rows mixed in","evidence":"861 records: inside one and three, one under six settled or with no early clears, never falling as early clears grow","ms":15.42},{"id":"a-stock-print-is-allowed-between-fifteen-and-thirty-minutes","ok":true,"method":"freshOf over seeded gap lists from none to sixty","evidence":"2000 lists: every allowance inside fifteen and thirty minutes, fifteen under twenty-four gaps or when every gap is inside fifteen","ms":11.77},{"id":"borrow-cushion-only-tightens","ok":true,"method":"safeShareFor over every inside count to eighty draws, and maxDrawUsd at each share against the standing one","evidence":"3321 records: inside six tenths of the standing share and the standing share, unmoved under ten draws, never tighter for one more inside, never a larger draw","ms":13.46},{"id":"lesson-retired-only-on-thirty-each-side","ok":true,"method":"lessonUsefulness over a grid of counts and right calls on each side","evidence":"3969 cases: never hurting under thirty a side, never hurting when its calls did no worse","ms":52.73},{"id":"tail-cover-scale-is-one-until-thirty-days-and-stays-between-half-and-five-quarters","ok":true,"method":"varScaleFrom over a grid of graded and breached days at three levels, a record filed before the cover began, the two look confirm, and the live scale","evidence":"997 cases: one under thirty days, five quarters only from sixty, inside half and five quarters always, the live scale 0.5","ms":16.97},{"id":"solve-calibration-moves-halfway-and-only-on-evidence","ok":true,"method":"calibrationFrom and calibratedP over seeded bands of settled forecasts, both sides","evidence":"400 bands, 235 read back: unmoved under twenty settled, exactly halfway toward the band's share when moved, the no side mirroring the yes side","ms":6.47},{"id":"world-bounty-scale-never-raises-the-set-figure","ok":true,"method":"bountyScaleFrom over seeded day patterns to a hundred and sixty, bountyPot over set figures and scales","evidence":"348 cases: the scale one, three quarters or a half, one under thirty days, no pot past the figure set, no paid pot under half of it","ms":18.43},{"id":"index-leg-window-sizes-inside-the-same-bounds","ok":true,"method":"swapScale and legWindow over window sizes, middle fills and lifetime figures","evidence":"533 cases: inside three tenths and one, the window capped at fifty, the lifetime rule until five fills, never larger for a larger middle fill","ms":2.23},{"id":"pairs-bench-needs-ten-reads-each-way","ok":true,"method":"pairVeto over seeded read sequences, stepped with its kept state and replayed whole","evidence":"200 sequences: every move ten or more reads apart, the kept state equal to the whole replay, ten reads bench exactly when at most one held","ms":30.62},{"id":"brain-timing-is-a-record-only","ok":true,"method":"timingDecision over every tape rule, timingRight over seeded prices, priceAnHourOn at and past its samples","evidence":"2009 cases: buys on a dip, a drop or a cap, waits on holding, nothing else filed, every grade the stated comparison","ms":0.94},{"id":"convert-floor-defers-within-bounds","ok":true,"method":"convertFloorFrom over seeded records of graded conversions, with failed swaps mixed in","evidence":"400 records: every floor between zero and a hundredth of an eth, on its step, zero under thirty, unmoved by failed swaps","ms":47.38},{"id":"door-the-default-slippage-moves-only-on-thirty-graded-fills-and-stays-between-twenty-five-and-a-hundred","ok":true,"method":"slippageDefaultFrom over seeded records of door builds on two books","evidence":"1500 records: today's default under thirty fills, a multiple of five from twenty-five to a hundred after, nine in ten fills at or under it, never lowered by a worse slip, blind to other books and unfilled builds","ms":21.42},{"id":"portfolio-drift-band-stays-in-bounds","ok":true,"method":"driftScaleFrom over every record of up to sixty checks, driftThresholdBps over junk scales, confirmDriftScale over one look, two too close, and two agreeing","evidence":"1891 records: the band always 400, 500 or 750, exactly 500 under twenty checks, narrowed only on forty; one look, or two under five checks apart, never move it","ms":14.62},{"id":"solve-a-challenge-goes-to-review-and-never-sends-an-answer-back-alone","ok":true,"method":"checkVerdict over checked answers with the window open and closed, the author, a repeat challenger, a new one, and short and full reasons","evidence":"48 cases: a challenge accepted only inside the window with a reason from somebody new, the answer kept checked, every verdict refused once the window has closed","ms":0.31},{"id":"chart-a-fitted-window-holds-every-indicator-it-quotes","ok":true,"method":"chooseFitted over every pattern of seven bar counts on five windows, the check window against each choice and against every window a reader can name, and the sheet over ceilings from 120 to 1200","evidence":"3125 patterns: always the longest window holding 35 bars, never a longer one passed over, the dozen-bar fallback only when no window is full, every check window longer than the read; 19 nameable windows, served or built, each checked against a longer one but the 1d, the widest the feed serves, and the 1w, the widest built, which stand alone; 27 sheets inside their ceilings with the bias and the refuting level kept","ms":5.95},{"id":"chart-the-check-agrees-only-when-both-windows-take-the-same-side","ok":true,"method":"confluenceOf over every pair of the three stances in both orders, and a missing read","evidence":"9 pairs: symmetric, nothing learned when either window takes no side, and otherwise the product of the two signs","ms":0.22},{"id":"scan-an-unread-exit-probe-is-never-a-revert","ok":true,"method":"exitFinding over every mix of passed, reverted and unread probes up to six, and isTransportFailure over transport and revert error shapes","evidence":"84 mixes: unread probes never counted, no finding without an answered probe, the honeypot reading only when every answered probe reverted; 4 transport failures and 3 reverts told apart","ms":1.23},{"id":"savers-a-payment-is-never-more-than-its-part-of-the-fees-counted","ok":true,"method":"the payout's own part and settle over 400 random parts and 300 chains of eight counts each, counts from nothing to five ETH, prices from $500 to $9,500, each count carrying into the next","evidence":"400 parts each the fixed part of its count floored; 2400 counts: 1994 paid, 21 under a cent and kept whole as carried, 385 owing nothing; no payment was worth more than its count owed at its own price, and in every chain what was paid plus what was kept as carried is exactly the sum of the parts","ms":2.96},{"id":"savers-each-fee-counts-once-and-each-count-pays-at-most-once","ok":true,"method":"feesFor over 60 random records counted across three consecutive block ranges, the due rule over random histories, and the payout's verdict, rule and pin (judgeSent, mayPayAgain, retryNonce) over 300 runs of attempts against an account that mines one transaction per nonce","evidence":"1800 random fees counted over three block ranges in turn: 895 counted, each in one range only, and not one of them from before the start's block, sent to another wallet, from another desk, or not proven the house's own; the other 905 were not counted. In 60 histories of counts, none was due again once settled, none ahead of an older one and none before it closed. In 300 runs of one count's attempts (507 attempts in all), 11 were let go unseen and sent again on their own nonce, 135 were let go when another transaction took their nonce, 61 reverted and 8 landed after being let go; no run had two attempts land with success, and 300 runs had exactly one","ms":15.02},{"id":"weekendmark-the-mark-is-dollars-over-tokens-between-the-pools-it-keeps","ok":true,"method":"markOf over 600 random sets of one to six pools, some thin, some far off the rest","evidence":"557 marked, each exactly the kept dollars over the kept tokens and between the cheapest and dearest pool kept; 43 not marked and 608 pools set aside, every one with its reason","ms":3.78},{"id":"weekendmark-a-mark-goes-on-chain-forward-only-and-the-final-once","ok":true,"method":"dueOnChain over 300 random holds read at irregular hours, a tenth of the reads with the feed missing a fifth of the hours","evidence":"3094 writes across 300 holds, 135 finals and never two in one hold; none at or behind the last write, none on too few hours, no running mark sooner than 4 hours after the last","ms":6.61},{"id":"riskfeed-nothing-unread-quiet-halted-or-split-is-ever-priced","ok":true,"method":"riskfeed.assess, the contract's _assess, _live and _status in JS, over the full grid of what the rule names: six instants (each session, off the calendar, and the continuous clock), five live reads, four write and vouch states, six verdicts, seven step histories (none; a split at the mark; a fall after it; a split or a fall with a dividend recorded after it; a split before the mark, with and without a dividend after the mark) and four marks","evidence":"20160 records assessed, every status from unknown to live came up, 62 read priced (7 or above) and none of those was unwritten, paused or unread, quiet, halted, paused by the issuer, split or fallen since its mark (a dividend recorded after the split or fall included), unmarked or off the calendar","ms":33.14},{"id":"riskfeed-live-is-a-fresh-open-issuer-print-in-session","ok":true,"method":"riskfeed.assess over 3,000 seeded records at an instant in each session, with the source, verdict, vouch, live pause, multiplier, step history (a dividend after a split or a fall included) and Chainlink round varied together","evidence":"25 read live and 26 extended, each a fresh open issuer print in its session with nothing paused, moved, split since the mark or disputed by a current round; 4 read disputed instead","ms":6.35},{"id":"riskfeed-the-session-is-the-house-calendar","ok":true,"method":"sessionAt over the calendar bytes against houseSessionAt at every holiday edge, early close and daylight-time change, six sample weeks and seeded instants, a second either side of each boundary","evidence":"218 instants, 0 disagreements; 216 ends each the instant the session changes; off the calendar unknown on both; the two holiday tables (20 days, 3 early closes) agree. The full grid of every boundary in 2026 and 2027 runs in the suite","ms":14.53},{"id":"riskfeed-a-step-is-the-contracts-and-on-the-ledgers-line","ok":true,"method":"classify against dividends.classifyStep on the five percent boundaries and 10,000 seeded wei pairs, then simulateTx over 40 seeded paths of 12 writes","evidence":"the boundaries (1.05 a dividend, 1.05 plus one wei a split, 0.95 a fall, 0.95 less one wei a split, x4 and /4 splits) and 10,000 pairs agree; 321 steps recorded from the token's own multiplier, each the ledger's kind, and lastSplitAt and lastAnomalyAt never went back","ms":8.31},{"id":"riskfeed-a-vouch-vouches-only-for-what-it-read-within-tolerance","ok":true,"method":"decide over 40 seeded passes of 20 to 60 tokens with failed reads, halts, refusals and marks either side of moveBps, then planOf and txsFor under small random caps so they overflow","evidence":"74 tokens vouched, each with every field but the mark the chain's, the token's multiplier the record's and the mark within 50 bps; the vouch named 1251 tokens across 40 passes, exactly the listed less the vouched less its own transaction's writes; reads older than 120 seconds send no vouch","ms":6.9},{"id":"riskfeed-a-halt-lands-fast-and-lifts-only-on-a-whole-write","ok":true,"method":"haltsDue over 40 seeded quote lists, then one token through 60 seeded sequences of 16 minute paths and full passes on simulateTx, the contract's own writes","evidence":"642 halts sent, each on a quote with halted === true and dated by it, never after now, never more than fifty; 66 halts landed, 256 passes kept a halt with its first-seen time unmoved, and 47 lifts, each a whole write on a dated quote whose flag was down","ms":11.45},{"id":"riskfeed-the-mark-is-never-the-pool-price","ok":true,"method":"inputFor over 240 seeded engine rows whose chain price differs from every other price, at an instant in each session, then simulateTx on the two forbidden shapes","evidence":"240 inputs: every source (issuer, weekend mark, held print, none) came up, the mark was never the chain's price, a zero mark came only with none, and open only on an issuer print; the contract's write refused a mark without a source and a source without a mark (MarkNeedsSource)","ms":4.86},{"id":"fund-a-gap-to-nav-is-stated-only-on-one-day","ok":true,"method":"the NAV gap over 3000 random price and NAV pairs, a fifth of them within a hair of the NAV, the board's pick over 400 random lists of dated NAVs, sponsor closes, timed issuer prints and the exchange's kept closes (some of them no close, a zero or a negative), and 200 random answers from the exchange carrying the day after","evidence":"1329 gaps stated, each on one trading day with its sign the sign of price minus NAV (332 rounding to nothing, none a negative zero); 1671 refused with a reason and no figure; 360 of 400 lists gave a gap, each on a day that carries both its NAV and its price, the sponsor's close first, the issuer's print only within two minutes of the strike (12), and the exchange's close only after both and named as the exchange's (108); of 200 answers from the exchange, 158 kept a close, each the row dated exactly the NAV's day and never the day after's, and the rest none, with a reason","ms":6.18},{"id":"fund-the-covered-move-lies-between-its-names","ok":true,"method":"the covered move over 600 random books of one to nine lines, short and zero weights, missing prices, cash and unnamed weight, a share class folded into its token","evidence":"530 moves, each exactly the weighted mean of its covered names, between the smallest and largest of them, with coverage the covered weight over the book and the rest reported apart (154 with a share class folded in); 70 books with nothing covered, each refused with a reason and coverage zero","ms":5.75},{"id":"fund-a-covered-move-is-graded-by-the-nav-of-its-own-day","ok":true,"method":"gradeExpectation, the filing guard as gradeFundBoard calls it (given the board's own marks, the scorebook's subjects and the NAV record at the moment of filing), and settlePlan with gradeSettlement, over 10 random fortnights of two funds each, one a token whose symbol is not its fund's: books, the board's own closes with sessions it did not watch, NAVs reaching the record hours to days late or never, gaps on the NAV's day, another day or none, filings made up to six hours after the build that computed them, the board down for days at a time, and the board's record lost at random restarts","evidence":"87 filings, each under its fund for the trading day after the NAV on record, made after that day's close, before its lapse and while no NAV for that day or later was on record at the moment of filing, up or down by the sign of the close-to-close covered move with its size, and never twice: 36 second tries stopped by the board's own record or the scorebook's subjects across 18 restarts, and 10 filings a build had computed were not made because a NAV for that day reached the record before the filing; 31 carried the gap, each from the NAV's own day; 69 settled, each only by the NAV dated the day it was measured to, its move that NAV's change from the NAV on record and right exactly when the NAV moved its way (38), 2 of them graded more than seven days after that day's close (12 times the board was down for days) by the NAV dated their day already on record; 14 lapsed past seven days with no NAV dated their day on record, and none judged after; 171 waits","ms":13.28},{"id":"fund-a-token-nobody-holds-owes-no-step","ok":true,"method":"judgeHeld, noneHeld and distributionCheck over 200 random supply readings (zero, above zero, unreadable, failed or negative), holder-ledger glances and reading times either side of the process date, on distributions with and without a step; then fundConditions over the rows","evidence":"15 none held, each on a supply read as zero after its process date with no transfer or holder seen, never counted or paged as a step missing; 117 readings that did not read judged nothing; 4 read before the date ended and 133 others left exactly as they were; 48 with a step never touched; 96 paged, exactly the distributions without a step","ms":4.73},{"id":"agentvault-a-cycle-spends-inside-the-vaults-own-limits","ok":true,"method":"effectiveMandate over 3000 seeded mandates, vault limits, days the vault had counted and the agent's own spend, in wei up to 10^27, with each day drawn past its limit a quarter of the time, and the cycle's own reads of a share and of the lock given or not, as exactly true, false or values that are not exactly true","evidence":"3000 cycles: the per-action figure always the smaller of the agent's cap and the vault's limit, the day's room never negative and never past what the vault or the agent's own day had left, and every other field the agent's own; with no reads given (767 cycles) lock and sell always off, and with them given each followed exactly the cycle's read and nothing else, never what it may spend (116 allowed to sell on a share read above zero, 66 allowed to lock where the owner chose it and it read ready, 1078 given a flag that was not exactly true and left off); 2082 shaped by the vault's limits, 1861 left with no room for the day","ms":22.33},{"id":"agentvault-the-writer-never-sends-eth-or-a-token-to-an-address","ok":true,"method":"translateCall over seeded calls of every shape a step makes (no function, a transfer to the dead address, to zero and to others, an approval, the venue's buy with every fixed word changed and every wrong amount, the lock claim in its own shape and with every word changed, a delegate grant and its take-back, a transferFrom and any other call, with and without ETH), and the vault's own source: who may withdraw, which functions can never be a rule, where the burn goes, that execute counts ETH before it sends and never carries the lock claim","evidence":"1337 calls refused, 40 venue buys, 40 burns, 40 approvals and 80 other calls accepted, and 40 lock claims in the one shape the vault writes, each carrying exactly the ETH counted against the limits; no plain send, no transfer to any address but the dead address, no lock claim naming anyone but the vault, and no delegate grant or take-back; in the source only the owner withdraws, eleven selectors can never be a rule (the ten that move tokens and the delegate grant), the burn goes to the dead address, execute counts ETH before it sends, and execute refuses the lock claim before it looks for a rule","ms":50.44},{"id":"agentvault-a-sale-stays-in-the-vault-inside-its-share","ok":true,"method":"a mirror of the vault's sale window (twenty-five hourly slots, each stamped with its hour plus one) over 60 seeded histories of a vault holding a token under a share from none to all of it, with sales at, around and past the room, deposits, the owner's withdrawals and hours passing, the server's room checked against the vault's own test at every sale; and the vault's own source for the sale and its swap","evidence":"60 histories: 514 sales the vault took, each exactly when the server's room allowed it (233 of them the whole room), and after each the window counting exactly the sales of its hours, no span of 24 hours selling more, and never more than the share of what the vault held plus what it counted; 2223 refused, the server and the vault agreeing every time; 1066 deposits, none adding more room than its own share; in the source the sale is the agent's alone, its room is checked and counted before the swap, the swap pays the vault and takes its approval back to zero, the unwrap names no recipient and the floor holds, a share is the owner's alone for a listed token with a pinned pool, a sale never counts against or frees the ETH caps, and the writer refuses $HARMONIC before it reads anything","ms":4.62},{"id":"agentvault-a-lock-claim-pays-only-the-vault-and-no-key-grants-a-delegate","ok":true,"method":"translateCall over 400 seeded lock claims with the claimant, the permanence, the lock id, the duration, the ETH and a stray word each drawn, and 800 delegate grants and take-backs of every kind; then the vault's own source for the lock claim, its general call and its rules, the mining preset, and the server's lock step","evidence":"400 lock claims: 60 in the one shape the vault writes (the vault as claimant, permanent, no lock id, no duration, no ETH) became the vault's lock claim carrying only the locker and the rounds, and 340 in any other shape were refused; 800 delegate grants and take-backs refused wherever they were sent; in the source the vault writes the claimant, the permanence, the empty id and the empty duration itself, sends no ETH, needs the owner's rule for the locker, refuses the claim's selector through its general call, and can never allow the delegate grant as a rule; the mining preset carries no delegate rule, and the server's lock step returns before any grant when it runs in a vault","ms":47.91},{"id":"agentvault-a-dca-slice-is-signed-only-through-its-vault","ok":true,"method":"sliceSigner over every order mark, side and wallet against every shape of its owner's agent in a vault, vaultRoom over 3000 seeded limits and days in wei up to 10^27, the vault order's life on each plan period, and the desk's own source: where a derived wallet's writer is made, the order of the legs, the fee a vault writer pays and the venue ledger","evidence":"8 orders signed through their vault, 18 through their owner's own wallet and 352 paused; no order carrying a vault and no order of an agent in a vault was given a derived wallet, and none carrying a vault was signed for a sale; 3000 slices never past the planned size, the per-action limit or what the vault's day had left, 2206 of them cut and 1402 shut for the day; one place makes a derived wallet's writer, the vault's buy comes before every wallet leg, a vault writer pays only the fee taken inside the buy, every venue ledger write is skipped for a vault order, and a vault fill is never filed in the scorebook or the impact scale","ms":4.56},{"id":"hookrsplit-the-cut-is-the-service-share-of-each-collection-and-the-principal-goes-only-to-the-launcher","ok":true,"method":"splitOf over 66 amounts and cuts, and the committed artifact's own ABI and deploy plan","evidence":"66 splits add up with the cut floor(a*b/10000) and dust paying none; the contract changes state only through adopt, collect, withdraw and setPayout, carries no owner, admin or hand-on, refuses a collection that leaves a credit on a Rules, never holds a withdrawal back for its collection, and deploys to 0xf006B68d31d9F85c154bcA3C25E05E510540C161 with the operations wallet at 250 bps","ms":1},{"id":"hookrlp-works-only-a-pool-key-on-hookrs-own-hooks","ok":true,"method":"isHookrKey over the previous release's graduated key, its tuple form, every one-field change of it, a launched coin not yet graduated and a coin never launched; over the current release's recorded key against its lock ahead of, at and behind the parent block and unread either way, every one-field change of it, another recorded key, an unread key, a pool never announced, an advisory and each of Hookr's agent gates; and both hooks' address bits beside the general hook rule","evidence":"31 keys of the previous release: only the exact graduated key accepted, and its hook carries no liquidity callback; 35 keys of the current release: only the key the pool manager recorded for a pool HookrRoot opened, ETH the quote and the dynamic fee, accepted, and only with its launch lock at or behind the parent block (10 lock cases, a standing lock refused with its block); an advisory admitted with its words, and a pool on either of Hookr's agent gates refused in its words; HookrRoot's bits carry before-remove-liquidity and no exit charge, and the general hook rule still refuses them","ms":2.47},{"id":"hookrlp-the-tenth-comes-from-earnings-and-is-taken-before-every-exit-and-move","ok":true,"method":"the vault's split over 3000 seeded earnings up to 10^37 and shares up to the ceiling, and the vault's own source: the order of realise and modify in the exit and the move, the split's two lines, the fallback, and the constructor's cap","evidence":"3000 splits exact, none past a fifth; the exit and the move each realise what the range earned before any principal moves; a failed payment to the fee wallet pays the owner instead; the fee path reads no balance","ms":1.73},{"id":"hookrlp-a-deposit-never-asks-for-more-than-was-typed","ok":true,"method":"sizeLeg over 1500 seeded prices, range widths, sides and amounts from a wei to 10^21","evidence":"1500 deposits sized: the pool's own rounded-up charge never above the amount typed, and one unit more liquidity always above it; 0 too small to place, refused in words","ms":13.29},{"id":"soldesk-a-buy-breaks-even-exactly-at-the-curves-own-odds","ok":true,"method":"breakEvenP and netMultiple over progress 0 to 0.95 in hundredths against eleven losses on a miss, on the curve's own constants and the 1.25% fee each way","evidence":"1056 cases: the net multiple above one everywhere, expected value at the break-even within 1.7e-16 of zero, and the break-even rising with the loss and along the curve","ms":0.9},{"id":"soldesk-no-paper-position-outlives-its-stop-stall-or-clock","ok":true,"method":"openPaper and exitDecision over 4,000 seeded positions entered between 45% and 85% of the curve, each read at a seeded price and time up to an hour, with and without creator and holder lines","evidence":"4000 cases, 3626 exits: none kept under its stop, none kept 8 minutes without a new high, none kept past 45 minutes","ms":4.13},{"id":"soldesk-a-refused-coin-or-one-outside-the-zone-is-never-taken","ok":true,"method":"decide over thirteen progress values at and around the zone's edges, completed or not, refused or not, three states of the odds and with or without a learned veto","evidence":"312 cases, 18 taken, every one inside the zone, uncompleted, unrefused and unvetoed","ms":0.49},{"id":"solsniper-the-buy-refuses-every-seat-behind-its-room","ok":true,"method":"planBuy and the curve's buy over five sizes, five creator buys, four rooms and seven seats each, from inside the room to five SOL past it","evidence":"700 cases: 300 filled, every one inside its room; 400 refused, every one behind it","ms":0.48},{"id":"solsniper-never-takes-a-launch-the-rule-refused","ok":true,"method":"decide over every combination of status, mint, mayhem flag, creator fee and the creator's buy (none, another quote, and sizes at and around both edges)","evidence":"480 launches: 18 taken, every one with all of the rule holding; every other passed, each with its reason in words","ms":0.55},{"id":"keeper-stale-or-unread-row-never-exec","ok":true,"method":"keeperDecision over every pair of readings (unread, or each of the six row verdicts at ages 0, maxAge less one, maxAge, maxAge plus one and dated ahead of the clock; the live row's issuer print not named, named with no time, or 0, maxAge and maxAge plus one old), with the contract in config and not, on a holiday and not","evidence":"18724 answers: canExec true in 612, each with every row it needs read, no older than maxAge, on an issuer print no older than maxAge, and open; halted in 5172, each with a fresh row that read halted or paused; never canExec on an unread, stale, future-dated or shut row, or on an open row whose print is older than maxAge or has no time","ms":69.71},{"id":"keeper-webhook-halted-only-when-the-row-says-halted","ok":true,"method":"eventsFrom over 60 seeded runs of 40 reads of three tokens, each read a random mix of unread, stale and fresh rows of every verdict on both readings, through keeperDecision","evidence":"7200 answers made 603 halt, 122 reopen and 524 close events: every halt on a decision that said halted from a fresh row reading halted or paused, every reopen on an answer that lets a keeper run, and no unknown answer ever moved the record","ms":33},{"id":"haltwatch-gated-only-if-in-the-swap-path-paid-and-carrying-the-oracle","ok":true,"method":"classifyHook and canStopSwap over all 64 mixes of six flag bits, both swap bits among them, against paid, oracle-in-code and house in every value","evidence":"1152 cases, 48 gated, each with the hook in the swap's path, paid and carrying the oracle; no hook without a swap bit ever gated or house","ms":1.23},{"id":"haltwatch-a-swap-reads-the-last-row-before-it","ok":true,"method":"verdictAt against a linear scan over 120 seeded row lists, probed at, just before and just after every row and outside them","evidence":"2560 positions: the last row at or before each, nothing before the first, never a row written after the swap","ms":1.5},{"id":"haltwatch-closed-session-dollars-are-exact","ok":true,"method":"tallySwap over 20 seeded runs of 40 to 80 swaps with amounts beyond 2^53, either side the quote, against integer sums kept by hand","evidence":"1032 swaps: every bucket's sum exact to the unit, never negative, and the counts add up to the swaps placed","ms":1.36},{"id":"agghooks-the-fee-is-exactly-the-declared-fee","ok":true,"method":"feeCheck over 2000 seeded swaps at eleven set fees and random ones, gross and raw amounts past 2^53 and small, both forms, handed the side the fee was paid on and the venue's payout or neither, each fee and the jar's amount up to two units either side, against the rule worked in whole numbers","evidence":"2008 declared fees rounded up, each at least the unrounded share, under it plus one whole unit and never over the gross; 2000 exact-input and 1947 exact-output fees called exact; 15693 amounts a unit or two off, with the side known and the payout read, every one off; 1940 swappers short a unit of the payout less the fee, every one off; from the net alone 7951 amounts a unit or two off, 5423 off and 2528 the declared fee of a payout that far away; 15 swaps with no fee declared or nothing sent read as the rule says","ms":21.56},{"id":"agghooks-a-hook-is-clean-only-when-it-kept-exactly-the-fee","ok":true,"method":"keptCheck over 3000 seeded swaps with amounts past 2^53, the fee on the way in, on the way out, in a third token or none, and what the hook kept exactly the fee or a few units off on either side, against the rule worked in whole numbers","evidence":"3000 swaps: 1130 clean, each with the fee kept exactly on its own side and nothing on the other, and zero reported; 1870 kept, each reporting the exact difference on each side and never nothing; 1254 with no fee or a fee in another token clean only when nothing was kept","ms":4.36},{"id":"agghooks-genuine-only-with-every-identity-field","ok":true,"method":"identityOf over all 6000 mixes of jar, manager, multiplier, fee flags, owner and proxy, each read right, read wrong, read as none or unread, under each of 6 flag patterns, against the rule worked by hand; and the aggregator's shape over all 16384 endings of fourteen bits","evidence":"36000 identities: 4 genuine, each with every field read and right; 1148 lookalikes, each naming one reason per condition it fails; 4848 unread, each with a field not read and never genuine or lookalike; 30000 other, every one an address without the four callbacks; 16384 fourteen-bit endings, exactly one of them the aggregator's shape","ms":27.76},{"id":"safe-a-wash-cycle-is-a-ring-sell-and-a-ring-buy-each-trade-once","ok":true,"method":"washCycles over 100 seeded lists of 10 to 60 trades among five wallets, three in the ring, every trade a distinct size","evidence":"3516 trades, 626 cycles: each a ring sell then a later ring buy within 50 blocks and a quarter of the size, no trade in two","ms":4.06},{"id":"organon-every-token-of-a-drop-gets-its-own-piece","ok":true,"method":"pieceAt (the contract's pieceOf) over every folder size to 40, every offset below it and three past it, drop sizes of one, half and the whole folder","evidence":"2820 drops, 37614 tokens: no piece to two tokens, every piece in the folder, a sold-out folder gives out every piece, a sealed drop names none","ms":2.7},{"id":"organon-the-drops-never-pass-1111","ok":true,"method":"opensDrop and capLeft over 300 seeded runs of 40 drops of 1 to 400 pieces, each drop minted part way","evidence":"8381 drops opened, 3619 refused at the cap; the drops never held more than 1,111 and the tokens never more than the drops","ms":7.39},{"id":"organon-a-reserved-drop-is-minted-by-its-minter-only","ok":true,"method":"mayMint over 200 wallets against an open drop, a zero minter and a named one, and the founder in either case","evidence":"604 answers: only the named wallet may mint its drop, anyone may mint a drop that names nobody","ms":0.32},{"id":"organon-every-wei-of-a-mint-buys-and-burns","ok":true,"method":"mintValue at four prices from one wei to 2^127, quantities -1 to 12, and the books across each mint","evidence":"40 mints: each costs exactly the price times the quantity, one to ten only, and every wei paid is a wei sent to the venue","ms":0.13},{"id":"roundtable-one-piece-one-vote","ok":true,"method":"tally over 300 seeded ballots of up to 1,110 pieces, zero to five options and malformed votes, against the rule restated by hand; then the quorum's edge, every piece voting, the founder alone, a piece named twice, a later vote that is no vote, two votes at one time and no options","evidence":"300 ballots, 3332 votes, 26563 pieces: every piece counted at most once for its holder's latest vote and the founder's never, at most 1,110 seats; 10 carried, 290 short of 222; 25 level winners settled by backing and 7 by the lower number; 221 seats does not carry and 222 does","ms":75.11},{"id":"activity-a-change-is-measured-between-two-whole-windows","ok":true,"method":"change, windowSum and compare over 2500 seeded pairs of windows at six scales and 80 seeded series of three weeks with days unread, against the rule worked in whole numbers","evidence":"2500 pairs of whole windows, each change the floor of ten thousand times the move over the earlier window: negative in all 1029 falls, zero in all 277 that held, never negative in 1194 rises, never under minus ten thousand, and the same at 6 scales; 34 sides unread or from nothing stated nothing; 720 windows over 80 series, 258 with a day unread and no total; 18 weeks compared and the day still running never read","ms":13.13,"plot":{"title":"A CHANGE, ROUNDED DOWN","epigraph":"the change stated between two whole windows, against their ratio: rounded down, never under minus 10000","x":{"label":"the later window over the earlier"},"y":{"label":"change stated, basis points"},"series":[{"name":"the change","form":"scatter","points":[[1,0],[2.61083,16108],[1,0],[2.57284,15728],[1.99269,9926],[0,-10000],[1.30509,3050],[0,-10000],[0.438095,-5620],[1.00011,1],[1.39111,3911],[1,0],[2.89079,18907],[0,-10000],[0.409896,-5902],[2.91401,19140],[0.99995,-1],[0.999954,-1],[0.837729,-1623],[1,0],[2.9491,19491],[1,0],[1.46915,4691],[1,0],[0,-10000],[0.27897,-7211],[1,-1],[0.814762,-1853],[0.774674,-2254],[1.6734,6733],[1.79623,7962],[0,-10000],[1.83482,8348],[0,-10000],[1,0],[0.705616,-2944],[1.72816,7281],[0.492828,-5072],[1.78652,7865],[2.50721,15072],[1,0],[0.433815,-5662],[1.00045,4],[0.841211,-1588],[1,-1],[0.914325,-857],[0.999952,-1],[2.88602,18860],[2.38983,13898],[1.77214,7721],[1.88412,8841],[2.65431,16543],[0,-10000],[1.76226,7622],[0,-10000],[0.49876,-5013],[1.74272,7427],[1,0],[1.09397,939],[0.999531,-5],[1.32422,3242],[1,-1],[1.06539,653],[1,0],[2.86821,18682],[1.37329,3732],[0.976288,-238],[2.10543,11054],[2.77798,17779],[0,-10000],[1.62489,6248],[1.52648,5264],[0,-10000],[1.23476,2347],[0.999583,-5],[0.084527,-9155],[0.999998,-1],[1.68181,6818],[2.55075,15507],[1,0],[0.999999,-1],[1.00009,0],[0.629761,-3703],[2.24375,12437],[0.901324,-987],[0.999784,-3],[0,-10000],[1.78156,7815],[2.35411,13541],[1,0],[0,-10000],[0.336563,-6635],[0.999079,-10],[1.32089,3208],[0.715711,-2843],[0,-10000],[2.99765,19976],[0.999996,-1],[0.918788,-813],[2.67106,16710],[2.09648,10964],[2.79067,17906],[1.00001,0],[0,-10000],[1.53172,5317],[2.86917,18691],[2.21054,12105],[1.00002,0],[2.9673,19672],[1.04388,438],[0.344559,-6555],[2.53173,15317],[2.9834,19833],[1,0],[0.976898,-232],[1.55885,5588],[2.95863,19586],[1.98322,9832],[1.7301,7300],[1,0],[2.05785,10578],[1,0],[1,0],[1.29756,2975],[1.00011,1],[2.56927,15692],[2.7476,17476],[1,0],[1.6801,6800],[0.441439,-5586],[2.87602,18760],[0.466288,-5338],[1,0],[1.54649,5464],[0.453183,-5469],[0.999996,-1],[2.59877,15987],[0,-10000],[0.411127,-5889],[2.05583,10558],[0.465653,-5344],[0,-10000],[2.19334,11933],[2.82696,18269],[2.55837,15583],[1.35428,3542],[2.93021,19302],[2.04623,10462],[1,0],[1.75176,7517],[2.79807,17980],[2.65363,16536],[0,-10000],[2.71704,17170],[1,-1],[2.53587,15358],[1.44203,4420],[0,-10000],[1,0],[1.46596,4659],[0,-10000],[0.115133,-8849],[1.00007,0],[0.944427,-556],[1,0],[2.18483,11848],[2.23603,12360],[1.00022,2],[0.270426,-7296],[0.0586447,-9414],[0,-10000],[0.999982,-1],[2.41925,14192],[0.700068,-3000],[0.984237,-158],[0.718513,-2815],[0.999999,-1],[1.22811,2281],[0.980128,-199],[1,0],[1.14116,1411],[0.999875,-2],[1.11057,1105],[2.34045,13404],[1.00001,0],[1.83708,8370],[0.740351,-2597],[1.84397,8439],[1,-1],[0.0399274,-9601],[1,0],[0.36875,-6313],[2.29726,12972],[0,-10000],[0.677374,-3227],[0.684156,-3159],[1,0],[1.83716,8371],[0.999833,-2],[2.39961,13996],[0,-10000],[1.95429,9542],[1,-1],[1.29531,2953],[0.999998,-1],[2.38288,13828],[0.660629,-3394],[0.999981,-1],[0.927566,-725],[1,0],[2.13695,11369],[0.999999,-1],[1.30886,3088],[1.00003,0],[0.624177,-3759],[0.999998,-1],[1.00086,8],[2.06144,10614],[1,-1],[1.15375,1537],[2.7256,17256],[0.999998,-1],[1.00057,5],[1.57398,5739],[0.427212,-5728],[1.73794,7379],[0.503264,-4968],[1,0],[0.404885,-5952],[1,-1],[1.91625,9162],[0.630256,-3698],[1,0],[0,-10000],[1.00827,82],[0,-10000],[1,0],[0.319759,-6803],[2.67363,16736],[2.48333,14833],[0,-10000],[2.77905,17790],[1,0],[0.29093,-7091],[0.849343,-1507],[0.885965,-1141],[0.0594101,-9406],[1.1141,1141],[0.999996,-1],[2.19996,11999],[1,0],[0.856357,-1437],[2.15377,11537],[1,0],[0.450933,-5491],[0.999686,-4],[1,0],[2.04718,10471],[0.99919,-9],[0.999718,-3],[2.40099,14009],[0,-10000],[0.560636,-4394],[0,-10000],[0.190067,-8100],[0.289168,-7109],[0.429513,-5705],[0.99918,-9],[2.68893,16889],[0.388385,-6117],[0,-10000],[1.18939,1893],[2.867,18670],[0.0120391,-9880],[1,0],[0.530785,-4693],[1.92742,9274],[1.00006,0],[1.14387,1438],[0.926841,-732],[0.841393,-1587],[0.999909,-1],[0.671188,-3289],[0.610512,-3895],[1,0],[2.83797,18379],[0.41365,-5864],[0,-10000],[0.693777,-3063],[0.999871,-2],[0.0486239,-9514],[0.770712,-2293],[0.477786,-5223],[1,0],[0.596244,-4038],[1.06062,606],[2.176,11760],[2.71007,17100],[1.00154,15],[2.23109,12310],[1.00003,0],[1.92039,9203],[1.00005,0],[1.45892,4589],[0.969135,-309],[1,0],[1,0],[2.13488,11348],[1,0],[0.5266,-4735],[1.04979,497],[1.72824,7282],[0,-10000],[0.721349,-2787],[1,0],[1.24112,2411],[0,-10000],[1,0],[2.56708,15670],[1,0],[2.05927,10592],[1,-1],[1.87844,8784],[0.358249,-6418],[1,0],[2.59043,15904],[0.556218,-4438],[1,0],[0.868186,-1319],[2.53722,15372],[1.38821,3882],[0.101585,-8985],[0.368158,-6319],[1.10192,1019],[0.189359,-8107],[2.42424,14242],[2.60225,16022],[2.59069,15906],[0,-10000],[0.493315,-5067],[0.0920665,-9080],[0,-10000],[1.68234,6823],[0.0223528,-9777],[2.15535,11553],[0.307173,-6929],[1.00001,0],[2.58806,15880],[1,0],[0.599871,-4002],[0.618374,-3817],[0,-10000],[0.900177,-999],[1.90762,9076],[0.760985,-2391],[1.00005,0],[2.68715,16871],[1,-1],[1.69891,6989],[1.19108,1910],[2.31282,13128],[0.132291,-8678],[2.83083,18308],[1.00003,0],[0.981466,-186],[1,0],[2.94451,19445],[0,-10000],[0.831375,-1687],[0.635646,-3644],[1,0],[2.43628,14362],[2.68401,16840],[1,0],[0.718375,-2817],[0,-10000],[0.976133,-239],[2.27584,12758],[2.6513,16512],[0.922379,-777],[0.893176,-1069],[2.37561,13756],[0.66425,-3358],[1,0],[1.72572,7257],[0.848407,-1516],[1,0],[1.77434,7743],[0,-10000],[1.9337,9337],[0.13219,-8679],[1,0],[0.999999,-1],[0.584582,-4155],[0.0704624,-9296],[0,-10000],[0.965791,-343],[2.83719,18371],[0.325252,-6748],[2.37648,13764]]},{"name":"minus ten thousand","role":"bound","form":"line","points":[[0,-10000],[3,-10000]]}]}},{"id":"activity-the-forecast-band-holds-its-point-and-widens-with-its-errors","ok":true,"method":"widthFrom, band and chooseErrors over 400 seeded records of up to 90 errors among unread entries at five bases, against the rule worked by hand, then the edges built on purpose","evidence":"400 seeded records: every width a whole number at or over its base, 48 under ten errors at the base, 352 from ten the k-th smallest of the newest sixty with at least k at or under it; 390 errors raised and no band narrowed; 390 pairs of bands, each holding its point and the wider holding the narrower; 200 choices of whose errors set the width, never under the floor","ms":9.74,"plot":{"title":"THE BAND LEARNS ITS WIDTH","epigraph":"the next band's width as one seeded record of misses grows: wide until ten, then eight in ten held","x":{"label":"errors measured"},"y":{"label":"width, basis points either side"},"series":[{"name":"width","form":"steps","points":[[0,2500],[1,2500],[2,2500],[3,2500],[4,2500],[5,2500],[6,2500],[7,2500],[8,2500],[9,2500],[10,2564],[11,2564],[12,2564],[13,2564],[14,2564],[15,2386],[16,2386],[17,2386],[18,2386],[19,2386],[20,1362],[21,1362],[22,1620],[23,1620],[24,1620],[25,1362],[26,1362],[27,1620],[28,1620],[29,1620],[30,1362],[31,1362],[32,1362],[33,1362],[34,1362],[35,1342],[36,1342],[37,1342],[38,1342],[39,1342],[40,1342],[41,1342],[42,1342],[43,1342],[44,1342],[45,1269],[46,1269],[47,1269],[48,1269],[49,1269],[50,1247],[51,1247],[52,1247],[53,1247],[54,1247],[55,1148],[56,1247],[57,1247],[58,1247],[59,1269],[60,1247],[61,1247],[62,1148],[63,1148],[64,1148],[65,1148],[66,1044],[67,977],[68,959],[69,977],[70,977],[71,977],[72,977],[73,1044],[74,977],[75,1044],[76,1086],[77,1086],[78,1148],[79,1148],[80,1148]]},{"name":"the floor, 300","role":"bound","form":"line","points":[[0,300],[80,300]]}]}},{"id":"activity-a-forecast-is-graded-a-hit-exactly-when-what-happened-lies-in-its-band","ok":true,"method":"grade and errorBps over 3000 seeded forecasts at whole widths with a band's edge built every fourth, at six scales and in dollars and cents, against the band worked in whole numbers","evidence":"4500 forecasts graded, 1500 of them on a band's edge or one past it: each a hit exactly when what happened lay in the band worked in whole numbers, and so exactly when its error, rounded up, was at most the width (1876 hits, 2624 misses); 3000 in dollars and cents the same; the point hit itself every time; 15 unread windows and filings with nothing to grade by were never a miss; 18000 scalings changed no grade and no error","ms":4.86,"plot":{"title":"A HIT IS INSIDE THE BAND","epigraph":"a forecast at a width of 1000 basis points, graded across what happened: a hit exactly when inside","x":{"label":"what happened over the point"},"y":{"label":"error, basis points"},"series":[{"name":"hits","form":"scatter","points":[[1.05099,510],[1.01221,123],[0.911433,972],[1.01772,178],[0.991131,90],[0.937456,668],[0.935347,692],[0.914886,931],[0.987761,124],[0.978967,215],[1.00288,29],[1.07151,716],[0.94703,560],[0.971501,294],[1.04864,487],[0.979145,213],[1.09712,972],[0.944024,593],[1.08791,880],[1.06922,693],[1.05949,595],[1.00836,84],[0.986378,139],[1.05178,518],[1.04358,436],[1.00185,19],[1.05976,598],[1.05499,550],[0.934717,699],[1.05129,513],[1.0469,470],[0.985235,150],[1.02684,269],[0.922599,839],[1.08935,894],[1.08329,833],[1.04569,457],[1.00287,29],[0.922644,839],[1.05254,526],[0.976171,245],[1.07127,713],[1.02562,257],[0.958609,432],[0.918791,884],[0.987481,127],[0.914385,937],[1.02607,261],[0.992437,77],[0.932378,726],[1.08534,854],[1.09059,906],[0.909431,996],[0.984228,161],[0.936524,678],[0.940349,635],[1.01324,133],[1.05912,592],[0.962969,385],[0.96196,396],[1.07681,769],[1.01125,113],[0.94329,602],[0.922648,839],[0.933881,708],[0.923592,828],[0.920832,860],[0.975011,257],[0.950928,517],[1.04082,409],[0.974982,257],[1.03671,368],[1.01581,159],[1.07621,763],[0.935553,689],[1.00025,3],[1.05222,523],[1.07295,730],[0.92563,804],[1.02124,213],[1.07282,729],[1.05789,579],[1.04907,491],[0.979157,213],[0.979201,213],[1.03763,377],[1.01294,130],[1.09098,910],[0.930993,742],[1.0524,524],[0.956112,460],[1.01872,188],[1.01504,151],[1.08778,878],[0.995179,49],[1.06631,664],[0.910272,986],[0.939186,648],[1.01801,181],[1.02549,255],[1.06496,650],[0.94719,558],[0.993678,64],[0.980013,204],[0.972889,279],[0.98694,133],[1.06769,677],[0.944207,591],[0.99925,8],[1.0946,947],[1.03192,320],[0.983552,168],[0.913296,950],[0.943758,596],[0.923152,833],[1.01484,149],[0.940379,635],[0.935759,687],[0.962595,389],[0.924733,814],[0.943849,595],[1.08931,894],[1.09574,958],[0.95069,519],[0.989415,107],[0.920397,865],[1.03026,303],[1.09823,983],[0.934536,701],[1.02912,292],[1.03497,350],[0.998081,20],[1.07142,715],[0.939812,641],[1.02132,214],[0.929078,764],[0.942706,608],[1.08656,866],[1.09211,922],[0.934597,700],[0.975675,250],[1.09069,907],[1.00121,13],[1.0273,274],[1.00056,6],[0.927615,781],[0.991983,81],[0.950965,516],[1.09971,998],[1.01518,152],[1.01853,186],[0.918133,892],[0.997479,26],[1.07085,709],[1.07366,737],[0.936579,678]]},{"name":"misses","form":"scatter","points":[[0.791626,2633],[0.82747,2086],[0.794851,2581],[0.83254,2012],[0.861279,1611],[0.762904,3108],[1.1909,1910],[1.17855,1786],[1.20528,2053],[1.17693,1770],[0.884313,1309],[0.795215,2576],[1.15504,1551],[0.829252,2060],[0.774288,2916],[1.15074,1508],[0.849444,1773],[0.866828,1537],[0.903212,1072],[1.14403,1441],[0.779044,2837],[1.24857,2486],[1.19672,1968],[1.15301,1531],[0.859972,1629],[1.193,1930],[1.16455,1646],[0.832384,2014],[0.804873,2425],[1.2438,2438],[0.792911,2612],[1.15459,1546],[0.832356,2015],[0.846672,1811],[0.777453,2863],[1.22033,2204],[1.19313,1932],[1.24259,2426],[0.802242,2466],[1.23942,2395],[1.18087,1809],[1.20592,2060],[0.761023,3141],[1.16716,1672],[1.22189,2219],[0.797643,2537],[1.19682,1969],[0.774906,2905],[0.895109,1172],[1.20105,2011],[1.21194,2120],[1.10172,1018],[0.779336,2832],[0.907723,1017],[1.22574,2258],[0.8126,2307],[0.771202,2967],[0.775031,2903],[0.843898,1850],[0.782903,2773],[0.895918,1162],[1.16113,1612],[0.802598,2460],[0.841073,1890],[1.20793,2080],[1.11925,1193],[0.889888,1238],[0.82779,2081],[1.24082,2409],[1.20843,2085],[0.877531,1396],[1.17045,1705],[1.12963,1297],[1.13508,1351],[1.20703,2071],[1.13669,1367],[1.21836,2184],[0.84696,1807],[1.20049,2005],[1.17758,1776],[0.874462,1436],[1.16069,1607],[0.810874,2333],[0.902137,1085],[1.17597,1760],[1.15276,1528],[0.864128,1573],[1.19014,1902],[0.835538,1969],[0.83337,2000],[1.12671,1268],[0.75841,3186],[1.15042,1505],[0.784587,2746],[1.13234,1324],[1.16277,1628],[0.878668,1381],[1.20935,2094],[1.21263,2127],[0.780824,2807],[0.800645,2490],[1.18355,1836],[0.803598,2445],[0.75041,3327],[1.12925,1293],[0.883506,1319],[1.21502,2151],[0.902833,1077],[1.19509,1951],[0.759143,3173],[1.22502,2251],[1.16923,1693],[0.800075,2499],[1.1796,1796],[0.856563,1675],[1.18518,1852],[0.782365,2782],[0.872664,1460],[1.19262,1927],[1.20094,2010],[0.853295,1720],[1.17922,1793],[1.16425,1643],[1.19407,1941],[1.13802,1381],[0.765679,3061],[1.20988,2099],[1.20653,2066],[0.808332,2372],[1.12466,1247],[1.15217,1522],[1.16149,1615],[0.809354,2356],[0.817387,2235],[1.23683,2369],[0.801596,2476],[1.17046,1705],[1.15577,1558],[0.808159,2374],[0.757198,3207],[1.17127,1713],[0.836172,1960],[1.12429,1243],[0.854361,1705],[0.882521,1332],[1.17475,1748],[0.790772,2646],[0.819748,2199],[0.764392,3083],[0.760895,3143],[1.10974,1098],[1.20444,2045],[0.875795,1419],[1.2369,2370],[0.813059,2300],[1.18894,1890],[0.793438,2604],[0.872504,1462],[1.10492,1050],[1.21654,2166],[0.811877,2318],[0.803048,2453],[0.873394,1450],[0.881174,1349],[1.22879,2288],[1.1831,1832],[0.774573,2911],[1.22038,2204],[1.11997,1200],[1.15989,1599],[1.20543,2055],[0.905839,1040],[0.875194,1427],[1.17875,1788],[1.19571,1958],[0.772904,2939],[1.12148,1215],[0.817681,2230],[0.837239,1945],[1.18859,1886],[0.760787,3145],[0.890504,1230],[0.808547,2368],[0.782428,2781],[0.84576,1824],[0.883351,1321],[0.768445,3014],[0.7736,2927],[0.791567,2634],[0.789761,2663],[1.16067,1607],[0.79183,2629],[0.790306,2654],[0.844805,1838],[0.880419,1359],[0.824891,2123],[1.1412,1413],[0.802552,2461],[0.899974,1112],[0.768352,3015],[1.17602,1761],[0.775719,2892],[1.12221,1223],[0.832019,2019],[0.780049,2820],[0.889178,1247],[1.10106,1011],[0.861674,1606],[1.23808,2381],[1.23766,2377],[0.842,1877],[0.763062,3106],[1.19493,1950],[1.17192,1720],[1.19162,1917],[0.784875,2741],[0.900049,1111],[0.809073,2360],[1.16266,1627],[0.818776,2214],[0.857109,1668],[0.882545,1331],[1.14256,1426],[1.12421,1243],[0.908406,1009],[0.896463,1155],[0.863901,1576],[0.83874,1923],[0.887671,1266],[1.23829,2383],[1.1018,1018],[1.10867,1087],[1.14607,1461],[0.766843,3041],[0.87317,1453],[1.12551,1256],[1.11077,1108],[1.24703,2471],[0.868374,1516],[0.758133,3191],[0.865191,1559],[0.764324,3084],[1.11353,1136],[0.862996,1588]]},{"name":"the width, 1000","role":"bound","form":"line","points":[[0.75,1000],[1.25,1000]]}]}},{"id":"safe-an-unread-balance-is-never-a-zero","ok":true,"method":"measure without the whole transfer history, over all 16 ways three early wallets' and the dev's balances can be read or unread; then the same 16 through the assay of a coin Pons never launched","evidence":"16 cases and 16 more: a holding is a number exactly when every wallet in it was read, unread otherwise, and the holder count is unread throughout","ms":7.2},{"id":"safe-coin-into-a-pool-is-a-sale-only-where-its-swap-took-it","ok":true,"method":"classifyPoolTx over 800 seeded transactions in and 800 out, amounts to 2^70, against the rule kept by hand in BigInt; then on traceDev's own per-transaction figures","evidence":"800 transactions each way: 160 where the swaps took more than went in, 115 where the dev put in all of it, 800 past 2^53; the sale never above what went in nor the swaps' intake, liquidity only with a liquidity change, the parts always adding up; and through the trace, a share past what went in held to it","ms":3.46},{"id":"stock-a-week-is-its-days","ok":true,"method":"weeklyFrom over twelve generated years of sessions with weekends and holidays removed","evidence":"690 weeks over 3334 days: each opens on its first day and closes on its last, its low under its high, every day inside its range, its volume the days' sum, no day lost","ms":2.89},{"id":"stock-a-day-counts-only-after-its-session-closed","ok":true,"method":"dailyFromNasdaq over every date of 2026 and 2027, the stamped close against four in the afternoon New York from the time zone database, and the counting rule a second either side","evidence":"730 dates: the stamped close never before the true one in winter or summer, and a bar counted from its stamped close and not a second before","ms":3.93},{"id":"a-retired-reading-sits-at-its-floor","ok":true,"method":"the floor and the real-mode values of every dial against its bounds, and the registry against the desks no dial may govern","evidence":"125 values inside their bounds, every floor at or under its base, no dial on 7 protected desks","ms":0.23},{"id":"a-move-the-rows-contradict-is-undone","ok":true,"method":"regimeOf on a thin side, a clear fall, a rise, and a difference inside the noise","evidence":"thin never judged; a 70% to 20% fall undone; a rise and a two-point wobble left standing; the bar is thirty rows a side at three standard errors","ms":0.7},{"id":"a-weight-is-in-force-only-on-confirmed-evidence","ok":true,"method":"the confirm rule stepped through same-count reads, counting reads of real, and counting reads of not real","evidence":"same rows thrice: not in force; two counting reals: in force; one not-real or no-new-row reads: kept; two counting not-reals: withdrawn","ms":0.13},{"id":"dial-moves-only-on-proven-separation","ok":true,"method":"applyRecord with no record, an unlearning record, a gap under the bar, an unmeasurable feature, and a proven one","evidence":"4 records moved nothing, the proven one moved 25 dials to base times weight inside the bounds","ms":0.55},{"id":"alloc-sums-exact","ok":true,"method":"normalizeWeights over a grid of proposals, the absurd included","evidence":"162 proposals: four weights summing to exactly 10000, none negative","ms":0.43},{"id":"index-mint-never-dilutes","ok":true,"method":"ceiling pro-rata over a grid of balances, supplies and mints, exact bigint","evidence":"80 cases: (b + a) / (S + s) >= b / S every time","ms":0.18,"plot":{"title":"A MINT NEVER DILUTES","epigraph":"holdings per share before a mint against after it, over every balance, supply and size in the grid","x":{"label":"log10 holdings per share, before"},"y":{"label":"log10 holdings per share, after"},"diagonal":true,"series":[{"name":"after against before","form":"scatter","points":[[0,0],[0,0],[0,0],[0,0],[-0.477121,-0.30103],[-0.477121,-0.39794],[-0.477121,-0.425969],[-0.477121,-0.477121],[-18,-17.699],[-18,-17.699],[-18,-17.699],[-18,-17.7404],[-6,-5.69897],[-6,-5.69897],[-6,-5.69897],[-6,-6],[0.845098,0.845098],[0.845098,0.845098],[0.845098,0.845098],[0.845098,0.845098],[0.367977,0.39794],[0.367977,0.380211],[0.367977,0.375664],[0.367977,0.367977],[-17.1549,-17.0969],[-17.1549,-17.0969],[-17.1549,-17.0969],[-17.1549,-17.1383],[-5.1549,-5.09691],[-5.1549,-5.09691],[-5.1549,-5.09691],[-5.1549,-5.1549],[18,18],[18,18],[18,18],[18,18],[17.5229,17.5229],[17.5229,17.5229],[17.5229,17.5229],[17.5229,17.5229],[0,0],[0,0],[0,0],[0,0],[12,12],[12,12],[12,12],[12,12],[8.09151,8.09151],[8.09151,8.09151],[8.09151,8.09151],[8.09151,8.09151],[7.61439,7.61439],[7.61439,7.61439],[7.61439,7.61439],[7.61439,7.61439],[-9.90849,-9.90849],[-9.90849,-9.90849],[-9.90849,-9.90849],[-9.90849,-9.90849],[2.09152,2.09152],[2.09152,2.09152],[2.09152,2.09152],[2.09152,2.09152]]}]}},{"id":"index-redeem-never-overpays","ok":true,"method":"floor pro-rata over a grid of balances, supplies and redemptions, exact bigint","evidence":"75 cases: out <= b s / S and (b - out) / (S - s) >= b / S","ms":0.08},{"id":"supply-non-increasing","ok":true,"method":"the flywheel's alphabet (buy, burn, claim) executed over a fixed sequence","evidence":"10 operations: supply never rose","ms":0.16},{"id":"burn-monotone","ok":true,"method":"the flywheel's alphabet (buy, burn, claim) executed over a fixed sequence","evidence":"10 operations: the burn address never fell","ms":0.06},{"id":"buy-then-burn","ok":true,"method":"the flywheel's alphabet (buy, burn, claim) executed over a fixed sequence","evidence":"10 operations: every buy was returned exactly by its burn and the agent holds none of its token","ms":0.04},{"id":"no-mint-reachable","ok":true,"method":"the flywheel's alphabet (buy, burn, claim) executed over a fixed sequence","evidence":"10 operations: no state above the initial supply","ms":0.01},{"id":"strategy-funds-only-eligible-markets","ok":true,"method":"planStrategy over every objective and a board with a dead, empty, refused, low and wrong-kind market","evidence":"12 plans: every leg traces to an eligible row, nothing over the deposit","ms":0.48},{"id":"risk-score-is-bounded-weighted-mean","ok":true,"method":"scoreRow over a grid of every input, missing ones included","evidence":"4800 rows: an integer in [0, 100] every time, weights summing to 100","ms":14.32},{"id":"risk-modulation-monotone","ok":true,"method":"modulation over every score from 0 to 100","evidence":"101 scores: deploy fraction non-decreasing, band width non-increasing where defined","ms":0.28,"plot":{"title":"MORE RISK, LESS DEPLOYED","epigraph":"the share of a claim the allocator deploys, at every risk score from 0 to 100","x":{"label":"risk score"},"y":{"label":"deploy fraction"},"series":[{"name":"deploy fraction","form":"steps","points":[[0,0],[1,0],[2,0],[3,0],[4,0],[5,0],[6,0],[7,0],[8,0],[9,0],[10,0],[11,0],[12,0],[13,0],[14,0],[15,0],[16,0],[17,0],[18,0],[19,0],[20,0.3],[21,0.3],[22,0.3],[23,0.3],[24,0.3],[25,0.3],[26,0.3],[27,0.3],[28,0.3],[29,0.3],[30,0.3],[31,0.3],[32,0.3],[33,0.32],[34,0.33],[35,0.34],[36,0.35],[37,0.36],[38,0.38],[39,0.39],[40,0.4],[41,0.41],[42,0.42],[43,0.44],[44,0.45],[45,0.46],[46,0.47],[47,0.48],[48,0.5],[49,0.51],[50,0.52],[51,0.53],[52,0.54],[53,0.56],[54,0.57],[55,0.58],[56,0.59],[57,0.6],[58,0.62],[59,0.63],[60,0.64],[61,0.65],[62,0.66],[63,0.68],[64,0.69],[65,0.7],[66,0.71],[67,0.72],[68,0.74],[69,0.75],[70,0.76],[71,0.77],[72,0.78],[73,0.8],[74,0.81],[75,0.82],[76,0.83],[77,0.84],[78,0.86],[79,0.87],[80,0.88],[81,0.89],[82,0.9],[83,0.92],[84,0.93],[85,0.94],[86,0.95],[87,0.96],[88,0.98],[89,0.99],[90,1],[91,1],[92,1],[93,1],[94,1],[95,1],[96,1],[97,1],[98,1],[99,1],[100,1]]}]}},{"id":"v4-range-ticks-aligned-and-ordered","ok":true,"method":"planUsdgBid over ticks, spacings, volatilities and both pool orderings","evidence":"224 ranges: ordered and aligned to the spacing","ms":0.73},{"id":"mm-move-never-needs-more-than-it-frees","ok":true,"method":"planMove over seeded books, re-deriving the freed and needed amounts with the pool's own rounding","evidence":"586 moves and 14 stand-downs: every move stays on its side, is paid for in full, keeps inside the cap and the near-spot limit, and lands nearer the price","ms":22.04},{"id":"mm-hook-refused-exactly-when-it-can-touch-the-exit","ok":true,"method":"hookVerdict over every fourteen-bit permission set a hook address can carry","evidence":"1024 admitted and 15360 refused, each exactly as its remove-liquidity and liquidity-delta bits say; no hook and the Pons hook admitted","ms":10.56},{"id":"organon-a-listing-pays-out-exactly-its-price","ok":true,"method":"the desk's own listing function, the one every listing is built with, over seeded exact prices and fee sets in USDG and ETH, against the rule restated by hand, the C kernel on the same listings, and the real sale on chain","evidence":"500 listings: the seller's share plus every fee equal to the price to the unit, the seller's share above zero; 23 USDG at 100 basis points is 22.77 to the seller and 0.23 to the fee, as it settled; the C kernel, asked the same 500 in one pass, gave each to the unit","ms":15.47},{"id":"organon-a-wallet-is-linked-only-by-its-own-signature","ok":true,"method":"the desk's own linking rule, the one every confirmation runs, over seeded asks, signers, signatures and moments around the half hour, against the rule restated by hand","evidence":"2000 confirmations, 913 linked, every one exactly when the bound wallet signed validly while the ask was live; any other wallet, an invalid signature or a lapsed ask linked nothing","ms":9.56},{"id":"erc8004-a-file-is-an-agents-only-when-it-names-it-back","ok":true,"method":"the desk's own rule and the house's own registration file, the ones the served file and every read use, over seeded agentIds and seeded files of either type, against the rule restated by hand","evidence":"400 house files each naming only its own agent in this chain's registry and in no other; 400 files of either type taken as an agent's exactly when they list it here; before an agentId, the file names nobody","ms":4.3},{"id":"poiesis-funded-spreads-conserve-collateral-and-premium","ok":true,"method":"compiled C spread kernel against independent exact-integer reference vectors","evidence":"48 call/put settlement prices across four funded terms, including boundaries, rounding, one-unit width and maximum amounts; collateral and premium conserved. Lean specification: verified. C formal verification: verified.","sourceHash":"5afe8b17da44363db61a196cebb7b080c345f9087fa0e345a3ad9271fa51f668","formal":{"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"]},"points":48,"ms":336.35}]}