{"item":"rq-2","batch":"e09-refit-q","status":"complete","credit":"Taylor (gtmcknight): replica, Gaussian filter, solved policy, qm tables; github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved, README read first. LEAN overlay: lb-4/tca-path/o1-b and the credited IdentityMD predecessor items.","scope":"Replica only: levels are not board scores. No contract, engine or board claim.","sha256_checks":{"LB4":{"url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","expected_sha256":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","actual_sha256":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","bytes":53722,"pass":true},"TCA":{"url":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","expected_sha256":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","actual_sha256":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","bytes":63997,"pass":true},"REFIT":{"url":"https://api.imdnotdead.fun/artifacts/5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","expected_sha256":"5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","actual_sha256":"5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","bytes":54017,"pass":true}},"bundle_checks":{"TCA_compressed_sha256":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","TCA_manifest_sha256":"272c6b758f6e6ead17a5bc832a0bbab64520f976450c94dbf7b87d3b7ed1b2c1","TCA_manifest_entries_verified":32,"LB4_compressed_sha256":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","LB4_overlay_and_unchanged_manifest_checks":"all pass","base_blob_bytes":10167,"refit_blob_bytes":10167,"base_blob_sha256":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","refit_blob_sha256":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d","refit_first_375_bytes_unchanged":true},"P":{"command":"python3 -I gates.py","cwd":"amm-sim/research/solved","commit":"4812a6382311624e1506aca131ca35c378f930d9","unmodified":true,"exit_code":0,"matches_README_to_6_decimals":true,"columns":["seed","perfect-info","gaussian+plain","gaussian+qm","lattice+qm"],"rows":[[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"]],"file_sha256":{"README.md":"02d2b51f17adbb5411a2a67f7a37255143ba381a73ff10abba557d7d23c0cef2","gates.py":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604","replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","evalpol.py":"6e67667bfed7798bdd3384652a6efc6ba0b1fce653740d0f9af2bcbcb8e6a27c","real.py":"1305b5333731c046c3e6736cc2578eff4635c88132a39c22f5780d78aef2c81e","latt.py":"925c0fe996b19fd51fb79a85d5e4dba4bc2f5453d0a156cc1e480f65a6a00cc8","pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"}},"file_sha256":{"scratch/ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","scratch/ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","scratch/ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","scratch/ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","scratch/ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","scratch/ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","scratch/ref/refit.bin":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d","scratch/score.py":"a831daafe06ad369f6060692311b679ab5f79773d1f66800714b820f70f38dba","scratch/materialize.py":"12ebf6f647f67826e7bc5ad2df0f045bec1b46028c552b136bb706fd4b7bbaea","scratch/rq2.py":"42aa190db23d3881accf9ec889445d9a3f376795db5c433e3c8c6365253795cf","scratch/rq2_parallel.py":"6fc4dc3bc14e0897426f0b43f7d5dbba76a553b2b22e1fdd331dad5ebb1f6d4e","scratch/aggregate_rq2.py":"d875f6dbdacd215f9e283c85bb5c759c4d26db49b186e92d938a3f55a08c7b2b"},"arms":{"qt1":{"class":"QMRef","file_sha256":{"scratch/ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","scratch/ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","scratch/ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","scratch/ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","scratch/ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","scratch/ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af"}},"LEAN":{"class":"TellPolicy","file_sha256":{"scratch/ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","scratch/ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","scratch/ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","scratch/ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","scratch/ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","scratch/ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af"}},"R":{"class":"TellPolicy","file_sha256":{"scratch/ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","scratch/ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","scratch/ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","scratch/ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","scratch/ref/refit.bin":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d","scratch/ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af"}}},"method":{"steps_per_run":10000,"driver":"unmodified scratch/ref/port.py o1-b; each arm alone against the fixed 30 bps rival, same seed streams","parameters":"TellPolicy(blob_path, 4, .0001); only R blob_path differs from LEAN","order":"Gate P first. Choose seeds 64256..64511 strictly increasing. Decision persisted before any report seed. Report seeds 10512..11023 strictly increasing, once each, all arms regardless of decision.","execution":"plain python3 -I, standard library only. First 33 seeds serial arms; subsequent seeds use three persistent single-worker processes, one per arm, with a strict seed barrier. No parallel seeds. Each scoring command uses timeout 470 (under eight minutes).","statistics":"Paired differences on the same seeds; SE = sample standard deviation (ddof=1) / sqrt(n); worst5 is the five smallest differences, ties by ascending seed; statistics computed before six-decimal display rounding.","label_counts":"Unmodified TellPolicy.tell.counts from update(): labels for first own callbacks with dt >= 1. Same-step callbacks and the t=0 callback are not counted. qt1 has no tell.","file_hash_scope":"All non-standard-library policy source modules loaded by the shared harness and the blob input for each arm are identified per arm (including imported but unused modules); shared orchestration files are hashed separately. Python standard-library files are not host-inspected."},"decision":{"rule":"Choose R iff mean(R-LEAN) > 2 * paired sample SE on 64256..64511; otherwise LEAN.","selected":"R","mean_diff":0.03693879908075792,"se":0.009592074187177817,"two_se":0.019184148374355635,"n":256,"margin_over_two_se":0.017754650706402288,"report_not_opened":true,"frozen_at_unix":1794300201.8352396,"choose_jsonl_sha256":"20d48bf3a2b06198bb1d30c368948dcbc29693bf62574dfe4fb51fc37db243f8"},"choose":{"seed_start":64256,"seed_end_inclusive":64511,"n_steps":10000,"n":256,"mean_edges":{"qt1":536.8982467864525,"LEAN":539.9554826704132,"R":539.9924214694939},"paired":{"R-LEAN":{"n":256,"mean_diff":0.03693879908075792,"se":0.009592074187177817,"min":-0.596029630889575,"worst5":[{"seed":64502,"diff":-0.596029630889575},{"seed":64262,"diff":-0.3303523782908542},{"seed":64264,"diff":-0.31964724788321064},{"seed":64330,"diff":-0.30772527640442604},{"seed":64445,"diff":-0.30506557974649695}]},"R-qt1":{"n":256,"mean_diff":3.0941746830414276,"se":0.06323431293347664,"min":-0.12005265852644698,"worst5":[{"seed":64509,"diff":-0.12005265852644698},{"seed":64322,"diff":0.3414897461658484},{"seed":64276,"diff":1.0057541326567616},{"seed":64484,"diff":1.0129806862047417},{"seed":64504,"diff":1.312896590839955}]},"LEAN-qt1":{"n":256,"mean_diff":3.0572358839606695,"se":0.06388723444764498,"min":-0.025542328164306127,"worst5":[{"seed":64509,"diff":-0.025542328164306127},{"seed":64322,"diff":0.2639064651220906},{"seed":64276,"diff":0.9843712175697306},{"seed":64484,"diff":1.059314803823554},{"seed":64504,"diff":1.3673609732097134}]}},"seeds_under_minus_2_against_qt1":{"R":[],"LEAN":[]},"tell_label_counts":{"LEAN":{"neg":823669,"pos":977034},"R":{"neg":824705,"pos":974879}},"seconds_per_run":{"qt1":{"mean":0.6247462082483253,"min":0.45478925900533795,"max":5.0812133639119565},"LEAN":{"mean":0.8121110802767362,"min":0.6267537288367748,"max":5.290886913891882},"R":{"mean":0.8090432394492382,"min":0.6133481059223413,"max":5.377242722082883}}},"report":{"seed_start":10512,"seed_end_inclusive":11023,"n_steps":10000,"n":512,"mean_edges":{"qt1":528.650722549234,"LEAN":531.8087581086368,"R":531.8504283119747},"paired":{"R-LEAN":{"n":512,"mean_diff":0.04167020333801674,"se":0.0076003944055707835,"min":-1.587869292849632,"worst5":[{"seed":10843,"diff":-1.587869292849632},{"seed":10852,"diff":-1.103121259858085},{"seed":10990,"diff":-0.5393316455633794},{"seed":10789,"diff":-0.38907741543062},{"seed":10886,"diff":-0.3474705224344916}]},"R-qt1":{"n":512,"mean_diff":3.1997057627407357,"se":0.044020698371996035,"min":0.2292063322854574,"worst5":[{"seed":10642,"diff":0.2292063322854574},{"seed":10519,"diff":0.44725605881797037},{"seed":10822,"diff":0.5747322840533116},{"seed":10731,"diff":0.6667177927137686},{"seed":10578,"diff":0.9051188176563301}]},"LEAN-qt1":{"n":512,"mean_diff":3.158035559402719,"se":0.04351541480762935,"min":0.225518981451728,"worst5":[{"seed":10642,"diff":0.225518981451728},{"seed":10519,"diff":0.4145174142894348},{"seed":10731,"diff":0.4861750638468152},{"seed":10822,"diff":0.6628634339496102},{"seed":10838,"diff":0.9434240850990818}]}},"seeds_under_minus_2_against_qt1":{"R":[],"LEAN":[]},"tell_label_counts":{"LEAN":{"neg":1640397,"pos":1939784,"unsupported":1},"R":{"neg":1642920,"pos":1935577,"unsupported":1}},"seconds_per_run":{"qt1":{"mean":0.5623458670515902,"min":0.45334954373538494,"max":5.048783185426146},"LEAN":{"mean":0.7462441764964751,"min":0.6097955857403576,"max":5.252960285637528},"R":{"mean":0.7452161052606243,"min":0.6103243720717728,"max":5.270225991960615}}},"report_per_seed_edges":{"columns":["seed","qt1","LEAN","R"],"decimal_places":6,"rows":[[10512,"660.173965","663.073966","663.110170"],[10513,"480.407251","482.926096","482.850002"],[10514,"386.123620","388.954325","388.809182"],[10515,"475.348449","479.020254","478.978799"],[10516,"585.584353","588.290161","588.444421"],[10517,"627.288072","629.744112","629.636885"],[10518,"494.796905","496.825702","496.823255"],[10519,"571.284951","571.699468","571.732207"],[10520,"490.831399","494.984270","495.221017"],[10521,"499.624429","502.761197","503.018842"],[10522,"503.416983","506.247272","506.328302"],[10523,"628.085910","631.717835","631.703275"],[10524,"526.287633","529.183964","529.438365"],[10525,"451.417174","454.148583","454.136904"],[10526,"538.971741","541.530429","541.607916"],[10527,"525.274706","528.463177","528.498353"],[10528,"373.011371","375.871011","375.906027"],[10529,"464.959131","469.200412","469.315339"],[10530,"605.064165","609.962319","610.039095"],[10531,"593.914234","596.267581","596.111526"],[10532,"326.727276","329.943771","330.010482"],[10533,"439.115696","442.346701","442.574133"],[10534,"613.792335","615.066576","614.899004"],[10535,"524.655009","527.675537","527.766118"],[10536,"503.349349","506.125944","506.154576"],[10537,"514.347391","516.025687","516.232084"],[10538,"453.342670","457.491939","457.554831"],[10539,"502.693984","505.417972","505.421133"],[10540,"567.624572","571.366921","571.318442"],[10541,"673.803545","676.194385","676.228825"],[10542,"622.856746","626.774716","626.893778"],[10543,"542.056100","546.841606","546.802768"],[10544,"461.782304","465.125490","465.071556"],[10545,"546.296958","548.760513","548.922995"],[10546,"505.357585","509.021795","509.199857"],[10547,"642.908771","647.175676","647.189693"],[10548,"541.707902","544.106735","544.182962"],[10549,"584.186507","586.920453","586.867236"],[10550,"601.494622","605.232137","604.994504"],[10551,"593.322854","596.556106","596.549471"],[10552,"496.952023","501.523234","501.783931"],[10553,"455.504990","459.079598","459.170279"],[10554,"482.165603","483.961202","484.074105"],[10555,"627.019702","632.642541","632.375830"],[10556,"351.949574","355.245611","355.248467"],[10557,"530.199986","533.890890","533.825824"],[10558,"440.990451","442.050113","441.988823"],[10559,"470.737019","476.113742","476.050891"],[10560,"521.022773","524.494614","524.744056"],[10561,"613.639995","614.983592","615.176874"],[10562,"557.936799","560.091105","559.883296"],[10563,"448.907852","451.175620","451.137300"],[10564,"451.545437","455.612412","455.579021"],[10565,"626.355463","629.291845","629.251502"],[10566,"427.166594","429.335897","429.282044"],[10567,"529.836899","533.022477","533.089321"],[10568,"459.440852","462.111896","462.196807"],[10569,"555.394770","559.693405","559.864352"],[10570,"531.572991","534.732019","535.358897"],[10571,"658.194675","662.464820","662.431171"],[10572,"515.973923","519.581132","519.743406"],[10573,"591.807777","594.384846","594.108139"],[10574,"560.484967","563.149313","563.190657"],[10575,"536.980620","539.746518","539.500645"],[10576,"561.522885","564.400263","564.693492"],[10577,"445.262703","447.668257","447.872425"],[10578,"641.878701","642.936395","642.783820"],[10579,"395.721332","398.953222","398.931137"],[10580,"406.417781","408.750819","408.787946"],[10581,"460.123968","463.079543","463.255983"],[10582,"506.628729","509.236756","509.410810"],[10583,"666.812874","671.332071","671.341312"],[10584,"499.192865","501.870937","501.922287"],[10585,"495.190901","498.249912","498.319502"],[10586,"414.085998","416.835526","417.166949"],[10587,"386.135429","388.697181","388.787976"],[10588,"479.387550","481.361654","481.362679"],[10589,"518.953135","522.675304","522.770145"],[10590,"537.392151","541.694098","541.714424"],[10591,"630.018974","634.104747","634.043443"],[10592,"527.865311","532.004064","531.954435"],[10593,"417.310892","421.535148","421.652679"],[10594,"549.552431","553.162236","553.222740"],[10595,"501.931723","504.778318","504.917801"],[10596,"595.720723","599.250771","599.108418"],[10597,"571.237756","572.848771","572.857022"],[10598,"558.819651","562.121224","561.988543"],[10599,"444.128471","446.779297","446.825902"],[10600,"600.148770","603.500731","603.447105"],[10601,"450.769770","453.936275","453.948967"],[10602,"633.564670","635.623377","635.706225"],[10603,"445.796307","449.612707","449.548151"],[10604,"467.559448","471.910331","471.885408"],[10605,"561.756632","565.617380","565.688824"],[10606,"421.829720","424.146331","424.472904"],[10607,"722.764348","726.434473","726.392439"],[10608,"698.280203","700.943555","701.189675"],[10609,"473.450789","475.376463","475.569087"],[10610,"432.813908","434.349831","434.452845"],[10611,"454.560933","457.401310","457.448673"],[10612,"569.575571","573.730262","573.718879"],[10613,"347.789855","349.467864","349.256508"],[10614,"607.269599","609.570466","609.968276"],[10615,"586.321837","589.798051","589.857793"],[10616,"580.406761","582.412005","582.207585"],[10617,"643.424291","647.375382","647.475938"],[10618,"421.255445","425.089311","424.897536"],[10619,"578.617646","582.689095","582.633822"],[10620,"431.982661","434.608783","434.736740"],[10621,"453.466313","457.219216","457.353145"],[10622,"403.609155","406.267827","406.262238"],[10623,"421.319932","424.944481","424.944209"],[10624,"605.170605","609.365668","609.641946"],[10625,"447.905165","451.360393","451.488792"],[10626,"565.721796","568.591954","568.673622"],[10627,"589.918809","592.004967","591.970453"],[10628,"590.600476","594.850128","594.860377"],[10629,"537.779818","541.258064","541.287542"],[10630,"498.572896","499.678576","499.750751"],[10631,"583.706691","586.931689","587.059067"],[10632,"692.736858","696.313766","696.457232"],[10633,"577.533054","581.430761","581.633746"],[10634,"577.540319","578.792847","578.872204"],[10635,"489.666725","494.015376","494.047329"],[10636,"545.779700","549.608481","549.804560"],[10637,"441.055977","444.488629","444.567631"],[10638,"767.876951","771.469001","771.705471"],[10639,"575.880185","578.758605","578.949462"],[10640,"626.768501","629.774727","629.923580"],[10641,"624.794094","628.122209","627.859546"],[10642,"515.877361","516.102880","516.106567"],[10643,"483.006054","487.020922","487.097595"],[10644,"541.175641","543.858253","543.782380"],[10645,"467.310636","469.334038","469.314732"],[10646,"512.050907","515.703712","515.595468"],[10647,"689.298584","692.664670","693.052664"],[10648,"460.293202","462.422010","462.442498"],[10649,"385.038337","389.410402","389.387279"],[10650,"574.294727","578.517166","578.181253"],[10651,"604.196855","606.741703","606.621299"],[10652,"709.861696","714.107230","714.570300"],[10653,"529.816998","533.426135","533.857972"],[10654,"631.562685","634.153085","634.109956"],[10655,"479.239097","481.191267","481.288745"],[10656,"636.819483","641.177578","641.063206"],[10657,"458.919770","461.616433","461.656130"],[10658,"610.794334","614.158036","614.117412"],[10659,"707.159621","710.502074","710.512444"],[10660,"507.915671","511.150899","511.203019"],[10661,"633.637938","635.746868","635.816054"],[10662,"554.832976","558.055586","557.917557"],[10663,"653.650842","657.658283","657.907913"],[10664,"678.357379","681.866421","682.023802"],[10665,"455.130543","457.907714","458.047974"],[10666,"572.087566","575.375732","575.448793"],[10667,"491.244043","494.657638","494.826854"],[10668,"618.226617","619.960955","620.088727"],[10669,"466.478516","468.450380","468.619913"],[10670,"637.757637","639.695104","639.664891"],[10671,"596.918081","600.530270","600.617315"],[10672,"611.699548","616.812883","616.749212"],[10673,"458.684092","462.355261","462.358218"],[10674,"503.464050","507.162618","507.060912"],[10675,"617.493474","621.720016","621.816082"],[10676,"659.003533","663.997210","663.934205"],[10677,"525.925694","528.258241","528.358670"],[10678,"479.378797","482.609044","482.958163"],[10679,"441.898513","444.193846","444.064501"],[10680,"421.179990","423.602392","423.530795"],[10681,"464.015713","466.964635","467.149724"],[10682,"433.134606","435.536955","435.559081"],[10683,"543.919108","547.274628","547.282126"],[10684,"517.889320","520.812837","520.758042"],[10685,"667.024120","671.646808","671.629729"],[10686,"653.065194","655.643350","655.712259"],[10687,"539.704696","543.328722","543.155877"],[10688,"455.838095","458.752921","458.740390"],[10689,"592.950971","596.314364","596.223343"],[10690,"604.517484","608.299290","608.374153"],[10691,"378.879402","382.382212","382.107875"],[10692,"573.004772","575.672108","575.615291"],[10693,"484.369796","488.176940","488.236674"],[10694,"572.361624","576.392021","576.648415"],[10695,"686.279265","691.138932","691.314327"],[10696,"411.749079","417.213216","417.161112"],[10697,"379.578265","383.046673","382.954218"],[10698,"515.708858","518.732407","518.713892"],[10699,"403.304789","405.440442","405.327911"],[10700,"509.863983","512.932391","513.143978"],[10701,"579.270208","582.317352","582.332756"],[10702,"537.159772","539.871839","539.951610"],[10703,"518.246241","521.790325","521.797732"],[10704,"554.551661","560.036246","560.326327"],[10705,"702.037398","705.438349","705.534335"],[10706,"556.846864","559.064299","559.098205"],[10707,"561.489157","564.942384","564.921596"],[10708,"516.210146","519.420975","519.422820"],[10709,"709.152394","712.103786","712.599485"],[10710,"442.744024","445.801476","446.117141"],[10711,"759.536752","763.864180","763.859926"],[10712,"549.755196","553.533781","553.658320"],[10713,"364.711329","368.631436","368.573862"],[10714,"642.104136","644.810910","644.822856"],[10715,"404.703341","406.159197","406.239091"],[10716,"490.000316","494.030201","493.968235"],[10717,"448.441459","451.863514","451.968045"],[10718,"524.788748","528.870381","528.906125"],[10719,"349.906296","353.237297","353.237941"],[10720,"485.076894","487.315947","487.350303"],[10721,"450.404008","452.632280","452.649051"],[10722,"521.321705","524.418315","524.412469"],[10723,"531.731349","533.558135","533.261679"],[10724,"485.983892","489.417194","489.487214"],[10725,"446.097037","449.146820","449.022409"],[10726,"576.378665","580.763448","580.701839"],[10727,"702.036540","704.149622","704.250890"],[10728,"457.891071","460.705546","460.553966"],[10729,"462.873235","466.876767","466.859583"],[10730,"591.951720","595.904640","595.997080"],[10731,"404.834226","405.320401","405.500944"],[10732,"584.242977","586.671007","586.651081"],[10733,"420.839485","425.588804","425.570642"],[10734,"452.944072","455.190603","455.097148"],[10735,"559.658128","563.941024","563.907264"],[10736,"752.274565","754.269704","754.107689"],[10737,"435.766341","439.569248","439.636640"],[10738,"426.017652","429.187233","429.281558"],[10739,"542.210338","545.857001","546.141172"],[10740,"524.767674","529.129508","529.219355"],[10741,"567.495801","571.181050","571.233020"],[10742,"477.137254","479.941822","480.123899"],[10743,"416.117075","418.733233","418.786727"],[10744,"358.001619","360.067594","360.274748"],[10745,"641.410616","645.289578","645.440873"],[10746,"500.367178","502.135456","502.352431"],[10747,"432.295911","435.696714","435.747325"],[10748,"650.880153","654.826157","654.571769"],[10749,"614.974517","617.256644","617.195219"],[10750,"394.263910","396.882302","396.850986"],[10751,"369.939487","372.206293","372.208821"],[10752,"484.427796","486.939323","487.039908"],[10753,"541.579993","545.426239","545.476728"],[10754,"563.347193","566.080194","566.026363"],[10755,"433.712417","436.262789","436.273498"],[10756,"516.583870","519.755534","519.580129"],[10757,"584.914528","590.621359","590.509288"],[10758,"472.026077","475.413171","475.382733"],[10759,"561.117379","565.503138","565.717349"],[10760,"512.960521","516.167489","516.152979"],[10761,"744.467788","749.628992","749.936055"],[10762,"646.575462","651.247336","651.178194"],[10763,"440.003005","443.593619","443.537219"],[10764,"658.632406","662.635202","662.584189"],[10765,"638.356040","642.810316","642.884229"],[10766,"481.559965","484.949609","484.921195"],[10767,"510.714775","513.117916","513.280412"],[10768,"534.717358","537.676357","537.551923"],[10769,"491.643830","494.632537","494.755871"],[10770,"384.647692","386.811752","386.675072"],[10771,"464.289160","467.901747","467.719660"],[10772,"677.572273","680.315073","680.561508"],[10773,"485.162201","491.238390","491.448934"],[10774,"431.708987","434.886388","435.036045"],[10775,"649.641554","652.480327","652.568656"],[10776,"412.726261","415.280320","415.301619"],[10777,"432.829728","435.738771","435.729967"],[10778,"437.017462","440.655923","440.853278"],[10779,"526.476371","530.515044","530.578711"],[10780,"483.365680","486.712876","486.802105"],[10781,"466.084627","469.022044","468.858588"],[10782,"443.922101","446.304822","446.244748"],[10783,"509.712518","511.605107","511.480056"],[10784,"421.217109","423.500139","423.826334"],[10785,"487.579583","489.672571","489.908537"],[10786,"400.497543","403.132363","403.085954"],[10787,"483.847170","486.758752","486.822834"],[10788,"429.763674","431.689507","431.892363"],[10789,"519.942915","524.481801","524.092724"],[10790,"424.174369","426.349423","426.559327"],[10791,"719.289037","724.085078","724.435897"],[10792,"584.474027","587.286437","587.194364"],[10793,"597.929610","601.455637","601.480488"],[10794,"520.785499","524.209249","524.391638"],[10795,"620.986404","623.921839","623.848247"],[10796,"492.124112","495.589061","495.568567"],[10797,"589.190032","592.149501","592.310928"],[10798,"433.680647","436.409709","436.272044"],[10799,"481.930062","486.776260","486.727746"],[10800,"428.998430","431.702567","431.695940"],[10801,"491.881836","495.172264","495.131230"],[10802,"531.373657","536.213645","536.053888"],[10803,"664.662451","671.605132","671.830725"],[10804,"548.697545","551.532176","551.674973"],[10805,"417.726302","420.442190","420.421470"],[10806,"447.764571","451.531202","451.626724"],[10807,"378.823141","381.662915","381.665313"],[10808,"500.847279","504.787731","504.643092"],[10809,"531.851100","533.983724","533.921990"],[10810,"735.159834","738.868364","738.988774"],[10811,"445.205157","448.608959","448.766096"],[10812,"386.314903","389.169510","389.116622"],[10813,"571.811977","574.310215","574.254937"],[10814,"680.207390","685.228672","685.203641"],[10815,"429.538133","430.624188","430.873258"],[10816,"642.782736","647.484916","647.337459"],[10817,"338.734790","342.319119","342.448964"],[10818,"505.195496","507.818406","507.815120"],[10819,"530.373641","534.545969","534.591650"],[10820,"514.399261","517.060805","517.098708"],[10821,"475.896916","478.647170","478.842818"],[10822,"762.388381","763.051244","762.963113"],[10823,"431.943187","434.936577","435.114381"],[10824,"556.692681","559.316767","559.582161"],[10825,"582.554304","584.404572","584.347244"],[10826,"592.261303","595.757022","595.830071"],[10827,"397.708157","399.785902","399.794974"],[10828,"574.643697","576.668766","576.696760"],[10829,"501.200749","503.731431","503.709462"],[10830,"540.443451","544.452752","544.223984"],[10831,"462.851126","466.066370","466.127821"],[10832,"532.154183","536.478863","536.437608"],[10833,"635.093570","638.831748","639.082966"],[10834,"475.817366","479.601815","479.510563"],[10835,"496.637115","498.360331","498.670247"],[10836,"614.079962","615.808307","615.758759"],[10837,"507.129893","511.990320","511.778421"],[10838,"549.343890","550.287314","550.459355"],[10839,"572.573905","576.873233","576.991546"],[10840,"462.720926","465.807101","465.729893"],[10841,"565.150872","568.883288","568.876406"],[10842,"649.174738","652.665930","652.928262"],[10843,"521.790604","525.396950","523.809081"],[10844,"401.595817","404.475873","404.506261"],[10845,"627.628198","630.559689","630.661533"],[10846,"412.725781","415.811238","415.658658"],[10847,"525.879057","529.073718","529.071679"],[10848,"531.394618","536.116577","536.146086"],[10849,"632.981246","636.735075","637.006752"],[10850,"562.259310","564.940967","564.928496"],[10851,"378.505467","380.805510","380.886029"],[10852,"806.161385","809.920379","808.817257"],[10853,"357.517478","359.094893","358.889702"],[10854,"338.477501","339.843640","339.852736"],[10855,"392.386033","395.606392","395.679854"],[10856,"495.984587","498.841673","498.782724"],[10857,"482.232460","485.281532","485.393687"],[10858,"608.493892","612.315775","612.223271"],[10859,"464.355718","467.512498","467.796403"],[10860,"567.298430","571.565869","571.662608"],[10861,"434.106255","437.272460","437.236328"],[10862,"560.687410","566.241675","566.442629"],[10863,"514.336319","516.462256","516.455746"],[10864,"507.334040","511.387411","511.622028"],[10865,"542.910803","546.621983","546.495117"],[10866,"442.373329","445.328726","445.682336"],[10867,"477.431059","480.998023","481.392722"],[10868,"590.127782","592.601566","592.587205"],[10869,"572.123485","576.063215","576.207125"],[10870,"546.470033","549.378298","549.345901"],[10871,"445.880276","448.652564","448.702925"],[10872,"456.350035","458.289474","458.541525"],[10873,"492.639915","496.565616","496.579042"],[10874,"399.700189","403.247196","403.135979"],[10875,"406.873137","410.560986","410.420091"],[10876,"518.260269","522.116136","522.510770"],[10877,"705.985802","708.213875","708.438194"],[10878,"496.032799","500.600154","500.654059"],[10879,"800.922883","804.827022","805.452332"],[10880,"500.429835","502.324515","502.514531"],[10881,"372.028817","376.352116","376.177771"],[10882,"489.517292","490.912892","491.058058"],[10883,"709.125576","713.197330","713.284500"],[10884,"527.625744","530.823171","530.843313"],[10885,"624.168309","627.117677","627.269641"],[10886,"557.611194","561.481695","561.134224"],[10887,"339.415316","341.919510","341.932239"],[10888,"381.347116","386.011438","385.989246"],[10889,"445.980220","450.436679","450.538918"],[10890,"672.186582","676.216888","676.355967"],[10891,"402.815131","404.263820","404.252478"],[10892,"465.537567","469.500491","469.685209"],[10893,"512.537735","513.860017","514.073544"],[10894,"631.070049","633.716197","633.687924"],[10895,"572.028484","575.231316","575.248193"],[10896,"479.571632","482.638835","482.399517"],[10897,"585.081612","589.716066","589.759067"],[10898,"483.192777","485.834554","486.068865"],[10899,"448.789837","450.663325","450.554869"],[10900,"518.235399","520.989189","521.250464"],[10901,"526.691588","529.547675","529.686821"],[10902,"574.674822","577.974778","577.986793"],[10903,"725.314452","727.033545","727.269707"],[10904,"397.446490","401.561127","401.650660"],[10905,"391.339478","393.964942","393.858311"],[10906,"568.975025","574.042656","574.183806"],[10907,"427.001034","430.735899","430.745404"],[10908,"476.238963","479.690656","479.635559"],[10909,"653.110653","655.478765","655.453423"],[10910,"453.168525","454.642986","454.580657"],[10911,"642.626017","645.562035","645.628106"],[10912,"376.918201","378.684217","378.611759"],[10913,"491.894229","494.013371","494.228725"],[10914,"576.049634","579.317566","579.168711"],[10915,"631.059370","635.184233","635.280764"],[10916,"467.003411","469.575199","469.622769"],[10917,"413.442931","417.566805","417.527349"],[10918,"383.286760","386.185526","386.289410"],[10919,"628.096654","632.116086","632.209563"],[10920,"733.251956","735.731430","735.598427"],[10921,"512.600098","515.631779","515.683917"],[10922,"652.321316","653.888379","653.966274"],[10923,"489.311874","490.573937","490.583898"],[10924,"414.719420","416.313453","416.565652"],[10925,"548.748598","554.237734","554.409135"],[10926,"372.737661","374.876081","374.942837"],[10927,"497.370331","499.339586","499.412802"],[10928,"393.882324","398.392819","398.098321"],[10929,"545.278929","548.172293","548.251597"],[10930,"755.710096","757.269178","757.222330"],[10931,"405.067144","406.770209","406.469827"],[10932,"517.372483","519.738533","519.824182"],[10933,"619.863883","623.810686","623.594276"],[10934,"579.702730","582.852557","582.894689"],[10935,"494.553297","497.964503","497.911696"],[10936,"587.713393","594.057282","594.157606"],[10937,"418.068959","420.876964","420.838997"],[10938,"496.337250","499.511145","499.792759"],[10939,"402.724191","405.846157","406.014960"],[10940,"516.577327","520.122740","520.332789"],[10941,"571.254904","574.706867","574.627406"],[10942,"1043.984813","1049.063991","1049.128925"],[10943,"630.828315","635.435768","635.438571"],[10944,"509.660256","512.794571","512.926006"],[10945,"483.216219","485.181667","485.116682"],[10946,"558.719749","562.597268","562.737797"],[10947,"535.114744","538.012127","538.026193"],[10948,"531.701810","534.858418","534.869059"],[10949,"557.027710","562.666295","562.500682"],[10950,"413.451259","416.915277","417.035776"],[10951,"417.344134","420.211695","420.154792"],[10952,"442.666461","445.130994","445.093044"],[10953,"441.466334","444.489327","444.509176"],[10954,"553.127761","556.536838","556.548010"],[10955,"646.661592","648.760622","649.027259"],[10956,"499.260104","501.440897","501.454941"],[10957,"465.447667","469.734740","470.014175"],[10958,"668.930217","672.861471","672.883841"],[10959,"561.089048","565.150961","565.464813"],[10960,"692.283849","696.433817","696.572790"],[10961,"556.732496","559.075666","559.199021"],[10962,"498.672652","502.506471","502.556190"],[10963,"578.061922","580.850918","580.963772"],[10964,"508.667448","512.107206","512.159084"],[10965,"528.378909","530.799816","530.820431"],[10966,"531.648880","534.209697","534.293646"],[10967,"465.930992","469.343231","469.296711"],[10968,"673.496550","677.300492","677.221236"],[10969,"491.704130","493.326769","493.356175"],[10970,"410.853381","413.423977","413.437070"],[10971,"658.730770","660.165790","660.447954"],[10972,"625.144995","628.628182","628.776691"],[10973,"697.061732","701.347429","701.375489"],[10974,"436.035036","438.841644","438.755690"],[10975,"476.523654","479.734088","479.744137"],[10976,"361.378414","363.699537","363.566623"],[10977,"666.437397","669.809829","669.942902"],[10978,"416.209735","417.878406","418.140720"],[10979,"568.730014","570.436623","570.264253"],[10980,"685.749675","689.918791","690.090393"],[10981,"598.955876","602.393118","602.516781"],[10982,"692.039557","695.277798","695.554083"],[10983,"438.805147","441.214289","441.151528"],[10984,"421.271304","424.206912","424.296746"],[10985,"524.134153","526.890682","526.788206"],[10986,"527.099988","531.478209","531.476696"],[10987,"651.776826","654.768283","655.124670"],[10988,"668.368576","670.991495","671.079108"],[10989,"560.834249","564.334268","564.647400"],[10990,"674.475392","678.484365","677.945033"],[10991,"569.827431","573.936727","574.048361"],[10992,"350.124839","353.040718","353.145965"],[10993,"565.235144","568.981713","569.051334"],[10994,"553.045455","558.196460","558.242370"],[10995,"605.782132","607.707436","607.626802"],[10996,"563.434867","567.111584","567.066328"],[10997,"473.245594","475.547024","475.532144"],[10998,"632.915746","634.623266","634.770715"],[10999,"350.366861","352.374474","352.274572"],[11000,"470.222923","472.949509","472.858080"],[11001,"549.652388","553.852064","554.038509"],[11002,"421.847296","425.691903","425.801324"],[11003,"506.801231","509.021577","509.098766"],[11004,"614.193237","617.983031","617.996480"],[11005,"595.194555","596.664468","596.853447"],[11006,"562.626159","565.034085","564.932982"],[11007,"471.401780","474.806877","474.993857"],[11008,"654.384535","658.230065","658.668948"],[11009,"428.939047","431.788884","431.835501"],[11010,"591.356985","595.219396","595.476788"],[11011,"410.279697","413.364268","413.638648"],[11012,"486.282770","489.105905","489.223850"],[11013,"570.326179","572.083894","572.245207"],[11014,"718.503502","720.513398","720.671164"],[11015,"518.938647","521.362654","521.274438"],[11016,"378.578989","382.617095","382.563200"],[11017,"575.140584","580.857574","580.780228"],[11018,"571.110016","574.387236","574.478764"],[11019,"730.361192","732.650419","732.586804"],[11020,"482.836089","487.166340","487.211999"],[11021,"625.893687","627.418080","627.731450"],[11022,"694.447079","698.447637","698.533215"],[11023,"510.858946","513.270240","513.157202"]]},"timing":{"first_timed_seed":64256,"first_run_seconds":{"qt1":4.997733081690967,"LEAN":5.168688281904906,"R":5.223178330808878},"first_all_three_seconds":15.389599694404751,"note":"Per-arm elapsed wall times include table construction on the first seed of each command; warm means exclude those seeds. Concurrent per-arm times overlap.","warm_seconds_per_run":{"qt1":{"n":762,"mean":0.5480109041127721,"min":0.45334954373538494,"max":0.8142632688395679},"LEAN":{"n":762,"mean":0.7329144275422133,"min":0.6097955857403576,"max":1.10391438100487},"R":{"n":762,"mean":0.7311444427565063,"min":0.6103243720717728,"max":0.9609683351591229}},"cold_cache_seed_starts":[64256,64257,64289,64417,10512,10768]},"anything_cut":[],"limitations":["Replica results are not leaderboard scores.","F and contract/engine checks are outside this replica-only item.","Report seeds were not used to select R versus LEAN."],"logs_sha256":{"choose":"20d48bf3a2b06198bb1d30c368948dcbc29693bf62574dfe4fb51fc37db243f8","decision":"02c81ffcfdd2f27ec5dcc4bd1f76ba9e70b2e32b97490a9a8b338ba5c6d8085c","report":"0b331b49cfe7845109621cfdcee0b4c9a7e681087f1d28fc1073a604eb6ecd24"},"layout":{"base":"Extract TCA source_bundle base85 tar.xz into an empty directory.","overlay":"Extract LB4 bundle base64 tar.xz over TCA.","removed":["scratch/ref/tca_tell.py","scratch/TellCore.sol","scratch/test_tell.py","scratch/test_policy.py"],"base_blob":"python3 -I scratch/materialize.py reconstructs scratch/ref/blob.bin.","refit_blob":"base64-decode REFIT blobs.new.zlib_base64, zlib-decompress, write scratch/ref/refit.bin; 10167 bytes, ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d."},"reproduction_harness":{"rq2.py":"\"\"\"Credit Taylor (gtmcknight): replica, filter, solved policy, qm tables;\ngithub.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9 research/solved.\nRQ-2 prescribed three-arm evaluation; no policy changes.\n\"\"\"\nimport sys,json,time,hashlib\nfrom pathlib import Path\nr=Path(__file__).resolve().parent\nsys.path.insert(0,str(r/'ref'))\nimport port\nfrom policy import TellPolicy\nfrom qmref import QMRef\nB=str(r/'ref/blob.bin');R=str(r/'ref/refit.bin')\ndef hashes():\n return {p.name:hashlib.sha256(p.read_bytes()).hexdigest() for p in sorted((r/'ref').glob('*')) if p.is_file()}\ndef work(seed):\n row={'seed':seed,'edges':{},'seconds':{},'counts':{}}\n for arm,cls,blob in [('qt1',QMRef,B),('LEAN',TellPolicy,B),('R',TellPolicy,R)]:\n  start=time.monotonic(); p=cls(blob) if arm=='qt1' else cls(blob,4,.0001)\n  row['edges'][arm]=port.run(seed,p,n_steps=10000)['edge'];row['seconds'][arm]=time.monotonic()-start\n  if arm!='qt1':row['counts'][arm]=dict(p.tell.counts)\n return row\nif __name__=='__main__':\n mode,start,end=sys.argv[1],int(sys.argv[2]),int(sys.argv[3]);out=r/(mode+'_rq2.jsonl')\n assert mode in ['choose','report']\n lo,hi=(64256,64512) if mode=='choose' else (10512,11024)\n done=[json.loads(x)['seed'] for x in out.read_text().splitlines()] if out.exists() else []\n assert done==list(range(lo,start)) and lo<=start<end<=hi\n if mode=='report':assert (r/'decision_rq2.json').exists()\n before=hashes();wall=time.monotonic()\n with out.open('a') as f:\n  for seed in range(start,end):\n   row=work(seed);f.write(json.dumps(row)+'\\n');f.flush()\n   print(seed,row['edges'],'seconds',round(sum(row['seconds'].values()),3),flush=True)\n assert hashes()==before\n print('batch_seconds',time.monotonic()-wall,flush=True)\n","rq2_parallel.py":"\"\"\"Credit Taylor (gtmcknight): replica, filter, solved policy, qm tables;\ngithub.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9 research/solved.\nThree independent arm workers; strict barrier between seeds preserves seed order.\n\"\"\"\nimport sys,json,time,concurrent.futures\nfrom pathlib import Path\nr=Path(__file__).resolve().parent\nsys.path.insert(0,str(r))\nfrom rq2 import hashes,B,R,port,QMRef,TellPolicy\n\ndef one(arm,seed):\n start=time.monotonic()\n p=QMRef(B) if arm=='qt1' else TellPolicy(B if arm=='LEAN' else R,4,.0001)\n edge=port.run(seed,p,n_steps=10000)['edge']\n return edge,time.monotonic()-start,(None if arm=='qt1' else dict(p.tell.counts))\nif __name__=='__main__':\n mode,start,end=sys.argv[1],int(sys.argv[2]),int(sys.argv[3]);out=r/(mode+'_rq2.jsonl')\n assert mode in ['choose','report']\n lo,hi=(64256,64512) if mode=='choose' else (10512,11024)\n done=[json.loads(x)['seed'] for x in out.read_text().splitlines()] if out.exists() else []\n assert done==list(range(lo,start)) and lo<=start<end<=hi\n if mode=='report':assert (r/'decision_rq2.json').exists()\n before=hashes();wall=time.monotonic();arms=['qt1','LEAN','R']\n with concurrent.futures.ProcessPoolExecutor(1) as q,concurrent.futures.ProcessPoolExecutor(1) as l,concurrent.futures.ProcessPoolExecutor(1) as rr,out.open('a') as f:\n  for seed in range(start,end):\n   t=time.monotonic();fs=[p.submit(one,a,seed) for a,p in zip(arms,[q,l,rr])]\n   row={'seed':seed,'edges':{},'seconds':{},'counts':{}}\n   for arm,future in zip(arms,fs):\n    e,s,c=future.result();row['edges'][arm]=e;row['seconds'][arm]=s\n    if c is not None:row['counts'][arm]=c\n   row['wall_seconds']=time.monotonic()-t;f.write(json.dumps(row)+'\\n');f.flush()\n   if seed==start or (seed-start+1)%16==0:print(mode,seed,'wall_seconds',round(row['wall_seconds'],3),flush=True)\n assert hashes()==before\n print('batch_seconds',time.monotonic()-wall,flush=True)\n","aggregate_rq2.py":"\"\"\"Credit Taylor (gtmcknight): replica, filter, solved policy, qm tables;\ngithub.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9 research/solved.\nRQ-2 statistics and pre-report decision, standard library only.\n\"\"\"\nimport json,statistics,math,hashlib,sys,time\nfrom pathlib import Path\nfrom collections import Counter\nr=Path(__file__).resolve().parent\n\ndef read(block):\n rows=[json.loads(s) for s in (r/(block+'_rq2.jsonl')).read_text().splitlines()]\n lo,hi=(64256,64512) if block=='choose' else (10512,11024)\n assert [x['seed'] for x in rows]==list(range(lo,hi))\n for row in rows:\n  assert set(row['edges'])=={'qt1','LEAN','R'} and all(math.isfinite(x) for x in row['edges'].values())\n return rows\n\ndef summary(rows):\n out={'seed_start':rows[0]['seed'],'seed_end_inclusive':rows[-1]['seed'],'n_steps':10000,'n':len(rows),'mean_edges':{a:statistics.mean(x['edges'][a] for x in rows) for a in ['qt1','LEAN','R']},'paired':{}}\n for a,b in [('R','LEAN'),('R','qt1'),('LEAN','qt1')]:\n  ds=[{'seed':x['seed'],'diff':x['edges'][a]-x['edges'][b]} for x in rows];v=[x['diff'] for x in ds]\n  out['paired'][a+'-'+b]={'n':len(v),'mean_diff':statistics.mean(v),'se':statistics.stdev(v)/math.sqrt(len(v)),'min':min(v),'worst5':sorted(ds,key=lambda x:(x['diff'],x['seed']))[:5]}\n out['seeds_under_minus_2_against_qt1']={a:[{'seed':x['seed'],'diff':x['edges'][a]-x['edges']['qt1']} for x in rows if x['edges'][a]-x['edges']['qt1'] < -2] for a in ['R','LEAN']}\n out['tell_label_counts']={}\n for a in ['LEAN','R']:\n  c=Counter()\n  for row in rows:c.update(row['counts'][a])\n  out['tell_label_counts'][a]=dict(c)\n out['seconds_per_run']={a:{'mean':statistics.mean(x['seconds'][a] for x in rows),'min':min(x['seconds'][a] for x in rows),'max':max(x['seconds'][a] for x in rows)} for a in ['qt1','LEAN','R']}\n return out\n\nif __name__=='__main__':\n assert sys.argv[1]=='freeze'\n assert not (r/'report_rq2.jsonl').exists() and not (r/'decision_rq2.json').exists()\n s=summary(read('choose'));v=s['paired']['R-LEAN'];d={'rule':'Choose R iff mean(R-LEAN) > 2 * paired sample SE on 64256..64511; otherwise LEAN.','selected':'R' if v['mean_diff']>2*v['se'] else 'LEAN','mean_diff':v['mean_diff'],'se':v['se'],'two_se':2*v['se'],'n':v['n'],'margin_over_two_se':v['mean_diff']-2*v['se'],'report_not_opened':True,'frozen_at_unix':time.time(),'choose_jsonl_sha256':hashlib.sha256((r/'choose_rq2.jsonl').read_bytes()).hexdigest()}\n (r/'decision_rq2.json').write_text(json.dumps(d,indent=2)+'\\n');print(json.dumps(d,indent=2))\n"},"commands_after_layout":["python3 -I scratch/materialize.py","python3 -I scratch/rq2.py choose 64256 64257","timeout 470 python3 -I scratch/rq2.py choose 64257 64289","timeout 470 python3 -I scratch/rq2_parallel.py choose 64289 64417","timeout 470 python3 -I scratch/rq2_parallel.py choose 64417 64512","python3 -I scratch/aggregate_rq2.py freeze","timeout 470 python3 -I scratch/rq2_parallel.py report 10512 10768","timeout 470 python3 -I scratch/rq2_parallel.py report 10768 11024"]}