{"item":"rq-4","batch":"e09-refit-q","credit":"Taylor (gtmcknight): replica (replica2.py), Gaussian filter, solved policy, qm tables; github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved, README first. Built on IdentityMD items that build on Taylor's work: qt1 (QMRef), TC-A TwoComp, o1-b engine-order port, tca-path, buy-grid, lb-4 LEAN tell, e07-tell-tables/visit-refit (the refitted blob).","status":"complete: P reproduced; choose block, written decision, then report block, each once and in order; replica only, no contract, no submission","summary":"R = lb-4's LEAN TellPolicy(blob, 4, .0001) reading the e07 visit-refit blob (ca5a606d...) in place of blob.bin (3ac7cb88...), nothing else changed. Choose block 64768..65023 (n=256): R-LEAN +0.061482 (se 0.009678, 6.35 se above 0) -> decision R, written before the report block was opened. Report block 11536..12047 (n=512), run once: R-LEAN +0.059167 (se 0.007465), R-qt1 +3.281175 (se 0.045880), LEAN-qt1 +3.222007 (se 0.045906); no seed under -2 against qt1 in either arm; worst R-LEAN seed 11675 at -0.822112. The gain is real on this replica but small: about 0.06 of the roughly 3.5 the goal is short, and under 2% of what the tell already holds over qt1. Replica levels are not board scores.","sha256_checks":{"downloads":{"LB4":{"url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","sha256":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","sha256_equals_name":true,"bytes":53722},"TCA":{"url":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","sha256":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","sha256_equals_name":true,"bytes":63997},"REFIT":{"url":"https://api.imdnotdead.fun/artifacts/5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","sha256":"5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","sha256_equals_name":true,"bytes":54017}},"TCA_source_bundle":{"format":"base85 tar.xz","sha256_compressed":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","equals_stated":true,"files":33},"LB4_bundle":{"format":"base64 tar.xz","sha256":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","equals_stated":true,"files":13},"REFIT_blob":{"field":"blobs.new.zlib_base64","bytes":10167,"sha256":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d","equals_brief":true},"materialize":{"command":"python3 -I scratch/materialize.py","stdout":"blob.bin restored/verified 10167 3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","blob_bin_sha256":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"},"LB4_frozen_source_sha256_match":{"policy.py":true,"lean_tell.py":true,"port.py":true,"twocomp.py":true,"qmref.py":true,"blob.bin":true},"layout_ref_replica2_py_equals_Taylor":true},"P":{"status":"pass","command":"python3 -I gates.py (research/solved at 4812a6382311624e1506aca131ca35c378f930d9, unmodified, before anything else ran; CPython 3.12.3)","git_status_short_before_run":"empty","stdout_lines_equal_README":true,"columns":["seed","perfect-info","gaussian+plain","gaussian+qm","lattice+qm"],"rows":[[10000,448.261189,443.455598,443.522608,443.66352],[10001,576.779199,571.463409,571.623551,571.977293],[10002,531.886497,525.168028,525.865859,526.411631]],"stdout":["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"],"wall_seconds":6.5,"file_sha256":{"gates.py":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604","README.md":"02d2b51f17adbb5411a2a67f7a37255143ba381a73ff10abba557d7d23c0cef2","replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","evalpol.py":"6e67667bfed7798bdd3384652a6efc6ba0b1fce653740d0f9af2bcbcb8e6a27c","real.py":"1305b5333731c046c3e6736cc2578eff4635c88132a39c22f5780d78aef2c81e","latt.py":"925c0fe996b19fd51fb79a85d5e4dba4bc2f5453d0a156cc1e480f65a6a00cc8","pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"}},"layout":["TCA source_bundle extracted into an empty directory (33 regular files, relative paths, no links)","LB4 bundle extracted over it (13 files)","deleted the four files LB4's scratch/NOTES.md names: scratch/ref/tca_tell.py, scratch/TellCore.sol, scratch/test_tell.py, scratch/test_policy.py","python3 -I scratch/materialize.py restored scratch/ref/blob.bin (sha256 above)","no file of the layout was edited; REFIT's blob was written beside it as refit_blob.bin and passed to TellPolicy as the blob path","the layout was not placed in an amm-challenge checkout and scratch/setup.sh was not run: this item is replica only"],"arms":{"stream":"Taylor's replica streams through the o1-b engine-order port, port.run(seed, policy), 10,000 steps, a new policy object per seed, as scratch/score.py's work() does","qt1":{"definition":"QMRef(scratch/ref/blob.bin) of scratch/ref/qmref.py","reads":{"port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"}},"LEAN":{"definition":"TellPolicy(scratch/ref/blob.bin, 4, .0001) of scratch/ref/policy.py","reads":{"port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"}},"R":{"definition":"TellPolicy(refit_blob.bin, 4, .0001) of the same scratch/ref/policy.py","reads":{"port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","refit_blob.bin":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d"}},"driver":{"file":"rq4.py (this item; imports port, policy.TellPolicy, qmref.QMRef from the layout; asserts the seven hashes above at every start; not delivered: only result.json and sources.json may be written)","sha256":"8751a39ef0bea3c4782e6066d3b015b7917c91058b7a4ef1193cbaf698152c3a"},"python":"CPython 3.12.3, python3 -I, standard library only, 4 worker processes"},"harness_checks":[{"seed":74100,"arm":"qt1","mine":622.725175636084,"published":622.725175636084,"published_in":"REFIT harness_check, qt1 port","equal":true},{"seed":64020,"what":"LEAN - qt1","mine":1.0067811864428222,"published":1.0067811864428222,"published_in":"LB4 Q.debug.vs_qt1.worst5","abs_diff":0.0},"both seeds are outside the choose block and the report block; R was not compared or chosen on them"],"decision":{"rule":"R if mean(R-LEAN) on choose block 64768..65023 > 2*se, else LEAN","made_on":"choose block 64768..65023 only","decision":"R","R_minus_LEAN_mean":0.061482,"se":0.009678,"two_se":0.019355,"se_above_zero":6.35,"wins_of_256":174,"halves_R_minus_LEAN":{"seeds_64768_64895":{"mean_diff":0.046926,"se":0.013823},"seeds_64896_65023":{"mean_diff":0.076038,"se":0.013479}},"written_at_unix":1794300014.3690464,"written_before_report_block":true,"enforcement":"decide.py refuses to run if report.jsonl exists; rq4.py report refuses to run without decision.json; decision.json holds the sha256 of choose.jsonl","choose_jsonl_sha256":"e05cec2f04a9ddd7327d8014f1b5926a3158f262f56b497dec7eebc8852cd5f0","report_jsonl_sha256":"f88aa3ad5db869adf8f4be5222c836baa5cf8d6cd3436d5c54016f1ce6050644","report_agrees":"report R-LEAN +0.059167, se 0.007465, 7.93 se above 0"},"choose":{"seeds":[64768,65023],"n":256,"n_steps":10000,"taken":"once, in order","mean_edge":{"qt1":536.854864,"LEAN":540.083367,"R":540.144849},"paired":{"R-LEAN":{"n":256,"mean_diff":0.061482,"se":0.009678,"min":-0.456971,"worst5":[{"seed":64990,"diff":-0.456971},{"seed":64809,"diff":-0.351184},{"seed":64975,"diff":-0.273402},{"seed":64803,"diff":-0.254762},{"seed":64822,"diff":-0.248749}],"wins":174,"t":6.35},"R-qt1":{"n":256,"mean_diff":3.289985,"se":0.05609,"min":0.634031,"worst5":[{"seed":64778,"diff":0.634031},{"seed":64875,"diff":0.92404},{"seed":64963,"diff":1.063805},{"seed":64854,"diff":1.089076},{"seed":64879,"diff":1.408706}],"wins":256,"t":58.66},"LEAN-qt1":{"n":256,"mean_diff":3.228503,"se":0.055969,"min":0.574235,"worst5":[{"seed":64778,"diff":0.574235},{"seed":64963,"diff":0.865783},{"seed":64875,"diff":0.967116},{"seed":64854,"diff":1.12271},{"seed":64901,"diff":1.415327}],"wins":256,"t":57.68}},"seeds_under_minus_2_vs_qt1":{"LEAN":[],"R":[]},"tell_label_counts":{"LEAN":{"neg":821107,"pos":974373},"R":{"neg":822120,"pos":972394}},"seconds_per_run":{"qt1":{"mean":0.314,"median":0.241,"max":2.393},"LEAN":{"mean":0.438,"median":0.347,"max":2.864},"R":{"mean":0.43,"median":0.347,"max":2.977}},"per_seed_edge":{"first_seed":64768,"order":"seed order, 6 decimals","qt1":[645.507119,594.957445,433.745446,585.314094,396.297243,641.419962,672.664582,662.844457,578.714724,412.952109,427.321639,782.387822,413.518625,472.96501,586.273462,627.611746,645.544505,615.356124,483.530979,414.0884,775.275335,503.5099,557.785584,519.68943,667.739565,454.460416,504.723961,553.426958,645.499614,455.805264,632.403921,466.96667,544.362887,453.16063,511.065258,429.811576,505.944482,398.57363,477.393624,601.040124,729.095109,479.387064,527.082626,559.923116,622.997191,534.518174,362.152781,461.416117,414.72106,555.800904,527.642789,598.860709,558.04744,516.894801,539.686881,431.211582,583.709962,575.887172,488.201353,383.330025,423.719559,488.146565,531.059709,637.625977,624.877766,661.524507,646.230562,591.305378,517.659725,506.378075,521.450899,613.875137,566.945386,496.470696,548.629339,403.80189,570.289108,599.019229,574.446448,643.486955,427.984364,607.042835,541.783588,648.998365,545.623738,513.088617,544.952052,586.785241,477.738234,393.612833,584.297776,568.563509,403.569849,564.757941,523.23185,537.174191,493.200788,593.418959,467.67395,381.313203,402.237703,626.216979,487.699788,659.214324,618.450351,679.017847,608.630421,435.883149,510.384201,524.237503,430.366598,451.877583,575.163247,519.932819,497.690685,499.173543,673.612396,546.491676,411.495356,563.354741,623.939671,592.930957,575.127147,579.625416,482.698328,651.177524,581.906865,406.474925,520.176261,533.859568,421.987917,453.245696,484.605386,740.891379,515.238555,529.175378,561.978671,480.71611,484.323084,418.759609,606.998736,461.059983,687.910452,712.866981,427.438679,454.600767,491.192727,787.51248,519.542862,535.039044,374.941835,702.566831,855.718664,549.305155,551.802328,493.196368,706.736839,451.182511,644.865815,470.090932,399.439043,530.541971,669.826867,332.134421,468.449554,540.321079,525.753308,541.414932,536.805173,699.14847,562.628135,528.808101,469.146155,565.010334,642.957558,483.181402,453.879462,738.841626,501.032038,485.286333,728.101857,381.109326,537.938447,454.431616,512.168264,430.358105,604.167314,636.253085,443.209391,592.688199,542.923741,462.737602,446.156912,415.904734,525.640853,569.908119,554.175682,707.933353,567.932797,564.648498,506.5734,530.599829,682.762804,440.159396,493.227681,600.40872,366.490349,653.147818,603.054971,398.218199,426.481128,632.528084,464.808834,542.582001,402.474603,565.074846,567.23899,546.755267,641.885735,407.3849,381.396162,498.642387,610.283797,386.894742,415.301799,715.135029,524.945708,803.458028,492.493093,476.079287,608.381638,551.704832,604.56496,398.279274,649.804537,609.039172,585.459683,549.935481,586.492523,659.507093,365.720234,386.87122,481.356023,577.868449,475.245794,522.916055,565.313412,466.870807,406.476152,518.715527,472.269984,561.984789,456.241131,468.714727,540.806754,616.308247],"LEAN":[649.611973,599.122573,436.224156,589.640379,399.523255,646.011514,676.112837,667.771959,581.851376,416.136762,427.895874,786.238547,416.327622,475.081485,590.099507,631.58454,649.357269,618.549043,485.588016,417.193869,778.605392,505.73437,561.493197,523.766591,672.071217,458.315298,508.182084,556.297806,649.098179,458.843565,635.317258,470.592308,547.314422,456.537185,514.919004,433.12853,509.82439,402.316165,480.779901,603.911711,732.665678,481.763756,530.629771,563.904079,625.755023,538.148362,365.993664,465.449524,417.895008,559.06365,530.178168,602.699585,560.257422,520.510509,543.884495,434.791599,586.389163,579.321217,491.998768,387.085132,427.320728,491.649113,534.320686,641.495108,628.098,666.254059,650.06526,594.589125,520.564673,508.454917,526.432221,617.766339,571.015365,498.708772,551.193537,405.822443,574.118422,601.972371,577.293963,646.334917,431.911018,610.223853,546.572124,651.745167,548.403996,516.248466,546.074762,590.164532,480.713307,396.832071,587.67746,570.385602,406.173238,568.657414,527.91136,539.365157,496.488583,596.642879,471.180103,383.618062,405.254667,630.177512,489.866112,660.696928,623.806152,684.354668,613.394896,436.850265,513.52887,526.508519,433.490222,453.472841,577.542972,523.563047,501.633836,502.707888,676.486242,550.874636,414.507922,567.099155,627.109702,596.236806,579.300077,582.837159,484.580059,654.157862,586.530037,409.744542,523.851334,537.488091,425.397155,456.293915,486.607568,742.306706,519.714747,531.786046,564.958871,482.346082,489.771291,420.935113,609.127974,464.137006,693.635187,716.595142,429.492989,456.94521,496.772158,790.984024,521.777929,537.540286,377.456728,707.220203,860.483518,552.81627,554.578725,496.178134,709.4187,454.125467,650.364231,473.608298,402.244453,532.81332,671.701047,335.160209,471.237058,542.825946,528.564298,543.407343,540.478492,701.302521,565.267634,531.989088,472.870251,569.82284,646.881957,487.196887,456.035859,742.300987,504.32465,488.110452,732.747971,384.049008,540.520643,456.983348,515.499392,434.535523,607.16093,638.940729,445.111416,595.712497,545.607514,465.587359,449.671835,418.751896,529.383823,570.773902,557.786897,711.041915,570.531439,568.177764,510.743554,532.795503,685.987096,443.453179,495.880071,604.324132,368.057191,656.816841,608.329794,401.527049,429.021368,635.91234,468.9342,544.281111,407.085712,568.42847,570.557598,549.356555,644.933897,409.324513,384.106254,500.584225,614.188392,390.842443,418.180298,719.038408,528.272925,807.543677,495.178009,478.0708,610.722035,555.097806,608.648893,400.294386,654.616486,611.60217,588.991081,555.316686,589.910925,664.680863,368.651124,389.329343,484.014158,580.398633,479.092575,525.695873,568.081499,469.457597,408.867411,521.078241,475.828777,565.24562,459.303989,471.374141,544.251219,619.080144],"R":[649.844709,599.346854,436.205127,589.648503,399.570002,646.066067,676.267097,667.930264,581.853229,416.159022,427.955669,786.218076,416.130583,474.967531,590.380279,631.669059,649.500453,618.563181,485.907775,417.067279,778.625165,505.651871,561.363619,523.843847,672.114932,458.265052,508.327041,556.29909,649.058666,458.864523,635.94,470.646452,547.415184,456.575416,514.866971,432.873768,509.684884,402.241774,480.877395,603.974496,733.083079,481.412571,530.550042,563.974829,625.907424,538.308426,365.826679,465.50841,418.101954,559.121221,530.383278,602.699036,560.660513,520.407286,543.635746,434.837808,586.539361,579.478749,491.913855,387.076776,427.279998,491.736662,534.127479,641.704697,628.253621,666.0286,650.013108,594.797896,520.623141,508.469225,526.500916,617.867536,571.655943,498.774639,551.262405,405.7359,574.082762,602.331911,577.350389,646.566401,431.936984,610.347436,546.421997,651.663664,548.637396,516.293843,546.041128,590.12754,480.652642,396.839127,587.686136,570.21306,406.220216,568.666325,528.001938,539.576841,496.458351,596.758475,471.227704,383.545945,405.144415,630.102816,489.944824,660.982013,623.934614,684.37214,613.730985,436.807189,513.651331,526.335304,433.582059,453.286288,577.708689,523.459252,501.645813,502.770965,676.384448,550.720513,414.55307,567.144325,627.262225,596.263641,579.503195,582.808733,484.652266,654.132875,586.803032,409.780094,523.93642,537.295471,425.647001,456.51492,486.799261,742.418061,519.75557,531.861421,565.083398,482.603309,489.769671,420.982654,609.067951,464.651047,693.405661,716.823516,429.636278,457.413512,496.797826,791.064821,521.775643,537.499363,377.57204,707.168123,860.258352,552.827374,554.930799,496.28932,709.460074,454.232726,650.671551,473.526659,402.169539,532.87685,671.855856,335.000789,471.207401,542.92154,528.714269,543.633776,540.664778,701.442569,565.385589,532.114081,472.848717,569.729253,647.179491,487.103572,455.969051,742.390336,504.296848,488.159863,732.929306,384.184918,540.621402,457.123236,515.738026,434.675036,607.447322,638.985546,445.147637,596.053168,545.582476,465.668003,449.605057,418.786726,529.549279,570.971924,557.683421,711.024173,570.601395,568.149569,510.882499,532.781299,686.170909,443.385915,496.288447,604.386323,368.189767,656.543439,608.255899,401.580932,429.357308,635.938229,469.084008,544.242838,406.942257,568.447728,570.671635,549.2639,644.936658,409.442683,384.050073,500.734706,613.731421,390.960662,418.283264,719.119278,528.085092,808.101886,495.184423,478.305453,610.737977,555.229865,608.664004,400.220379,654.505754,611.87653,589.080752,555.515037,590.166688,664.998732,368.673998,389.414651,484.130641,580.549247,479.038948,525.722833,568.018995,469.572874,409.001802,521.132135,475.847585,565.354354,459.309024,471.397442,544.451331,619.054274]}},"report":{"seeds":[11536,12047],"n":512,"n_steps":10000,"taken":"once, in order","mean_edge":{"qt1":533.538475,"LEAN":536.760482,"R":536.819649},"paired":{"R-LEAN":{"n":512,"mean_diff":0.059167,"se":0.007465,"min":-0.822112,"worst5":[{"seed":11675,"diff":-0.822112},{"seed":11998,"diff":-0.771508},{"seed":11690,"diff":-0.534588},{"seed":11671,"diff":-0.495289},{"seed":11589,"diff":-0.381757}],"wins":330,"t":7.93},"R-qt1":{"n":512,"mean_diff":3.281175,"se":0.04588,"min":0.52709,"worst5":[{"seed":11808,"diff":0.52709},{"seed":11967,"diff":0.802271},{"seed":11980,"diff":0.810226},{"seed":11855,"diff":0.922885},{"seed":11821,"diff":1.037531}],"wins":512,"t":71.52},"LEAN-qt1":{"n":512,"mean_diff":3.222007,"se":0.045906,"min":0.561235,"worst5":[{"seed":11808,"diff":0.561235},{"seed":11967,"diff":0.641181},{"seed":11980,"diff":0.643432},{"seed":11855,"diff":0.812777},{"seed":11701,"diff":0.921981}],"wins":512,"t":70.19}},"seeds_under_minus_2_vs_qt1":{"LEAN":[],"R":[]},"tell_label_counts":{"LEAN":{"neg":1650127,"pos":1940869},"R":{"neg":1652447,"pos":1936756}},"seconds_per_run":{"qt1":{"mean":0.249,"median":0.231,"max":1.717},"LEAN":{"mean":0.35,"median":0.331,"max":2.066},"R":{"mean":0.357,"median":0.335,"max":2.222}},"per_seed_edge":{"first_seed":11536,"order":"seed order, 6 decimals","qt1":[430.381594,520.519305,588.129013,558.503095,783.064283,573.869668,386.467521,488.563121,532.256419,366.685808,476.774459,362.285457,454.993456,499.554876,561.939963,544.943649,569.805534,694.834862,628.627969,686.452607,446.148092,589.628721,672.258543,633.249031,522.886565,529.944551,399.554484,427.031518,620.038504,663.094342,414.577594,551.522196,600.282747,442.34442,585.361892,606.133551,529.524864,677.440338,428.700807,435.254759,440.559752,428.116196,711.819899,665.250098,511.724242,434.339328,571.783949,534.27988,574.502764,580.504246,388.968689,564.753761,587.705433,691.143337,559.314485,530.384522,348.736101,395.784788,388.828479,594.957201,610.998162,664.821553,504.544362,348.662823,466.374318,726.574998,586.059275,620.693274,525.78848,531.143112,419.490845,549.076497,402.158219,584.717514,623.943123,482.651057,536.838975,595.430142,416.125876,630.804396,473.498905,604.567961,695.840835,519.24867,550.613009,569.274953,628.470896,499.409396,586.382775,631.489377,418.558881,528.115888,750.286866,403.436267,578.471022,541.075082,673.743177,544.724963,473.413501,630.993082,543.278725,457.604206,394.386252,374.386728,593.221355,472.131422,660.407343,614.848941,477.016545,659.941773,641.721585,669.10193,650.28005,514.681473,437.565851,656.900755,654.068438,381.093087,442.670455,454.293469,614.244844,615.280613,609.56721,625.312953,607.741348,604.126796,421.174586,508.572363,481.364303,580.167325,530.379638,522.08748,548.366669,616.605305,466.753277,579.081692,471.357545,471.004728,545.497874,446.235526,668.760142,584.272263,546.071148,485.122307,447.052776,484.298619,519.29842,628.563408,482.895174,585.588953,523.942525,568.428194,426.501629,378.06894,448.384078,463.34931,600.575902,643.798189,544.17724,601.149466,717.029227,616.376418,508.167397,579.798021,493.57747,655.963126,657.945668,579.630418,553.325696,642.381908,513.461613,455.188262,541.582351,601.39263,497.710843,414.53304,506.278598,540.438688,535.780184,542.298167,425.886992,395.08262,423.454538,631.142529,481.368209,380.737586,482.845292,472.211818,459.914008,529.731564,444.39217,619.349934,670.811412,532.22277,713.501272,474.059429,386.591415,621.486363,581.924141,549.921452,519.755695,734.871666,363.304655,640.370623,623.395485,697.593105,398.456325,571.894545,551.116167,443.973494,645.656805,637.095995,576.888208,588.343956,425.094841,628.392441,393.737476,586.44557,501.406833,572.983753,649.557254,490.262094,606.596835,574.710572,534.905435,562.81319,647.667048,612.987582,428.069014,672.629986,482.008269,538.921869,438.435698,608.181166,685.180722,464.875911,525.389019,390.432798,540.077156,449.841938,639.200634,406.572317,779.362588,449.152588,489.963512,712.867068,532.900634,625.662637,397.973424,560.072318,500.120482,542.703958,382.075913,561.031355,595.199605,715.365487,724.799871,471.705941,492.268462,530.373109,526.215394,518.850723,445.935143,542.439816,468.29741,571.925352,588.893728,408.746837,444.545191,695.631664,552.112334,414.079915,625.587611,604.386088,714.795285,468.678799,517.030262,672.400458,427.316359,603.6637,404.834613,461.712575,444.24734,413.045884,474.982573,493.307282,701.581839,387.52688,502.081003,460.6175,632.78284,544.96919,353.080789,510.348529,482.722937,632.282209,430.925827,473.385792,564.526935,506.212601,537.236962,582.690322,604.976967,663.975241,562.805671,419.449659,435.216525,534.642731,631.467928,659.462813,436.226569,438.159806,460.221759,653.521493,555.905807,580.34973,582.736159,443.857577,435.666431,531.393747,471.980884,610.530819,438.792638,710.685323,431.452874,625.586884,400.357341,708.113674,349.372931,614.832983,604.642146,569.28023,526.285639,631.624561,654.760767,575.107673,529.962223,502.54557,357.982474,704.594655,407.92463,365.884319,596.303147,549.521358,572.139821,434.76794,448.797271,433.582088,532.441711,561.371538,613.859521,498.181219,637.604049,460.311342,392.474791,407.786691,589.647037,673.628683,537.008984,508.784181,591.594358,586.291814,582.190552,397.873838,613.275646,431.00931,432.242675,399.601734,450.15937,467.722239,394.160614,599.687273,552.715331,410.446385,723.470211,744.106292,517.285678,409.4498,423.212113,490.098643,378.79402,610.920695,726.96298,603.500065,608.625443,804.37886,629.253275,390.844816,484.258146,412.91822,610.716304,404.779539,516.582475,654.689113,663.162123,672.714777,551.364448,458.311362,522.852764,657.34121,441.999683,557.882632,424.149067,583.795535,411.696954,418.708476,469.446106,496.955346,616.823623,529.638458,476.349274,628.033927,484.518949,457.668752,754.471207,334.472165,511.408813,519.921979,469.208672,464.029589,612.686423,639.167912,642.440267,526.812074,556.53229,475.094207,449.166997,458.661252,636.100887,589.009823,554.551534,467.040079,494.837325,429.912633,407.28877,527.819654,604.267271,474.075511,479.0628,483.460628,652.293832,381.053571,448.178854,466.907922,456.747541,464.778047,564.338633,388.58194,544.850723,446.543768,440.613302,546.935736,492.844613,528.980118,512.137158,433.283578,591.91549,680.984646,681.885446,487.34491,573.393548,613.969843,502.316073,353.645353,679.329048,604.50917,448.726855,742.198048,595.74654,686.747616,561.693176,373.772765,497.092124,543.366982,532.350836,561.28851,448.046611,574.158608,422.218914,584.562708,475.696497,495.66853,437.807413,386.813978,578.245772,469.890885,471.321374,777.897119,381.456841,556.523364,548.553923,532.281346,478.77632,422.364935,637.7025,479.659446,569.473297,425.549362,704.066736,386.89107,638.741919,465.320689,526.781702,500.75183,573.992262,565.239852,436.439247,451.454013,626.501194,400.753562,527.854689,411.369186],"LEAN":[434.332556,524.077619,591.884678,562.343328,789.265806,578.309773,388.922018,491.571854,536.932001,368.655329,478.893134,365.666249,459.067079,501.900059,567.673803,549.402997,573.320257,698.692938,633.478259,688.740962,449.57197,592.413201,676.678475,637.337539,527.027614,532.530143,402.421603,428.554298,622.622118,666.198483,416.917037,555.680785,602.816963,445.283826,589.032232,609.079128,532.38409,681.488989,430.784898,439.358528,443.855162,432.38702,717.699515,667.284709,514.261222,436.936258,574.298134,538.043487,576.80155,583.245796,391.10623,567.980981,589.844987,694.447681,562.091781,533.090129,351.920989,398.776416,393.80966,598.520723,614.830881,666.921713,509.245502,350.973208,469.396297,729.738054,587.979699,624.316789,528.363129,533.681136,421.556012,553.795169,405.03954,589.636787,628.450368,485.19918,539.757828,598.992567,419.266264,635.791662,475.966387,607.319157,699.995835,522.63122,555.347658,571.572845,632.062189,501.835931,589.530688,635.98172,421.901413,531.027668,753.097809,407.209351,581.076442,544.167068,677.616622,548.985258,477.794363,633.193977,546.080833,460.519002,396.2034,377.398205,597.614104,475.804058,662.836339,618.156153,479.572711,663.684175,648.030235,673.531388,653.621835,516.771654,440.522561,659.333092,656.641114,384.53478,446.197607,457.19435,619.32458,619.637662,615.029126,629.580051,610.295332,608.36111,423.664643,512.506631,484.192308,582.93764,532.721557,525.986537,549.600602,619.809014,469.476826,582.67979,474.690987,473.179373,546.549922,450.548571,672.672816,587.190498,549.311606,487.170547,449.526408,487.941938,520.852926,631.499523,485.51857,591.294044,526.39566,571.644635,429.440695,380.922198,451.085414,466.311548,606.761137,645.211633,547.864865,603.833635,719.522076,619.90034,513.167801,583.639085,496.646902,656.885107,663.543583,583.091413,556.926581,645.586107,517.090396,457.874158,545.576044,604.100434,500.831585,417.614757,507.442218,543.887967,538.806591,545.696279,428.286586,398.601515,426.304435,637.067736,483.383873,383.30891,485.456588,474.442898,462.166126,533.10643,448.376889,621.547783,674.783471,535.504012,715.722593,477.168161,389.826187,626.483482,584.859578,552.229213,523.007888,736.658251,366.288256,644.390615,627.462432,701.041119,401.080011,573.249429,554.277063,445.453234,647.585415,640.148039,579.275208,591.218164,428.501408,631.163275,396.625981,588.022361,504.874023,577.005538,651.927318,491.618018,609.741324,577.913369,539.252189,566.233439,650.779964,617.112605,430.918934,675.039383,484.520437,543.821482,442.578583,612.623662,686.710798,468.587897,526.976691,392.128272,546.006358,453.505577,642.689621,410.937302,781.796079,451.311582,492.473604,717.832543,537.735177,629.344045,400.399441,564.379792,502.644453,545.985826,384.145574,563.259029,599.194251,719.801042,730.485485,474.722774,494.393609,534.920066,530.023751,520.90314,449.933821,545.202039,471.072437,575.925448,592.275869,411.83092,446.931197,700.447587,555.13914,416.116007,626.148846,607.433079,720.047504,469.696161,520.002074,675.196623,429.996503,606.988333,407.917122,465.082532,446.561452,415.244873,477.726062,494.501389,703.071661,389.999136,504.57948,463.117785,636.835653,550.710203,355.255422,513.060646,485.345712,636.138554,434.710629,476.663927,568.431371,510.349212,540.885054,584.442451,606.873333,666.107047,566.194681,422.843839,438.284196,538.839588,632.470891,663.575964,438.972373,440.775918,463.442702,658.499308,559.461289,583.137967,586.450087,446.467733,440.223305,532.206523,474.120392,614.518621,441.559043,714.025762,434.665797,631.815543,403.193,712.224521,352.0762,617.215387,608.83787,573.272037,530.438341,637.559689,657.751372,577.719889,533.21416,506.211332,359.447722,707.372277,409.52585,368.037554,601.579333,553.32239,576.516727,438.389947,450.675741,436.231171,535.965949,563.685388,615.759935,502.289302,638.937228,462.263766,396.132499,411.867551,592.587685,678.063759,540.455704,512.834595,594.165696,590.218173,586.052106,399.876595,617.601211,433.850551,435.167174,402.755795,451.234982,470.851469,397.658187,603.082067,555.479435,414.561921,726.731816,746.243978,519.470729,411.540945,424.95672,493.77718,380.600554,613.11088,729.903176,606.980545,611.998154,808.581904,632.971937,393.477191,485.735088,415.651105,613.142948,408.694573,520.56012,656.738242,667.236795,675.776193,554.774633,460.411181,527.441062,660.64054,445.297326,561.999552,426.951537,587.335499,414.4953,420.567553,472.717499,500.673127,620.302763,532.523226,478.484877,632.771409,488.648162,460.469256,757.933761,336.586732,515.840681,522.181822,472.400459,466.626532,615.61952,641.137128,644.888671,530.829167,561.880955,478.635341,452.761658,462.738789,640.313981,590.512429,558.077323,467.68126,497.50717,434.564802,410.350653,531.199925,608.194235,478.279234,483.37011,486.522219,655.67517,385.845869,451.287142,470.221998,457.390973,467.30181,568.623367,391.303838,547.785537,449.630256,442.467289,550.720315,495.635014,531.423215,515.751059,435.062689,595.512374,685.364604,687.005337,489.63736,577.377165,616.886788,505.730081,356.494585,687.35181,607.371886,451.612353,744.548285,599.225509,690.826025,566.652727,377.428875,499.925272,547.037136,535.843916,563.803824,450.897503,578.57799,426.391438,589.381772,479.712849,500.070773,441.0005,388.700537,582.601876,473.306978,474.22719,781.884377,384.486485,560.874214,553.518079,534.910004,481.405517,426.091396,640.411309,483.373575,574.158187,427.236698,709.597039,390.34975,641.560681,468.55503,531.008021,503.970405,576.158,567.385891,440.978248,454.666068,628.355958,402.925664,531.824513,413.685353],"R":[434.301965,524.133311,592.099765,562.393764,789.237973,578.370251,388.909968,491.720187,537.016781,368.887943,479.079548,365.529405,459.37422,501.855508,567.708544,549.379415,573.681412,698.78046,633.970956,688.677862,449.621234,592.567686,676.777744,637.750673,527.194905,532.696078,402.39963,428.605482,622.68151,666.303568,416.772472,555.714198,602.790273,445.213027,589.0974,609.14536,532.116581,681.307836,430.80945,439.330603,443.619311,432.427002,717.590764,667.283821,514.5272,437.148584,574.394193,538.304837,576.920672,583.390973,391.271591,568.300115,589.961821,694.065923,561.963694,533.52339,351.932671,398.846169,393.807588,598.730648,615.160725,666.909569,509.534335,351.0024,469.829636,730.073521,587.74589,624.387399,528.286319,533.635401,421.514753,554.074438,405.041527,589.619277,628.40416,485.192087,539.655632,599.202603,419.243132,635.812248,476.176821,607.286992,699.903223,522.742627,555.352094,572.098589,632.008393,502.046317,589.605505,635.972929,421.849639,531.157229,753.180931,407.323848,581.178922,543.996828,677.639214,549.071379,477.656375,633.378842,546.448908,460.728211,396.201704,377.371351,597.827835,475.725502,662.965566,618.147318,479.577908,663.885509,647.84976,673.425391,653.93636,516.800578,440.46389,659.258208,656.488985,384.470443,446.467906,457.222716,619.434506,619.606086,615.438706,629.457372,610.235665,608.409189,423.928336,512.54609,484.246318,583.090519,532.916879,526.004704,549.858733,619.753048,469.787654,582.184501,474.837261,473.39407,546.717066,449.726459,672.874379,587.283626,549.589266,487.362865,449.452938,487.875734,520.83572,631.662721,485.508462,591.452864,526.406955,571.550365,429.549039,380.729129,450.550826,466.300746,606.783332,645.49522,547.563275,603.81787,719.544253,619.920814,513.44902,583.870442,496.836272,657.155559,663.495523,583.332518,556.982692,645.61479,517.179955,457.783709,545.575552,604.245289,500.836102,417.657913,507.604944,543.871248,538.895909,545.708079,428.360479,398.544388,426.417983,637.343671,483.325924,383.529398,485.544903,474.65793,462.113944,533.358714,448.463869,621.745392,674.951635,535.137417,715.583153,477.000739,389.999829,626.605201,584.935144,552.553191,523.102758,736.989241,366.359572,644.356435,627.391384,701.176101,401.251562,573.225202,554.822487,445.470058,647.581623,640.354782,579.316372,591.244237,428.588215,631.399765,396.267826,588.138029,504.996134,577.020608,651.836643,491.974999,609.642346,578.118918,539.212019,566.14342,651.109772,616.959337,430.865021,675.560474,484.610714,543.568613,442.517217,612.57088,686.608935,468.404001,526.957959,392.150145,546.121564,453.5225,642.689508,411.085591,782.078382,451.723195,492.546386,718.213837,537.541815,629.502049,400.595171,564.38645,502.723764,545.808777,384.194819,563.389359,599.04447,720.002526,730.579561,474.943284,494.524636,534.885125,530.069186,521.137269,449.750351,545.409164,471.018625,576.073377,592.386266,411.680579,446.928432,700.593824,555.160111,416.277655,626.114701,607.66336,720.234731,470.237882,520.194595,674.859685,430.164637,606.93513,408.025412,465.04635,446.744687,415.562785,477.88763,494.344812,703.296099,389.799667,504.540284,463.194315,637.156634,550.787064,355.356836,513.211316,485.43606,636.359582,434.774703,476.790813,568.48057,510.299636,541.149916,584.526072,606.909018,666.120108,566.250863,422.758927,438.563509,538.887134,632.616329,663.98151,438.879883,440.766924,463.619493,658.553833,559.559581,583.236445,586.278178,446.67286,440.158454,532.316631,474.161974,614.680042,441.515335,714.054464,434.675543,631.961079,402.927817,712.483802,352.179539,617.262467,609.109292,573.234056,530.208489,637.672384,658.014104,577.72519,533.686156,506.080849,359.432059,707.567996,409.557615,368.32148,601.542004,553.469304,576.488156,438.481019,450.505735,436.236713,536.183044,563.854185,615.846044,502.45521,639.09805,462.333731,395.853093,411.858999,592.584478,678.138293,540.540336,512.90315,594.222603,590.337479,586.148504,400.061566,617.791822,433.955222,435.053588,402.647712,451.224949,470.714313,397.757934,603.286558,555.502826,414.333784,726.705973,746.571612,519.428894,411.711618,425.021874,493.741294,380.712553,613.139403,730.181717,606.981202,612.177553,808.425691,632.893955,393.570768,485.878979,415.802766,613.095023,408.711294,520.473954,656.618628,667.245279,675.668214,554.803055,460.397937,527.519488,660.62741,445.560013,562.008174,426.953821,587.192659,414.446069,420.769791,472.824363,500.558831,620.201668,532.535987,478.491774,633.140655,488.574222,460.625342,757.87521,336.724177,515.988009,522.067721,472.568774,466.416518,615.618199,641.120459,644.746931,531.057476,561.905692,478.628947,452.776662,462.646907,640.155149,590.571398,558.153548,467.84235,497.659473,434.761388,410.297082,531.234375,608.316575,478.314057,483.464752,486.514969,655.942492,385.883923,451.238208,470.212641,457.557767,467.386428,569.054169,391.250507,548.040403,449.737184,442.766249,550.819966,495.682482,531.349763,515.887755,435.09131,595.462384,685.071279,687.165553,489.760454,577.159341,617.027287,504.958573,356.573952,687.506174,607.561226,451.578149,745.021728,599.298555,690.743931,566.455176,377.530775,500.097479,546.994984,535.792843,563.853507,451.010254,578.919503,426.331636,589.10376,479.655748,500.230123,441.219929,388.457764,582.711027,473.312928,474.28339,781.915374,384.325599,561.092725,553.623652,534.892667,481.661034,426.104018,640.646952,483.432492,573.955299,427.17472,709.610043,390.175611,641.397154,468.393578,531.174289,504.388015,576.272695,567.738281,440.735436,454.739801,628.488447,403.163671,531.934199,413.594861]}},"seconds":{"per_run":"see seconds_per_run in each block: about 0.23 s (qt1) and 0.33 s (LEAN, R) median per 10,000-step run; a worker's first run of each arm also decodes that arm's tables (the max column; 1.4 to 3.0 s)","first_timed_run":{"seed":74100,"qt1":1.577,"LEAN":2.273,"R":2.765,"note":"one process, each figure includes its table decode"},"commands":[{"cmd":"python3 -I gates.py","wall":6.5},{"cmd":"rq4.py check 74100 74101","wall":6.8},{"cmd":"rq4.py choose 64768 64864","wall":30.5},{"cmd":"rq4.py choose 64864 65024","wall":46.3},{"cmd":"decide.py","wall":"not timed, under a second"},{"cmd":"rq4.py report 11536 12048","wall":122.7},{"cmd":"rq4.py check 64020 64021","wall":"not timed, one seed"}],"longest_command_seconds":122.7,"no_command_over_8_minutes":true},"cut":"nothing: all 256 choose seeds and all 512 report seeds, three arms each, 10,000 steps, 2304 runs","caveats":["Replica only. Replica levels are not board scores. Nothing ran on the Rust engine, no Solidity was written or compiled, no gas or bytecode figure is claimed for R; gate F does not apply.","The choose block lies inside 64512..65023, the seeds on which the REFIT item selected its regularization weight (under a different base: TwoComp + o1-b's Bayes wad tell, floor 1e-3, cap 64). The choose figure may carry that selection; the report block does not: REFIT fitted on 64000..64511 and ran 10000..12047 once afterwards. Choose and report agree (+0.061 and +0.059).","R was fitted to the visits of REFIT's BASE policy, not LEAN's; it was not refitted here. The figure is what that blob does inside LEAN unchanged.","R changes the fees, so the trade stream and the tell's inputs differ from LEAN's after the first divergence: label counts differ slightly between the arms (same tell code, budget 4).","R-LEAN is negative on 182 of 512 report seeds (worst -0.822 on 11675); it is a mean gain, not a per-seed one.","The 512-seed block has se 0.046 for the arms against qt1; lb-4's 2048-seed figure for LEAN-qt1 (+3.160, se 0.022) is the tighter level estimate.","The tell depends on bit-exact binary64 behaviour (CPython 3.12.3 here); lb-4 reports its contract labels equal the reference, which this item did not re-run.","A contract for R would be lb-4's Strategy.sol with the 4,896 coefficient words replaced (REFIT: header, knots and layout byte-identical, 1,599 coefficients changed); not built or tested here."],"next":["R clears the brief's contract bar (+0.5 over qt1 on the report seeds) only because LEAN already does; the refit's own increment is +0.059167 (se 0.007465). The per-seed sd of R-LEAN on the report block is 0.169, so on the replica a paired R-against-LEAN comparison resolves this gain at 2 se in a few dozen seeds; whether the engine pairs as tightly was not measured here."]}