{
 "sources": [
  {
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/real.py",
   "quote": "if cand < self.s2h: self.s2h = cand; self.synced = True"
  },
  {
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/real.py",
   "quote": "tag = '0c' if phs == 0 else (str(phs) + ('s' if self.synced else 'c'))"
  },
  {
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/solved/real.py",
   "quote": "if cand > self.s2h: self.s2h = cand; self.synced = True"
  },
  {
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/tell/fetch.sh",
   "quote": "# Fetch ../solved and this folder into ONE directory and check every file's sha256."
  },
  {
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/solved/run.py",
   "quote": "Score a policy on a range of replica seeds, showing it only what afterSwap shows a contract."
  },
  {
   "url": "https://api.imd.fun/artifacts/efb8e653f8fd061cecf3e92b186470c9c96c5188523364b60ed101e9672869aa",
   "quote": "pol_mid.json and qm_k1e-5.json are immutable fetched data; excluded from the module map; validated by pinned SHA256SUMS.solved."
  },
  {
   "url": "https://api.imd.fun/artifacts/a79a3606add967bb8f8ec2af8ef3d61bafb597419c488133597c8af5b9d34505",
   "quote": "the entry keeps its compressed tables, so the reference is LEANBASE over those, not over qm_k1e-5.json"
  },
  {
   "url": "https://api.imd.fun/artifacts/fd38823c16c850438759b77387cecd713241ff3f0b6d5280ef161c6717375ed8",
   "quote": "Frozen QPL1 u1 replaces only min-lookup tables/decoder and lookup call sites. No refit."
  },
  {
   "url": "https://api.imd.fun/artifacts/4a41a90c67cf9add7e0c4f382e60c411bbf8ed340874aead14be76f4d09951f7",
   "quote": "FULL(1e-5) was selected and gained 0.1113 over the compressed LEAN lookup on the report seeds."
  },
  {
   "url": "https://api.imd.fun/artifacts/4a41a90c67cf9add7e0c4f382e60c411bbf8ed340874aead14be76f4d09951f7",
   "quote": "LEAN = TellPolicy(blob, 4, .0001)"
  }
 ]
}