{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20261014-advance-20261106-r07-quotient-vector-space-0082",
  "pilot_number": "R0038-19957",
  "number": 19957,
  "family_id": "qf-mod37-quotient-dimension-formula",
  "title": {
    "zh-Hant": "第 19957 題：商向量空間",
    "en": "Question 19957: Finite Quotient Dimension Subtracts Subspace Dimension"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20261014-advance-20261106-r07-quotient-vector-space-0082",
    "batch_id": "batch-20261014-advance-20261106-r07-quotient-vector-space-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-quotient-vector-space"
    ],
    "title_zh": "商向量空間",
    "stem_zh": "有限維實向量空間、明示子空間基底與exact membership。操作=quotient-dimension-formula；資料={\"ambient_dimension\":3,\"basis_w\":[[1,7,0]]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。",
    "answer": {
      "kind": "expression",
      "value": "(3, 1, 2, 是, finite_dimensional_dimension_formula_and_zero_coset_is_W)",
      "explanation_zh": "Wave5封閉層核對=(3, 1, 2, 是, finite_dimensional_dimension_formula_and_zero_coset_is_W)；依完整明示資料獨立重算；quotient元素是coset且代表元不唯一；[v]=[u] iff v-u在W；加法與scalar multiplication須與代表元無關；dim公式限有限維且零coset是W。"
    },
    "difficulty": {
      "band": "undergraduate_core",
      "level": 1,
      "skills": [
        "商向量空間"
      ]
    },
    "variant": {
      "family_id": "qf-mod37-quotient-dimension-formula",
      "seed": 202611067082,
      "parameters": {
        "ambient_dimension": 3,
        "basis_w": [
          [
            1,
            7,
            0
          ]
        ],
        "domain": "Finite_dimensional_real_quotient_space",
        "operation": "quotient-dimension-formula",
        "semantic_template": "qf-mod37-quotient-dimension-formula/{\"ambient_dimension\":3,\"basis_w\":[[1,7,0]]}"
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "producer_exact_finite_or_symbolic_model",
        "producer_source_snapshot_check",
        "producer_substantive_template_deduplication",
        "producer_json_schema"
      ],
      "warning_zh": "候選須主端重算；不構成人工審定、greedy最優性、maximal等於maximum、單一theta無偏、variance推MSE、Fermat converse、有限搜尋完整Diophantine解、唯一quotient代表元、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-20261106-r07-quotient-vector-space-0082",
    "batch_id": "batch-20261014-advance-20261106-r07-quotient-vector-space-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "e6d1376d21aad81761cbc1a7a69211cfcc63e0b092817c9b5965a763cf383ced",
      "family_id": "qf-mod37-quotient-dimension-formula",
      "seed": 202611067082,
      "semantic_template": "qf-mod37-quotient-dimension-formula/{\"ambient_dimension\":3,\"basis_w\":[[1,7,0]]}"
    },
    "fields": {
      "title": "Finite Quotient Dimension Subtracts Subspace Dimension",
      "stem": "Use V=R^3 and the complete independent ordered column-vector basis basis_w=[[1, 7, 0]] of W. Coordinates are exact integers or [numerator, denominator] pairs with nonzero denominator. Quotient elements are cosets v+W, not unique representative vectors; v+W=u+W iff v−u lies in W. Membership and ranks use the whole subspace, not bounded searches over coefficients. Give (ambient_dimension, dimension_w, quotient_dimension, identity, certificate).",
      "answer": {
        "kind": "expression",
        "value": "(3, 1, 2, Yes, finite_dimensional_dimension_formula_and_zero_coset_is_W)",
        "explanation": "Count the complete independent W basis and compute ambient dimension minus that count. The formula is finite-dimensional; W={0} leaves the ambient dimension, W=V gives dimension0, and the zero quotient element is the whole coset W. The exact result, retaining the requested order, is (3, 1, 2, Yes, finite_dimensional_dimension_formula_and_zero_coset_is_W)."
      },
      "skills": [
        "Finite Quotient Dimension Subtracts Subspace Dimension"
      ],
      "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": "有限維實向量空間、明示子空間基底與exact membership。操作=quotient-dimension-formula；資料={\"ambient_dimension\":3,\"basis_w\":[[1,7,0]]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。",
        "en": "Use V=R^3 and the complete independent ordered column-vector basis basis_w=[[1, 7, 0]] of W. Coordinates are exact integers or [numerator, denominator] pairs with nonzero denominator. Quotient elements are cosets v+W, not unique representative vectors; v+W=u+W iff v−u lies in W. Membership and ranks use the whole subspace, not bounded searches over coefficients. Give (ambient_dimension, dimension_w, quotient_dimension, identity, certificate)."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "source operation=quotient-dimension-formula;original snapshot and mathematics retained",
      "after": "explicit ordered source output fields=[ambient_dimension, dimension_w, quotient_dimension, identity, certificate]",
      "relation": "implies",
      "rule_id": "source_ordered_interface_explicit_without_javascript",
      "conditions": [],
      "explanation": {
        "zh-Hant": "原題快照保留歷史介面標記；本頁直接列來源欄位順序，不需JavaScript或外部表。欄位標籤不自動成為數學證據，No依各題聲稱範圍解讀。",
        "en": "Keep the historical interface marker in the original snapshot while listing ordered source fields here,without JavaScript or external lookup.Field labels are not mathematical evidence,and No retains the operation's claim scope."
      },
      "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": "quotient ORIGINAL ordered W basis:COMPLETE exact original ordered matrix=[[1], [7], [0]];rows=3;columns=1",
      "after": "perform invertible ROW operations on EVERY entry;original COLUMN and right-side roles remain fixed",
      "relation": "implies",
      "rule_id": "quotient_full_matrix_real_linear_equations_not_grid",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐格可逆列運算保整個實解集合，不對係數先設有限整數盒。basis是原column順序，不能以semantic排序調換係數或right side。",
        "en": "Entrywise invertible row operations preserve the whole real solution set,without bounding coefficients to a finite integer box.Keep original basis-column order and right-side roles rather than semantic sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S003",
      "uses": [
        "G001",
        "S002"
      ],
      "before": "quotient ORIGINAL ordered W basis pivot0 column0 normalized entry0 := div(1, 1)",
      "after": "quotient ORIGINAL ordered W basis pivot0 column0 normalized entry0 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient ORIGINAL ordered W basis pivot0 column0 normalized entry0，不以小數近似替代。",
          "en": "Recompute quotient ORIGINAL ordered W basis pivot0 column0 normalized entry0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient ORIGINAL ordered W basis pivot0 column0 normalized entry0"
      }
    },
    {
      "id": "S004",
      "uses": [
        "G001",
        "S003"
      ],
      "before": "quotient ORIGINAL ordered W basis:row=0;column=0;nonzero exact pivot=1;old FULL row=[1]",
      "after": "normalized FULL row=[1]",
      "relation": "implies",
      "rule_id": "quotient_nonzero_pivot_all_entry_scaling",
      "conditions": [],
      "explanation": {
        "zh-Hant": "整列同除非零pivot，不只修改左半或只改一個格。",
        "en": "Divide every entry by the same nonzero pivot,not only the left block or one entry."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S005",
      "uses": [
        "G001",
        "S004"
      ],
      "before": "quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 product := mul(7, 1)",
      "after": "quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 product = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 product，不以小數近似替代。",
          "en": "Recompute quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "1"
        ],
        "output": "7",
        "label": "quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 product"
      }
    },
    {
      "id": "S006",
      "uses": [
        "G001",
        "S005"
      ],
      "before": "quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 difference := sub(7, 7)",
      "after": "quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 difference = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 difference，不以小數近似替代。",
          "en": "Recompute quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "7",
          "7"
        ],
        "output": "0",
        "label": "quotient ORIGINAL ordered W basis eliminate row1 pivot0 entry0 difference"
      }
    },
    {
      "id": "S007",
      "uses": [
        "G001",
        "S006"
      ],
      "before": "quotient ORIGINAL ordered W basis:target row=1;old row=[7];subtract factor=7 times FULL pivot row=[1]",
      "after": "new exact FULL row=[0]",
      "relation": "implies",
      "rule_id": "quotient_invertible_complete_row_elimination",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一倍數逐每格相減，反向加回可逆；所有方程同時保留，不用抽樣解測試代替。",
        "en": "Subtract the same multiple in every entry.The inverse adds it back,preserving every equation rather than replacing the full system with sampled solutions."
      },
      "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": "quotient ORIGINAL ordered W basis:complete exact reduced matrix=[[1], [0], [0]];ORIGINAL pivot-column indices=[0]",
      "after": "rank=1;pivot coordinates independent;ALL original column relations and full real system solution set preserved",
      "relation": "implies",
      "rule_id": "quotient_full_rank_and_solution_set_certificate",
      "conditions": [],
      "explanation": {
        "zh-Hant": "主元identity座標給獨立性，其餘欄由主元列座標表出，故rank可由pivot數讀出；可逆列運算把這些關係帶回原矩陣。",
        "en": "Pivot identity coordinates prove independence and express other columns by their pivot-row coordinates,so pivot count gives rank.Invertible operations carry these relations back to the original matrix."
      },
      "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": "ACTUAL ambient real space R^3;complete ORIGINAL independent basis columns of W=[[1, 7, 0]]",
      "after": "W is the FULL real span of these columns;dim W=1;zero coset is the WHOLE subspace W,not the vector0 alone",
      "relation": "implies",
      "rule_id": "quotient_declared_subspace_full_real_span_zero_coset",
      "conditions": [],
      "explanation": {
        "zh-Hant": "完整basis的獨立性逐精確rank核過，所以數量是dimW；列表不是W所有元素。空basis代表W={0}，零coset仍是集合W，不把商元素與某一代表向量混型。",
        "en": "Exact rank verifies independence of the declared complete basis,whose count is dim W.The list is not the set of all W elements.An empty basis gives W={0};the zero coset is still the set W,not a representative vector."
      },
      "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": "quotient basis extension standard coordinate0:COMPLETE exact original ordered matrix=[[1, 1], [7, 0], [0, 0]];rows=3;columns=2",
      "after": "perform invertible ROW operations on EVERY entry;original COLUMN and right-side roles remain fixed",
      "relation": "implies",
      "rule_id": "quotient_full_matrix_real_linear_equations_not_grid",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐格可逆列運算保整個實解集合，不對係數先設有限整數盒。basis是原column順序，不能以semantic排序調換係數或right side。",
        "en": "Entrywise invertible row operations preserve the whole real solution set,without bounding coefficients to a finite integer box.Keep original basis-column order and right-side roles rather than semantic sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S011",
      "uses": [
        "G001",
        "S010"
      ],
      "before": "quotient basis extension standard coordinate0 pivot0 column0 normalized entry0 := div(1, 1)",
      "after": "quotient basis extension standard coordinate0 pivot0 column0 normalized entry0 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 pivot0 column0 normalized entry0，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 pivot0 column0 normalized entry0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate0 pivot0 column0 normalized entry0"
      }
    },
    {
      "id": "S012",
      "uses": [
        "G001",
        "S011"
      ],
      "before": "quotient basis extension standard coordinate0 pivot0 column0 normalized entry1 := div(1, 1)",
      "after": "quotient basis extension standard coordinate0 pivot0 column0 normalized entry1 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 pivot0 column0 normalized entry1，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 pivot0 column0 normalized entry1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate0 pivot0 column0 normalized entry1"
      }
    },
    {
      "id": "S013",
      "uses": [
        "G001",
        "S012"
      ],
      "before": "quotient basis extension standard coordinate0:row=0;column=0;nonzero exact pivot=1;old FULL row=[1, 1]",
      "after": "normalized FULL row=[1, 1]",
      "relation": "implies",
      "rule_id": "quotient_nonzero_pivot_all_entry_scaling",
      "conditions": [],
      "explanation": {
        "zh-Hant": "整列同除非零pivot，不只修改左半或只改一個格。",
        "en": "Divide every entry by the same nonzero pivot,not only the left block or one entry."
      },
      "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": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 product := mul(7, 1)",
      "after": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 product = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "1"
        ],
        "output": "7",
        "label": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 product"
      }
    },
    {
      "id": "S015",
      "uses": [
        "G001",
        "S014"
      ],
      "before": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 difference := sub(7, 7)",
      "after": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 difference = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "7",
          "7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry0 difference"
      }
    },
    {
      "id": "S016",
      "uses": [
        "G001",
        "S015"
      ],
      "before": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 product := mul(7, 1)",
      "after": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 product = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "1"
        ],
        "output": "7",
        "label": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 product"
      }
    },
    {
      "id": "S017",
      "uses": [
        "G001",
        "S016"
      ],
      "before": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 difference := sub(0, 7)",
      "after": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 difference = -7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "0",
          "7"
        ],
        "output": "-7",
        "label": "quotient basis extension standard coordinate0 eliminate row1 pivot0 entry1 difference"
      }
    },
    {
      "id": "S018",
      "uses": [
        "G001",
        "S017"
      ],
      "before": "quotient basis extension standard coordinate0:target row=1;old row=[7, 0];subtract factor=7 times FULL pivot row=[1, 1]",
      "after": "new exact FULL row=[0, -7]",
      "relation": "implies",
      "rule_id": "quotient_invertible_complete_row_elimination",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一倍數逐每格相減，反向加回可逆；所有方程同時保留，不用抽樣解測試代替。",
        "en": "Subtract the same multiple in every entry.The inverse adds it back,preserving every equation rather than replacing the full system with sampled solutions."
      },
      "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": "quotient basis extension standard coordinate0 pivot1 column1 normalized entry0 := div(0, -7)",
      "after": "quotient basis extension standard coordinate0 pivot1 column1 normalized entry0 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 pivot1 column1 normalized entry0，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 pivot1 column1 normalized entry0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "0",
          "-7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate0 pivot1 column1 normalized entry0"
      }
    },
    {
      "id": "S020",
      "uses": [
        "G001",
        "S019"
      ],
      "before": "quotient basis extension standard coordinate0 pivot1 column1 normalized entry1 := div(-7, -7)",
      "after": "quotient basis extension standard coordinate0 pivot1 column1 normalized entry1 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 pivot1 column1 normalized entry1，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 pivot1 column1 normalized entry1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "-7",
          "-7"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate0 pivot1 column1 normalized entry1"
      }
    },
    {
      "id": "S021",
      "uses": [
        "G001",
        "S020"
      ],
      "before": "quotient basis extension standard coordinate0:row=1;column=1;nonzero exact pivot=-7;old FULL row=[0, -7]",
      "after": "normalized FULL row=[0, 1]",
      "relation": "implies",
      "rule_id": "quotient_nonzero_pivot_all_entry_scaling",
      "conditions": [],
      "explanation": {
        "zh-Hant": "整列同除非零pivot，不只修改左半或只改一個格。",
        "en": "Divide every entry by the same nonzero pivot,not only the left block or one entry."
      },
      "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": "S022",
      "uses": [
        "G001",
        "S021"
      ],
      "before": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 product := mul(1, 0)",
      "after": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 product = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "0"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 product"
      }
    },
    {
      "id": "S023",
      "uses": [
        "G001",
        "S022"
      ],
      "before": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 difference := sub(1, 0)",
      "after": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 difference = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "1",
          "0"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry0 difference"
      }
    },
    {
      "id": "S024",
      "uses": [
        "G001",
        "S023"
      ],
      "before": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 product := mul(1, 1)",
      "after": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 product = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 product"
      }
    },
    {
      "id": "S025",
      "uses": [
        "G001",
        "S024"
      ],
      "before": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 difference := sub(1, 1)",
      "after": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 difference = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "1",
          "1"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate0 eliminate row0 pivot1 entry1 difference"
      }
    },
    {
      "id": "S026",
      "uses": [
        "G001",
        "S025"
      ],
      "before": "quotient basis extension standard coordinate0:target row=0;old row=[1, 1];subtract factor=1 times FULL pivot row=[0, 1]",
      "after": "new exact FULL row=[1, 0]",
      "relation": "implies",
      "rule_id": "quotient_invertible_complete_row_elimination",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一倍數逐每格相減，反向加回可逆；所有方程同時保留，不用抽樣解測試代替。",
        "en": "Subtract the same multiple in every entry.The inverse adds it back,preserving every equation rather than replacing the full system with sampled solutions."
      },
      "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": "S027",
      "uses": [
        "G001",
        "S026"
      ],
      "before": "quotient basis extension standard coordinate0:complete exact reduced matrix=[[1, 0], [0, 1], [0, 0]];ORIGINAL pivot-column indices=[0, 1]",
      "after": "rank=2;pivot coordinates independent;ALL original column relations and full real system solution set preserved",
      "relation": "implies",
      "rule_id": "quotient_full_rank_and_solution_set_certificate",
      "conditions": [],
      "explanation": {
        "zh-Hant": "主元identity座標給獨立性，其餘欄由主元列座標表出，故rank可由pivot數讀出；可逆列運算把這些關係帶回原矩陣。",
        "en": "Pivot identity coordinates prove independence and express other columns by their pivot-row coordinates,so pivot count gives rank.Invertible operations carry these relations back to the original matrix."
      },
      "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": "S028",
      "uses": [
        "G001",
        "S027"
      ],
      "before": "quotient basis extension standard coordinate0:original proposed vector=[1, 0, 0];original independent columns=[[1, 7, 0]];FULL reduced augmented system=[[1, 0], [0, 1], [0, 0]]",
      "after": "contradiction row1:0*all real coefficients=1;NOT in the full real span",
      "relation": "implies",
      "rule_id": "quotient_actual_inconsistent_real_system_not_bounded_search_failure",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一可逆方程組出現0=1，故任何實係數都無解；這是全域membership否證，不是某範圍內找不到整數係數。",
        "en": "The equivalent complete system contains0=1,so no real coefficients solve it.This is a global nonmembership certificate,not failure to find bounded integer coefficients."
      },
      "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": "S029",
      "uses": [
        "G001",
        "S028"
      ],
      "before": "next ORIGINAL standard-coordinate vector e_0=[1, 0, 0];in previous full span=否",
      "after": "append this independent new vector;current full ordered independent family=[[1, 7, 0], [1, 0, 0]]",
      "relation": "implies",
      "rule_id": "quotient_exact_basis_extension_not_dimension_from_samples",
      "conditions": [],
      "explanation": {
        "zh-Hant": "已在span就跳過，不在span才加入而保獨立。逐標準基向量後，已檢點仍在擴大的span內，故最終生成所有實向量；這是有限basis構造，不把任意有限取樣當全空間。",
        "en": "Skip a vector already in the span;otherwise append it independently.Previously tested standard vectors remain in the growing span,so processing the standard basis spans all real vectors.This is an exact finite basis construction,not inference from arbitrary samples."
      },
      "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": "S030",
      "uses": [
        "G001",
        "S029"
      ],
      "before": "quotient basis extension standard coordinate1:COMPLETE exact original ordered matrix=[[1, 1, 0], [7, 0, 1], [0, 0, 0]];rows=3;columns=3",
      "after": "perform invertible ROW operations on EVERY entry;original COLUMN and right-side roles remain fixed",
      "relation": "implies",
      "rule_id": "quotient_full_matrix_real_linear_equations_not_grid",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐格可逆列運算保整個實解集合，不對係數先設有限整數盒。basis是原column順序，不能以semantic排序調換係數或right side。",
        "en": "Entrywise invertible row operations preserve the whole real solution set,without bounding coefficients to a finite integer box.Keep original basis-column order and right-side roles rather than semantic sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S031",
      "uses": [
        "G001",
        "S030"
      ],
      "before": "quotient basis extension standard coordinate1 pivot0 column0 normalized entry0 := div(1, 1)",
      "after": "quotient basis extension standard coordinate1 pivot0 column0 normalized entry0 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 pivot0 column0 normalized entry0，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 pivot0 column0 normalized entry0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate1 pivot0 column0 normalized entry0"
      }
    },
    {
      "id": "S032",
      "uses": [
        "G001",
        "S031"
      ],
      "before": "quotient basis extension standard coordinate1 pivot0 column0 normalized entry1 := div(1, 1)",
      "after": "quotient basis extension standard coordinate1 pivot0 column0 normalized entry1 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 pivot0 column0 normalized entry1，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 pivot0 column0 normalized entry1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate1 pivot0 column0 normalized entry1"
      }
    },
    {
      "id": "S033",
      "uses": [
        "G001",
        "S032"
      ],
      "before": "quotient basis extension standard coordinate1 pivot0 column0 normalized entry2 := div(0, 1)",
      "after": "quotient basis extension standard coordinate1 pivot0 column0 normalized entry2 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 pivot0 column0 normalized entry2，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 pivot0 column0 normalized entry2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "0",
          "1"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 pivot0 column0 normalized entry2"
      }
    },
    {
      "id": "S034",
      "uses": [
        "G001",
        "S033"
      ],
      "before": "quotient basis extension standard coordinate1:row=0;column=0;nonzero exact pivot=1;old FULL row=[1, 1, 0]",
      "after": "normalized FULL row=[1, 1, 0]",
      "relation": "implies",
      "rule_id": "quotient_nonzero_pivot_all_entry_scaling",
      "conditions": [],
      "explanation": {
        "zh-Hant": "整列同除非零pivot，不只修改左半或只改一個格。",
        "en": "Divide every entry by the same nonzero pivot,not only the left block or one entry."
      },
      "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": "S035",
      "uses": [
        "G001",
        "S034"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 product := mul(7, 1)",
      "after": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 product = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "1"
        ],
        "output": "7",
        "label": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 product"
      }
    },
    {
      "id": "S036",
      "uses": [
        "G001",
        "S035"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 difference := sub(7, 7)",
      "after": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 difference = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "7",
          "7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry0 difference"
      }
    },
    {
      "id": "S037",
      "uses": [
        "G001",
        "S036"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 product := mul(7, 1)",
      "after": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 product = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "1"
        ],
        "output": "7",
        "label": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 product"
      }
    },
    {
      "id": "S038",
      "uses": [
        "G001",
        "S037"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 difference := sub(0, 7)",
      "after": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 difference = -7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "0",
          "7"
        ],
        "output": "-7",
        "label": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry1 difference"
      }
    },
    {
      "id": "S039",
      "uses": [
        "G001",
        "S038"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 product := mul(7, 0)",
      "after": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 product = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "0"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 product"
      }
    },
    {
      "id": "S040",
      "uses": [
        "G001",
        "S039"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 difference := sub(1, 0)",
      "after": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 difference = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "1",
          "0"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate1 eliminate row1 pivot0 entry2 difference"
      }
    },
    {
      "id": "S041",
      "uses": [
        "G001",
        "S040"
      ],
      "before": "quotient basis extension standard coordinate1:target row=1;old row=[7, 0, 1];subtract factor=7 times FULL pivot row=[1, 1, 0]",
      "after": "new exact FULL row=[0, -7, 1]",
      "relation": "implies",
      "rule_id": "quotient_invertible_complete_row_elimination",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一倍數逐每格相減，反向加回可逆；所有方程同時保留，不用抽樣解測試代替。",
        "en": "Subtract the same multiple in every entry.The inverse adds it back,preserving every equation rather than replacing the full system with sampled solutions."
      },
      "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": "S042",
      "uses": [
        "G001",
        "S041"
      ],
      "before": "quotient basis extension standard coordinate1 pivot1 column1 normalized entry0 := div(0, -7)",
      "after": "quotient basis extension standard coordinate1 pivot1 column1 normalized entry0 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 pivot1 column1 normalized entry0，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 pivot1 column1 normalized entry0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "0",
          "-7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 pivot1 column1 normalized entry0"
      }
    },
    {
      "id": "S043",
      "uses": [
        "G001",
        "S042"
      ],
      "before": "quotient basis extension standard coordinate1 pivot1 column1 normalized entry1 := div(-7, -7)",
      "after": "quotient basis extension standard coordinate1 pivot1 column1 normalized entry1 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 pivot1 column1 normalized entry1，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 pivot1 column1 normalized entry1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "-7",
          "-7"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate1 pivot1 column1 normalized entry1"
      }
    },
    {
      "id": "S044",
      "uses": [
        "G001",
        "S043"
      ],
      "before": "quotient basis extension standard coordinate1 pivot1 column1 normalized entry2 := div(1, -7)",
      "after": "quotient basis extension standard coordinate1 pivot1 column1 normalized entry2 = -1/7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 pivot1 column1 normalized entry2，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 pivot1 column1 normalized entry2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "1",
          "-7"
        ],
        "output": "-1/7",
        "label": "quotient basis extension standard coordinate1 pivot1 column1 normalized entry2"
      }
    },
    {
      "id": "S045",
      "uses": [
        "G001",
        "S044"
      ],
      "before": "quotient basis extension standard coordinate1:row=1;column=1;nonzero exact pivot=-7;old FULL row=[0, -7, 1]",
      "after": "normalized FULL row=[0, 1, -1/7]",
      "relation": "implies",
      "rule_id": "quotient_nonzero_pivot_all_entry_scaling",
      "conditions": [],
      "explanation": {
        "zh-Hant": "整列同除非零pivot，不只修改左半或只改一個格。",
        "en": "Divide every entry by the same nonzero pivot,not only the left block or one entry."
      },
      "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": "S046",
      "uses": [
        "G001",
        "S045"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 product := mul(1, 0)",
      "after": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 product = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "0"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 product"
      }
    },
    {
      "id": "S047",
      "uses": [
        "G001",
        "S046"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 difference := sub(1, 0)",
      "after": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 difference = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "1",
          "0"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry0 difference"
      }
    },
    {
      "id": "S048",
      "uses": [
        "G001",
        "S047"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 product := mul(1, 1)",
      "after": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 product = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 product"
      }
    },
    {
      "id": "S049",
      "uses": [
        "G001",
        "S048"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 difference := sub(1, 1)",
      "after": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 difference = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "1",
          "1"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry1 difference"
      }
    },
    {
      "id": "S050",
      "uses": [
        "G001",
        "S049"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 product := mul(1, -1/7)",
      "after": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 product = -1/7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "-1/7"
        ],
        "output": "-1/7",
        "label": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 product"
      }
    },
    {
      "id": "S051",
      "uses": [
        "G001",
        "S050"
      ],
      "before": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 difference := sub(0, -1/7)",
      "after": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 difference = 1/7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "0",
          "-1/7"
        ],
        "output": "1/7",
        "label": "quotient basis extension standard coordinate1 eliminate row0 pivot1 entry2 difference"
      }
    },
    {
      "id": "S052",
      "uses": [
        "G001",
        "S051"
      ],
      "before": "quotient basis extension standard coordinate1:target row=0;old row=[1, 1, 0];subtract factor=1 times FULL pivot row=[0, 1, -1/7]",
      "after": "new exact FULL row=[1, 0, 1/7]",
      "relation": "implies",
      "rule_id": "quotient_invertible_complete_row_elimination",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一倍數逐每格相減，反向加回可逆；所有方程同時保留，不用抽樣解測試代替。",
        "en": "Subtract the same multiple in every entry.The inverse adds it back,preserving every equation rather than replacing the full system with sampled solutions."
      },
      "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": "S053",
      "uses": [
        "G001",
        "S052"
      ],
      "before": "quotient basis extension standard coordinate1:column=2;remaining exact entries=[0]",
      "after": "no pivot added;current rank=2",
      "relation": "implies",
      "rule_id": "quotient_zero_remaining_column_no_fake_pivot",
      "conditions": [],
      "explanation": {
        "zh-Hant": "剩餘全零欄不補pivot，保其原角色與索引。",
        "en": "Do not add a pivot for an all-zero remaining column;retain its original role and index."
      },
      "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": "S054",
      "uses": [
        "G001",
        "S053"
      ],
      "before": "quotient basis extension standard coordinate1:complete exact reduced matrix=[[1, 0, 1/7], [0, 1, -1/7], [0, 0, 0]];ORIGINAL pivot-column indices=[0, 1]",
      "after": "rank=2;pivot coordinates independent;ALL original column relations and full real system solution set preserved",
      "relation": "implies",
      "rule_id": "quotient_full_rank_and_solution_set_certificate",
      "conditions": [],
      "explanation": {
        "zh-Hant": "主元identity座標給獨立性，其餘欄由主元列座標表出，故rank可由pivot數讀出；可逆列運算把這些關係帶回原矩陣。",
        "en": "Pivot identity coordinates prove independence and express other columns by their pivot-row coordinates,so pivot count gives rank.Invertible operations carry these relations back to the original matrix."
      },
      "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": "S055",
      "uses": [
        "G001",
        "S054"
      ],
      "before": "quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient0 product := mul(1, 1/7)",
      "after": "quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient0 product = 1/7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient0 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "1/7"
        ],
        "output": "1/7",
        "label": "quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient0 product"
      }
    },
    {
      "id": "S056",
      "uses": [
        "G001",
        "S055"
      ],
      "before": "quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient1 product := mul(1, -1/7)",
      "after": "quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient1 product = -1/7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient1 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient1 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "-1/7"
        ],
        "output": "-1/7",
        "label": "quotient basis extension standard coordinate1 original coordinate0 reconstruction coefficient1 product"
      }
    },
    {
      "id": "S057",
      "uses": [
        "G001",
        "S056"
      ],
      "before": "quotient basis extension standard coordinate1 original coordinate0 reconstruction complete sum := sum(1/7, -1/7)",
      "after": "quotient basis extension standard coordinate1 original coordinate0 reconstruction complete sum = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 original coordinate0 reconstruction complete sum，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 original coordinate0 reconstruction complete sum with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "1/7",
          "-1/7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 original coordinate0 reconstruction complete sum"
      }
    },
    {
      "id": "S058",
      "uses": [
        "G001",
        "S057"
      ],
      "before": "quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient0 product := mul(7, 1/7)",
      "after": "quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient0 product = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient0 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "1/7"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient0 product"
      }
    },
    {
      "id": "S059",
      "uses": [
        "G001",
        "S058"
      ],
      "before": "quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient1 product := mul(0, -1/7)",
      "after": "quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient1 product = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient1 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient1 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "-1/7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 original coordinate1 reconstruction coefficient1 product"
      }
    },
    {
      "id": "S060",
      "uses": [
        "G001",
        "S059"
      ],
      "before": "quotient basis extension standard coordinate1 original coordinate1 reconstruction complete sum := sum(1, 0)",
      "after": "quotient basis extension standard coordinate1 original coordinate1 reconstruction complete sum = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 original coordinate1 reconstruction complete sum，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 original coordinate1 reconstruction complete sum with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "1",
          "0"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate1 original coordinate1 reconstruction complete sum"
      }
    },
    {
      "id": "S061",
      "uses": [
        "G001",
        "S060"
      ],
      "before": "quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient0 product := mul(0, 1/7)",
      "after": "quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient0 product = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient0 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "1/7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient0 product"
      }
    },
    {
      "id": "S062",
      "uses": [
        "G001",
        "S061"
      ],
      "before": "quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient1 product := mul(0, -1/7)",
      "after": "quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient1 product = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient1 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient1 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "-1/7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 original coordinate2 reconstruction coefficient1 product"
      }
    },
    {
      "id": "S063",
      "uses": [
        "G001",
        "S062"
      ],
      "before": "quotient basis extension standard coordinate1 original coordinate2 reconstruction complete sum := sum(0, 0)",
      "after": "quotient basis extension standard coordinate1 original coordinate2 reconstruction complete sum = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate1 original coordinate2 reconstruction complete sum，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate1 original coordinate2 reconstruction complete sum with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "0",
          "0"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate1 original coordinate2 reconstruction complete sum"
      }
    },
    {
      "id": "S064",
      "uses": [
        "G001",
        "S063"
      ],
      "before": "quotient basis extension standard coordinate1:original proposed vector=[0, 1, 0];original ordered independent columns=[[1, 7, 0], [1, 0, 0]];complete reduced augmented system=[[1, 0, 1/7], [0, 1, -1/7], [0, 0, 0]]",
      "after": "exact real-span coefficient witness=[1/7, -1/7];FULL original reconstruction=[0, 1, 0];membership=是",
      "relation": "implies",
      "rule_id": "quotient_full_span_coefficient_witness_not_sampled_membership",
      "conditions": [],
      "explanation": {
        "zh-Hant": "主元方程給精確係數，再逐原座標完整代回。零basis時空係數只重建零向量；非零basis可有非整數或超出原輸入界限的合法實係數，不把它們排除。",
        "en": "Read exact coefficients from the pivot equations and reconstruct every original coordinate.Empty coefficients reconstruct only the zero vector for an empty basis.Valid coefficients for nonempty bases may be fractional or outside original input bounds and must not be excluded."
      },
      "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": "S065",
      "uses": [
        "G001",
        "S064"
      ],
      "before": "next ORIGINAL standard-coordinate vector e_1=[0, 1, 0];in previous full span=是",
      "after": "keep previous basis;current full ordered independent family=[[1, 7, 0], [1, 0, 0]]",
      "relation": "implies",
      "rule_id": "quotient_exact_basis_extension_not_dimension_from_samples",
      "conditions": [],
      "explanation": {
        "zh-Hant": "已在span就跳過，不在span才加入而保獨立。逐標準基向量後，已檢點仍在擴大的span內，故最終生成所有實向量；這是有限basis構造，不把任意有限取樣當全空間。",
        "en": "Skip a vector already in the span;otherwise append it independently.Previously tested standard vectors remain in the growing span,so processing the standard basis spans all real vectors.This is an exact finite basis construction,not inference from arbitrary samples."
      },
      "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": "S066",
      "uses": [
        "G001",
        "S065"
      ],
      "before": "quotient basis extension standard coordinate2:COMPLETE exact original ordered matrix=[[1, 1, 0], [7, 0, 0], [0, 0, 1]];rows=3;columns=3",
      "after": "perform invertible ROW operations on EVERY entry;original COLUMN and right-side roles remain fixed",
      "relation": "implies",
      "rule_id": "quotient_full_matrix_real_linear_equations_not_grid",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐格可逆列運算保整個實解集合，不對係數先設有限整數盒。basis是原column順序，不能以semantic排序調換係數或right side。",
        "en": "Entrywise invertible row operations preserve the whole real solution set,without bounding coefficients to a finite integer box.Keep original basis-column order and right-side roles rather than semantic sorting."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S067",
      "uses": [
        "G001",
        "S066"
      ],
      "before": "quotient basis extension standard coordinate2 pivot0 column0 normalized entry0 := div(1, 1)",
      "after": "quotient basis extension standard coordinate2 pivot0 column0 normalized entry0 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 pivot0 column0 normalized entry0，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 pivot0 column0 normalized entry0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate2 pivot0 column0 normalized entry0"
      }
    },
    {
      "id": "S068",
      "uses": [
        "G001",
        "S067"
      ],
      "before": "quotient basis extension standard coordinate2 pivot0 column0 normalized entry1 := div(1, 1)",
      "after": "quotient basis extension standard coordinate2 pivot0 column0 normalized entry1 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 pivot0 column0 normalized entry1，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 pivot0 column0 normalized entry1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate2 pivot0 column0 normalized entry1"
      }
    },
    {
      "id": "S069",
      "uses": [
        "G001",
        "S068"
      ],
      "before": "quotient basis extension standard coordinate2 pivot0 column0 normalized entry2 := div(0, 1)",
      "after": "quotient basis extension standard coordinate2 pivot0 column0 normalized entry2 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 pivot0 column0 normalized entry2，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 pivot0 column0 normalized entry2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "0",
          "1"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 pivot0 column0 normalized entry2"
      }
    },
    {
      "id": "S070",
      "uses": [
        "G001",
        "S069"
      ],
      "before": "quotient basis extension standard coordinate2:row=0;column=0;nonzero exact pivot=1;old FULL row=[1, 1, 0]",
      "after": "normalized FULL row=[1, 1, 0]",
      "relation": "implies",
      "rule_id": "quotient_nonzero_pivot_all_entry_scaling",
      "conditions": [],
      "explanation": {
        "zh-Hant": "整列同除非零pivot，不只修改左半或只改一個格。",
        "en": "Divide every entry by the same nonzero pivot,not only the left block or one entry."
      },
      "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": "S071",
      "uses": [
        "G001",
        "S070"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 product := mul(7, 1)",
      "after": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 product = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "1"
        ],
        "output": "7",
        "label": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 product"
      }
    },
    {
      "id": "S072",
      "uses": [
        "G001",
        "S071"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 difference := sub(7, 7)",
      "after": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 difference = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "7",
          "7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry0 difference"
      }
    },
    {
      "id": "S073",
      "uses": [
        "G001",
        "S072"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 product := mul(7, 1)",
      "after": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 product = 7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "1"
        ],
        "output": "7",
        "label": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 product"
      }
    },
    {
      "id": "S074",
      "uses": [
        "G001",
        "S073"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 difference := sub(0, 7)",
      "after": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 difference = -7",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "0",
          "7"
        ],
        "output": "-7",
        "label": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry1 difference"
      }
    },
    {
      "id": "S075",
      "uses": [
        "G001",
        "S074"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 product := mul(7, 0)",
      "after": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 product = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "7",
          "0"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 product"
      }
    },
    {
      "id": "S076",
      "uses": [
        "G001",
        "S075"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 difference := sub(0, 0)",
      "after": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 difference = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "0",
          "0"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 eliminate row1 pivot0 entry2 difference"
      }
    },
    {
      "id": "S077",
      "uses": [
        "G001",
        "S076"
      ],
      "before": "quotient basis extension standard coordinate2:target row=1;old row=[7, 0, 0];subtract factor=7 times FULL pivot row=[1, 1, 0]",
      "after": "new exact FULL row=[0, -7, 0]",
      "relation": "implies",
      "rule_id": "quotient_invertible_complete_row_elimination",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一倍數逐每格相減，反向加回可逆；所有方程同時保留，不用抽樣解測試代替。",
        "en": "Subtract the same multiple in every entry.The inverse adds it back,preserving every equation rather than replacing the full system with sampled solutions."
      },
      "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": "S078",
      "uses": [
        "G001",
        "S077"
      ],
      "before": "quotient basis extension standard coordinate2 pivot1 column1 normalized entry0 := div(0, -7)",
      "after": "quotient basis extension standard coordinate2 pivot1 column1 normalized entry0 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 pivot1 column1 normalized entry0，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 pivot1 column1 normalized entry0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "0",
          "-7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 pivot1 column1 normalized entry0"
      }
    },
    {
      "id": "S079",
      "uses": [
        "G001",
        "S078"
      ],
      "before": "quotient basis extension standard coordinate2 pivot1 column1 normalized entry1 := div(-7, -7)",
      "after": "quotient basis extension standard coordinate2 pivot1 column1 normalized entry1 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 pivot1 column1 normalized entry1，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 pivot1 column1 normalized entry1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "-7",
          "-7"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate2 pivot1 column1 normalized entry1"
      }
    },
    {
      "id": "S080",
      "uses": [
        "G001",
        "S079"
      ],
      "before": "quotient basis extension standard coordinate2 pivot1 column1 normalized entry2 := div(0, -7)",
      "after": "quotient basis extension standard coordinate2 pivot1 column1 normalized entry2 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 pivot1 column1 normalized entry2，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 pivot1 column1 normalized entry2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "0",
          "-7"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 pivot1 column1 normalized entry2"
      }
    },
    {
      "id": "S081",
      "uses": [
        "G001",
        "S080"
      ],
      "before": "quotient basis extension standard coordinate2:row=1;column=1;nonzero exact pivot=-7;old FULL row=[0, -7, 0]",
      "after": "normalized FULL row=[0, 1, 0]",
      "relation": "implies",
      "rule_id": "quotient_nonzero_pivot_all_entry_scaling",
      "conditions": [],
      "explanation": {
        "zh-Hant": "整列同除非零pivot，不只修改左半或只改一個格。",
        "en": "Divide every entry by the same nonzero pivot,not only the left block or one entry."
      },
      "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": "S082",
      "uses": [
        "G001",
        "S081"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 product := mul(1, 0)",
      "after": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 product = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "0"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 product"
      }
    },
    {
      "id": "S083",
      "uses": [
        "G001",
        "S082"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 difference := sub(1, 0)",
      "after": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 difference = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "1",
          "0"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry0 difference"
      }
    },
    {
      "id": "S084",
      "uses": [
        "G001",
        "S083"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 product := mul(1, 1)",
      "after": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 product = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 product"
      }
    },
    {
      "id": "S085",
      "uses": [
        "G001",
        "S084"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 difference := sub(1, 1)",
      "after": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 difference = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "1",
          "1"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry1 difference"
      }
    },
    {
      "id": "S086",
      "uses": [
        "G001",
        "S085"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 product := mul(1, 0)",
      "after": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 product = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 product，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 product with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "0"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 product"
      }
    },
    {
      "id": "S087",
      "uses": [
        "G001",
        "S086"
      ],
      "before": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 difference := sub(0, 0)",
      "after": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 difference = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 difference，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "0",
          "0"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 eliminate row0 pivot1 entry2 difference"
      }
    },
    {
      "id": "S088",
      "uses": [
        "G001",
        "S087"
      ],
      "before": "quotient basis extension standard coordinate2:target row=0;old row=[1, 1, 0];subtract factor=1 times FULL pivot row=[0, 1, 0]",
      "after": "new exact FULL row=[1, 0, 0]",
      "relation": "implies",
      "rule_id": "quotient_invertible_complete_row_elimination",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一倍數逐每格相減，反向加回可逆；所有方程同時保留，不用抽樣解測試代替。",
        "en": "Subtract the same multiple in every entry.The inverse adds it back,preserving every equation rather than replacing the full system with sampled solutions."
      },
      "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": "S089",
      "uses": [
        "G001",
        "S088"
      ],
      "before": "quotient basis extension standard coordinate2 pivot2 column2 normalized entry0 := div(0, 1)",
      "after": "quotient basis extension standard coordinate2 pivot2 column2 normalized entry0 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 pivot2 column2 normalized entry0，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 pivot2 column2 normalized entry0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "0",
          "1"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 pivot2 column2 normalized entry0"
      }
    },
    {
      "id": "S090",
      "uses": [
        "G001",
        "S089"
      ],
      "before": "quotient basis extension standard coordinate2 pivot2 column2 normalized entry1 := div(0, 1)",
      "after": "quotient basis extension standard coordinate2 pivot2 column2 normalized entry1 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 pivot2 column2 normalized entry1，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 pivot2 column2 normalized entry1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "0",
          "1"
        ],
        "output": "0",
        "label": "quotient basis extension standard coordinate2 pivot2 column2 normalized entry1"
      }
    },
    {
      "id": "S091",
      "uses": [
        "G001",
        "S090"
      ],
      "before": "quotient basis extension standard coordinate2 pivot2 column2 normalized entry2 := div(1, 1)",
      "after": "quotient basis extension standard coordinate2 pivot2 column2 normalized entry2 = 1",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient basis extension standard coordinate2 pivot2 column2 normalized entry2，不以小數近似替代。",
          "en": "Recompute quotient basis extension standard coordinate2 pivot2 column2 normalized entry2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "1",
          "1"
        ],
        "output": "1",
        "label": "quotient basis extension standard coordinate2 pivot2 column2 normalized entry2"
      }
    },
    {
      "id": "S092",
      "uses": [
        "G001",
        "S091"
      ],
      "before": "quotient basis extension standard coordinate2:row=2;column=2;nonzero exact pivot=1;old FULL row=[0, 0, 1]",
      "after": "normalized FULL row=[0, 0, 1]",
      "relation": "implies",
      "rule_id": "quotient_nonzero_pivot_all_entry_scaling",
      "conditions": [],
      "explanation": {
        "zh-Hant": "整列同除非零pivot，不只修改左半或只改一個格。",
        "en": "Divide every entry by the same nonzero pivot,not only the left block or one entry."
      },
      "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": "S093",
      "uses": [
        "G001",
        "S092"
      ],
      "before": "quotient basis extension standard coordinate2:complete exact reduced matrix=[[1, 0, 0], [0, 1, 0], [0, 0, 1]];ORIGINAL pivot-column indices=[0, 1, 2]",
      "after": "rank=3;pivot coordinates independent;ALL original column relations and full real system solution set preserved",
      "relation": "implies",
      "rule_id": "quotient_full_rank_and_solution_set_certificate",
      "conditions": [],
      "explanation": {
        "zh-Hant": "主元identity座標給獨立性，其餘欄由主元列座標表出，故rank可由pivot數讀出；可逆列運算把這些關係帶回原矩陣。",
        "en": "Pivot identity coordinates prove independence and express other columns by their pivot-row coordinates,so pivot count gives rank.Invertible operations carry these relations back to the original matrix."
      },
      "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": "S094",
      "uses": [
        "G001",
        "S093"
      ],
      "before": "quotient basis extension standard coordinate2:original proposed vector=[0, 0, 1];original independent columns=[[1, 7, 0], [1, 0, 0]];FULL reduced augmented system=[[1, 0, 0], [0, 1, 0], [0, 0, 1]]",
      "after": "contradiction row2:0*all real coefficients=1;NOT in the full real span",
      "relation": "implies",
      "rule_id": "quotient_actual_inconsistent_real_system_not_bounded_search_failure",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一可逆方程組出現0=1，故任何實係數都無解；這是全域membership否證，不是某範圍內找不到整數係數。",
        "en": "The equivalent complete system contains0=1,so no real coefficients solve it.This is a global nonmembership certificate,not failure to find bounded integer coefficients."
      },
      "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": "S095",
      "uses": [
        "G001",
        "S094"
      ],
      "before": "next ORIGINAL standard-coordinate vector e_2=[0, 0, 1];in previous full span=否",
      "after": "append this independent new vector;current full ordered independent family=[[1, 7, 0], [1, 0, 0], [0, 0, 1]]",
      "relation": "implies",
      "rule_id": "quotient_exact_basis_extension_not_dimension_from_samples",
      "conditions": [],
      "explanation": {
        "zh-Hant": "已在span就跳過，不在span才加入而保獨立。逐標準基向量後，已檢點仍在擴大的span內，故最終生成所有實向量；這是有限basis構造，不把任意有限取樣當全空間。",
        "en": "Skip a vector already in the span;otherwise append it independently.Previously tested standard vectors remain in the growing span,so processing the standard basis spans all real vectors.This is an exact finite basis construction,not inference from arbitrary samples."
      },
      "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": "S096",
      "uses": [
        "G001",
        "S095"
      ],
      "before": "quotient finite dimension difference := sub(3, 1)",
      "after": "quotient finite dimension difference = 2",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依原始角色與已核中間量精確代值，保留正負號、分母、索引及所在載體。",
        "en": "Substitute original roles and established intermediates exactly,retaining signs,denominators,indices and the relevant carrier."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 quotient finite dimension difference，不以小數近似替代。",
          "en": "Recompute quotient finite dimension difference with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "3",
          "1"
        ],
        "output": "2",
        "label": "quotient finite dimension difference"
      }
    },
    {
      "id": "S097",
      "uses": [
        "G001",
        "S096"
      ],
      "before": "ORIGINAL complete W basis=[[1, 7, 0]];exact full ambient basis extends it by=[[1, 0, 0], [0, 0, 1]];ambient dimension=3",
      "after": "cosets of extension vectors span V/W;any zero coset combination would be a full-basis relation,so all its coefficients0;dim(V/W)=2=n-dimW;zero coset=WHOLE W",
      "relation": "implies",
      "rule_id": "quotient_basis_extension_full_span_independence_dimension",
      "conditions": [],
      "explanation": {
        "zh-Hant": "任意ambient向量展開後，W部分在商中為零，extension cosets便生成。若extension線性組合落W，把它移成原完整basis的零關係，獨立性迫其係數全零，所以真是商basis。W=0或W=V也直接涵蓋；此dim公式限有限維。",
        "en": "Expand any ambient vector in the full basis;its W part vanishes in the quotient,so the extension cosets span.If an extension combination belongs to W,it gives a zero relation in the full independent basis,forcing every extension coefficient0.Thus these cosets form a quotient basis,including W=0 and W=V.This is a finite-dimensional formula."
      },
      "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": [
      3,
      1,
      2,
      true,
      "finite_dimensional_dimension_formula_and_zero_coset_is_W"
    ]
  },
  "conclusion": {
    "canonical_value": "(3, 1, 2, 是, finite_dimensional_dimension_formula_and_zero_coset_is_W)",
    "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-20261106-r07-quotient-vector-space-foundations",
      "batch_path": "public/data/questions/batches/batch-20261014-advance-20261106-r07-quotient-vector-space-foundations/questions.jsonl",
      "batch_sha256": "397a375663db7b70c770ebdf31978bf670a4045d83c4d06d54ad214ef66ac82f",
      "original_line": 82,
      "original_line_sha256": "73cbc36f0eca0a5067adcc369aeaa2d24a78b08c2fe062dce261d26ef9ac6205",
      "question_compact_sha256": "e6d1376d21aad81761cbc1a7a69211cfcc63e0b092817c9b5965a763cf383ced",
      "english_row_compact_sha256": "db60367d3b89ca89cfa412d757c52d02b9b9e8568425cc1db8cc8ad7feb57970",
      "english_manifest_path": "public/data/i18n/editions/batch-20261014-advance-20261106-r07-quotient-vector-space-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20261014-advance-20261106-r07-quotient-vector-space-foundations.en.jsonl"
    },
    "mko_bindings": {
      "mko-quotient-vector-space": {
        "sha256": "0f381f20543e1db106973cf749847f066bf4cb237412005cfb871209df548ed0",
        "english_sha256": "2591a61d4bb585ffcd836dbd49d9f2f74f4f3731c5c0b78d89bfbeb40b2729cd",
        "original_path": "public/data/mko/quotient-vector-space.json",
        "english_path": "public/data/i18n/editions/mko-quotient-vector-space.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "9ed24319f1e4df0dd58d2a2dfbf2846def03f020cb5ebf70613fab53c9165f11",
    "original_candidate_sha256": "5fc68040276a6de1f706c474f8efd2ea2df99b203f5f2171534943ecf5906f01",
    "original_candidate_line_sha256": "5fc68040276a6de1f706c474f8efd2ea2df99b203f5f2171534943ecf5906f01"
  },
  "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-p39",
    "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": "d165cad30849a3aba67390a59c572c0d965269d4b405e43df36da19e28d85612",
      "question_first_witness_sha256": "c222ca47a07939c019865a1e4d9ce633205cdee68db92bf96a96f5683a62ebc7"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 97,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "91bff18dba55268f87af10e7ff0be6fc973637d6bb25e426bb441025ff9a3a61",
      "arithmetic_steps": 64
    },
    "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."
  }
}