{"schema_version":"ocme-public-explorer-results-v1","locale":"en","filters":{"family":"qf-ext18-formal-pipeline-state"},"total":25,"page":1,"page_count":1,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0001","number":8901,"title":{"zh-Hant":"第 8901 題：形式陳述pipeline狀態","en":"Question 8901: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"59ffa72786ab0a1050923dddc7ab8337351b862b2f9cddd9d1cb20da702b0ecb","derivation_sha256":"dd80d719f3ecdf4c112b022d4178ebf39c5d1becaa390e0624063abe8c8551c8"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0002","number":8902,"title":{"zh-Hant":"第 8902 題：形式陳述pipeline狀態","en":"Question 8902: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"e3c6034abc70148f9c538bac9d761ec98417549f5475093a5ab69bfc604722b7","derivation_sha256":"3ac6980265f42139ea1eb8c5f908a153a70fd062acf73c8875574deac09b814d"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0003","number":8903,"title":{"zh-Hant":"第 8903 題：形式陳述pipeline狀態","en":"Question 8903: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"0c5d4b685e4e147fe7786112f37a334ac9117e4848dbddbef59b53f75916553e","derivation_sha256":"0c1c47138cfb6d6f9f22e2aeeb358fb9695b140fbcfabe93bf9f16e173987c92"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0004","number":8904,"title":{"zh-Hant":"第 8904 題：形式陳述pipeline狀態","en":"Question 8904: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"99226e748d0a8cc8eeab38d5d68479cc8fdd01bfb300f78419284fdd173ae790","derivation_sha256":"0cbb466eb9b8ddbe32f9575e3340cbf1f66243610f83114274c1d6af927d78ff"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0005","number":8905,"title":{"zh-Hant":"第 8905 題：形式陳述pipeline狀態","en":"Question 8905: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"fb48b5edde11bcdec1f4729b77ac69d0bc027f0d0cfc972be09fa42d18eaac1c","derivation_sha256":"cb166bb80fcaa6a74500800185cd78954bcf27c41731e689b0efa03205763da1"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0006","number":8906,"title":{"zh-Hant":"第 8906 題：形式陳述pipeline狀態","en":"Question 8906: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"23c9410b712225fd4d7c1a1aa34b08ac7b8c64b1d2c6ff27ab1d909e5dd5bb5d","derivation_sha256":"90ab74c013f430d6a4f475f3efbd08bb3c4abe843e1243ce634f44c907bf4b5b"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0007","number":8907,"title":{"zh-Hant":"第 8907 題：形式陳述pipeline狀態","en":"Question 8907: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"e92b741348596aad613a3be6c28cdb200dfed7abe1a355870f7ece970a5ac2ed","derivation_sha256":"81771bc4ff602e3106f18319d709ff6a9e2e4a3e1248773b8760b22b89aceb51"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0008","number":8908,"title":{"zh-Hant":"第 8908 題：形式陳述pipeline狀態","en":"Question 8908: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8627448347ad9c84879d55ef156e49d1769f944cba2c1e1b8227615947aec8df","derivation_sha256":"7eac6ff28fb4c41a8eb1f624aff20ae4e23e74a6c3a34935b614f44dac0459d4"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0009","number":8909,"title":{"zh-Hant":"第 8909 題：形式陳述pipeline狀態","en":"Question 8909: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"92266a470b6085ebe3b6dbfd44c93d76995a20a31692db01bdbd0435c402cc2a","derivation_sha256":"641b71e0dec8293f78efe5f41cb48506122a3dd011f5ded6022a72b5513f1222"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0010","number":8910,"title":{"zh-Hant":"第 8910 題：形式陳述pipeline狀態","en":"Question 8910: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ed92e8cb3b4997d4b329052888b81b071c516778ce8b7b3fe4983e583494db97","derivation_sha256":"cdc1b7c0ff3da22eeef640ecf532ec6ae2acee9bdbe07b9d97d61e02ae1c0e2d"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0011","number":8911,"title":{"zh-Hant":"第 8911 題：形式陳述pipeline狀態","en":"Question 8911: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"b9da8b3896c2f586926ecfe082288c26c0712f40c7eb14ac680f33ac005be662","derivation_sha256":"4efbbe32e9ecc6ab440cbfc6647ae138215d8b140f1a1ca4a8440a8f400bd466"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0012","number":8912,"title":{"zh-Hant":"第 8912 題：形式陳述pipeline狀態","en":"Question 8912: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"265746129bfb0f9e7a308d2eb90411a7c433267c6049fd9124520dee9c56a2bb","derivation_sha256":"e64f3fb81178525c628d8937f0def7e5142f00ffa6a617aa24a8e3226bab5090"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0013","number":8913,"title":{"zh-Hant":"第 8913 題：形式陳述pipeline狀態","en":"Question 8913: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ecf3d35030a654e110b5e8456f5282f8999d80e3a8c84c2938ac7a8533f45ca3","derivation_sha256":"d58668c4b310ad8c8abc85b13659ad598deb39395a6df601dea779a1f8058338"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0014","number":8914,"title":{"zh-Hant":"第 8914 題：形式陳述pipeline狀態","en":"Question 8914: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"7147971ccf8c3b4d831f7b6c4c89d3af74750fd186f8dffa8fd3c526f570d051","derivation_sha256":"91fef1e4cc4dd4a0c0782e444f1badda5bc61b149ac98062ac81ccb95f3886d2"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0015","number":8915,"title":{"zh-Hant":"第 8915 題：形式陳述pipeline狀態","en":"Question 8915: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"bf456eeb4d724fdce697a407aff9e3566fcc4dac7ac27e42875762866e0243af","derivation_sha256":"44faaa94626086eddadb325e342bbbf2baf01d63e5530c706f336e9ef3ec9aec"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0016","number":8916,"title":{"zh-Hant":"第 8916 題：形式陳述pipeline狀態","en":"Question 8916: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"12e9a52c794dc0a912034c36511bea360afe2f44e70fb13b3b5e086c78fd4e3c","derivation_sha256":"9261510e5479766e93c8f7612ae95d728a404c373e89be42210a984216f5500a"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0017","number":8917,"title":{"zh-Hant":"第 8917 題：形式陳述pipeline狀態","en":"Question 8917: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"472b362b8725c7748d2c2d33ce6efd4e00073ec20feaf2f61d3ea1aa160ce0bb","derivation_sha256":"0f9e9558a0c1c5cb196faa97b62e18af54fb8657d51e297e2767222403ac837f"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0018","number":8918,"title":{"zh-Hant":"第 8918 題：形式陳述pipeline狀態","en":"Question 8918: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"276ada520fa6fa137c62ad9de8f02b75a3c3f4e0eb70371b9290822cba911546","derivation_sha256":"a7cadb7c4fc9e768095d6e72fd4f489d904831634efac906c4f561cc392b48b8"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0019","number":8919,"title":{"zh-Hant":"第 8919 題：形式陳述pipeline狀態","en":"Question 8919: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"154abc0de57f9d9918680e76c71e8173e15e027dac9087db71d9b697dce57d6d","derivation_sha256":"e93290617876aa87e5b2c5a3919332c2187301012244805d7c980a185ea217ba"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0020","number":8920,"title":{"zh-Hant":"第 8920 題：形式陳述pipeline狀態","en":"Question 8920: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"566d403b29668a85a06d5d0ddcadeb5c55a3ab2b058da10152fbb8553785bec9","derivation_sha256":"ccc6d21779e9b26437ac650e24b4cd04eab868c25795a7424d8b59bf16ffc44b"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0021","number":8921,"title":{"zh-Hant":"第 8921 題：形式陳述pipeline狀態","en":"Question 8921: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"9908d978a47debb19fd524c40f7b9b200575b9864a39e3559919d97f8b419efc","derivation_sha256":"0fcdb639c24a1571b17c032b099ee28e61714529a01c2cb5439af2e0b303f002"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0022","number":8922,"title":{"zh-Hant":"第 8922 題：形式陳述pipeline狀態","en":"Question 8922: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"62c98a7295a2c88aab7e122d9fb03c86b7e70877482066d4c0ff99324742c51b","derivation_sha256":"c84cc47e3ee195af3a84cd57e2f3ad14db66ae793c05935294f9cfa0dc40ec6f"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0023","number":8923,"title":{"zh-Hant":"第 8923 題：形式陳述pipeline狀態","en":"Question 8923: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8bf3e636c7b31ada1a71e7950af88e2713cc1d50425d99ad4e1d64e111e32f3c","derivation_sha256":"da8aa6d607d297da13d40b4409d524d5fe777b4adb83cb94f47a97c7e88a0c44"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0024","number":8924,"title":{"zh-Hant":"第 8924 題：形式陳述pipeline狀態","en":"Question 8924: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"6a3618ed970b810cfaf24e9718eb3cf21f43eb5c232a76779c38065447e5d6da","derivation_sha256":"51949dbb5b2a0cd4c4ccc7026b0091c8a8623f2cdc2faf3fcce5c1114bd5d4bb"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0025","number":8925,"title":{"zh-Hant":"第 8925 題：形式陳述pipeline狀態","en":"Question 8925: Synthetic Formal-Statement Pipeline Stage and Coherence"},"family_id":"qf-ext18-formal-pipeline-state","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"288796ca67912ea0c90520876975fb920d8506151cb20f5b29493693f05adef5","derivation_sha256":"f8ed3e4183b45c273df8505f3ac5f7e1c46f59120f89aed662c639f1c74ec025"}]}