{
  "schema": "atlas_benchmark_manifest_slice/v1",
  "generated_utc": "2026-07-02T06:14:02Z",
  "generator": "benchmarks/build_slice_manifests.py",
  "slice": "moat-1627",
  "slice_detail": "calibration moat: a wide sweep of the exactly-verifiable regime (Clifford / low-T / low-entanglement / small statevector) across families, n, T-count and seeds; only oracle-certified rows are kept.",
  "csv_source": "benchmarks/results_scaled/scaled_results_moat.csv",
  "corpus_slice_sha256": "d44af6ee3a0689b00d9960fbb4b6bb51c1f7fdd47b71925bc5b1b02ef9f966f2",
  "corpus_hash_detail": {
    "method": "sha256 over the raw bytes of the slice CSV",
    "note": "unlike the core-800 slice (committed .qasm files, hashed in benchmark_manifest.json), this slice's circuits are generated in-memory by the reproduction command and certified row-by-row; the committed artifact IS the CSV (id, n, t_count, estimator readings, atlas_route_class, oracle_route, oracle_certified), so its bytes pin the slice."
  },
  "num_circuits": 1627,
  "num_oracle_certified": 1627,
  "n_values": {
    "min": 8,
    "max": 44,
    "distinct": [
      8,
      10,
      12,
      14,
      16,
      18,
      20,
      22,
      24,
      26,
      28,
      30,
      32,
      34,
      36,
      38,
      40,
      42,
      44
    ]
  },
  "families": [
    "cycle2",
    "grid",
    "ladder",
    "line",
    "ring",
    "star"
  ],
  "route_distribution_atlas": {
    "cpu": 1608,
    "hpc_first": 8,
    "tensor": 11
  },
  "route_distribution_oracle_certified": {
    "cpu": 1605,
    "hpc_first": 9,
    "tensor": 13
  },
  "confusion_vs_oracle": {
    "partition": "CHEAP={cpu,tensor} < HARD={hpc_first,escalate} (same partition as oracle.py / benchmark_manifest.json)",
    "certified_rows": 1627,
    "oracle_cheap": 1618,
    "oracle_hard": 9,
    "correct_cheap": 1618,
    "correct_hard": 8,
    "false_alarms": 0,
    "false_security": 1,
    "exact_route_agreement_4way": 1623
  },
  "wilson_ci_false_security": {
    "hard_verified_subset": 9,
    "false_security_count": 1,
    "false_security_rate_hard_verified": 0.1111,
    "wilson_ci95_hard_verified": [
      0.0199,
      0.435
    ],
    "ci_warning": "small-n: the hard-verified subset (exact classical ground truth exists only below the memory wall) is tiny, so the interval is wide; the genuinely quantum-hard regime is unmeasurable (BQP!=BPP)."
  },
  "oracle_source": "measured exact simulator ground truth (Stim exact-Clifford / non-truncated MPS bond / exact statevector) \u2014 NOT hand-labels; cheapest certified route wins (see benchmarks/oracle.py). Same oracle as the core-800 manifest.",
  "false_security_definition": "Atlas routes CHEAP (cpu/tensor) a circuit the oracle certifies HARD (hpc_first/escalate). Measured only where exact classical ground truth exists.",
  "train_test_split": {
    "kind": "evaluation/calibration corpus \u2014 Atlas's router is NOT fitted on it",
    "detail": "atlas_conformal globs scaled_results*.csv as its conformal calibration support; router thresholds are wall-clock-calibrated independently (threshold_calibration.md), not tuned on this corpus."
  },
  "package_versions": {
    "python": "3.14.5",
    "qiskit": "2.4.2",
    "stim": "1.16.0",
    "quimb": "1.14.0",
    "cotengra": "0.8.1"
  },
  "reproduction_command": "python3 benchmarks/build_calibration_corpus.py  # regenerates scaled_results_moat.csv ; then python3 benchmarks/build_slice_manifests.py",
  "relation_to_core": "companion slice of the 2,517-circuit corpus; the core-800 manifest (benchmark_manifest.json) is served live at /api/benchmark-manifest; the combined view is manifest_all_2517.json."
}