{
 "version": 1,
 "site": "networks",
 "build_date": "2026-10-04",
 "freshness_days": 7,
 "figures": {
  "lead.agent-transaction-crash-recovery.big": {
   "id": "lead.agent-transaction-crash-recovery.big",
   "value": 29,
   "display": "29/29",
   "freshness_days": 7,
   "receipt": {
    "path": "wireless-reliability/claims/txn-crash-recovery.json",
    "sha256": "ba9f78e1759cdb36808acbd5c2c804dd9cd7cce782ac8f6483b84cf6458a1121",
    "bytes": 1572,
    "visibility": "public"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "Chosen crash points, each recovered cleanly (agent-transaction-crash-recovery)",
   "measured_by": "The lab's current claim for this result. The figure is printed in the served claim file."
  },
  "lead.pairwise-safe-not-set-safe.big": {
   "id": "lead.pairwise-safe-not-set-safe.big",
   "value": 3,
   "display": "3",
   "freshness_days": 7,
   "receipt": {
    "path": "wireless-reliability/claims/composition-certificates.json",
    "sha256": "542b3c7c77eeaeef451c1596eb8866d2b6a0d38f5e49d7698e29c81f5baa0212",
    "bytes": 1489,
    "visibility": "public"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "Smallest tool sets that leak a stored secret (pairwise-safe-not-set-safe)",
   "measured_by": "The lab's current claim for this result. The figure is printed in the served claim file."
  },
  "hero.read.0": {
   "id": "hero.read.0",
   "value": 2379,
   "display": "2,379",
   "freshness_days": 7,
   "receipt": {
    "path": "wireless-reliability/claims/composition-certificates.json",
    "sha256": "542b3c7c77eeaeef451c1596eb8866d2b6a0d38f5e49d7698e29c81f5baa0212",
    "bytes": 1489,
    "visibility": "public"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "Sessions run in our agent tool-set leak test",
   "measured_by": "The lab's current claim for the tool-combination result: the number of executed sessions."
  },
  "hero.read.1": {
   "id": "hero.read.1",
   "value": 11200,
   "display": "11,200",
   "freshness_days": 7,
   "receipt": {
    "path": "networks/v3/proofs/unseeded-hunt/unseeded_hunt_ci.json",
    "sha256": "b47e41ee8c6e7daa5e1f98aea85b870c0e006c1f8d44279f08cf6ad40adcb537",
    "bytes": 2929,
    "visibility": "public",
    "pointer": "/total_evaluations",
    "generated_utc": "2026-10-04"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "Budgeted Wi-Fi attack search, no escapes found",
   "measured_by": "The total number of evaluations in the served search record (eight rounds of fourteen hundred), with escapes recorded as zero."
  },
  "hero.read.2": {
   "id": "hero.read.2",
   "value": 64,
   "display": "64 KiB",
   "freshness_days": 7,
   "receipt": {
    "path": "networks/v3/measured/ap_bound.json",
    "sha256": "11050fc57b921307415e42c53e4688767d2c10a0a957c841c0ea2c08a2da286d",
    "bytes": 987,
    "visibility": "public",
    "pointer": "/ceiling_kib",
    "generated_utc": "2026-10-04"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "Memory ceiling for a modelled Wi-Fi access point",
   "measured_by": "The canonical access-point budget read from the served Lean source, with the compile record for the theorems that bound it."
  },
  "theorem.3.forecloses": {
   "id": "theorem.3.forecloses",
   "value": 84,
   "display": "84%",
   "freshness_days": 7,
   "receipt": {
    "path": "networks/v3/proofs/harq-rounds/rounds_converse_v54.json",
    "sha256": "a2428baa4ebcc47fec016e51fab4d21016085ec60fb7b109738b66232d86029e",
    "bytes": 4555,
    "visibility": "public"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "Retransmissions against a computed floor",
   "measured_by": ""
  },
  "artifacts.count": {
   "id": "artifacts.count",
   "value": 21,
   "display": "21",
   "freshness_days": 7,
   "receipt": {
    "path": "networks/v3/measured/open_artifacts.json",
    "sha256": "c6aed8f50062ecd3977fc148bf1474ed7e966e1c0a1f3af24fa3abf49bc937e2",
    "bytes": 2732,
    "visibility": "public",
    "pointer": "/artifacts_linked",
    "generated_utc": "2026-10-04"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "open repositories, datasets and live demos this page links",
   "measured_by": "Every artifact URL on this page was requested at build time; the file records each one with the status it returned."
  }
 }
}