{
  "sources": [
    {
      "url": "https://api.imd.fun/artifacts/6c818dc70c445e849f1d26e6b5ce3c369250b83f42b0b35d3c804fa41471e241",
      "quote": "Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved; LEANBASE, QLITE and tracked-mantissa loop from the credited IdentityMD artifacts in sources.json."
    },
    {
      "url": "https://api.imd.fun/artifacts/8b18deed94ffc0ce7268140f652b5a1d2cf1a55e98a7e18575d1c51ce83cb098",
      "quote": "base64(zlib(json {name: text})): mk.py (counting, tolerance, shifted-constant variants), mkx.py (tracked), mkd.py (decoys), mku.py (tracked, used), final.py (counts from the ledger), emu.py and emu2.py (emulation). They read dl/a5718/code_zb64.bin and dl/lean/code_zb64.bin, the decoded code_zb64 of the two artifacts."
    },
    {
      "url": "https://api.imd.fun/artifacts/5718a00bf95a80e2c2f0073071fa9b94d59be643e3e577793b9fd3e9cd2cc354",
      "quote": "base64(zlib(utf-8 JSON path:text)); files added beside the lookup-u1 bundle (gates.py, qpl.py, the two base .sol files) and LEAN's Lean.sol; README.md says how to run them"
    },
    {
      "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/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/README.md",
      "quote": "<!-- Credit: Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved, solved-policy research. -->"
    }
  ]
}