# p-report: Gate P and qt1 reference baseline (batch e1-gate-p) Credit: the policy, Gaussian filter, replica (`replica2.py`), qm tables and `gates.py` are by Taylor (gtmcknight), [amm-sim research/solved @4812a638](https://github.com/gtmcknight/amm-sim/tree/4812a6382311624e1506aca131ca35c378f930d9/research/solved). The table compression (QMS1 blob) is from qm-spline ([artifact](https://api.imd.fun/artifacts/17d249ab0c33fc44931d9b105cf3f9e3846a560bd518b67310c2a56defacdecc)). `qmref.py` is qt1's Python reference ([artifact](https://api.imd.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40)). All figures were measured locally on one Linux x86_64 machine (8 cores) with plain CPython **3.12.3** (`python3 -I`). Nothing was tuned or changed in Taylor's files. I only added `qmref.py` and `blob.bin` to `research/solved` in a scratch clone. ## Gate P **Verdict: PASS.** Unmodified `python3 -I gates.py` in `research/solved` at commit 4812a6382311624e1506aca131ca35c378f930d9, Python 3.12.3. Every digit of all 12 values equals the brief's values and the README's `## Gates` table. Run time was 7.0 s. ``` seed perfect-info gaussian+plain gaussian+qm lattice+qm 10000 448.261189 443.455598 443.522608 443.663520 10001 576.779199 571.463409 571.623551 571.977293 10002 531.886497 525.168028 525.865859 526.411631 ``` ## Reference check Inputs were extracted from the two artifacts, and every sha256 that Q states matched: | file | bytes | sha256 | expected (Q) | |---|---|---|---| | Strategy.sol (Q `## Strategy.sol` block) | 42,990 | c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca | c68887cf…8aca, 42,990 B: match | | blob.bin (qm-spline `## Data` base64, decoded) | 10,167 | 3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e | 3ac7cb88…e38e, 10,167 B: match | | qmref.py (Q `## Python reference` block) | 7,739 | 1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92 | Q states no hash for it | `replica2.run(seed, QMRef('blob.bin'))['edge']`: | seed | got | expected | | |---|---|---|---| | 10000 | 443.101741 | 443.101741 | match | | 10001 | 571.454483 | 571.454483 | match | | 10002 | 525.908441 | 525.908441 | match | ## Baseline qmref (qt1's reference) on Taylor's replica covers all 2048 seeds 10000..12047, each run once in a `multiprocessing.Pool(8)` and rounded to 6 decimals. The 16-seed timing run (10000..10015) took 6.5 s wall. The full window took 162.4 s wall (16 m 9 s CPU), so `seconds_per_seed` = 0.0793 s wall per seed with 8 workers, or about 0.47 CPU-s per seed. `sd` is the sample standard deviation, and the standard error of the mean is 2.092668. Min is 326.727276 and max is 1043.984813. The 16 timing-run edges are identical to the same seeds in the full run. ```json {"policy":"qt1-ref","seeds":"10000..12047","n":2048,"mean":533.262831,"sd":94.703363,"seconds_per_seed":0.0793,"edges":{"10000":443.101741,"10001":571.454483,"10002":525.908441,"10003":574.040699,"10004":523.245286,"10005":526.886083,"10006":485.471113,"10007":526.499854,"10008":662.120344,"10009":652.215433,"10010":476.458262,"10011":370.779112,"10012":458.676508,"10013":402.044717,"10014":699.939333,"10015":630.00744,"10016":566.883377,"10017":493.663184,"10018":481.294922,"10019":455.026496,"10020":494.936996,"10021":413.14477,"10022":439.795916,"10023":635.556903,"10024":480.645031,"10025":446.092918,"10026":346.418333,"10027":548.294917,"10028":525.13246,"10029":442.213958,"10030":594.705251,"10031":342.135371,"10032":638.215547,"10033":535.889902,"10034":563.480957,"10035":630.879107,"10036":546.599922,"10037":444.48181,"10038":619.144826,"10039":588.640685,"10040":609.932131,"10041":629.442648,"10042":710.943099,"10043":639.584665,"10044":420.549954,"10045":386.200606,"10046":431.914837,"10047":597.670416,"10048":498.509602,"10049":383.887352,"10050":374.420306,"10051":422.856273,"10052":429.482366,"10053":537.944577,"10054":446.855281,"10055":709.953769,"10056":582.98274,"10057":510.91066,"10058":438.308899,"10059":507.623204,"10060":927.605559,"10061":561.747127,"10062":608.03992,"10063":429.739935,"10064":662.701692,"10065":584.767693,"10066":486.846961,"10067":635.039933,"10068":501.695794,"10069":620.364107,"10070":411.877336,"10071":436.445869,"10072":604.136028,"10073":565.139222,"10074":530.567882,"10075":561.510496,"10076":531.698608,"10077":429.918486,"10078":621.712327,"10079":650.860772,"10080":484.71482,"10081":565.27775,"10082":566.084334,"10083":464.627242,"10084":475.504789,"10085":454.782139,"10086":570.870425,"10087":572.389756,"10088":441.473499,"10089":413.616707,"10090":588.298563,"10091":486.469448,"10092":556.781189,"10093":661.203787,"10094":477.45022,"10095":596.864148,"10096":490.894815,"10097":512.396494,"10098":503.073616,"10099":468.392202,"10100":442.846689,"10101":536.02803,"10102":736.376115,"10103":740.71406,"10104":704.421713,"10105":468.722635,"10106":429.828705,"10107":489.224584,"10108":533.238269,"10109":739.048419,"10110":572.355791,"10111":404.311059,"10112":462.249922,"10113":435.695683,"10114":536.405748,"10115":659.810565,"10116":522.472955,"10117":411.875865,"10118":422.626409,"10119":414.934724,"10120":549.567542,"10121":534.262139,"10122":585.638977,"10123":505.724969,"10124":532.353342,"10125":456.706305,"10126":458.71934,"10127":496.420556,"10128":733.895099,"10129":536.315066,"10130":459.395576,"10131":497.192109,"10132":503.524468,"10133":628.494932,"10134":534.776354,"10135":458.591736,"10136":617.651803,"10137":621.987879,"10138":499.566427,"10139":466.119056,"10140":553.54315,"10141":581.77254,"10142":627.688575,"10143":469.297113,"10144":440.627152,"10145":482.108175,"10146":762.996946,"10147":468.064168,"10148":692.003268,"10149":525.101166,"10150":586.727056,"10151":473.608436,"10152":415.894526,"10153":556.989859,"10154":490.796917,"10155":476.498828,"10156":531.981974,"10157":534.954755,"10158":436.149253,"10159":436.108549,"10160":420.565958,"10161":457.203039,"10162":720.578775,"10163":667.252907,"10164":683.293974,"10165":439.044439,"10166":419.881586,"10167":493.366135,"10168":622.91571,"10169":571.014908,"10170":389.381564,"10171":569.550743,"10172":686.010106,"10173":397.563867,"10174":541.676101,"10175":504.94492,"10176":445.935164,"10177":652.44521,"10178":664.390099,"10179":379.55562,"10180":584.724058,"10181":463.226165,"10182":576.383908,"10183":630.30435,"10184":520.791455,"10185":541.27786,"10186":574.396322,"10187":550.090403,"10188":531.659929,"10189":717.118425,"10190":660.772762,"10191":662.20162,"10192":665.564894,"10193":580.029314,"10194":511.220517,"10195":553.859404,"10196":584.583956,"10197":441.075809,"10198":556.612009,"10199":484.573856,"10200":559.812075,"10201":481.279419,"10202":567.411674,"10203":616.50822,"10204":455.025901,"10205":417.807459,"10206":521.806005,"10207":637.98915,"10208":625.519923,"10209":551.087413,"10210":426.431246,"10211":441.460237,"10212":627.768796,"10213":580.848019,"10214":577.113337,"10215":456.559062,"10216":453.657931,"10217":667.993515,"10218":631.535409,"10219":526.79361,"10220":515.985721,"10221":534.941418,"10222":622.404958,"10223":662.232031,"10224":435.99776,"10225":484.010402,"10226":706.069908,"10227":444.638902,"10228":540.693919,"10229":431.745153,"10230":631.38208,"10231":693.177529,"10232":501.870778,"10233":446.910787,"10234":540.813562,"10235":664.805625,"10236":444.995263,"10237":646.750558,"10238":452.709132,"10239":599.988315,"10240":599.986877,"10241":405.914737,"10242":424.038149,"10243":619.053869,"10244":439.449865,"10245":599.557915,"10246":562.973569,"10247":502.557584,"10248":499.151706,"10249":537.660421,"10250":403.956331,"10251":386.914292,"10252":398.659476,"10253":581.509613,"10254":497.962598,"10255":601.673569,"10256":733.452951,"10257":457.971004,"10258":603.000077,"10259":416.536459,"10260":647.563458,"10261":497.52702,"10262":575.554686,"10263":516.748742,"10264":452.419003,"10265":505.048194,"10266":427.799724,"10267":702.242288,"10268":543.172358,"10269":571.777404,"10270":470.789542,"10271":397.832751,"10272":733.294528,"10273":670.16263,"10274":435.537733,"10275":485.724871,"10276":463.018378,"10277":401.943741,"10278":654.694685,"10279":413.1026,"10280":466.739738,"10281":634.84089,"10282":438.379017,"10283":560.624028,"10284":471.912473,"10285":499.967642,"10286":413.626596,"10287":695.641903,"10288":467.466085,"10289":595.724571,"10290":478.619857,"10291":570.865557,"10292":493.804573,"10293":641.432175,"10294":684.236724,"10295":567.83813,"10296":400.816924,"10297":468.821919,"10298":500.023847,"10299":562.797788,"10300":542.628413,"10301":587.022634,"10302":408.547697,"10303":595.857939,"10304":424.242964,"10305":392.590333,"10306":685.028762,"10307":575.758692,"10308":530.484925,"10309":467.952074,"10310":458.327014,"10311":550.603519,"10312":462.975238,"10313":636.979693,"10314":412.198423,"10315":373.415563,"10316":473.655971,"10317":603.45748,"10318":410.05171,"10319":610.750598,"10320":501.090401,"10321":626.248311,"10322":590.568245,"10323":451.383677,"10324":549.821673,"10325":529.291487,"10326":398.417968,"10327":688.376816,"10328":462.505083,"10329":579.473323,"10330":390.870673,"10331":542.208411,"10332":525.385418,"10333":432.025195,"10334":659.438302,"10335":721.7373,"10336":679.199993,"10337":378.866903,"10338":521.093599,"10339":546.439356,"10340":716.697553,"10341":537.491454,"10342":659.219818,"10343":456.852478,"10344":543.547585,"10345":482.250901,"10346":649.520253,"10347":428.94172,"10348":572.585133,"10349":435.654997,"10350":591.545021,"10351":605.920936,"10352":480.063683,"10353":658.715133,"10354":469.213111,"10355":520.389149,"10356":523.136409,"10357":571.40165,"10358":631.06711,"10359":664.412525,"10360":423.532022,"10361":565.478303,"10362":491.656709,"10363":618.197727,"10364":420.042751,"10365":534.994131,"10366":445.174641,"10367":466.369967,"10368":458.466025,"10369":643.562143,"10370":475.825252,"10371":432.021036,"10372":470.494116,"10373":699.475111,"10374":398.820483,"10375":567.71515,"10376":554.896011,"10377":556.956355,"10378":464.554225,"10379":617.969565,"10380":618.661062,"10381":565.49792,"10382":550.864006,"10383":611.338942,"10384":631.28526,"10385":485.995469,"10386":599.954177,"10387":619.518861,"10388":506.538607,"10389":640.838263,"10390":606.067154,"10391":435.918055,"10392":492.811385,"10393":538.223441,"10394":546.564998,"10395":657.303235,"10396":398.181765,"10397":589.84863,"10398":515.650036,"10399":404.808892,"10400":561.257009,"10401":927.514803,"10402":490.259214,"10403":629.330096,"10404":570.171605,"10405":541.125767,"10406":616.210695,"10407":509.825122,"10408":596.026937,"10409":445.800747,"10410":541.825208,"10411":539.063021,"10412":490.774025,"10413":666.349759,"10414":664.745955,"10415":467.460043,"10416":472.192835,"10417":534.004654,"10418":548.838583,"10419":568.679287,"10420":373.133158,"10421":483.691229,"10422":587.508813,"10423":464.772208,"10424":599.218329,"10425":540.326936,"10426":583.911994,"10427":519.38664,"10428":556.98658,"10429":591.884836,"10430":605.956545,"10431":479.526653,"10432":494.586009,"10433":393.481047,"10434":650.616925,"10435":530.329868,"10436":649.750475,"10437":619.576907,"10438":389.544907,"10439":422.62288,"10440":477.09952,"10441":610.818705,"10442":615.267712,"10443":454.05532,"10444":598.483149,"10445":448.17872,"10446":398.425231,"10447":445.457837,"10448":562.624654,"10449":653.271571,"10450":770.069778,"10451":695.307167,"10452":552.761962,"10453":487.161121,"10454":756.384614,"10455":679.629097,"10456":430.254502,"10457":638.431791,"10458":447.676888,"10459":619.994259,"10460":729.104504,"10461":487.039163,"10462":533.431773,"10463":450.897932,"10464":675.670363,"10465":428.070835,"10466":748.439054,"10467":594.289898,"10468":469.536624,"10469":456.730223,"10470":448.423397,"10471":404.788279,"10472":573.344925,"10473":654.339135,"10474":469.222092,"10475":801.054397,"10476":573.900276,"10477":556.666207,"10478":488.308721,"10479":538.309951,"10480":393.499178,"10481":505.460331,"10482":603.62426,"10483":454.968597,"10484":562.941042,"10485":530.156296,"10486":592.637978,"10487":498.615338,"10488":598.697674,"10489":530.994062,"10490":431.016282,"10491":535.399945,"10492":598.674973,"10493":457.278517,"10494":395.052199,"10495":678.745123,"10496":554.983259,"10497":418.564291,"10498":670.86126,"10499":543.151852,"10500":524.963056,"10501":502.776806,"10502":603.954741,"10503":614.206171,"10504":729.700445,"10505":455.40332,"10506":559.887248,"10507":451.356897,"10508":580.357896,"10509":469.271202,"10510":475.136884,"10511":513.27657,"10512":660.173965,"10513":480.407251,"10514":386.12362,"10515":475.348449,"10516":585.584353,"10517":627.288072,"10518":494.796905,"10519":571.284951,"10520":490.831399,"10521":499.624429,"10522":503.416983,"10523":628.08591,"10524":526.287633,"10525":451.417174,"10526":538.971741,"10527":525.274706,"10528":373.011371,"10529":464.959131,"10530":605.064165,"10531":593.914234,"10532":326.727276,"10533":439.115696,"10534":613.792335,"10535":524.655009,"10536":503.349349,"10537":514.347391,"10538":453.34267,"10539":502.693984,"10540":567.624572,"10541":673.803545,"10542":622.856746,"10543":542.0561,"10544":461.782304,"10545":546.296958,"10546":505.357585,"10547":642.908771,"10548":541.707902,"10549":584.186507,"10550":601.494622,"10551":593.322854,"10552":496.952023,"10553":455.50499,"10554":482.165603,"10555":627.019702,"10556":351.949574,"10557":530.199986,"10558":440.990451,"10559":470.737019,"10560":521.022773,"10561":613.639995,"10562":557.936799,"10563":448.907852,"10564":451.545437,"10565":626.355463,"10566":427.166594,"10567":529.836899,"10568":459.440852,"10569":555.39477,"10570":531.572991,"10571":658.194675,"10572":515.973923,"10573":591.807777,"10574":560.484967,"10575":536.98062,"10576":561.522885,"10577":445.262703,"10578":641.878701,"10579":395.721332,"10580":406.417781,"10581":460.123968,"10582":506.628729,"10583":666.812874,"10584":499.192865,"10585":495.190901,"10586":414.085998,"10587":386.135429,"10588":479.38755,"10589":518.953135,"10590":537.392151,"10591":630.018974,"10592":527.865311,"10593":417.310892,"10594":549.552431,"10595":501.931723,"10596":595.720723,"10597":571.237756,"10598":558.819651,"10599":444.128471,"10600":600.14877,"10601":450.76977,"10602":633.56467,"10603":445.796307,"10604":467.559448,"10605":561.756632,"10606":421.82972,"10607":722.764348,"10608":698.280203,"10609":473.450789,"10610":432.813908,"10611":454.560933,"10612":569.575571,"10613":347.789855,"10614":607.269599,"10615":586.321837,"10616":580.406761,"10617":643.424291,"10618":421.255445,"10619":578.617646,"10620":431.982661,"10621":453.466313,"10622":403.609155,"10623":421.319932,"10624":605.170605,"10625":447.905165,"10626":565.721796,"10627":589.918809,"10628":590.600476,"10629":537.779818,"10630":498.572896,"10631":583.706691,"10632":692.736858,"10633":577.533054,"10634":577.540319,"10635":489.666725,"10636":545.7797,"10637":441.055977,"10638":767.876951,"10639":575.880185,"10640":626.768501,"10641":624.794094,"10642":515.877361,"10643":483.006054,"10644":541.175641,"10645":467.310636,"10646":512.050907,"10647":689.298584,"10648":460.293202,"10649":385.038337,"10650":574.294727,"10651":604.196855,"10652":709.861696,"10653":529.816998,"10654":631.562685,"10655":479.239097,"10656":636.819483,"10657":458.91977,"10658":610.794334,"10659":707.159621,"10660":507.915671,"10661":633.637938,"10662":554.832976,"10663":653.650842,"10664":678.357379,"10665":455.130543,"10666":572.087566,"10667":491.244043,"10668":618.226617,"10669":466.478516,"10670":637.757637,"10671":596.918081,"10672":611.699548,"10673":458.684092,"10674":503.46405,"10675":617.493474,"10676":659.003533,"10677":525.922442,"10678":479.378797,"10679":441.898513,"10680":421.17999,"10681":464.015713,"10682":433.134606,"10683":543.919108,"10684":517.88932,"10685":667.02412,"10686":653.065194,"10687":539.704696,"10688":455.838095,"10689":592.950971,"10690":604.517484,"10691":378.879402,"10692":573.004772,"10693":484.369796,"10694":572.361624,"10695":686.279265,"10696":411.749079,"10697":379.578265,"10698":515.708858,"10699":403.304789,"10700":509.863983,"10701":579.270208,"10702":537.159772,"10703":518.246241,"10704":554.551661,"10705":702.037398,"10706":556.846864,"10707":561.489157,"10708":516.210146,"10709":709.152394,"10710":442.744024,"10711":759.536752,"10712":549.755196,"10713":364.711329,"10714":642.104136,"10715":404.703341,"10716":490.000316,"10717":448.441459,"10718":524.788748,"10719":349.906296,"10720":485.076894,"10721":450.404008,"10722":521.321705,"10723":531.731349,"10724":485.983892,"10725":446.097037,"10726":576.378665,"10727":702.03654,"10728":457.891071,"10729":462.873235,"10730":591.95172,"10731":404.834226,"10732":584.242977,"10733":420.839485,"10734":452.944072,"10735":559.658128,"10736":752.274565,"10737":435.766341,"10738":426.017652,"10739":542.210338,"10740":524.767674,"10741":567.495801,"10742":477.137254,"10743":416.117075,"10744":358.001619,"10745":641.410616,"10746":500.367178,"10747":432.295911,"10748":650.880153,"10749":614.974517,"10750":394.26391,"10751":369.939487,"10752":484.427796,"10753":541.579993,"10754":563.347193,"10755":433.712417,"10756":516.58387,"10757":584.914528,"10758":472.026077,"10759":561.117379,"10760":512.960521,"10761":744.467788,"10762":646.575462,"10763":440.003005,"10764":658.632406,"10765":638.362287,"10766":481.559965,"10767":510.714775,"10768":534.717358,"10769":491.64383,"10770":384.647692,"10771":464.28916,"10772":677.572273,"10773":485.162201,"10774":431.708987,"10775":649.641554,"10776":412.726261,"10777":432.829728,"10778":437.017462,"10779":526.476371,"10780":483.36568,"10781":466.084627,"10782":443.922101,"10783":509.712518,"10784":421.217109,"10785":487.579583,"10786":400.497543,"10787":483.84717,"10788":429.763674,"10789":519.942915,"10790":424.174369,"10791":719.289037,"10792":584.474027,"10793":597.92961,"10794":520.785499,"10795":620.986404,"10796":492.124112,"10797":589.190032,"10798":433.680647,"10799":481.930062,"10800":428.99843,"10801":491.881836,"10802":531.373657,"10803":664.662451,"10804":548.697545,"10805":417.726302,"10806":447.764571,"10807":378.823141,"10808":500.847279,"10809":531.8511,"10810":735.159834,"10811":445.205157,"10812":386.314903,"10813":571.811977,"10814":680.20739,"10815":429.538133,"10816":642.782736,"10817":338.73479,"10818":505.195496,"10819":530.373641,"10820":514.399261,"10821":475.896916,"10822":762.388381,"10823":431.943187,"10824":556.692681,"10825":582.554304,"10826":592.261303,"10827":397.708157,"10828":574.643697,"10829":501.200749,"10830":540.443451,"10831":462.851126,"10832":532.154183,"10833":635.09357,"10834":475.817366,"10835":496.637115,"10836":614.079962,"10837":507.129893,"10838":549.34389,"10839":572.573905,"10840":462.720926,"10841":565.150872,"10842":649.174738,"10843":521.790604,"10844":401.595817,"10845":627.628198,"10846":412.725781,"10847":525.879057,"10848":531.394618,"10849":632.981246,"10850":562.25931,"10851":378.505467,"10852":806.161385,"10853":357.517478,"10854":338.477501,"10855":392.386033,"10856":495.984587,"10857":482.23246,"10858":608.493892,"10859":464.355718,"10860":567.29843,"10861":434.106255,"10862":560.68741,"10863":514.336319,"10864":507.33404,"10865":542.910803,"10866":442.373329,"10867":477.431059,"10868":590.127782,"10869":572.123485,"10870":546.470033,"10871":445.880276,"10872":456.350035,"10873":492.639915,"10874":399.693497,"10875":406.873137,"10876":518.260269,"10877":705.985802,"10878":496.032799,"10879":800.922883,"10880":500.429835,"10881":372.028817,"10882":489.517292,"10883":709.125576,"10884":527.625744,"10885":624.168309,"10886":557.611194,"10887":339.415316,"10888":381.347116,"10889":445.98022,"10890":672.186582,"10891":402.815131,"10892":465.537567,"10893":512.537735,"10894":631.070049,"10895":572.028484,"10896":479.571632,"10897":585.081612,"10898":483.192777,"10899":448.789837,"10900":518.235399,"10901":526.691588,"10902":574.674822,"10903":725.314452,"10904":397.44649,"10905":391.339478,"10906":568.975025,"10907":427.001034,"10908":476.238963,"10909":653.110653,"10910":453.168525,"10911":642.626017,"10912":376.918201,"10913":491.894229,"10914":576.049634,"10915":631.05937,"10916":467.003411,"10917":413.442931,"10918":383.28676,"10919":628.096654,"10920":733.251956,"10921":512.600098,"10922":652.321316,"10923":489.311874,"10924":414.71942,"10925":548.705221,"10926":372.737661,"10927":497.370331,"10928":393.882324,"10929":545.278929,"10930":755.710096,"10931":405.067144,"10932":517.372483,"10933":619.863883,"10934":579.70273,"10935":494.553297,"10936":587.713393,"10937":418.068959,"10938":496.33725,"10939":402.724191,"10940":516.577327,"10941":571.254904,"10942":1043.984813,"10943":630.828315,"10944":509.668668,"10945":483.216219,"10946":558.719749,"10947":535.114744,"10948":531.70181,"10949":557.02771,"10950":413.451259,"10951":417.344134,"10952":442.666461,"10953":441.466334,"10954":553.127761,"10955":646.661592,"10956":499.260104,"10957":465.447667,"10958":668.930217,"10959":561.089048,"10960":692.283849,"10961":556.732496,"10962":498.672652,"10963":578.061922,"10964":508.667448,"10965":528.378909,"10966":531.64888,"10967":465.930992,"10968":673.49655,"10969":491.70413,"10970":410.853381,"10971":658.73077,"10972":625.111278,"10973":697.061732,"10974":436.035036,"10975":476.523654,"10976":361.378414,"10977":666.437397,"10978":416.209735,"10979":568.730014,"10980":685.751275,"10981":598.955876,"10982":692.039557,"10983":438.805147,"10984":421.271304,"10985":524.134153,"10986":527.099988,"10987":651.776826,"10988":668.368576,"10989":560.834249,"10990":674.475392,"10991":569.827431,"10992":350.124839,"10993":565.235144,"10994":553.045455,"10995":605.782132,"10996":563.434867,"10997":473.245594,"10998":632.915746,"10999":350.366861,"11000":470.222923,"11001":549.652388,"11002":421.847296,"11003":506.801231,"11004":614.193237,"11005":595.194555,"11006":562.626159,"11007":471.40178,"11008":654.384535,"11009":428.939047,"11010":591.356985,"11011":410.279697,"11012":486.28277,"11013":570.326179,"11014":718.503502,"11015":518.938647,"11016":378.578989,"11017":575.140584,"11018":571.110016,"11019":730.361192,"11020":482.836089,"11021":625.893687,"11022":694.447079,"11023":510.858946,"11024":485.500625,"11025":811.916077,"11026":426.228274,"11027":621.273636,"11028":596.468821,"11029":473.835118,"11030":714.121883,"11031":573.97305,"11032":421.509119,"11033":509.627432,"11034":634.185943,"11035":706.220793,"11036":453.940004,"11037":489.417879,"11038":579.293221,"11039":534.925806,"11040":402.358752,"11041":456.371296,"11042":738.64906,"11043":386.257365,"11044":600.089139,"11045":610.281421,"11046":594.829728,"11047":480.823353,"11048":505.734506,"11049":591.923293,"11050":548.194811,"11051":571.137437,"11052":444.263297,"11053":709.578537,"11054":581.736862,"11055":613.500071,"11056":548.002473,"11057":653.442548,"11058":441.709758,"11059":674.256888,"11060":566.74006,"11061":675.594364,"11062":715.466273,"11063":504.859151,"11064":558.230376,"11065":606.333869,"11066":543.121027,"11067":447.999042,"11068":438.86842,"11069":497.006509,"11070":477.747406,"11071":646.677957,"11072":510.126628,"11073":709.412914,"11074":538.458616,"11075":413.821216,"11076":728.272946,"11077":814.259325,"11078":546.270619,"11079":426.639565,"11080":443.986522,"11081":438.2432,"11082":612.217295,"11083":595.466514,"11084":480.766701,"11085":549.746804,"11086":630.585625,"11087":537.944723,"11088":512.559668,"11089":692.98608,"11090":464.72636,"11091":576.524823,"11092":470.20188,"11093":419.505547,"11094":602.029979,"11095":611.609623,"11096":460.361307,"11097":506.746334,"11098":690.136902,"11099":460.30954,"11100":507.247356,"11101":402.237653,"11102":533.344977,"11103":445.348258,"11104":653.157358,"11105":429.696363,"11106":445.746786,"11107":396.47014,"11108":645.109018,"11109":515.516154,"11110":566.225526,"11111":458.352698,"11112":493.030055,"11113":703.056355,"11114":644.216371,"11115":580.738972,"11116":610.541936,"11117":549.586622,"11118":512.197491,"11119":469.814178,"11120":582.659737,"11121":567.026175,"11122":684.098816,"11123":714.703762,"11124":388.976408,"11125":414.931693,"11126":577.126444,"11127":538.304522,"11128":446.509441,"11129":520.172835,"11130":451.350815,"11131":671.400046,"11132":612.514922,"11133":598.42778,"11134":492.7466,"11135":555.561588,"11136":487.427395,"11137":646.008952,"11138":665.320953,"11139":357.581885,"11140":452.384902,"11141":571.056817,"11142":342.530137,"11143":463.639931,"11144":580.434442,"11145":483.81979,"11146":480.546506,"11147":388.221381,"11148":511.498603,"11149":584.302708,"11150":333.121759,"11151":567.163185,"11152":513.644817,"11153":376.651959,"11154":444.20825,"11155":371.918265,"11156":453.96094,"11157":510.92268,"11158":425.14469,"11159":594.480159,"11160":425.762582,"11161":597.877425,"11162":506.581295,"11163":658.235462,"11164":542.532873,"11165":631.31921,"11166":547.78834,"11167":561.698317,"11168":528.845036,"11169":593.697061,"11170":552.545325,"11171":513.402576,"11172":437.716492,"11173":477.686686,"11174":634.02211,"11175":396.932558,"11176":772.756662,"11177":480.837123,"11178":461.738067,"11179":536.31551,"11180":419.530015,"11181":438.121429,"11182":481.563844,"11183":400.101049,"11184":698.320511,"11185":596.831997,"11186":539.787816,"11187":585.766831,"11188":622.420624,"11189":417.080448,"11190":476.835048,"11191":726.770847,"11192":536.735547,"11193":562.049162,"11194":492.740203,"11195":531.973101,"11196":628.62786,"11197":508.377366,"11198":647.246672,"11199":508.712062,"11200":573.804578,"11201":532.92127,"11202":608.277711,"11203":558.77585,"11204":534.640841,"11205":610.240123,"11206":516.983244,"11207":600.103705,"11208":464.256634,"11209":710.490141,"11210":554.281058,"11211":613.754361,"11212":425.364891,"11213":610.864189,"11214":546.248921,"11215":442.028827,"11216":402.313248,"11217":596.269292,"11218":703.12403,"11219":504.499863,"11220":475.511755,"11221":515.974582,"11222":595.610193,"11223":529.556007,"11224":695.88919,"11225":708.657383,"11226":720.359451,"11227":440.617641,"11228":494.044237,"11229":648.861563,"11230":404.280197,"11231":536.74835,"11232":646.500068,"11233":567.775111,"11234":621.105564,"11235":498.338638,"11236":599.049671,"11237":524.649361,"11238":363.584115,"11239":571.214425,"11240":492.986719,"11241":539.871405,"11242":559.445805,"11243":535.332185,"11244":519.782065,"11245":630.609273,"11246":557.724607,"11247":533.689405,"11248":590.559512,"11249":535.339747,"11250":468.639915,"11251":426.049531,"11252":627.229727,"11253":621.00269,"11254":624.865438,"11255":506.464303,"11256":703.843322,"11257":404.025683,"11258":566.567602,"11259":416.657101,"11260":551.499132,"11261":414.306534,"11262":491.919536,"11263":491.371734,"11264":379.401133,"11265":419.313507,"11266":784.804573,"11267":576.608586,"11268":414.725937,"11269":364.192079,"11270":474.058075,"11271":473.152691,"11272":587.169237,"11273":527.775044,"11274":587.273173,"11275":422.324528,"11276":476.607955,"11277":721.470222,"11278":565.34215,"11279":452.826566,"11280":610.360527,"11281":566.758035,"11282":489.085482,"11283":466.380991,"11284":665.286095,"11285":657.72468,"11286":507.909918,"11287":542.1251,"11288":539.580796,"11289":495.779801,"11290":557.46361,"11291":421.447975,"11292":594.655166,"11293":431.934749,"11294":398.753667,"11295":405.239563,"11296":627.726765,"11297":514.992636,"11298":584.395521,"11299":493.840211,"11300":653.812173,"11301":510.891507,"11302":557.335427,"11303":663.493095,"11304":418.445125,"11305":628.457313,"11306":377.550998,"11307":434.302137,"11308":415.510965,"11309":472.203554,"11310":540.252199,"11311":574.20622,"11312":479.221455,"11313":614.133383,"11314":462.899636,"11315":628.752017,"11316":473.542046,"11317":514.68748,"11318":641.517678,"11319":580.358303,"11320":430.780266,"11321":525.874359,"11322":628.036919,"11323":690.70101,"11324":447.752351,"11325":626.630268,"11326":521.693047,"11327":542.310364,"11328":377.90601,"11329":606.662522,"11330":561.327289,"11331":392.398648,"11332":593.910162,"11333":647.243281,"11334":550.26245,"11335":498.903601,"11336":534.559111,"11337":498.726002,"11338":556.241211,"11339":415.076023,"11340":385.371513,"11341":533.68183,"11342":524.455947,"11343":590.793493,"11344":540.625152,"11345":632.944208,"11346":575.159542,"11347":638.645127,"11348":440.575602,"11349":496.615264,"11350":690.828963,"11351":445.094895,"11352":462.632835,"11353":588.529386,"11354":627.351922,"11355":551.725624,"11356":553.532466,"11357":532.809681,"11358":577.52114,"11359":699.668816,"11360":653.391514,"11361":431.002269,"11362":605.553089,"11363":395.171394,"11364":475.073785,"11365":513.265464,"11366":636.63597,"11367":490.157263,"11368":625.538961,"11369":451.098859,"11370":553.843769,"11371":545.12071,"11372":365.038799,"11373":583.164196,"11374":577.064945,"11375":455.102394,"11376":557.893589,"11377":505.123715,"11378":597.982999,"11379":538.830767,"11380":808.508712,"11381":444.997503,"11382":455.707386,"11383":685.420386,"11384":507.235073,"11385":486.386766,"11386":516.132165,"11387":797.294932,"11388":646.412143,"11389":333.34679,"11390":698.164529,"11391":361.909877,"11392":595.022064,"11393":470.473481,"11394":418.700854,"11395":634.677132,"11396":420.676145,"11397":442.064677,"11398":431.863532,"11399":541.325281,"11400":505.02163,"11401":351.423769,"11402":479.904833,"11403":585.312055,"11404":493.669893,"11405":532.074175,"11406":520.426823,"11407":526.527357,"11408":388.929334,"11409":541.470748,"11410":474.484269,"11411":559.187322,"11412":618.932561,"11413":509.257004,"11414":513.512062,"11415":499.389848,"11416":514.523578,"11417":616.428435,"11418":538.978648,"11419":532.411064,"11420":506.134001,"11421":466.275614,"11422":478.134707,"11423":331.765147,"11424":428.372864,"11425":560.121503,"11426":547.201959,"11427":483.553801,"11428":539.502886,"11429":502.16042,"11430":570.167031,"11431":540.995006,"11432":424.247095,"11433":418.554215,"11434":551.352407,"11435":487.091964,"11436":467.344472,"11437":606.169593,"11438":547.55017,"11439":468.528614,"11440":599.542225,"11441":568.669916,"11442":551.846341,"11443":510.391833,"11444":541.019652,"11445":475.669905,"11446":598.799134,"11447":369.274836,"11448":507.097718,"11449":431.509296,"11450":554.819461,"11451":611.251955,"11452":480.669224,"11453":486.063934,"11454":627.934412,"11455":789.917319,"11456":437.030253,"11457":462.39566,"11458":591.166989,"11459":384.790916,"11460":424.301348,"11461":414.13233,"11462":577.938933,"11463":512.668097,"11464":607.199336,"11465":494.212307,"11466":634.312144,"11467":604.960123,"11468":580.469202,"11469":584.480554,"11470":460.669649,"11471":477.894958,"11472":462.849901,"11473":424.619251,"11474":562.994665,"11475":591.275425,"11476":545.813324,"11477":586.257431,"11478":579.91159,"11479":556.551982,"11480":563.902322,"11481":555.827763,"11482":458.292508,"11483":748.670323,"11484":575.15448,"11485":492.722434,"11486":676.976951,"11487":677.997468,"11488":506.713977,"11489":390.115589,"11490":640.22358,"11491":426.28586,"11492":636.944876,"11493":628.145934,"11494":507.352456,"11495":398.232803,"11496":428.203975,"11497":478.666004,"11498":608.112549,"11499":553.088188,"11500":636.774136,"11501":438.905906,"11502":360.559649,"11503":478.073801,"11504":672.617177,"11505":603.205896,"11506":619.340228,"11507":616.239927,"11508":360.29779,"11509":597.107242,"11510":561.038117,"11511":549.328914,"11512":349.954665,"11513":442.427643,"11514":430.492335,"11515":434.172938,"11516":602.549422,"11517":586.150993,"11518":460.102322,"11519":526.866926,"11520":650.32619,"11521":518.992316,"11522":448.38342,"11523":384.220897,"11524":512.724255,"11525":429.919086,"11526":626.002962,"11527":577.799699,"11528":425.161488,"11529":421.282841,"11530":534.011695,"11531":436.156643,"11532":467.454567,"11533":637.807475,"11534":491.05079,"11535":537.333529,"11536":430.381594,"11537":520.519305,"11538":588.118874,"11539":558.503095,"11540":783.064283,"11541":573.869668,"11542":386.467521,"11543":488.563121,"11544":532.256419,"11545":366.685808,"11546":476.774459,"11547":362.285457,"11548":454.993456,"11549":499.554876,"11550":561.939963,"11551":544.943649,"11552":569.805534,"11553":694.834862,"11554":628.627969,"11555":686.452607,"11556":446.148092,"11557":589.628721,"11558":672.258543,"11559":633.249031,"11560":522.886565,"11561":529.944551,"11562":399.554484,"11563":427.031518,"11564":620.038504,"11565":663.094342,"11566":414.577594,"11567":551.522196,"11568":600.282747,"11569":442.34442,"11570":585.361892,"11571":606.133551,"11572":529.524864,"11573":677.440338,"11574":428.700807,"11575":435.254759,"11576":440.559752,"11577":428.116196,"11578":711.819899,"11579":665.250098,"11580":511.724242,"11581":434.339328,"11582":571.783949,"11583":534.27988,"11584":574.502764,"11585":580.504246,"11586":388.968689,"11587":564.753761,"11588":587.705433,"11589":691.143337,"11590":559.369467,"11591":530.384522,"11592":348.736101,"11593":395.784788,"11594":388.828479,"11595":594.957201,"11596":610.998162,"11597":664.821553,"11598":504.544362,"11599":348.662823,"11600":466.374318,"11601":726.574998,"11602":586.059275,"11603":620.693274,"11604":525.78848,"11605":531.143112,"11606":419.490845,"11607":549.076497,"11608":402.158219,"11609":584.717514,"11610":623.943123,"11611":482.651057,"11612":536.838975,"11613":595.430142,"11614":416.125876,"11615":630.804396,"11616":473.498905,"11617":604.567553,"11618":695.840835,"11619":519.24867,"11620":550.613009,"11621":569.274953,"11622":628.470896,"11623":499.409396,"11624":586.382775,"11625":631.489377,"11626":418.558881,"11627":528.115888,"11628":750.286866,"11629":403.436267,"11630":578.471022,"11631":541.075082,"11632":673.743177,"11633":544.724963,"11634":473.413501,"11635":630.993082,"11636":543.278725,"11637":457.604206,"11638":394.386252,"11639":374.386728,"11640":593.221355,"11641":472.131422,"11642":660.407343,"11643":614.848941,"11644":477.016545,"11645":659.941773,"11646":641.721585,"11647":669.10193,"11648":650.28005,"11649":514.681473,"11650":437.565851,"11651":656.900755,"11652":654.068438,"11653":381.091713,"11654":442.670455,"11655":454.293469,"11656":614.244844,"11657":615.280613,"11658":609.56721,"11659":625.312953,"11660":607.741348,"11661":604.126796,"11662":421.174586,"11663":508.572363,"11664":481.364303,"11665":580.167325,"11666":530.379638,"11667":522.08748,"11668":548.366669,"11669":616.605305,"11670":466.753277,"11671":579.081692,"11672":471.357545,"11673":471.004728,"11674":545.497874,"11675":446.235526,"11676":668.760142,"11677":584.272263,"11678":546.071148,"11679":485.122307,"11680":447.052776,"11681":484.298619,"11682":519.29842,"11683":628.563408,"11684":482.895174,"11685":585.588953,"11686":523.942525,"11687":568.428194,"11688":426.501629,"11689":378.06894,"11690":448.384078,"11691":463.34931,"11692":600.575902,"11693":643.798189,"11694":544.17724,"11695":601.149466,"11696":717.029227,"11697":616.376418,"11698":508.167397,"11699":579.798021,"11700":493.57747,"11701":655.963126,"11702":657.945668,"11703":579.630418,"11704":553.325696,"11705":642.381908,"11706":513.461613,"11707":455.188262,"11708":541.582351,"11709":601.39263,"11710":497.710843,"11711":414.53304,"11712":506.278598,"11713":540.438688,"11714":535.780184,"11715":542.298168,"11716":425.886992,"11717":395.08262,"11718":423.454538,"11719":631.142529,"11720":481.368209,"11721":380.737586,"11722":482.845292,"11723":472.211818,"11724":459.914008,"11725":529.731564,"11726":444.39217,"11727":619.349934,"11728":670.811412,"11729":532.22277,"11730":713.501272,"11731":474.059429,"11732":386.591415,"11733":621.486363,"11734":581.924141,"11735":549.921452,"11736":519.755695,"11737":734.871666,"11738":363.304655,"11739":640.370623,"11740":623.395485,"11741":697.593105,"11742":398.456325,"11743":571.894545,"11744":551.116167,"11745":443.973494,"11746":645.656805,"11747":637.095995,"11748":576.888208,"11749":588.343956,"11750":425.094841,"11751":628.392441,"11752":393.737476,"11753":586.44557,"11754":501.406833,"11755":572.983753,"11756":649.557254,"11757":490.262094,"11758":606.596835,"11759":574.710572,"11760":534.905435,"11761":562.81319,"11762":647.667048,"11763":612.987582,"11764":428.069014,"11765":672.629986,"11766":482.008269,"11767":538.921869,"11768":438.435698,"11769":608.181166,"11770":685.180722,"11771":464.875911,"11772":525.389019,"11773":390.432798,"11774":540.077156,"11775":449.841938,"11776":639.19367,"11777":406.572317,"11778":779.362588,"11779":449.152588,"11780":489.963512,"11781":712.875369,"11782":532.900634,"11783":625.662637,"11784":397.998116,"11785":560.072318,"11786":500.120482,"11787":542.703958,"11788":382.075913,"11789":561.031355,"11790":595.199605,"11791":715.365487,"11792":724.799871,"11793":471.705941,"11794":492.268462,"11795":530.373109,"11796":526.215394,"11797":518.850723,"11798":445.935143,"11799":542.439816,"11800":468.29741,"11801":571.925352,"11802":588.893728,"11803":408.746837,"11804":444.545191,"11805":695.631664,"11806":552.112334,"11807":414.079915,"11808":625.587611,"11809":604.386088,"11810":714.795285,"11811":468.678799,"11812":517.030262,"11813":672.400458,"11814":427.316359,"11815":603.6637,"11816":404.834613,"11817":461.712575,"11818":444.24734,"11819":413.045884,"11820":474.982573,"11821":493.307282,"11822":701.581839,"11823":387.52688,"11824":502.081003,"11825":460.6175,"11826":632.78284,"11827":544.96919,"11828":353.080789,"11829":510.348529,"11830":482.722937,"11831":632.282209,"11832":430.925827,"11833":473.385792,"11834":564.526935,"11835":506.212601,"11836":537.236962,"11837":582.690322,"11838":604.976967,"11839":663.975241,"11840":562.805671,"11841":419.449659,"11842":435.216525,"11843":534.642731,"11844":631.467928,"11845":659.462813,"11846":436.226569,"11847":438.159806,"11848":460.221759,"11849":653.521493,"11850":555.905807,"11851":580.34973,"11852":582.755589,"11853":443.857577,"11854":435.666431,"11855":531.393747,"11856":471.980884,"11857":610.530819,"11858":438.792638,"11859":710.685323,"11860":431.452874,"11861":625.586884,"11862":400.357341,"11863":708.113674,"11864":349.372931,"11865":614.832983,"11866":604.642146,"11867":569.28023,"11868":526.285639,"11869":631.624561,"11870":654.760767,"11871":575.107673,"11872":529.962223,"11873":502.54557,"11874":357.982474,"11875":704.594655,"11876":407.92463,"11877":365.884319,"11878":596.303147,"11879":549.521358,"11880":572.139821,"11881":434.76794,"11882":448.797271,"11883":433.582088,"11884":532.441711,"11885":561.371538,"11886":613.859521,"11887":498.181219,"11888":637.604049,"11889":460.311342,"11890":392.474791,"11891":407.786691,"11892":589.647037,"11893":673.628683,"11894":537.008984,"11895":508.784181,"11896":591.594358,"11897":586.291814,"11898":582.190552,"11899":397.873838,"11900":613.275646,"11901":431.00931,"11902":432.242675,"11903":399.601734,"11904":450.15937,"11905":467.722239,"11906":394.160614,"11907":599.687273,"11908":552.715331,"11909":410.446385,"11910":723.470211,"11911":744.106292,"11912":517.285678,"11913":409.4498,"11914":423.212113,"11915":490.098643,"11916":378.79402,"11917":610.920695,"11918":726.96298,"11919":603.500065,"11920":608.625443,"11921":804.37886,"11922":629.253275,"11923":390.844816,"11924":484.258146,"11925":412.91822,"11926":610.716304,"11927":404.779539,"11928":516.582475,"11929":654.689113,"11930":663.162123,"11931":672.714777,"11932":551.364448,"11933":458.311362,"11934":522.852764,"11935":657.34121,"11936":441.999683,"11937":557.882632,"11938":424.149067,"11939":583.795535,"11940":411.696954,"11941":418.708476,"11942":469.446106,"11943":496.955346,"11944":616.823623,"11945":529.638458,"11946":476.349274,"11947":627.986363,"11948":484.518949,"11949":457.668752,"11950":754.471207,"11951":334.472165,"11952":511.408813,"11953":519.921979,"11954":469.208672,"11955":464.029589,"11956":612.686423,"11957":639.167912,"11958":642.440267,"11959":526.812074,"11960":556.53229,"11961":475.094207,"11962":449.166997,"11963":458.661252,"11964":636.100887,"11965":589.009823,"11966":554.551534,"11967":467.040079,"11968":494.837325,"11969":429.912633,"11970":407.28877,"11971":527.819654,"11972":604.267271,"11973":474.075511,"11974":479.0628,"11975":483.460628,"11976":652.293832,"11977":381.053571,"11978":448.178854,"11979":466.907922,"11980":456.747541,"11981":464.778047,"11982":564.338633,"11983":388.58194,"11984":544.850723,"11985":446.543768,"11986":440.613302,"11987":546.935736,"11988":492.844613,"11989":528.980118,"11990":512.137158,"11991":433.283578,"11992":591.91549,"11993":680.984646,"11994":681.885446,"11995":487.34491,"11996":573.393548,"11997":613.969843,"11998":502.316073,"11999":353.696083,"12000":679.329048,"12001":604.50917,"12002":448.726855,"12003":742.198048,"12004":595.74654,"12005":686.747616,"12006":561.693176,"12007":373.772765,"12008":497.092124,"12009":543.366982,"12010":532.350836,"12011":561.28851,"12012":448.046611,"12013":574.158608,"12014":422.218914,"12015":584.562708,"12016":475.696497,"12017":495.66853,"12018":437.807413,"12019":386.813978,"12020":578.245772,"12021":469.890885,"12022":471.321374,"12023":777.897119,"12024":381.456841,"12025":556.626675,"12026":548.553923,"12027":532.281346,"12028":478.77632,"12029":422.364935,"12030":637.7025,"12031":479.659446,"12032":569.476327,"12033":425.549362,"12034":704.066736,"12035":386.89107,"12036":638.741919,"12037":465.320689,"12038":526.790314,"12039":500.75183,"12040":573.992262,"12041":565.239852,"12042":436.439247,"12043":451.454013,"12044":626.501194,"12045":400.753562,"12046":527.854689,"12047":411.369186}} ``` ## Commands Run from the workspace, with all state under `test/scratch/` (never /tmp): ``` git clone -q https://github.com/gtmcknight/amm-sim T && cd T && git checkout -q 4812a6382311624e1506aca131ca35c378f930d9 cd research/solved && python3 --version # Python 3.12.3 python3 -I gates.py # Gate P curl -sS -o Q.md https://api.imd.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40 curl -sS -o B.md https://api.imd.fun/artifacts/17d249ab0c33fc44931d9b105cf3f9e3846a560bd518b67310c2a56defacdecc python3 -I ex.py Q.md B.md x # extracts the ```solidity / ```python blocks of Q and the base64 under '## Data' of B; prints bytes + sha256 cp x/qmref.py x/blob.bin T/research/solved/ python3 -I chk.py # in research/solved: sys.path.insert(0,'.'); replica2.run(s, QMRef('blob.bin'))['edge'] for 10000..10002 python3 -I base.py 10000 10015 t16.json # timing, Pool(8), chunksize 1 python3 -I base.py 10000 12047 full.json # baseline, Pool(8), each seed once, round(edge,6) ``` `base.py` maps `f(s) = (s, round(replica2.run(s, QMRef('blob.bin'))['edge'], 6))` over the seed range with `Pool(8).map`. Because `python3 -I` drops the script directory from `sys.path`, the scripts run from `research/solved` with `sys.path.insert(0, '.')`. ## Problems - None blocking. Gate P, the sha256 checks and the three check values all matched exactly. - `qmref.py` has no published sha256 in Q, so its hash above is the one I measured, not one I verified against Q. - `seconds_per_seed` is wall time per seed with 8 parallel workers on this machine. A single-process run costs about 0.47 s per seed (the first call is about 2.1 s, mostly from decoding the blob tables, which are cached per process). - No engine (amm-challenge) work was in scope for this item, so no gas or board figures are reported here.