{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20261014-advance-20261029-r05-finite-filtration-0056",
  "pilot_number": "R0027-14306",
  "number": 14306,
  "family_id": "qf-mod29-filtration-adaptedness",
  "title": {
    "zh-Hant": "第 14306 題：有限filtration",
    "en": "Question 14306: Process Measurability Is Separate from Information Nesting"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20261014-advance-20261029-r05-finite-filtration-0056",
    "batch_id": "batch-20261014-advance-20261029-r05-finite-filtration-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-finite-filtration"
    ],
    "title_zh": "有限filtration",
    "stem_zh": "所有資訊partition位於同一有限樣本空間。操作=filtration-adaptedness；資料={\"n\":6,\"partitions\":[[0,0,0,0,0,0],[0,0,0,1,1,1],[1,0,1,10,10,10]],\"process_values\":[[0,0,0,0,0,0],[1,2,1,2,2,2],[3,2,3,12,12,12]]}。請依 [filtration,measurability_failures,adapted,qualified_adapted_process] 欄序回答。",
    "answer": {
      "kind": "expression",
      "value": "(是, [[1, 0, [0, 1, 2], [1, 2]]], 否, 否)",
      "explanation_zh": "Wave4第三層核對=(是, [[1, 0, [0, 1, 2], [1, 2]]], 否, 否)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；每個較晚partition須精確細化較早partition；filtration不自動推出adapted natural independent或Markov。"
    },
    "difficulty": {
      "band": "undergraduate_core",
      "level": 1,
      "skills": [
        "有限filtration"
      ]
    },
    "variant": {
      "family_id": "qf-mod29-filtration-adaptedness",
      "seed": 202610295056,
      "parameters": {
        "n": 6,
        "partitions": [
          [
            0,
            0,
            0,
            0,
            0,
            0
          ],
          [
            0,
            0,
            0,
            1,
            1,
            1
          ],
          [
            1,
            0,
            1,
            10,
            10,
            10
          ]
        ],
        "process_values": [
          [
            0,
            0,
            0,
            0,
            0,
            0
          ],
          [
            1,
            2,
            1,
            2,
            2,
            2
          ],
          [
            3,
            2,
            3,
            12,
            12,
            12
          ]
        ],
        "domain": "Exact_finite_partition_filtration",
        "operation": "filtration-adaptedness",
        "semantic_template": "qf-mod29-filtration-adaptedness/{\"n\":6,\"partitions\":[[0,0,0,0,0,0],[0,0,0,1,1,1],[1,0,1,10,10,10]],\"process_values\":[[0,0,0,0,0,0],[1,2,1,2,2,2],[3,2,3,12,12,12]]}"
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "producer_exact_finite_model",
        "producer_source_snapshot_check",
        "producer_substantive_template_deduplication",
        "producer_json_schema"
      ],
      "warning_zh": "產生端候選須由主端重算；不構成人工審定、任意無限定理、一般域／UFD、Hilbert、一般條件期望、LLN／CLT、商集、Lean執行或形式Evidence。"
    },
    "provenance": {
      "generator_role": "question_producer",
      "generator_model": "model_unknown",
      "generated_at": "2026-10-14",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20261014-advance-20261029-r05-finite-filtration-0056",
    "batch_id": "batch-20261014-advance-20261029-r05-finite-filtration-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "62fe97fbad5d747631ae85a666d53cd2e7262451b2774e98299fbf6a1b633c24",
      "family_id": "qf-mod29-filtration-adaptedness",
      "seed": 202610295056,
      "semantic_template": "qf-mod29-filtration-adaptedness/{\"n\":6,\"partitions\":[[0,0,0,0,0,0],[0,0,0,1,1,1],[1,0,1,10,10,10]],\"process_values\":[[0,0,0,0,0,0],[1,2,1,2,2,2],[3,2,3,12,12,12]]}"
    },
    "fields": {
      "title": "Process Measurability Is Separate from Information Nesting",
      "stem": "Use the same finite carrier Fin(6)={0,…,5} at all times, with complete partitions=[[0, 0, 0, 0, 0, 0], [0, 0, 0, 1, 1, 1], [1, 0, 1, 10, 10, 10]] in time order starting at 0. Equal labels in one row mean the same information block; numerical label size and labels in other rows carry no extra meaning. A filtration requires every later partition to refine its predecessor. Event measurability and process adaptedness are separate checks; no natural-filtration, independence or Markov conclusion is inferred. Complete time-aligned process_values=[[0, 0, 0, 0, 0, 0], [1, 2, 1, 2, 2, 2], [3, 2, 3, 12, 12, 12]]. Give (filtration?,measurability_failures,adapted?,qualified_adapted_process?). Failure rows are [time,block_label,indices,distinct_values], traversing times and first-seen block labels in row order.",
      "answer": {
        "kind": "expression",
        "value": "(Yes, [[1, 0, [0, 1, 2], [1, 2]]], No, No)",
        "explanation": "Test whether the process is constant on every information block at each time. The adapted flag here records these measurability checks; the final qualified flag additionally requires the partition sequence to be a filtration. Information nesting alone does not supply adaptedness. The exact result, retaining the requested order, is (Yes, [[1, 0, [0, 1, 2], [1, 2]]], No, No)."
      },
      "skills": [
        "Process Measurability Is Separate from Information Nesting"
      ],
      "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": "所有資訊partition位於同一有限樣本空間。操作=filtration-adaptedness；資料={\"n\":6,\"partitions\":[[0,0,0,0,0,0],[0,0,0,1,1,1],[1,0,1,10,10,10]],\"process_values\":[[0,0,0,0,0,0],[1,2,1,2,2,2],[3,2,3,12,12,12]]}。請依 [filtration,measurability_failures,adapted,qualified_adapted_process] 欄序回答。",
        "en": "Use the same finite carrier Fin(6)={0,…,5} at all times, with complete partitions=[[0, 0, 0, 0, 0, 0], [0, 0, 0, 1, 1, 1], [1, 0, 1, 10, 10, 10]] in time order starting at 0. Equal labels in one row mean the same information block; numerical label size and labels in other rows carry no extra meaning. A filtration requires every later partition to refine its predecessor. Event measurability and process adaptedness are separate checks; no natural-filtration, independence or Markov conclusion is inferred. Complete time-aligned process_values=[[0, 0, 0, 0, 0, 0], [1, 2, 1, 2, 2, 2], [3, 2, 3, 12, 12, 12]]. Give (filtration?,measurability_failures,adapted?,qualified_adapted_process?). Failure rows are [time,block_label,indices,distinct_values], traversing times and first-seen block labels in row order."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "same carrier Fin(6);complete partitions in original time order=[[0, 0, 0, 0, 0, 0], [0, 0, 0, 1, 1, 1], [1, 0, 1, 10, 10, 10]]",
      "after": "equal labels mean same information block only within that row",
      "relation": "implies",
      "rule_id": "filtration_same_carrier_time_and_label_roles",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每列標籤只編碼該時點的等價區塊，標籤大小或跨列同名沒有額外資訊；不能把數字變大當作資訊增長。",
        "en": "Labels encode equivalence blocks only within their time row.Label magnitude or reuse across rows carries no extra information;larger numbers do not mean more information."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S002",
      "uses": [
        "G001",
        "S001"
      ],
      "before": "time=1;later block label=0;indices=[0, 1, 2]",
      "after": "earlier block labels in encounter order=[0];contained in one earlier block=是",
      "relation": "implies",
      "rule_id": "filtration_later_refines_earlier_complete_blocks",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每個較晚區塊須完全含於一個較早區塊；若合併以前可區分的兩點便違反filtration，方向不能倒過來。",
        "en": "Every later block must lie wholly in one earlier block.Merging previously distinguishable outcomes violates filtration;the refinement direction cannot be reversed."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S003",
      "uses": [
        "G001",
        "S002"
      ],
      "before": "time=1;later block label=1;indices=[3, 4, 5]",
      "after": "earlier block labels in encounter order=[0];contained in one earlier block=是",
      "relation": "implies",
      "rule_id": "filtration_later_refines_earlier_complete_blocks",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每個較晚區塊須完全含於一個較早區塊；若合併以前可區分的兩點便違反filtration，方向不能倒過來。",
        "en": "Every later block must lie wholly in one earlier block.Merging previously distinguishable outcomes violates filtration;the refinement direction cannot be reversed."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S004",
      "uses": [
        "G001",
        "S003"
      ],
      "before": "time=2;later block label=1;indices=[0, 2]",
      "after": "earlier block labels in encounter order=[0];contained in one earlier block=是",
      "relation": "implies",
      "rule_id": "filtration_later_refines_earlier_complete_blocks",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每個較晚區塊須完全含於一個較早區塊；若合併以前可區分的兩點便違反filtration，方向不能倒過來。",
        "en": "Every later block must lie wholly in one earlier block.Merging previously distinguishable outcomes violates filtration;the refinement direction cannot be reversed."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S005",
      "uses": [
        "G001",
        "S004"
      ],
      "before": "time=2;later block label=0;indices=[1]",
      "after": "earlier block labels in encounter order=[0];contained in one earlier block=是",
      "relation": "implies",
      "rule_id": "filtration_later_refines_earlier_complete_blocks",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每個較晚區塊須完全含於一個較早區塊；若合併以前可區分的兩點便違反filtration，方向不能倒過來。",
        "en": "Every later block must lie wholly in one earlier block.Merging previously distinguishable outcomes violates filtration;the refinement direction cannot be reversed."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S006",
      "uses": [
        "G001",
        "S005"
      ],
      "before": "time=2;later block label=10;indices=[3, 4, 5]",
      "after": "earlier block labels in encounter order=[1];contained in one earlier block=是",
      "relation": "implies",
      "rule_id": "filtration_later_refines_earlier_complete_blocks",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每個較晚區塊須完全含於一個較早區塊；若合併以前可區分的兩點便違反filtration，方向不能倒過來。",
        "en": "Every later block must lie wholly in one earlier block.Merging previously distinguishable outcomes violates filtration;the refinement direction cannot be reversed."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S007",
      "uses": [
        "G001",
        "S006"
      ],
      "before": "all nesting failures in time,a,b order=[]",
      "after": "filtration=是;per-time measurability checks remain separate",
      "relation": "implies",
      "rule_id": "filtration_nesting_not_adaptedness",
      "conditions": [],
      "explanation": {
        "zh-Hant": "完整核相鄰時點細化；即使資格失敗，協定仍可對某列查區塊或測可測性，不以單列通過修補整串資訊嵌套。",
        "en": "Audit refinement at every adjacent time.Even if nesting fails,the protocol may still look up a block or check measurability in one row.One passing row does not repair the whole information sequence."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S008",
      "uses": [
        "G001",
        "S007"
      ],
      "before": "time=0;first-seen block label=0;indices=[0, 1, 2, 3, 4, 5];aligned process values=[0, 0, 0, 0, 0, 0]",
      "after": "distinct values in encounter order=[0];constant=是",
      "relation": "implies",
      "rule_id": "adaptedness_every_current_block_not_nesting_alone",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每時點在每資訊區塊上須常值；失敗清單依時序與區塊首次出現順序，值亦保留首次遇到的次序，不改成排序。",
        "en": "At each time the process must be constant on every information block.Order failures by time and first-seen block label,and values by first encounter rather than sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S009",
      "uses": [
        "G001",
        "S008"
      ],
      "before": "time=1;first-seen block label=0;indices=[0, 1, 2];aligned process values=[1, 2, 1]",
      "after": "distinct values in encounter order=[1, 2];constant=否",
      "relation": "implies",
      "rule_id": "adaptedness_every_current_block_not_nesting_alone",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每時點在每資訊區塊上須常值；失敗清單依時序與區塊首次出現順序，值亦保留首次遇到的次序，不改成排序。",
        "en": "At each time the process must be constant on every information block.Order failures by time and first-seen block label,and values by first encounter rather than sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S010",
      "uses": [
        "G001",
        "S009"
      ],
      "before": "time=1;first-seen block label=1;indices=[3, 4, 5];aligned process values=[2, 2, 2]",
      "after": "distinct values in encounter order=[2];constant=是",
      "relation": "implies",
      "rule_id": "adaptedness_every_current_block_not_nesting_alone",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每時點在每資訊區塊上須常值；失敗清單依時序與區塊首次出現順序，值亦保留首次遇到的次序，不改成排序。",
        "en": "At each time the process must be constant on every information block.Order failures by time and first-seen block label,and values by first encounter rather than sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S011",
      "uses": [
        "G001",
        "S010"
      ],
      "before": "time=2;first-seen block label=1;indices=[0, 2];aligned process values=[3, 3]",
      "after": "distinct values in encounter order=[3];constant=是",
      "relation": "implies",
      "rule_id": "adaptedness_every_current_block_not_nesting_alone",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每時點在每資訊區塊上須常值；失敗清單依時序與區塊首次出現順序，值亦保留首次遇到的次序，不改成排序。",
        "en": "At each time the process must be constant on every information block.Order failures by time and first-seen block label,and values by first encounter rather than sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S012",
      "uses": [
        "G001",
        "S011"
      ],
      "before": "time=2;first-seen block label=0;indices=[1];aligned process values=[2]",
      "after": "distinct values in encounter order=[2];constant=是",
      "relation": "implies",
      "rule_id": "adaptedness_every_current_block_not_nesting_alone",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每時點在每資訊區塊上須常值；失敗清單依時序與區塊首次出現順序，值亦保留首次遇到的次序，不改成排序。",
        "en": "At each time the process must be constant on every information block.Order failures by time and first-seen block label,and values by first encounter rather than sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S013",
      "uses": [
        "G001",
        "S012"
      ],
      "before": "time=2;first-seen block label=10;indices=[3, 4, 5];aligned process values=[12, 12, 12]",
      "after": "distinct values in encounter order=[12];constant=是",
      "relation": "implies",
      "rule_id": "adaptedness_every_current_block_not_nesting_alone",
      "conditions": [],
      "explanation": {
        "zh-Hant": "每時點在每資訊區塊上須常值；失敗清單依時序與區塊首次出現順序，值亦保留首次遇到的次序，不改成排序。",
        "en": "At each time the process must be constant on every information block.Order failures by time and first-seen block label,and values by first encounter rather than sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S014",
      "uses": [
        "G001",
        "S013"
      ],
      "before": "filtration=是;all per-time measurability failures=[[1, 0, [0, 1, 2], [1, 2]]]",
      "after": "source adapted checks pass=否;qualified adapted process=否",
      "relation": "implies",
      "rule_id": "adapted_flag_vs_qualified_adapted_process",
      "conditions": [],
      "explanation": {
        "zh-Hant": "source的adapted欄在此只記逐時點可測檢查；最後還需filtration資格，不能把嵌套與可測性互代，也不推出natural、獨立或Markov。",
        "en": "Here the source adapted field records per-time measurability checks.The last field additionally needs filtration qualification;nesting and measurability do not replace one another or imply naturalness,independence or Markov behavior."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    }
  ],
  "math_model": {
    "result": [
      true,
      [
        [
          1,
          0,
          [
            0,
            1,
            2
          ],
          [
            1,
            2
          ]
        ]
      ],
      false,
      false
    ]
  },
  "conclusion": {
    "canonical_value": "(是, [[1, 0, [0, 1, 2], [1, 2]]], 否, 否)",
    "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-20261014-advance-20261029-r05-finite-filtration-foundations",
      "batch_path": "public/data/questions/batches/batch-20261014-advance-20261029-r05-finite-filtration-foundations/questions.jsonl",
      "batch_sha256": "3666b555ec24b8bd2723ebdb538b973fa1e51a8dc5812812d9cdcbc527b014fd",
      "original_line": 56,
      "original_line_sha256": "e5f97447ef8ac89e7dc08cc467e2e5db697b1871b9dfe2309053ec8ecce3ec20",
      "question_compact_sha256": "62fe97fbad5d747631ae85a666d53cd2e7262451b2774e98299fbf6a1b633c24",
      "english_row_compact_sha256": "7c714320510135cc91ed9546f3f3e759cec81e3b796295c3213a881cd9c4e83f",
      "english_manifest_path": "public/data/i18n/editions/batch-20261014-advance-20261029-r05-finite-filtration-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20261014-advance-20261029-r05-finite-filtration-foundations.en.jsonl"
    },
    "mko_bindings": {
      "mko-finite-filtration": {
        "sha256": "1b51e644ad6518d67dc1c6b78e1ff5043eb9a2fe5576f71a9f732b6b1c168a62",
        "english_sha256": "fed8bebcbc4e41746b79d4713668de11f3a5bf2f427093fdad7613878c8a36f3",
        "original_path": "public/data/mko/finite-filtration.json",
        "english_path": "public/data/i18n/editions/mko-finite-filtration.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "a8b6a7c538e8e95c336dfae507795cf07012b597b3dd6104fa3ecad599076f77",
    "original_candidate_sha256": "adcaa80c2e76e0310f1753d7541389226bf5b74b033e48cd3ed99e00f404bb86",
    "original_candidate_line_sha256": "adcaa80c2e76e0310f1753d7541389226bf5b74b033e48cd3ed99e00f404bb86"
  },
  "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-007-p28",
    "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": "e49bf5eaa968c09ebac4ad538ce58251671ed922c957cee1471cfc7b68934bfe",
      "question_first_witness_sha256": "a7976057c26051fab92342fc95d48af224466c0e1e4ab6ae4c8811c02772e6da"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 14,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "d292b26fc7bfa27024f7bf0e690bbd7744629753ed115f6b889fe80e0deaf0c0",
      "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."
  }
}