{
  "sources": [
    {
      "url": "https://api.imd.fun/artifacts/efb8e653f8fd061cecf3e92b186470c9c96c5188523364b60ed101e9672869aa",
      "quote": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved; original replica, Gaussian filter, posterior policy and qm tables. Lean tell from the credited lb-4 artifact."
    },
    {
      "url": "https://api.imd.fun/artifacts/f5cea5b26056f47110e51ce015e5bb62951669a17aad600b2af2533f21886d8e",
      "quote": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: replica, Gaussian filter, posterior policy, TellPolicy and qm tables (research at 66604b3426d8e97a73e2c39940b9b4dece51cc73). LEANBASE (leanbase.py, A/efb8e653...), qlite.py (A/365a3649...), qbase.py (A/88712dac...) and stalerival.py from IdentityMD network artifacts."
    },
    {
      "url": "https://api.imd.fun/artifacts/8b18deed94ffc0ce7268140f652b5a1d2cf1a55e98a7e18575d1c51ce83cb098",
      "quote": "Same test as qHit with D_m = D0 + m*ulp(D0), D0 the denominator computed with a2 = sqrt(0.997e6): accept iff for some m in {m0, m0+1, m0-1 [, m0+2, m0-2]} and n = round_half_even(paid*D_m/grid): trunc(fl(fl(n*grid/D_m)*1e18)) == paid wad; on accept m0 := m."
    },
    {
      "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/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/arbitrageur.rs",
      "quote": "        let new_x = (k / (gamma * fair_price)).sqrt();"
    },
    {
      "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/solved/replica2.py",
      "quote": "K = 100.0 * 10000.0"
    },
    {
      "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/solved/SHA256SUMS",
      "quote": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd  qm_k1e-5.json"
    },
    {
      "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/tell/SHA256SUMS",
      "quote": "6e62a0e070d9778537e746438f03ea7a4b44cb1d9652ae13702b801997db5f6d  tellpol.py"
    },
    {
      "url": "https://api.imd.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e",
      "quote": "Taylor (gtmcknight): replica, Gaussian filter, qm tables (github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved); seats qt1, TC-A #770, o1-a #541, o1-b #1497, tca-path, buy-grid."
    },
    {
      "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py",
      "quote": "            if summary['mean_diff'] + 3 * summary['se'] < 0:\n                reason = 'worse'\n                break"
    }
  ]
}