{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20261007-advance-20261009-r01-fundamental-theorem-calculus-0020",
  "pilot_number": "R0019-10120",
  "number": 10120,
  "family_id": "qf-ftc-accumulation-derivative",
  "title": {
    "zh-Hant": "第 10120 題：累積積分的點導數",
    "en": "Question 10120: Point Derivative of a Continuous Accumulating Integral"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20261007-advance-20261009-r01-fundamental-theorem-calculus-0020",
    "batch_id": "batch-20261007-advance-20261009-r01-fundamental-theorem-calculus-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-fundamental-theorem-calculus"
    ],
    "title_zh": "累積積分的點導數",
    "stem_zh": "全實數論域；連續多項式被積函數，FTC的明示充分前提。升冪係數 f=[7, 20, 0, 4]。令 G(t)=∫_0^t f(u)du，求 G′(2)，採最簡正分母分數。",
    "answer": {
      "kind": "expression",
      "value": "79/1",
      "explanation_zh": "累積導數=79/1。使用連續前提下的累積導數關係，在指定點求 f；積分起點不改此導數，未新增一般FTC形式證明。"
    },
    "difficulty": {
      "band": "undergraduate_core",
      "level": 3,
      "skills": [
        "累積積分的點導數"
      ]
    },
    "variant": {
      "family_id": "qf-ftc-accumulation-derivative",
      "seed": 202610091020,
      "parameters": {
        "f": [
          7,
          20,
          0,
          4
        ],
        "a": 0,
        "x": 2,
        "operation": "ftc_accumulation_derivative",
        "domain": "reals",
        "representation": "ascending_powers",
        "semantic_template": "qf-ftc-accumulation-derivative/[[7,20,0,4],2]"
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "producer_exact_integer_rational_arithmetic",
        "producer_finite_enumeration",
        "producer_source_snapshot_check",
        "producer_substantive_template_deduplication",
        "producer_json_schema"
      ],
      "warning_zh": "僅為產生端候選及自檢；主端須另做獨立驗收，不構成人工審定、普遍證明或形式 Evidence。"
    },
    "provenance": {
      "generator_role": "question_producer",
      "generator_model": "model_unknown",
      "generated_at": "2026-10-07",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20261007-advance-20261009-r01-fundamental-theorem-calculus-0020",
    "batch_id": "batch-20261007-advance-20261009-r01-fundamental-theorem-calculus-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "886ab6fe470cf486f6aa08521ae9df524f73e58dc7a7dad359fc7ff89c04e537",
      "family_id": "qf-ftc-accumulation-derivative",
      "seed": 202610091020,
      "semantic_template": "qf-ftc-accumulation-derivative/[[7,20,0,4],2]"
    },
    "fields": {
      "title": "Point Derivative of a Continuous Accumulating Integral",
      "stem": "On all R, the polynomial f is continuous and f has ascending coefficients [7, 20, 0, 4], constant term first. Let G(x)=∫_0^x f(t)dt with oriented endpoints. Find G′(2). Use reduced positive-denominator fractions, retaining /1 for integers.",
      "answer": {
        "kind": "expression",
        "value": "79/1",
        "explanation": "Under the stated full-real continuity premise, G′(x)=f(x), giving 79/1. This exact polynomial instance is not a new general FTC formal proof."
      },
      "skills": [
        "Point Derivative of a Continuous Accumulating Integral"
      ],
      "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": "全實數論域；連續多項式被積函數，FTC的明示充分前提。升冪係數 f=[7, 20, 0, 4]。令 G(t)=∫_0^t f(u)du，求 G′(2)，採最簡正分母分數。",
        "en": "On all R, the polynomial f is continuous and f has ascending coefficients [7, 20, 0, 4], constant term first. Let G(x)=∫_0^x f(t)dt with oriented endpoints. Find G′(2). Use reduced positive-denominator fractions, retaining /1 for integers."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "raw integrand f=[7, 20, 0, 4];ascending powers on all R",
      "after": "normalized coefficients=[7/1, 20/1, 0/1, 4/1];declared continuous real polynomial",
      "relation": "implies",
      "rule_id": "declared_FTC_continuity_hypothesis",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本題明示全R連續多項式，積分採有向端點。FTC關係只在這些充分前提下使用，不以有限核對宣稱新增一般FTC形式證明。",
        "en": "The declared integrand is a continuous real polynomial on all R,and endpoints are oriented.Use FTC only under these supplied sufficient hypotheses;finite checks are not a new general formal FTC proof."
      },
      "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": "zero primitive coefficient1 := div(7, 1)",
      "after": "zero primitive coefficient1 = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 zero primitive coefficient1，不以小數近似替代。",
          "en": "Recompute zero primitive coefficient1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "7",
          "1"
        ],
        "output": "7",
        "label": "zero primitive coefficient1"
      }
    },
    {
      "id": "S003",
      "uses": [
        "G001",
        "S002"
      ],
      "before": "integrand power=0;coefficient=7/1",
      "after": "primitive power=1;coefficient=7/1",
      "relation": "implies",
      "rule_id": "polynomial_primitive_coefficient_rule",
      "conditions": [],
      "explanation": {
        "zh-Hant": "c*x^k的零常數原函數把c/(k+1)放在x^(k+1)，分母k+1正；導回即c*x^k。另加任意常數仍是原函數。",
        "en": "For c*x^k place c/(k+1) at x^(k+1),with positive denominator k+1.Differentiating recovers c*x^k.Any additive constant gives another primitive."
      },
      "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": "zero primitive coefficient2 := div(20, 2)",
      "after": "zero primitive coefficient2 = 10",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 zero primitive coefficient2，不以小數近似替代。",
          "en": "Recompute zero primitive coefficient2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "20",
          "2"
        ],
        "output": "10",
        "label": "zero primitive coefficient2"
      }
    },
    {
      "id": "S005",
      "uses": [
        "G001",
        "S004"
      ],
      "before": "integrand power=1;coefficient=20/1",
      "after": "primitive power=2;coefficient=10/1",
      "relation": "implies",
      "rule_id": "polynomial_primitive_coefficient_rule",
      "conditions": [],
      "explanation": {
        "zh-Hant": "c*x^k的零常數原函數把c/(k+1)放在x^(k+1)，分母k+1正；導回即c*x^k。另加任意常數仍是原函數。",
        "en": "For c*x^k place c/(k+1) at x^(k+1),with positive denominator k+1.Differentiating recovers c*x^k.Any additive constant gives another primitive."
      },
      "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": "zero primitive coefficient3 := div(0, 3)",
      "after": "zero primitive coefficient3 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 zero primitive coefficient3，不以小數近似替代。",
          "en": "Recompute zero primitive coefficient3 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "0",
          "3"
        ],
        "output": "0",
        "label": "zero primitive coefficient3"
      }
    },
    {
      "id": "S007",
      "uses": [
        "G001",
        "S006"
      ],
      "before": "integrand power=2;coefficient=0/1",
      "after": "primitive power=3;coefficient=0/1",
      "relation": "implies",
      "rule_id": "polynomial_primitive_coefficient_rule",
      "conditions": [],
      "explanation": {
        "zh-Hant": "c*x^k的零常數原函數把c/(k+1)放在x^(k+1)，分母k+1正；導回即c*x^k。另加任意常數仍是原函數。",
        "en": "For c*x^k place c/(k+1) at x^(k+1),with positive denominator k+1.Differentiating recovers c*x^k.Any additive constant gives another primitive."
      },
      "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": "zero primitive coefficient4 := div(4, 4)",
      "after": "zero primitive coefficient4 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 zero primitive coefficient4，不以小數近似替代。",
          "en": "Recompute zero primitive coefficient4 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "4",
          "4"
        ],
        "output": "1",
        "label": "zero primitive coefficient4"
      }
    },
    {
      "id": "S009",
      "uses": [
        "G001",
        "S008"
      ],
      "before": "integrand power=3;coefficient=4/1",
      "after": "primitive power=4;coefficient=1/1",
      "relation": "implies",
      "rule_id": "polynomial_primitive_coefficient_rule",
      "conditions": [],
      "explanation": {
        "zh-Hant": "c*x^k的零常數原函數把c/(k+1)放在x^(k+1)，分母k+1正；導回即c*x^k。另加任意常數仍是原函數。",
        "en": "For c*x^k place c/(k+1) at x^(k+1),with positive denominator k+1.Differentiating recovers c*x^k.Any additive constant gives another primitive."
      },
      "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": "original integrand coefficients=[7/1, 20/1, 0/1, 4/1]",
      "after": "zero-constant primitive coefficients=[0/1, 7/1, 10/1, 0/1, 1/1]",
      "relation": "implies",
      "rule_id": "zero_constant_polynomial_primitive",
      "conditions": [],
      "explanation": {
        "zh-Hant": "這是方便計算的一個原函數代表，不把常數族丟掉當成唯一原函數。",
        "en": "This is one convenient representative,not a claim that the primitive is unique without its constant family."
      },
      "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": "constructed P0 derivative coefficient0 := mul(1, 7)",
      "after": "constructed P0 derivative coefficient0 = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 constructed P0 derivative coefficient0，不以小數近似替代。",
          "en": "Recompute constructed P0 derivative coefficient0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "7"
        ],
        "output": "7",
        "label": "constructed P0 derivative coefficient0"
      }
    },
    {
      "id": "S012",
      "uses": [
        "G001",
        "S011"
      ],
      "before": "constructed P0:source power=1;coefficient=7/1",
      "after": "derivative power=0;coefficient=7/1",
      "relation": "implies",
      "rule_id": "polynomial_derivative_coefficient_rule",
      "conditions": [],
      "explanation": {
        "zh-Hant": "次數k乘原係數並把次數降1，常數項不參與；完整保留所有非零高次項。",
        "en": "Multiply the coefficient by k and lower its power by1.The constant contributes nothing;retain every higher nonzero term."
      },
      "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": "constructed P0 derivative coefficient1 := mul(2, 10)",
      "after": "constructed P0 derivative coefficient1 = 20",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 constructed P0 derivative coefficient1，不以小數近似替代。",
          "en": "Recompute constructed P0 derivative coefficient1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "2",
          "10"
        ],
        "output": "20",
        "label": "constructed P0 derivative coefficient1"
      }
    },
    {
      "id": "S014",
      "uses": [
        "G001",
        "S013"
      ],
      "before": "constructed P0:source power=2;coefficient=10/1",
      "after": "derivative power=1;coefficient=20/1",
      "relation": "implies",
      "rule_id": "polynomial_derivative_coefficient_rule",
      "conditions": [],
      "explanation": {
        "zh-Hant": "次數k乘原係數並把次數降1，常數項不參與；完整保留所有非零高次項。",
        "en": "Multiply the coefficient by k and lower its power by1.The constant contributes nothing;retain every higher nonzero term."
      },
      "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": "S015",
      "uses": [
        "G001",
        "S014"
      ],
      "before": "constructed P0 derivative coefficient2 := mul(3, 0)",
      "after": "constructed P0 derivative coefficient2 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 constructed P0 derivative coefficient2，不以小數近似替代。",
          "en": "Recompute constructed P0 derivative coefficient2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "3",
          "0"
        ],
        "output": "0",
        "label": "constructed P0 derivative coefficient2"
      }
    },
    {
      "id": "S016",
      "uses": [
        "G001",
        "S015"
      ],
      "before": "constructed P0:source power=3;coefficient=0/1",
      "after": "derivative power=2;coefficient=0/1",
      "relation": "implies",
      "rule_id": "polynomial_derivative_coefficient_rule",
      "conditions": [],
      "explanation": {
        "zh-Hant": "次數k乘原係數並把次數降1，常數項不參與；完整保留所有非零高次項。",
        "en": "Multiply the coefficient by k and lower its power by1.The constant contributes nothing;retain every higher nonzero term."
      },
      "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": "S017",
      "uses": [
        "G001",
        "S016"
      ],
      "before": "constructed P0 derivative coefficient3 := mul(4, 1)",
      "after": "constructed P0 derivative coefficient3 = 4",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 constructed P0 derivative coefficient3，不以小數近似替代。",
          "en": "Recompute constructed P0 derivative coefficient3 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "4",
          "1"
        ],
        "output": "4",
        "label": "constructed P0 derivative coefficient3"
      }
    },
    {
      "id": "S018",
      "uses": [
        "G001",
        "S017"
      ],
      "before": "constructed P0:source power=4;coefficient=1/1",
      "after": "derivative power=3;coefficient=4/1",
      "relation": "implies",
      "rule_id": "polynomial_derivative_coefficient_rule",
      "conditions": [],
      "explanation": {
        "zh-Hant": "次數k乘原係數並把次數降1，常數項不參與；完整保留所有非零高次項。",
        "en": "Multiply the coefficient by k and lower its power by1.The constant contributes nothing;retain every higher nonzero term."
      },
      "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": "S019",
      "uses": [
        "G001",
        "S018"
      ],
      "before": "P0 derivative coefficients=[7/1, 20/1, 0/1, 4/1];f=[7/1, 20/1, 0/1, 4/1]",
      "after": "P0'=f on all R in this declared polynomial model",
      "relation": "implies",
      "rule_id": "constructed_primitive_coefficient_identity",
      "conditions": [],
      "explanation": {
        "zh-Hant": "完整係數身份給原函數關係，搭配明示連續前提可用FTC端點差；不是觀察有限點猜函數。",
        "en": "The full coefficient identity establishes the primitive relation in the declared model.With the supplied continuity premise use the FTC endpoint difference,not a function guessed from sample points."
      },
      "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": "S020",
      "uses": [
        "G001",
        "S019"
      ],
      "before": "P0 at anchor Horner multiply4 := mul(0, 0)",
      "after": "P0 at anchor Horner multiply4 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner multiply4，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner multiply4 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "0"
        ],
        "output": "0",
        "label": "P0 at anchor Horner multiply4"
      }
    },
    {
      "id": "S021",
      "uses": [
        "G001",
        "S020"
      ],
      "before": "P0 at anchor Horner add4 := sum(0, 1)",
      "after": "P0 at anchor Horner add4 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner add4，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner add4 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "0",
          "1"
        ],
        "output": "1",
        "label": "P0 at anchor Horner add4"
      }
    },
    {
      "id": "S022",
      "uses": [
        "G001",
        "S021"
      ],
      "before": "P0 at anchor Horner multiply3 := mul(1, 0)",
      "after": "P0 at anchor Horner multiply3 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner multiply3，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner multiply3 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "0"
        ],
        "output": "0",
        "label": "P0 at anchor Horner multiply3"
      }
    },
    {
      "id": "S023",
      "uses": [
        "G001",
        "S022"
      ],
      "before": "P0 at anchor Horner add3 := sum(0, 0)",
      "after": "P0 at anchor Horner add3 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner add3，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner add3 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "0",
          "0"
        ],
        "output": "0",
        "label": "P0 at anchor Horner add3"
      }
    },
    {
      "id": "S024",
      "uses": [
        "G001",
        "S023"
      ],
      "before": "P0 at anchor Horner multiply2 := mul(0, 0)",
      "after": "P0 at anchor Horner multiply2 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner multiply2，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner multiply2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "0"
        ],
        "output": "0",
        "label": "P0 at anchor Horner multiply2"
      }
    },
    {
      "id": "S025",
      "uses": [
        "G001",
        "S024"
      ],
      "before": "P0 at anchor Horner add2 := sum(0, 10)",
      "after": "P0 at anchor Horner add2 = 10",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner add2，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner add2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "0",
          "10"
        ],
        "output": "10",
        "label": "P0 at anchor Horner add2"
      }
    },
    {
      "id": "S026",
      "uses": [
        "G001",
        "S025"
      ],
      "before": "P0 at anchor Horner multiply1 := mul(10, 0)",
      "after": "P0 at anchor Horner multiply1 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner multiply1，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner multiply1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "10",
          "0"
        ],
        "output": "0",
        "label": "P0 at anchor Horner multiply1"
      }
    },
    {
      "id": "S027",
      "uses": [
        "G001",
        "S026"
      ],
      "before": "P0 at anchor Horner add1 := sum(0, 7)",
      "after": "P0 at anchor Horner add1 = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner add1，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner add1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "0",
          "7"
        ],
        "output": "7",
        "label": "P0 at anchor Horner add1"
      }
    },
    {
      "id": "S028",
      "uses": [
        "G001",
        "S027"
      ],
      "before": "P0 at anchor Horner multiply0 := mul(7, 0)",
      "after": "P0 at anchor Horner multiply0 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner multiply0，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner multiply0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "0"
        ],
        "output": "0",
        "label": "P0 at anchor Horner multiply0"
      }
    },
    {
      "id": "S029",
      "uses": [
        "G001",
        "S028"
      ],
      "before": "P0 at anchor Horner add0 := sum(0, 0)",
      "after": "P0 at anchor Horner add0 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 P0 at anchor Horner add0，不以小數近似替代。",
          "en": "Recompute P0 at anchor Horner add0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "0",
          "0"
        ],
        "output": "0",
        "label": "P0 at anchor Horner add0"
      }
    },
    {
      "id": "S030",
      "uses": [
        "G001",
        "S029"
      ],
      "before": "anchor a=0;P0(a)=0/1",
      "after": "G(t)=P0(t)-(0/1);G'(t)=f(t)",
      "relation": "implies",
      "rule_id": "FTC_accumulation_anchor_constant",
      "conditions": [],
      "explanation": {
        "zh-Hant": "積分起點產生與t無關的常數P0(a)，微分時消去；不要把G在起點的0值當導數。",
        "en": "The anchor contributes the t-independent constant P0(a),which vanishes under differentiation.Do not use G's zero anchor value as its derivative."
      },
      "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": "S031",
      "uses": [
        "G001",
        "S030"
      ],
      "before": "f at derivative point Horner multiply3 := mul(0, 2)",
      "after": "f at derivative point Horner multiply3 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 f at derivative point Horner multiply3，不以小數近似替代。",
          "en": "Recompute f at derivative point Horner multiply3 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "2"
        ],
        "output": "0",
        "label": "f at derivative point Horner multiply3"
      }
    },
    {
      "id": "S032",
      "uses": [
        "G001",
        "S031"
      ],
      "before": "f at derivative point Horner add3 := sum(0, 4)",
      "after": "f at derivative point Horner add3 = 4",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 f at derivative point Horner add3，不以小數近似替代。",
          "en": "Recompute f at derivative point Horner add3 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "0",
          "4"
        ],
        "output": "4",
        "label": "f at derivative point Horner add3"
      }
    },
    {
      "id": "S033",
      "uses": [
        "G001",
        "S032"
      ],
      "before": "f at derivative point Horner multiply2 := mul(4, 2)",
      "after": "f at derivative point Horner multiply2 = 8",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 f at derivative point Horner multiply2，不以小數近似替代。",
          "en": "Recompute f at derivative point Horner multiply2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "4",
          "2"
        ],
        "output": "8",
        "label": "f at derivative point Horner multiply2"
      }
    },
    {
      "id": "S034",
      "uses": [
        "G001",
        "S033"
      ],
      "before": "f at derivative point Horner add2 := sum(8, 0)",
      "after": "f at derivative point Horner add2 = 8",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 f at derivative point Horner add2，不以小數近似替代。",
          "en": "Recompute f at derivative point Horner add2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "8",
          "0"
        ],
        "output": "8",
        "label": "f at derivative point Horner add2"
      }
    },
    {
      "id": "S035",
      "uses": [
        "G001",
        "S034"
      ],
      "before": "f at derivative point Horner multiply1 := mul(8, 2)",
      "after": "f at derivative point Horner multiply1 = 16",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 f at derivative point Horner multiply1，不以小數近似替代。",
          "en": "Recompute f at derivative point Horner multiply1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "8",
          "2"
        ],
        "output": "16",
        "label": "f at derivative point Horner multiply1"
      }
    },
    {
      "id": "S036",
      "uses": [
        "G001",
        "S035"
      ],
      "before": "f at derivative point Horner add1 := sum(16, 20)",
      "after": "f at derivative point Horner add1 = 36",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 f at derivative point Horner add1，不以小數近似替代。",
          "en": "Recompute f at derivative point Horner add1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "16",
          "20"
        ],
        "output": "36",
        "label": "f at derivative point Horner add1"
      }
    },
    {
      "id": "S037",
      "uses": [
        "G001",
        "S036"
      ],
      "before": "f at derivative point Horner multiply0 := mul(36, 2)",
      "after": "f at derivative point Horner multiply0 = 72",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 f at derivative point Horner multiply0，不以小數近似替代。",
          "en": "Recompute f at derivative point Horner multiply0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "36",
          "2"
        ],
        "output": "72",
        "label": "f at derivative point Horner multiply0"
      }
    },
    {
      "id": "S038",
      "uses": [
        "G001",
        "S037"
      ],
      "before": "f at derivative point Horner add0 := sum(72, 7)",
      "after": "f at derivative point Horner add0 = 79",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按本步原始操作數及指定次序精確計算，保留有號值與分母條件。",
        "en": "Compute exactly from this step's original operands in the specified order,retaining signs and denominator conditions."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 f at derivative point Horner add0，不以小數近似替代。",
          "en": "Recompute f at derivative point Horner add0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "72",
          "7"
        ],
        "output": "79",
        "label": "f at derivative point Horner add0"
      }
    }
  ],
  "math_model": {
    "result": "79"
  },
  "conclusion": {
    "canonical_value": "79/1",
    "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-20261007-advance-20261009-r01-fundamental-theorem-calculus-foundations",
      "batch_path": "public/data/questions/batches/batch-20261007-advance-20261009-r01-fundamental-theorem-calculus-foundations/questions.jsonl",
      "batch_sha256": "d2d6fe2173f2779b3f2778eb8354bae1c05ca3ef96e61fac19f950257f89c643",
      "original_line": 20,
      "original_line_sha256": "9d5dc2f98d90726160225dde93d80ca9ac515704f96940ec215cf685ad0e7d0d",
      "question_compact_sha256": "886ab6fe470cf486f6aa08521ae9df524f73e58dc7a7dad359fc7ff89c04e537",
      "english_row_compact_sha256": "67ca3fa028db9daafbe2afc8910922747275cf2654bc8bfb359a4072c605510c",
      "english_manifest_path": "public/data/i18n/editions/batch-20261007-advance-20261009-r01-fundamental-theorem-calculus-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20261007-advance-20261009-r01-fundamental-theorem-calculus-foundations.en.jsonl"
    },
    "mko_bindings": {
      "mko-fundamental-theorem-calculus": {
        "sha256": "6b22aa2d4edd9541d84e10a77e3f555318aaef766fcb9ac34f8008c0e2b43b73",
        "english_sha256": "1b79750a283c6f448f4b0896689d9c71ff9688828879b8c62e6829d099913492",
        "original_path": "public/data/mko/fundamental-theorem-calculus.json",
        "english_path": "public/data/i18n/editions/mko-fundamental-theorem-calculus.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "7359cb2346bdb6bf38b7ca4a5fd5b5a99c3007a711f34346754d57b77b2dfcc8",
    "original_candidate_sha256": "1e6e3e56f0fd6963b93690ea1a12cb71fa45fe71b29c1b101db2faaba1f785da",
    "original_candidate_line_sha256": "1e6e3e56f0fd6963b93690ea1a12cb71fa45fe71b29c1b101db2faaba1f785da"
  },
  "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-006-p20",
    "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": "eeb35dc5daab92234bf72827627392b47f38ead4cfb574d4373bebc43c09fbf5",
      "question_first_witness_sha256": "3cf8e0d3a00b0df1994db2bfde81f4a31b382e170bdda83ea3d0b68da64e8419"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 38,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "0b72c04d7b8f7bdc75d5be4dee746c82697618dfba5d822613031553cb9b873f",
      "arithmetic_steps": 26
    },
    "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."
  }
}