{"schema_version":"ocme-public-explorer-results-v1","locale":"en","filters":{"q":"q-20261014-advance-20261109-r03-compact-subset-0032"},"total":1,"page":1,"page_count":1,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261014-advance-20261109-r03-compact-subset-0032","number":21657,"title":{"zh-Hant":"第 21657 題：緊緻子集","en":"Question 21657: Audit the Actual Relative-Open Cover without Promoting One Success to a General Proof"},"family_id":"qf-mod40-compact-open-cover-audit","batch_id":"batch-20261014-advance-20261109-r03-compact-subset-foundations","mko_ids":["mko-compact-subset"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"967e708ab7f29fce3cfbb370f80585474d983b7ac51236e05a922de90d20c60a","derivation_sha256":"4d03478411911689c2e3c23d4e62b1dfcd14972ff64a7607444793d90f54b0d7"}]}
