{ "schema_version": "ocme-reviewed-question-reader-v1", "question_id": "q-20261007-advance-20261009-r05-antiderivative-0022", "pilot_number": "R0058-29997", "number": 29997, "family_id": "qf-density-primitive-coefficient", "title": { "zh-Hant": "第 29997 題：零常數原函數的指定係數", "en": "Question 29997: Specified Coefficient of the Zero-Constant Primitive" }, "original_question": { "schema_version": "ocme-question-v0.1", "id": "q-20261007-advance-20261009-r05-antiderivative-0022", "batch_id": "batch-20261007-advance-20261009-r05-antiderivative-foundations", "language": "zh-Hant", "source_mko_ids": [ "mko-antiderivative" ], "title_zh": "零常數原函數的指定係數", "stem_zh": "全實數論域；升冪係數的受限多項式模型。升冪係數 f=[10, 23, -24, 25]；F0是常數項固定零的canonical polynomial primitive。求 x^3 的係數，不存在的項按零，採最簡分數。", "answer": { "kind": "expression", "value": "-8/1", "explanation_zh": "原函數指定係數=-8/1。積分係數除以次方加一；指定不存在高項為零，不截掉本來存在的項。" }, "difficulty": { "band": "undergraduate_core", "level": 3, "skills": [ "零常數原函數的指定係數" ] }, "variant": { "family_id": "qf-density-primitive-coefficient", "seed": 202610095022, "parameters": { "f": [ 10, 23, -24, 25 ], "k": 3, "operation": "density_primitive_coefficient", "domain": "reals", "representation": "ascending_powers", "semantic_template": "qf-density-primitive-coefficient/[-24,3]" } }, "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-r05-antiderivative-0022", "batch_id": "batch-20261007-advance-20261009-r05-antiderivative-foundations", "locale": "en", "translation_state": "ai_candidate", "source": { "question_sha256": "23ec2f8c56d575ecfe349f9fbe2aa3b60825267b66be3b0be0a8ae503ff6d0cb", "family_id": "qf-density-primitive-coefficient", "seed": 202610095022, "semantic_template": "qf-density-primitive-coefficient/[-24,3]" }, "fields": { "title": "Specified Coefficient of the Zero-Constant Primitive", "stem": "On all R, f has ascending coefficients [10, 23, -24, 25], constant term first. For its zero-constant primitive F0, find the coefficient of x^3. Use reduced positive-denominator fractions, retaining /1 for integers.", "answer": { "kind": "expression", "value": "-8/1", "explanation": "Divide the input coefficient at power k−1 by k, using zero for an absent coefficient, to obtain -8/1. The order is ascending and the representative constant is zero." }, "skills": [ "Specified Coefficient of the Zero-Constant Primitive" ], "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": "全實數論域；升冪係數的受限多項式模型。升冪係數 f=[10, 23, -24, 25]；F0是常數項固定零的canonical polynomial primitive。求 x^3 的係數，不存在的項按零，採最簡分數。", "en": "On all R, f has ascending coefficients [10, 23, -24, 25], constant term first. For its zero-constant primitive F0, find the coefficient of x^3. Use reduced positive-denominator fractions, retaining /1 for integers." } } ], "steps": [ { "id": "S001", "uses": [ "G001" ], "before": "source roles = [qf-density-primitive-coefficient, density_primitive_coefficient]", "after": "derived = [[specified_zero_constant_primitive_coefficient_fraction_retaining1]]", "relation": "implies", "rule_id": "R58_EXACT_source_interface_and_answer_ROLE", "conditions": [], "explanation": { "zh-Hant": "依本題銀行的keys、domain或frame、operation與輸出角色。STR22/App20 tuple與legacy scalar不同；分數是否保/1按原契約，不能用共同外觀改題。", "en": "Follow THIS bank exact keys,domain/frame,operation and answer role.STR22/App20 tuples differ from legacy scalars;retain or omit/1 by the ORIGINAL contract,not a generic visual convention." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "反向逐項代回原題資料、同一索引／方向／代表式與本步前提；不只核答案。精確候選核對、獨立審查、形式證明與發布資格仍分開。", "en": "Reverse-check EACH original datum,index,direction,representative and premise,not only the answer.Exact candidate checking,independent review,formal proof and publication clearance remain separate." } }, "arithmetic": null }, { "id": "S002", "uses": [ "G001", "S001" ], "before": "source roles = [integrand f, [10, 23, -24, 25], 否]", "after": "derived = [[10/1, 23/1, -24/1, 25/1]]", "relation": "implies", "rule_id": "Primitive_RAW_arity_SAFE_inputs_POSITIVE_rational_den_trim_KEEPzero", "conditions": [], "explanation": { "zh-Hant": "整數f原長1..4、rational候選F原長1..5；每個raw數SAFE，rational den嚴格正（不是先normalize負den）。升冪只trim尾端0但zero polynomial保一項；衍生運算不套1e6或degree cap。", "en": "Raw integer f has length1..4 and rational candidate F length1..5.Every raw number is SAFE;rational denominators are STRICTLY positive,not repaired from negatives.Trim only trailing zeros,keeping a singleton zero polynomial.Derived algebra has no1e6 or raw-degree cap." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "反向逐項代回原題資料、同一索引／方向／代表式與本步前提；不只核答案。精確候選核對、獨立審查、形式證明與發布資格仍分開。", "en": "Reverse-check EACH original datum,index,direction,representative and premise,not only the answer.Exact candidate checking,independent review,formal proof and publication clearance remain separate." } }, "arithmetic": null }, { "id": "S003", "uses": [ "G001", "S002" ], "before": "Primitive ORIGINAL coefficient degree1 := div(10, 1)", "after": "Primitive ORIGINAL coefficient degree1 = 10", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "精確代值並保原操作數；額外教學運算不重套raw輸入界，只有明定的來源rational operation驗自己的profile。", "en": "Substitute exact ORIGINAL operands.Additional teaching algebra does not inherit raw-input caps;only declared SOURCE rational operations apply their own profile." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 Primitive ORIGINAL coefficient degree1，不以小數近似替代。", "en": "Recompute Primitive ORIGINAL coefficient degree1 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "div", "inputs": [ "10", "1" ], "output": "10", "label": "Primitive ORIGINAL coefficient degree1" } }, { "id": "S004", "uses": [ "G001", "S003" ], "before": "Primitive ORIGINAL coefficient degree2 := div(23, 2)", "after": "Primitive ORIGINAL coefficient degree2 = 23/2", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "精確代值並保原操作數；額外教學運算不重套raw輸入界，只有明定的來源rational operation驗自己的profile。", "en": "Substitute exact ORIGINAL operands.Additional teaching algebra does not inherit raw-input caps;only declared SOURCE rational operations apply their own profile." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 Primitive ORIGINAL coefficient degree2，不以小數近似替代。", "en": "Recompute Primitive ORIGINAL coefficient degree2 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "div", "inputs": [ "23", "2" ], "output": "23/2", "label": "Primitive ORIGINAL coefficient degree2" } }, { "id": "S005", "uses": [ "G001", "S004" ], "before": "Primitive ORIGINAL coefficient degree3 := div(-24, 3)", "after": "Primitive ORIGINAL coefficient degree3 = -8", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "精確代值並保原操作數；額外教學運算不重套raw輸入界，只有明定的來源rational operation驗自己的profile。", "en": "Substitute exact ORIGINAL operands.Additional teaching algebra does not inherit raw-input caps;only declared SOURCE rational operations apply their own profile." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 Primitive ORIGINAL coefficient degree3，不以小數近似替代。", "en": "Recompute Primitive ORIGINAL coefficient degree3 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "div", "inputs": [ "-24", "3" ], "output": "-8", "label": "Primitive ORIGINAL coefficient degree3" } }, { "id": "S006", "uses": [ "G001", "S005" ], "before": "Primitive ORIGINAL coefficient degree4 := div(25, 4)", "after": "Primitive ORIGINAL coefficient degree4 = 25/4", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "精確代值並保原操作數；額外教學運算不重套raw輸入界，只有明定的來源rational operation驗自己的profile。", "en": "Substitute exact ORIGINAL operands.Additional teaching algebra does not inherit raw-input caps;only declared SOURCE rational operations apply their own profile." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 Primitive ORIGINAL coefficient degree4，不以小數近似替代。", "en": "Recompute Primitive ORIGINAL coefficient degree4 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "div", "inputs": [ "25", "4" ], "output": "25/4", "label": "Primitive ORIGINAL coefficient degree4" } }, { "id": "S007", "uses": [ "G001", "S006" ], "before": "Primitive reverse ORIGINAL derivative coefficient0 := mul(10, 1)", "after": "Primitive reverse ORIGINAL derivative coefficient0 = 10", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "精確代值並保原操作數；額外教學運算不重套raw輸入界，只有明定的來源rational operation驗自己的profile。", "en": "Substitute exact ORIGINAL operands.Additional teaching algebra does not inherit raw-input caps;only declared SOURCE rational operations apply their own profile." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 Primitive reverse ORIGINAL derivative coefficient0，不以小數近似替代。", "en": "Recompute Primitive reverse ORIGINAL derivative coefficient0 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "10", "1" ], "output": "10", "label": "Primitive reverse ORIGINAL derivative coefficient0" } }, { "id": "S008", "uses": [ "G001", "S007" ], "before": "Primitive reverse ORIGINAL derivative coefficient1 := mul(23/2, 2)", "after": "Primitive reverse ORIGINAL derivative coefficient1 = 23", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "精確代值並保原操作數；額外教學運算不重套raw輸入界，只有明定的來源rational operation驗自己的profile。", "en": "Substitute exact ORIGINAL operands.Additional teaching algebra does not inherit raw-input caps;only declared SOURCE rational operations apply their own profile." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 Primitive reverse ORIGINAL derivative coefficient1，不以小數近似替代。", "en": "Recompute Primitive reverse ORIGINAL derivative coefficient1 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "23/2", "2" ], "output": "23", "label": "Primitive reverse ORIGINAL derivative coefficient1" } }, { "id": "S009", "uses": [ "G001", "S008" ], "before": "Primitive reverse ORIGINAL derivative coefficient2 := mul(-8, 3)", "after": "Primitive reverse ORIGINAL derivative coefficient2 = -24", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "精確代值並保原操作數；額外教學運算不重套raw輸入界，只有明定的來源rational operation驗自己的profile。", "en": "Substitute exact ORIGINAL operands.Additional teaching algebra does not inherit raw-input caps;only declared SOURCE rational operations apply their own profile." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 Primitive reverse ORIGINAL derivative coefficient2，不以小數近似替代。", "en": "Recompute Primitive reverse ORIGINAL derivative coefficient2 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "-8", "3" ], "output": "-24", "label": "Primitive reverse ORIGINAL derivative coefficient2" } }, { "id": "S010", "uses": [ "G001", "S009" ], "before": "Primitive reverse ORIGINAL derivative coefficient3 := mul(25/4, 4)", "after": "Primitive reverse ORIGINAL derivative coefficient3 = 25", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "精確代值並保原操作數；額外教學運算不重套raw輸入界，只有明定的來源rational operation驗自己的profile。", "en": "Substitute exact ORIGINAL operands.Additional teaching algebra does not inherit raw-input caps;only declared SOURCE rational operations apply their own profile." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 Primitive reverse ORIGINAL derivative coefficient3，不以小數近似替代。", "en": "Recompute Primitive reverse ORIGINAL derivative coefficient3 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "25/4", "4" ], "output": "25", "label": "Primitive reverse ORIGINAL derivative coefficient3" } }, { "id": "S011", "uses": [ "G001", "S010" ], "before": "source roles = [[10/1, 23/1, -24/1, 25/1]]", "after": "derived = [[0/1, 10/1, 23/2, -8/1, 25/4], [10/1, 23/1, -24/1, 25/1], 是]", "relation": "implies", "rule_id": "Primitive_ZEROconstant_ALL_monomial_coefficients_AND_reverse_identity", "conditions": [], "explanation": { "zh-Hant": "由d(x^(j+1)/(j+1))/dx=x^j，逐每項求零constant代表F0，再把所有係數微分回原f確認identity。zero polynomial保[0/1]，不靠幾個sample吻合。", "en": "Since d(x^(j+1)/(j+1))/dx=x^j,integrate EACH monomial into the zero-constant representative F0,and differentiate ALL coefficients back to the original f as an identity.Keep[0/1] for zero;do not rely on sampled agreement." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "反向逐項代回原題資料、同一索引／方向／代表式與本步前提；不只核答案。精確候選核對、獨立審查、形式證明與發布資格仍分開。", "en": "Reverse-check EACH original datum,index,direction,representative and premise,not only the answer.Exact candidate checking,independent review,formal proof and publication clearance remain separate." } }, "arithmetic": null }, { "id": "S012", "uses": [ "G001", "S011" ], "before": "source roles = [[10/1, 23/1, -24/1, 25/1], 3]", "after": "derived = [-8/1]", "relation": "implies", "rule_id": "Primitive_specified_power_k_ASCENDING_absent_coefficient_ZERO", "conditions": [], "explanation": { "zh-Hant": "x^k係數由原x^(k-1)係數除k得到；缺少的原係數是0，不能拿constant或下一項錯index。分數整數仍保/1。", "en": "The x^k coefficient is the ORIGINAL x^(k-1) coefficient divided by k;an absent coefficient is0.Do not select the constant or shift the index.Integer fractions retain/1." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "反向逐項代回原題資料、同一索引／方向／代表式與本步前提；不只核答案。精確候選核對、獨立審查、形式證明與發布資格仍分開。", "en": "Reverse-check EACH original datum,index,direction,representative and premise,not only the answer.Exact candidate checking,independent review,formal proof and publication clearance remain separate." } }, "arithmetic": null } ], "math_model": { "result": "-8/1" }, "conclusion": { "canonical_value": "-8/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-r05-antiderivative-foundations", "batch_path": "public/data/questions/batches/batch-20261007-advance-20261009-r05-antiderivative-foundations/questions.jsonl", "batch_sha256": "085ade26180bd6f2bb25667f7334717d6fd8127fddfdf06e74e67bdbe897b44e", "original_line": 22, "original_line_sha256": "74c066a04fcddfe04d83b52142db13be2bc875a89536dd7897f1ff1bbe40c9c6", "question_compact_sha256": "23ec2f8c56d575ecfe349f9fbe2aa3b60825267b66be3b0be0a8ae503ff6d0cb", "english_row_compact_sha256": "a9c513e8aef428e3b6d8ab553496e61cf19103853230045b3a4939614a46301b", "english_manifest_path": "public/data/i18n/editions/batch-20261007-advance-20261009-r05-antiderivative-foundations.en.json", "english_rows_path": "public/data/i18n/questions/batch-20261007-advance-20261009-r05-antiderivative-foundations.en.jsonl" }, "mko_bindings": { "mko-antiderivative": { "sha256": "5f2ecff6866e471d1f8da7fea1fa5e121364ae2d24b2fea405d2300fe9ff1cae", "english_sha256": "f983dd8b898bc9eac9d5237c7895e5f7dc182ac46efb5f9b58b925fc6c2ecb9d", "original_path": "public/data/mko/antiderivative.json", "english_path": "public/data/i18n/editions/mko-antiderivative.en.json" } }, "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff", "selected_part_sha256": "623c23f45586b08629c5a347ffbc994cf8dbff2133c4f4cdb227b851d74ea6b6", "original_candidate_sha256": "51e875eb203c7ee38ae4f282e93205a7e51451271f9de764e48af3fc561e9685", "original_candidate_line_sha256": "51e875eb203c7ee38ae4f282e93205a7e51451271f9de764e48af3fc561e9685" }, "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-011-p59", "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": "66bbb31c5fe644576dfd47ac71ca9e367fc23b948eac8e3eb648d96dadea05df", "question_first_witness_sha256": "b1e4fbdbca8d0ac3581e2f26466374d870f3c8498fab7cf6873feca5bbec44e7" }, "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": "239f3b31968ef7e43ccbabf8f22a3f93017a7080e0641f212cdb529fec5a9ad6", "arithmetic_steps": 8 }, "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." } }