{"item":"rq-3","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). Also credits the supplied qt1, TC-A, o1-a, o1-b, tca-path and buy-grid ports.","sha256_checks":{"LB4":{"url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","expected_sha256":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","actual_sha256":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","pass_check":true},"TCA":{"url":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","expected_sha256":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","actual_sha256":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","pass_check":true},"REFIT":{"url":"https://api.imdnotdead.fun/artifacts/5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","expected_sha256":"5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","actual_sha256":"5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","pass_check":true},"TCA_tar_xz":{"sha256":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","verified":true},"LB4_tar_xz":{"sha256":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","verified":true},"original_blob":{"bytes":10167,"sha256":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","verified":true},"refit_blob":{"bytes":10167,"sha256":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d","verified":true},"layout":{"tca_manifest_all_verified":true,"tca_manifest_files":32,"lb4_file_hashes_all_verified":true,"lb4_overlay_files":13,"lb4_unchanged_files":10,"removed_files":["scratch/ref/tca_tell.py","scratch/TellCore.sol","scratch/test_tell.py","scratch/test_policy.py"],"blob_header_and_knot_bytes_equal":375}},"P":{"status":"pass","command":"python3 -I gates.py","cwd":"test/scratch/amm-sim/research/solved","commit":"4812a6382311624e1506aca131ca35c378f930d9","unmodified":true,"before_layout_and_scoring":true,"matches_README_at_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"]],"source_url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/README.md"},"file_hashes":{"scope":"Task source and data files; Python standard library/runtime excluded. Paths relative to assembled layout, except Taylor gate files relative to pinned research/solved.","common_driver":{"scratch/rq3.py":"02273124239d71a283ccafa436c3b9637d9b7f9b3a2a2bd4b96c5ceb90e98ae7"},"imported_by_driver":{"scratch/ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","scratch/ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","scratch/ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","scratch/ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","scratch/ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92"},"arms":{"qt1":{"scratch/ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","scratch/ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","scratch/ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"},"LEAN":{"scratch/ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","scratch/ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","scratch/ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","scratch/ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","scratch/ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"},"R":{"scratch/ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","scratch/ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","scratch/ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","scratch/ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","scratch/ref/refit.bin":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d"}},"layout_and_reference":{"scratch/score.py":"a831daafe06ad369f6060692311b679ab5f79773d1f66800714b820f70f38dba","scratch/materialize.py":"12ebf6f647f67826e7bc5ad2df0f045bec1b46028c552b136bb706fd4b7bbaea","scratch/NOTES.md":"6c3f0a74877bbb5a027fbbe11b87b086284e819c1da56660fe07fa4b65e5d69c","scratch/Strategy.sol":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb"},"P":{"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"},"aggregation_sha256":"b4186b64736b320fa96d3a0b1552aca9a20cfdf1a23ce19ce50378b686907157"},"method":{"runtime":"CPython 3.12.3; plain python3 -I; standard library only","layout":"Empty test/scratch/layout; TCA source_bundle extracted, LB4 bundle overlaid; four named replaced files deleted; python3 -I scratch/materialize.py restored original blob.","arms":{"qt1":"port.run(seed, QMRef(original_blob), n_steps=10000)","LEAN":"port.run(seed, TellPolicy(original_blob, 4, .0001), n_steps=10000)","R":"port.run(seed, TellPolicy(refit_blob, 4, .0001), n_steps=10000); only blob argument differs from LEAN"},"opponent":"Each arm separately against fixed 30 bps pool, as port.run implements.","order":"All 256 choose seeds in strictly ascending order; per seed qt1 then LEAN then R. Decision frozen on disk before first report seed. All 512 report seeds subsequently run once, strictly ascending, same arm order.","statistics":"Paired differences use unrounded edge values; SE = sample standard deviation (ddof=1)/sqrt(n). worst5 = five lowest differences with seed; min = lowest difference. Under -2 uses strict comparison. Report per-seed edge strings rounded to six decimals only for output.","tell_counts":"Counts from unmodified p.tell.counts, recorded separately for LEAN and R; update() called on dt>=1 (first own callback of a new step). same_step zero is explicit; these are tell labels, not truth-confusion counts.","no_tuning":"The only new selection was the specified R-versus-LEAN rule; no coefficients or tell parameters fitted here.","measurement_source":"Fresh local executions of the verified source bundles; hashes and runnable scoring harness included."},"decision":{"credit":"Credit Taylor (gtmcknight): replica, filter, solved policy, qm tables;\ngithub.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved.","rule":"R iff mean(R-LEAN) > 2*sample_SE(R-LEAN); otherwise LEAN","selected":"R","paired":{"n":256,"mean_diff":0.05977058087267384,"se":0.010057571165231526,"min":-0.5264351350197671,"worst5":[[64674,-0.5264351350197671],[64579,-0.30626438045737814],[64658,-0.29863134264758173],[64756,-0.28814607399692704],[64623,-0.28298808848876433]]},"file_hashes":{"policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","refit.bin":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d"},"report_rows_at_freeze":0,"choose_sha256":"d9ca455acdf279084055ec20db9d52a0a26abb27ce7598812ab7e4a668126c37","frozen_at_unix":1794300362.996872},"choose":{"seeds_inclusive":[64512,64767],"n":256,"n_steps":10000,"paired":{"R-LEAN":{"n":256,"mean_diff":0.05977058087267384,"se":0.010057571165231526,"min":-0.5264351350197671,"worst5":[[64674,-0.5264351350197671],[64579,-0.30626438045737814],[64658,-0.29863134264758173],[64756,-0.28814607399692704],[64623,-0.28298808848876433]]},"R-qt1":{"n":256,"mean_diff":3.0779866611556583,"se":0.06262584887582463,"min":0.29146620712811,"worst5":[[64636,0.29146620712811],[64593,0.37261437723191193],[64672,0.8106073224499823],[64703,0.9391709255792193],[64728,1.0887059829255463]]},"LEAN-qt1":{"n":256,"mean_diff":3.0182160802829845,"se":0.06266046118136921,"min":0.4248063773254671,"worst5":[[64593,0.4248063773254671],[64636,0.5333125479321552],[64703,0.7145681800337798],[64728,1.031074147685331],[64672,1.0512008390599021]]}},"mean_edges":{"qt1":542.3662794268843,"LEAN":545.3844955071672,"R":545.4442660880399},"seeds_under_minus2_against_qt1":{"LEAN":[],"R":[]},"tell_label_counts":{"LEAN":{"pos":979448,"neg":826748,"over":0,"unsupported":0,"same_step":0},"R":{"pos":977642,"neg":827712,"over":0,"unsupported":0,"same_step":0}},"seconds_per_run":{"qt1":{"mean":0.4635448645622091,"min":0.2799547887407243,"max":2.995378792285919,"total":118.66748532792553},"LEAN":{"mean":0.6543297639818775,"min":0.43851154623553157,"max":2.9761637416668236,"total":167.50841957936063},"R":{"mean":0.6510422253759316,"min":0.44061601301655173,"max":3.191133040934801,"total":166.6668096962385}},"three_arm_seconds_total":452.8455000799149,"log_sha256":"d9ca455acdf279084055ec20db9d52a0a26abb27ce7598812ab7e4a668126c37"},"report":{"seeds_inclusive":[11024,11535],"n":512,"n_steps":10000,"paired":{"R-LEAN":{"n":512,"mean_diff":0.04159529293689779,"se":0.007030070405593693,"min":-0.5424042841335677,"worst5":[[11087,-0.5424042841335677],[11361,-0.4294055353270778],[11334,-0.39528344983841635],[11290,-0.3860855658692799],[11038,-0.3716915121490274]]},"R-qt1":{"n":512,"mean_diff":3.1738568311551014,"se":0.04325032011872937,"min":-1.3119174522821595,"worst5":[[11062,-1.3119174522821595],[11519,-0.05960369940271448],[11376,-0.01804016278299514],[11233,0.8121416277008393],[11108,0.8428345261273762]]},"LEAN-qt1":{"n":512,"mean_diff":3.1322615382182035,"se":0.042881129367013104,"min":-1.3596829746003323,"worst5":[[11062,-1.3596829746003323],[11376,0.012546694402089997],[11519,0.16165349985828925],[11233,0.7560240457011105],[11313,0.9185477277961809]]}},"mean_edges":{"qt1":533.8721259253434,"LEAN":537.0043874635617,"R":537.0459827564986},"seeds_under_minus2_against_qt1":{"LEAN":[],"R":[]},"tell_label_counts":{"LEAN":{"pos":1945320,"neg":1652904,"over":0,"unsupported":0,"same_step":0},"R":{"pos":1941357,"neg":1654855,"over":0,"unsupported":0,"same_step":0}},"seconds_per_run":{"qt1":{"mean":0.43651720439083874,"min":0.28925750497728586,"max":3.181939614005387,"total":223.49680864810944},"LEAN":{"mean":0.6240600606070075,"min":0.41610536398366094,"max":3.3959632120095193,"total":319.5187510307878},"R":{"mean":0.617652277968773,"min":0.43771983589977026,"max":3.4755329522304237,"total":316.23796632001176}},"three_arm_seconds_total":859.2591551002115,"log_sha256":"8b7daaace6550f6d168d9d599203c95feba78e3fcf0ef13bc11a4c560496d582","per_seed_edges_columns":["seed","qt1","LEAN","R"],"per_seed_edges":[[11024,"485.500625","488.242378","488.137464"],[11025,"811.916077","815.974334","815.736574"],[11026,"426.228274","429.717262","429.432709"],[11027,"621.273636","623.710434","623.655084"],[11028,"596.468821","600.419535","600.300056"],[11029,"473.835118","478.657865","478.457316"],[11030,"714.121883","717.539811","717.666947"],[11031,"573.973050","578.697562","578.833301"],[11032,"421.509119","423.628219","423.869813"],[11033,"509.627432","511.177921","511.219170"],[11034,"634.185943","638.461947","638.461380"],[11035,"706.220793","707.994979","708.156328"],[11036,"453.940004","457.824000","457.820831"],[11037,"489.417879","492.061604","492.092389"],[11038,"579.293221","582.905296","582.533604"],[11039,"534.925806","537.935786","537.887437"],[11040,"402.358752","405.150984","405.110931"],[11041,"456.371296","459.842577","459.783434"],[11042,"738.649060","742.715820","742.898981"],[11043,"386.257365","387.931872","387.925607"],[11044,"600.089139","603.323562","603.464526"],[11045,"610.281421","614.683372","614.591137"],[11046,"594.829728","598.166121","598.110127"],[11047,"480.823353","484.172539","484.298845"],[11048,"505.734506","509.231857","509.511261"],[11049,"591.923293","595.294867","595.325896"],[11050,"548.194811","552.725262","552.635509"],[11051,"571.137437","574.944098","575.083165"],[11052,"444.263297","447.535706","447.493675"],[11053,"709.578537","712.450943","712.554987"],[11054,"581.736862","585.454951","585.361453"],[11055,"613.500071","617.291955","617.237643"],[11056,"548.002473","551.427497","551.337358"],[11057,"653.442548","658.353368","658.493463"],[11058,"441.709758","445.357805","445.360265"],[11059,"674.256888","676.822777","677.059930"],[11060,"566.740060","570.538584","570.474969"],[11061,"675.594364","677.875337","678.110462"],[11062,"715.466273","714.106590","714.154356"],[11063,"504.859151","508.368611","508.356238"],[11064,"558.230376","562.090584","561.935993"],[11065,"606.333869","612.328657","612.429566"],[11066,"543.121027","545.371467","545.625073"],[11067,"447.999042","450.162789","450.222761"],[11068,"438.868420","441.820208","441.719418"],[11069,"497.006509","498.829204","498.918878"],[11070,"477.747406","481.081275","481.155634"],[11071,"646.677957","649.534561","649.805198"],[11072,"510.126628","512.649362","512.486273"],[11073,"709.412914","715.759130","715.860711"],[11074,"538.458616","541.299580","541.221370"],[11075,"413.821216","415.982139","416.225714"],[11076,"728.272946","731.630384","731.964728"],[11077,"814.259325","817.580317","817.512870"],[11078,"546.270619","549.068658","549.197662"],[11079,"426.639565","429.315038","429.276081"],[11080,"443.986522","448.067379","448.030810"],[11081,"438.243200","441.335173","441.457519"],[11082,"612.217295","614.853214","614.835430"],[11083,"595.466514","597.574550","597.540605"],[11084,"480.766701","483.163209","482.951736"],[11085,"549.746804","553.206871","553.409154"],[11086,"630.585625","633.331892","633.378587"],[11087,"537.944723","541.576464","541.034059"],[11088,"512.559668","515.661967","515.622428"],[11089,"692.986080","697.841415","698.011426"],[11090,"464.726360","466.571391","466.588224"],[11091,"576.524823","581.282354","581.564513"],[11092,"470.201880","473.256025","473.155917"],[11093,"419.505547","422.138368","422.169494"],[11094,"602.029979","604.567106","604.815332"],[11095,"611.609623","614.383047","614.415339"],[11096,"460.361307","463.203616","463.571366"],[11097,"506.746334","510.363005","510.484424"],[11098,"690.136902","693.828788","693.811324"],[11099,"460.309540","463.425858","463.462906"],[11100,"507.247357","509.928135","509.728984"],[11101,"402.237653","406.251073","406.205469"],[11102,"533.344977","537.114689","537.098770"],[11103,"445.348258","448.565659","448.754493"],[11104,"653.158811","657.319626","657.065056"],[11105,"429.696363","432.844014","432.931437"],[11106,"445.746786","448.413329","448.432307"],[11107,"396.470140","399.252212","399.276372"],[11108,"645.109018","646.033776","645.951853"],[11109,"515.516154","518.857222","519.483756"],[11110,"566.225526","569.964074","570.012037"],[11111,"458.352698","460.766035","460.759256"],[11112,"493.030055","495.748982","495.657536"],[11113,"703.056355","706.137106","706.304314"],[11114,"644.216371","648.655729","648.703474"],[11115,"580.738972","584.857721","584.807649"],[11116,"610.541936","614.719848","614.801515"],[11117,"549.586622","551.077999","550.856611"],[11118,"512.197491","513.865089","514.290321"],[11119,"469.814178","473.310414","473.328383"],[11120,"582.659737","585.676451","585.858882"],[11121,"567.026175","571.184444","571.480878"],[11122,"684.098816","688.991431","689.135345"],[11123,"714.703762","718.421074","718.428525"],[11124,"388.976408","391.834809","391.879093"],[11125,"414.931693","417.676655","417.653377"],[11126,"577.126444","580.088295","580.229726"],[11127,"538.304522","541.518282","541.387046"],[11128,"446.509441","449.454170","449.577835"],[11129,"520.172835","523.277110","523.243610"],[11130,"451.350815","454.476372","454.765719"],[11131,"671.400046","672.974608","673.204402"],[11132,"612.514922","615.093722","614.976219"],[11133,"598.427780","602.797144","603.182760"],[11134,"492.746600","495.978771","495.840692"],[11135,"555.561588","557.791156","557.711695"],[11136,"487.427395","490.619124","490.504207"],[11137,"646.008952","650.995185","651.171936"],[11138,"665.320953","670.003738","669.939025"],[11139,"357.581885","359.702469","359.632052"],[11140,"452.384902","455.478305","455.493123"],[11141,"571.056817","574.947136","575.062681"],[11142,"342.530137","345.271435","345.418650"],[11143,"463.639931","467.075537","466.966582"],[11144,"580.434442","583.828403","583.604972"],[11145,"483.819790","486.187094","486.449791"],[11146,"480.546506","483.428527","483.175948"],[11147,"388.221381","390.670184","390.498537"],[11148,"511.498603","515.441135","515.512762"],[11149,"584.302708","588.812407","588.908549"],[11150,"333.121759","335.582941","335.575827"],[11151,"567.163185","571.461976","571.540847"],[11152,"513.644817","516.597319","516.508951"],[11153,"376.651959","378.599675","378.652381"],[11154,"444.208250","447.480133","447.339121"],[11155,"371.918265","375.071585","374.991714"],[11156,"453.960940","456.833165","457.066493"],[11157,"510.922680","513.250115","513.212611"],[11158,"425.144690","427.651543","427.663994"],[11159,"594.480159","597.397942","597.472090"],[11160,"425.751544","428.790277","428.728460"],[11161,"597.877425","602.829070","602.811731"],[11162,"506.581295","508.940065","509.046156"],[11163,"658.235462","660.797508","661.100983"],[11164,"542.530345","544.571043","544.772601"],[11165,"631.319210","635.112547","635.108153"],[11166,"547.788340","549.343111","549.359374"],[11167,"561.698317","564.885667","565.138330"],[11168,"528.845036","531.829875","532.280608"],[11169,"593.697061","597.516320","597.612596"],[11170,"552.545325","557.429123","557.575687"],[11171,"513.402576","516.340073","516.700092"],[11172,"437.716492","440.812939","440.915651"],[11173,"477.686686","480.350107","480.482891"],[11174,"634.022110","637.732137","637.808377"],[11175,"396.932558","398.929532","399.039610"],[11176,"772.756662","775.773702","776.398440"],[11177,"480.837123","483.462263","483.615764"],[11178,"461.738067","464.684252","464.623081"],[11179,"536.315510","538.343005","538.687649"],[11180,"419.530015","421.600434","421.624232"],[11181,"438.121429","442.455389","442.502595"],[11182,"481.563844","483.422147","483.506571"],[11183,"400.101049","403.419774","403.406835"],[11184,"698.320511","702.930749","702.940554"],[11185,"596.831997","600.176100","600.173940"],[11186,"539.787816","543.295766","543.542784"],[11187,"585.766831","589.920474","589.893564"],[11188,"622.420624","624.863391","624.696444"],[11189,"417.080448","419.159945","419.159635"],[11190,"476.835048","478.870608","478.663386"],[11191,"726.770847","729.972814","730.261965"],[11192,"536.735547","539.157925","539.002331"],[11193,"562.049162","566.240165","566.326277"],[11194,"492.740203","496.377792","496.161030"],[11195,"531.973101","534.170477","534.171112"],[11196,"628.627860","631.245294","631.102578"],[11197,"508.377366","510.676911","510.750610"],[11198,"647.246672","650.593218","650.976661"],[11199,"508.712062","512.040265","511.741410"],[11200,"573.804578","576.787447","576.780700"],[11201,"532.921270","535.529807","535.308603"],[11202,"608.277711","613.184781","613.157824"],[11203,"558.775850","561.338700","561.387879"],[11204,"534.640841","537.161329","536.985657"],[11205,"610.240123","613.617434","613.666871"],[11206,"516.983244","519.586913","519.689406"],[11207,"600.103705","603.322945","603.394953"],[11208,"464.256634","468.008727","467.912542"],[11209,"710.490141","712.844571","712.900071"],[11210,"554.281058","557.674682","557.715901"],[11211,"613.754361","620.451733","620.582209"],[11212,"425.364891","428.484932","428.288563"],[11213,"610.864189","613.299600","613.125992"],[11214,"546.248921","549.452942","549.459377"],[11215,"442.028827","444.784844","444.965507"],[11216,"402.313248","405.328103","405.098376"],[11217,"596.269292","601.498193","601.562468"],[11218,"703.124030","705.558301","705.740789"],[11219,"504.499863","507.572574","507.662356"],[11220,"475.511755","478.843822","479.043434"],[11221,"515.974582","519.924551","519.862013"],[11222,"595.610193","600.712573","600.621299"],[11223,"529.556007","534.068267","534.156817"],[11224,"695.889190","696.891291","697.028953"],[11225,"708.657383","713.356736","713.549551"],[11226,"720.359451","724.329279","724.376393"],[11227,"440.617641","443.389727","443.558713"],[11228,"494.044237","498.416225","498.432684"],[11229,"648.861563","652.707348","652.859457"],[11230,"404.280197","406.526967","406.437686"],[11231,"536.748350","540.650189","540.810108"],[11232,"646.500068","650.393624","650.341693"],[11233,"567.775111","568.531135","568.587253"],[11234,"621.105564","624.124854","624.211979"],[11235,"498.338638","502.539280","502.528196"],[11236,"599.049671","603.339876","603.480422"],[11237,"524.649361","528.003993","528.236706"],[11238,"363.584115","366.580988","366.609333"],[11239,"571.214425","575.448255","575.560618"],[11240,"492.986719","496.480319","496.420791"],[11241,"539.871405","543.819117","543.777789"],[11242,"559.445805","563.990802","564.407145"],[11243,"535.332185","538.563296","538.417559"],[11244,"519.782065","524.010034","524.082725"],[11245,"630.609273","634.999649","635.078338"],[11246,"557.724607","559.847395","559.891079"],[11247,"533.689405","537.008367","537.107328"],[11248,"590.559512","593.147294","593.448634"],[11249,"535.339747","538.088193","538.063412"],[11250,"468.639915","473.288874","473.286210"],[11251,"426.049531","428.653567","428.636149"],[11252,"627.229727","630.138471","630.291590"],[11253,"621.002690","624.653453","624.537619"],[11254,"624.865438","627.909537","628.349326"],[11255,"506.464303","508.156377","508.353679"],[11256,"703.843322","707.426863","707.662692"],[11257,"404.025683","406.200913","406.286613"],[11258,"566.567602","570.448689","570.498235"],[11259,"416.657101","418.531368","418.634918"],[11260,"551.499132","553.390274","553.241122"],[11261,"414.306534","416.806615","416.785227"],[11262,"491.919536","495.176657","495.321258"],[11263,"491.371734","494.586462","494.779716"],[11264,"379.401133","383.147293","383.134065"],[11265,"419.313507","422.099790","422.065579"],[11266,"784.804573","789.878569","790.092403"],[11267,"576.608586","580.668900","580.865379"],[11268,"414.725937","417.597472","417.568309"],[11269,"364.192079","367.084949","367.069534"],[11270,"474.058075","478.156362","478.146491"],[11271,"473.152691","476.082085","476.231156"],[11272,"587.169237","590.386864","590.391213"],[11273,"527.775044","529.991064","529.938360"],[11274,"587.273173","591.068396","591.081091"],[11275,"422.324528","424.626330","424.793682"],[11276,"476.607955","480.896490","481.080435"],[11277,"721.470222","725.855505","725.579396"],[11278,"565.342150","567.865384","568.036985"],[11279,"452.826566","454.877188","455.097038"],[11280,"610.360527","613.477872","613.463490"],[11281,"566.758035","570.426677","570.339926"],[11282,"489.085482","493.207456","493.289197"],[11283,"466.500083","469.725847","469.688182"],[11284,"665.286095","666.669246","666.992405"],[11285,"657.724680","658.922156","659.060763"],[11286,"507.909918","511.433976","511.561964"],[11287,"542.125100","545.990119","545.942646"],[11288,"539.580796","543.230628","543.085799"],[11289,"495.779801","499.767783","499.798917"],[11290,"557.463610","559.727613","559.341528"],[11291,"421.447975","423.810707","423.978007"],[11292,"594.655166","596.545953","596.380950"],[11293,"431.934749","435.224756","435.338630"],[11294,"398.753667","399.953466","400.038504"],[11295,"405.239563","407.077284","407.082696"],[11296,"627.726765","631.680365","631.579853"],[11297,"514.992636","519.919153","520.324250"],[11298,"584.395521","588.723072","588.845170"],[11299,"493.840211","496.181480","496.801170"],[11300,"653.812173","657.219855","657.182121"],[11301,"510.891507","513.377685","513.450457"],[11302,"557.335427","560.033366","560.064113"],[11303,"663.493095","665.423091","665.228602"],[11304,"418.445125","421.071035","421.005270"],[11305,"628.457313","632.476413","632.301452"],[11306,"377.550998","379.890199","380.089166"],[11307,"434.302137","436.706519","436.734050"],[11308,"415.510965","417.665086","417.792689"],[11309,"472.203554","476.247322","476.355366"],[11310,"540.252199","543.653600","543.878090"],[11311,"574.206220","578.075857","577.992001"],[11312,"479.221455","482.636228","482.591874"],[11313,"614.133383","615.051930","615.081061"],[11314,"462.899636","464.845495","464.883087"],[11315,"628.752017","631.097264","631.090904"],[11316,"473.542046","477.457955","477.601577"],[11317,"514.687480","517.003611","517.060006"],[11318,"641.517678","644.817947","644.698593"],[11319,"580.358303","584.588897","584.508081"],[11320,"430.780266","434.151292","434.228816"],[11321,"525.874359","527.051936","526.951830"],[11322,"628.036919","632.142068","632.081630"],[11323,"690.701010","692.984626","693.148302"],[11324,"447.752351","451.411048","451.405441"],[11325,"626.630268","632.217921","632.249706"],[11326,"521.693047","524.735029","525.019904"],[11327,"542.310364","545.337191","545.500385"],[11328,"377.906010","380.711864","380.562704"],[11329,"606.662522","610.330516","610.328598"],[11330,"561.327289","565.169845","565.264693"],[11331,"392.398648","396.920620","396.797621"],[11332,"593.910162","595.312426","595.478428"],[11333,"647.243281","650.722109","650.830889"],[11334,"550.262450","552.426535","552.031251"],[11335,"498.903601","500.868153","500.779521"],[11336,"534.559111","538.706599","538.347293"],[11337,"498.726002","501.011033","501.017158"],[11338,"556.241211","560.087177","560.067956"],[11339,"415.076023","418.111122","417.843555"],[11340,"385.371513","388.468561","388.647982"],[11341,"533.681830","537.320904","537.371701"],[11342,"524.455947","528.501381","528.510474"],[11343,"590.793493","592.191417","592.428290"],[11344,"540.625152","543.339609","543.455672"],[11345,"632.944208","635.752572","635.892180"],[11346,"575.159542","578.059800","578.182642"],[11347,"638.645127","641.337533","641.463118"],[11348,"440.575602","444.424780","444.535088"],[11349,"496.615264","499.456419","499.519250"],[11350,"690.828963","695.126973","694.889321"],[11351,"445.094895","448.326551","448.421849"],[11352,"462.632835","465.877859","465.885447"],[11353,"588.529386","591.462763","591.511004"],[11354,"627.351922","630.925529","630.796713"],[11355,"551.725624","553.142051","553.169355"],[11356,"553.532466","557.117487","557.417899"],[11357,"532.809681","535.267041","535.437171"],[11358,"577.521140","580.071833","579.927849"],[11359,"699.668816","702.151458","702.329050"],[11360,"653.391514","656.180125","656.279560"],[11361,"431.002269","433.765437","433.336032"],[11362,"605.553089","608.958831","609.633317"],[11363,"395.174850","397.641278","397.583345"],[11364,"475.073785","478.729001","478.781980"],[11365,"513.265464","515.722995","516.051333"],[11366,"636.635970","639.258836","639.176653"],[11367,"490.157263","492.815129","492.832058"],[11368,"625.538961","628.312860","628.201600"],[11369,"451.098859","454.199454","454.025508"],[11370,"553.843769","556.026709","555.929095"],[11371,"545.120710","548.502858","548.330473"],[11372,"365.038799","368.715053","368.652611"],[11373,"583.164196","587.265418","587.139209"],[11374,"577.064945","579.118426","579.137810"],[11375,"455.102394","460.547572","460.438980"],[11376,"557.893589","557.906136","557.875549"],[11377,"505.123715","508.405886","508.431481"],[11378,"597.982999","601.150411","600.967103"],[11379,"538.830767","542.860120","542.768748"],[11380,"808.508712","811.047271","811.005469"],[11381,"444.997503","448.778743","448.742536"],[11382,"455.707386","457.892437","457.981910"],[11383,"685.420386","688.117656","688.255971"],[11384,"507.235073","509.815506","509.821762"],[11385,"486.386766","489.690714","489.669211"],[11386,"516.132165","519.241887","519.271222"],[11387,"797.294932","800.888826","800.896150"],[11388,"646.412143","649.758750","649.884573"],[11389,"333.346790","337.461546","337.613932"],[11390,"698.164529","699.893375","700.013307"],[11391,"361.909877","364.399089","364.264240"],[11392,"595.022064","599.061643","599.274265"],[11393,"470.473481","474.389062","474.594946"],[11394,"418.700854","421.239887","421.152844"],[11395,"634.677132","637.595686","637.614159"],[11396,"420.676145","423.154350","423.277128"],[11397,"442.064677","444.052579","444.133214"],[11398,"431.863532","435.776291","435.751928"],[11399,"541.325281","542.837167","542.755774"],[11400,"505.021630","508.531181","508.748759"],[11401,"351.423769","354.273814","354.495236"],[11402,"479.904833","482.678188","482.709458"],[11403,"585.312055","587.784308","587.938368"],[11404,"493.669893","496.744198","496.586414"],[11405,"532.074175","534.565262","534.528309"],[11406,"520.426823","523.023009","523.045192"],[11407,"526.527357","527.815120","527.970951"],[11408,"388.929334","391.824870","391.662150"],[11409,"541.470748","544.291311","544.232846"],[11410,"474.484269","478.406787","478.518574"],[11411,"559.187322","563.740669","563.963070"],[11412,"618.932561","624.409066","624.415457"],[11413,"509.257004","510.643904","510.523211"],[11414,"513.512062","516.522564","516.373889"],[11415,"499.389848","504.123965","503.917437"],[11416,"514.523578","518.145198","518.246819"],[11417,"616.428435","620.027422","620.104418"],[11418,"538.978648","542.885190","542.841001"],[11419,"532.411064","536.320318","536.186335"],[11420,"506.134001","508.940999","509.061732"],[11421,"466.275614","468.609629","468.638165"],[11422,"478.134707","481.182746","481.143063"],[11423,"331.765147","334.011658","333.993507"],[11424,"428.372864","429.840880","430.083445"],[11425,"560.121503","564.034642","564.285802"],[11426,"547.201959","553.084078","553.127955"],[11427,"483.553801","485.257343","485.270477"],[11428,"539.502886","541.271936","541.425980"],[11429,"502.160420","504.791179","504.806038"],[11430,"570.167031","573.249539","573.092374"],[11431,"540.995006","542.950801","543.057931"],[11432,"424.247095","427.745311","427.746744"],[11433,"418.554215","421.998413","421.990221"],[11434,"551.352407","553.682160","553.794496"],[11435,"487.091964","490.991385","490.804187"],[11436,"467.344472","470.724857","470.797638"],[11437,"606.169593","609.241302","609.581056"],[11438,"547.550170","550.959316","551.056887"],[11439,"468.528614","471.398906","471.387993"],[11440,"599.542225","601.582350","601.620927"],[11441,"568.669916","572.329187","572.295091"],[11442,"551.846341","554.395753","554.477325"],[11443,"510.391833","512.372846","512.515333"],[11444,"541.019652","543.511511","543.606565"],[11445,"475.669905","479.894588","479.872402"],[11446,"598.799134","601.538612","601.347031"],[11447,"369.274836","371.791199","371.891967"],[11448,"507.097718","510.251729","510.332930"],[11449,"431.509296","434.058820","434.233163"],[11450,"554.819461","557.694302","557.827169"],[11451,"611.251955","613.829679","613.724788"],[11452,"480.669224","484.317271","484.344607"],[11453,"486.063934","490.784768","490.816509"],[11454,"627.934412","632.430404","632.482375"],[11455,"789.917319","791.372157","791.339273"],[11456,"437.030253","440.544531","440.392753"],[11457,"462.395660","464.774722","464.974237"],[11458,"591.166989","593.494273","593.504984"],[11459,"384.790916","387.933179","387.896317"],[11460,"424.301348","426.953921","426.975388"],[11461,"414.132330","418.523661","418.703344"],[11462,"577.938933","581.514857","581.397307"],[11463,"512.668097","516.166200","516.446967"],[11464,"607.199336","608.733977","608.975727"],[11465,"494.212307","498.987048","499.225900"],[11466,"634.312144","637.041853","637.381321"],[11467,"604.960123","608.769381","608.739078"],[11468,"580.469202","585.435268","585.742447"],[11469,"584.480554","586.552402","586.801252"],[11470,"460.669649","465.225479","465.312886"],[11471,"477.894958","480.142702","480.241604"],[11472,"462.849901","466.902758","467.093012"],[11473,"424.619251","427.130938","427.297011"],[11474,"562.981413","566.709555","566.762374"],[11475,"591.275425","594.253575","594.355662"],[11476,"545.813324","550.229428","550.441316"],[11477,"586.257431","588.288233","587.988705"],[11478,"579.911590","583.856680","583.991082"],[11479,"556.551982","559.953882","559.981615"],[11480,"563.902322","567.904284","567.889249"],[11481,"555.827763","558.655541","558.647778"],[11482,"458.292508","461.219754","461.336361"],[11483,"748.670323","750.939566","750.886931"],[11484,"575.154480","578.829931","578.913044"],[11485,"492.722434","494.792421","494.690639"],[11486,"676.976951","680.046553","680.180962"],[11487,"677.997468","680.078776","680.375446"],[11488,"506.713977","508.252923","508.119658"],[11489,"390.115589","392.440649","392.710131"],[11490,"640.223580","644.921585","644.856626"],[11491,"426.285860","430.002366","429.800020"],[11492,"636.944876","640.168943","640.272011"],[11493,"628.145934","631.976898","631.895424"],[11494,"507.352456","511.155948","511.314444"],[11495,"398.232803","400.004192","400.169285"],[11496,"428.203975","431.579402","431.617134"],[11497,"478.666004","482.137226","482.009165"],[11498,"608.112549","610.809538","611.246888"],[11499,"553.088188","557.940925","557.742490"],[11500,"636.774136","639.501628","639.521640"],[11501,"438.905906","441.630516","441.480707"],[11502,"360.559649","362.256578","362.292575"],[11503,"478.073801","482.063825","482.047340"],[11504,"672.617177","676.411140","676.159125"],[11505,"603.205896","608.407680","608.197408"],[11506,"619.340228","622.680253","622.702686"],[11507,"616.239927","618.844195","619.140077"],[11508,"360.297790","363.156245","363.102317"],[11509,"597.107242","601.405562","601.445047"],[11510,"561.038117","562.713917","562.921305"],[11511,"549.328914","552.477401","552.913454"],[11512,"349.954665","353.514153","353.483117"],[11513,"442.427643","445.177853","445.221336"],[11514,"430.492335","434.003997","434.104233"],[11515,"434.172938","438.800169","438.987832"],[11516,"602.549422","606.057186","606.047853"],[11517,"586.150993","588.859239","588.965350"],[11518,"460.102322","463.779258","463.862997"],[11519,"526.866926","527.028579","526.807322"],[11520,"650.326190","654.198162","654.314413"],[11521,"518.992316","522.890472","522.841599"],[11522,"448.383420","451.076868","450.996665"],[11523,"384.220897","386.937987","387.136102"],[11524,"512.724255","514.814522","514.938763"],[11525,"429.919086","434.544912","434.433251"],[11526,"626.002962","629.537083","629.556566"],[11527,"577.799699","582.140682","582.118487"],[11528,"425.161488","427.781907","427.738221"],[11529,"421.282841","424.527846","424.689230"],[11530,"534.011695","535.320729","535.173556"],[11531,"436.156643","439.808023","439.927427"],[11532,"467.454567","468.542936","468.566529"],[11533,"637.807475","639.204512","639.524375"],[11534,"491.050790","494.653366","494.644092"],[11535,"537.333529","540.610523","540.714078"]]},"timing":{"first_run":{"seed":64512,"edges":{"qt1":509.2936144966357,"LEAN":514.5364575427369,"R":514.4817635927437},"seconds":{"qt1":2.6433446132577956,"LEAN":2.7252515172585845,"R":3.007270785048604},"counts":{"LEAN":{"neg":3234,"pos":3783},"R":{"neg":3232,"pos":3783}},"seconds_total":8.375884748995304},"definition":"One run = one arm on one seed for 10,000 steps; first_run also shows combined three-arm timing. Per-block summaries include cold table decoding in each command; later seeds in that command reuse unchanged class-level caches.","commands":[{"block":"choose","seeds_inclusive":[64512,64512],"command":"python3 -I scratch/rq3.py choose 64513","scoring_seconds":8.375884748995304,"wall_seconds":null,"note":"Sum of per-seed measured scoring time; shell startup overhead not timed. First pilot unbounded but completed in seconds; later commands wrapped in timeout 470s."},{"block":"choose","seeds_inclusive":[64513,64528],"command":"python3 -I scratch/rq3.py choose 64529","scoring_seconds":34.47074216231704,"wall_seconds":null,"note":"Sum of per-seed measured scoring time; shell startup overhead not timed. First pilot unbounded but completed in seconds; later commands wrapped in timeout 470s."},{"block":"choose","seeds_inclusive":[64529,64647],"command":"python3 -I scratch/rq3.py choose 64648","scoring_seconds":215.0099503211677,"wall_seconds":null,"note":"Sum of per-seed measured scoring time; shell startup overhead not timed. First pilot unbounded but completed in seconds; later commands wrapped in timeout 470s."},{"block":"choose","seeds_inclusive":[64648,64767],"command":"python3 -I scratch/rq3.py choose 64768","scoring_seconds":194.98892284743488,"wall_seconds":null,"note":"Sum of per-seed measured scoring time; shell startup overhead not timed. First pilot unbounded but completed in seconds; later commands wrapped in timeout 470s."},{"block":"report","seeds_inclusive":[11024,11151],"command":"python3 -I scratch/rq3.py report 11152","wall_seconds":208.08473809156567,"exit_code":0,"timeout_seconds":460},{"block":"report","seeds_inclusive":[11152,11279],"command":"python3 -I scratch/rq3.py report 11280","wall_seconds":212.33574110502377,"exit_code":0,"timeout_seconds":460},{"block":"report","seeds_inclusive":[11280,11407],"command":"python3 -I scratch/rq3.py report 11408","wall_seconds":219.53658974636346,"exit_code":0,"timeout_seconds":460},{"block":"report","seeds_inclusive":[11408,11535],"command":"python3 -I scratch/rq3.py report 11536","wall_seconds":220.6569963390939,"exit_code":0,"timeout_seconds":460}]},"cuts":[],"limitations":["Replica levels are not board scores. No engine, contract, gas, F gate or leaderboard submission was requested or performed.","Report means describe this exact 512-seed block. They do not establish leaderboard rank.","The supplied REFIT artifact already reports using overlapping validation/report ranges. This item evaluates the fixed supplied blob in LEAN, with the new R/LEAN decision based only on this item's choose block; the report is not newly unseen data for all upstream artifact development."],"reproduction":{"scoring_harness":"\"\"\"Credit Taylor (gtmcknight): replica, filter, solved policy, qm tables;\ngithub.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved.\nRQ-3: sequential paired scoring; policies unchanged, only R's blob differs.\n\"\"\"\nimport sys,json,time,hashlib,statistics,math\nfrom pathlib import Path\nsys.dont_write_bytecode=True\nROOT=Path(__file__).resolve().parent\nsys.path[:0]=[str(ROOT/'ref')]\nimport port\nfrom policy import TellPolicy\nfrom qmref import QMRef\nFILES=['policy.py','lean_tell.py','port.py','twocomp.py','qmref.py','blob.bin','refit.bin']\ndef hashes():return {n:hashlib.sha256((ROOT/'ref'/n).read_bytes()).hexdigest() for n in FILES}\ndef rows(block):\n p=ROOT/(block+'.jsonl');return [json.loads(s) for s in p.read_text().splitlines()] if p.exists() else []\ndef paired(rs,a,b):\n ds=[r['edges'][a]-r['edges'][b] for r in rs]\n return dict(n=len(ds),mean_diff=statistics.mean(ds),se=statistics.stdev(ds)/math.sqrt(len(ds)),min=min(ds),worst5=sorted([[r['seed'],d] for r,d in zip(rs,ds)],key=lambda x:(x[1],x[0]))[:5])\ndef run(block,end):\n lo,hi={'choose':(64512,64768),'report':(11024,11536)}[block]\n done=rows(block); assert [r['seed'] for r in done]==list(range(lo,lo+len(done)))\n start=lo+len(done);assert start<end<=hi\n if block=='choose':assert not (ROOT/'decision.json').exists() and not rows('report')\n else:\n  d=json.loads((ROOT/'decision.json').read_text());assert d['file_hashes']==hashes() and d['report_rows_at_freeze']==0\n with (ROOT/(block+'.jsonl')).open('a') as f:\n  for seed in range(start,end):\n   r=dict(seed=seed,edges={},seconds={},counts={});t0=time.monotonic()\n   for arm in ['qt1','LEAN','R']:\n    t=time.monotonic();blob=str(ROOT/'ref'/('refit.bin' if arm=='R' else 'blob.bin'))\n    p=QMRef(blob) if arm=='qt1' else TellPolicy(blob,4,.0001)\n    r['edges'][arm]=port.run(seed,p,n_steps=10000)['edge'];r['seconds'][arm]=time.monotonic()-t\n    if arm!='qt1':r['counts'][arm]=dict(p.tell.counts)\n   r['seconds_total']=time.monotonic()-t0;f.write(json.dumps(r)+'\\n');f.flush()\n   print(json.dumps(r) if end-start==1 else f\"{block} {seed} {r['seconds_total']:.3f}s\",flush=True)\nif __name__=='__main__':\n if sys.argv[1]=='freeze':\n  rs=rows('choose');assert [r['seed'] for r in rs]==list(range(64512,64768)) and not rows('report')\n  p=paired(rs,'R','LEAN');d=dict(credit=__doc__.split('RQ-3:')[0].strip(),rule='R iff mean(R-LEAN) > 2*sample_SE(R-LEAN); otherwise LEAN',selected='R' if p['mean_diff']>2*p['se'] else 'LEAN',paired=p,file_hashes=hashes(),report_rows_at_freeze=0,choose_sha256=hashlib.sha256((ROOT/'choose.jsonl').read_bytes()).hexdigest(),frozen_at_unix=time.time())\n  with (ROOT/'decision.json').open('x') as f:json.dump(d,f,indent=2)\n  print(json.dumps(d))\n else:run(sys.argv[1],int(sys.argv[2]))\n","decision_file_sha256":"9a31925c7be0c5b2e5742d5b1562f8a2d5f649ea0194944b3ada2626b1e18e05"},"conclusion":"Choose rule selected R. Report R-LEAN = 0.041595 (SE 0.007030); R-qt1 = 3.173857; LEAN-qt1 = 3.132262. Replica only."}