{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20260930-r07-coordinate-axis-membership-0003",
  "pilot_number": "R0005-03428",
  "number": 3428,
  "family_id": "qf-coordinate-axis-membership",
  "title": {
    "zh-Hant": "第 3428 題：座標點的軸隸屬",
    "en": "Question 3428: Axis Membership of a Coordinate Point"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20260930-r07-coordinate-axis-membership-0003",
    "batch_id": "batch-20260930-r07-coordinate-plane-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-coordinate-plane"
    ],
    "title_zh": "座標點的軸隸屬",
    "stem_zh": "在同一明示平面直角座標系中，點 P=(-2,0) 是否在 x 軸上？回答是或否；原點可同時屬於兩軸。",
    "answer": {
      "kind": "short_text",
      "value": "是",
      "explanation_zh": "x 軸的條件是 y=0；逐座標檢查後答案為是。"
    },
    "difficulty": {
      "band": "lower_secondary",
      "level": 3,
      "skills": [
        "零座標",
        "原點邊界"
      ]
    },
    "variant": {
      "family_id": "qf-coordinate-axis-membership",
      "seed": 202609307103,
      "parameters": {
        "operation": "axis_membership",
        "x": -2,
        "y": 0,
        "axis": "x",
        "semantic_template": "qf-coordinate-axis-membership/{\"axis\":\"x\",\"operation\":\"axis_membership\",\"x\":-2,\"y\":0}"
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "json_schema",
        "producer_local_answer_invariants",
        "explanation_witness_accuracy"
      ],
      "warning_zh": "本題保持 candidate；有限精確計算與產生者自檢不構成人工審查、形式證明或主架構者驗收。"
    },
    "provenance": {
      "generator_role": "question_producer",
      "generator_model": "Codex GPT-6 question producer",
      "generated_at": "2026-09-30",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20260930-r07-coordinate-axis-membership-0003",
    "batch_id": "batch-20260930-r07-coordinate-plane-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "989bbc5ec32441b056df74874aa318afbbf451f72c04cafb3e2b4fa17849a866",
      "family_id": "qf-coordinate-axis-membership",
      "seed": 202609307103,
      "semantic_template": "qf-coordinate-axis-membership/{\"axis\":\"x\",\"operation\":\"axis_membership\",\"x\":-2,\"y\":0}"
    },
    "fields": {
      "title": "Axis Membership of a Coordinate Point",
      "stem": "In one explicit Cartesian coordinate system, is P=(-2,0) on the x-axis? Answer Yes or No; the origin belongs to both axes.",
      "answer": {
        "kind": "short_text",
        "value": "Yes",
        "explanation": "The x-axis condition is y=0. Componentwise checking gives Yes."
      },
      "skills": [
        "zero coordinates",
        "origin boundary"
      ],
      "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=(-2,0) 是否在 x 軸上？回答是或否；原點可同時屬於兩軸。",
        "en": "In one explicit Cartesian coordinate system, is P=(-2,0) on the x-axis? Answer Yes or No; the origin belongs to both axes."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "P=(-2,0) in one declared rectangular frame",
      "after": "first component=x;second component=y",
      "relation": "implies",
      "rule_id": "ordered_coordinate_convention",
      "conditions": [],
      "explanation": {
        "zh-Hant": "同一座標系中的有序對先橫後縱，不可交換分量或由圖形外觀補值。",
        "en": "In the same coordinate frame,the ordered pair lists horizontal before vertical;do not swap components or infer missing values from a drawing."
      },
      "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": "x=-2;y=0;requested x-axis",
      "after": "是",
      "relation": "implies",
      "rule_id": "axis_zero_coordinate_test",
      "conditions": [],
      "explanation": {
        "zh-Hant": "在x軸當且僅當y=0，在y軸當且僅當x=0；原點同時在兩軸，不需另一分量非零。",
        "en": "The x-axis requires y=0 and the y-axis requires x=0.The origin belongs to both axes;the other component need not be nonzero."
      },
      "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": true
  },
  "conclusion": {
    "canonical_value": "是",
    "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-20260930-r07-coordinate-plane-foundations",
      "batch_path": "public/data/questions/batches/batch-20260930-r07-coordinate-plane-foundations/questions.jsonl",
      "batch_sha256": "32ef245c717f4c3fe84f3da28bd882f057fdc66be762a205d90a580b4119100f",
      "original_line": 28,
      "original_line_sha256": "ed8bf9c7803176cfe43a1d9e6b2a9997c803e58cb22ddf72f672285c137570d8",
      "question_compact_sha256": "989bbc5ec32441b056df74874aa318afbbf451f72c04cafb3e2b4fa17849a866",
      "english_row_compact_sha256": "0ca0c0b679f5e93eb7eb70d12d2436dd7c338e3efa67bda02f030a7172e6d3c4",
      "english_manifest_path": "public/data/i18n/editions/batch-20260930-r07-coordinate-plane-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20260930-r07-coordinate-plane-foundations.en.jsonl"
    },
    "mko_bindings": {
      "mko-coordinate-plane": {
        "sha256": "eb010001cb85a8fe8eee5a876ee1ec40caddc67fe621f671741caacf48ab3c78",
        "english_sha256": "5da6135768256b641dcda707cae4d1c9b7a425ea489f9b1e850eaa6bf67fa0b3",
        "original_path": "public/data/mko/coordinate-plane.json",
        "english_path": "public/data/i18n/editions/mko-coordinate-plane.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "66b95c054a23815e6aa9999f9605667abcb96e0c5a97b71cd67b67041065878a",
    "original_candidate_sha256": "3415e69aff706bcd3e82674f925f9fafc4f1ed406d309ddea942d14271722e32",
    "original_candidate_line_sha256": "3415e69aff706bcd3e82674f925f9fafc4f1ed406d309ddea942d14271722e32"
  },
  "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-004-p6",
    "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": "5d74de11610ebc6037a4fc9946d77154d4ed18389f8f0feeb823148b6320c4c2",
      "question_first_witness_sha256": "1fba4ab0f13c2cfcc4d9fdebe492c442d43dd45700394a443daa28f333355ed9"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 2,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "39d160e97e2bea07b0cf1c647259ffa4f0bd07069dba4e6c19a22d38b408510f",
      "arithmetic_steps": 0
    },
    "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."
  }
}