{"patch":{"files":["amm_sim_rs/src/amm/cfmm.rs","amm_sim_rs/src/simulation/engine.rs"],"behavior":"Test-only CSV tracing for submission-pool trades, including seed, step, execution path, explicit isBuy, TradeInfo wads, exact active fee wads, actor flag, amount and reserve f64 bit patterns. Logging context is thread-local.","build":"maturin develop --release from amm_sim_rs completed successfully.","contract_artifact_sha256":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","contract_extraction":"Extracted the Solidity fenced block from the named Markdown artifact and compiled it as Strategy."},"seeds":[9950000,9950001,9950002,9950003,9950004,9950005,9950006,9950007],"trade_counts":{"total":84954,"by_side_and_path":{"isBuy_true_execute_buy_x":{"total":42384,"arb":14871,"retail":27513},"isBuy_false_execute_sell_x":{"total":15038,"arb":15038,"retail":0},"isBuy_false_execute_buy_x_with_y":{"total":27532,"arb":0,"retail":27532}},"first_submission_trade_in_step":{"total":55262,"isBuy_true_execute_buy_x":{"total":27526,"arb":14871,"retail":12655},"isBuy_false_execute_sell_x":{"total":15038,"arb":15038,"retail":0},"isBuy_false_execute_buy_x_with_y":{"total":12698,"arb":0,"retail":12698}}},"sell_side_matrix":{"match_definition":"For each false-isBuy trade, enumerate representable f64 neighbors for each amount and pre-reserve value that convert to its relevant WAD; run both candidate sell paths in cfmm.rs operation order, with the exact logged ask-fee WAD. A path is a match if a candidate tuple reproduces all four reported TradeInfo WADs.","all_sell_side_trades":{"true_path_arb":{"arb_only":3024,"retail_only":0,"both":12014,"neither":0},"true_path_retail":{"arb_only":0,"retail_only":27496,"both":36,"neither":0}},"first_submission_trade_in_step":{"true_path_arb":{"arb_only":3024,"retail_only":0,"both":12014,"neither":0},"true_path_retail":{"arb_only":0,"retail_only":12680,"both":18,"neither":0}}},"port_matches_engine":{"matches":true,"trades_replayed":84954,"trades_matching_all_reported_wads":84954,"sell_side":{"trades":42570,"matching":42570},"buy_side":{"trades":42384,"matching":42384},"details":"Python replay used the captured f64 inputs, exact fee WAD, and source operation order; amountX, amountY, reserveX and reserveY all matched their TradeInfo WADs."},"buy_side":{"both_arb_and_router_call":"execute_buy_x","trade_count":42384,"distinguishing_tell":false,"reason":"For isBuy=true, the arbitrageur sells X and router retail sells X; both reach execute_buy_x, so this arithmetic path does not identify which actor traded."},"limitations":["These are eight requested challenge-engine simulations, not a replica score or a generalization estimate.","First-of-step means the first logged submission-pool trade for that (seed, step); steps with no submission trade contribute no first row.","WAD-consistent f64 candidates were enumerated by stepping adjacent representable doubles from a captured valid value in both directions until conversion to the target WAD ceased. The reserve WAD before a callback is the preceding submission callback post-reserve WAD, or the configured initial reserve WAD for the first callback."],"code":{"encoding":"zlib+base64 of the unified git diff for the two patched Rust files","sha256_uncompressed":"1c5ced1d59833fdfe2518bc3a0405646e3bf31ec1180da5de475b90c2b438c63","data":"eNrdWGlv20YQ/c5fMVEBg4wo6rJlmYoCB45TFKhjNHZzIA2IJbmU2fDqcmlJsP3fO7MkrcOUExdogJaIxT1mZ3Zm3jzuxg+DADqdWSiBdVkcO3kYOyLv5sKjbtcL4tgSObiPTGph4vMF9AZ8NNo/sKyjXj84cHvQ7/VG+/tap9N5VLfWbrcf1398DJ1D8xDah2a/D8fHGhQ5B08wyW2bX8e2ffr+7EJSf7acbMzKZcZzfAnmcydMgtS2L6n9CzYbJefMt+0PzJ9oHa3d7QJKexzCJJeiiHkimQzTBNdwP5Q2XLJllArQZzL2vibh7EoaJmAwrwrX8tK4uxonhzron6W1yWgu0YzHo8i2T/B3orXlleDMd6LUY9EzuEEJNOXBr+c/Oyfnby9PP17aQKIv9GK0b9Kfm6aR8RKmati2Ez7X9Z7ZMwMW5dwwJnCntbPChSCBnEvUPHO8NJF8IfWcc98mHbnkmWqEucOEayudN2tGrTl6o996t56FSnS1Uq2qVhhoCO2gDdKv4qwnLOb2HkbMzEO/arm2HqAZ/DNMttYOOEZdD/uDsUk/OBmnRSLzNRFp793nzLgJAyD9z6atvHDjMM8xH60bwWUhkjvA2YhLOP+qZ0xeGVMVZ55c2/Y1E3rr1dmZc/nu1etT5+TifavZ0RtUoOfoo0nuTT1rhn1jQmqvMbLTz7klUwd9CpOZbqDcZhc93hiQFgbKLZZbg6WbzsISbK4bzZPLxknBcy6u+Y6l9WzT2iq0Vo9G3VDmO+b7O+YpV+XizaH+xpCOYQOWQzHeXO3utOvutMh273XnGndri+7W/tjWPNuc/6IyLdL5NEhFzOQzvXVz90fSMin51p9pmOgts2WUgHBKgAVIHOcZT84zYoe8rEXDQpZAatGRObhhsQwF/KqTYrtEqMUS35FX2L2NCwnBrVIYIk99ECHx0pxeDosifU8JmLg1iyGklpKj61R++O9Ogy6y1RvO4a8ilRx0N/QBdWMmvgJlybA0+Omzz0V4zfXX3C1mJpxEacLxlWZL44sGRBbEc54kRb8pPTeKfftHY3ME7UFvgDSMA2GcRXDy5uwM50EDesj86YJ7BS5SNADzKy44YMkBwj+Hj6CrcYFsFEXUxwDDJ9oXPRVT8VIFVYyzKF1G8cCEumBsIGIAGcYcKTLObED6MqDzEsrov1Bc8Y7nRSRf4vbaUD2UL5ejTT4ljXWlYAwnao6CNNXVlFcIgVzvKHRjIKlR1pP5cB4DvJo3JhqsG9SXTlpIk5Q7pQcGErZSovJU+Vk7t74cqUwthhdT6Fk9ivT6UzIevMUMTlSOBv0yR4NhQ47Wnw/0iQtEGjsYSX09Fs7SMFeytJm18N3T+55aQiRsttT2W2YZV3MrroodzHvnTOWOYe6tvsbr/iJ+fs98LBiVCaANEhrVR30lpUwUSk6FX9/SVoZicKRCMTz4R3Ct8VnjtYIvfSB24pXW/C8AK1PJImf5CGQrV3dgtlr/3ajdL1N1MPqBqC09+F7YVh79EOCOeioao/GTgVthNWOI1U+YBQy1x5Hr4eMjBOsQpp1lA2yX/zHYLr7BswsHd4Se1u5toXbxJKYdl1kaH/1opq3y9Q3klrG49/Rfxq3/yBUSm0WkrkxdnszChDfeJZukqkvlaDzc9/aHltU7HPZGo/Gjl8pGPY23y0ZJddAZKjqi1yq1F/fSp0p4VYxroRxY8ErgcVSwGS8Elhm2PJlDJtIAQ6Oiy5l3RV+YzcV0DML94SWTXrmF5z3hYEHqxnpZ1U91XUVJvEAG9Nt0uTOlOoJjBasD50TbVlPflC7SmNOJ3RGqkqlq2MoNq2YLHMPSibHAWCicTIQenhtrG8Y27uvnOSm+TiO8OeOFBO9Ryq29lTmL8kL4NqwimQuWoc9ttYOVQIniSbMFcgEZQixx39yfIU2ont5oAgkAL/JcSB2r3ChruV9+f/oHvacmfGjBOy5ZGEEqkHlz3DWdrdWhe6auEBg4X3uw3Up6SryCq8tSFxidhFNqnXIe2XIz90/Ne/m/AJOH9st9lWbVNqgvLPWqje+VbxPUh4FQuSPzk4dQLj9KCOZNQw0QeV5F4CFC1Jod4Kjnalz8DRgV7LQ="}}