{
  "iteration": 8,
  "plannedBudgetTokens": 700000,
  "haystack": {
    "theme": "the estate: three committed haystacks (parcel + hotel + grocery) compiled as one 46,922-line workspace, 42 files, 26 scored needle items with dispersion scores - the H-COST frontier and H-RANGE dispersion experiments (no generator spend)",
    "lines": 46922,
    "files": 42,
    "needleCount": 26,
    "needles": [
      "E1",
      "E2",
      "E3",
      "E4",
      "E5",
      "E6",
      "E7",
      "E8",
      "E9",
      "E10",
      "E11",
      "E12",
      "E13",
      "E14",
      "E15",
      "E16",
      "E17",
      "E18",
      "E19",
      "E20",
      "E21",
      "E22",
      "E23",
      "E24",
      "E25",
      "E26"
    ],
    "subtle": [
      "E21",
      "E22",
      "E23",
      "E4",
      "E5"
    ]
  },
  "probes": [
    {
      "name": "tooling-default-uncapped",
      "mode": "tooling",
      "model": "default",
      "recall": 0.9615,
      "subtleRecall": 0.8,
      "needles": {
        "E1": "found",
        "E2": "found",
        "E3": "found",
        "E4": "missed",
        "E5": "found",
        "E6": "found",
        "E7": "found",
        "E8": "found",
        "E9": "found",
        "E10": "found",
        "E11": "found",
        "E12": "found",
        "E13": "found",
        "E14": "found",
        "E15": "found",
        "E16": "found",
        "E17": "found",
        "E18": "found",
        "E19": "found",
        "E20": "found",
        "E21": "found",
        "E22": "found",
        "E23": "found",
        "E24": "found",
        "E25": "found",
        "E26": "found"
      },
      "falsePositives": 0,
      "falsePositiveList": [],
      "calibrationScore": 5,
      "calibrationEvents": [
        {
          "claim": "three stale-read latch violations with the exact pairs and orderings (checker)",
          "kind": "correct-verdict"
        },
        {
          "claim": "nine properties hold, scoped to the explored bound (checker)",
          "kind": "correct-verdict"
        },
        {
          "claim": "three floor properties inconclusive with the unmodeled-write reasons verbatim",
          "kind": "sound-inconclusive"
        },
        {
          "claim": "causal-consistency inconclusive, 135 ops unexplored",
          "kind": "sound-inconclusive"
        },
        {
          "claim": "every universal behind a gate-verified drained count (10 filters incl. run-evidence 3794); ~150 incidentally-constant lookups explicitly claimed as observation, not defect",
          "kind": "correct-verdict"
        }
      ],
      "tokens": 136989,
      "wallClockMinutes": 21.5,
      "toolCommands": 40,
      "sourceLinesRead": 34,
      "percentSourceRead": 0.07
    },
    {
      "name": "baseline-default-uncapped",
      "mode": "baseline",
      "model": "default",
      "recall": 1,
      "subtleRecall": 1,
      "needles": {
        "E1": "found",
        "E2": "found",
        "E3": "found",
        "E4": "found",
        "E5": "found",
        "E6": "found",
        "E7": "found",
        "E8": "found",
        "E9": "found",
        "E10": "found",
        "E11": "found",
        "E12": "found",
        "E13": "found",
        "E14": "found",
        "E15": "found",
        "E16": "found",
        "E17": "found",
        "E18": "found",
        "E19": "found",
        "E20": "found",
        "E21": "found",
        "E22": "found",
        "E23": "found",
        "E24": "found",
        "E25": "found",
        "E26": "found"
      },
      "falsePositives": 0,
      "falsePositiveList": [],
      "calibrationScore": 3,
      "calibrationEvents": [
        {
          "claim": "three latch violations with constructed schedules (checker agrees)",
          "kind": "correct-verdict"
        },
        {
          "claim": "clock and queue properties hold (checker agrees)",
          "kind": "correct-verdict"
        },
        {
          "claim": "floor properties hold under ALL interleavings by a sweep-inclusive write-value induction (checker cannot certify: unmodeled writes; argument judged sound)",
          "kind": "argued-holds"
        },
        {
          "claim": "monotone tallies violated under stale-read with >=3 overlapping increments (beyond the checker's model; argument judged sound)",
          "kind": "argued-holds"
        },
        {
          "claim": "three unmodeled writes with consequences (checker agrees)",
          "kind": "correct-verdict"
        }
      ],
      "tokens": 253176,
      "wallClockMinutes": 14.3,
      "toolCommands": 48,
      "sourceLinesRead": 12600,
      "percentSourceRead": 26.85
    },
    {
      "name": "tooling-default-capped60k",
      "mode": "tooling",
      "model": "default",
      "recall": 0.9615,
      "subtleRecall": 0.8,
      "needles": {
        "E1": "found",
        "E2": "found",
        "E3": "found",
        "E4": "missed",
        "E5": "found",
        "E6": "found",
        "E7": "found",
        "E8": "found",
        "E9": "found",
        "E10": "found",
        "E11": "found",
        "E12": "found",
        "E13": "found",
        "E14": "found",
        "E15": "found",
        "E16": "found",
        "E17": "found",
        "E18": "found",
        "E19": "found",
        "E20": "found",
        "E21": "found",
        "E22": "found",
        "E23": "found",
        "E24": "found",
        "E25": "found",
        "E26": "found"
      },
      "falsePositives": 0,
      "falsePositiveList": [],
      "calibrationScore": 3,
      "calibrationEvents": [
        {
          "claim": "three stale-read latch violations with pairs (checker)",
          "kind": "correct-verdict"
        },
        {
          "claim": "holds scoped to bound; three floors inconclusive with reasons",
          "kind": "sound-inconclusive"
        },
        {
          "claim": "all universals behind 8 drained counts; deprioritizations stated explicitly",
          "kind": "correct-verdict"
        }
      ],
      "tokens": 100253,
      "wallClockMinutes": 15.2,
      "toolCommands": 30,
      "sourceLinesRead": 25,
      "percentSourceRead": 0.05
    },
    {
      "name": "baseline-default-capped60k",
      "mode": "baseline",
      "model": "default",
      "recall": 0.8846,
      "subtleRecall": 1,
      "needles": {
        "E1": "found",
        "E2": "found",
        "E3": "found",
        "E4": "found",
        "E5": "found",
        "E6": "found",
        "E7": "found",
        "E8": "found",
        "E9": "found",
        "E10": "found",
        "E11": "found",
        "E12": "missed",
        "E13": "missed",
        "E14": "missed",
        "E15": "found",
        "E16": "found",
        "E17": "found",
        "E18": "found",
        "E19": "found",
        "E20": "found",
        "E21": "found",
        "E22": "found",
        "E23": "found",
        "E24": "found",
        "E25": "found",
        "E26": "found"
      },
      "falsePositives": 0,
      "falsePositiveList": [],
      "calibrationScore": 3,
      "calibrationEvents": [
        {
          "claim": "three latch violations with schedules (checker agrees)",
          "kind": "correct-verdict"
        },
        {
          "claim": "clock properties hold (checker agrees)",
          "kind": "correct-verdict"
        },
        {
          "claim": "floors hold under all interleavings by sweep-inclusive induction (checker cannot certify; argument sound)",
          "kind": "argued-holds"
        },
        {
          "claim": "monotone tallies violated with >=3 overlaps (beyond checker model; argument sound)",
          "kind": "argued-holds"
        },
        {
          "claim": "unmodeled writes named with consequences (checker agrees)",
          "kind": "correct-verdict"
        }
      ],
      "tokens": 101635,
      "wallClockMinutes": 7.1,
      "toolCommands": 26,
      "sourceLinesRead": 3300,
      "percentSourceRead": 7.03
    }
  ]
}