{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20260921-proof-foundations",
  "checked_at": "2026-09-21",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "0d45e7663aec1635318c9739317221ecf5427ef00e6827bccff45981bae9aadd",
  "source_commit_sha": "7838ceeb455fe9dd6671f8cd3fea748af67b0d88",
  "source_commit_blob_checks": {
    "source_mko": "mko-proof",
    "source_lf_normalized_sha256": "72f6009b912caa3c05a2948a97ca422367574a19ad5fc665964a540875417b91",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-proof-modus-ponens": 25,
      "qf-proof-modus-tollens": 25,
      "qf-proof-invalid-converse": 25,
      "qf-proof-counterexample-universal": 25
    },
    "unique_ids": 100,
    "unique_seeds": 100,
    "unique_stems": 100,
    "unique_semantic_templates": 100,
    "exact_stem_duplicate_rate": 0,
    "semantic_template_duplicate_rate": 0
  },
  "required_check_results": {
    "json_schema": true,
    "id_uniqueness": true,
    "seed_uniqueness": true,
    "exact_stem_deduplication": true,
    "semantic_template_deduplication": true,
    "source_mko_existence": true,
    "source_mko_snapshot_hash": true,
    "truth_assignment_recomputation": true,
    "inference_rule_recomputation": true,
    "counterexample_witness_recomputation": true,
    "explanation_witness_accuracy": true,
    "manifest_sha256": true
  },
  "generation": {
    "attempted": 100,
    "accepted": 100,
    "rejected": 0,
    "rejection_rate": 0
  },
  "questions_sha256": "16755575d0aefd29143eb27fb780816bbf67cc3ca2da5ecfa277cea483cf877f",
  "batch_sha256": "16755575d0aefd29143eb27fb780816bbf67cc3ca2da5ecfa277cea483cf877f",
  "manifest_sha256": "9318cc71e96e6274705fdacf7b5ccc2424f46bcfbdd962c089778137648f7948",
  "byte_length": 156007,
  "average_bytes_per_question": 1560.07,
  "manifest_hash_match": true,
  "explanation_witnesses_accurate": true,
  "negative_witnesses": {
    "modus_ponens_truth_table_valid": true,
    "modus_tollens_truth_table_valid": true,
    "modus_ponens_missing_antecedent_rejected": true,
    "modus_tollens_missing_negated_consequent_rejected": true,
    "affirming_consequent_rejected": true,
    "universal_witness_outside_domain_rejected": true,
    "universal_nonfalsifying_witness_rejected": true
  },
  "errors": []
}