{"blocked":null,"item":"b","batch":"e02-search-share","mechanism":"SHARE copy b, CMA seed 2","sec_per_sim":0.0476,"sec_per_sim_note":"32 sims in 1.52 s wall with run_batch(..., 8) on 32 cores (64 sims at 32 workers: 1.55 s); per evaluation ~1.9 s incl. parallel solc compile","n_params":8,"evaluations":600,"evaluations_note":"CMA-ES (own numpy, (mu/mu_w,lambda)=(5,10), numpy default_rng(2)), 60 generations x 10 on CRN batch 120000..120063 (64 seeds); stopped at 1125 s of the 30 min budget because the mean had collapsed onto WF=WL=1 (pure STACK) with sigma 0.019. Plus 3 re-checks x 256 seeds and 1 held-out run.","log":[{"i":0,"gen":1,"params":{"WF":0.9378,"WL":0.7954,"LO":0.0,"HI":0.003105,"C1":3.088,"C2":1.373,"C3":0.6746,"SC":1.279},"n":64,"mean_diff":-0.7325},{"i":3,"gen":1,"params":{"WF":0.6978,"WL":1.0,"LO":0.001234,"HI":0.004551,"C1":0.2,"C2":-1.806,"C3":1.841,"SC":1.046},"n":64,"mean_diff":-29.9626},{"i":7,"gen":1,"params":{"WF":1.0,"WL":0.9548,"LO":0.0,"HI":0.006112,"C1":1.752,"C2":-0.2361,"C3":0.8213,"SC":0.9621},"n":64,"mean_diff":-0.286},{"i":11,"gen":2,"params":{"WF":1.0,"WL":0.9984,"LO":0.0005,"HI":0.00315,"C1":0.2797,"C2":0.4624,"C3":0.4904,"SC":1.381},"n":64,"mean_diff":-2.4419},{"i":15,"gen":2,"params":{"WF":0.8956,"WL":1.0,"LO":0.0,"HI":0.006581,"C1":1.562,"C2":0.9172,"C3":0.536,"SC":1.461},"n":64,"mean_diff":-0.1208},{"i":19,"gen":2,"params":{"WF":0.8469,"WL":0.9276,"LO":0.0,"HI":0.006477,"C1":0.2,"C2":1.687,"C3":1.357,"SC":1.293},"n":64,"mean_diff":-0.2388},{"i":23,"gen":3,"params":{"WF":0.8458,"WL":0.7478,"LO":0.000437,"HI":0.006459,"C1":0.2,"C2":1.474,"C3":1.529,"SC":1.25},"n":64,"mean_diff":-2.8303},{"i":27,"gen":3,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.006275,"C1":0.2,"C2":3.0,"C3":0.5086,"SC":1.81},"n":64,"mean_diff":0.0005},{"i":30,"gen":4,"params":{"WF":0.8425,"WL":1.0,"LO":0.0,"HI":0.002402,"C1":0.2,"C2":2.949,"C3":0.0,"SC":1.258},"n":64,"mean_diff":-0.2905},{"i":34,"gen":4,"params":{"WF":0.8727,"WL":0.7125,"LO":0.000386,"HI":0.006737,"C1":0.6675,"C2":2.611,"C3":0.0,"SC":0.7496},"n":64,"mean_diff":-2.5702},{"i":38,"gen":4,"params":{"WF":1.0,"WL":0.8846,"LO":0.0,"HI":0.009012,"C1":1.203,"C2":3.0,"C3":0.3917,"SC":1.126},"n":64,"mean_diff":-0.0945},{"i":42,"gen":5,"params":{"WF":0.9586,"WL":1.0,"LO":0.0,"HI":0.004695,"C1":0.2,"C2":3.0,"C3":0.5785,"SC":0.7384},"n":64,"mean_diff":-0.0525},{"i":46,"gen":5,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.006198,"C1":0.804,"C2":2.755,"C3":1.761,"SC":1.013},"n":64,"mean_diff":0.0002},{"i":50,"gen":6,"params":{"WF":0.8585,"WL":1.0,"LO":0.000284,"HI":0.005662,"C1":0.2,"C2":3.0,"C3":0.286,"SC":1.212},"n":64,"mean_diff":-1.5895},{"i":54,"gen":6,"params":{"WF":0.8238,"WL":0.8594,"LO":0.0,"HI":0.006882,"C1":0.2,"C2":1.959,"C3":1.274,"SC":0.6404},"n":64,"mean_diff":-0.3711},{"i":57,"gen":6,"params":{"WF":0.8946,"WL":0.738,"LO":0.0,"HI":0.007204,"C1":0.2,"C2":3.0,"C3":0.08854,"SC":1.136},"n":64,"mean_diff":-0.5203},{"i":61,"gen":7,"params":{"WF":1.0,"WL":0.9387,"LO":0.0,"HI":0.005229,"C1":0.2,"C2":3.0,"C3":1.502,"SC":0.7943},"n":64,"mean_diff":-0.0358},{"i":65,"gen":7,"params":{"WF":1.0,"WL":0.9799,"LO":5.9e-05,"HI":0.005987,"C1":0.2,"C2":3.0,"C3":0.4766,"SC":1.04},"n":64,"mean_diff":-0.2728},{"i":69,"gen":7,"params":{"WF":1.0,"WL":0.832,"LO":0.0,"HI":0.004779,"C1":0.2,"C2":2.747,"C3":0.8537,"SC":0.7385},"n":64,"mean_diff":-0.2142},{"i":73,"gen":8,"params":{"WF":1.0,"WL":0.9531,"LO":0.0,"HI":0.004722,"C1":1.252,"C2":3.0,"C3":1.81,"SC":0.7444},"n":64,"mean_diff":-0.0277},{"i":77,"gen":8,"params":{"WF":0.8862,"WL":1.0,"LO":0.000299,"HI":0.005594,"C1":0.2,"C2":3.0,"C3":0.3525,"SC":1.277},"n":64,"mean_diff":-1.5683},{"i":81,"gen":9,"params":{"WF":0.9869,"WL":0.9688,"LO":0.0,"HI":0.005499,"C1":0.2,"C2":2.545,"C3":1.043,"SC":1.06},"n":64,"mean_diff":-0.0048},{"i":84,"gen":9,"params":{"WF":0.7697,"WL":1.0,"LO":0.0,"HI":0.004272,"C1":0.2,"C2":3.0,"C3":1.209,"SC":0.8872},"n":64,"mean_diff":-0.4242},{"i":88,"gen":9,"params":{"WF":0.8528,"WL":1.0,"LO":0.0,"HI":0.005492,"C1":0.2644,"C2":3.0,"C3":1.611,"SC":0.9986},"n":64,"mean_diff":-0.2113},{"i":92,"gen":10,"params":{"WF":0.8645,"WL":0.9767,"LO":0.0,"HI":0.006182,"C1":0.3761,"C2":1.339,"C3":1.463,"SC":1.485},"n":64,"mean_diff":-0.222},{"i":96,"gen":10,"params":{"WF":0.9085,"WL":0.9751,"LO":0.000271,"HI":0.005983,"C1":0.9432,"C2":1.958,"C3":1.079,"SC":1.123},"n":64,"mean_diff":-1.3864},{"i":100,"gen":11,"params":{"WF":0.9428,"WL":0.9715,"LO":0.0,"HI":0.004225,"C1":1.238,"C2":2.568,"C3":1.197,"SC":1.134},"n":64,"mean_diff":-0.0914},{"i":104,"gen":11,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004545,"C1":0.2,"C2":3.0,"C3":1.278,"SC":1.411},"n":64,"mean_diff":-0.0014},{"i":108,"gen":11,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004576,"C1":0.7661,"C2":2.303,"C3":1.93,"SC":0.9518},"n":64,"mean_diff":-0.0014},{"i":111,"gen":12,"params":{"WF":0.8877,"WL":0.9152,"LO":0.0,"HI":0.004772,"C1":1.077,"C2":2.926,"C3":1.671,"SC":1.274},"n":64,"mean_diff":-0.1899},{"i":115,"gen":12,"params":{"WF":1.0,"WL":0.9445,"LO":2.9e-05,"HI":0.004898,"C1":0.6852,"C2":2.046,"C3":1.364,"SC":1.131},"n":64,"mean_diff":-0.1717},{"i":119,"gen":12,"params":{"WF":1.0,"WL":0.8456,"LO":0.0,"HI":0.004355,"C1":0.5032,"C2":1.664,"C3":1.32,"SC":1.016},"n":64,"mean_diff":-0.1853},{"i":123,"gen":13,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.006307,"C1":1.036,"C2":2.243,"C3":1.536,"SC":1.148},"n":64,"mean_diff":0.0006},{"i":127,"gen":13,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.00499,"C1":0.883,"C2":3.0,"C3":1.713,"SC":1.231},"n":64,"mean_diff":-0.0013},{"i":129,"gen":13,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003237,"C1":0.2,"C2":2.125,"C3":1.512,"SC":1.051},"n":64,"mean_diff":0.0155},{"i":132,"gen":14,"params":{"WF":1.0,"WL":1.0,"LO":0.000105,"HI":0.004883,"C1":0.2,"C2":2.113,"C3":1.41,"SC":1.421},"n":64,"mean_diff":-0.4854},{"i":136,"gen":14,"params":{"WF":1.0,"WL":0.9319,"LO":0.0,"HI":0.004135,"C1":0.2,"C2":2.153,"C3":2.301,"SC":1.082},"n":64,"mean_diff":-0.0428},{"i":139,"gen":14,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005834,"C1":1.154,"C2":2.644,"C3":2.169,"SC":1.001},"n":64,"mean_diff":0.0002},{"i":143,"gen":15,"params":{"WF":1.0,"WL":0.9505,"LO":0.000212,"HI":0.005408,"C1":0.2,"C2":2.132,"C3":2.165,"SC":1.312},"n":64,"mean_diff":-1.0518},{"i":147,"gen":15,"params":{"WF":0.9743,"WL":1.0,"LO":0.0,"HI":0.003339,"C1":0.5741,"C2":2.489,"C3":0.8946,"SC":0.9831},"n":64,"mean_diff":-0.0057},{"i":151,"gen":16,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005076,"C1":0.558,"C2":2.168,"C3":1.107,"SC":1.02},"n":64,"mean_diff":-0.0015},{"i":155,"gen":16,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005477,"C1":0.5218,"C2":2.38,"C3":0.9713,"SC":1.484},"n":64,"mean_diff":-0.0017},{"i":159,"gen":16,"params":{"WF":0.9461,"WL":0.9727,"LO":0.0,"HI":0.00603,"C1":0.2,"C2":2.13,"C3":1.642,"SC":1.182},"n":64,"mean_diff":-0.0736},{"i":163,"gen":17,"params":{"WF":1.0,"WL":0.8346,"LO":0.0,"HI":0.00628,"C1":0.2054,"C2":2.851,"C3":1.338,"SC":1.204},"n":64,"mean_diff":-0.2105},{"i":166,"gen":17,"params":{"WF":0.905,"WL":0.9737,"LO":0.0,"HI":0.00512,"C1":0.2,"C2":2.154,"C3":1.178,"SC":1.196},"n":64,"mean_diff":-0.103},{"i":170,"gen":18,"params":{"WF":1.0,"WL":0.9256,"LO":0.0,"HI":0.005384,"C1":0.7181,"C2":1.936,"C3":1.213,"SC":0.8749},"n":64,"mean_diff":-0.0596},{"i":174,"gen":18,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005437,"C1":0.3947,"C2":2.512,"C3":1.613,"SC":1.168},"n":64,"mean_diff":-0.0023},{"i":178,"gen":18,"params":{"WF":1.0,"WL":0.8076,"LO":0.0,"HI":0.0054,"C1":0.7184,"C2":2.276,"C3":1.023,"SC":0.9456},"n":64,"mean_diff":-0.2664},{"i":182,"gen":19,"params":{"WF":1.0,"WL":0.961,"LO":6e-05,"HI":0.005994,"C1":0.5616,"C2":2.777,"C3":1.114,"SC":1.188},"n":64,"mean_diff":-0.2788},{"i":186,"gen":19,"params":{"WF":0.9683,"WL":1.0,"LO":0.0,"HI":0.005295,"C1":0.5942,"C2":3.0,"C3":1.397,"SC":1.318},"n":64,"mean_diff":-0.0245},{"i":190,"gen":20,"params":{"WF":1.0,"WL":0.9763,"LO":0.0,"HI":0.00496,"C1":1.543,"C2":3.0,"C3":1.16,"SC":1.298},"n":64,"mean_diff":-0.008},{"i":193,"gen":20,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005194,"C1":1.103,"C2":2.304,"C3":1.124,"SC":1.307},"n":64,"mean_diff":-0.0022},{"i":197,"gen":20,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005587,"C1":0.4874,"C2":2.414,"C3":1.355,"SC":1.094},"n":64,"mean_diff":-0.0008},{"i":201,"gen":21,"params":{"WF":0.9926,"WL":1.0,"LO":5.6e-05,"HI":0.006339,"C1":1.064,"C2":1.721,"C3":1.451,"SC":1.275},"n":64,"mean_diff":-0.2425},{"i":205,"gen":21,"params":{"WF":0.9761,"WL":1.0,"LO":0.0,"HI":0.005778,"C1":0.8353,"C2":2.065,"C3":1.372,"SC":1.237},"n":64,"mean_diff":-0.0093},{"i":209,"gen":21,"params":{"WF":0.9686,"WL":1.0,"LO":0.000122,"HI":0.005927,"C1":0.3716,"C2":2.388,"C3":1.42,"SC":1.141},"n":64,"mean_diff":-0.5952},{"i":213,"gen":22,"params":{"WF":0.9551,"WL":1.0,"LO":0.0,"HI":0.006233,"C1":0.4176,"C2":2.197,"C3":1.531,"SC":1.389},"n":64,"mean_diff":-0.0571},{"i":217,"gen":22,"params":{"WF":1.0,"WL":0.9562,"LO":0.0,"HI":0.006995,"C1":0.2,"C2":2.02,"C3":1.624,"SC":1.075},"n":64,"mean_diff":-0.0252},{"i":220,"gen":23,"params":{"WF":0.9608,"WL":1.0,"LO":0.0,"HI":0.005604,"C1":0.718,"C2":2.331,"C3":2.039,"SC":1.405},"n":64,"mean_diff":-0.0402},{"i":224,"gen":23,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004953,"C1":0.3416,"C2":1.9,"C3":1.504,"SC":1.068},"n":64,"mean_diff":-0.0013},{"i":228,"gen":23,"params":{"WF":1.0,"WL":1.0,"LO":2.1e-05,"HI":0.006171,"C1":1.05,"C2":2.479,"C3":1.978,"SC":1.144},"n":64,"mean_diff":-0.1046},{"i":232,"gen":24,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.006205,"C1":1.0,"C2":2.496,"C3":1.778,"SC":1.219},"n":64,"mean_diff":0.0005},{"i":236,"gen":24,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.0056,"C1":0.4905,"C2":2.486,"C3":1.57,"SC":1.133},"n":64,"mean_diff":-0.0008},{"i":240,"gen":25,"params":{"WF":1.0,"WL":0.9804,"LO":0.0,"HI":0.00634,"C1":0.8406,"C2":2.09,"C3":1.804,"SC":1.206},"n":64,"mean_diff":-0.007},{"i":244,"gen":25,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005894,"C1":0.4786,"C2":1.779,"C3":1.484,"SC":1.338},"n":64,"mean_diff":0.0002},{"i":247,"gen":25,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005334,"C1":0.404,"C2":2.649,"C3":1.867,"SC":1.244},"n":64,"mean_diff":-0.0023},{"i":250,"gen":26,"params":{"WF":1.0,"WL":0.9982,"LO":0.0,"HI":0.005936,"C1":1.132,"C2":2.023,"C3":1.961,"SC":1.444},"n":64,"mean_diff":0.0053},{"i":252,"gen":26,"params":{"WF":1.0,"WL":1.0,"LO":1e-05,"HI":0.00578,"C1":0.7171,"C2":2.254,"C3":1.94,"SC":1.125},"n":64,"mean_diff":-0.0509},{"i":256,"gen":26,"params":{"WF":1.0,"WL":0.9536,"LO":0.000143,"HI":0.006961,"C1":0.9168,"C2":1.974,"C3":1.691,"SC":1.273},"n":64,"mean_diff":-0.7075},{"i":260,"gen":27,"params":{"WF":0.9789,"WL":0.9697,"LO":0.0,"HI":0.006099,"C1":0.6664,"C2":2.076,"C3":1.585,"SC":1.244},"n":64,"mean_diff":-0.0107},{"i":264,"gen":27,"params":{"WF":1.0,"WL":0.9994,"LO":0.0,"HI":0.005982,"C1":0.6736,"C2":2.084,"C3":1.724,"SC":1.233},"n":64,"mean_diff":0.0005},{"i":268,"gen":27,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005953,"C1":0.6328,"C2":1.931,"C3":1.699,"SC":1.294},"n":64,"mean_diff":0.0002},{"i":271,"gen":28,"params":{"WF":0.9926,"WL":1.0,"LO":0.0,"HI":0.005842,"C1":0.2,"C2":2.533,"C3":1.363,"SC":1.29},"n":64,"mean_diff":0.0039},{"i":273,"gen":28,"params":{"WF":0.9679,"WL":0.9788,"LO":0.0,"HI":0.006546,"C1":0.6084,"C2":2.503,"C3":1.718,"SC":1.371},"n":64,"mean_diff":-0.039},{"i":276,"gen":28,"params":{"WF":0.9498,"WL":0.9847,"LO":0.0,"HI":0.00634,"C1":0.3743,"C2":2.561,"C3":1.583,"SC":1.455},"n":64,"mean_diff":-0.0677},{"i":280,"gen":29,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005771,"C1":0.4075,"C2":2.582,"C3":1.773,"SC":1.397},"n":64,"mean_diff":0.0002},{"i":284,"gen":29,"params":{"WF":1.0,"WL":0.9873,"LO":0.0,"HI":0.005628,"C1":0.2,"C2":2.199,"C3":1.604,"SC":1.162},"n":64,"mean_diff":-0.005},{"i":288,"gen":29,"params":{"WF":0.9906,"WL":1.0,"LO":0.0,"HI":0.006207,"C1":0.3604,"C2":2.484,"C3":1.552,"SC":1.362},"n":64,"mean_diff":0.0001},{"i":292,"gen":30,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005067,"C1":0.2,"C2":2.727,"C3":1.548,"SC":1.149},"n":64,"mean_diff":-0.0015},{"i":296,"gen":30,"params":{"WF":0.9858,"WL":1.0,"LO":7.1e-05,"HI":0.005442,"C1":0.2,"C2":2.297,"C3":1.728,"SC":1.395},"n":64,"mean_diff":-0.3153},{"i":300,"gen":31,"params":{"WF":0.948,"WL":0.9612,"LO":0.0,"HI":0.005198,"C1":0.2,"C2":2.179,"C3":1.662,"SC":1.38},"n":64,"mean_diff":-0.0674},{"i":303,"gen":31,"params":{"WF":0.9927,"WL":1.0,"LO":0.0,"HI":0.004998,"C1":0.2198,"C2":2.144,"C3":1.827,"SC":1.129},"n":64,"mean_diff":-0.0008},{"i":307,"gen":31,"params":{"WF":0.9899,"WL":0.9636,"LO":0.0,"HI":0.004828,"C1":0.2,"C2":1.937,"C3":1.686,"SC":1.292},"n":64,"mean_diff":-0.0041},{"i":311,"gen":32,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005244,"C1":0.4408,"C2":2.208,"C3":1.729,"SC":1.069},"n":64,"mean_diff":-0.0022},{"i":315,"gen":32,"params":{"WF":0.9875,"WL":0.9841,"LO":0.0,"HI":0.005483,"C1":0.2,"C2":1.536,"C3":1.87,"SC":1.417},"n":64,"mean_diff":-0.0118},{"i":319,"gen":32,"params":{"WF":0.9854,"WL":1.0,"LO":0.0,"HI":0.005655,"C1":0.2,"C2":2.045,"C3":1.405,"SC":1.216},"n":64,"mean_diff":-0.0143},{"i":323,"gen":33,"params":{"WF":0.9557,"WL":0.9883,"LO":0.0,"HI":0.005657,"C1":0.3987,"C2":2.5,"C3":1.597,"SC":1.351},"n":64,"mean_diff":-0.0426},{"i":327,"gen":33,"params":{"WF":1.0,"WL":0.9412,"LO":1.6e-05,"HI":0.005551,"C1":0.5524,"C2":1.643,"C3":1.855,"SC":1.161},"n":64,"mean_diff":-0.1168},{"i":330,"gen":34,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004224,"C1":0.2608,"C2":2.101,"C3":1.82,"SC":1.104},"n":64,"mean_diff":0.0005},{"i":334,"gen":34,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003998,"C1":0.2265,"C2":2.345,"C3":1.791,"SC":1.155},"n":64,"mean_diff":0.002},{"i":335,"gen":34,"params":{"WF":1.0,"WL":0.9833,"LO":0.0,"HI":0.005252,"C1":0.3316,"C2":2.367,"C3":1.707,"SC":1.29},"n":64,"mean_diff":-0.0176},{"i":339,"gen":34,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004682,"C1":0.4153,"C2":2.082,"C3":1.99,"SC":1.189},"n":64,"mean_diff":-0.0016},{"i":343,"gen":35,"params":{"WF":1.0,"WL":1.0,"LO":9e-05,"HI":0.004501,"C1":0.3241,"C2":2.057,"C3":1.98,"SC":1.193},"n":64,"mean_diff":-0.406},{"i":347,"gen":35,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.00484,"C1":0.4276,"C2":2.056,"C3":1.908,"SC":1.097},"n":64,"mean_diff":-0.0014},{"i":351,"gen":36,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004941,"C1":0.5219,"C2":2.154,"C3":1.801,"SC":1.198},"n":64,"mean_diff":-0.0013},{"i":354,"gen":36,"params":{"WF":0.9925,"WL":1.0,"LO":0.0,"HI":0.005181,"C1":0.3452,"C2":2.101,"C3":1.807,"SC":1.217},"n":64,"mean_diff":0.0015},{"i":356,"gen":36,"params":{"WF":0.9978,"WL":1.0,"LO":0.0,"HI":0.005459,"C1":0.4176,"C2":2.169,"C3":1.967,"SC":1.115},"n":64,"mean_diff":-0.0007},{"i":359,"gen":36,"params":{"WF":0.9985,"WL":1.0,"LO":0.0,"HI":0.00491,"C1":0.4574,"C2":2.214,"C3":1.838,"SC":1.203},"n":64,"mean_diff":-0.0005},{"i":363,"gen":37,"params":{"WF":1.0,"WL":0.9996,"LO":0.0,"HI":0.005169,"C1":0.3126,"C2":2.272,"C3":1.784,"SC":0.9755},"n":64,"mean_diff":-0.0021},{"i":367,"gen":37,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005785,"C1":0.4067,"C2":2.107,"C3":1.937,"SC":1.1},"n":64,"mean_diff":0.0002},{"i":371,"gen":38,"params":{"WF":1.0,"WL":1.0,"LO":0.000122,"HI":0.004786,"C1":0.6383,"C2":1.715,"C3":2.201,"SC":1.062},"n":64,"mean_diff":-0.5715},{"i":375,"gen":38,"params":{"WF":0.9867,"WL":1.0,"LO":0.0,"HI":0.005242,"C1":0.4556,"C2":2.434,"C3":1.997,"SC":1.069},"n":64,"mean_diff":-0.0111},{"i":379,"gen":38,"params":{"WF":1.0,"WL":0.9985,"LO":3.4e-05,"HI":0.005482,"C1":0.4847,"C2":2.01,"C3":2.077,"SC":1.15},"n":64,"mean_diff":-0.1639},{"i":383,"gen":39,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005797,"C1":0.6657,"C2":2.062,"C3":2.003,"SC":1.081},"n":64,"mean_diff":0.0002},{"i":386,"gen":39,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.005638,"C1":0.7581,"C2":2.181,"C3":1.929,"SC":1.073},"n":64,"mean_diff":0.0008},{"i":390,"gen":40,"params":{"WF":0.9693,"WL":1.0,"LO":0.0,"HI":0.005481,"C1":0.2863,"C2":2.344,"C3":1.857,"SC":1.185},"n":64,"mean_diff":-0.0207},{"i":394,"gen":40,"params":{"WF":1.0,"WL":0.9893,"LO":3.7e-05,"HI":0.005537,"C1":0.56,"C2":2.03,"C3":2.08,"SC":1.133},"n":64,"mean_diff":-0.1761},{"i":398,"gen":40,"params":{"WF":0.9987,"WL":1.0,"LO":0.0,"HI":0.004788,"C1":0.6976,"C2":2.116,"C3":2.036,"SC":1.014},"n":64,"mean_diff":-0.0012},{"i":402,"gen":41,"params":{"WF":0.9937,"WL":1.0,"LO":0.0,"HI":0.004658,"C1":0.8081,"C2":2.088,"C3":1.99,"SC":1.046},"n":64,"mean_diff":-0.0052},{"i":406,"gen":41,"params":{"WF":0.986,"WL":0.971,"LO":0.0,"HI":0.005468,"C1":0.7743,"C2":2.22,"C3":2.153,"SC":0.9728},"n":64,"mean_diff":-0.009},{"i":407,"gen":41,"params":{"WF":1.0,"WL":0.9985,"LO":0.0,"HI":0.004871,"C1":0.7828,"C2":2.053,"C3":2.026,"SC":1.062},"n":64,"mean_diff":0.0019},{"i":411,"gen":42,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004286,"C1":0.3858,"C2":2.022,"C3":2.041,"SC":1.072},"n":64,"mean_diff":0.0006},{"i":414,"gen":42,"params":{"WF":0.9847,"WL":1.0,"LO":0.0,"HI":0.005095,"C1":0.6869,"C2":2.172,"C3":2.088,"SC":1.061},"n":64,"mean_diff":-0.0098},{"i":418,"gen":42,"params":{"WF":0.9972,"WL":0.9889,"LO":0.0,"HI":0.005423,"C1":0.7053,"C2":1.987,"C3":2.053,"SC":1.145},"n":64,"mean_diff":-0.0144},{"i":421,"gen":43,"params":{"WF":0.9919,"WL":1.0,"LO":0.0,"HI":0.004493,"C1":0.5067,"C2":1.946,"C3":2.224,"SC":1.072},"n":64,"mean_diff":0.004},{"i":423,"gen":43,"params":{"WF":0.9931,"WL":1.0,"LO":0.0,"HI":0.00503,"C1":0.5581,"C2":1.8,"C3":2.037,"SC":1.101},"n":64,"mean_diff":-0.0007},{"i":427,"gen":43,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003733,"C1":0.4821,"C2":2.038,"C3":2.013,"SC":1.015},"n":64,"mean_diff":0.0024},{"i":428,"gen":43,"params":{"WF":0.9923,"WL":1.0,"LO":0.0,"HI":0.005003,"C1":0.3784,"C2":2.197,"C3":1.851,"SC":1.204},"n":64,"mean_diff":0.0016},{"i":429,"gen":43,"params":{"WF":1.0,"WL":0.9683,"LO":0.0,"HI":0.004609,"C1":0.3473,"C2":1.973,"C3":1.989,"SC":1.075},"n":64,"mean_diff":0.0004},{"i":433,"gen":44,"params":{"WF":0.9963,"WL":1.0,"LO":0.0,"HI":0.004414,"C1":0.5108,"C2":2.174,"C3":2.013,"SC":0.9868},"n":64,"mean_diff":-0.0004},{"i":434,"gen":44,"params":{"WF":0.9911,"WL":1.0,"LO":0.0,"HI":0.003559,"C1":0.23,"C2":2.048,"C3":1.856,"SC":1.092},"n":64,"mean_diff":0.0018},{"i":438,"gen":44,"params":{"WF":0.9893,"WL":1.0,"LO":4e-06,"HI":0.005017,"C1":0.6382,"C2":2.02,"C3":2.079,"SC":1.111},"n":64,"mean_diff":-0.0331},{"i":440,"gen":45,"params":{"WF":0.9933,"WL":1.0,"LO":0.0,"HI":0.003899,"C1":0.6215,"C2":2.305,"C3":1.8,"SC":1.144},"n":64,"mean_diff":0.0053},{"i":443,"gen":45,"params":{"WF":0.9818,"WL":1.0,"LO":0.0,"HI":0.003822,"C1":0.2502,"C2":2.001,"C3":2.296,"SC":0.9869},"n":64,"mean_diff":-0.005},{"i":445,"gen":45,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003945,"C1":0.6227,"C2":2.038,"C3":2.13,"SC":1.1},"n":64,"mean_diff":0.0021},{"i":446,"gen":45,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003943,"C1":0.3065,"C2":2.191,"C3":2.098,"SC":1.036},"n":64,"mean_diff":0.0021},{"i":448,"gen":45,"params":{"WF":0.978,"WL":1.0,"LO":0.0,"HI":0.004922,"C1":0.6709,"C2":2.102,"C3":1.873,"SC":1.093},"n":64,"mean_diff":-0.0103},{"i":452,"gen":46,"params":{"WF":0.999,"WL":0.9959,"LO":4.5e-05,"HI":0.003735,"C1":0.364,"C2":2.176,"C3":2.081,"SC":1.073},"n":64,"mean_diff":-0.2007},{"i":455,"gen":46,"params":{"WF":0.9911,"WL":1.0,"LO":0.0,"HI":0.004043,"C1":0.583,"C2":2.1,"C3":1.849,"SC":1.0},"n":64,"mean_diff":0.0026},{"i":456,"gen":46,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003898,"C1":0.5592,"C2":2.204,"C3":2.009,"SC":1.0},"n":64,"mean_diff":0.0021},{"i":457,"gen":46,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.00331,"C1":0.4976,"C2":2.358,"C3":1.842,"SC":1.045},"n":64,"mean_diff":0.011},{"i":459,"gen":46,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003647,"C1":0.5757,"C2":2.141,"C3":2.062,"SC":1.003},"n":64,"mean_diff":0.0017},{"i":460,"gen":47,"params":{"WF":0.9998,"WL":1.0,"LO":0.0,"HI":0.003666,"C1":0.2554,"C2":2.226,"C3":1.749,"SC":1.055},"n":64,"mean_diff":0.0014},{"i":464,"gen":47,"params":{"WF":1.0,"WL":1.0,"LO":4.7e-05,"HI":0.003857,"C1":0.7363,"C2":2.201,"C3":2.012,"SC":1.032},"n":64,"mean_diff":-0.2103},{"i":468,"gen":47,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003975,"C1":0.3979,"C2":1.748,"C3":2.043,"SC":1.093},"n":64,"mean_diff":0.0021},{"i":469,"gen":47,"params":{"WF":0.9683,"WL":1.0,"LO":0.0,"HI":0.002441,"C1":0.3775,"C2":2.288,"C3":2.06,"SC":1.163},"n":64,"mean_diff":-0.1129},{"i":472,"gen":48,"params":{"WF":0.9921,"WL":1.0,"LO":0.0,"HI":0.003109,"C1":0.2,"C2":2.075,"C3":1.827,"SC":0.9401},"n":64,"mean_diff":0.0024},{"i":474,"gen":48,"params":{"WF":0.9941,"WL":1.0,"LO":0.0,"HI":0.00366,"C1":0.46,"C2":2.098,"C3":1.659,"SC":1.021},"n":64,"mean_diff":-0.0035},{"i":478,"gen":48,"params":{"WF":1.0,"WL":0.989,"LO":0.0,"HI":0.004223,"C1":0.4718,"C2":2.147,"C3":1.861,"SC":1.092},"n":64,"mean_diff":-0.0051},{"i":481,"gen":49,"params":{"WF":0.9875,"WL":1.0,"LO":0.0,"HI":0.004176,"C1":0.627,"C2":2.027,"C3":1.925,"SC":1.116},"n":64,"mean_diff":-0.0019},{"i":484,"gen":49,"params":{"WF":0.9923,"WL":1.0,"LO":0.0,"HI":0.003768,"C1":0.3116,"C2":2.183,"C3":1.799,"SC":0.9247},"n":64,"mean_diff":0.0053},{"i":486,"gen":49,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004562,"C1":0.2,"C2":2.252,"C3":1.751,"SC":0.8714},"n":64,"mean_diff":-0.0014},{"i":490,"gen":50,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003428,"C1":0.2,"C2":2.023,"C3":1.985,"SC":0.965},"n":64,"mean_diff":0.0009},{"i":494,"gen":50,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004118,"C1":0.5517,"C2":2.104,"C3":1.865,"SC":1.105},"n":64,"mean_diff":0.0006},{"i":498,"gen":50,"params":{"WF":0.9695,"WL":1.0,"LO":0.0,"HI":0.003376,"C1":0.5861,"C2":1.859,"C3":2.098,"SC":1.035},"n":64,"mean_diff":-0.0155},{"i":502,"gen":51,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004168,"C1":0.6027,"C2":2.17,"C3":1.78,"SC":1.06},"n":64,"mean_diff":0.0002},{"i":504,"gen":51,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003664,"C1":0.2475,"C2":2.027,"C3":1.926,"SC":0.9793},"n":64,"mean_diff":0.0019},{"i":505,"gen":51,"params":{"WF":0.9945,"WL":1.0,"LO":0.0,"HI":0.003916,"C1":0.2697,"C2":2.034,"C3":1.781,"SC":1.108},"n":64,"mean_diff":0.0026},{"i":508,"gen":51,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003944,"C1":0.453,"C2":2.164,"C3":1.954,"SC":1.066},"n":64,"mean_diff":0.0021},{"i":509,"gen":51,"params":{"WF":0.9946,"WL":1.0,"LO":0.0,"HI":0.004165,"C1":0.655,"C2":2.142,"C3":1.942,"SC":0.9842},"n":64,"mean_diff":-0.002},{"i":512,"gen":52,"params":{"WF":1.0,"WL":0.9953,"LO":0.0,"HI":0.004545,"C1":0.4436,"C2":2.046,"C3":1.943,"SC":1.117},"n":64,"mean_diff":-0.0098},{"i":515,"gen":52,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004006,"C1":0.4651,"C2":1.97,"C3":1.977,"SC":0.9745},"n":64,"mean_diff":0.002},{"i":516,"gen":52,"params":{"WF":0.9919,"WL":1.0,"LO":0.0,"HI":0.003956,"C1":0.5272,"C2":2.044,"C3":1.823,"SC":1.053},"n":64,"mean_diff":0.0072},{"i":518,"gen":52,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003833,"C1":0.4541,"C2":2.054,"C3":1.851,"SC":1.073},"n":64,"mean_diff":0.0026},{"i":519,"gen":52,"params":{"WF":1.0,"WL":1.0,"LO":2e-06,"HI":0.004273,"C1":0.3413,"C2":1.954,"C3":1.908,"SC":1.002},"n":64,"mean_diff":-0.0073},{"i":521,"gen":53,"params":{"WF":0.9962,"WL":0.9994,"LO":0.0,"HI":0.003817,"C1":0.4919,"C2":2.015,"C3":2.002,"SC":1.081},"n":64,"mean_diff":0.0021},{"i":523,"gen":53,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004045,"C1":0.4957,"C2":1.885,"C3":1.932,"SC":1.125},"n":64,"mean_diff":0.0018},{"i":525,"gen":53,"params":{"WF":0.9913,"WL":1.0,"LO":0.0,"HI":0.003556,"C1":0.5991,"C2":2.016,"C3":2.013,"SC":1.053},"n":64,"mean_diff":0.0021},{"i":526,"gen":53,"params":{"WF":0.9829,"WL":1.0,"LO":0.0,"HI":0.003578,"C1":0.4146,"C2":1.967,"C3":1.922,"SC":1.08},"n":64,"mean_diff":-0.0057},{"i":527,"gen":53,"params":{"WF":1.0,"WL":0.9979,"LO":0.0,"HI":0.003913,"C1":0.2,"C2":1.97,"C3":1.814,"SC":1.077},"n":64,"mean_diff":0.0059},{"i":529,"gen":53,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003854,"C1":0.3055,"C2":1.957,"C3":1.842,"SC":1.044},"n":64,"mean_diff":0.0025},{"i":531,"gen":54,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003921,"C1":0.32,"C2":1.968,"C3":1.861,"SC":1.074},"n":64,"mean_diff":0.0021},{"i":532,"gen":54,"params":{"WF":1.0,"WL":0.999,"LO":0.0,"HI":0.003978,"C1":0.2712,"C2":1.998,"C3":1.824,"SC":1.043},"n":64,"mean_diff":0.0023},{"i":534,"gen":54,"params":{"WF":0.9889,"WL":1.0,"LO":1.1e-05,"HI":0.003983,"C1":0.4893,"C2":1.909,"C3":1.878,"SC":1.083},"n":64,"mean_diff":-0.0636},{"i":535,"gen":54,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003626,"C1":0.3709,"C2":2.121,"C3":1.915,"SC":1.015},"n":64,"mean_diff":0.0016},{"i":536,"gen":54,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003649,"C1":0.2642,"C2":1.864,"C3":1.956,"SC":1.087},"n":64,"mean_diff":0.0017},{"i":539,"gen":54,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.00401,"C1":0.3637,"C2":2.082,"C3":1.856,"SC":1.147},"n":64,"mean_diff":0.002},{"i":540,"gen":55,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003801,"C1":0.3238,"C2":2.143,"C3":1.88,"SC":1.089},"n":64,"mean_diff":0.0025},{"i":541,"gen":55,"params":{"WF":0.997,"WL":1.0,"LO":0.0,"HI":0.003848,"C1":0.3356,"C2":2.061,"C3":1.716,"SC":1.022},"n":64,"mean_diff":0.0022},{"i":543,"gen":55,"params":{"WF":1.0,"WL":0.9939,"LO":0.0,"HI":0.0036,"C1":0.4482,"C2":1.946,"C3":1.88,"SC":1.06},"n":64,"mean_diff":-0.0058},{"i":545,"gen":55,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004036,"C1":0.2702,"C2":1.968,"C3":1.92,"SC":1.078},"n":64,"mean_diff":0.002},{"i":548,"gen":55,"params":{"WF":1.0,"WL":0.9861,"LO":0.0,"HI":0.003805,"C1":0.2,"C2":2.186,"C3":1.781,"SC":1.077},"n":64,"mean_diff":-0.005},{"i":552,"gen":56,"params":{"WF":0.9998,"WL":1.0,"LO":0.0,"HI":0.003872,"C1":0.2,"C2":2.024,"C3":1.79,"SC":1.061},"n":64,"mean_diff":0.0028},{"i":553,"gen":56,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.00403,"C1":0.2546,"C2":1.962,"C3":1.753,"SC":1.044},"n":64,"mean_diff":0.002},{"i":554,"gen":56,"params":{"WF":0.9934,"WL":1.0,"LO":0.0,"HI":0.003911,"C1":0.2906,"C2":1.994,"C3":1.806,"SC":1.088},"n":64,"mean_diff":0.0053},{"i":555,"gen":56,"params":{"WF":0.9994,"WL":1.0,"LO":0.0,"HI":0.003854,"C1":0.3365,"C2":2.001,"C3":1.817,"SC":1.084},"n":64,"mean_diff":0.0036},{"i":556,"gen":56,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.004316,"C1":0.2749,"C2":2.036,"C3":1.752,"SC":1.027},"n":64,"mean_diff":0.0004},{"i":557,"gen":56,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003727,"C1":0.2987,"C2":2.066,"C3":1.785,"SC":1.018},"n":64,"mean_diff":0.0024},{"i":559,"gen":56,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003648,"C1":0.3934,"C2":2.063,"C3":1.927,"SC":1.087},"n":64,"mean_diff":0.0017},{"i":561,"gen":57,"params":{"WF":1.0,"WL":1.0,"LO":7e-06,"HI":0.003594,"C1":0.3028,"C2":2.049,"C3":1.709,"SC":1.022},"n":64,"mean_diff":-0.0372},{"i":563,"gen":57,"params":{"WF":0.992,"WL":1.0,"LO":0.0,"HI":0.003873,"C1":0.3884,"C2":2.061,"C3":1.785,"SC":1.046},"n":64,"mean_diff":0.0059},{"i":564,"gen":57,"params":{"WF":0.9934,"WL":1.0,"LO":0.0,"HI":0.003593,"C1":0.2812,"C2":1.992,"C3":1.695,"SC":1.052},"n":64,"mean_diff":0.0045},{"i":567,"gen":57,"params":{"WF":0.9931,"WL":0.9994,"LO":0.0,"HI":0.003909,"C1":0.3624,"C2":1.936,"C3":1.739,"SC":1.054},"n":64,"mean_diff":0.0013},{"i":570,"gen":58,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003933,"C1":0.2319,"C2":1.909,"C3":1.794,"SC":1.078},"n":64,"mean_diff":0.0021},{"i":572,"gen":58,"params":{"WF":0.9873,"WL":0.9967,"LO":0.0,"HI":0.003808,"C1":0.3304,"C2":2.023,"C3":1.736,"SC":1.093},"n":64,"mean_diff":0.0009},{"i":573,"gen":58,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003981,"C1":0.3587,"C2":1.892,"C3":1.81,"SC":1.05},"n":64,"mean_diff":0.0021},{"i":576,"gen":58,"params":{"WF":0.9956,"WL":0.9957,"LO":0.0,"HI":0.003738,"C1":0.3441,"C2":2.068,"C3":1.687,"SC":0.9984},"n":64,"mean_diff":0.0067},{"i":577,"gen":58,"params":{"WF":0.9979,"WL":0.9982,"LO":0.0,"HI":0.003934,"C1":0.2402,"C2":1.899,"C3":1.73,"SC":1.097},"n":64,"mean_diff":0.0045},{"i":579,"gen":58,"params":{"WF":0.9977,"WL":1.0,"LO":0.0,"HI":0.003525,"C1":0.3201,"C2":2.006,"C3":1.747,"SC":1.029},"n":64,"mean_diff":-0.0038},{"i":583,"gen":59,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003552,"C1":0.2989,"C2":2.01,"C3":1.733,"SC":1.003},"n":64,"mean_diff":0.0017},{"i":584,"gen":59,"params":{"WF":0.9819,"WL":1.0,"LO":0.0,"HI":0.003558,"C1":0.2953,"C2":2.078,"C3":1.721,"SC":1.014},"n":64,"mean_diff":-0.0052},{"i":588,"gen":59,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003637,"C1":0.3101,"C2":1.935,"C3":1.805,"SC":0.9758},"n":64,"mean_diff":0.0016},{"i":589,"gen":59,"params":{"WF":0.989,"WL":1.0,"LO":0.0,"HI":0.00379,"C1":0.4429,"C2":1.993,"C3":1.761,"SC":1.051},"n":64,"mean_diff":-0.0051},{"i":591,"gen":60,"params":{"WF":0.9971,"WL":1.0,"LO":0.0,"HI":0.003982,"C1":0.3215,"C2":2.001,"C3":1.811,"SC":0.9975},"n":64,"mean_diff":0.004},{"i":592,"gen":60,"params":{"WF":0.9974,"WL":1.0,"LO":0.0,"HI":0.003838,"C1":0.3705,"C2":2.004,"C3":1.794,"SC":1.053},"n":64,"mean_diff":0.0031},{"i":595,"gen":60,"params":{"WF":1.0,"WL":0.9947,"LO":0.0,"HI":0.003382,"C1":0.3519,"C2":1.909,"C3":1.729,"SC":0.932},"n":64,"mean_diff":0.0052},{"i":596,"gen":60,"params":{"WF":0.9988,"WL":1.0,"LO":0.0,"HI":0.003694,"C1":0.354,"C2":2.001,"C3":1.677,"SC":1.021},"n":64,"mean_diff":0.0026},{"i":597,"gen":60,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003659,"C1":0.2353,"C2":1.942,"C3":1.762,"SC":0.9756},"n":64,"mean_diff":0.0017},{"i":598,"gen":60,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003745,"C1":0.2,"C2":1.887,"C3":1.755,"SC":0.956},"n":64,"mean_diff":0.0025},{"i":599,"gen":60,"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003229,"C1":0.3432,"C2":1.854,"C3":1.763,"SC":1.034},"n":64,"mean_diff":0.0159}],"log_note":"log holds 200 of the 600 evaluations: the 60 best plus 140 evenly spaced others; i = evaluation index. Summary of all 600 by min(WF,WL) in log_summary_by_weight.","log_summary_by_weight":[{"min_w_range":[0,0.7],"evals":8,"mean_of_mean_diff":-5.4105,"max_mean_diff":-0.5726},{"min_w_range":[0.7,0.85],"evals":39,"mean_of_mean_diff":-1.0391,"max_mean_diff":-0.1853},{"min_w_range":[0.85,0.95],"evals":84,"mean_of_mean_diff":-0.2794,"max_mean_diff":-0.021},{"min_w_range":[0.95,0.999],"evals":264,"mean_of_mean_diff":-0.0662,"max_mean_diff":0.0072},{"min_w_range":[0.999,1.0],"evals":205,"mean_of_mean_diff":-0.0725,"max_mean_diff":0.0159}],"recheck_top3_on_121000_121255":[{"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003229,"C1":0.3432,"C2":1.854,"C3":1.763,"SC":1.034},"crn_mean_diff":0.0159,"n":256,"mean_diff":0.00399,"se":0.00478},{"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003237,"C1":0.2,"C2":2.125,"C3":1.512,"SC":1.051},"crn_mean_diff":0.0155,"n":256,"mean_diff":0.00384,"se":0.00477},{"params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.00331,"C1":0.4976,"C2":2.358,"C3":1.842,"SC":1.045},"crn_mean_diff":0.011,"n":256,"mean_diff":0.00101,"se":0.00443}],"best_params":{"WF":1.0,"WL":1.0,"LO":0.0,"HI":0.003229,"C1":0.343163,"C2":1.853742,"C3":1.762528,"SC":1.033641},"best_params_units":"WF,WL: weight on STACK attract fee (first trade in step / later); LO,HI: fee clamp (fraction, 0.003=30bps); C1: t=c1*sizeHat; C2 (signed): fR = SC*fStar - C2*sigmaHat*sqrt(1+min(silent,63))*(1+C3*probArb); SC: scale","code":"// SPDX-License-Identifier: MIT\npragma solidity ^0.8.24;\n\nimport {AMMStrategyBase} from \"./AMMStrategyBase.sol\";\nimport {TradeInfo} from \"./IAMMStrategy.sol\";\n\ncontract Strategy is AMMStrategyBase {\n    uint256 constant ELAPSED_CAP = 8;\n    uint256 constant SH_WF = 1000000000000000000;\n    uint256 constant SH_WL = 1000000000000000000;\n    uint256 constant SH_LO = 0;\n    uint256 constant SH_HI = 3229000000000000;\n    uint256 constant SH_C1 = 343163000000000000;\n    int256 constant SH_C2 = 1853742000000000000;\n    uint256 constant SH_C3 = 1762528000000000000;\n    uint256 constant SH_SCALE = 1033641000000000000;\n    uint256 constant SIGNAL_THRESHOLD = WAD / 650;\n    uint256 constant DIR_DECAY = 750000000000000000;\n    uint256 constant ACT_DECAY = 530000000000000000;\n    uint256 constant SIZE_DECAY = 530000000000000000;\n    uint256 constant TOX_DECAY = 910000000000000000;\n    uint256 constant SIGMA_DECAY = 690000000000000000;\n    uint256 constant LAMBDA_DECAY = 990000000000000000;\n    uint256 constant SIZE_BLEND_DECAY = 828000000000000000;\n    uint256 constant TOX_BLEND_DECAY = 51000000000000000;\n    uint256 constant ACT_BLEND_DECAY = 985000000000000000;\n    uint256 constant PHAT_ALPHA = 270000000000000000;\n    uint256 constant PHAT_ALPHA_RETAIL = 60000000000000000;\n    uint256 constant PHAT_ALPHA_SAME = 120000000000000000;\n    uint256 constant REVERT_U = 0;\n    uint256 constant DIR_IMPACT_MULT = 4;\n    uint256 constant GATE_SIGMA_MULT = 7200000000000000000;\n    uint256 constant MIN_GATE = 30000000000000000;\n    uint256 constant TRADE_TOX_BOOST = 3500 * BPS;\n    uint256 constant STALE_ATTRACT_FRAC = 1050000000000000000;\n    uint256 constant RET_CAP = WAD / 35;\n    uint256 constant TOX_CAP = WAD / 5;\n    uint256 constant TRADE_RATIO_CAP = WAD / 5;\n    uint256 constant LAMBDA_CAP = 1820000000000000000;\n    uint256 constant STEP_COUNT_CAP = 64;\n    uint256 constant BASE_FEE = 4 * BPS;\n    uint256 constant SIGMA_COEF = 200000000000000000;\n    uint256 constant LAMBDA_COEF = 12 * BPS;\n    uint256 constant FLOW_SIZE_COEF = 4842 * BPS;\n    uint256 constant TOX_COEF = 300 * BPS;\n    uint256 constant TOX_QUAD_COEF = 15000 * BPS;\n    uint256 constant ACT_COEF = 91843 * BPS;\n    uint256 constant DIR_COEF = 20 * BPS;\n    uint256 constant DIR_TOX_COEF = 100 * BPS;\n    uint256 constant STALE_DIR_COEF = 6850 * BPS;\n    uint256 constant SIGMA_TOX_COEF = 500 * BPS;\n    uint256 constant TAIL_KNEE = 600 * BPS;\n    uint256 constant TAIL_SLOPE_PROTECT = 930000000000000000;\n    uint256 constant TAIL_SLOPE_ATTRACT = 850000000000000000;\n\n    function afterInitialize(uint256 initialX, uint256 initialY) external override returns (uint256, uint256) {\n        slots[0] = BASE_FEE; slots[1] = BASE_FEE; slots[3] = WAD; \n        slots[5] = initialX > 0 ? wdiv(initialY, initialX) : 100 * WAD;\n        slots[6] = 950000000000000; slots[7] = 800000000000000000; slots[8] = 2000000000000000;\n        slots[13] = 902500000000; slots[14] = slots[5]; \n        return (BASE_FEE, BASE_FEE);\n    }\n\n    function afterSwap(TradeInfo calldata trade) external override returns (uint256, uint256) {\n        uint256 prevBidFee = slots[0]; uint256 prevAskFee = slots[1]; uint256 lastTs = uint64(slots[2]);\n        uint256 dirState = slots[3]; uint256 actEma = slots[4]; uint256 pHat = slots[5];\n        uint256 sigmaHat = slots[6]; uint256 lambdaHat = slots[7]; uint256 sizeHat = slots[8];\n        uint256 toxEma = slots[9]; uint256 stepTradeCount = slots[10];\n\n        uint256 sigmaForFast = sigmaHat;\n        uint256 fastHat = slots[14];\n        uint256 uncertainty = slots[13];\n        uint256 silent = trade.timestamp > lastTs ? trade.timestamp - lastTs : 0;\n        bool isNewStep = trade.timestamp > lastTs;\n        if (isNewStep) {\n            uint256 elapsedRaw = trade.timestamp - lastTs;\n            uint256 elapsed = elapsedRaw > ELAPSED_CAP ? ELAPSED_CAP : elapsedRaw;\n            dirState = _decayCentered(dirState, DIR_DECAY, elapsed);\n            actEma = wmul(actEma, _powWad(ACT_DECAY, elapsed));\n            sizeHat = wmul(sizeHat, _powWad(SIZE_DECAY, elapsed));\n            toxEma = wmul(toxEma, _powWad(TOX_DECAY, elapsed));\n            if (stepTradeCount > 0 && elapsedRaw > 0) {\n                uint256 lambdaInst = (stepTradeCount * WAD) / elapsedRaw;\n                if (lambdaInst > LAMBDA_CAP) lambdaInst = LAMBDA_CAP;\n                lambdaHat = wmul(lambdaHat, LAMBDA_DECAY) + wmul(lambdaInst, WAD - LAMBDA_DECAY);\n            }\n            uncertainty += wmul(sigmaForFast, sigmaForFast) * elapsedRaw;\n            if (uncertainty > 100000000000000) uncertainty = 100000000000000;\n            stepTradeCount = 0;\n        }\n\n        bool firstInStep = stepTradeCount == 0;\n        uint256 spot = trade.reserveX > 0 ? wdiv(trade.reserveY, trade.reserveX) : pHat;\n        if (pHat == 0) pHat = spot;\n\n        uint256 feeUsed = trade.isBuy ? prevBidFee : prevAskFee;\n        uint256 gamma = feeUsed < WAD ? WAD - feeUsed : 0;\n        uint256 pImplied;\n        if (gamma == 0) { pImplied = spot; }\n        else { pImplied = trade.isBuy ? wmul(spot, gamma) : wdiv(spot, gamma); }\n\n        // S: infer a no-trade interval center from the last post-trade spot.\n        uint256 silenceScale = WAD;\n        if (firstInStep && silent > 1) {\n            uint256 g = silent - 1;\n            if (g > 1) g = 1;\n            uint256 w = WAD - _powWad(800000000000000000, g);\n            uint256 s = slots[2] >> 64;\n            if (s == 0) s = pHat;\n            uint256 c = (wmul(s, WAD - prevBidFee) + wdiv(s, WAD - prevAskFee)) / 2;\n            if (c >= pHat) pHat += wmul(w, c - pHat);\n            else pHat -= wmul(w, pHat - c);\n            silenceScale = WAD - wmul(300000000000000000, w);\n        }\n\n        {\n            uint256 ret = pHat > 0 ? wdiv(absDiff(pImplied, pHat), pHat) : 0;\n            uint256 alpha = firstInStep ? PHAT_ALPHA : PHAT_ALPHA_RETAIL;\n            uint256 prePhat = pHat;\n            bool secondPrint = !firstInStep && stepTradeCount == 1;\n            bool sameDir = false; bool oppDir = false;\n            if (secondPrint) {\n                bool up2 = pImplied >= pHat;\n                uint256 d1 = slots[12];\n                if (d1 != 0) { sameDir = (d1 == 1) == up2; oppDir = !sameDir; }\n                if (sameDir) alpha = PHAT_ALPHA_SAME;\n            }\n            if (firstInStep) { slots[12] = pImplied >= pHat ? 1 : 2; }\n            uint256 adaptiveGate = wmul(sigmaHat, GATE_SIGMA_MULT);\n            if (adaptiveGate < MIN_GATE) adaptiveGate = MIN_GATE;\n            alpha = wmul(alpha, silenceScale);\n            adaptiveGate = wmul(adaptiveGate, silenceScale);\n            if (ret <= adaptiveGate) { pHat = wmul(pHat, WAD - alpha) + wmul(pImplied, alpha); }\n            if (oppDir && REVERT_U > 0) {\n                uint256 pre = slots[11];\n                if (pre > pHat) pHat = pHat + wmul(pre - pHat, REVERT_U);\n                else pHat = pHat - wmul(pHat - pre, REVERT_U);\n            }\n            if (firstInStep) {\n                if (ret > RET_CAP) ret = RET_CAP;\n                sigmaHat = wmul(sigmaHat, SIGMA_DECAY) + wmul(ret, WAD - SIGMA_DECAY);\n            }\n        }\n\n        // Interior retail routing equalizes fee-adjusted marginal prices.\n        // Subsequent trades in a step cannot be the initial arbitrage trade.\n        if (!firstInStep && feeUsed > 30 * BPS && gamma > 0) {\n            uint256 normalSpot = trade.isBuy\n                ? wdiv(wmul(spot, gamma), WAD - 30 * BPS)\n                : wdiv(wmul(spot, WAD - 30 * BPS), gamma);\n            pHat = wmul(pHat, 90 * WAD / 100) + wmul(normalSpot, 10 * WAD / 100);\n        }\n\n        uint256 probArbS;\n        {\n            uint256 ret = fastHat > 0 ? wdiv(absDiff(pImplied, fastHat), fastHat) : 0;\n            uint256 alpha;\n            if (firstInStep) {\n                uint256 processSigma = sigmaForFast;\n                uint256 obsVar = uncertainty + wmul(processSigma, processSigma);\n                uint256 probArb;\n                uint256 z2 = wdiv(wmul(ret, ret), obsVar);\n                uint256 density = _powWad(wdiv(WAD, WAD + z2 / 16), 8);\n                uint256 sigmaObs = _isqrt(obsVar * WAD);\n                uint256 odds = wmul(density, wdiv(6700000000000000, sigmaObs));\n                bool arbFlag = ret <= wmul(sigmaForFast, 1220000000000000000);\n                uint256 prior = arbFlag ? 650000000000000000 : 400000000000000000;\n                uint256 tr = trade.reserveY > 0 ? wdiv(trade.amountY, trade.reserveY) : 0;\n                if (tr > 3000000000000000) prior = wmul(prior, 6 * WAD / 10);\n                if (silent > 1) prior = wmul(prior, 8 * WAD / 10);\n                odds = wmul(odds, wdiv(prior, WAD - prior));\n                probArb = wdiv(odds, WAD + odds);\n                probArbS = probArb;\n                alpha = wmul(probArb, 600000000000000000) + wmul(WAD - probArb, 80000000000000000);\n                slots[15] = pImplied >= fastHat ? 1 : 2;\n                uncertainty = wmul(uncertainty, WAD - alpha);\n            } else {\n                if ((slots[15] == 1) == (pImplied >= fastHat)) alpha = PHAT_ALPHA_RETAIL;\n            }\n            uint256 gate = wmul(sigmaHat, GATE_SIGMA_MULT);\n            if (gate < MIN_GATE) gate = MIN_GATE;\n            if (ret <= gate) fastHat = wmul(fastHat, WAD - alpha) + wmul(pImplied, alpha);\n            slots[13] = uncertainty;\n        }\n\n        if (!firstInStep && feeUsed > 30 * BPS && gamma > 0) {\n            uint256 normalObs = trade.isBuy\n                ? wdiv(wmul(spot, gamma), WAD - 30 * BPS)\n                : wdiv(wmul(spot, WAD - 30 * BPS), gamma);\n            if ((slots[15] == 1) == (normalObs >= fastHat)) {\n                fastHat = wmul(fastHat, 9 * WAD / 10) + wmul(normalObs, WAD / 10);\n            }\n        }\n        slots[14] = fastHat;\n        uint256 tradeRatio = trade.reserveY > 0 ? wdiv(trade.amountY, trade.reserveY) : 0;\n        if (tradeRatio > TRADE_RATIO_CAP) tradeRatio = TRADE_RATIO_CAP;\n\n        if (tradeRatio > SIGNAL_THRESHOLD) {\n            uint256 push = tradeRatio * DIR_IMPACT_MULT;\n            if (push > WAD / 4) push = WAD / 4;\n            if (trade.isBuy) {\n                dirState = dirState + push;\n                if (dirState > 2 * WAD) dirState = 2 * WAD;\n            } else {\n                dirState = dirState > push ? dirState - push : 0;\n            }\n            actEma = wmul(actEma, ACT_BLEND_DECAY) + wmul(tradeRatio, WAD - ACT_BLEND_DECAY);\n            sizeHat = wmul(sizeHat, SIZE_BLEND_DECAY) + wmul(tradeRatio, WAD - SIZE_BLEND_DECAY);\n            if (sizeHat > WAD) sizeHat = WAD;\n        }\n\n        uint256 tox = pHat > 0 ? wdiv(absDiff(spot, pHat), pHat) : 0;\n        if (tox > TOX_CAP) tox = TOX_CAP;\n        toxEma = wmul(toxEma, TOX_BLEND_DECAY) + wmul(tox, WAD - TOX_BLEND_DECAY);\n        uint256 toxSignal = toxEma;\n\n        stepTradeCount = stepTradeCount + 1;\n        if (stepTradeCount > STEP_COUNT_CAP) stepTradeCount = STEP_COUNT_CAP;\n\n        uint256 flowSize = wmul(lambdaHat, sizeHat);\n        uint256 fBase = BASE_FEE + wmul(SIGMA_COEF, sigmaHat) + wmul(LAMBDA_COEF, lambdaHat) + wmul(FLOW_SIZE_COEF, flowSize);\n        uint256 fMid = fBase + wmul(TOX_COEF, toxSignal) + wmul(TOX_QUAD_COEF, wmul(toxSignal, toxSignal)) + wmul(ACT_COEF, actEma);\n        fMid = fMid + wmul(SIGMA_TOX_COEF, wmul(sigmaHat, toxSignal));\n\n        uint256 dirDev; bool sellPressure;\n        if (dirState >= WAD) { dirDev = dirState - WAD; sellPressure = true; }\n        else { dirDev = WAD - dirState; sellPressure = false; }\n\n        uint256 skew = wmul(DIR_COEF, dirDev) + wmul(DIR_TOX_COEF, wmul(dirDev, toxSignal));\n        uint256 bidFee; uint256 askFee;\n        if (sellPressure) {\n            bidFee = fMid + skew;\n            askFee = fMid > skew ? fMid - skew : 0;\n        } else {\n            askFee = fMid + skew;\n            bidFee = fMid > skew ? fMid - skew : 0;\n        }\n\n        bool attractAsk;\n        {\n            uint256 staleHat = wmul(pHat, 700000000000000000) + wmul(fastHat, 300000000000000000);\n            uint256 staleTox = wdiv(absDiff(spot, staleHat), staleHat);\n            if (staleTox > TOX_CAP) staleTox = TOX_CAP;\n            uint256 staleShift = wmul(STALE_DIR_COEF, staleTox);\n            uint256 attractShift = wmul(staleShift, STALE_ATTRACT_FRAC);\n            attractAsk = spot >= staleHat;\n            if (spot >= staleHat) {\n                bidFee = bidFee + staleShift;\n                askFee = askFee > attractShift ? askFee - attractShift : 0;\n            } else {\n                askFee = askFee + staleShift;\n                bidFee = bidFee > attractShift ? bidFee - attractShift : 0;\n            }\n        }\n\n        {\n            bool tradeAligned = (trade.isBuy && spot >= pHat) || (!trade.isBuy && spot < pHat);\n            if (tradeAligned) {\n                uint256 tradeBoost = wmul(TRADE_TOX_BOOST, tradeRatio);\n                if (!firstInStep && tradeBoost > 16 * BPS) tradeBoost = 16 * BPS;\n                if (trade.isBuy) { bidFee = bidFee + tradeBoost; }\n                else { askFee = askFee + tradeBoost; }\n            }\n        }\n\n        if (sellPressure) {\n            bidFee = clampFee(_compressTailWithSlope(bidFee, TAIL_SLOPE_PROTECT));\n            askFee = clampFee(_compressTailWithSlope(askFee, TAIL_SLOPE_ATTRACT));\n        } else {\n            askFee = clampFee(_compressTailWithSlope(askFee, TAIL_SLOPE_PROTECT));\n            bidFee = clampFee(_compressTailWithSlope(bidFee, TAIL_SLOPE_ATTRACT));\n        }\n\n        if (firstInStep) {\n            if (askFee > bidFee && bidFee > 30 * BPS) bidFee = 30 * BPS;\n            else if (bidFee > askFee && askFee > 30 * BPS) askFee = 30 * BPS;\n        }\n\n        if (bidFee > askFee && askFee > 36 * BPS) askFee = 36 * BPS;\n        else if (askFee > bidFee && bidFee > 36 * BPS) bidFee = 36 * BPS;\n\n        if (attractAsk) askFee = _shareFee(askFee, firstInStep, sizeHat, sigmaHat, silent, probArbS);\n        else bidFee = _shareFee(bidFee, firstInStep, sizeHat, sigmaHat, silent, probArbS);\n\n        slots[0] = bidFee; slots[1] = askFee; slots[2] = (spot << 64) | trade.timestamp;\n        slots[3] = dirState; slots[4] = actEma; slots[5] = pHat;\n        slots[6] = sigmaHat; slots[7] = lambdaHat; slots[8] = sizeHat;\n        slots[9] = toxEma; slots[10] = stepTradeCount;\n\n        return (bidFee, askFee);\n    }\n\n    // SHARE: blend STACK's attracting-side fee with the router-share revenue optimum.\n    // share(f) = clamp((r(1+0.997t)-1)/((1-f+0.997r)t),0,1), r = sqrt((1-f)/0.997), t = c1*sizeHat\n    // (equal-reserve router split). argmax f*share(f) ~= 0.0015 + t - 1.2 t^2 (t <= 0.04; < 0.04 bps error for t <= 0.016).\n    function _shareFee(uint256 fS, bool first, uint256 sizeHat, uint256 sigmaHat, uint256 silent, uint256 probArb)\n        internal pure returns (uint256)\n    {\n        uint256 t = wmul(SH_C1, sizeHat);\n        if (t > 40000000000000000) t = 40000000000000000;\n        uint256 fStar = 1500000000000000 + t - (12 * wmul(t, t)) / 10;\n        if (silent > 63) silent = 63;\n        uint256 risk = wmul(sigmaHat, _isqrt((1 + silent) * WAD * WAD));\n        risk = wmul(risk, WAD + wmul(SH_C3, probArb));\n        int256 fR = int256(wmul(SH_SCALE, fStar)) - (SH_C2 * int256(risk)) / int256(WAD);\n        uint256 fRu = fR > 0 ? uint256(fR) : 0;\n        uint256 w = first ? SH_WF : SH_WL;\n        uint256 fA = wmul(w, fS) + wmul(WAD - w, fRu);\n        if (fA < SH_LO) fA = SH_LO;\n        if (fA > SH_HI) fA = SH_HI;\n        return clampFee(fA);\n    }\n\n    function _compressTailWithSlope(uint256 fee, uint256 slope) internal pure returns (uint256) {\n        if (fee <= TAIL_KNEE) return fee;\n        return TAIL_KNEE + wmul(fee - TAIL_KNEE, slope);\n    }\n\n    function _powWad(uint256 factor, uint256 exp) internal pure returns (uint256 result) {\n        result = WAD;\n        while (exp > 0) {\n            if (exp & 1 == 1) result = wmul(result, factor);\n            factor = wmul(factor, factor);\n            exp >>= 1;\n        }\n    }\n\n    function _decayCentered(uint256 centered, uint256 decayFactor, uint256 elapsed) internal pure returns (uint256) {\n        uint256 mul = _powWad(decayFactor, elapsed);\n        if (centered >= WAD) { return WAD + wmul(centered - WAD, mul); }\n        uint256 below = wmul(WAD - centered, mul);\n        return below < WAD ? WAD - below : 0;\n    }\n\n    // Floor square root: bit-length seed and seven Newton steps (all uint256).\n    function _isqrt(uint256 x) internal pure returns (uint256 r) {\n        if (x == 0) return 0;\n        unchecked {\n            uint256 y = x;\n            r = 1;\n            if (y >> 128 != 0) { y >>= 128; r <<= 64; }\n            if (y >> 64 != 0) { y >>= 64; r <<= 32; }\n            if (y >> 32 != 0) { y >>= 32; r <<= 16; }\n            if (y >> 16 != 0) { y >>= 16; r <<= 8; }\n            if (y >> 8 != 0) { y >>= 8; r <<= 4; }\n            if (y >> 4 != 0) { y >>= 4; r <<= 2; }\n            if (y >> 2 != 0) { r <<= 1; }\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            uint256 t = x / r;\n            return r < t ? r : t;\n        }\n    }\n\n    function getName() external pure override returns (string memory) { return \"no_cubic\"; }\n}\n","sha256":"43a13736a1c976ab0137014596f4b96c95ff5a4fb2e8c5e799939491ffbed28b","seeds_kind":"tuning","paired":{"n":512,"seeds":"130000..130511 (held-out tuning block, used once)","mean_diff":-0.0021,"se":0.00326,"worst":[{"seed":130035,"diff":-0.7708},{"seed":130355,"diff":-0.3746},{"seed":130012,"diff":-0.3023},{"seed":130411,"diff":-0.2317},{"seed":130111,"diff":-0.2311}]},"mean_edge":{"candidate":523.018,"stack":523.0201},"retail_edge_delta":{"mean":0.00168,"se":0.00312},"arb_edge_delta":{"mean":-0.00378,"se":0.00121},"gas":{"max_ok":214228,"oog":0,"init":220990,"afterSwap_calls":5291101,"measured_on":"held-out tuning seeds 130000..130511, amm_sim_rs.gas_stats() after gas_stats_reset()"},"notes":["Result: SHARE does not beat STACK. The search moved monotonically toward w=1 (STACK fee unchanged); every evaluation with min(WF,WL)<0.95 lost on average (w<0.7: -5.41; 0.7-0.85: -1.04; 0.85-0.95: -0.28 per 64-seed CRN batch). Mixing in the revenue-optimal share fee raises the attracting-side fee toward ~0.15%+t (fStar for t=c1*sizeHat), which costs flow and does not repay.","The frozen best has WF=WL=1, so its only active change is the clamp HI=32.29 bps on the attracting side. Held-out paired diff -0.0021 +/- 0.0033 (n=512): a null result, worth nothing toward the +5.0 the goal needs.","Setup checks: CH on seeds 0..999 gave mean edge 525.5258821780834 (matches the brief exactly); the SHARE template with identity params (w=1, LO=0, HI=0.1) reproduced STACK per seed with max |diff| 0.0 on 64 seeds; STACK sha256 2eaafc79...b25719 verified.","Implementation choices: argmax f*share(f) uses the closed form fStar = 0.0015 + t - 1.2 t^2 (t capped 0.04), fitted to a numeric argmax of the brief's share formula (error < 0.04 bps for t <= 0.016). The brief's \"minus arb risk\" is implemented as a signed C2 subtracted from fR (fee units), so the search could also add risk; it chose C2>0 but with w=1 the term is inactive. probArb is STACK's first-in-step posterior; later trades in a step use probArb=0 and silent=0. SHARE overrides the attracting side after all of STACK's caps and tail compression.","Retail/arb split: run_batch reports only total edge, so the arb edge was reconstructed per step from recorded spot prices and fees (k constant because fees are held outside reserves, using arbitrageur.rs formulas); retail = total - arb. The arb delta is -0.0038 +/- 0.0012 (slightly more arb loss) and the retail delta is +0.0017 +/- 0.0031.","amm-match validate on the frozen code: validated successfully. Gas: 0 OOG across 5,291,101 afterSwap calls, max 214,228 (STACK-level).","No seed >= 5000000 was used. Seeds: CRN 120000..120063, re-check 121000..121255, held-out 130000..130511. No seeds were dropped."]}