{"schema_version":"ocme-public-explorer-results-v1","locale":"en","filters":{"family":"qf-ext19-correctness-total-separation"},"total":25,"page":1,"page_count":1,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0076","number":9576,"title":{"zh-Hant":"第 9576 題：算法正確性責任","en":"Question 9576: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"aefc1e87f22be026d7576f445e10b868db916ea9460e45d72ec83370374961c2","derivation_sha256":"a50ed07133b1f12d0256d6bca776c271323fd8fef956403fa3bc3f2fbc47dda5"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0077","number":9577,"title":{"zh-Hant":"第 9577 題：算法正確性責任","en":"Question 9577: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"4ee89f1dd854d4228787130a109cd8b4f17a8a60af94bc0a8d09b2f0c2823d9b","derivation_sha256":"a5f4b58e5b33cf0f1b5796128f7851e7c803b346732937091759396a8ec9f3cd"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0078","number":9578,"title":{"zh-Hant":"第 9578 題：算法正確性責任","en":"Question 9578: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f8f7075c76dcdded81924a67b6ca55082a26f78992d3c1fef99f42334d316008","derivation_sha256":"7cb1fd8e9c4131bc659adc05ffd7e117b7a7c5c040a93b2cb980463370549ad5"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0079","number":9579,"title":{"zh-Hant":"第 9579 題：算法正確性責任","en":"Question 9579: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"b10f271c23a20e39e44d0134de6c52b6342e537ef0c54bae3e07fa4bdfa4e6ae","derivation_sha256":"473bfeb69a2e8dd249b5a1580a30c981c340b58ec39ae8e8a57ba4ae9d6f5ecd"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0080","number":9580,"title":{"zh-Hant":"第 9580 題：算法正確性責任","en":"Question 9580: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"a5da771c6acdcfd50f5f97cabc96d8a848a2e1bbb6af26b53066954c3c6cabf4","derivation_sha256":"5eb9a0b2dde308510a78eb1ae903b117b1c23d5fe1a103c61e2616462ce015eb"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0081","number":9581,"title":{"zh-Hant":"第 9581 題：算法正確性責任","en":"Question 9581: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"cdc515a88ad6b277b4041667f5933deb8d1b0e1b705dbdff95d21960e8aaf7f8","derivation_sha256":"5abb8be63a7a2cc4d6567f2f2ca61a81c4481601087f9220c62613d292cc6ff8"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0082","number":9582,"title":{"zh-Hant":"第 9582 題：算法正確性責任","en":"Question 9582: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"4bff773696e624058a09cd1f8119a91e263fca15bd8ca822df0558b45f7eb982","derivation_sha256":"7f4c71f594777f3672f9965adfa033a9cee4d47fea9dd8e476b3957df7acbfe4"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0083","number":9583,"title":{"zh-Hant":"第 9583 題：算法正確性責任","en":"Question 9583: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ad0de822f633b051777b3d3bfb708b3b2ae65d17a7a7b7322576b48a4a765af9","derivation_sha256":"5ce8d983b86d7a3775442ab7bbef93adc469af586a8a488c483aebe130ae4f28"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0084","number":9584,"title":{"zh-Hant":"第 9584 題：算法正確性責任","en":"Question 9584: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"5772475f9476de1c8b923fe40998485070cdcfccd88d359979c2afd565ed094e","derivation_sha256":"c63a463dc7d8f818079cfe6bcf22d87a9191f640af104bf789192babc3a6d967"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0085","number":9585,"title":{"zh-Hant":"第 9585 題：算法正確性責任","en":"Question 9585: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8ba1cd252af6027a66b50a3e6853b001197f5b1b5b479e052ad774e314710c53","derivation_sha256":"cdb770c862988883a2ded051b2a898683153b52e80f3a23da46e89198649cad9"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0086","number":9586,"title":{"zh-Hant":"第 9586 題：算法正確性責任","en":"Question 9586: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8c6be668c6059eba6be3e51de6bf1617e09ffdb140af24f35f0e3929a65b733d","derivation_sha256":"d687e37eb7ae7e9ca74c6277d814652e43ab4760c1db6fdc4b06a9a133da06b3"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0087","number":9587,"title":{"zh-Hant":"第 9587 題：算法正確性責任","en":"Question 9587: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"179fc1818ea204c1366719b1c48d8b25224d82d8ffd68a76aeaad2918e22b976","derivation_sha256":"0db81f7a267a8448feb02016e42557dfe6b06c16a612b74382e851e9f103e357"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0088","number":9588,"title":{"zh-Hant":"第 9588 題：算法正確性責任","en":"Question 9588: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"9d19481cc2dec51096c273aa01a151234514f878eced62e0bdadce3b917124db","derivation_sha256":"2d1f4b758c9b0be2095f53279edc82583d75d63131f1e18fdafa969df1053abb"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0089","number":9589,"title":{"zh-Hant":"第 9589 題：算法正確性責任","en":"Question 9589: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"2e9d425350b441074489db8103d82a62083c3b41fbfcd31a41deeed788e15f7a","derivation_sha256":"8b80df7bcb27e8ed8ad19bcca157513bf73512174df1ab811b14119325674e23"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0090","number":9590,"title":{"zh-Hant":"第 9590 題：算法正確性責任","en":"Question 9590: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"a7b75a9e86c7127b55fe86b879ba81a8cdd7053d02f83782525ca022a5749cd3","derivation_sha256":"6b7b40c59b22b4b93804287524913041f503c6d6e2ad695e2bcfb55c72bdedb9"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0091","number":9591,"title":{"zh-Hant":"第 9591 題：算法正確性責任","en":"Question 9591: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"69a1d90f167cdba3ceeb60f24e36a4c242fd0dd061d49ea7b9353e35ec49fa2d","derivation_sha256":"7173496e7d69d7ca2ccf2712a028b5480cf795347e310665cc2f937c4f826291"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0092","number":9592,"title":{"zh-Hant":"第 9592 題：算法正確性責任","en":"Question 9592: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ddaf7123bd91202943fddd10b5644317e2dbc7e50f69edf8fc3eed9f67ea15e7","derivation_sha256":"d0f1e0fb03c21be864f03097e9721fc0d3f4c9c2773d5370bf7a2059a4e31b43"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0093","number":9593,"title":{"zh-Hant":"第 9593 題：算法正確性責任","en":"Question 9593: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ff4ef04328d0c4dc4f18bc02ce8ffe4c8204daf7147b4aa54a281ac60872b59d","derivation_sha256":"0e1499a2f132ef015f3c69a8c391ca2c434ff2727df19083e6fd8a119b6b4d17"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0094","number":9594,"title":{"zh-Hant":"第 9594 題：算法正確性責任","en":"Question 9594: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ed9f984a0fcb2395ec903d4a656b731bb347be9b4a506a6d166decf155866ff5","derivation_sha256":"20978198db8b767c5b178352dd6ac891c650fe8d8f1b767f4a599dc09f5feda8"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0095","number":9595,"title":{"zh-Hant":"第 9595 題：算法正確性責任","en":"Question 9595: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"d82aa5ec09bdb72f49b4722d1550428f9e7efe65a2ac4358066ae7a258d62942","derivation_sha256":"d8502bea0a5b2548eb556b26846e8e2cad4f5e4683fc70dff40b534ce7ac9afa"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0096","number":9596,"title":{"zh-Hant":"第 9596 題：算法正確性責任","en":"Question 9596: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"5c06f24f96b33bc40d19a7cd91f6c0d108075081e1ccb2fed15745205840b9aa","derivation_sha256":"dafafcf76812c414b46a79e446bb94e9a8b59e4eb629f4c2d31091d7303edd26"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0097","number":9597,"title":{"zh-Hant":"第 9597 題：算法正確性責任","en":"Question 9597: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8aa856b23a53042e9618bafb21c288761d5307be5e224f12367416dc8e177b66","derivation_sha256":"f1dac9b90ac61f2a462f07929f44489dad938b6281c99ca8b1032048d48f71a0"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0098","number":9598,"title":{"zh-Hant":"第 9598 題：算法正確性責任","en":"Question 9598: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"37c81b4a22108df20b677ca9c68df1b7777a3c7872c140b2d4656c7b1502208a","derivation_sha256":"0e70efc74c41fa70abc63ac2504c84dbd74ff64cea830496b2167b23e95974f8"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0099","number":9599,"title":{"zh-Hant":"第 9599 題：算法正確性責任","en":"Question 9599: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"b186cb462849b8e546300ad203789d2b1f08e7262a6e491ac5be05ded3093141","derivation_sha256":"110f05b7b3fe8e94ba4b93b726dd007da785e63aa1729523f6a52c0422efa83c"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0100","number":9600,"title":{"zh-Hant":"第 9600 題：算法正確性責任","en":"Question 9600: Partial Correctness, Termination, and Total Correctness"},"family_id":"qf-ext19-correctness-total-separation","batch_id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","mko_ids":["mko-algorithm-correctness"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"17445e65ceb109c27c079cca0dd4fbd0f6530bd218af5377803c9918b2bf5711","derivation_sha256":"d0283c43659200921292e4f97e12c2097c0e7c6137f6a61df13137df46b4d18d"}]}