{"schema_version":"ocme-public-explorer-results-v1","locale":"zh-Hant","filters":{"family":"qf-ext18-formal-receipt-completeness"},"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-0076","number":8926,"title":{"zh-Hant":"第 8926 題：形式陳述pipeline狀態","en":"Question 8926: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"4b46153badff3398a9c0f56a11f2a2f64a660cd0a6c79436d6ed4fe20c955735","derivation_sha256":"86e4d1b54c1e24d82b8ad0af548f1f964e6cf2bf8f8d29b1bf3e984b698801ca"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0077","number":8927,"title":{"zh-Hant":"第 8927 題：形式陳述pipeline狀態","en":"Question 8927: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"a53703e7d265c55bfbd89c88fdc47572e7b94caf74ed009ad5164e0ffd76872a","derivation_sha256":"3e81b276b4ece028fcf92a1d52c45b2cd7a6bb35cc086f311a3c85058136b97b"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0078","number":8928,"title":{"zh-Hant":"第 8928 題：形式陳述pipeline狀態","en":"Question 8928: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"fd5bd13981f8f46a75433fb3ac3057571190431738bd7724dc28296a12f8a06d","derivation_sha256":"d3535f49e1eb51cd33bb95e0101b82ec221462d4c5eaf95dcda3af21deaeaf7a"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0079","number":8929,"title":{"zh-Hant":"第 8929 題：形式陳述pipeline狀態","en":"Question 8929: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"e5671b09c1163c58507ae031a4e0fb3e14432db6bd3a0d1efff19028ae68bddc","derivation_sha256":"966c4a7dad5c454d21daba95723bcf9b159a5332463faa8a1ef8b400eb762a93"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0080","number":8930,"title":{"zh-Hant":"第 8930 題：形式陳述pipeline狀態","en":"Question 8930: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"a55b4edd4a4192b7e5cb765dce58b0da81606a1f24012fb0e341d024887a09ac","derivation_sha256":"c61ac64f11f06a8810e183c7db89a5db3d7f6bc793c833f120835dd75f2cbdce"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0081","number":8931,"title":{"zh-Hant":"第 8931 題：形式陳述pipeline狀態","en":"Question 8931: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"3cd8cee7a10ed50663bc614ee3f881dd718b1440a7bd2b137869e0fec84281fd","derivation_sha256":"1e9d6f7dfc12979f6d6096796b108222c75aa7100d19ee25a24a0417ef7cbfab"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0082","number":8932,"title":{"zh-Hant":"第 8932 題：形式陳述pipeline狀態","en":"Question 8932: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"bfc081a6dac8d138ccead6739dab0fe3717c9ac1d528b27ba836447e43238375","derivation_sha256":"87eab72ab77023e814c1f85d9c6ccda3e55d6e6c500e135186c249712fc71164"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0083","number":8933,"title":{"zh-Hant":"第 8933 題：形式陳述pipeline狀態","en":"Question 8933: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"ffb64eb91a3e80a318ac4b0342ea24a40c1d9225e692b92a70464e85e339a326","derivation_sha256":"f0c7ba7e0ec837d1615c564f32fb9e3001583382cdcd67cdd1d659caf8179cfa"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0084","number":8934,"title":{"zh-Hant":"第 8934 題：形式陳述pipeline狀態","en":"Question 8934: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"46638cace891ecf25b40267ba5d7e99923eb7172e3798a8a8b0a13158d805102","derivation_sha256":"00570bc66a71d4a343b3b64947bab4845ad64fb5f2bed4e946d42e435b78e6ae"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0085","number":8935,"title":{"zh-Hant":"第 8935 題：形式陳述pipeline狀態","en":"Question 8935: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"96449ebe57d43cedf372430cb428a3705a5f956cf14dc281bd42a1c309e2da98","derivation_sha256":"e0e234c3f80d0d57a2ec837d30d35208b79e0b6c74a9df4bab832c6b4f287e12"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0086","number":8936,"title":{"zh-Hant":"第 8936 題：形式陳述pipeline狀態","en":"Question 8936: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"b354fd3f788c3301f3af80e75b30aa55687adb4b83bbb73b927425f00fc669e2","derivation_sha256":"0fe27e6ed4fefbc7e22abc73805b43dace0f72ff20d95689dd84b4fe232d7579"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0087","number":8937,"title":{"zh-Hant":"第 8937 題：形式陳述pipeline狀態","en":"Question 8937: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"74207d3da3fc6ac87ec0896fd5fdca439ff9cf01e68718830d311e0b8565dc46","derivation_sha256":"446b6c03636f0377808039f868074386401809821b892072e0f0099e21e2e0d2"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0088","number":8938,"title":{"zh-Hant":"第 8938 題：形式陳述pipeline狀態","en":"Question 8938: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"9c353822f9be3a1bdbdd1e199937bca874c1bb58193e5737e8280cc2fb16ca67","derivation_sha256":"52537b9020386d007fa2a50ef40119b584edc2bdbee0bd54c81c373a335265dd"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0089","number":8939,"title":{"zh-Hant":"第 8939 題：形式陳述pipeline狀態","en":"Question 8939: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"0b7673046c43b7c35c71395cc5ab09563391e4dabc4b98c5a0cd84b0ca8643c5","derivation_sha256":"496209484c57a659da80314c21bc9ea0cf50307548f2311a8a28efae61c19b6e"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0090","number":8940,"title":{"zh-Hant":"第 8940 題：形式陳述pipeline狀態","en":"Question 8940: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"364cae98a5b06dfb48a35f1073d72f495e85d623f52fd2339cbae04a977a3e30","derivation_sha256":"0bb30f2e8644208fd08dcef21fa7ad4cff6196941abaca95d46c4c8de20f43db"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0091","number":8941,"title":{"zh-Hant":"第 8941 題：形式陳述pipeline狀態","en":"Question 8941: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"45351331cecc53f6a27b89d86b4bd6ca529c98951684b53c3ea5b804044c2d83","derivation_sha256":"ebbc1d59b9f2c63584d05c5594f3f25bcbdc4db47c9da8ea36dcb924d6e5f073"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0092","number":8942,"title":{"zh-Hant":"第 8942 題：形式陳述pipeline狀態","en":"Question 8942: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"39ca93b5ac137bd30e59c7850fb621b421ad2af7870bd1faa185ffd0600a8180","derivation_sha256":"afd625b29ba74ac1027cdce51af08d9e00cfb152c0230b6090883ff310f46ede"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0093","number":8943,"title":{"zh-Hant":"第 8943 題：形式陳述pipeline狀態","en":"Question 8943: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"49c49983311ec43763e03d26cb43ee106c6f3c79d8d94241dfc67cc968ddb718","derivation_sha256":"d32dd2cc3c4c71f866b3e573f1f35c00c534111d2fe7c54dae6cb79207abf9c0"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0094","number":8944,"title":{"zh-Hant":"第 8944 題：形式陳述pipeline狀態","en":"Question 8944: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"1596f1ba5fff146c99290fe618597ff911e312fa1c72a1c3b4134a88b37596e0","derivation_sha256":"b3302f8ab9f677b26b8b68bc66e8e32d14e7c5b70302d33569cc392558772edb"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0095","number":8945,"title":{"zh-Hant":"第 8945 題：形式陳述pipeline狀態","en":"Question 8945: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"7984829fdd6a71e2c22129a93eeb69d2b39262d253f821d2b006ec6647f77a80","derivation_sha256":"bcae92786d8309bf7df7d221868498abcdf6af3f35ecd3fae5072020d4182bf9"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0096","number":8946,"title":{"zh-Hant":"第 8946 題：形式陳述pipeline狀態","en":"Question 8946: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"86d607056da265170cdb286c29dcd6beee9e6104b0ad072df1653830bd3498e3","derivation_sha256":"ccd7ff73aee6b05854d39ac0832ec229a1bc8e8ca08c16cc4ca05aafa28a58b0"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0097","number":8947,"title":{"zh-Hant":"第 8947 題：形式陳述pipeline狀態","en":"Question 8947: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"8112580f34ddd63b6358db8fa962d5eb99b85f8b8667d955e4cda189fd268bdf","derivation_sha256":"b2d6b3591864aeac6342135d4b1277134298d8f24688ffcd2188d514657d3ce3"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0098","number":8948,"title":{"zh-Hant":"第 8948 題：形式陳述pipeline狀態","en":"Question 8948: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"e0427c0e584f4def6661e5e2c458020ce80cbd39b40599fdeee78c17a136f6d5","derivation_sha256":"a795e2a0916dce7dd7c17575310022a3b061322d47307fc7dae2a468fd4a6435"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0099","number":8949,"title":{"zh-Hant":"第 8949 題：形式陳述pipeline狀態","en":"Question 8949: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"b847b14e7f7a3bdd85dc70592177e20d934d5f72d38be48781763420fb76ac61","derivation_sha256":"070d1ab6f46388e4598c39d46c27eee9fd7a06517a9a9e23e14aafbdb1830a21"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0100","number":8950,"title":{"zh-Hant":"第 8950 題：形式陳述pipeline狀態","en":"Question 8950: Synthetic Receipt Metadata Completeness, Not Proof Acceptance"},"family_id":"qf-ext18-formal-receipt-completeness","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":"78e6279333cc5e25a34c8d214cc166a94b28afefcaf5cb8bc5403b35c7edb5a9","derivation_sha256":"56b9955b3964d51e2366520702bc940aeb9777ddc8f57c1729b11b6b6a8d199a"}]}