{
  "schema": "atlas_benchmark_manifest_slice/v1",
  "generated_utc": "2026-07-02T06:14:02Z",
  "generator": "benchmarks/build_slice_manifests.py",
  "slice": "ext-90",
  "slice_detail": "large-n envelope extension (n=31..40), only where an EXACT oracle still exists at large n: Clifford (Stim, any n) and low-entanglement (non-truncated exact MPS).",
  "csv_source": "benchmarks/results_scaled/scaled_results_ext.csv",
  "corpus_slice_sha256": "f7efb4ac8cc1c27f1aef3795a8775dbbef19cd68ef887fe97ab3e410c3968e15",
  "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": 90,
  "num_oracle_certified": 90,
  "n_values": {
    "min": 31,
    "max": 40,
    "distinct": [
      31,
      32,
      33,
      34,
      35,
      36,
      37,
      38,
      39,
      40
    ]
  },
  "families": [
    "line",
    "ring",
    "star"
  ],
  "route_distribution_atlas": {
    "cpu": 90
  },
  "route_distribution_oracle_certified": {
    "cpu": 90
  },
  "confusion_vs_oracle": {
    "partition": "CHEAP={cpu,tensor} < HARD={hpc_first,escalate} (same partition as oracle.py / benchmark_manifest.json)",
    "certified_rows": 90,
    "oracle_cheap": 90,
    "oracle_hard": 0,
    "correct_cheap": 90,
    "correct_hard": 0,
    "false_alarms": 0,
    "false_security": 0,
    "exact_route_agreement_4way": 90
  },
  "wilson_ci_false_security": {
    "hard_verified_subset": 0,
    "false_security_count": 0,
    "false_security_rate_hard_verified": 0.0,
    "wilson_ci95_hard_verified": [
      0.0,
      0.0
    ],
    "ci_warning": "this slice has ZERO hard-verified rows (the oracle certifies every circuit in it as cheap), so a false-security rate is unmeasurable WITHIN the slice by construction; the cross-slice number lives in manifest_all_2517.json (1/25)."
  },
  "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/extend_calibration.py  # regenerates scaled_results_ext.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."
}