{
  "report_version": "ocme-source-parameter-revision-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261030-r07-convergence-in-probability-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": "d7c47d3e90c56e1c29fd84b1df706b21e2a32f6cb096069ad21f4d2c85515aa8",
  "batch_sha256": "d7c47d3e90c56e1c29fd84b1df706b21e2a32f6cb096069ad21f4d2c85515aa8",
  "manifest_sha256": "a13cfc3359a661db292f7290281086096f07f9aeababebd7e94a007c9e735c9b",
  "byte_length": 186940,
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod30-convprob-deviation-probability": 25,
      "qf-mod30-convprob-epsilon-witness": 25,
      "qf-mod30-convprob-finite-prefix-boundary": 25,
      "qf-mod30-convprob-eventual-equality": 25
    },
    "unique_ids": 100,
    "unique_seeds": 100,
    "unique_stems": 100,
    "unique_semantic_templates": 100,
    "changed_rows": 4,
    "byte_identical_unaffected_rows": 96
  },
  "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": []
}