{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20260912-distance-coordinate-0001",
  "pilot_number": "P250-0001",
  "number": 1,
  "family_id": "qf-distance-coordinate",
  "title": {
    "zh-Hant": "第 1 題：座標平面距離計算",
    "en": "Question 1: Coordinate-Plane Distance"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20260912-distance-coordinate-0001",
    "batch_id": "batch-20260912-geometry-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-euclidean-length"
    ],
    "title_zh": "座標平面距離計算",
    "stem_zh": "在歐幾里得平面上，點 P=(-23, -26) 與 Q=(-20, -22)。求距離 d(P,Q)。",
    "answer": {
      "kind": "numeric",
      "value": 5,
      "explanation_zh": "座標差為 (3, 4)，所以 d=√(3²+4²)=5。"
    },
    "difficulty": {
      "band": "lower_secondary",
      "level": 1,
      "skills": [
        "座標差",
        "距離公式"
      ]
    },
    "variant": {
      "family_id": "qf-distance-coordinate",
      "seed": 20260912,
      "parameters": {
        "p": [
          -23,
          -26
        ],
        "q": [
          -20,
          -22
        ],
        "expected_distance": 5
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "schema_pending",
        "independent_recomputation_pending"
      ],
      "warning_zh": "本題僅對列出的有限參數重算；不構成相關定義或定理的普遍證明，且尚未人工審查。"
    },
    "provenance": {
      "generator_role": "question_producer",
      "generator_model": "GPT-5.6 Terra",
      "generated_at": "2026-09-12",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20260912-distance-coordinate-0001",
    "batch_id": "batch-20260912-geometry-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "1ab01d738d8394fd65988c57ea039fbb06a706d54988f7b8adfee8525a40547e",
      "family_id": "qf-distance-coordinate",
      "seed": 20260912,
      "semantic_template": "qf-distance-coordinate/20260912"
    },
    "fields": {
      "title": "Coordinate-Plane Distance",
      "stem": "In the Euclidean plane, P=(-23, -26) and Q=(-20, -22). Find the distance d(P,Q).",
      "answer": {
        "kind": "numeric",
        "value": 5,
        "explanation": "The coordinate difference is (3, 4), so d=√((3)²+(4)²)=5."
      },
      "skills": [
        "coordinate differences",
        "distance formula"
      ],
      "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": "在歐幾里得平面上，點 P=(-23, -26) 與 Q=(-20, -22)。求距離 d(P,Q)。",
        "en": "In the Euclidean plane, P=(-23, -26) and Q=(-20, -22). Find the distance d(P,Q)."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "P=(-23,-26), Q=(-20,-22)",
      "after": "Δx=Q_x−P_x; Δy=Q_y−P_y",
      "relation": "implies",
      "rule_id": "coordinate_difference",
      "conditions": [],
      "explanation": {
        "zh-Hant": "先固定相同方向 Q−P，分別求兩個座標差。",
        "en": "Use the same direction Q−P for both coordinate differences."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "交換兩點會同時改變差的符號，但不改變平方和。",
          "en": "Swapping the points changes both signs but not the sum of squares."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S002",
      "uses": [
        "G001",
        "S001"
      ],
      "before": "Δx := sub(-20, -23)",
      "after": "Δx = 3",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "橫座標差是 -20 減去 -23，負座標仍須保留括號。",
        "en": "Subtract -23 from -20; keep parentheses around negative coordinates."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Δx，不以小數近似替代。",
          "en": "Recompute Δx with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "-20",
          "-23"
        ],
        "output": "3",
        "label": "Δx"
      }
    },
    {
      "id": "S003",
      "uses": [
        "G001",
        "S002"
      ],
      "before": "Δy := sub(-22, -26)",
      "after": "Δy = 4",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "縱座標差是 -22 減去 -26。",
        "en": "The vertical difference is -22 minus -26."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Δy，不以小數近似替代。",
          "en": "Recompute Δy with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "-22",
          "-26"
        ],
        "output": "4",
        "label": "Δy"
      }
    },
    {
      "id": "S004",
      "uses": [
        "G001",
        "S003"
      ],
      "before": "(Δx)² := square(3)",
      "after": "(Δx)² = 9",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "先把完整的橫差平方，不能只平方減數。",
        "en": "Square the entire horizontal difference, not just the subtracted coordinate."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 (Δx)²，不以小數近似替代。",
          "en": "Recompute (Δx)² with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "square",
        "inputs": [
          "3"
        ],
        "output": "9",
        "label": "(Δx)²"
      }
    },
    {
      "id": "S005",
      "uses": [
        "G001",
        "S004"
      ],
      "before": "(Δy)² := square(4)",
      "after": "(Δy)² = 16",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "縱差即使為負，平方後仍非負。",
        "en": "The square is nonnegative even when the vertical difference is negative."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 (Δy)²，不以小數近似替代。",
          "en": "Recompute (Δy)² with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "square",
        "inputs": [
          "4"
        ],
        "output": "16",
        "label": "(Δy)²"
      }
    },
    {
      "id": "S006",
      "uses": [
        "G001",
        "S005"
      ],
      "before": "d² := sum(9, 16)",
      "after": "d² = 25",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依歐幾里得距離公式加總兩個平方。",
        "en": "Add the two squares in the Euclidean distance formula."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 d²，不以小數近似替代。",
          "en": "Recompute d² with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "9",
          "16"
        ],
        "output": "25",
        "label": "d²"
      }
    },
    {
      "id": "S007",
      "uses": [
        "G001",
        "S006"
      ],
      "before": "d²=25, d≥0",
      "after": "d=√(25)=5",
      "relation": "implies",
      "rule_id": "nonnegative_square_root",
      "conditions": [
        "d≥0"
      ],
      "explanation": {
        "zh-Hant": "因為 5²=25 且距離不為負，取非負平方根 5。",
        "en": "Since 5²=25 and distance is nonnegative, choose the nonnegative root 5."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "負平方根不是距離；不將平方距離直接當作距離。",
          "en": "The negative root is not a distance, and squared distance is not distance itself."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S008",
      "uses": [
        "G001",
        "S007"
      ],
      "before": "answer² := square(5)",
      "after": "answer² = 25",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "把所得距離平方，回核原來的平方和。",
        "en": "Square the proposed distance to recover the original sum of squares."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 answer²，不以小數近似替代。",
          "en": "Recompute answer² with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "square",
        "inputs": [
          "5"
        ],
        "output": "25",
        "label": "answer²"
      }
    }
  ],
  "math_model": {
    "dx": "3",
    "dy": "4",
    "square": "25",
    "root": 5
  },
  "conclusion": {
    "canonical_value": 5,
    "explanation": {
      "zh-Hant": "兩點距離為 5。",
      "en": "The distance is 5."
    }
  },
  "definition_note": {
    "zh-Hant": "距離取非負主平方根，沿用引用來源既有假設 a3；相同點的距離為零。本批兩點均不同，結果皆為正。",
    "en": "Distance uses the nonnegative principal square root, following existing source assumption a3. Coincident points have zero distance; the selected pairs are distinct and have positive distances."
  },
  "source": {
    "input_commit": "0f7be61e2c22317a4075561dc822c87d881a50db",
    "question_binding": {
      "batch_id": "batch-20260912-geometry-foundations",
      "batch_path": "public/data/questions/batches/batch-20260912-geometry-foundations/questions.jsonl",
      "batch_sha256": "818fc9bd154b15a97199c437c5345260e55307eada85586bf547e52c4ae518dc",
      "original_line": 1,
      "original_line_sha256": "3672971ff4043b821403c3a69680fc386e6e68702aabb413625e15de04886da3",
      "question_compact_sha256": "1ab01d738d8394fd65988c57ea039fbb06a706d54988f7b8adfee8525a40547e",
      "english_manifest_path": "public/data/i18n/editions/batch-20260912-geometry-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20260912-geometry-foundations.en.jsonl",
      "english_row_compact_sha256": "9ca9fe408118c80aaf8ec5d74b3aa91ac46b5267c7f48f0ba839801183e6e61b"
    },
    "mko_bindings": {
      "mko-euclidean-length": {
        "sha256": "485948172a6b39e7ec2cf3170ab03489fed98190d0c868161fbbd037f7151e91",
        "english_sha256": "b3ddf0a703643ec48198e001b53296e8991e8855e011f8b9ac9462cd47d53435",
        "original_path": "public/data/mko/euclidean-length.json",
        "english_path": "public/data/i18n/editions/mko-euclidean-length.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "fb325b42cfcaa25ddbae992459c2684afd767fe218028bc0b9c0823e67c83b7c",
    "original_candidate_sha256": "781113a9e9dfe9313cdc66cd3a3d90d7ef65ea170ffd40679d2e629b5d159f8e",
    "original_candidate_line_sha256": "781113a9e9dfe9313cdc66cd3a3d90d7ef65ea170ffd40679d2e629b5d159f8e"
  },
  "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": "本稿是來源綁定的教學推導候選；精確重算不等於獨立數學審查或形式化證明。原題、答案、公式、AST 與歷史未被修改。",
      "en": "This is a source-bound pedagogical derivation candidate. Exact recomputation is not independent mathematical review or formal proof. Original questions, answers, formulas, ASTs and history are unchanged."
    },
    "label": "Frozen producer metadata; current per-question review is separate below."
  },
  "revision": {
    "id": "review-20261024-001",
    "review_date": "2026-10-24",
    "owner_authorized_reader_publication": true,
    "scope": "Independent second-context reading of all25 bilingual derivations and200 steps, with question-first exact recalculation. Not human review, a formal proof, whole36000 acceptance or Canonical promotion.",
    "review_receipts": {
      "semantic_review_sha256": "ada91cd601dc368efd790cdd3aa80d0c7432d82b465fcdd1eef5148d3959755c",
      "question_first_witness_sha256": "c36a153d3b48c84ba1bb7f6534cc6b835c243b74dd8080300b8026ab133fc6f6"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 8,
    "exact_question_first_check": {
      "dx": 3,
      "dy": 4,
      "square": 25,
      "distance": 5,
      "expanded_square": 25
    },
    "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."
  }
}