{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0001","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"130208dc0ebc2f6a0e1ed81785fdf6efed57876b007597e39be80df31fcdf96b","family_id":"qf-mod32-matching-audit","seed":202611015001,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[2,3]],\"matching\":[0,1],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 1], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 1], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 1], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0002","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"74e4ecd43efd94d5c67407a0a0112b99931f5b7147e1a396c6c467d4df0efa2e","family_id":"qf-mod32-matching-audit","seed":202611015002,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 2], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 2], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0003","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"150a14b48ac7301b2bde922a07b041acf47c1a64f83e931962c0d56abe39e60f","family_id":"qf-mod32-matching-audit","seed":202611015003,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,3],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 2], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 2], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0004","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"208b9058dd66e88dfa609e5af59c44b915a25cff47f3393c03581913a625da5a","family_id":"qf-mod32-matching-audit","seed":202611015004,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[0,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 3], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 3], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0005","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e663bcc1d246c504b5e5eaa071d80772bccd22f7721374f3bf8ffb7d13400d88","family_id":"qf-mod32-matching-audit","seed":202611015005,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[1,2],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 2], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 2], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0006","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4e2152fa70656b27215478ee58fce50a2a548100fe8a175178ea2a508e074bcc","family_id":"qf-mod32-matching-audit","seed":202611015006,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[1,2],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 3], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 3], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0007","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"197fd64a5a7afe6f7ac13be320ee2853c1bc9e2860617fe3ea168865820cdc96","family_id":"qf-mod32-matching-audit","seed":202611015007,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,3],[1,2],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 3], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 3], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0008","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ef75f00caccc471e7b23f4790c5ed9a35222e3cf1563ce73a23b4fac2a612b53","family_id":"qf-mod32-matching-audit","seed":202611015008,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 4], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 4], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0009","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"1ac09757516940c94ffa04dce3a05d1ba856cf08593c411399789bb2478cd54f","family_id":"qf-mod32-matching-audit","seed":202611015009,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[1,3],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 2], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 2], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0010","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e1aecb265ec3079cf150f075d844e5b58874e49785f871026fff24ede66c55ef","family_id":"qf-mod32-matching-audit","seed":202611015010,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[1,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 3], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 3], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0011","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"337f79af0d70054f6beea3a14b67267eb9e7a1cb8e71e89779a3a0c3ff23b56b","family_id":"qf-mod32-matching-audit","seed":202611015011,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,3],[1,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 3], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 3], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0012","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"58f759323b41203f6114ee0ace133f92f911e6abdc5d3976c815145f525b353d","family_id":"qf-mod32-matching-audit","seed":202611015012,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[0,3],[1,3],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 4], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 4], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0013","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"fcd3f9761331623119cadcbe81d28c4f014ff3233b306ecede24f304a1de48e1","family_id":"qf-mod32-matching-audit","seed":202611015013,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[1,2],[1,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 3], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 3], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0014","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a3a6edb5f4e04a9dea35ff73407b4110d811b4b3e06d28abd60c7cd2eb1cf958","family_id":"qf-mod32-matching-audit","seed":202611015014,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[1,2],[1,3],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 4], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 4], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0015","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"fa4d8921210cb6dc0b79336c9ebf9039ebe7b50f0cd322a879a838aeb68ae4e1","family_id":"qf-mod32-matching-audit","seed":202611015015,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,3],[1,2],[1,3],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 4], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 4], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0016","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"21912ab24081837a90ecc4deb332c56812914bba3a5985f08c5607ea34d460c7","family_id":"qf-mod32-matching-audit","seed":202611015016,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],\"matching\":[0,5],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 5], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 5], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 5], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0017","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3c6a3f1b24fe3f3c22be7734bf2b93712d34b28dc20096aca017e1f1ca689c34","family_id":"qf-mod32-matching-audit","seed":202611015017,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[2,3],[4,5]],\"matching\":[0,1],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 1], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 1], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 1], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0018","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4ba1d4f1fe4f3b37445267b3101f1b71627c4a9d04f6b6dc2637bd79f8c00880","family_id":"qf-mod32-matching-audit","seed":202611015018,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 2], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 2], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0019","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"c731ff1bc38d813490cfb9177f29f6dba3b043ea9f789c675b12db04f8f1910f","family_id":"qf-mod32-matching-audit","seed":202611015019,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,3],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 2], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 2], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0020","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f5e1fb6a2e0ead732fbb82249d3ec252b007dec300159f05eedcc97834efa8f9","family_id":"qf-mod32-matching-audit","seed":202611015020,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[0,3],[2,3],[4,5]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 3], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 3], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0021","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"fbb96174fd07278242ea562503081819487c4ff033be3ed6707175248ee5da72","family_id":"qf-mod32-matching-audit","seed":202611015021,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[1,2],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 2], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 2], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0022","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d8b78a9e5a9c5e2ef6f16826be5a14a6b4ad390c70430d564eff522099d98ae9","family_id":"qf-mod32-matching-audit","seed":202611015022,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[1,2],[2,3],[4,5]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 3], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 3], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0023","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"05abc334d399b913e69f9848bc141420b51f597247d99094230778ca597ebd1a","family_id":"qf-mod32-matching-audit","seed":202611015023,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,3],[1,2],[2,3],[4,5]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 3], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 3], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0024","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f7036139e2500ff3173bcf6ce1bedae6b18a592632bfffca02107a355212d921","family_id":"qf-mod32-matching-audit","seed":202611015024,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[2,3],[4,5]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 4], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 4], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0025","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"eae3461f9de6373b9a5f2981060dd45453ce74ce59e0b99f46bd7327d3e4b40a","family_id":"qf-mod32-matching-audit","seed":202611015025,"semantic_template":"qf-mod32-matching-audit/{\"edges\":[[0,1],[1,3],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"Selected Edges Form a Matching Only When Endpoints Are Disjoint","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_indexes,matching_edges,conflicting_vertices,valid_matching?). List conflicting vertices in first-seen endpoint order while traversing the selected edges, not an invented numerical sort.","answer":{"kind":"expression","value":"([0, 2], [[0, 1], [2, 3]], [], Yes)","explanation":"Read every selected original edge and count endpoint incidences. Any count above one is a conflict. Validity alone supplies no maximum-cardinality or perfect-matching certificate. The exact result, retaining the requested order, is ([0, 2], [[0, 1], [2, 3]], [], Yes)."},"skills":["Selected Edges Form a Matching Only When Endpoints Are Disjoint"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0026","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"26903115110532e2520af3a96c0bb16401275dd7bd14b3b9888c585d1716711b","family_id":"qf-mod32-matching-matched-vertices","seed":202611015026,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[2,3]],\"matching\":[0,1],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 1], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0027","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"874cdbefa4b32cd2b26eeb4cf17a372b57de4ef3f9fcb2ee4002ec739be695ab","family_id":"qf-mod32-matching-matched-vertices","seed":202611015027,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0028","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"91664f32972a68f8084c06a40d59d482c0eb7a967baaa039d7c9e5ce695135c9","family_id":"qf-mod32-matching-matched-vertices","seed":202611015028,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,3],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0029","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"82a8a9e650431ee806f797d1067d48ccfc38309fba68852361b79feaa2734440","family_id":"qf-mod32-matching-matched-vertices","seed":202611015029,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[0,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0030","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"46c4b610a408142ebd62c8d9369311d182053c33a827bf7fbbcdcd05ef9a7f8b","family_id":"qf-mod32-matching-matched-vertices","seed":202611015030,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[1,2],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0031","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b0555504475e44b43ac5fa1049c78a3e3059137f9f2ff8fc24d78b5acf747203","family_id":"qf-mod32-matching-matched-vertices","seed":202611015031,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[1,2],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0032","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"beeef3c19ed5126c0fb5f8a56eac52a74b39b3d491e754777aed6d8c55e205c2","family_id":"qf-mod32-matching-matched-vertices","seed":202611015032,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,3],[1,2],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0033","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"598ae003082370ac6b29395ca0304e11bf56178a4b2d0c8bf9ef70bc9c02f956","family_id":"qf-mod32-matching-matched-vertices","seed":202611015033,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0034","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"7a2645815c860d7c4eb69aeeb3003cebcd22a8ea3945771a20a06814d37f7a92","family_id":"qf-mod32-matching-matched-vertices","seed":202611015034,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[1,3],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0035","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"320f17fd4e5ba15fdbfa21647afa638b519ca38c4a4eb72547ce036144bdbaa9","family_id":"qf-mod32-matching-matched-vertices","seed":202611015035,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[1,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0036","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"557c0bff8a2936885a9e4643dfd097524b971355bb16f3451c26f0949e65a86f","family_id":"qf-mod32-matching-matched-vertices","seed":202611015036,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,3],[1,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0037","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f21dfaf82b587936de054543c66347ff63b3435bf96c4375539d6da381d56311","family_id":"qf-mod32-matching-matched-vertices","seed":202611015037,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[0,3],[1,3],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0038","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"af1627526d469188fcacdd039030e899a2f1ae4e9d07e9bcd830456b6f4221d5","family_id":"qf-mod32-matching-matched-vertices","seed":202611015038,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[1,2],[1,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0039","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"8532d5f233ce23070b00ec30ecef018441fb12f7b6caea254e33baf45e880574","family_id":"qf-mod32-matching-matched-vertices","seed":202611015039,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[1,2],[1,3],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0040","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"943181f7801d975105d44af76dad9c05d9e99c1d3f5fd865a8bf8f8e6b9d4862","family_id":"qf-mod32-matching-matched-vertices","seed":202611015040,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,3],[1,2],[1,3],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0041","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3ffe5e87446f8c49f0b850660ea27dc7f8621389650014f77c3b118c1bdca595","family_id":"qf-mod32-matching-matched-vertices","seed":202611015041,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],\"matching\":[0,5],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 5], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0042","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"17409995ec88ab3e7d13d81cf30868660d5ed0ff6c1c6c10a236f5c276d06aac","family_id":"qf-mod32-matching-matched-vertices","seed":202611015042,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[2,3],[4,5]],\"matching\":[0,1],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 1], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0043","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d78b4e07c51a74ed5ef02b6f04bab2aba97976435fab725f65a2224e3bcc36ce","family_id":"qf-mod32-matching-matched-vertices","seed":202611015043,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0044","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"74c8a6fe573e137ae158a46920f21d1c5982d7b88466457cf4b05e096cbcc720","family_id":"qf-mod32-matching-matched-vertices","seed":202611015044,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,3],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0045","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"623e530c5e77e49236bf76c927e243c5b807577b821feccef028319690438301","family_id":"qf-mod32-matching-matched-vertices","seed":202611015045,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[0,3],[2,3],[4,5]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0046","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"cffbe04d8b793402b17daf8558e7634f5c592cb48171581a5f130cb8d508e28d","family_id":"qf-mod32-matching-matched-vertices","seed":202611015046,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[1,2],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0047","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"be9ef1115e50904afbb162c94b10f6af458a11a2ce7b626c837f1aaac0da25c6","family_id":"qf-mod32-matching-matched-vertices","seed":202611015047,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[1,2],[2,3],[4,5]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0048","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a92b43311dfd0b6f51dc6f981314559255a0da5c59baf8c7a4573b541e328284","family_id":"qf-mod32-matching-matched-vertices","seed":202611015048,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,3],[1,2],[2,3],[4,5]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0049","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"5214348a610763d370cb436efe9eb6956e95ef403ee392a6169e87ce5c2a2884","family_id":"qf-mod32-matching-matched-vertices","seed":202611015049,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[2,3],[4,5]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0050","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"532df4898985d78d73855b1a7aa4774827bdbb732b529e3266c4086c2c14f949","family_id":"qf-mod32-matching-matched-vertices","seed":202611015050,"semantic_template":"qf-mod32-matching-matched-vertices/{\"edges\":[[0,1],[1,3],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"List the Whole Matched and Unmatched Vertex Sets","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (matching_edges,matched_vertices,unmatched_vertices,valid_matching?), with vertex lists increasing.","answer":{"kind":"expression","value":"([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)","explanation":"Take the union of selected edge endpoints and its complement in the complete carrier, retaining isolated vertices as unmatched where appropriate. Report validity separately even if an invalid selection still covers vertices. The exact result, retaining the requested order, is ([[0, 1], [2, 3]], [0, 1, 2, 3], [4, 5], Yes)."},"skills":["List the Whole Matched and Unmatched Vertex Sets"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0051","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"99e3f7275ff621acdf10dc5b6ed40e479994f0087618a89f48926090f02cad89","family_id":"qf-mod32-matching-maximality-audit","seed":202611015051,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[2,3]],\"matching\":[0,1],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 1], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0052","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"353734aa225c1c8ec5d893f62f0dc705708251a03cdd502759f543cc841a85ac","family_id":"qf-mod32-matching-maximality-audit","seed":202611015052,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0053","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a973171bfe9b6b34641d663be611d38172be50cece52873d1aa5b3776d60f9a1","family_id":"qf-mod32-matching-maximality-audit","seed":202611015053,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,3],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0054","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"08dcf612c575d8520d38101d71a82723e5609317a88eb4a8be6ae4ee878acf51","family_id":"qf-mod32-matching-maximality-audit","seed":202611015054,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[0,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0055","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"86defe86dc08d1a4a97fbe62395e3a5cc39c8ac39a1b9a225bc14b1447641ac4","family_id":"qf-mod32-matching-maximality-audit","seed":202611015055,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[1,2],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0056","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f9af743f3dd048c19ec2c75787b324780d929399836dea43d9d8f4b8feda3c9f","family_id":"qf-mod32-matching-maximality-audit","seed":202611015056,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[1,2],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0057","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e33ccb97235ef075d8800630e29d6e15db75570d74f01ef8e9cb18c9c138d1c4","family_id":"qf-mod32-matching-maximality-audit","seed":202611015057,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,3],[1,2],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0058","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ac2299e41938f07d7a06bbbddb9c4eb03387f930d15d05bee056b96f75703d2d","family_id":"qf-mod32-matching-maximality-audit","seed":202611015058,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0059","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9edecdc470fbcb1b6136ba66d6ec6b2af241f3c0fa0cbfe23311ce0035896ac0","family_id":"qf-mod32-matching-maximality-audit","seed":202611015059,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[1,3],[2,3]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0060","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"36c830a3a36eba33cde28b11a1f5843fddddcfb44ce804d072ba9686de601b70","family_id":"qf-mod32-matching-maximality-audit","seed":202611015060,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[1,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0061","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"49de6c04a8d093f72b227fa2840cfe7a7e617fa7c7e44f64b5795f801263a92c","family_id":"qf-mod32-matching-maximality-audit","seed":202611015061,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,3],[1,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0062","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"86f30995bd5572402da86befebda1ccbd0753a31cdd4e2fd36d2a2674fbc22f5","family_id":"qf-mod32-matching-maximality-audit","seed":202611015062,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[0,3],[1,3],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0063","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"878539dffa76a87779a2e61231c94cc9553ce6b8673c3c35fa052c2dd3ef388a","family_id":"qf-mod32-matching-maximality-audit","seed":202611015063,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[1,2],[1,3],[2,3]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0064","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"cd7ef739ff84bed8d32361481a7c54607606a95895ce78084d027bfcca1e48ea","family_id":"qf-mod32-matching-maximality-audit","seed":202611015064,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[1,2],[1,3],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0065","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"dba8f033e9a328b446ce7a0e8f155ea275262856f285f22dcc9f941d079fb62c","family_id":"qf-mod32-matching-maximality-audit","seed":202611015065,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,3],[1,2],[1,3],[2,3]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0066","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f4cf03925537b2038af7c49946842cd1d4dfbcc79d568348ab3af01da7b91972","family_id":"qf-mod32-matching-maximality-audit","seed":202611015066,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],\"matching\":[0,5],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 5], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [], Yes, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [], Yes, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0067","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"57c592a98043253ae2f8cdcfc8c29fbe2e68a1e03fb77895c25301a61bc4dcec","family_id":"qf-mod32-matching-maximality-audit","seed":202611015067,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[2,3],[4,5]],\"matching\":[0,1],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 1], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [2], No, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [2], No, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0068","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"233393631bf06bbf2be925b37be61da3099452d0667573c85df69292cbf7cdbf","family_id":"qf-mod32-matching-maximality-audit","seed":202611015068,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [3], No, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [3], No, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0069","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0cb54db7f2d631875dae3f685d8fee1f051832c95c8b74699d35bd008d2e56d2","family_id":"qf-mod32-matching-maximality-audit","seed":202611015069,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,3],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [3], No, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [3], No, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0070","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9a8776ba6b393b9fd4a532b7411d1eb537e1852873b91c936866d50ea3ac1a5a","family_id":"qf-mod32-matching-maximality-audit","seed":202611015070,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[0,3],[2,3],[4,5]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [4], No, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [4], No, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0071","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3b2753d6d4cd84a7425ff1c4e6e7d2b3db1b6dad9218ac9e0b5a51b3b9124756","family_id":"qf-mod32-matching-maximality-audit","seed":202611015071,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[1,2],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [3], No, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [3], No, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0072","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3dfae256872a11ca7da70da8447273e295a6e6e5e216e9c5d679a8dfc94890f2","family_id":"qf-mod32-matching-maximality-audit","seed":202611015072,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[1,2],[2,3],[4,5]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [4], No, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [4], No, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0073","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"eca450a2f00c3ff190074b4d31eb447fae5cb844bd578df3ad8ee4320e2e9717","family_id":"qf-mod32-matching-maximality-audit","seed":202611015073,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,3],[1,2],[2,3],[4,5]],\"matching\":[0,3],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 3], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [4], No, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [4], No, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0074","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"c69862d8642da3a8b68f7673a397b257a3033a34280b4b6cf002d7ac46d78b7c","family_id":"qf-mod32-matching-maximality-audit","seed":202611015074,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[2,3],[4,5]],\"matching\":[0,4],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 4], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [5], No, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [5], No, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0075","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"82681951c60807e2d2ee62acee31a86aa2a39cd7dc37b2de38377bad7e4829e0","family_id":"qf-mod32-matching-maximality-audit","seed":202611015075,"semantic_template":"qf-mod32-matching-maximality-audit/{\"edges\":[[0,1],[1,3],[2,3],[4,5]],\"matching\":[0,2],\"n\":6}"},"fields":{"title":"A Maximal Matching May Still Have Smaller Cardinality than Another Matching","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0, 2], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Give (valid_matching?,addable_edge_indexes,maximal?,maximal_not_necessarily_maximum). List unselected original edges with both endpoints unmatched, in original index order.","answer":{"kind":"expression","value":"(Yes, [3], No, maximal_not_necessarily_maximum)","explanation":"A valid matching is maximal when no edge can be added directly. This does not rule out replacing some edges by a larger matching; maximum cardinality needs another certificate. The exact result, retaining the requested order, is (Yes, [3], No, maximal_not_necessarily_maximum)."},"skills":["A Maximal Matching May Still Have Smaller Cardinality than Another Matching"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0076","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"47cc91f0649f2bd6b63c6e333f976e3d9f1a402aaf7fae549803801a6135ef72","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015076,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[2,3]],\"larger_matching\":[0,1],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 1], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 1], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 1], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0077","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"1a58ccc0d1b071f099fc467184b4a95d19df13c119ce4b06cb54a293f2bb9530","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015077,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[2,3]],\"larger_matching\":[0,2],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 2], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0078","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"cc10a6417b981b66fa41d77489c692937751b766c14165bc842e17fd9ae02280","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015078,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,3],[2,3]],\"larger_matching\":[0,2],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 2], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0079","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0f55224e343b0690fe871620adc9636dca26063efb4e0154f44a6c750373c66f","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015079,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[0,3],[2,3]],\"larger_matching\":[0,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0080","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"7d5aa0c0766d4994f7b1fc02891b00447ae7ce2c7f1940b4d51a7c1808b7d888","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015080,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[1,2],[2,3]],\"larger_matching\":[0,2],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 2], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0081","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"63b2c97c6573604a63fbb00bfdfe0fb4bc36776c7c9f4078973b654ed6f1728c","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015081,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[1,2],[2,3]],\"larger_matching\":[0,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0082","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d93f8ca5bf43677650ef5881433e8a2c4fbebfd8fe16616d72c80d6748069736","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015082,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,3],[1,2],[2,3]],\"larger_matching\":[0,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0083","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d73a47bddf1227bc16e843ce3bd64eec5648ef2923030a53a703e9e1f2c9ea14","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015083,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[2,3]],\"larger_matching\":[0,4],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 4], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 4], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 4], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0084","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"7bf4472715b830e06f1baf4bf28e10075843fa73ca6dbee60bd6e80de5ab9c66","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015084,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[1,3],[2,3]],\"larger_matching\":[0,2],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 2], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0085","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"8c197c747241244f9f695e47ff8c0c660c975c004a0ca1076e7f97e0fd79c711","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015085,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[1,3],[2,3]],\"larger_matching\":[1,2],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[1, 2], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [1, 2], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [1, 2], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0086","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"129a206c581e4d3b9bcec57e49ead271fdb6016f2d808ad312fb9e3181465516","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015086,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,3],[1,3],[2,3]],\"larger_matching\":[0,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0087","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b55758e8065c4fed9ca968391b0f109f66bdd43f3e8865db5e7f2212f24f3aa5","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015087,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[0,3],[1,3],[2,3]],\"larger_matching\":[1,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[1, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [1, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [1, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0088","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3c5ca67624ffa9191ec9fbf1806a40b04de3c970643b2b5f8369be96a12f3681","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015088,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[1,2],[1,3],[2,3]],\"larger_matching\":[0,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0089","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"2aa9c3b52c6c3348a49fcdd783788fdc30b33e0d2d1e07abb9353e7c2f8c1a48","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015089,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[1,2],[1,3],[2,3]],\"larger_matching\":[1,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[1, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [1, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [1, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0090","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"7e86ed1f131986b671ca95a547f57f7fee552397064f5f73ed895ef5015639df","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015090,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,3],[1,2],[1,3],[2,3]],\"larger_matching\":[0,4],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 4], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 4], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 4], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0091","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"59a28157b0c9cf805e63d0c7d1b1b88db94148f81278e5b247f3fa3a899c735d","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015091,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],\"larger_matching\":[1,4],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [1, 3], [2, 3]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[1, 4], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [1, 4], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [1, 4], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0092","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b5526effd513fd54213ef3e4323bffaef71e764a64cfaeff7d9b8244d7fefff9","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015092,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[2,3],[4,5]],\"larger_matching\":[0,1],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 1], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 1], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 1], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0093","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"5309845f5356bb2779c09a6bfe514ab43e4aca7ecafd879670b68f99942e5cef","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015093,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[2,3],[4,5]],\"larger_matching\":[0,2],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 2], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0094","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"335fd664e494b4b3751fe5f32cd0113d9ceff30d4558d5bc3671e907b1267553","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015094,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,3],[2,3],[4,5]],\"larger_matching\":[0,2],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 2], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0095","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"c0e634bd9694fe753f3d1290bc09851700b9cb7ab64a6823d59f35932abd66c3","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015095,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[0,3],[2,3],[4,5]],\"larger_matching\":[0,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0096","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"2792e142f58b6ff772c3bb3cfd77d9a336b3f5dd22203897ed8171f295bb2fc9","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015096,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[1,2],[2,3],[4,5]],\"larger_matching\":[0,2],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 2], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0097","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e46e1c462f231651c49ad9104c7f9bf4bf74704c2d00aaaaaca8bdd9b68fe1a4","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015097,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[1,2],[2,3],[4,5]],\"larger_matching\":[0,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0098","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"257a2bfb0eb1c910ce915c3de751f84044c0d3aec20644aedc6cb05a28b58348","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015098,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,3],[1,2],[2,3],[4,5]],\"larger_matching\":[0,3],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 3], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 3], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 3], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0099","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3c535a60259a3f55c2edebff375ee72679b584ac2039d3f7042d0bcb4ee2d90a","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015099,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[0,2],[0,3],[1,2],[2,3],[4,5]],\"larger_matching\":[0,4],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [0, 2], [0, 3], [1, 2], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 4], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 4], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 4], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261014-advance-20261101-r05-graph-matching-0100","batch_id":"batch-20261014-advance-20261101-r05-graph-matching-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ed12e3f8628c8a06ea363148b79ca07288303288e89f6397c371206bf9de5689","family_id":"qf-mod32-matching-maximum-distinction","seed":202611015100,"semantic_template":"qf-mod32-matching-maximum-distinction/{\"edges\":[[0,1],[1,3],[2,3],[4,5]],\"larger_matching\":[0,2],\"matching\":[0],\"n\":6}"},"fields":{"title":"A Supplied Larger Valid Matching Refutes Maximum Cardinality","stem":"Use the complete finite undirected loop-free simple graph on Fin(6)={0,…,5} with canonical edges=[[0, 1], [1, 3], [2, 3], [4, 5]], endpoints increasing and the edge list lexicographically sorted. The source rejects noncanonical or duplicate edges. Select original edge indexes matching=[0], sorted increasingly with duplicates forbidden. A matching has pairwise disjoint endpoints; the empty matching is allowed. Keep matching validity, maximality, maximum cardinality and perfect coverage distinct. Compare larger_matching=[0, 2], also normalized as distinct original edge indexes. Give (matching_indexes,larger_indexes,size,larger_size,witness?,conclusion). The conclusion is supplied_matching_not_maximum or no_maximum_conclusion.","answer":{"kind":"expression","value":"([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)","explanation":"Validate both selections before comparing their sizes. A strictly larger valid witness disproves maximum cardinality of the first. No witness from this comparison does not prove that the first matching is maximum or perfect. The exact result, retaining the requested order, is ([0], [0, 2], 1, 2, Yes, supplied_matching_not_maximum)."},"skills":["A Supplied Larger Valid Matching Refutes Maximum Cardinality"],"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."}}