{
  "report_version": "ocme-source-reference-revision-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261103-r05-connected-topological-space-foundations",
  "revision_id": "ocme-reference-revision-20261017",
  "checked_at": "2026-10-17",
  "outcome": "passed",
  "status_scope": "exact_owner_adopted_candidate_derivation_not_human_review_or_general_formal_proof",
  "questions_sha256": "3c891f48b55c54862066186c1c6685e645a1f09629e9f852bad8274c5a07215c",
  "batch_sha256": "3c891f48b55c54862066186c1c6685e645a1f09629e9f852bad8274c5a07215c",
  "manifest_sha256": "3abf632a4797f55fa94ec50af3d07b0a6d1ce761725fc5136b09f8e522f8af1b",
  "byte_length": 212323,
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod34-connected-separation-audit": 25,
      "qf-mod34-connected-clopen-witness": 25,
      "qf-mod34-connected-exhaustive": 25,
      "qf-mod34-connected-empty-singleton-boundary": 25
    },
    "unique_ids": 100,
    "unique_seeds": 100,
    "unique_stems": 100,
    "unique_semantic_templates": 100,
    "changed_rows": 25,
    "byte_identical_unaffected_rows": 75
  },
  "checks": {
    "exact_original_input": true,
    "exact_independently_calculated_candidate_hash": true,
    "minimal_authorized_policy": true,
    "revised_contract_recomputation": true,
    "original_parameters_ids_seeds_templates_and_metadata_unchanged": true,
    "original_records_and_producer_retained": true
  },
  "independent_second_calculation": {
    "status": "passed_for_exact_selected_candidate_hash",
    "rows_in_two_batches": 200,
    "methods": [
      "all_subset_interior_and_specialization_components",
      "vertex_involutions_and_incidence_degrees",
      "actual_space_and_independent_reference_role_audit"
    ],
    "evidence_digests": {
      "preparation_manifest_sha256": "c2b38ead2f9b0666d264162028ae7c59ec9b41d3d829ad9d826b19190e58a6de",
      "summary_sha256": "5516c9a320eac29537111dc171f7566de8bcfd2b27e6f588a6262e82955f609e",
      "row_results_sha256": "4c3f5a081504a655e9807c4179c0a03f6695fdc8be4d184f7e3f080f5f206a2d"
    },
    "not_a_general_theorem_or_Lean_proof": true
  },
  "errors": []
}