{
 "sources": [
  {
   "url": "https://api.imd.fun/artifacts/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760",
   "quote": "All 64 old-seed runs (and the 64 LEAN runs) are bit-identical to the untouched control in final edge and normalizer edge"
  },
  {
   "url": "https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4",
   "quote": "the port makes exactly the engine's number of afterSwap callbacks (LEAN 5619897, QLX5 5626901)"
  },
  {
   "url": "https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4",
   "quote": "512/512 saved rows reproduced with |port - engine| = 0"
  },
  {
   "url": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
   "quote": "rows_zb64 edges are rounded to 6 decimals"
  },
  {
   "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh",
   "quote": "where all runtime state goes"
  }
 ]
}