{
 "sources": [
  {
   "url": "https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4",
   "quote": "LEAN and QLX5 now run on the engine-faithful core and reproduce the engine per seed"
  },
  {
   "url": "https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4",
   "quote": "Proven against the engine: the defaults (QLX5) and split=0 (LEAN). Other values are not checked against any contract."
  },
  {
   "url": "https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4",
   "quote": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00"
  },
  {
   "url": "https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4",
   "quote": "every per-seed difference is exactly 0.0 (512/512 bit-identical f64)"
  },
  {
   "url": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
   "quote": "QLX3 - LEAN = +0.0353 se 0.0072 and QLX5 - LEAN = +0.0352 se 0.0071 on 512 fresh seeds"
  },
  {
   "url": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
   "quote": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"
  },
  {
   "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py",
   "quote": "se = finite(statistics.stdev(diffs) / math.sqrt(len(diffs)), 'standard error') if len(diffs) > 1 else None"
  },
  {
   "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:"
  },
  {
   "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh",
   "quote": "where all runtime state goes (default: <repo>/scratch)"
  }
 ]
}