{"schema_version":"ocme-public-explorer-results-v1","locale":"en","filters":{"family":"qf-ext19-correctness-invariant-audit"},"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-0001","number":9501,"title":{"zh-Hant":"第 9501 題：算法正確性責任","en":"Question 9501: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"473da8b25bdbaef681d3ed6a42b00b89e1e422f42aa988ac5af3ebb3f657f905","derivation_sha256":"190398feb1663d411eb90f12b30ce73aef831594ae092bc3a5b01580d2451ace"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0002","number":9502,"title":{"zh-Hant":"第 9502 題：算法正確性責任","en":"Question 9502: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"4f92474abaf017a9593918d2f27b7dcd4c3d786db189ae0b3b94c35484f16821","derivation_sha256":"dea60cf34a405927b047d6a88269809ca5f430636aa7040f0a63fe2c08ca1c10"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0003","number":9503,"title":{"zh-Hant":"第 9503 題：算法正確性責任","en":"Question 9503: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"6c070d3d0c013d18f239850cc7cc51a4f610f329d9cda55e39587ba2c811700c","derivation_sha256":"f8de7a58143aab847e60b317e154b7f09cebc8dda72631dbed941ad46daa25f6"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0004","number":9504,"title":{"zh-Hant":"第 9504 題：算法正確性責任","en":"Question 9504: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"23ff8e27a79186611061bfe99f7e61f2c3d4049afae9c45c3e1a7e26edb2b8d6","derivation_sha256":"1db56597081f7a0e4c16b4932fa813899244cb12585f666256938a4f62a60f33"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0005","number":9505,"title":{"zh-Hant":"第 9505 題：算法正確性責任","en":"Question 9505: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"cbae0c190d7fa0e99724e2cad760975f2e5eb97b21ed402d26b1aacaa296a50b","derivation_sha256":"f34da9db11b367c2cdbd08db342e7903af06266f2f3f2871108f14b6cd7c80f6"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0006","number":9506,"title":{"zh-Hant":"第 9506 題：算法正確性責任","en":"Question 9506: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"b154608bf753b86bff20f1e7958aacaa8c7384cd1a6ee2d5dcf6ceddabd2143b","derivation_sha256":"9bdf09efb05c03b87674f1cd5af798c3428f03e0e5d877e5f80fe3595df9dda2"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0007","number":9507,"title":{"zh-Hant":"第 9507 題：算法正確性責任","en":"Question 9507: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"41a76f6256c65aeb0425fa4eae296805293bb0ed562eec63cea966f956e18d95","derivation_sha256":"ebfdac5d3188014a21431d429157b1ab11a3cebb3f7d9435a9277210931fd473"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0008","number":9508,"title":{"zh-Hant":"第 9508 題：算法正確性責任","en":"Question 9508: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"46dad1a21e366b97a0fd5c02e3d5730b90fb6995471af81d4bfd0eb6f165e27b","derivation_sha256":"4c4a5dc014588b77624b377bb882bb11d3556efe4aad1971f9816f977850be79"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0009","number":9509,"title":{"zh-Hant":"第 9509 題：算法正確性責任","en":"Question 9509: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"16a6a3c64b54378817393edefa577ff14401cfa0e9f1943c0634492c4988534e","derivation_sha256":"7506abadcdf6fd4a8dce1ed4e96bbeda216bce3a80be4bceb0472a14798e8e53"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0010","number":9510,"title":{"zh-Hant":"第 9510 題：算法正確性責任","en":"Question 9510: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"02be6ebbf8733353d88a08d1ef20e0a26d15127a54096b2ea0ca1d131e47a266","derivation_sha256":"18bdb6810ee8bc933a39ecca2eb8a6c4ac12a6d123c4258f3cd71379c0e5e586"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0011","number":9511,"title":{"zh-Hant":"第 9511 題：算法正確性責任","en":"Question 9511: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"5f67f49f360367ab13a5b03bd6232c96f04e4723621108246d0c9969b81f3830","derivation_sha256":"bf5db20c5638bef89ab4317e762ec455993c2d53bf7ddb4bb79c000ec14ea17b"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0012","number":9512,"title":{"zh-Hant":"第 9512 題：算法正確性責任","en":"Question 9512: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"b8b53e2847620ac3b19e9061e9a6329b60c37cb66c78a8faf83dc5a5b951bbe9","derivation_sha256":"dd5af54d4b81e4d9b31b34c8b2eab0c1db805644aa3d81040b069ad940b670cf"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0013","number":9513,"title":{"zh-Hant":"第 9513 題：算法正確性責任","en":"Question 9513: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"9bd66d831cfbd8491ec1a837cb66d04ed11de9e2dda7b51807190f1a802f16bf","derivation_sha256":"4d4acb4d5e70acb7f4dad9c88b9f965113751c1729fcf02ffcab8542df49e21e"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0014","number":9514,"title":{"zh-Hant":"第 9514 題：算法正確性責任","en":"Question 9514: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"ee695727d8364b7befac4ebf1e79e2e29aadbcd149af40ba023439577a187711","derivation_sha256":"0fec64ac003a210a66379fab61b36ce56cf967cb6ad88d8944a5d9d9782006f5"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0015","number":9515,"title":{"zh-Hant":"第 9515 題：算法正確性責任","en":"Question 9515: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"e55fb7b18655684d97f0e013e3c30e337a19b42c8fd6362e21b31f01850134d3","derivation_sha256":"b9d7b33ff25a1d445a8e466d4ae533799017e9ff13630e049e4edb40bd6c4dcb"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0016","number":9516,"title":{"zh-Hant":"第 9516 題：算法正確性責任","en":"Question 9516: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"41d47a69462ccf4244833b6d9f0c7f402d4e0142e5889b773b8cef6e449dd8f3","derivation_sha256":"c99b3bf4e996c3cef2b286f78a5f0d402601941d3d1ca6f85812557d904c70fe"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0017","number":9517,"title":{"zh-Hant":"第 9517 題：算法正確性責任","en":"Question 9517: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"2caa40869b09796fc0cae89a67ccf004464d30c183d976ec68ef353848576e7e","derivation_sha256":"606c9d1f003983069364f095d0dad4b74bdf9f718352a7b320f2de7b20d48b07"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0018","number":9518,"title":{"zh-Hant":"第 9518 題：算法正確性責任","en":"Question 9518: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"ca70eefa74405259c944b442c06b9068aef0de3ae0f2d70dc7c80a21d3ce1b35","derivation_sha256":"6495695640a991535997cef7f58bdb99c5d3381c9187bdaea53decbe8ae6f6c8"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0019","number":9519,"title":{"zh-Hant":"第 9519 題：算法正確性責任","en":"Question 9519: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"cd48166223d220567673af90885ee0982c7c4e40377facb8d90dfbf67aba0e3e","derivation_sha256":"6bd5cd14b2e19f7faf53cd46cbe43f62501016a6e004332fa1ac4f727da7884e"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0020","number":9520,"title":{"zh-Hant":"第 9520 題：算法正確性責任","en":"Question 9520: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"b71ab08e00ce9ba8326806638e2fe2051d0e1d655afd692c3a9b7632fdaaa07a","derivation_sha256":"770ccf1f3c2a721b81e4197f1189327f5d6264ed162e4c9867c9d07e863e713d"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0021","number":9521,"title":{"zh-Hant":"第 9521 題：算法正確性責任","en":"Question 9521: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"4b36e105dd3ce7fe0d922ae9090f6f18c22910d13733fb69bd6674b2edadb7ad","derivation_sha256":"1a953412986ee2df82e94b32fb277ef8f76db5e4d1fc323207404096e36c8061"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0022","number":9522,"title":{"zh-Hant":"第 9522 題：算法正確性責任","en":"Question 9522: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"9f55dd9f5c50ea47cf28e1b3409b49ae14a56b34eb5e47e04daef1900e8591b9","derivation_sha256":"568921edd1dcc3d2ddddb0923802597172e791cc727ffd80bbc7a64820a39ef9"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0023","number":9523,"title":{"zh-Hant":"第 9523 題：算法正確性責任","en":"Question 9523: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"a8b485dc47df73d278ade8711f703c2d4da55baaf7a0af43b7fcb800c6f38ba0","derivation_sha256":"23a0874ceb759e7f7c16308bcc4fd9ca81c885a00134649f893f7baa39a46954"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0024","number":9524,"title":{"zh-Hant":"第 9524 題：算法正確性責任","en":"Question 9524: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"b2fcd0df6b0af84acd0dff4e1f70bf47d86a7cdc54429384cc427f3d9b27f746","derivation_sha256":"7081d0b3cf596296fd3a554b872936bbfdd89b94c4c203c1c9eccb5729df3844"},{"question_id":"q-20261013-advance-20261019-r05-algorithm-correctness-0025","number":9525,"title":{"zh-Hant":"第 9525 題：算法正確性責任","en":"Question 9525: Inductiveness versus Merely Covering Reachable States"},"family_id":"qf-ext19-correctness-invariant-audit","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":"2eccf9f7a7fb6dac534893447750f2398fb53708bc0db1a85d4e972a7c4d0c07","derivation_sha256":"a83f5eb3943a7c7a3207bd18c5bcda7315836a7d2bd6b55d3ba7b8d39b1dcd0a"}]}