{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20261015-advance-20261116-r02-intermediate-value-theorem-0001","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"dee4b9f2ee00515acc31eef698b67cd7fd13552d011d9a71bd242e81debe8e88","family_id":"qf-mod47-ivt-hypothesis","seed":202611162001,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-13,1],\"b\":[-11,1],\"coefficients\":[[12,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[12, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-13<b=-11 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([12, 1], -13, -11, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([12, 1], -13, -11, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0002","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0eeb00588e2f9bc3980ec07275efaeedfa330fe29775c04631f46f2e08f9e79e","family_id":"qf-mod47-ivt-hypothesis","seed":202611162002,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-12,1],\"b\":[-10,1],\"coefficients\":[[11,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[11, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-12<b=-10 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([11, 1], -12, -10, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([11, 1], -12, -10, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0003","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9a45c66fffaa94bd14410b991c90a6ccc89a34c6ee640cc57f7e39747c094b76","family_id":"qf-mod47-ivt-hypothesis","seed":202611162003,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-11,1],\"b\":[-9,1],\"coefficients\":[[10,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[10, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-11<b=-9 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([10, 1], -11, -9, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([10, 1], -11, -9, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0004","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9d207ebbf2aa1977944d434af706d82ef6a9f9d28959c0a048485a1aad61b540","family_id":"qf-mod47-ivt-hypothesis","seed":202611162004,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-10,1],\"b\":[-8,1],\"coefficients\":[[9,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[9, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-10<b=-8 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([9, 1], -10, -8, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([9, 1], -10, -8, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0005","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"cca01b2bd0039244f1b39553905358e5e999f7d476ef7892af4b3de7bdb4aa0e","family_id":"qf-mod47-ivt-hypothesis","seed":202611162005,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-9,1],\"b\":[-7,1],\"coefficients\":[[8,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[8, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-9<b=-7 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([8, 1], -9, -7, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([8, 1], -9, -7, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0006","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"c9f54db647e58a3e8ec33e8e7e97ae66b160eb5bb71b3775a5f0fddf87427ed8","family_id":"qf-mod47-ivt-hypothesis","seed":202611162006,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-8,1],\"b\":[-6,1],\"coefficients\":[[7,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[7, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-8<b=-6 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([7, 1], -8, -6, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([7, 1], -8, -6, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0007","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9a17f95c9d09f7f62d2753b751acaea06a8a9c4e23e32cce8d27a2a6a8448ba7","family_id":"qf-mod47-ivt-hypothesis","seed":202611162007,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-7,1],\"b\":[-5,1],\"coefficients\":[[6,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[6, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-7<b=-5 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([6, 1], -7, -5, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([6, 1], -7, -5, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0008","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"8c4a8f8f52d7941ba20bfebf47a92facf998492dbe43b68a167fd54c84aa19e5","family_id":"qf-mod47-ivt-hypothesis","seed":202611162008,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-6,1],\"b\":[-4,1],\"coefficients\":[[5,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[5, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-6<b=-4 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([5, 1], -6, -4, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([5, 1], -6, -4, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0009","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"6532ad41a35cdbf26b130399fcf25433082171fbf631215247f3ce1796ddd59d","family_id":"qf-mod47-ivt-hypothesis","seed":202611162009,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-5,1],\"b\":[-3,1],\"coefficients\":[[4,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[4, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-5<b=-3 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([4, 1], -5, -3, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([4, 1], -5, -3, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0010","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"14567b9b5792dbb5ed7e47e8d8a06564aee02ff56227119a91872a03f9c6f421","family_id":"qf-mod47-ivt-hypothesis","seed":202611162010,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-4,1],\"b\":[-2,1],\"coefficients\":[[3,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[3, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-4<b=-2 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([3, 1], -4, -2, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([3, 1], -4, -2, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0011","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"80a8f7666ef3e8429d8a2f7165b7eb63bce216c4b37ea4c3b60fa6ddb7f21df3","family_id":"qf-mod47-ivt-hypothesis","seed":202611162011,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-3,1],\"b\":[-1,1],\"coefficients\":[[2,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[2, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-3<b=-1 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([2, 1], -3, -1, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([2, 1], -3, -1, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0012","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b407a9dd5b4a36130b2698fc11531312ad4c55bb54cca8cb65de5de0ee29e221","family_id":"qf-mod47-ivt-hypothesis","seed":202611162012,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-2,1],\"b\":[0,1],\"coefficients\":[[1,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[1, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-2<b=0 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([1, 1], -2, 0, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([1, 1], -2, 0, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0013","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"2e4d7f2fa7f8a445c1ffdbee309627fa3c339e98ba0c0c3913680ebffc90e8c4","family_id":"qf-mod47-ivt-hypothesis","seed":202611162013,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[-1,1],\"b\":[1,1],\"coefficients\":[[0,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[0, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-1<b=1 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([0, 1], -1, 1, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([0, 1], -1, 1, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0014","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d5e375c547efd26d3b5705f6c52deb3830c807dd1d092b4761df7799e3e0f62a","family_id":"qf-mod47-ivt-hypothesis","seed":202611162014,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[0,1],\"b\":[2,1],\"coefficients\":[[-1,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-1, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=0<b=2 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-1, 1], 0, 2, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-1, 1], 0, 2, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0015","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"46c13cfc45101b77db6f8f24dd15339f8113ee0cb3e989bcb727e292b437af67","family_id":"qf-mod47-ivt-hypothesis","seed":202611162015,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[1,1],\"b\":[3,1],\"coefficients\":[[-2,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-2, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=1<b=3 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-2, 1], 1, 3, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-2, 1], 1, 3, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0016","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e73651f6f87012674ac54357bfe3790320630b1b1c4e0f1dd5dca963967c7842","family_id":"qf-mod47-ivt-hypothesis","seed":202611162016,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[2,1],\"b\":[4,1],\"coefficients\":[[-3,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-3, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=2<b=4 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-3, 1], 2, 4, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-3, 1], 2, 4, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0017","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"90170489040b8ce2d671907670ca98075f0acf740a7509137dc1df0b33be1360","family_id":"qf-mod47-ivt-hypothesis","seed":202611162017,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[3,1],\"b\":[5,1],\"coefficients\":[[-4,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-4, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=3<b=5 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-4, 1], 3, 5, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-4, 1], 3, 5, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0018","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"deff99c6ea2d6a36f02b2a89a40eb508ea26ddd42c45ed97d2c003c9002c2869","family_id":"qf-mod47-ivt-hypothesis","seed":202611162018,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[4,1],\"b\":[6,1],\"coefficients\":[[-5,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-5, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=4<b=6 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-5, 1], 4, 6, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-5, 1], 4, 6, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0019","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"5a623eb30c74408cb21b593160c2f3d75b1aba2462befb5cabb17959cd1bee17","family_id":"qf-mod47-ivt-hypothesis","seed":202611162019,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[5,1],\"b\":[7,1],\"coefficients\":[[-6,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-6, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=5<b=7 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-6, 1], 5, 7, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-6, 1], 5, 7, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0020","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4267c48150cdd21cc93e98f7e1998930cd4b94fced19ba1e44752b23b99d28cd","family_id":"qf-mod47-ivt-hypothesis","seed":202611162020,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[6,1],\"b\":[8,1],\"coefficients\":[[-7,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-7, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=6<b=8 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-7, 1], 6, 8, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-7, 1], 6, 8, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0021","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"8a9250463e7b4f7bbad89e87af2b135ab8dded046decee1930b7341a03af32db","family_id":"qf-mod47-ivt-hypothesis","seed":202611162021,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[7,1],\"b\":[9,1],\"coefficients\":[[-8,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-8, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=7<b=9 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-8, 1], 7, 9, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-8, 1], 7, 9, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0022","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"796c0c53c91463ce9fbad211ed26b36a6b4a5e8b485bab4fd7ba18a533c1a785","family_id":"qf-mod47-ivt-hypothesis","seed":202611162022,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[8,1],\"b\":[10,1],\"coefficients\":[[-9,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-9, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=8<b=10 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-9, 1], 8, 10, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-9, 1], 8, 10, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0023","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"50f4a0f31e5c366ed3b9c8993e440faf0ef1143cc9394db9a560571f8b0c4738","family_id":"qf-mod47-ivt-hypothesis","seed":202611162023,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[9,1],\"b\":[11,1],\"coefficients\":[[-10,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-10, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=9<b=11 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-10, 1], 9, 11, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-10, 1], 9, 11, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0024","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"db4b857a8c2d3311ae534ec37a5f842bee0645131a2fde246167530d2bea1d80","family_id":"qf-mod47-ivt-hypothesis","seed":202611162024,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[10,1],\"b\":[12,1],\"coefficients\":[[-11,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-11, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=10<b=12 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-11, 1], 10, 12, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-11, 1], 10, 12, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0025","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"1e9de52cd7e2faadc53f547126ab5b4199e50e1ca40954091c892d6282f38d1e","family_id":"qf-mod47-ivt-hypothesis","seed":202611162025,"semantic_template":"qf-mod47-ivt-hypothesis/{\"a\":[11,1],\"b\":[13,1],\"coefficients\":[[-12,1],[1,1]],\"target\":[0,1]}"},"fields":{"title":"Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations","stem":"Coefficients=[-12, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=11<b=13 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Give (coefficients, a, b, value_at_a, value_at_b, target, polynomial_continuous, inclusive_bracket, certificate).","answer":{"kind":"expression","value":"([-12, 1], 11, 13, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)","explanation":"Evaluate both endpoints exactly and test target-between-values in either orientation, including equality at an endpoint. A target outside the bracket does not satisfy this IVT premise; finite sample agreement does not establish continuity of an arbitrary function. The exact result, retaining the requested order, is ([-12, 1], 11, 13, -1, 1, 0, Yes, Yes, polynomial_continuity_plus_inclusive_endpoint_bracket)."},"skills":["Polynomial Continuity and Inclusive Endpoint Bracketing Are Separate Obligations"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0026","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9426bdf2f972b7aff903179d7320d231d4efdef81461ead78630d9aba742c951","family_id":"qf-mod47-ivt-exact-root","seed":202611162026,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-13,1],\"b\":[-11,1],\"coefficients\":[[12,1],[1,1]],\"root\":[-12,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[12, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-13<b=-11 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-12. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-12, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-12, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0027","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"5be39d6a6d8c9143b073514a9eefab9b3da223265a3c32ddef6028e5ab42a00c","family_id":"qf-mod47-ivt-exact-root","seed":202611162027,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-12,1],\"b\":[-10,1],\"coefficients\":[[11,1],[1,1]],\"root\":[-11,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[11, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-12<b=-10 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-11. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-11, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-11, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0028","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"6e1fb2b958f7756ce4fbfcad00d78431b47f99275e951dd0b6a851798aa76b46","family_id":"qf-mod47-ivt-exact-root","seed":202611162028,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-11,1],\"b\":[-9,1],\"coefficients\":[[10,1],[1,1]],\"root\":[-10,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[10, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-11<b=-9 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-10. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-10, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-10, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0029","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"75070212ae6ef56670ae73a12a0cced73d21ec4677e97fcc0e2d081da377706b","family_id":"qf-mod47-ivt-exact-root","seed":202611162029,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-10,1],\"b\":[-8,1],\"coefficients\":[[9,1],[1,1]],\"root\":[-9,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[9, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-10<b=-8 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-9. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-9, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-9, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0030","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4e09812dbc9dfdcce63096cdd7005482fdc80b72e5c623277eff743c9a4104db","family_id":"qf-mod47-ivt-exact-root","seed":202611162030,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-9,1],\"b\":[-7,1],\"coefficients\":[[8,1],[1,1]],\"root\":[-8,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[8, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-9<b=-7 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-8. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-8, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-8, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0031","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"c0f3fe67d1ff11f2f969c1f72446002457c01566129807e08af4dfd106538eda","family_id":"qf-mod47-ivt-exact-root","seed":202611162031,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-8,1],\"b\":[-6,1],\"coefficients\":[[7,1],[1,1]],\"root\":[-7,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[7, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-8<b=-6 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-7. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-7, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-7, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0032","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"390d61f6146a1002dcca6ceaa05658ef6bff1aca14dc7e61584eec68776e22d7","family_id":"qf-mod47-ivt-exact-root","seed":202611162032,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-7,1],\"b\":[-5,1],\"coefficients\":[[6,1],[1,1]],\"root\":[-6,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[6, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-7<b=-5 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-6. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-6, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-6, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0033","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"cc822ad8513ba37ba9f941e13683f29aadb7acecdc7ff1ace65fca9cae229044","family_id":"qf-mod47-ivt-exact-root","seed":202611162033,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-6,1],\"b\":[-4,1],\"coefficients\":[[5,1],[1,1]],\"root\":[-5,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[5, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-6<b=-4 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-5. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-5, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-5, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0034","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"94ac97498b8f8e8f3141858b013931adbe5366e2d0334a02eb7dcb357b44c4b9","family_id":"qf-mod47-ivt-exact-root","seed":202611162034,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-5,1],\"b\":[-3,1],\"coefficients\":[[4,1],[1,1]],\"root\":[-4,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[4, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-5<b=-3 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-4. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-4, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-4, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0035","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"68d5ea7317099953529679090955d8b4ea2ea9f266eb26650d86440d13e5932e","family_id":"qf-mod47-ivt-exact-root","seed":202611162035,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-4,1],\"b\":[-2,1],\"coefficients\":[[3,1],[1,1]],\"root\":[-3,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[3, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-4<b=-2 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-3. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-3, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-3, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0036","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"67427aa741aba9c75b0bf92e62d4d9cabc62a633373fff8b4519a3d6afa03860","family_id":"qf-mod47-ivt-exact-root","seed":202611162036,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-3,1],\"b\":[-1,1],\"coefficients\":[[2,1],[1,1]],\"root\":[-2,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[2, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-3<b=-1 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-2. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-2, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-2, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0037","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9b9b640c6df3aa8b2e9321393ff2d84e63996cc7a9c057407230c1ff75057b6a","family_id":"qf-mod47-ivt-exact-root","seed":202611162037,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-2,1],\"b\":[0,1],\"coefficients\":[[1,1],[1,1]],\"root\":[-1,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[1, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-2<b=0 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-1. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(-1, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (-1, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0038","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"30879979b02b98089e55725a9eccdea44b30fcf2d9300e0be96550ede9ac1f36","family_id":"qf-mod47-ivt-exact-root","seed":202611162038,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[-1,1],\"b\":[1,1],\"coefficients\":[[0,1],[1,1]],\"root\":[0,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[0, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-1<b=1 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=0. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(0, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (0, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0039","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"eae1ab85d0f7bcd8bc2f8a7ff35b05042b78f69ee8b141b487158760264b3f4a","family_id":"qf-mod47-ivt-exact-root","seed":202611162039,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[0,1],\"b\":[2,1],\"coefficients\":[[-1,1],[1,1]],\"root\":[1,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-1, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=0<b=2 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=1. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(1, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (1, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0040","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a6f36fdf27c1402f955dae38cceffdc761d8544659da2e2f7ae46373db14a3f5","family_id":"qf-mod47-ivt-exact-root","seed":202611162040,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[1,1],\"b\":[3,1],\"coefficients\":[[-2,1],[1,1]],\"root\":[2,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-2, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=1<b=3 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=2. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(2, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (2, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0041","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a70597bee3670a248594a80a3eae64502a02b7c49e71aace4d2169ea8bd9b26c","family_id":"qf-mod47-ivt-exact-root","seed":202611162041,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[2,1],\"b\":[4,1],\"coefficients\":[[-3,1],[1,1]],\"root\":[3,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-3, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=2<b=4 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=3. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(3, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (3, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0042","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"2cfaa6a38c6bc9d157ae39a9416c84f2e589970f1f6f16cbe78b181475691365","family_id":"qf-mod47-ivt-exact-root","seed":202611162042,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[3,1],\"b\":[5,1],\"coefficients\":[[-4,1],[1,1]],\"root\":[4,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-4, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=3<b=5 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=4. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(4, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (4, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0043","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ff7e6a32bd2e567fdc11725b0ad2c7c5604a004557d2621e55e6ff2b8a338875","family_id":"qf-mod47-ivt-exact-root","seed":202611162043,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[4,1],\"b\":[6,1],\"coefficients\":[[-5,1],[1,1]],\"root\":[5,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-5, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=4<b=6 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=5. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(5, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (5, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0044","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"bfa26985761a100e4a1fea7c1223d4b8365b7f47f373ef3c5ac2d3b5c81e976a","family_id":"qf-mod47-ivt-exact-root","seed":202611162044,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[5,1],\"b\":[7,1],\"coefficients\":[[-6,1],[1,1]],\"root\":[6,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-6, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=5<b=7 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=6. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(6, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (6, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0045","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9ad44b0050cc7b107b03628aaaf5dd11065a006848034c893de286a21f33c4ea","family_id":"qf-mod47-ivt-exact-root","seed":202611162045,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[6,1],\"b\":[8,1],\"coefficients\":[[-7,1],[1,1]],\"root\":[7,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-7, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=6<b=8 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=7. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(7, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (7, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0046","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ebf9e66d7bce89175d99834d78340cecd380d42a89668fbe2843d98c1f1b21e6","family_id":"qf-mod47-ivt-exact-root","seed":202611162046,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[7,1],\"b\":[9,1],\"coefficients\":[[-8,1],[1,1]],\"root\":[8,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-8, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=7<b=9 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=8. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(8, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (8, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0047","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4f35c72970a885f2ab8658e7aa210a90de6e2d97c6484ba3a3681367c4117d4c","family_id":"qf-mod47-ivt-exact-root","seed":202611162047,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[8,1],\"b\":[10,1],\"coefficients\":[[-9,1],[1,1]],\"root\":[9,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-9, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=8<b=10 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=9. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(9, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (9, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0048","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e0864c314cdc8762279f3d7339cde9a6ca9d7cc770738848e1accf4ba63c4d2e","family_id":"qf-mod47-ivt-exact-root","seed":202611162048,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[9,1],\"b\":[11,1],\"coefficients\":[[-10,1],[1,1]],\"root\":[10,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-10, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=9<b=11 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=10. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(10, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (10, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0049","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"74c5cb2b0fb7600e9a3588beaf7371fcece1b0559921a3c8bae2dadcaf39780a","family_id":"qf-mod47-ivt-exact-root","seed":202611162049,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[10,1],\"b\":[12,1],\"coefficients\":[[-11,1],[1,1]],\"root\":[11,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-11, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=10<b=12 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=11. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(11, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (11, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0050","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"98acbd3aaa2da7e63a3de2dd4e069f5303bb2406554cc8532855124ecb1b03bf","family_id":"qf-mod47-ivt-exact-root","seed":202611162050,"semantic_template":"qf-mod47-ivt-exact-root/{\"a\":[11,1],\"b\":[13,1],\"coefficients\":[[-12,1],[1,1]],\"root\":[12,1],\"target\":[0,1]}"},"fields":{"title":"An Exact Closed-Interval Root Witness Does Not Assert Uniqueness","stem":"Coefficients=[-12, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=11<b=13 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=12. Give (root, value_at_root, inside_closed_interval, hits_target, uniqueness_or_closed_form_claim, certificate).","answer":{"kind":"expression","value":"(12, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)","explanation":"Check membership in [a,b] and f(root)=target exactly, along with the bracket. The fixed No withholds uniqueness or a rational closed-form guarantee in the general theorem; it does not negate this supplied rational witness. The exact result, retaining the requested order, is (12, 0, Yes, Yes, No, IVT_existence_does_not_imply_uniqueness_or_rational_closed_form)."},"skills":["An Exact Closed-Interval Root Witness Does Not Assert Uniqueness"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0051","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"2f378e557746868b4f6abb710bf169e73d362b92e40a6c8ad5a733ffff4813d8","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162051,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-13,1],\"b\":[-11,1],\"coefficients\":[[13,1],[1,1]],\"root\":[-13,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[13, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-13<b=-11 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-13. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-13, -11, 0, -13, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-13, -11, 0, -13, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0052","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3207222e71adc78d3b8058984aec2b8cb7d26d1b2c6695567526c468942868a4","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162052,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-12,1],\"b\":[-10,1],\"coefficients\":[[12,1],[1,1]],\"root\":[-12,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[12, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-12<b=-10 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-12. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-12, -10, 0, -12, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-12, -10, 0, -12, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0053","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"c22fefe5eddb490d55a3386b867b1ac85331ddf76a0cdb2fc0788be10d359fa9","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162053,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-11,1],\"b\":[-9,1],\"coefficients\":[[11,1],[1,1]],\"root\":[-11,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[11, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-11<b=-9 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-11. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-11, -9, 0, -11, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-11, -9, 0, -11, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0054","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"bc30848f8e380a512c8b8173d49cc6a1876b581326835e0676abdebcc8f5b383","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162054,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-10,1],\"b\":[-8,1],\"coefficients\":[[10,1],[1,1]],\"root\":[-10,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[10, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-10<b=-8 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-10. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-10, -8, 0, -10, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-10, -8, 0, -10, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0055","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"2ef71d361f51889a9bbbdb799afb2806c43d02bc943b10dc76584764c9765b2e","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162055,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-9,1],\"b\":[-7,1],\"coefficients\":[[9,1],[1,1]],\"root\":[-9,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[9, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-9<b=-7 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-9. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-9, -7, 0, -9, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-9, -7, 0, -9, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0056","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"cf762e52657e7cfd9b9376f91e8b28326f0e44c2710404bde4fa9ee17046ec7b","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162056,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-8,1],\"b\":[-6,1],\"coefficients\":[[8,1],[1,1]],\"root\":[-8,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[8, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-8<b=-6 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-8. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-8, -6, 0, -8, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-8, -6, 0, -8, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0057","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9bc64d9b3bcc185cc6dd0afaa63a4628b2e6b6f0a7a0603ff3a333eee5d34ff6","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162057,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-7,1],\"b\":[-5,1],\"coefficients\":[[7,1],[1,1]],\"root\":[-7,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[7, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-7<b=-5 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-7. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-7, -5, 0, -7, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-7, -5, 0, -7, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0058","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"eff40744606f557f2d0e4aad9e0003e82f137e49710ba42577e106185470d4e2","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162058,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-6,1],\"b\":[-4,1],\"coefficients\":[[6,1],[1,1]],\"root\":[-6,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[6, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-6<b=-4 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-6. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-6, -4, 0, -6, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-6, -4, 0, -6, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0059","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"2ff1878a63468ce3258cab795c3074078eae87158d3eb2a2eaacebea9384a0c6","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162059,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-5,1],\"b\":[-3,1],\"coefficients\":[[5,1],[1,1]],\"root\":[-5,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[5, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-5<b=-3 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-5. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-5, -3, 0, -5, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-5, -3, 0, -5, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0060","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"288a48c2cfff0b31eeb69b8875447c7123261b3c580debb95275716b28946683","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162060,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-4,1],\"b\":[-2,1],\"coefficients\":[[4,1],[1,1]],\"root\":[-4,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[4, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-4<b=-2 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-4. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-4, -2, 0, -4, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-4, -2, 0, -4, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0061","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3d3e942b8c0ac1014919c8d584461c90a45b79ee64391ba204277a25bd8acbb6","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162061,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-3,1],\"b\":[-1,1],\"coefficients\":[[3,1],[1,1]],\"root\":[-3,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[3, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-3<b=-1 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-3. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-3, -1, 0, -3, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-3, -1, 0, -3, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0062","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"2ec2ce4b0698d3b091e54cd9ca568be8c652947fadae936b1225b3720f72d473","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162062,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-2,1],\"b\":[0,1],\"coefficients\":[[2,1],[1,1]],\"root\":[-2,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[2, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-2<b=0 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-2. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-2, 0, 0, -2, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-2, 0, 0, -2, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0063","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a121909fb1bffe98e7cd81f7ea9672f2231de6a6076f987712a06822da190f2a","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162063,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[-1,1],\"b\":[1,1],\"coefficients\":[[1,1],[1,1]],\"root\":[-1,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[1, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=-1<b=1 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=-1. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(-1, 1, 0, -1, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (-1, 1, 0, -1, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0064","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f4bbdabf4e7f812153ff01f0ae1943f007e0ad7a5c04e1287740e36eba34dadc","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162064,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[0,1],\"b\":[2,1],\"coefficients\":[[0,1],[1,1]],\"root\":[0,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[0, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=0<b=2 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=0. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(0, 2, 0, 0, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (0, 2, 0, 0, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0065","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ee9d63c61c287d006a0ea1c2651ccf399662a730e3b3387a21872ac671aaa6c1","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162065,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[1,1],\"b\":[3,1],\"coefficients\":[[-1,1],[1,1]],\"root\":[1,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-1, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=1<b=3 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=1. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(1, 3, 0, 1, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (1, 3, 0, 1, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0066","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a8d6ed0f0decd00825d4369b49cf14e38666e2fdf2d826e2155050b965c331a8","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162066,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[2,1],\"b\":[4,1],\"coefficients\":[[-2,1],[1,1]],\"root\":[2,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-2, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=2<b=4 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=2. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(2, 4, 0, 2, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (2, 4, 0, 2, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0067","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"1d1b9bc07065c43a830f8b46b63315b74946a299cdc5fcd0910d433fc2c11311","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162067,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[3,1],\"b\":[5,1],\"coefficients\":[[-3,1],[1,1]],\"root\":[3,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-3, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=3<b=5 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=3. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(3, 5, 0, 3, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (3, 5, 0, 3, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0068","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"18755d9a0dd2845cea8dc7ca35479e29b8d935bdf1493218da0110252762c215","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162068,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[4,1],\"b\":[6,1],\"coefficients\":[[-4,1],[1,1]],\"root\":[4,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-4, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=4<b=6 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=4. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(4, 6, 0, 4, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (4, 6, 0, 4, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0069","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"1f619dd4236f5c2ca6a0a1de0b6aee096ab5d71aca484d84f41fcb0de4050453","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162069,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[5,1],\"b\":[7,1],\"coefficients\":[[-5,1],[1,1]],\"root\":[5,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-5, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=5<b=7 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=5. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(5, 7, 0, 5, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (5, 7, 0, 5, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0070","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0f50a669a40516bc73a035b2d0170e846e8a45b06b14986d5b4007d7310f17d4","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162070,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[6,1],\"b\":[8,1],\"coefficients\":[[-6,1],[1,1]],\"root\":[6,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-6, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=6<b=8 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=6. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(6, 8, 0, 6, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (6, 8, 0, 6, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0071","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d837ef8349c963111ef73afbfaf3b5adce05937de5225a6604d2f118e1ad40b8","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162071,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[7,1],\"b\":[9,1],\"coefficients\":[[-7,1],[1,1]],\"root\":[7,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-7, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=7<b=9 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=7. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(7, 9, 0, 7, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (7, 9, 0, 7, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0072","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"1dca5b7c6fcabd72a3da7bd20ada2dba9a62d292159b50a1c0f9dabe255365d7","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162072,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[8,1],\"b\":[10,1],\"coefficients\":[[-8,1],[1,1]],\"root\":[8,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-8, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=8<b=10 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=8. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(8, 10, 0, 8, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (8, 10, 0, 8, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0073","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a51336f2ea010cdcf6cb66db0d34ba02fb4ea478eda8e1ee4116abb1898d1102","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162073,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[9,1],\"b\":[11,1],\"coefficients\":[[-9,1],[1,1]],\"root\":[9,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-9, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=9<b=11 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=9. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(9, 11, 0, 9, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (9, 11, 0, 9, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0074","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"584b9185bb20e079d21b8e0aea34924dac82cc11a2282d2ff731894294865a21","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162074,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[10,1],\"b\":[12,1],\"coefficients\":[[-10,1],[1,1]],\"root\":[10,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-10, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=10<b=12 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=10. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(10, 12, 0, 10, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (10, 12, 0, 10, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0075","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"6b6688c11a51b4b2de28c5ba987195c731afeb372adbd62c8c08a2d3e6a9deb1","family_id":"qf-mod47-ivt-endpoint-bracket","seed":202611162075,"semantic_template":"qf-mod47-ivt-endpoint-bracket/{\"a\":[11,1],\"b\":[13,1],\"coefficients\":[[-11,1],[1,1]],\"root\":[11,1],\"target\":[0,1]}"},"fields":{"title":"The Inclusive Bracket Allows an Endpoint Root","stem":"Coefficients=[-11, 1] are in ascending power order, with exact rationals and trailing zero coefficients removed for degree. Use a=11<b=13 and target=0 on the whole closed interval. Polynomial continuity and an inclusive endpoint-value bracket are separate hypotheses. Supplied exact root=11. Give (a, b, target, root, root_is_endpoint, inclusive_bracket, root_certificate, certificate).","answer":{"kind":"expression","value":"(11, 13, 0, 11, Yes, Yes, Yes, endpoints_are_included)","explanation":"Retain endpoint/root equality as a separate flag. The closed interval includes either endpoint, but an interior root can also satisfy the same family. An exact witness is not a claim that finite bisection has converged. The exact result, retaining the requested order, is (11, 13, 0, 11, Yes, Yes, Yes, endpoints_are_included)."},"skills":["The Inclusive Bracket Allows an Endpoint Root"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0076","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"eaad9b21b0941070be554c388b257fa7851b5146731381e5c25533b7958f4564","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162076,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"discontinuous_jump\",\"scale\":[1,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=discontinuous_jump and positive exact scale=1. Give (mode, function_description, a, b, target, inclusive_bracket, continuous, root_exists).","answer":{"kind":"expression","value":"(discontinuous_jump, f(x)=-1_for_x<0_and_1_for_x>=0, -1, 1, 0, Yes, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (discontinuous_jump, f(x)=-1_for_x<0_and_1_for_x>=0, -1, 1, 0, Yes, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0077","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b22542519310892ef699c528fad2b92116136a0c38f3a15cb7555587ce9b832d","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162077,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonbracket\",\"scale\":[2,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonbracket and positive exact scale=2. Give (mode, function_description, a, b, target, inclusive_bracket, root_exists).","answer":{"kind":"expression","value":"(nonbracket, f(x)=2*x, 0, 1, 4, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonbracket, f(x)=2*x, 0, 1, 4, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0078","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"887dae98a5c4432af10eb99c7c9c03b28a7fcf47287abe138d6c723013231e27","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162078,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonunique\",\"scale\":[3,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonunique and positive exact scale=3. Give (mode, function_description, a, b, target, inclusive_bracket, multiplicity_statement, uniqueness_claim).","answer":{"kind":"expression","value":"(nonunique, f(x)=x^2, -3, 3, 9, Yes, two_roots_possible, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonunique, f(x)=x^2, -3, 3, 9, Yes, two_roots_possible, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0079","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ce5f8238a06a41aefd9176458ef71d0cfbbfe49476b0ba00ae0ec2b5c1e4b441","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162079,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"discontinuous_jump\",\"scale\":[4,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=discontinuous_jump and positive exact scale=4. Give (mode, function_description, a, b, target, inclusive_bracket, continuous, root_exists).","answer":{"kind":"expression","value":"(discontinuous_jump, f(x)=-4_for_x<0_and_4_for_x>=0, -1, 1, 0, Yes, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (discontinuous_jump, f(x)=-4_for_x<0_and_4_for_x>=0, -1, 1, 0, Yes, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0080","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"315b8cbc7aa7602ec85d376a6b920c82aa735f82a4bbbf19eb3e8ee0bfc90af6","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162080,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonbracket\",\"scale\":[5,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonbracket and positive exact scale=5. Give (mode, function_description, a, b, target, inclusive_bracket, root_exists).","answer":{"kind":"expression","value":"(nonbracket, f(x)=5*x, 0, 1, 10, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonbracket, f(x)=5*x, 0, 1, 10, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0081","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"de80c5dbdd584675dcf109e9d7aaa3f02b6879d0ad52573c8b9f991f3d633509","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162081,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonunique\",\"scale\":[6,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonunique and positive exact scale=6. Give (mode, function_description, a, b, target, inclusive_bracket, multiplicity_statement, uniqueness_claim).","answer":{"kind":"expression","value":"(nonunique, f(x)=x^2, -6, 6, 36, Yes, two_roots_possible, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonunique, f(x)=x^2, -6, 6, 36, Yes, two_roots_possible, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0082","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f94d38dfc181ec24cba0ad6384cb015223760e1cabe612ca6e18408523fc410d","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162082,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"discontinuous_jump\",\"scale\":[7,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=discontinuous_jump and positive exact scale=7. Give (mode, function_description, a, b, target, inclusive_bracket, continuous, root_exists).","answer":{"kind":"expression","value":"(discontinuous_jump, f(x)=-7_for_x<0_and_7_for_x>=0, -1, 1, 0, Yes, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (discontinuous_jump, f(x)=-7_for_x<0_and_7_for_x>=0, -1, 1, 0, Yes, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0083","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4a94b70d67e65df3bbc84c5cb08e9412349a54954691a7764293e1d0e074ced3","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162083,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonbracket\",\"scale\":[8,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonbracket and positive exact scale=8. Give (mode, function_description, a, b, target, inclusive_bracket, root_exists).","answer":{"kind":"expression","value":"(nonbracket, f(x)=8*x, 0, 1, 16, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonbracket, f(x)=8*x, 0, 1, 16, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0084","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"003062f9dd3144f11fba8798deaf901211b102f91c818617a1f3549deb6f4c56","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162084,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonunique\",\"scale\":[9,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonunique and positive exact scale=9. Give (mode, function_description, a, b, target, inclusive_bracket, multiplicity_statement, uniqueness_claim).","answer":{"kind":"expression","value":"(nonunique, f(x)=x^2, -9, 9, 81, Yes, two_roots_possible, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonunique, f(x)=x^2, -9, 9, 81, Yes, two_roots_possible, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0085","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"031a910af5eab42adc7687ed12ac525252d1d89f301796b4f4070aec417f8b60","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162085,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"discontinuous_jump\",\"scale\":[10,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=discontinuous_jump and positive exact scale=10. Give (mode, function_description, a, b, target, inclusive_bracket, continuous, root_exists).","answer":{"kind":"expression","value":"(discontinuous_jump, f(x)=-10_for_x<0_and_10_for_x>=0, -1, 1, 0, Yes, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (discontinuous_jump, f(x)=-10_for_x<0_and_10_for_x>=0, -1, 1, 0, Yes, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0086","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9f4f1db26cfcfc4bef0d0c75d66f0fd72619c92abc22b3ef75a484250595c887","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162086,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonbracket\",\"scale\":[11,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonbracket and positive exact scale=11. Give (mode, function_description, a, b, target, inclusive_bracket, root_exists).","answer":{"kind":"expression","value":"(nonbracket, f(x)=11*x, 0, 1, 22, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonbracket, f(x)=11*x, 0, 1, 22, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0087","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"6e3a9b891c8c290585df841bed812c00f36215db6d1b5d700ba9994d9603d508","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162087,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonunique\",\"scale\":[12,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonunique and positive exact scale=12. Give (mode, function_description, a, b, target, inclusive_bracket, multiplicity_statement, uniqueness_claim).","answer":{"kind":"expression","value":"(nonunique, f(x)=x^2, -12, 12, 144, Yes, two_roots_possible, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonunique, f(x)=x^2, -12, 12, 144, Yes, two_roots_possible, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0088","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9784fc40401af8dccd183084335a804f1c2af1de485c211ed13851cbbfef4b1c","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162088,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"discontinuous_jump\",\"scale\":[13,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=discontinuous_jump and positive exact scale=13. Give (mode, function_description, a, b, target, inclusive_bracket, continuous, root_exists).","answer":{"kind":"expression","value":"(discontinuous_jump, f(x)=-13_for_x<0_and_13_for_x>=0, -1, 1, 0, Yes, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (discontinuous_jump, f(x)=-13_for_x<0_and_13_for_x>=0, -1, 1, 0, Yes, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0089","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ff654dd679d7dd3448629a38e78601d0c3294f96736a6ff0f40ba4eeec0394b0","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162089,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonbracket\",\"scale\":[14,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonbracket and positive exact scale=14. Give (mode, function_description, a, b, target, inclusive_bracket, root_exists).","answer":{"kind":"expression","value":"(nonbracket, f(x)=14*x, 0, 1, 28, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonbracket, f(x)=14*x, 0, 1, 28, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0090","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"580c38fe473c38d0b3edd1c30131e7604eecfd5219a9b521bf182fb73e41c106","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162090,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonunique\",\"scale\":[15,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonunique and positive exact scale=15. Give (mode, function_description, a, b, target, inclusive_bracket, multiplicity_statement, uniqueness_claim).","answer":{"kind":"expression","value":"(nonunique, f(x)=x^2, -15, 15, 225, Yes, two_roots_possible, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonunique, f(x)=x^2, -15, 15, 225, Yes, two_roots_possible, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0091","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"6eb2e4aedd2c2f31d2cfaabf56db458ab790eadb0302f477525b379540c1b4a8","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162091,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"discontinuous_jump\",\"scale\":[16,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=discontinuous_jump and positive exact scale=16. Give (mode, function_description, a, b, target, inclusive_bracket, continuous, root_exists).","answer":{"kind":"expression","value":"(discontinuous_jump, f(x)=-16_for_x<0_and_16_for_x>=0, -1, 1, 0, Yes, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (discontinuous_jump, f(x)=-16_for_x<0_and_16_for_x>=0, -1, 1, 0, Yes, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0092","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ed43d5b1cedcec6796ee8d322b90f8e1f6b59c4510b043f55aac5675f553bf82","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162092,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonbracket\",\"scale\":[17,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonbracket and positive exact scale=17. Give (mode, function_description, a, b, target, inclusive_bracket, root_exists).","answer":{"kind":"expression","value":"(nonbracket, f(x)=17*x, 0, 1, 34, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonbracket, f(x)=17*x, 0, 1, 34, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0093","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"53b4989a16cb9d7c1e20baa85432688986f17dbb697ce4e51e1bd5da5fe55e47","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162093,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonunique\",\"scale\":[18,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonunique and positive exact scale=18. Give (mode, function_description, a, b, target, inclusive_bracket, multiplicity_statement, uniqueness_claim).","answer":{"kind":"expression","value":"(nonunique, f(x)=x^2, -18, 18, 324, Yes, two_roots_possible, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonunique, f(x)=x^2, -18, 18, 324, Yes, two_roots_possible, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0094","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"90cdc7a7189bc5a262e709b082b10ddfd788a6664e00b157332196b9f7260d80","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162094,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"discontinuous_jump\",\"scale\":[19,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=discontinuous_jump and positive exact scale=19. Give (mode, function_description, a, b, target, inclusive_bracket, continuous, root_exists).","answer":{"kind":"expression","value":"(discontinuous_jump, f(x)=-19_for_x<0_and_19_for_x>=0, -1, 1, 0, Yes, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (discontinuous_jump, f(x)=-19_for_x<0_and_19_for_x>=0, -1, 1, 0, Yes, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0095","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"279fd7adbe4bad2cfa319d89a6a031cc41321417d5dfb4545cff8b477915b9b0","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162095,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonbracket\",\"scale\":[20,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonbracket and positive exact scale=20. Give (mode, function_description, a, b, target, inclusive_bracket, root_exists).","answer":{"kind":"expression","value":"(nonbracket, f(x)=20*x, 0, 1, 40, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonbracket, f(x)=20*x, 0, 1, 40, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0096","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4e82a57e60ebc57f1e6e05314e7198a0ab3c9fa48ea7f3a2ed36303e34119443","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162096,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonunique\",\"scale\":[21,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonunique and positive exact scale=21. Give (mode, function_description, a, b, target, inclusive_bracket, multiplicity_statement, uniqueness_claim).","answer":{"kind":"expression","value":"(nonunique, f(x)=x^2, -21, 21, 441, Yes, two_roots_possible, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonunique, f(x)=x^2, -21, 21, 441, Yes, two_roots_possible, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0097","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"5d832b4a183b9631a2f76b65aaeef205878a48c1ea8509177e046197a0f85aa2","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162097,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"discontinuous_jump\",\"scale\":[22,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=discontinuous_jump and positive exact scale=22. Give (mode, function_description, a, b, target, inclusive_bracket, continuous, root_exists).","answer":{"kind":"expression","value":"(discontinuous_jump, f(x)=-22_for_x<0_and_22_for_x>=0, -1, 1, 0, Yes, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (discontinuous_jump, f(x)=-22_for_x<0_and_22_for_x>=0, -1, 1, 0, Yes, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0098","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"c468fce5ce71fa9303d907271ce7a22d3d68e294b6904a7c7a58a3061c1048c1","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162098,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonbracket\",\"scale\":[23,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonbracket and positive exact scale=23. Give (mode, function_description, a, b, target, inclusive_bracket, root_exists).","answer":{"kind":"expression","value":"(nonbracket, f(x)=23*x, 0, 1, 46, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonbracket, f(x)=23*x, 0, 1, 46, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0099","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f1c206263c915dd9fdcc926db6a5f3095c97aae76608266fd8bd806b626b8c65","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162099,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"nonunique\",\"scale\":[24,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=nonunique and positive exact scale=24. Give (mode, function_description, a, b, target, inclusive_bracket, multiplicity_statement, uniqueness_claim).","answer":{"kind":"expression","value":"(nonunique, f(x)=x^2, -24, 24, 576, Yes, two_roots_possible, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (nonunique, f(x)=x^2, -24, 24, 576, Yes, two_roots_possible, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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-20261015-advance-20261116-r02-intermediate-value-theorem-0100","batch_id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d255b35e0485c6cc742931708839f534f42ef0c796638d0f044f3a727dc0ba52","family_id":"qf-mod47-ivt-discontinuity-boundary","seed":202611162100,"semantic_template":"qf-mod47-ivt-discontinuity-boundary/{\"mode\":\"discontinuous_jump\",\"scale\":[25,1]}"},"fields":{"title":"A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries","stem":"Use boundary mode=discontinuous_jump and positive exact scale=25. Give (mode, function_description, a, b, target, inclusive_bracket, continuous, root_exists).","answer":{"kind":"expression","value":"(discontinuous_jump, f(x)=-25_for_x<0_and_25_for_x>=0, -1, 1, 0, Yes, No, No)","explanation":"The discontinuous jump takes only ±scale and misses0 despite bracketing it on [−1,1]. A scaled identity on [0,1] misses target2*scale, so the bracket fails. For x^2 on [−scale,scale], target scale^2 has both endpoint roots: existence is not uniqueness. Preserve each branch field meaning and do not infer continuity from samples. The exact result, retaining the requested order, is (discontinuous_jump, f(x)=-25_for_x<0_and_25_for_x>=0, -1, 1, 0, Yes, No, No)."},"skills":["A Discontinuous Sign Jump and Failure of Uniqueness Have Different Boundaries"],"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."}}
