{
 "version": "0.1.0",
 "facts": 104,
 "named": 9,
 "exactIntegers": 52,
 "pinned": 103,
 "tasksSampled": 2000,
 "attackable": 1395,
 "mix": {
  "round-to-digits/narrow": 283,
  "absolute-tolerance/razor": 226,
  "absolute-tolerance/narrow": 239,
  "relative-tolerance/wide": 72,
  "relative-tolerance/razor": 185,
  "certificate/impossible": 197,
  "relative-tolerance/narrow": 142,
  "relative-tolerance/impossible": 78,
  "round-to-digits/wide": 92,
  "round-to-digits/impossible": 193,
  "absolute-tolerance/wide": 114,
  "absolute-tolerance/impossible": 137,
  "round-to-digits/razor": 42
 },
 "rungMix": {
  "narrow": 664,
  "razor": 453,
  "wide": 278,
  "impossible": 605
 },
 "dial": [
  {
   "tau": 10000000.5,
   "bandWidths": 20000000,
   "band": 0.000006838973831690964,
   "attack": 1.8344322069394488,
   "reachable": true
  },
  {
   "tau": 10000.5,
   "bandWidths": 20000,
   "band": 6.838973831690964e-9,
   "attack": 1.8344304989057343,
   "reachable": true
  },
  {
   "tau": 10,
   "bandWidths": 19,
   "band": 6.497025140106416e-12,
   "attack": 1.834430497197615,
   "reachable": true
  },
  {
   "tau": 1,
   "bandWidths": 1,
   "band": 3.419486915845482e-13,
   "attack": 1.8344304971960763,
   "reachable": true
  },
  {
   "tau": 0.6,
   "bandWidths": 0.2,
   "band": 6.838973831690964e-14,
   "attack": 1.834430497196008,
   "reachable": true
  },
  {
   "tau": 0.51,
   "bandWidths": 0.02,
   "band": 6.8389738316909644e-15,
   "attack": 1.8344304971959926,
   "reachable": true
  },
  {
   "tau": 0.5001,
   "bandWidths": 0.0002,
   "band": 6.838973831690964e-17,
   "attack": null,
   "reachable": false
  },
  {
   "tau": 0.5,
   "bandWidths": 0,
   "band": 0,
   "attack": null,
   "reachable": false
  }
 ],
 "rungTargets": {
  "impossible": 0.25,
  "razor": 0.6,
  "narrow": 0.85,
  "wide": 1
 },
 "baseline": [
  {
   "policy": "never",
   "n": 400,
   "mean": -0.355,
   "solved": 0.3225,
   "falseClaims": 271,
   "byRung": {
    "narrow": [
     0,
     123
    ],
    "razor": [
     0,
     94
    ],
    "wide": [
     0,
     54
    ],
    "impossible": [
     129,
     129
    ]
   }
  },
  {
   "policy": "always",
   "n": 400,
   "mean": 0.5875,
   "solved": 0.5875,
   "falseClaims": 0,
   "byRung": {
    "narrow": [
     107,
     123
    ],
    "razor": [
     74,
     94
    ],
    "wide": [
     54,
     54
    ],
    "impossible": [
     0,
     129
    ]
   }
  },
  {
   "policy": "naive",
   "n": 400,
   "mean": 0.2825,
   "solved": 0.505,
   "falseClaims": 89,
   "byRung": {
    "narrow": [
     91,
     123
    ],
    "razor": [
     62,
     94
    ],
    "wide": [
     49,
     54
    ],
    "impossible": [
     0,
     129
    ]
   }
  },
  {
   "policy": "careful",
   "n": 400,
   "mean": 0.9975,
   "solved": 0.9975,
   "falseClaims": 0,
   "byRung": {
    "narrow": [
     123,
     123
    ],
    "razor": [
     94,
     94
    ],
    "wide": [
     54,
     54
    ],
    "impossible": [
     128,
     129
    ]
   }
  }
 ],
 "dialFact": {
  "id": "erdos1038.upper",
  "width": 3.419486915845482e-13
 },
 "alwaysAttackSolves": 1175,
 "neverAttackSolves": 645,
 "forgeries": {
  "planted": 1366,
  "leaked": 0
 },
 "medianBand": 1.0114134922717175e-13,
 "meta": {
  "date": "2026-09-04",
  "git": "73d548e"
 }
}