{ "schema_version": "ocme-reviewed-question-reader-v1", "question_id": "q-20261014-advance-20261105-r02-dual-vector-space-0034", "pilot_number": "R0036-18734", "number": 18734, "family_id": "qf-mod36-dual-dual-basis-certificate", "title": { "zh-Hant": "第 18734 題：對偶向量空間", "en": "Question 18734: Every Dual-Basis Pairing Must Be a Kronecker Delta" }, "original_question": { "schema_version": "ocme-question-v0.1", "id": "q-20261014-advance-20261105-r02-dual-vector-space-0034", "batch_id": "batch-20261014-advance-20261105-r02-dual-vector-space-foundations", "language": "zh-Hant", "source_mko_ids": [ "mko-dual-vector-space" ], "title_zh": "對偶向量空間", "stem_zh": "有限維R^n中的線性泛函與明示基底座標。操作=dual-dual-basis-certificate；資料={\"basis\":[[1,0],[9,1]],\"candidate_dual\":[[1,-9],[0,1]]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。", "answer": { "kind": "expression", "value": "([[1, 0], [0, 1]], 是, phi_i_v_j_equals_Kronecker_delta)", "explanation_zh": "Wave5第五層核對=([[1, 0], [0, 1]], 是, phi_i_v_j_equals_Kronecker_delta)；依完整明示資料獨立重算；dual元素是線性泛函而不是primal vector；dual basis須滿足phi_i(v_j)=delta_ij；無額外內積不得宣稱V與V*典範識別；線性須由symbolic row certificate而非有限取樣。" }, "difficulty": { "band": "undergraduate_core", "level": 2, "skills": [ "對偶向量空間" ] }, "variant": { "family_id": "qf-mod36-dual-dual-basis-certificate", "seed": 202611052034, "parameters": { "basis": [ [ 1, 0 ], [ 9, 1 ] ], "candidate_dual": [ [ 1, -9 ], [ 0, 1 ] ], "domain": "Finite_dimensional_real_dual_coordinates", "operation": "dual-dual-basis-certificate", "semantic_template": "qf-mod36-dual-dual-basis-certificate/{\"basis\":[[1,0],[9,1]],\"candidate_dual\":[[1,-9],[0,1]]}" } }, "verification": { "status": "candidate", "checks": [ "producer_exact_finite_or_symbolic_model", "producer_source_snapshot_check", "producer_substantive_template_deduplication", "producer_json_schema" ], "warning_zh": "候選須主端重算；不構成人工審定、有限取樣全稱證明、V與dual典範識別、Hamilton結論、一般continuous-bijection捷徑、統計性質、strong law、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-20261105-r02-dual-vector-space-0034", "batch_id": "batch-20261014-advance-20261105-r02-dual-vector-space-foundations", "locale": "en", "translation_state": "ai_candidate", "source": { "question_sha256": "369471c415928d85b244724b10a84afb46e2a508cea91fe84e055e413727e0a4", "family_id": "qf-mod36-dual-dual-basis-certificate", "seed": 202611052034, "semantic_template": "qf-mod36-dual-dual-basis-certificate/{\"basis\":[[1,0],[9,1]],\"candidate_dual\":[[1,-9],[0,1]]}" }, "fields": { "title": "Every Dual-Basis Pairing Must Be a Kronecker Delta", "stem": "Use ordered basis column vectors=[[1, 0], [9, 1]] and candidate dual rows=[[1, -9], [0, 1]]. Coordinates are exact rationals, written as integers or [numerator, denominator] pairs with nonzero denominator. Give (pairing_matrix, is_dual_basis, certificate).", "answer": { "kind": "expression", "value": "([[1, 0], [0, 1]], Yes, phi_i_v_j_equals_Kronecker_delta)", "explanation": "Place basis vectors in matrix columns and multiply candidate dual rows by that matrix. The complete pairing matrix, not a few sampled pairings, must be the identity. A failed candidate does not deny existence of the actual dual basis. The exact result, retaining the requested order, is ([[1, 0], [0, 1]], Yes, phi_i_v_j_equals_Kronecker_delta)." }, "skills": [ "Every Dual-Basis Pairing Must Be a Kronecker Delta" ], "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": "有限維R^n中的線性泛函與明示基底座標。操作=dual-dual-basis-certificate；資料={\"basis\":[[1,0],[9,1]],\"candidate_dual\":[[1,-9],[0,1]]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。", "en": "Use ordered basis column vectors=[[1, 0], [9, 1]] and candidate dual rows=[[1, -9], [0, 1]]. Coordinates are exact rationals, written as integers or [numerator, denominator] pairs with nonzero denominator. Give (pairing_matrix, is_dual_basis, certificate)." } } ], "steps": [ { "id": "S001", "uses": [ "G001" ], "before": "source operation=dual-dual-basis-certificate;original snapshot and mathematics retained", "after": "explicit ordered source output fields=[pairing_matrix, is_dual_basis, certificate]", "relation": "implies", "rule_id": "source_ordered_interface_explicit_without_javascript", "conditions": [], "explanation": { "zh-Hant": "原題歷史介面標記仍在快照；這裡直接給原始欄位順序，主文不需JavaScript或外部表。描述欄位不自動證成任何數學聲稱。", "en": "Keep the historical interface marker in the original snapshot while listing the original ordered fields here.No JavaScript or external table is needed for the main text,and field labels are not mathematical evidence." }, "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": "dual original ordered basis:complete ordered matrix=[[1, 9], [0, 1]];rows=2;columns=2", "after": "use exact invertible ROW operations only;original COLUMN roles/order stay fixed", "relation": "implies", "rule_id": "finite_linear_source_matrix_not_semantic_reordering", "conditions": [], "explanation": { "zh-Hant": "基向量放欄且保原順序；semantic用的排序不能拿來重排係數或候選泛函。列運算是左乘可逆映射，保核、欄相依及rank，不宣稱實際欄空間字面不變。", "en": "Keep original basis vectors in ordered columns.Semantic sorting must not reorder coefficients or candidate rows.Row operations multiply by an invertible map,retaining kernel,column relations and rank,not the literal original column space." }, "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": "dual original ordered basis pivot0 column0 normalized entry0 := div(1, 1)", "after": "dual original ordered basis pivot0 column0 normalized entry0 = 1", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual original ordered basis pivot0 column0 normalized entry0，不以小數近似替代。", "en": "Recompute dual original ordered basis pivot0 column0 normalized entry0 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "div", "inputs": [ "1", "1" ], "output": "1", "label": "dual original ordered basis pivot0 column0 normalized entry0" } }, { "id": "S004", "uses": [ "G001", "S003" ], "before": "dual original ordered basis pivot0 column0 normalized entry1 := div(9, 1)", "after": "dual original ordered basis pivot0 column0 normalized entry1 = 9", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual original ordered basis pivot0 column0 normalized entry1，不以小數近似替代。", "en": "Recompute dual original ordered basis pivot0 column0 normalized entry1 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "div", "inputs": [ "9", "1" ], "output": "9", "label": "dual original ordered basis pivot0 column0 normalized entry1" } }, { "id": "S005", "uses": [ "G001", "S004" ], "before": "dual original ordered basis:pivot row=0;column=0;nonzero pivot=1;old row=[1, 9]", "after": "normalized full row=[1, 9]", "relation": "implies", "rule_id": "finite_linear_nonzero_pivot_complete_row_scaling", "conditions": [], "explanation": { "zh-Hant": "整列每格同除非零pivot，精確有理數保零值與符號。", "en": "Divide every entry by the same nonzero pivot,retaining exact rational zero values and signs." }, "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": "dual original ordered basis pivot1 column1 normalized entry0 := div(0, 1)", "after": "dual original ordered basis pivot1 column1 normalized entry0 = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual original ordered basis pivot1 column1 normalized entry0，不以小數近似替代。", "en": "Recompute dual original ordered basis pivot1 column1 normalized entry0 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "div", "inputs": [ "0", "1" ], "output": "0", "label": "dual original ordered basis pivot1 column1 normalized entry0" } }, { "id": "S007", "uses": [ "G001", "S006" ], "before": "dual original ordered basis pivot1 column1 normalized entry1 := div(1, 1)", "after": "dual original ordered basis pivot1 column1 normalized entry1 = 1", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual original ordered basis pivot1 column1 normalized entry1，不以小數近似替代。", "en": "Recompute dual original ordered basis pivot1 column1 normalized entry1 with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "div", "inputs": [ "1", "1" ], "output": "1", "label": "dual original ordered basis pivot1 column1 normalized entry1" } }, { "id": "S008", "uses": [ "G001", "S007" ], "before": "dual original ordered basis:pivot row=1;column=1;nonzero pivot=1;old row=[0, 1]", "after": "normalized full row=[0, 1]", "relation": "implies", "rule_id": "finite_linear_nonzero_pivot_complete_row_scaling", "conditions": [], "explanation": { "zh-Hant": "整列每格同除非零pivot，精確有理數保零值與符號。", "en": "Divide every entry by the same nonzero pivot,retaining exact rational zero values and signs." }, "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": "dual original ordered basis eliminate row0 pivot1 entry0 product := mul(9, 0)", "after": "dual original ordered basis eliminate row0 pivot1 entry0 product = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual original ordered basis eliminate row0 pivot1 entry0 product，不以小數近似替代。", "en": "Recompute dual original ordered basis eliminate row0 pivot1 entry0 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "9", "0" ], "output": "0", "label": "dual original ordered basis eliminate row0 pivot1 entry0 product" } }, { "id": "S010", "uses": [ "G001", "S009" ], "before": "dual original ordered basis eliminate row0 pivot1 entry0 difference := sub(1, 0)", "after": "dual original ordered basis eliminate row0 pivot1 entry0 difference = 1", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual original ordered basis eliminate row0 pivot1 entry0 difference，不以小數近似替代。", "en": "Recompute dual original ordered basis eliminate row0 pivot1 entry0 difference with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "sub", "inputs": [ "1", "0" ], "output": "1", "label": "dual original ordered basis eliminate row0 pivot1 entry0 difference" } }, { "id": "S011", "uses": [ "G001", "S010" ], "before": "dual original ordered basis eliminate row0 pivot1 entry1 product := mul(9, 1)", "after": "dual original ordered basis eliminate row0 pivot1 entry1 product = 9", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual original ordered basis eliminate row0 pivot1 entry1 product，不以小數近似替代。", "en": "Recompute dual original ordered basis eliminate row0 pivot1 entry1 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "9", "1" ], "output": "9", "label": "dual original ordered basis eliminate row0 pivot1 entry1 product" } }, { "id": "S012", "uses": [ "G001", "S011" ], "before": "dual original ordered basis eliminate row0 pivot1 entry1 difference := sub(9, 9)", "after": "dual original ordered basis eliminate row0 pivot1 entry1 difference = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual original ordered basis eliminate row0 pivot1 entry1 difference，不以小數近似替代。", "en": "Recompute dual original ordered basis eliminate row0 pivot1 entry1 difference with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "sub", "inputs": [ "9", "9" ], "output": "0", "label": "dual original ordered basis eliminate row0 pivot1 entry1 difference" } }, { "id": "S013", "uses": [ "G001", "S012" ], "before": "dual original ordered basis:target row=0;old=[1, 9];factor=9;pivot row=[0, 1]", "after": "new full row=[1, 0]", "relation": "implies", "rule_id": "finite_linear_invertible_all_entry_elimination", "conditions": [], "explanation": { "zh-Hant": "同一列的所有格都減同一倍pivot列；反向加回即逆運算。", "en": "Subtract the same pivot-row multiple in every entry;adding it back is the inverse." }, "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": "dual original ordered basis:complete exact reduced matrix=[[1, 0], [0, 1]];pivot columns=[0, 1]", "after": "rank=2;pivot columns independent and all original column relations preserved;zero rows retained", "relation": "implies", "rule_id": "finite_linear_complete_rank_certificate_not_samples", "conditions": [], "explanation": { "zh-Hant": "主元欄有不同的首1座標而獨立，其餘欄由主元列座標生成；可逆列運算把依賴關係帶回原矩陣。零列不刪除，不從有限向量測試猜rank。", "en": "Distinct pivot identity coordinates prove independence;other columns are generated by their pivot-row coordinates.Invertible operations transport column relations back to the original matrix.Keep zero rows;do not infer rank from sampled vectors." }, "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": "dual original ordered basis:complete ORIGINAL independent columns=[[1, 0], [9, 1]]", "after": "declared subspace dimension=2;basis of its full real span;empty basis means zero subspace", "relation": "implies", "rule_id": "directsum_declared_basis_complete_real_span", "conditions": [], "explanation": { "zh-Hant": "原資料宣告完整basis，精確rank再核獨立，故數量才是此子空間維度；允許空basis代表零子空間，不把有限列表當子空間所有元素。", "en": "The source declares a full basis and exact rank checks independence,so its count is the subspace dimension.An empty basis spans the zero subspace;the finite list is not the set of all subspace elements." }, "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": "S016", "uses": [ "G001", "S015" ], "before": "dual candidate row0 basis column0 coordinate0 product := mul(1, 1)", "after": "dual candidate row0 basis column0 coordinate0 product = 1", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row0 basis column0 coordinate0 product，不以小數近似替代。", "en": "Recompute dual candidate row0 basis column0 coordinate0 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "1", "1" ], "output": "1", "label": "dual candidate row0 basis column0 coordinate0 product" } }, { "id": "S017", "uses": [ "G001", "S016" ], "before": "dual candidate row0 basis column0 coordinate1 product := mul(-9, 0)", "after": "dual candidate row0 basis column0 coordinate1 product = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row0 basis column0 coordinate1 product，不以小數近似替代。", "en": "Recompute dual candidate row0 basis column0 coordinate1 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "-9", "0" ], "output": "0", "label": "dual candidate row0 basis column0 coordinate1 product" } }, { "id": "S018", "uses": [ "G001", "S017" ], "before": "dual candidate row0 basis column0 complete sum := sum(1, 0)", "after": "dual candidate row0 basis column0 complete sum = 1", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row0 basis column0 complete sum，不以小數近似替代。", "en": "Recompute dual candidate row0 basis column0 complete sum with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "sum", "inputs": [ "1", "0" ], "output": "1", "label": "dual candidate row0 basis column0 complete sum" } }, { "id": "S019", "uses": [ "G001", "S018" ], "before": "dual candidate row0 basis column1 coordinate0 product := mul(1, 9)", "after": "dual candidate row0 basis column1 coordinate0 product = 9", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row0 basis column1 coordinate0 product，不以小數近似替代。", "en": "Recompute dual candidate row0 basis column1 coordinate0 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "1", "9" ], "output": "9", "label": "dual candidate row0 basis column1 coordinate0 product" } }, { "id": "S020", "uses": [ "G001", "S019" ], "before": "dual candidate row0 basis column1 coordinate1 product := mul(-9, 1)", "after": "dual candidate row0 basis column1 coordinate1 product = -9", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row0 basis column1 coordinate1 product，不以小數近似替代。", "en": "Recompute dual candidate row0 basis column1 coordinate1 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "-9", "1" ], "output": "-9", "label": "dual candidate row0 basis column1 coordinate1 product" } }, { "id": "S021", "uses": [ "G001", "S020" ], "before": "dual candidate row0 basis column1 complete sum := sum(9, -9)", "after": "dual candidate row0 basis column1 complete sum = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row0 basis column1 complete sum，不以小數近似替代。", "en": "Recompute dual candidate row0 basis column1 complete sum with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "sum", "inputs": [ "9", "-9" ], "output": "0", "label": "dual candidate row0 basis column1 complete sum" } }, { "id": "S022", "uses": [ "G001", "S021" ], "before": "dual candidate row1 basis column0 coordinate0 product := mul(0, 1)", "after": "dual candidate row1 basis column0 coordinate0 product = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row1 basis column0 coordinate0 product，不以小數近似替代。", "en": "Recompute dual candidate row1 basis column0 coordinate0 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "0", "1" ], "output": "0", "label": "dual candidate row1 basis column0 coordinate0 product" } }, { "id": "S023", "uses": [ "G001", "S022" ], "before": "dual candidate row1 basis column0 coordinate1 product := mul(1, 0)", "after": "dual candidate row1 basis column0 coordinate1 product = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row1 basis column0 coordinate1 product，不以小數近似替代。", "en": "Recompute dual candidate row1 basis column0 coordinate1 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "1", "0" ], "output": "0", "label": "dual candidate row1 basis column0 coordinate1 product" } }, { "id": "S024", "uses": [ "G001", "S023" ], "before": "dual candidate row1 basis column0 complete sum := sum(0, 0)", "after": "dual candidate row1 basis column0 complete sum = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row1 basis column0 complete sum，不以小數近似替代。", "en": "Recompute dual candidate row1 basis column0 complete sum with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "sum", "inputs": [ "0", "0" ], "output": "0", "label": "dual candidate row1 basis column0 complete sum" } }, { "id": "S025", "uses": [ "G001", "S024" ], "before": "dual candidate row1 basis column1 coordinate0 product := mul(0, 9)", "after": "dual candidate row1 basis column1 coordinate0 product = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row1 basis column1 coordinate0 product，不以小數近似替代。", "en": "Recompute dual candidate row1 basis column1 coordinate0 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "0", "9" ], "output": "0", "label": "dual candidate row1 basis column1 coordinate0 product" } }, { "id": "S026", "uses": [ "G001", "S025" ], "before": "dual candidate row1 basis column1 coordinate1 product := mul(1, 1)", "after": "dual candidate row1 basis column1 coordinate1 product = 1", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row1 basis column1 coordinate1 product，不以小數近似替代。", "en": "Recompute dual candidate row1 basis column1 coordinate1 product with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "1", "1" ], "output": "1", "label": "dual candidate row1 basis column1 coordinate1 product" } }, { "id": "S027", "uses": [ "G001", "S026" ], "before": "dual candidate row1 basis column1 complete sum := sum(0, 1)", "after": "dual candidate row1 basis column1 complete sum = 1", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "依原資料角色及前面已核中間量精確代值，保留索引、正負號與所在空間。", "en": "Substitute original data and established intermediates exactly,retaining indices,signs and the relevant space." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 dual candidate row1 basis column1 complete sum，不以小數近似替代。", "en": "Recompute dual candidate row1 basis column1 complete sum with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "sum", "inputs": [ "0", "1" ], "output": "1", "label": "dual candidate row1 basis column1 complete sum" } }, { "id": "S028", "uses": [ "G001", "S027" ], "before": "ORIGINAL basis columns=[[1, 0], [9, 1]];candidate functional ROWS=[[1, -9], [0, 1]];ALL phi_i(v_j)=[[1, 0], [0, 1]]", "after": "complete Kronecker delta identity=[[1, 0], [0, 1]];candidate is dual basis=是;not just sampled pairings", "relation": "implies", "rule_id": "dual_all_pairings_not_primal_identification_or_nonexistence", "conditions": [], "explanation": { "zh-Hant": "原basis完整且獨立；若全部配對為delta，任意v的basis展開讓第i個泛函取其第i座標，故完整dual basis。反之dual basis必滿足每一配對。False只否決此候選，不否認真正dual basis存在；零維空族的identity為空矩陣。", "en": "With a complete independent original basis,all delta pairings make each functional extract the corresponding coordinate of every basis expansion,hence the full dual basis.Conversely a dual basis must satisfy every pairing.False rejects this candidate,not existence of the actual dual basis.In dimension0 the identity matrix is empty." }, "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": [ [ [ "1", "0" ], [ "0", "1" ] ], true, "phi_i_v_j_equals_Kronecker_delta" ] }, "conclusion": { "canonical_value": "([[1, 0], [0, 1]], 是, phi_i_v_j_equals_Kronecker_delta)", "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-20261105-r02-dual-vector-space-foundations", "batch_path": "public/data/questions/batches/batch-20261014-advance-20261105-r02-dual-vector-space-foundations/questions.jsonl", "batch_sha256": "710a303eff4a61aad547a2ca9501595d14cef5d84a5e44e51d08864c41eb9f14", "original_line": 34, "original_line_sha256": "58407c570b8e01d8182a910fe2980e6e0595ffe32af4780f7ab1f35f9b4d30f1", "question_compact_sha256": "369471c415928d85b244724b10a84afb46e2a508cea91fe84e055e413727e0a4", "english_row_compact_sha256": "40cc622a191de87a52e9a4e5541a6ac37fabebdfbe3f7822868206f53dfab477", "english_manifest_path": "public/data/i18n/editions/batch-20261014-advance-20261105-r02-dual-vector-space-foundations.en.json", "english_rows_path": "public/data/i18n/questions/batch-20261014-advance-20261105-r02-dual-vector-space-foundations.en.jsonl" }, "mko_bindings": { "mko-dual-vector-space": { "sha256": "1994bbbcc73dff239e5c7cfdaba60f5dc5aadb1a0a4603f613e4b1371d59234a", "english_sha256": "1e23ee2fa2f740284ff7f2e81139957b6196a81326cb161bae3a56d54fe07153", "original_path": "public/data/mko/source13-20261018-dual-vector-space.json", "english_path": "public/data/i18n/editions/mko-dual-vector-space.en.json" } }, "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff", "selected_part_sha256": "49e5d7674cefa01298c2386543f777d2bdfc99446b4027156b80142f10031994", "original_candidate_sha256": "6c283445c2ce2993ee78152efc10aff8240ee3f858d9a6c68000d8010f9c75a2", "original_candidate_line_sha256": "6c283445c2ce2993ee78152efc10aff8240ee3f858d9a6c68000d8010f9c75a2" }, "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-008-p37", "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": "efee5462991619d6ed9f64f11ddb085e5614ef33f9f8fcd8cf29b9329f8fd301", "question_first_witness_sha256": "acf91fa1622f01d2cf04b2c513294254323665351f660f2628aaafdb869c4ff2" }, "status": "second_context_reviewed", "mathematical_semantics": true, "bilingual_semantics": true, "steps_reviewed": 28, "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction", "exact_question_first_check": { "model_sha256": "8c7a6105f5a0293ee2621296ea050ae1b20ee90eec6ae97fe55fd38ec4496ad8", "arithmetic_steps": 20 }, "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." } }