{
  "_coverage": {
    "demonstrating_hiding": 2,
    "manifests_present": 22,
    "measurable": 3,
    "not_measurable": 19,
    "note": "This harness sweeps EVERY committed manifest and emits a row for every one. A receipt that cannot yield a fraction is recorded with `measurable: false` and a stated reason -- never dropped. So `receipts_examined` is the whole corpus, not a selection, and `not_measurable` is a coverage figure rather than a failure count: those guests expose no opened/committed gate pair to divide.",
    "receipts_examined": 22
  },
  "_note": "Regenerate with `python3 benchmarks/hiding_fractions.py`. Every FRACTION and its operands are decoded from the committed receipt blob's own risc0 journal, and `verified_locally` / `dev_mode` are derived from the blob by re-running the committed receipt_verify over it. Fields carried over from the manifest are named as such (`verified_locally_manifest`, `backend`) and are NOT blob-derived. `hiding` is true when the proof opened a STRICT SUBSET of whatever the root commits to; `root_scope` says separately what that root covered (full_design / cone_only / miter / undetermined) and is the qualifier that makes two fractions comparable or not. A fraction over a `miter` is NOT comparable to one over a `full_design`: a self-composition miter is about 2x the circuit it was built from.",
  "best_hiding": {
    "backend": "local arm64 r0vm; guest source built with the recorded image id",
    "committed_gates": 20531,
    "dev_mode": false,
    "dev_mode_source": "manifest",
    "fraction": 0.0013150845063562419,
    "guest": "ctproject",
    "hiding": true,
    "measurable": true,
    "opened_gates": 27,
    "percent": 0.1315,
    "receipt": "aes_full_design_ct.manifest",
    "root_scope": "full_design",
    "verified_locally": true,
    "verified_locally_manifest": true,
    "verified_locally_source": "blob re-verification by the committed receipt_verify"
  },
  "machine": {
    "machine": "arm64",
    "platform": "macOS-26.6-arm64-arm-64bit",
    "python": "3.11.14"
  },
  "n_demonstrating_hiding": 2,
  "n_receipts_examined": 22,
  "receipts": [
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "aes_ct_local_docker.manifest"
    },
    {
      "backend": "local arm64 r0vm; guest source built with the recorded image id",
      "committed_gates": 20531,
      "dev_mode": false,
      "dev_mode_source": "manifest",
      "fraction": 0.0013150845063562419,
      "guest": "ctproject",
      "hiding": true,
      "measurable": true,
      "opened_gates": 27,
      "percent": 0.1315,
      "receipt": "aes_full_design_ct.manifest",
      "root_scope": "full_design",
      "verified_locally": true,
      "verified_locally_manifest": true,
      "verified_locally_source": "blob re-verification by the committed receipt_verify"
    },
    {
      "guest": "ctequiv_release",
      "measurable": false,
      "reason": "guest 'ctequiv_release' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "alu_gold_buyer_release.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "corelib_barrett_ct_real.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "corelib_ct_cmp_real.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "corelib_ct_modmul_real.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "corelib_ct_mul_real.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "corelib_modexp_ct_real.manifest"
    },
    {
      "guest": "ctequiv_bind",
      "measurable": false,
      "reason": "guest 'ctequiv_bind' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "cqor_alu_gold_equiv_bound.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "cqor_alu_gold_equiv_docker.manifest"
    },
    {
      "guest": "ctagg",
      "measurable": false,
      "reason": "guest 'ctagg' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "ctagg_pcpi_div_real.manifest"
    },
    {
      "guest": "ctagg",
      "measurable": false,
      "reason": "guest 'ctagg' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "ctagg_x25519_fieldmul_real.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "ctcmp_docker_repro_real.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "divider_ct_buyer_docker.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "divider_ct_real.manifest"
    },
    {
      "guest": "ctexploit",
      "measurable": false,
      "reason": "guest 'ctexploit' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "exploit_sudo_set_cmnd_fuzzed_real.manifest"
    },
    {
      "guest": "ctexploit",
      "measurable": false,
      "reason": "guest 'ctexploit' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "exploit_sudo_set_cmnd_real.manifest"
    },
    {
      "backend": "modal (x86, cross-arch mint)",
      "committed_gates": 2282,
      "dev_mode": false,
      "dev_mode_source": "blob receipt_kind",
      "fraction": 0.03155127081507449,
      "guest": "ctlrat_merkle",
      "hiding": true,
      "measurable": true,
      "opened_gates": 72,
      "percent": 3.1551,
      "receipt": "merkle_barrett_ct_real.manifest",
      "root_scope": "miter",
      "verified_locally": false,
      "verified_locally_manifest": false,
      "verified_locally_source": "blob re-verification by the committed receipt_verify"
    },
    {
      "backend": "modal (x86, cross-arch mint)",
      "committed_gates": 496,
      "dev_mode": false,
      "dev_mode_source": "blob receipt_kind",
      "fraction": 1.0,
      "guest": "ctlrat_merkle",
      "hiding": false,
      "measurable": true,
      "opened_gates": 496,
      "percent": 100.0,
      "receipt": "merkle_pcpi_div_real.manifest",
      "root_scope": "undetermined",
      "verified_locally": false,
      "verified_locally_manifest": false,
      "verified_locally_source": "blob re-verification by the committed receipt_verify"
    },
    {
      "guest": "ctequiv",
      "measurable": false,
      "reason": "guest 'ctequiv' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "seq_equiv_clean_real.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "tvla_uniformity_real.manifest"
    },
    {
      "guest": "ctdrat",
      "measurable": false,
      "reason": "guest 'ctdrat' exposes no opened/committed gate counts in FRACTION_FIELDS; not a hiding-capable layout, or a layout nobody has transcribed yet",
      "receipt": "x25519_fieldmul_real.manifest"
    }
  ]
}