{
  "branching_persistence": {
    "classification_checks": 800707,
    "maximum_length": 25,
    "operations": 250000,
    "retained_versions": 5000,
    "seed": 20260930
  },
  "exhaustive": {
    "classification_checks": 310,
    "maximum_length": 64
  },
  "scope": {
    "claim": "finite corroboration, not an unrestricted proof",
    "classifiers": [
      "has3",
      "has7p",
      "has7s",
      "has8",
      "has3p8"
    ]
  },
  "source_audit": {
    "cadeque_core_Deque_length_occurrences": 4,
    "cadeque_core_let_rec_occurrences": 0,
    "cadeque_core_mutation_tokens": 0,
    "cadeque_core_sha256": "2a7e36a50e9cec5f3cc06226922ab26e039e1fa0dc1188e879e594f320ae003e",
    "checkout_head": "503c5d3ff7f9a20bad1cd7a8f8d7abf4e635d3a0",
    "core_source_characters_with_colors": 67018,
    "deque_core_let_rec_occurrences": 0,
    "deque_core_mutation_tokens": 0,
    "deque_core_sha256": "e76266335ba922f9d871f25677f7f9b18d9f6f4188e6ac896ef8026ec427ef76",
    "maximum_structural_probe_operations": 11
  }
}