{
 "sources": [
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs",
   "quote": "let k = self.reserve_x * self.reserve_y;"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs",
   "quote": "let new_rx = k / new_ry;"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs",
   "quote": "let net_y = amount_y - fee_amount;"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs",
   "quote": "// Update reserves - fees go to separate bucket, not into liquidity"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/router.rs",
   "quote": "let a2 = (x2 * gamma2 * y2).sqrt();"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/router.rs",
   "quote": "let numerator = r * (y2 + gamma2 * total_y) - y1;"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/router.rs",
   "quote": "const MIN_AMOUNT: f64 = 0.0001;"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/arbitrageur.rs",
   "quote": "let new_x = (k / (gamma * fair_price)).sqrt();"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/simulation/engine.rs",
   "quote": "let mut amms = vec![amm_submission, amm_baseline];"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/types/wad.rs",
   "quote": "Wad((value * WAD as f64) as i128)"
  },
  {
   "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/evm/strategy.rs",
   "quote": "const GAS_LIMIT_TRADE: u64 = 250_000;"
  },
  {
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
   "quote": "K = 100.0 * 10000.0"
  },
  {
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
   "quote": "a1 = sqrt(x1 * ga * y1); a2 = sqrt(x2 * g2 * y2); r = a1 / a2"
  },
  {
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
   "quote": "nry = y2 + u2 * g2; nrx = K / nry; xo = x2 - nrx"
  },
  {
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
   "quote": "RNG streams differ from the Rust engine, so absolute scores move by the seed set;"
  },
  {
   "url": "https://api.imd.fun/artifacts/5718a00bf95a80e2c2f0073071fa9b94d59be643e3e577793b9fd3e9cd2cc354",
   "quote": "\"rule_counts\":{\"hit\":279520,\"arb\":191836,\"miss\":77104,\"gated_off\":1235}"
  },
  {
   "url": "https://api.imd.fun/artifacts/5718a00bf95a80e2c2f0073071fa9b94d59be643e3e577793b9fd3e9cd2cc354",
   "quote": "run the cap-24 router-quotient split test (qlite_int.capped_int: one candidate, preimage pair (0,0), z = r, k = n)"
  },
  {
   "url": "https://api.imd.fun/artifacts/a79a3606add967bb8f8ec2af8ef3d61bafb597419c488133597c8af5b9d34505",
   "quote": "\"status\": \"T, F and G pass. No submission.\""
  },
  {
   "url": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42",
   "quote": "python3 -B driver.py --strategy [LABEL=]S.sol [--strategy ...] --seeds FIRST LAST --out f.json [--block 32] [--budget 400] [--lease FIRST LAST] [--kit DIR]"
  },
  {
   "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/README.md",
   "quote": "bash setup_fast.sh --platform linux-x86_64 --cache \"$PWD/scratch/cache\" --scratch \"$PWD/scratch\""
  }
 ]
}