{
  "sources": [
    {
      "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/README.md",
      "quote": "<!-- Credit: Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved, solved-policy research. -->"
    },
    {
      "url": "https://api.imd.fun/artifacts/5718a00bf95a80e2c2f0073071fa9b94d59be643e3e577793b9fd3e9cd2cc354",
      "quote": "qlgate cap24+GATE: on a callback the lean tell does not read as arbitrage and with dt = timestamp - previous own callback timestamp <= 6, run the cap-24 router-quotient split test (qlite_int.capped_int: one candidate, preimage pair (0,0), z = r, k = n); hit -> rival spot := marginal-price candidate, synced, table lookup at it, 0.35 pull skipped; miss or dt >= 7 -> LEAN unchanged."
    },
    {
      "url": "https://api.imd.fun/artifacts/5718a00bf95a80e2c2f0073071fa9b94d59be643e3e577793b9fd3e9cd2cc354",
      "quote": "\"hit\":279592"
    },
    {
      "url": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42",
      "quote": "from the kit checkout after `. scratch/env.sh`: python3 -B driver.py --strategy [LABEL=]S.sol [--strategy ...] --seeds FIRST LAST --out f.json [--block 32] [--budget 400] [--lease FIRST LAST] [--kit DIR]; also --check-configs and --compile-only (no simulation). f.json is the seed ledger: rerunning resumes, in-flight seeds found at start are burnt, exit 75 = budget stop, 2 = failed block"
    },
    {
      "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/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
      "quote": "K = 100.0 * 10000.0"
    },
    {
      "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/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
      "quote": "u1 = (r * (y2 + g2 * size) - y1) / d if d != 0 else size / 2"
    },
    {
      "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/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
      "quote": "if u2 > 1e-4:"
    },
    {
      "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs",
      "quote": "Wad::from_f64(self.reserve_x),"
    },
    {
      "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/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
      "quote": "RNG streams differ from the Rust engine, so absolute scores move by the seed set;\ncompare policies paired on the same seeds."
    },
    {
      "url": "https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/types/trade_info.rs",
      "quote": "    pub amount_x: Wad,\n    /// Amount of Y traded (WAD precision)\n    pub amount_y: Wad,\n    /// Simulation step number\n    pub timestamp: u64,\n    /// Post-trade X reserves (WAD precision)\n    pub reserve_x: Wad,\n    /// Post-trade Y reserves (WAD precision)\n    pub reserve_y: Wad,"
    }
  ]
}