{
  "report_version": "ocme-source-parameter-revision-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261030-r02-real-hilbert-space-foundations",
  "revision_id": "ocme-parameter-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": "4e3813f5a6d26ef66584109baa548d64ea1c9ec1d0158cd3f4cfa19fdb5990e1",
  "batch_sha256": "4e3813f5a6d26ef66584109baa548d64ea1c9ec1d0158cd3f4cfa19fdb5990e1",
  "manifest_sha256": "321417de8fd654b35042d249d8b1ae064d0b371b87304805edd175400893dddc",
  "byte_length": 196958,
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod30-hilbert-named-certificate": 25,
      "qf-mod30-hilbert-component-checklist": 25,
      "qf-mod30-hilbert-distance": 25,
      "qf-mod30-hilbert-pythagorean": 25
    },
    "unique_ids": 100,
    "unique_seeds": 100,
    "unique_stems": 100,
    "unique_semantic_templates": 100,
    "changed_rows": 48,
    "byte_identical_unaffected_rows": 52
  },
  "checks": {
    "exact_original_input": true,
    "exact_independently_calculated_candidate_hash": true,
    "minimal_authorized_parameter_policy": true,
    "source_contract_recomputation": true,
    "original_ids_seeds_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": [
      "exact_rational_LDL_completed_squares_and_polarization",
      "strict_floor_tail_cutoff_and_rational_probability_bounds"
    ],
    "evidence_digests": {
      "summary_sha256": "1c9afd8073c5720b6bb0366125692ae0b7eb3761f71a42cb04cf1070dc01e5d2",
      "row_results_sha256": "991c328b84b36cad869cacaa50b5c0a9bb58831ab8c322b34c4454746c6d378b",
      "factory_replay_sha256": "e74d5b23f1e807a09a312edf4bb16cf3dd80d496f96f1f5321b827eae4c12fd1"
    },
    "not_a_general_theorem_or_Lean_proof": true
  },
  "errors": []
}