# r6-j5-joint — merge 4 Eight items report real-only unchanged J5 evaluations; two report setup failures. There is no eligible search winner. Item-reported validity and evidence limits are preserved below. Entries cite the matching item key in `sources`; seed pairs are inclusive ranges. ```json { "rows": [ { "key": "k31", "mode": "real-only", "result_sha256": "1ceca85f36c86d09b6760c6dcd9d66ab043b468a1aae83bcd791366c3e484783", "markets_per_s": 137.21840875571985, "generations": 0, "search_minutes": 0, "holdout": { "over_T": { "n": 8192, "mean_diff": 2.307544068661547, "se": 0.013528690579041706 }, "over_base": { "n": 8192, "mean_diff": 0.0, "se": 0.0 } }, "real_vs_IB": { "mean_diff": 0.5757935022194489, "se": 0.026273527644403737, "n": 1024 }, "afterSwap_peak": 237586, "OOG": 0, "valid": true, "last_curve_point": null }, { "key": "k32", "mode": "real-only", "result_sha256": "4ed1f906deb058d5d8d4e8d598f1ad8f427d4a0a1b94bd9840b273da63f04438", "markets_per_s": 236.63208617154916, "generations": 0, "search_minutes": 0, "holdout": { "over_T": { "n": 8192, "mean_diff": 2.307544068661547, "se": 0.013528690579041706, "worst5": [ -9.866250928794102, -3.0982895329916573, -3.0946367280640743, -3.0157024672419084, -2.98385912949243 ], "sum": 18903.401010475394, "sumsq": 55901.56282773784 }, "over_base": { "n": 8192, "mean_diff": 0.0, "se": 0.0, "worst5": [ 0.0, 0.0, 0.0, 0.0, 0.0 ], "sum": 0.0, "sumsq": 0.0 } }, "real_vs_IB": { "mean_diff": 0.5578913464898729, "se": 0.025521871879697577, "n": 1024 }, "afterSwap_peak": 238105, "OOG": 0, "valid": true, "last_curve_point": null }, { "key": "k33", "mode": "real-only", "result_sha256": "9d429d77cdd3512cb3fa9a83327f0dedb56d458d079f786716b456daa63cd6f5", "markets_per_s": 329.4511837473914, "generations": 0, "search_minutes": 0, "holdout": { "over_T": { "n": 8192, "mean_diff": 2.307544068661547, "se": 0.013528690579041706 }, "over_base": { "n": 8192, "mean_diff": 0.0, "se": 0.0 } }, "real_vs_IB": { "mean_diff": 0.53748960072169, "se": 0.028501588610810213, "n": 1024 }, "afterSwap_peak": 237586, "OOG": 0, "valid": true, "last_curve_point": null }, { "key": "k34", "mode": "blocked", "result_sha256": "402a3ca404c6590b102d9dc60bace11931ed35238cfa93720673f302e26cc1c8", "markets_per_s": null, "generations": null, "search_minutes": null, "holdout": { "over_T": null, "over_base": null }, "real_vs_IB": null, "afterSwap_peak": null, "OOG": null, "valid": false, "last_curve_point": null }, { "key": "k35", "mode": "real-only", "result_sha256": "25d890b036392cf4b80df6b53eada88a3ba902d8d64fc30eb09b2d07cd7a8914", "markets_per_s": 493.169108989495, "generations": 0, "search_minutes": 0, "holdout": { "over_T": { "n": 8192, "mean_diff": 2.307544068661547, "se": 0.013528690579041706 }, "over_base": { "n": 8192, "mean_diff": 0.0, "se": 0.0 } }, "real_vs_IB": { "mean_diff": 0.533482826997056, "se": 0.026700222085190597, "n": 1024 }, "afterSwap_peak": 239076, "OOG": 0, "valid": true, "last_curve_point": null }, { "key": "k36", "mode": "real-only", "result_sha256": "75aefa2a17283f782c1a2a701102d020244ea432d19a499415ce654151fbb3ec", "markets_per_s": 260.2717538832267, "generations": 0, "search_minutes": 0, "holdout": { "over_T": { "n": 8192, "mean_diff": 2.307544068661547, "se": 0.013528690579041706, "worst5": [ -9.866250928794102, -3.0982895329916573, -3.0946367280640743, -3.0157024672419084, -2.98385912949243 ], "sum": 18903.401010475394, "sumsq": 55901.562827737835 }, "over_base": { "n": 8192, "mean_diff": 0.0, "se": 0.0, "worst5": [ 0.0, 0.0, 0.0, 0.0, 0.0 ], "sum": 0.0, "sumsq": 0.0 } }, "real_vs_IB": { "mean_diff": 0.5352668135514623, "se": 0.025500671922402327, "n": 1024 }, "afterSwap_peak": 237585, "OOG": 0, "valid": true, "last_curve_point": null }, { "key": "k37", "mode": "real-only", "result_sha256": "0c085cf2e48609d7e01fbf7e2a97e26afa87692fe50247099e7fa90a2f5c412a", "markets_per_s": 250.17532845094158, "generations": 0, "search_minutes": 0, "holdout": { "over_T": { "n": 8192, "mean": 2.307544068661547, "se": 0.013528690579041706 }, "over_base": { "n": 8192, "mean": 0.0, "se": 0.0 } }, "real_vs_IB": { "mean_diff": 0.5683441640434412, "se": 0.026439530524520683, "n": 1024 }, "afterSwap_peak": 237687, "OOG": 0, "valid": true, "last_curve_point": null }, { "key": "k38", "mode": "real-only", "result_sha256": "35642e917606348f12302a5811d72d3eea8df9a097d8a364ae22819fa6cb4f34", "markets_per_s": 216.9, "generations": 0, "search_minutes": 0, "holdout": { "over_T": null, "over_base": null }, "real_vs_IB": { "mean_diff": 0.561701918561174, "se": 0.026097624179451804, "n": 1024 }, "afterSwap_peak": 238232, "OOG": 0, "valid": true, "last_curve_point": null }, { "key": "k39", "mode": "real-only", "result_sha256": "2a29fa4e034a1320e02280cf0cd8c12e70552e93f14001de516bd2326a66554e", "markets_per_s": 174.96858551057173, "generations": 0, "search_minutes": 0, "holdout": { "over_T": { "n": 8192, "mean_diff": 2.307544068661547, "se": 0.013528690579041706 }, "over_base": { "n": 8192, "mean_diff": 0.0, "se": 0.0 } }, "real_vs_IB": { "mean_diff": 0.5079746253918533, "se": 0.026823511300868196, "n": 1024 }, "afterSwap_peak": 238061, "OOG": 0, "valid": true, "last_curve_point": null }, { "key": "k40", "mode": "blocked", "result_sha256": "3d9285745c984d63e2cc203d70049b1fa9b96cfe455366ce3312458102db8205", "markets_per_s": null, "generations": null, "search_minutes": null, "holdout": { "over_T": null, "over_base": null }, "real_vs_IB": null, "afterSwap_peak": null, "OOG": null, "valid": false, "last_curve_point": null } ], "best": null, "real_only": [ { "key": "k31", "seeds": [ 8420000, 8421023 ], "n": 1024, "mean": 0.5757935022194489, "se": 0.026273527644403737, "sum": 589.6125462727157, "sumsq": 1062.618390468254 }, { "key": "k32", "seeds": [ 8424000, 8425023 ], "n": 1024, "mean": 0.5578913464898729, "se": 0.025521871879697577, "sum": 571.2807388056299, "sumsq": 1001.0522782203766 }, { "key": "k33", "seeds": [ 8428000, 8429023 ], "n": 1024, "mean": 0.53748960072169, "se": 0.028501588610810213, "sum": 550.3893511390106, "sumsq": 1146.7975239174605 }, { "key": "k34", "seeds": null, "n": null, "mean": null, "se": null, "sum": null, "sumsq": null }, { "key": "k35", "seeds": [ 8436000, 8437023 ], "n": 1024, "mean": 0.533482826997056, "se": 0.026700222085190597, "sum": 546.2864148449853, "sumsq": 1038.2361895582062 }, { "key": "k36", "seeds": [ 8440000, 8441023 ], "n": 1024, "mean": 0.5352668135514623, "se": 0.025500671922402327, "sum": 548.1132170766974, "sumsq": 974.5934011995097 }, { "key": "k37", "seeds": [ 8444000, 8445023 ], "n": 1024, "mean": 0.5683441640434412, "se": 0.026439530524520683, "sum": 581.9844239804838, "sumsq": 1063.0573926087795 }, { "key": "k38", "seeds": [ 8448000, 8449023 ], "n": 1024, "mean": 0.561701918561174, "se": 0.026097624179451804, "sum": 575.1827646066422, "sumsq": 1036.5542511072103 }, { "key": "k39", "seeds": [ 8452000, 8453023 ], "n": 1024, "mean": 0.5079746253918533, "se": 0.026823511300868196, "sum": 520.1660164012578, "sumsq": 1017.9455958993685 }, { "key": "k40", "seeds": null, "n": null, "mean": null, "se": null, "sum": null, "sumsq": null } ], "notes": { "scope": "Merge of supplied result files only. Each row, real_only and evidence entry is sourced to the matching sources key. All ten result hashes and eight embedded decoded Solidity hashes verified locally. Experiments, raw traces and upstream downloads were not independently rerun. Null means unavailable or inapplicable, never zero.", "best": "Eight completed items retained unchanged J5 in real-only mode; k34 and k40 are blocked. No eligible search row exists, so best=null and no search-winner code_zb64/code_sha256/params bundle can be copied. No trained improvement or top-10 placement is established.", "curves": "All ten source curve arrays are empty. Eight real-only items performed zero generations and zero search minutes; blocked search fields are unmeasured. No last curve point exists and whether curves were still rising cannot be assessed. k32 baseline_monitor is a post-freeze diagnostic, not a training curve.", "fallback": "All eight completed inputs report replica speeds below their cited 500 markets/s fallback cutoff. This branching instruction is attributed to those inputs; the shortened merge brief does not reproduce the full item fallback rules.", "holdout": "Seven inputs report the identical 8192-seed holdout over_T mean 2.307544068661547, se 0.013528690579041706, over_base zero, on seeds 40000000..40008191. Same policy and same seed block: not independent evidence or training gains. k38 omitted holdout.", "gate_B": "All eight completed inputs report mean 0.8655072079761197, se 0.033774160243544064, n=512 against supplied 0.876 reference. k37 explicitly identifies J5 minus IA and k38 labels J5_minus_IA. This is not a new real J5-over-T calibration; the goal-level over-T reproduction gate is not established by these results. Gate passes remain item claims.", "valid": "rows.valid copies item-reported validity, not independent certification of all goal requirements. k38 used four real-engine workers instead of required eight, omitted holdout and marked C inapplicable. Others reuse A for C because frozen code is unchanged. Stress failures and missing edge components further limit validity.", "source_reliability": "Requester flagged upstream rechecks for k31(2),k32(2),k33(2),k35(2),k36(3),k37(3),k38(2),k39(2). Exact failed URLs/passages and whether inaccessible, changed or unsupported were not supplied. Upstream pin-verification, configuration-fidelity and engine-API assertions remain uncorroborated item reports. Result digest agreement proves supplied input integrity, not experiment correctness. Numerical results are retained as reported local measurements, not independently verified findings. URLs here identify result content; no claim is made that upstream rechecks now pass.", "failures": "k34 setup rejected Linux x86_64 wheel on macOS arm64; k40 could not execute scratch/bin/uv (exit 126). k31,k33,k35,k36,k37,k38,k39 disclose preliminary extreme synthetic division-by-zero reverts before passing narrower bounded/smaller-trade or mean-reverting callbacks. k37 and k39 disclose numpy boolean serialization failures. Details retained in item_notes; narrower passes do not negate stress failures.", "components": "k31 reconstructs edge components on 896/1024 pairs; k32 on 976/1024; k36 reports reconstructed components for its full comparison. These are numerical analytical reconstructions, not direct engine counters. k33,k35,k37,k38,k39 have no real retail/arb edge decomposition; their volume deltas are Y-volume, not edge. Missing edge splits remain unavailable.", "seeds": "Eight reported confirmation ranges are disjoint, 1024 pairs each, all above 7000000. Within-attempt freshness is an item assertion; prior nonuse across other jobs is unverified. Each arm runs separately against Vanilla with shared configs for pairing. No pooled estimate selects a winner. Blocked items retained in real_only with null statistics, not zero-sized completed measurements.", "checks": "Local checks: ten input hashes, eight embedded code hashes, ten unique rows, mean=sum/n and sample SE from n,sum,sumsq for all eight real comparisons, JSON parse and size cap. These certify merge consistency only." }, "sources": { "k31": { "path": ".imd/reads/artifacts/item-k31", "url": "https://api.imdnotdead.fun/artifacts/1ceca85f36c86d09b6760c6dcd9d66ab043b468a1aae83bcd791366c3e484783", "sha256": "1ceca85f36c86d09b6760c6dcd9d66ab043b468a1aae83bcd791366c3e484783", "hash_verified": true, "upstream_source_recheck_flags": 2 }, "k32": { "path": ".imd/reads/artifacts/item-k32", "url": "https://api.imdnotdead.fun/artifacts/4ed1f906deb058d5d8d4e8d598f1ad8f427d4a0a1b94bd9840b273da63f04438", "sha256": "4ed1f906deb058d5d8d4e8d598f1ad8f427d4a0a1b94bd9840b273da63f04438", "hash_verified": true, "upstream_source_recheck_flags": 2 }, "k33": { "path": ".imd/reads/artifacts/item-k33", "url": "https://api.imdnotdead.fun/artifacts/9d429d77cdd3512cb3fa9a83327f0dedb56d458d079f786716b456daa63cd6f5", "sha256": "9d429d77cdd3512cb3fa9a83327f0dedb56d458d079f786716b456daa63cd6f5", "hash_verified": true, "upstream_source_recheck_flags": 2 }, "k34": { "path": ".imd/reads/artifacts/item-k34", "url": "https://api.imdnotdead.fun/artifacts/402a3ca404c6590b102d9dc60bace11931ed35238cfa93720673f302e26cc1c8", "sha256": "402a3ca404c6590b102d9dc60bace11931ed35238cfa93720673f302e26cc1c8", "hash_verified": true, "upstream_source_recheck_flags": 0 }, "k35": { "path": ".imd/reads/artifacts/item-k35", "url": "https://api.imdnotdead.fun/artifacts/25d890b036392cf4b80df6b53eada88a3ba902d8d64fc30eb09b2d07cd7a8914", "sha256": "25d890b036392cf4b80df6b53eada88a3ba902d8d64fc30eb09b2d07cd7a8914", "hash_verified": true, "upstream_source_recheck_flags": 2 }, "k36": { "path": ".imd/reads/artifacts/item-k36", "url": "https://api.imdnotdead.fun/artifacts/75aefa2a17283f782c1a2a701102d020244ea432d19a499415ce654151fbb3ec", "sha256": "75aefa2a17283f782c1a2a701102d020244ea432d19a499415ce654151fbb3ec", "hash_verified": true, "upstream_source_recheck_flags": 3 }, "k37": { "path": ".imd/reads/artifacts/item-k37", "url": "https://api.imdnotdead.fun/artifacts/0c085cf2e48609d7e01fbf7e2a97e26afa87692fe50247099e7fa90a2f5c412a", "sha256": "0c085cf2e48609d7e01fbf7e2a97e26afa87692fe50247099e7fa90a2f5c412a", "hash_verified": true, "upstream_source_recheck_flags": 3 }, "k38": { "path": ".imd/reads/artifacts/item-k38", "url": "https://api.imdnotdead.fun/artifacts/35642e917606348f12302a5811d72d3eea8df9a097d8a364ae22819fa6cb4f34", "sha256": "35642e917606348f12302a5811d72d3eea8df9a097d8a364ae22819fa6cb4f34", "hash_verified": true, "upstream_source_recheck_flags": 2 }, "k39": { "path": ".imd/reads/artifacts/item-k39", "url": "https://api.imdnotdead.fun/artifacts/2a29fa4e034a1320e02280cf0cd8c12e70552e93f14001de516bd2326a66554e", "sha256": "2a29fa4e034a1320e02280cf0cd8c12e70552e93f14001de516bd2326a66554e", "hash_verified": true, "upstream_source_recheck_flags": 2 }, "k40": { "path": ".imd/reads/artifacts/item-k40", "url": "https://api.imdnotdead.fun/artifacts/3d9285745c984d63e2cc203d70049b1fa9b96cfe455366ce3312458102db8205", "sha256": "3d9285745c984d63e2cc203d70049b1fa9b96cfe455366ce3312458102db8205", "hash_verified": true, "upstream_source_recheck_flags": 0 } }, "evidence": { "k31": { "source": "k31", "blocked": null, "search_reason": "512-market replica speed below 500 markets/s; required real-only branch", "gates": { "A": { "passed": true, "sequences": 50, "callbacks_per_sequence": 2000, "max_fee_diff_bps": 6.306159071523725e-05, "fees_at_or_above_0_01_bps": 0, "seeds": [ 310100, 310149 ], "callback_generation": "50 independent constant-product paths; log spot follows 0.99*previous_log_deviation + N(0,0.003); elapsed drawn from [0,0,0,1,1,2,8,13]; fresh state per sequence; both port and EVM receive identical trade fields." }, "C": { "passed": true, "max_fee_diff_bps": 6.306159071523725e-05, "same_frozen_J5_as_A": true }, "B": { "n": 512, "mean_diff": 0.8655072079761197, "se": 0.033774160243544064, "target": 0.876, "tolerance": 0.15, "passed": true, "seeds": [ 7672000, 7672511 ] } }, "item_notes": [ "No training was performed: measured 512-market speed was below the mandatory 500 markets/s cutoff. Frozen candidate is exactly the supplied J5, not an improved policy. No monitor curve is claimed.", "SETUP succeeded at checkout 6b6921f8d463314aa7c96234e1be25a25245f704; wheel SHA-256 aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a verified; StarterStrategy validation passed. Long engine and differential commands were bounded by timeout 470 seconds and real evaluations segmented into 64-seed chunks.", "All four downloaded artifact SHA-256 values matched their IDs. Decoded J5, IA port, IB and replica SHA-256 values matched every supplied pin. Candidate code is unchanged; decoding code_zb64 reproduces code_sha256.", "Used the supplied IA port without rebuilding its logic. J5 parameters replaced head weights, the 38 named TH constants and the three anchor literals; IA uses its head and T constants; T disables the head and uses T constants. Feature scaling remains IA scaling.", "Gate B expected value +0.876 is supplied by the brief; replica measured its own independent RNG paths on the specified seeds. Holdout over_base is exactly zero because frozen candidate equals J5.", "An initial synthetic stress path with unconstrained directional drift reverted in Solidity with panic 0x12 (division by zero), before completing 50 sequences; it was not used as a passing gate. The final bounded constant-product differential test used 50 fresh sequences and completed all 100000 callbacks. Neither run observed OOG.", "Real edge, worst-five differences, sum and sumsq, volume deltas and gas use all 1024 paired confirmation seeds once per arm. Retail/arb edge decomposition uses only seeds 8420128..8421023 (896 pairs): the first 128 pairs lack a retained reliable component decomposition. They were not replayed, to preserve the no-reused-seeds rule. This component coverage gap is explicit; total paired results are complete.", "Retail and arb component deltas are analytical reconstructions from real-engine traces and are labeled accordingly; they are not fabricated Rust counters. Component volume checks compare this reconstruction against actual engine arb_volume_y.", "No missing metrics, training progress or gains have been fabricated. No candidate selection was based on real confirmation seeds." ], "seeds": { "speed": [ 1200000000, 1200000511 ], "replica_gate_B": [ 7672000, 7672511 ], "holdout": [ 40000000, 40008191 ], "real": [ 8420000, 8421023 ], "search": null, "gate_A_C": [ 310100, 310149 ] }, "real_protocol": "Separate amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8) calls per arm; never J5 and IB together; canonical config defaults and per-seed numpy default_rng variance draws in MatchRunner order. All confirmation seeds freshly used for this fixed comparison.", "paired_details": { "n": 1024, "mean_diff": 0.5757935022194489, "se": 0.026273527644403737, "sum": 589.6125462727157, "sumsq": 1062.618390468254, "worst5": [ { "seed": 8420936, "diff": -2.215031125334235 }, { "seed": 8421005, "diff": -1.988985494593635 }, { "seed": 8420310, "diff": -1.702030101509763 }, { "seed": 8420542, "diff": -1.568969376669429 }, { "seed": 8420266, "diff": -1.5417916068030877 } ], "retail_delta": -0.4774264599785378, "retail_delta_se": 0.02818617330431507, "retail_component_stats": { "n": 896, "mean_diff": -0.4774264599785378, "se": 0.02818617330431507, "sum": -427.77410814076984, "sumsq": 841.3243344546693 }, "arb_delta": 1.0610484172181138, "arb_delta_se": 0.01326454196986511, "arb_component_stats": { "n": 896, "mean_diff": 1.0610484172181138, "se": 0.01326454196986511, "sum": 950.69938182743, "sumsq": 1149.8343535759313 }, "component_n": 896, "component_seeds": [ 8420128, 8421023 ], "component_method": "Reconstruct pre-retail arbitrage analytically from the real engine step prices, previous end-of-step spots and fees, constant-product invariant 100*10000; retail = observed total edge minus reconstructed arb. Floating-point reconstruction, not separately exposed Rust edge counters.", "retail_volume_y_delta": { "n": 1024, "mean_diff": 54.9902406419649, "se": 7.148250903373163, "sum": 56310.00641737206, "sumsq": 56623779.67198277 }, "arb_volume_y_delta": { "n": 1024, "mean_diff": -175.9068817344421, "se": 4.76378987266081, "sum": -180128.6468960687, "sumsq": 55458693.072149105 } }, "decoded_code_sha256_verified": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c" }, "k32": { "source": "k32", "blocked": null, "search_reason": "Measured replica speed below 500 markets/s; mandatory real-only branch, no CMA search.", "gates": { "A": { "sequences": 50, "callbacks_per_sequence": 2000, "max_fee_error_bps": 0.0011213825521980136, "threshold_bps": 0.01, "pass": true, "seed_start": 7732000, "description": "Fresh deployment per sequence; shared callback inputs; randomized buys/sells, elapsed 0/1/2/8/13, lognormal trade sizes capped at 15% reserve" }, "B": { "n": 512, "mean_diff": 0.8655072079761197, "se": 0.033774160243544064, "worst5": [ -1.814946819088732, -0.9303319003453794, -0.753965300148252, -0.7301471476150709, -0.7164407834928852 ], "sum": 443.1396904837733, "sumsq": 681.9826227397823, "target": 0.876, "tolerance": 0.15, "pass": true }, "C": { "sequences": 50, "callbacks_per_sequence": 2000, "max_fee_error_bps": 0.0011213825521980136, "threshold_bps": 0.1, "pass": true, "seed_start": 7732000, "description": "Fresh deployment per sequence; shared callback inputs; randomized buys/sells, elapsed 0/1/2/8/13, lognormal trade sizes capped at 15% reserve", "note": "Frozen candidate is exactly input J5 (real-only); same differential check proves gate C." } }, "item_notes": [ "No training performed: required speed-based fallback. Candidate Solidity byte-for-byte identical to supplied J5; decoded code SHA256 verified.", "Replica strategy uses supplied IA port with J5 weights, 38 named TH constants and three anchor literals parameterized; no port rebuilt. Market dynamics/RNG/router/arb are supplied replica unchanged.", "Holdout over_base is zero by identity: frozen candidate is J5.", "Real total-edge comparison includes all requested seeds. Partial edge decomposition explicitly scoped; no imputed data. Reconstructed arb volume maximum absolute residual is 0.000108607 Y and maximum relative residual is below 1e-8; reconstructed retail/arb edge split is approximate, total edge is engine-reported." ], "seeds": { "gateA_callbacks": [ 7732000, 7732049 ], "gateB": [ 7672000, 7672511 ], "monitor": [ 30000000, 30002047 ], "holdout": [ 40000000, 40008191 ], "real": [ 8424000, 8425023 ], "training": [] }, "real_protocol": "Each arm alone against 30 bps VanillaStrategy using amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8); configs use exact MatchRunner draw order/ranges with market seed; 10000 steps", "paired_details": { "n": 1024, "mean_diff": 0.5578913464898729, "se": 0.025521871879697577, "worst5": [ { "seed": 8424919, "diff": -2.98451449709637 }, { "seed": 8424940, "diff": -1.8309476708745933 }, { "seed": 8424152, "diff": -1.711769362060636 }, { "seed": 8424911, "diff": -1.6417154808306123 }, { "seed": 8424642, "diff": -1.5218687092008167 } ], "sum": 571.2807388056299, "sumsq": 1001.0522782203766, "retail_delta": -0.4974791780280985, "retail_delta_se": 0.026210566197378944, "retail_delta_n": 976, "arb_delta": 1.0498772833003525, "arb_delta_se": 0.01312875173732024, "arb_delta_n": 976, "decomposition_n": 976, "decomposition_total_mean_diff": 0.5523981052722543, "decomposition_seed_range": [ 8424048, 8425023 ] }, "retail_volume_y_delta": { "n": 1024, "mean_diff": 76.49206801732191, "se": 7.801924420066399, "worst5": [ -586.2799552249198, -585.5843385832268, -491.31902318058565, -444.6935030349123, -441.80435502537875 ], "sum": 78327.87764973764, "sumsq": 69755977.41372709 }, "arb_volume_y_delta": { "n": 1024, "mean_diff": -163.69228534679303, "se": 5.039351238297288, "worst5": [ -772.5229538598724, -641.2056083058123, -565.4066928049288, -565.1983004576614, -561.5735369255708 ], "sum": -167620.90019511606, "sumsq": 54040895.063809715 }, "retail_edge_delta": { "n": 976, "mean_diff": -0.4974791780280985, "se": 0.026210566197378944, "worst5": [ -3.8727663345708834, -3.4770729081145646, -3.0271637857111955, -3.025257755627422, -2.7652143698359737 ], "sum": -485.5396777554241, "sumsq": 895.2891612062401 }, "arb_edge_delta": { "n": 976, "mean_diff": 1.0498772833003525, "se": 0.01312875173732024, "worst5": [ -1.9661932261201969, -1.3330947158593318, -1.0917571987845633, -0.35537605812407946, -0.09944216608081646 ], "sum": 1024.680228501144, "sumsq": 1239.8101932170339 }, "decomposition_seeds": [ 8424048, 8425023 ], "decomposition_note": "Edge decomposition covers 976 paired seeds (8424048..8425023). Initial 48 candidate histories were not retained; no real seeds were rerun. Full 1024-pair total edge and retail/arb volume deltas are retained. Arb edge reconstructed using constant-product reserves inferred from prior step spot, previous bid/ask fees and current fair price; retail edge = total minus arb.", "arb_volume_reconstruction_max_abs_error": 0.0001086064767150674, "arb_volume_reconstruction_max_relative_error": 4.6648045862976635e-09, "arb_volume_reconstruction_check_relative_tolerance": 1e-08, "baseline_monitor": { "seeds": [ 30000000, 30002047 ], "over_T": { "n": 2048, "mean_diff": 2.3568067935702803, "se": 0.029496769330094277, "worst5": [ -6.068535125497533, -3.848607510168563, -3.3215881664349354, -1.9513900043508556, -1.073948464631485 ], "sum": 4826.740313231934, "sumsq": 15023.206104857618 }, "timing": "After freeze; diagnostic only; no selection" }, "decoded_code_sha256_verified": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c" }, "k33": { "source": "k33", "blocked": null, "search_reason": "Measured replica speed below required 500 markets/second; mandatory real-only branch. J5 retained unchanged.", "gates": { "A": { "passed": true, "sequences": 50, "callbacks_per_sequence": 2000, "max_fee_diff_bps": 4.8325198305889175e-05, "over_0_01_bps": 0, "seconds": 43.228184938430786, "seeds": [ 310000, 310049 ], "threshold_bps": 0.01 }, "B": { "n": 512, "mean_diff": 0.8655072079761197, "se": 0.033774160243544064, "target": 0.876, "error": -0.010492792023880315, "passed": true, "seeds": [ 7672000, 7672511 ] }, "C": { "passed": true, "sequences": 50, "callbacks_per_sequence": 2000, "max_fee_diff_bps": 4.8325198305889175e-05, "over_0_01_bps": 0, "seconds": 43.228184938430786, "seeds": [ 310000, 310049 ], "threshold_bps": 0.1, "note": "Frozen candidate remains byte-identical to J5; same callback comparisons as gate A." } }, "item_notes": [ "No search or leaderboard submission; candidate is unchanged J5, not a newly improved policy.", "All four downloaded artifact SHA256 digests equal their URL IDs; all four extracted code/port/replica hashes match the supplied hashes. Pinned checkout and simulator-wheel hash verified; setup validation passed.", "Replica is supplied IA port with J5 head, the 38 named TH constants and three anchor literals replaced; no strategy port rebuilt. IA uses its original head and T constants; T disables the head and retains T constants and anchor.", "An additional large-trade stress sequence (lognormal(-2,1.5), amount capped at 15% reserve X) reverted with Solidity panic 0x12 (division by zero) after at least 30 completed sequences. Gate A uses lognormal(-4,1.2), capped at 2% reserve X, timestamp increments drawn from [0,0,0,1,1,2,8,13]. This stress failure limits robustness claims; real-run failure counts are reported separately.", "Gas is aggregated only from required real-engine chunks, with maximum peaks and summed counters per callback and role. No real confirmation seed was reused within an arm.", "Local calculations are measurements made in this run, not claims copied from source artifacts." ], "seeds": { "speed": [ 1295900000, 1295900511 ], "callback_sequences": [ 310000, 310049 ], "gate_B": [ 7672000, 7672511 ], "holdout": [ 40000000, 40008191 ], "real_confirmation": [ 8428000, 8429023 ], "search": [] }, "real_protocol": "Each arm alone vs 30bps VanillaStrategy; amm_sim_rs.run_batch(arm,Vanilla,configs,8). MatchRunner._build_configs default fields and draw order, RNG keyed by market seed.", "paired_details": { "n": 1024, "mean_diff": 0.53748960072169, "se": 0.028501588610810213, "sum": 550.3893511390106, "sumsq": 1146.7975239174605, "worst5": [ { "seed": 8428456, "diff": -3.3038960657946745 }, { "seed": 8428541, "diff": -2.716085764012064 }, { "seed": 8428140, "diff": -2.446225678560893 }, { "seed": 8428972, "diff": -2.3249522623123084 }, { "seed": 8428933, "diff": -2.2542824996495483 } ], "retail_volume_y_delta": { "mean_diff": 63.68114292286275, "se": 7.638839671655954 }, "arb_volume_y_delta": { "mean_diff": -183.9487012894906, "se": 4.801039012141674 }, "pnl_delta": { "mean_diff": 0.5695564298027413, "se": 0.03629295361311066 }, "retail_delta": null, "arb_delta": null }, "decomposition_note": "LightweightSimResult does not expose retail/arb edge splits. retail_delta and arb_delta are unavailable, not zero. Reported retail_volume_y_delta and arb_volume_y_delta are paired Y-volume deltas, not edge deltas.", "decoded_code_sha256_verified": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c" }, "k34": { "source": "k34", "blocked": { "step": "uv pip install $R/$W numpy numba cma py-solc-x==2.1.0 pyrevm==0.3.7", "error": "error: Failed to determine installation plan\n cause: A path (scratch/amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl) dependency is incompatible with the current platform\n\nhint: The wheel is compatible with Linux (`manylinux2014_x86_64`), Linux (`manylinux_2_17_x86_64`), but you're on macOS (`macosx_27_0_arm64`)" }, "search_reason": null, "gates": { "A": null, "B": null, "C": null }, "item_notes": "Nothing was run: no replica speed, search, holdout, or real-engine numbers exist for this item. The source in the pinned checkout (amm_sim_rs/src/lib.rs) defines run_batch but no gas_stats, so building the engine from source would not give the gas checks the goal requires, and it would not be the pinned wheel. Rerun on a Linux x86_64 worker, or provide an engine wheel for macOS arm64.", "seeds": null, "real_protocol": null, "paired_details": null }, "k35": { "source": "k35", "blocked": null, "search_reason": "Measured replica speed <500 markets/s; brief requires real-only fallback.", "gates": { "A": { "passed": true, "sequences": 50, "callbacks": 100000, "seeds": [ 310000, 310049 ], "max_fee_diff_bps": 5.144324015924663e-05, "fees_above_0_01_bps": 0, "threshold_bps": 0.01 }, "B": { "passed": true, "n": 512, "mean_diff": 0.8655072079761197, "se": 0.033774160243544064, "target": 0.876, "seeds": [ 7672000, 7672511 ] }, "C": { "passed": true, "sequences": 50, "callbacks": 100000, "seeds": [ 310000, 310049 ], "max_fee_diff_bps": 5.144324015924663e-05, "fees_above_0_01_bps": 0, "threshold_bps": 0.1, "basis": "Frozen Solidity and port are unchanged J5; same 100000-callback comparison as gate A." } }, "item_notes": [ "All numerical results except the gate-B reference target are newly measured locally. Supplied historical performance was not substituted for measurements.", "Port used unchanged IA strategy formulas, J5 weights, the 38 named TH entries and three J5 anchor values. Constants and anchors were passed as parameters; market replica and RNG were retained.", "Replica timing excludes numba compilation and includes fork-pool creation; 8 worker processes, 10000 steps per market. No search or retiming was used to evade the speed fallback.", "Real seeds are fresh for this run, distinct from replica, monitor and gate seeds. Both arms use the same configs separately against Vanilla, never against each other.", "Engine exposes total edge, retail volume and arb volume, but no retail/arb edge split. Reported deltas are explicitly quote-currency volume differences; edge decomposition is unavailable (null).", "A preliminary high-variance synthetic callback walk reverted with Solidity division-by-zero. The reported gates use 50 bounded sequences of 2000 trades (lognormal amountX with log mean -4, SD 1, capped at 1% reserveX; timestamp increments sampled from [0,0,0,1,1,2,8,13]). This limits gate coverage; real-engine errors are counted separately.", "No optimization improvement is claimed: frozen candidate equals J5. The holdout over_base paired difference is identically zero." ], "seeds": { "speed": [ 9200000, 9200511 ], "callback_gate": [ 310000, 310049 ], "replica_gate_B": [ 7672000, 7672511 ], "monitor": [ 30000000, 30002047 ], "holdout": [ 40000000, 40008191 ], "real": [ 8436000, 8437023 ], "training": [] }, "real_protocol": null, "paired_details": { "n": 1024, "mean_diff": 0.533482826997056, "se": 0.026700222085190597, "sum": 546.2864148449853, "sumsq": 1038.2361895582062, "worst5": [ { "seed": 8436949, "diff": -3.6589009257832004 }, { "seed": 8436824, "diff": -2.336649758774115 }, { "seed": 8436614, "diff": -2.3279792904036185 }, { "seed": 8436981, "diff": -1.9888508508435052 }, { "seed": 8436886, "diff": -1.8254472564228195 } ], "worst5_mean": -2.4275656164454515 }, "deltas": { "retail_volume_y": { "n": 1024, "se": 7.645109822746365, "mean_diff": 77.00105237951831 }, "arb_volume_y": { "n": 1024, "se": 5.030593384928233, "mean_diff": -170.03804399662945 }, "retail_edge": null, "arb_edge": null }, "decoded_code_sha256_verified": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c" }, "k36": { "source": "k36", "blocked": null, "search_reason": "Measured 512-market J5 replica speed below the required 500 markets/s cutoff; mandatory real-only fallback.", "gates": { "A": { "passed": true, "sequences": 50, "swap_callbacks": 100000, "callbacks_including_initialization": 100050, "max_fee_diff_bps": 5.662911666177474e-05, "fees_above_threshold": 0, "threshold_bps": 0.01, "seeds": [ 310000, 310049 ], "seconds": 116.1454953670036, "what": "supplied IA port with J5 frozen parameters vs original J5 Solidity", "code_sha256": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c" }, "B": { "n": 512, "mean_diff": 0.8655072079761197, "se": 0.033774160243544064, "worst5": [ -1.814946819088732, -0.9303319003453794, -0.753965300148252, -0.7301471476150709, -0.7164407834928852 ], "sum": 443.1396904837733, "sumsq": 681.9826227397821, "target": 0.876, "tolerance": 0.15, "passed": true, "seeds": [ 7672000, 7672511 ] }, "C": { "passed": true, "sequences": 50, "swap_callbacks": 100000, "callbacks_including_initialization": 100050, "max_fee_diff_bps": 5.662911666177474e-05, "fees_above_threshold": 0, "threshold_bps": 0.1, "seeds": [ 310000, 310049 ], "seconds": 116.1454953670036, "what": "frozen Solidity vs frozen port", "code_sha256": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c", "proof": "Frozen Solidity is byte-identical to J5; frozen port parameters equal Gate A parameters. The same 100000 measured callbacks therefore establish Gate C without re-executing them." } }, "item_notes": [ "All reported performance and gate numbers are local measurements from this attempt; artifact hashes identify the supplied starting sources.", "No optimization ran: the explicit speed cutoff mandates real-only mode. No trained improvement or leaderboard placement is claimed.", "Holdout was evaluated after freezing unchanged J5. over_base is identically zero because the frozen candidate equals J5.", "Gate A uses 50 deterministic sequences of 2000 callbacks with bounded relative trade sizes, both directions, repeated timestamps and elapsed 1,2,8,13. An earlier harness using absolute trade sizes drained a synthetic pool, driving prices far outside challenge conditions and causing a division-by-zero revert; that harness was repaired before the reported gate. This was not a real-engine failure.", "The supplied IA port was used without rebuilding its math. Three anchor literals were parameterized; the 38 named TH entries and 178 head weights come from J5. Nonsearched constants and IA feature scaling remain fixed.", "The freezing generator reproduces original J5 Solidity byte for byte. Only result.json and sources.json are delivered; scratch checkout, toolchain, dependencies and test scaffolding are excluded.", "Each real seed was run exactly once per arm. Chunk checkpoints prevented reuse across segmented commands. No training, monitor, holdout or real seed blocks overlap.", "SE is sample standard deviation divided by sqrt(n), ddof=1. vs_IB sum and sumsq are sums of per-seed candidate-minus-IB differences and their squares. worst5 lists the five smallest paired differences.", "Arb reconstruction is numerical, using the engine constant-product invariant and reported step series; its independent arb-volume agreement is reported. Retail and arb deltas are edge deltas, with volume deltas reported separately." ], "seeds": { "speed": [ 90000000, 90000511 ], "gate_A_and_C": [ 310000, 310049 ], "gate_B": [ 7672000, 7672511 ], "training_used": [], "training_reserved_start": 1305000000, "monitor_used": [], "monitor_reserved": [ 30000000, 30002047 ], "holdout": [ 40000000, 40008191 ], "real": [ 8440000, 8441023 ] }, "real_protocol": "Each strategy separately against 30 bps VanillaStrategy using amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8); canonical MatchRunner._build_configs draw order and BASELINE_SETTINGS/BASELINE_VARIANCE, with RNG and market seed equal to each listed seed.", "paired_details": { "n": 1024, "mean_diff": 0.5352668135514623, "se": 0.025500671922402327, "worst5": [ { "seed": 8440282, "diff": -3.05485399926863 }, { "seed": 8440021, "diff": -2.1206684421574664 }, { "seed": 8440749, "diff": -2.086777782255126 }, { "seed": 8440650, "diff": -1.9355062113725126 }, { "seed": 8440136, "diff": -1.9303051711405033 } ], "sum": 548.1132170766974, "sumsq": 974.5934011995097, "retail_delta": -0.537834607340078, "retail_delta_se": 0.026944658064838593, "arb_delta": 1.0731014208915404, "arb_delta_se": 0.012106863214143122 }, "volume_deltas_vs_IB": { "retail_volume_y": { "n": 1024, "mean_diff": 57.673242458347005, "se": 7.654846626692685, "worst5": [ -705.2655625457264, -580.1619678929201, -557.012825655489, -515.4100296773831, -491.23747489543166 ], "sum": 59057.40027734733, "sumsq": 64789097.8222551 }, "arb_volume_y": { "n": 1024, "mean_diff": -181.13354371023982, "se": 4.813232684311115, "worst5": [ -875.3400931123797, -590.117303961073, -581.8464304175868, -578.0982287850929, -566.0663152855232 ], "sum": -185480.74875928558, "sumsq": 57865641.302462995 } }, "decomposition": "Arb edge reconstructed using the pinned engine closed-form arb formulas, previous-step spots and fees, initial k=1000000, and initial fees from each strategy. Retail edge = reported total edge - reconstructed arb edge.", "max_arb_volume_reconstruction_error": 9.821586718317121e-05, "decoded_code_sha256_verified": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c" }, "k37": { "source": "k37", "blocked": null, "search_reason": "Measured speed below 500 markets/s; brief requires skip search and retain J5.", "gates": { "A": { "sequences": 50, "callbacks_per_sequence": 2000, "max_fee_error_bps": 6.597515839201762e-05, "passed": true, "sequence_seed_start": 737000, "trade_amount_cap_fraction_of_x": 0.002, "timestamp_increments": [ 0, 0, 0, 1, 1, 2, 8, 13 ] }, "B": { "n": 512, "mean": 0.8655072079761197, "se": 0.033774160243544064, "reference": 0.876, "absolute_error": 0.010492792023880315, "passed": true }, "C": { "sequences": 50, "callbacks_per_sequence": 2000, "max_fee_error_bps": 6.597515839201762e-05, "passed": true, "sequence_seed_start": 737000, "trade_amount_cap_fraction_of_x": 0.002, "timestamp_increments": [ 0, 0, 0, 1, 1, 2, 8, 13 ], "tolerance_bps": 0.1, "same_as_gate_A": true, "reason": "Frozen code and port are unchanged J5." } }, "item_notes": [ "All reported measurements are local computations in this run, not copied performance claims. Sources identify the supplied artifacts and pinned simulator.", "Setup completed once at commit 6b6921f8d463314aa7c96234e1be25a25245f704. Required wheel SHA256 aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a verified; StarterStrategy validation passed.", "All four downloaded artifact bodies and all task-specified decoded source hashes verified. Supplied IA port and replica reused; J5 substitutions only, no strategy or market reimplementation.", "Speed measured after full-market JIT warmup, 8 workers, 512 full 10000-step markets, before search or real testing. No search or monitor run was performed under the mandatory speed fallback.", "Gate B compares J5 minus IA on prescribed seeds to the supplied +0.876 reference, not a new real-engine calibration measurement.", "Holdout over_base is identically zero because the frozen strategy is the supplied J5. It was not used to select a candidate.", "Callbacks use 50 fresh deployments, 2000 trades each, lognormal(-2,1.5) amount capped at 0.002 of reserve X, random buy/sell and timestamp increments [0,0,0,1,1,2,8,13]. Gate C shares Gate A observations because code and port are unchanged.", "An additional earlier stress test with the amount cap at 0.15 of reserve X reverted with Solidity panic 0x12 (division by zero) in sequence 737005, after five completed sequences. This is a limitation of unchanged J5 on extreme synthetic paths; it is not hidden or repaired. No such callback failures occurred in the real seed evaluation.", "Gate output serialization initially rejected numpy.bool_; all 50 logged sequence maxima were recovered and checked, and the serializer was corrected without repeating callbacks.", "Real calls used amm_sim_rs.run_batch(candidate, VanillaStrategy, configs, 8), in chunks of 32 or 64. No seed was repeated within an arm. No candidate tuning followed any real result.", "Configs reproduce MatchRunner draw order and default ranges using numpy.default_rng(seed): size [19,21], rate [.6,1], sigma [.000882,.001008]; all other defaults unchanged.", "Paired SE is sample standard deviation (ddof=1) divided by sqrt(n). worst5 contains the five most negative paired edge differences and their seeds. sumsq is the sum of squared paired differences.", "Gas counters are collected with amm_sim_rs.gas_stats(), reset for each chunk, sums aggregated and maxima taken across chunks; both submission and baseline roles retained.", "The required engine wheel exposes total edge, retail_volume_y and arb_volume_y but no retail/arb edge decomposition. Edge component deltas are null; volume deltas are measured.", "Validity means the prescribed comparison and gas gates passed on tested paths, not a claim of top-10 performance or universal safety." ], "seeds": { "speed": [ 1307999488, 1307999999 ], "callback_sequences": [ 737000, 737049 ], "gate_B": [ 7672000, 7672511 ], "holdout": [ 40000000, 40008191 ], "real": [ 8444000, 8445023 ], "training_used": [], "monitor_used": [] }, "real_protocol": "Each arm alone against 30 bps VanillaStrategy; paired by identical seed and config.", "paired_details": { "n": 1024, "mean_diff": 0.5683441640434412, "se": 0.026439530524520683, "sum": 581.9844239804838, "sumsq": 1063.0573926087795, "worst5": [ { "seed": 8444966, "diff": -2.821727886306917 }, { "seed": 8444986, "diff": -2.373365458341482 }, { "seed": 8444067, "diff": -2.289725417849013 }, { "seed": 8444048, "diff": -1.972775190291486 }, { "seed": 8444335, "diff": -1.9489624656025626 } ] }, "retail_volume_delta": { "n": 1024, "mean_diff": 70.94987787414954, "se": 7.892189996516279, "sum": 72652.67494312912, "sumsq": 70403216.75173268 }, "arb_volume_delta": { "n": 1024, "mean_diff": -169.8054696642372, "se": 5.126520192772131, "sum": -173880.8009361789, "sumsq": 57056844.419472694 }, "retail_edge_delta": null, "arb_edge_delta": null, "retail_and_arb_delta_units": "Y-denominated volume; separate edge components are not exposed by the required wheel", "decoded_code_sha256_verified": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c" }, "k38": { "source": "k38", "blocked": null, "search_reason": "replica speed 217 markets/s < 500", "gates": { "A": { "sequences": 50, "swap_callbacks": 100000, "seeds": [ 310000, 310049 ], "max_fee_diff_bps": 4.7812880391018275e-05, "fees_at_or_above_0_01_bps": 0, "threshold_bps": 0.01, "passed": true, "what": "J5 port (IA port b29cd2a0 with J5 weights, TH[name]=J5 value for 38 named constants, anchor literals = J5 ANCHOR_COUNT_CAP/LINEAR_K/QUADRATIC_K) vs J5 code (sha256 dd53db1f) EVM fees via EVMStrategyExecutor.after_swap_fast; trades from replica _execute with mean-reverting side choice, timestamps step by {0,0,0,1,1,2,8,13}" }, "B": { "seeds": [ 7672000, 7672511 ], "n": 512, "J5_minus_IA": 0.8655072079761197, "se": 0.033774160243544064, "target": 0.876, "passed": true, "markets_per_s": 264.9891070446919 }, "C": { "passed": null, "note": "not applicable: no search was run, so no new frozen Solidity exists; the delivered code is J5 code unchanged, which gate A checks against its port" } }, "item_notes": [ "All sha256 checked and matching: HA 99e3a2ec, J5 artifact fe2320b5 and J5 code dd53db1f, IA artifact df0ddfdf and IA port b29cd2a0, IB artifact afd5183e and IB code 301941829a, replica artifact e8a7a2af and replica source 1e4c44b4, wheel aedb6828; checkout 6b6921f8.", "J5 port built as the brief says: IA port inside the replica STRATEGY block, only change is the three anchor literals (674., 0.712696..., 1.295240...) read W[NW..NW+2], and the port TH is passed in the replica parameter vector; T = head off (W[0]=0) with T values, IA = IA weights with T values. No port rebuilt.", "Mode real-only: replica measured 217 J5 markets/s on this 4-CPU machine (J5 item measured 5264/s on 32 processes), below the 500/s threshold, so no search, curve, holdout or gate C.", "Result: J5 beats IB on 1024 fresh real seeds by +0.562 se 0.026 (sum 575.18, sumsq 1036.55); J5 0 OOG, 0 other failures, afterSwap peak 238232 <= 245000; IB 0 OOG, peak 236998.", "Gate A harness: the first version (unbiased random side) drove one sequence (310037) to reserves x=0.117, y=8.5e6 where J5 code reverted with Panic 0x12 (division by zero) inside afterSwap; this pool state is far outside real markets. The rerun with mean-reverting trade side passed with 100000 callbacks. Real-engine runs had 0 reverts over 11.08M afterSwap calls.", "J5 retail volume +69.5 se 7.3 and arb volume -177.3 se 4.9 (Y units per market) vs IB." ], "seeds": { "speed": [ 9000000, 9000511 ], "gate_A": [ 310000, 310049 ], "gate_B": [ 7672000, 7672511 ], "real": [ 8448000, 8449023 ], "search_train": "not used", "monitor": "not used", "holdout": "not used" }, "real_protocol": "each strategy alone vs 30 bps VanillaStrategy, amm_sim_rs.run_batch(X, Vanilla, configs, 4 workers), configs per MatchRunner._build_configs (BASELINE_SETTINGS/BASELINE_VARIANCE, numpy default_rng(seed) draw order) with seed = market seed", "paired_details": { "n": 1024, "mean_diff": 0.561701918561174, "se": 0.026097624179451804, "worst5": [ { "seed": 8448139, "diff": -2.2436435755695356 }, { "seed": 8448569, "diff": -2.200208892961882 }, { "seed": 8448149, "diff": -1.9520471982541494 }, { "seed": 8448165, "diff": -1.8412879920527985 }, { "seed": 8448709, "diff": -1.7063190826321488 } ], "sum": 575.1827646066422, "sumsq": 1036.5542511072103, "retail_volume_y_delta": 69.54144303156001, "retail_volume_y_delta_se": 7.345535852290824, "arb_volume_y_delta": -177.30038178242316, "arb_volume_y_delta_se": 4.937945442816229, "retail_edge_delta": null, "arb_edge_delta": null }, "decomposition_note": "retail/arb EDGE deltas not computed (needs per-step fair prices); deltas of retail_volume_y and arb_volume_y from run_batch results given instead", "decoded_code_sha256_verified": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c" }, "k39": { "source": "k39", "blocked": null, "search_reason": "Measured replica speed below 500 markets/s, so skip search as required. Frozen J5 retained without tuning.", "gates": { "A": { "passed": true, "sequences": 50, "callbacks_per_sequence": 2000, "seeds": [ 310000, 310049 ], "max_fee_diff_bps": 4.3248630132350883e-05, "init_max_fee_diff_bps": 0.0, "above_0_01_bps": 0, "threshold_bps": 0.01, "seconds": 155.85448609106243, "comparison": "J5 supplied port parameterized with J5 weights and 41 constants vs supplied J5 Solidity; frozen candidate is byte-identical J5.", "callbacks": "50 sequences x 2000 afterSwap callbacks, fresh deployment per sequence", "generator": { "seed_range": [ 310000, 310049 ], "timestamp_increments": [ 0, 0, 0, 1, 1, 2, 8, 13 ], "trade_x": "min(lognormal(-4,0.8),0.02*reserveX)", "side": "independent fair Bernoulli", "initial_reserves": [ 100, 10000 ], "reserves": "constant product, current port fee, net input only; identical callback values sent to EVM and port" } }, "B": { "n": 512, "mean_diff": 0.8655072079761197, "se": 0.033774160243544064, "target": 0.876, "tolerance": 0.15, "passed": true, "seeds": [ 7672000, 7672511 ] }, "C": { "passed": true, "sequences": 50, "callbacks_per_sequence": 2000, "seeds": [ 310000, 310049 ], "max_fee_diff_bps": 4.3248630132350883e-05, "init_max_fee_diff_bps": 0.0, "above_0_01_bps": 0, "threshold_bps": 0.1, "seconds": 155.85448609106243, "comparison": "Frozen Solidity vs frozen port; unchanged J5. Same differential check also establishes A.", "callbacks": "50 sequences x 2000 afterSwap callbacks, fresh deployment per sequence", "generator": { "seed_range": [ 310000, 310049 ], "timestamp_increments": [ 0, 0, 0, 1, 1, 2, 8, 13 ], "trade_x": "min(lognormal(-4,0.8),0.02*reserveX)", "side": "independent fair Bernoulli", "initial_reserves": [ 100, 10000 ], "reserves": "constant product, current port fee, net input only; identical callback values sent to EVM and port" } } }, "item_notes": [ "No training gain is claimed: the mandated speed fallback was taken. Candidate Solidity and learned parameters are unchanged J5.", "All four downloaded JSON hashes and all four supplied decoded-source hashes verified. Supplied IA port and replica used; only parameter transport and anchor literal replacement adapted.", "An initial extra stress generator using lognormal(-2,1.5) trades capped at 15% of reserves reached a Solidity division-by-zero revert after 35 completed sequences. This is disclosed separately from the smaller-trade completed parity gate and from real-engine validity. No source change was made to mask this stress failure.", "The full 50x2000 smaller-trade parity pass initially failed only while serializing a numpy bool; it was repeated successfully against the unchanged frozen code.", "Gate A and C use the same completed differential run because the starting and frozen policies are byte-identical. Both thresholds checked explicitly.", "No real seeds used to select or modify the frozen candidate. No top-10 claim or leaderboard submission made." ], "seeds": { "speed": [ 1313999000, 1313999511 ], "compile_warmup": [ 1313999900, 1313999900 ], "gate_B": [ 7672000, 7672511 ], "holdout": [ 40000000, 40008191 ], "real": [ 8452000, 8453023 ], "gate_A_C_callback_sequences": [ 310000, 310049 ], "training": null, "monitor": null, "reuse": "No seed repeated within a real arm. Paired arms share configurations, each in its own market. Replica timing repeats the same 512 seeds for process-count measurements only." }, "real_protocol": "Each arm alone against 30 bps VanillaStrategy; amm_sim_rs.run_batch(X,Vanilla,configs,8). Candidate is unchanged J5. Configs reproduce MatchRunner._build_configs draw order using each market seed.", "paired_details": { "n": 1024, "sum": 520.1660164012578, "sumsq": 1017.9455958993685, "mean_diff": 0.5079746253918533, "se": 0.026823511300868196, "worst5": [ [ 8452439, -3.021169233603473 ], [ 8452053, -2.738011999459843 ], [ 8452630, -2.446262734202378 ], [ 8452793, -2.0992131927804394 ], [ 8452333, -2.041123788831385 ] ], "retail_volume_y_delta": 60.05619493639036, "arb_volume_y_delta": -176.96384413394094, "pnl_delta": 0.5350006016101396 }, "retail_arb_units": "Real-engine retail/arb deltas are volume in Y. Wheel exposes no retail/arb edge split; edge splits are available only for replica holdout.", "decoded_code_sha256_verified": "dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c" }, "k40": { "source": "k40", "blocked": { "step": "SETUP: sh scratch/setup.sh, line 6, uv venv --python 3.12 .venv", "error": "scratch/bin/uv: cannot execute binary file", "exit_code": 126 }, "search_reason": null, "gates": { "A": null, "B": null, "C": null }, "item_notes": [ "Cloned the requested repository and checked out 6b6921f8d463314aa7c96234e1be25a25245f704 under test/scratch/.", "Saved the prescribed setup script and ran it once from the checkout root.", "The downloaded amm_sim_rs wheel passed the prescribed SHA-256 check: aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a.", "Setup stopped when executing the prescribed downloaded uv binary. No environment installation, strategy validation, replica measurement, gates, search, holdout, or real-engine evaluation completed.", "Strategy and replica artifacts were not downloaded or verified. No candidate is submitted. Null fields indicate unmeasured or unavailable results.", "The brief requires returning blocked={step,error} on setup failure and ending on machine runtime failure without asking the requester for input." ], "seeds": { "used": [] }, "real_protocol": null, "paired_details": null } } } ```