{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20260927-linear-equation-foundations",
  "checked_at": "2026-09-27",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "b4ae6928048cd6e1bd3380925ef6fba2b3bdffd4c5fe12fdfc9f89cb41b86aa5",
  "source_commit_sha": "7329a5fa1def9e2e19b32d6bb51c4741c94ac43a",
  "source_commit_blob_checks": {
    "source_mko": "mko-linear-equation",
    "source_lf_normalized_sha256": "70cc85ab6a989077a196caad95d1800fef7d3e5988f0a9cdc5c0c700600ef109",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-linear-equation-form-validity": 25,
      "qf-linear-equation-exact-solve": 25,
      "qf-linear-equation-solution-verification": 25,
      "qf-linear-equation-solution-class": 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,
    "integer_coefficient_gate": true,
    "declared_domain_gate": true,
    "nonzero_linear_coefficient_gate": true,
    "canonical_rational_solution": true,
    "cross_multiplication_substitution": true,
    "degenerate_all_none_classification": true,
    "no_float_serialization": true,
    "explanation_witness_accuracy": true,
    "manifest_sha256": true
  },
  "negative_witnesses": {
    "zero_linear_coefficient_not_degree_one_rejected": true,
    "exact_solve_zero_coefficient_rejected": true,
    "zero_denominator_candidate_rejected": true,
    "noncanonical_rational_rejected": true,
    "cross_product_non_solution_rejected": true,
    "no_float_serialization": true,
    "all_none_degenerate_classification": true,
    "cosmetic_padding_field_rejected": true
  },
  "questions_sha256": "12e7bae2677f97c03637de0e4464908856edf56cad6c0ba0c8b8bc6fc3d53d12",
  "batch_sha256": "12e7bae2677f97c03637de0e4464908856edf56cad6c0ba0c8b8bc6fc3d53d12",
  "manifest_sha256": "d05c4ada33b672a6899c29d46372670a322e68d932f420e30e6a8d7754b716fd",
  "byte_length": 123812,
  "average_bytes_per_question": 1238.12,
  "manifest_hash_match": true,
  "explanation_witnesses_accurate": true,
  "errors": [],
  "substantive_semantic_templates_unique": 100
}