{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20260913-finite-function-mapping-0014",
  "pilot_number": "R0070-35559",
  "number": 35559,
  "family_id": "qf-finite-function-mapping",
  "title": {
    "zh-Hant": "第 35559 題：有限映射函數判定",
    "en": "Question 35559: Finite Mapping as a Function"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20260913-finite-function-mapping-0014",
    "batch_id": "batch-20260913-foundational-language",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-function-mapping"
    ],
    "title_zh": "有限映射函數判定",
    "stem_zh": "令定義域 X={x14-1、x14-2、x14-3、x14-4}，陪域 Y={y14-1、y14-2、y14-3、y14-4、y14-5}。有限對應為 x14-1↦y14-1、x14-2↦y14-1、x14-3↦y14-2、x14-4↦y14-2、x14-4↦y14-3。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。",
    "answer": {
      "kind": "choice",
      "value": "否",
      "choices": [
        "是",
        "否"
      ],
      "explanation_zh": "x14-4 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。"
    },
    "difficulty": {
      "band": "upper_secondary",
      "level": 2,
      "skills": [
        "函數定義",
        "定義域與陪域"
      ]
    },
    "variant": {
      "family_id": "qf-finite-function-mapping",
      "seed": 20260996,
      "parameters": {
        "domain": [
          "x14-1",
          "x14-2",
          "x14-3",
          "x14-4"
        ],
        "codomain": [
          "y14-1",
          "y14-2",
          "y14-3",
          "y14-4",
          "y14-5"
        ],
        "pairs": [
          [
            "x14-1",
            "y14-1"
          ],
          [
            "x14-2",
            "y14-1"
          ],
          [
            "x14-3",
            "y14-2"
          ],
          [
            "x14-4",
            "y14-2"
          ],
          [
            "x14-4",
            "y14-3"
          ]
        ],
        "scenario": "multiple_outputs",
        "semantic_template": "function/multiple_outputs/domain-4/pairs-0>0;1>0;2>1;3>1;3>2"
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "schema_pending",
        "independent_recomputation_pending"
      ],
      "warning_zh": "本題僅依明示的有限參數作分類或重算；不構成普遍證明，且尚未人工審查或發布。"
    },
    "provenance": {
      "generator_role": "question_producer",
      "generator_model": "GPT-5.6 Terra",
      "generated_at": "2026-09-13",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20260913-finite-function-mapping-0014",
    "batch_id": "batch-20260913-foundational-language",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "01d2c001828fd07aa2302f41c6d8bfeb3d2cd84450dd821d5759a54781eb626b",
      "family_id": "qf-finite-function-mapping",
      "seed": 20260996,
      "semantic_template": "function/multiple_outputs/domain-4/pairs-0>0;1>0;2>1;3>1;3>2"
    },
    "fields": {
      "title": "Finite Mapping as a Function",
      "stem": "Let X={x14-1, x14-2, x14-3, x14-4} and Y={y14-1, y14-2, y14-3, y14-4, y14-5}. The finite correspondence is x14-1↦y14-1, x14-2↦y14-1, x14-3↦y14-2, x14-4↦y14-2, x14-4↦y14-3. Does it define a function f:X→Y? Keep the codomain Y distinct from the actual range.",
      "answer": {
        "kind": "choice",
        "value": "No",
        "choices": [
          "Yes",
          "No"
        ],
        "explanation": "At least one input is assigned more than one output, so the correspondence is not a function."
      },
      "skills": [
        "function definition",
        "domain and codomain"
      ],
      "verification_warning": "This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."
    }
  },
  "givens": [
    {
      "id": "G001",
      "text": {
        "zh-Hant": "令定義域 X={x14-1、x14-2、x14-3、x14-4}，陪域 Y={y14-1、y14-2、y14-3、y14-4、y14-5}。有限對應為 x14-1↦y14-1、x14-2↦y14-1、x14-3↦y14-2、x14-4↦y14-2、x14-4↦y14-3。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。",
        "en": "Let X={x14-1, x14-2, x14-3, x14-4} and Y={y14-1, y14-2, y14-3, y14-4, y14-5}. The finite correspondence is x14-1↦y14-1, x14-2↦y14-1, x14-3↦y14-2, x14-4↦y14-2, x14-4↦y14-3. Does it define a function f:X→Y? Keep the codomain Y distinct from the actual range."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "source roles = [qf-finite-function-mapping, [codomain, domain, pairs, scenario]]",
      "after": "derived = [function, null, null]",
      "relation": "implies",
      "rule_id": "R70_SOURCE_bank_specific_interface",
      "conditions": [],
      "explanation": {
        "zh-Hant": "只使用此bank真正明示的欄位、operation/domain與型別；BASE容許保留額外metadata，不把LDL SAFE/集合上限或其他bank的去重規則搬來。",
        "en": "Use THIS bank’s actual fields,operation/domain and types.BASE retains permissible extra metadata.Do not import LDL SAFE/set limits or a different bank’s deduplication rules."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S002",
      "uses": [
        "G001",
        "S001"
      ],
      "before": "source roles = [[x14-1, x14-2, x14-3, x14-4], [y14-1, y14-2, y14-3, y14-4, y14-5], [[x14-1, y14-1], [x14-2, y14-1], [x14-3, y14-2], [x14-4, y14-2], [x14-4, y14-3]]]",
      "after": "derived = [one RAW assignment per domain input]",
      "relation": "implies",
      "rule_id": "Function_ORIGINAL_labels_RAW_rows_NO_legacy_dedup",
      "conditions": [],
      "explanation": {
        "zh-Hant": "這是原版有限函數題，完整raw指派列每個input須恰一次，不能借用另一bank的相同pair去重規則。陪域可大於值域，一對多/缺漏/外值都需實查。",
        "en": "THIS original finite-function bank requires exactly ONE RAW assignment row for every input.Do not borrow another bank’s duplicate-pair normalization.The codomain may exceed the range;check multiplicity,missing inputs and outside values directly."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S003",
      "uses": [
        "G001",
        "S002"
      ],
      "before": "source roles = [0, x14-1, y14-1]",
      "after": "derived = [是]",
      "relation": "implies",
      "rule_id": "Function_EACH_RAW_assignment_domain_and_codomain",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐raw列檢查input在A且output在B，保留重複列與列索引；非法列不能靜默丟掉再宣布為函數。",
        "en": "Check EACH RAW row for x∈A and y∈B.Retain duplicate rows and row indices;never discard a bad row and then announce a function."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S004",
      "uses": [
        "G001",
        "S003"
      ],
      "before": "source roles = [1, x14-2, y14-1]",
      "after": "derived = [是]",
      "relation": "implies",
      "rule_id": "Function_EACH_RAW_assignment_domain_and_codomain",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐raw列檢查input在A且output在B，保留重複列與列索引；非法列不能靜默丟掉再宣布為函數。",
        "en": "Check EACH RAW row for x∈A and y∈B.Retain duplicate rows and row indices;never discard a bad row and then announce a function."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S005",
      "uses": [
        "G001",
        "S004"
      ],
      "before": "source roles = [2, x14-3, y14-2]",
      "after": "derived = [是]",
      "relation": "implies",
      "rule_id": "Function_EACH_RAW_assignment_domain_and_codomain",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐raw列檢查input在A且output在B，保留重複列與列索引；非法列不能靜默丟掉再宣布為函數。",
        "en": "Check EACH RAW row for x∈A and y∈B.Retain duplicate rows and row indices;never discard a bad row and then announce a function."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S006",
      "uses": [
        "G001",
        "S005"
      ],
      "before": "source roles = [3, x14-4, y14-2]",
      "after": "derived = [是]",
      "relation": "implies",
      "rule_id": "Function_EACH_RAW_assignment_domain_and_codomain",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐raw列檢查input在A且output在B，保留重複列與列索引；非法列不能靜默丟掉再宣布為函數。",
        "en": "Check EACH RAW row for x∈A and y∈B.Retain duplicate rows and row indices;never discard a bad row and then announce a function."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S007",
      "uses": [
        "G001",
        "S006"
      ],
      "before": "source roles = [4, x14-4, y14-3]",
      "after": "derived = [是]",
      "relation": "implies",
      "rule_id": "Function_EACH_RAW_assignment_domain_and_codomain",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐raw列檢查input在A且output在B，保留重複列與列索引；非法列不能靜默丟掉再宣布為函數。",
        "en": "Check EACH RAW row for x∈A and y∈B.Retain duplicate rows and row indices;never discard a bad row and then announce a function."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S008",
      "uses": [
        "G001",
        "S007"
      ],
      "before": "source roles = [x14-1, [y14-1]]",
      "after": "derived = [1, 是]",
      "relation": "implies",
      "rule_id": "Function_EACH_input_exactly_ONE_RAW_row",
      "conditions": [],
      "explanation": {
        "zh-Hant": "完整域中每個input都查恰一raw指派；未被指派不行，兩列即使output相同在此原版契約也不能直接去重。",
        "en": "For EVERY domain input,check EXACTLY ONE RAW assignment.Missing inputs fail;even two identical-output rows cannot silently deduplicate in this ORIGINAL contract."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S009",
      "uses": [
        "G001",
        "S008"
      ],
      "before": "source roles = [x14-2, [y14-1]]",
      "after": "derived = [1, 是]",
      "relation": "implies",
      "rule_id": "Function_EACH_input_exactly_ONE_RAW_row",
      "conditions": [],
      "explanation": {
        "zh-Hant": "完整域中每個input都查恰一raw指派；未被指派不行，兩列即使output相同在此原版契約也不能直接去重。",
        "en": "For EVERY domain input,check EXACTLY ONE RAW assignment.Missing inputs fail;even two identical-output rows cannot silently deduplicate in this ORIGINAL contract."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S010",
      "uses": [
        "G001",
        "S009"
      ],
      "before": "source roles = [x14-3, [y14-2]]",
      "after": "derived = [1, 是]",
      "relation": "implies",
      "rule_id": "Function_EACH_input_exactly_ONE_RAW_row",
      "conditions": [],
      "explanation": {
        "zh-Hant": "完整域中每個input都查恰一raw指派；未被指派不行，兩列即使output相同在此原版契約也不能直接去重。",
        "en": "For EVERY domain input,check EXACTLY ONE RAW assignment.Missing inputs fail;even two identical-output rows cannot silently deduplicate in this ORIGINAL contract."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S011",
      "uses": [
        "G001",
        "S010"
      ],
      "before": "source roles = [x14-4, [y14-2, y14-3]]",
      "after": "derived = [2, 否]",
      "relation": "implies",
      "rule_id": "Function_EACH_input_exactly_ONE_RAW_row",
      "conditions": [],
      "explanation": {
        "zh-Hant": "完整域中每個input都查恰一raw指派；未被指派不行，兩列即使output相同在此原版契約也不能直接去重。",
        "en": "For EVERY domain input,check EXACTLY ONE RAW assignment.Missing inputs fail;even two identical-output rows cannot silently deduplicate in this ORIGINAL contract."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S012",
      "uses": [
        "G001",
        "S011"
      ],
      "before": "source roles = [[], [x14-4], [], [y14-1, y14-2, y14-3], [y14-1, y14-2, y14-3, y14-4, y14-5]]",
      "after": "derived = [否]",
      "relation": "implies",
      "rule_id": "Function_COMPLETE_total_single_valued_into_declared_codomain",
      "conditions": [],
      "explanation": {
        "zh-Hant": "三種違反都沒有才是A→B函數；多個不同input可同一output，不要求滿射/單射。實際range只是由表讀出的output集合，不替換原B。",
        "en": "A function A→B requires absence of ALL three violations.Different inputs may share an output;injectivity/surjectivity is not required.The actual range does not replace the declared B."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    }
  ],
  "math_model": {
    "result": "否"
  },
  "conclusion": {
    "canonical_value": "否",
    "explanation": {
      "zh-Hant": "依上列完整代值及條件核對得到原題答案；原題編號、格式與狀態保持不變。",
      "en": "The full substitutions and premise checks give the original answer; source identity,format and status are unchanged."
    }
  },
  "definition_note": {
    "zh-Hant": "沿用原題明示的論域、假設與來源 MKO 定義。本題已完成第二對話數理與中英語義覆核，並由原始參數逐題獨立重算模型、答案與每個算術步驟；原題仍為 candidate。",
    "en": "Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate."
  },
  "source": {
    "input_commit": "0f7be61e2c22317a4075561dc822c87d881a50db",
    "question_binding": {
      "batch_id": "batch-20260913-foundational-language",
      "batch_path": "public/data/questions/batches/batch-20260913-foundational-language/questions.jsonl",
      "batch_sha256": "f9197588b4d22a517e5a50d721638afb80a8f8f03cc65234ee357d2ba1823172",
      "original_line": 84,
      "original_line_sha256": "5bf60a5dac6e15c33594aa7535fce247d93c46c23832be13f84a6a044568a9d6",
      "question_compact_sha256": "01d2c001828fd07aa2302f41c6d8bfeb3d2cd84450dd821d5759a54781eb626b",
      "english_row_compact_sha256": "204c296929f2405844bbffa88f5477ab60e21355d89e4d41e9c46866ef2e9f00",
      "english_manifest_path": "public/data/i18n/editions/batch-20260913-foundational-language.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20260913-foundational-language.en.jsonl"
    },
    "mko_bindings": {
      "mko-function-mapping": {
        "sha256": "f103408037c3680d770316d998ec3b92d19797f2865d8c94fa74efaf38bbc2b0",
        "english_sha256": "d94512a955a174d5185733591c5b2d72ff09a0546f48e27a9024138e9275b64b",
        "original_path": "public/data/mko/function-mapping.json",
        "english_path": "public/data/i18n/editions/mko-function-mapping.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "20c37a7e64ee5969e7606c5cc3a00e575002ebebdfe82873521cc3d7c608caff",
    "original_candidate_sha256": "8ed741d3e8b1f5d6dce8bf8cf32e84824148e2420cdf446e7f1cfbcba26cf861",
    "original_candidate_line_sha256": "8ed741d3e8b1f5d6dce8bf8cf32e84824148e2420cdf446e7f1cfbcba26cf861"
  },
  "historical_source_state": {
    "review_state": {
      "derivation": "candidate_authored_and_locally_checked",
      "source_question_state": "candidate",
      "independent_AI_or_human_review": "NOT_PERFORMED",
      "formalization": "not_formalized",
      "Lean": "NOT_RUN"
    },
    "scope_note": {
      "zh-Hant": "來源綁定教學推導候選；精確核對不等於獨立AI／人工審查或一般形式證明。原題、答案、MKO、公式、AST與歷史不變。",
      "en": "Source-bound pedagogical derivation candidate.Exact checking is not independent AI/human review or general formal proof.Original questions,answers,MKOs,formulas,ASTs and history remain unchanged."
    },
    "label": "Frozen producer metadata; current per-question review is separate below."
  },
  "revision": {
    "id": "review-20261026-012-p71",
    "review_date": "2026-10-26",
    "owner_authorized_reader_publication": true,
    "scope": "One hundred sixty family prototypes and their mathematical/bilingual reasoning variants, stems, boundary statements and every distinct explanation shape were reviewed in a context independent of the producer; parameter substitutions, source bindings, full math models, both answer strings and every arithmetic step were independently reconstructed per question from the original parameters only, with negative controls. This grouped method does not claim a separate literal AI reading of every repeated sentence or an extra AI voter.",
    "review_receipts": {
      "semantic_review_sha256": "9820ac6529139bd53d516c8bfdfdd41184b0cd52dad69fa433344010db37af80",
      "question_first_witness_sha256": "c9c939762bbd4d3ea3403084c8e95541dc2c7e56eb82fc74eaba8c80a4517dab"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 12,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "bca71e82a3b603522a7c8b63fcbc81f6ac763288e5b122c1663da40e54865d65",
      "arithmetic_steps": 0
    },
    "uses_answer_as_premise": false,
    "human_review": "NOT_PERFORMED",
    "formalization": "not_formalized",
    "Lean": "NOT_RUN",
    "Canonical_truth_promotion": false,
    "authority": "Owner-authorized reviewed reader publication; original question/candidate states remain historical and unchanged."
  }
}