{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"practice","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"page":"10"},"kind":"batches","total":360,"pages":15,"page":10,"entries":[{"id":"batch-20261013-advance-20261020-r01-discrete-dynamical-system-foundations","title":{"zh-Hant":"離散時間動力系統基礎 · 脈衝 R01","en":"Explicit Finite Discrete Dynamics and Invariant Subsets"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-discrete-dynamical-system"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","title":{"zh-Hant":"證明項基礎 · 脈衝 R07","en":"Synthetic Proof Terms and Receipt Obligations, Not Lean Execution"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-lean-proof-term"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261019-r06-asymptotic-resource-bound-foundations","title":{"zh-Hant":"漸近資源界基礎 · 脈衝 R06","en":"Explicit Full-Tail Resource Bounds versus Finite Benchmarks"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-asymptotic-resource-bound"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261019-r05-algorithm-correctness-foundations","title":{"zh-Hant":"算法正確性基礎 · 脈衝 R05","en":"Partial Correctness, Ranking Obligations, and All-Path Termination"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-algorithm-correctness"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261019-r04-computational-model-foundations","title":{"zh-Hant":"抽象計算模型基礎 · 脈衝 R04","en":"Finite Transition Models, Halt Truncation, and Stuck States"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-computational-model"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261019-r03-topological-continuity-foundations","title":{"zh-Hant":"拓撲連續映射基礎 · 脈衝 R03","en":"Complete Open-Preimage Continuity and Open-Map Contrasts"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-topological-continuity"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261019-r02-neighborhood-foundations","title":{"zh-Hant":"鄰域基礎 · 脈衝 R02","en":"Point-Qualified Neighborhoods and All Open Witnesses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-neighborhood"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261019-r01-open-closed-set-foundations","title":{"zh-Hant":"開集與閉集基礎 · 脈衝 R01","en":"Open, Closed, and Clopen Sets in Complete Finite Topologies"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-open-closed-set"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","title":{"zh-Hant":"證明助理中的形式陳述基礎 · 脈衝 R07","en":"Synthetic Formal-Statement Pipeline Records, Not Lean Execution"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-lean-formal-statement"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261018-r06-decision-problem-foundations","title":{"zh-Hant":"決定問題基礎 · 脈衝 R06","en":"Finite Decision Specifications versus Complete and Sampled Tables"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-decision-problem"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261018-r05-modular-congruence-foundations","title":{"zh-Hant":"自然數模同餘基礎 · 脈衝 R05","en":"Positive-Modulus Natural Congruence and Guarded Preservation"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-modular-congruence"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261018-r04-prime-number-foundations","title":{"zh-Hant":"自然數質數基礎 · 脈衝 R04","en":"Prime Natural Numbers and Complete Factor Checks"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-prime-number"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261018-r03-gcd-coprime-foundations","title":{"zh-Hant":"最大公因數與互質基礎 · 脈衝 R03","en":"Natural GCD, Euclid Traces, and Coprimality"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-gcd-coprime"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261018-r02-natural-divisibility-foundations","title":{"zh-Hant":"自然數整除基礎 · 脈衝 R02","en":"Natural Divisibility, Explicit Witnesses, and Zero Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-natural-divisibility"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261018-r01-topological-space-foundations","title":{"zh-Hant":"拓撲空間基礎 · 脈衝 R01","en":"Complete Finite Topology Axioms and Open-Set Inventories"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-topological-space"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261017-r07-counterexample-foundations","title":{"zh-Hant":"反例與論域資格密度與邊界基礎 · 脈衝 R07","en":"Finite-Domain Counterexamples and Explicit Predicate Extensions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-counterexample"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261017-r06-tree-foundations","title":{"zh-Hant":"非空有限樹：連通、無環與唯一道路密度與邊界基礎 · 脈衝 R06","en":"Nonempty Tree Qualification, Paths, Leaves, and New-Edge Cycles"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-tree"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261017-r05-graph-foundations","title":{"zh-Hant":"有限簡單無向圖密度與邊界基礎 · 脈衝 R05","en":"Simple Undirected Graph Inventories and Induced Subsets"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-graph"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261017-r04-order-relation-foundations","title":{"zh-Hant":"實數大小與順序密度與邊界基礎 · 脈衝 R04","en":"Exact Rational Order and Closed-Interval Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-order-relation"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261017-r03-relation-foundations","title":{"zh-Hant":"二元關係與集合投影密度與邊界基礎 · 脈衝 R03","en":"Typed Relations, Projections, and Totality Guards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-relation"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261017-r02-inverse-function-foundations","title":{"zh-Hant":"雙射的反函數密度與邊界基礎 · 脈衝 R02","en":"Inverse Existence, Whole-Table Types, and Two-Sided Identities"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-inverse-function"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261017-r01-bijective-foundations","title":{"zh-Hant":"雙射與唯一原像密度與邊界基礎 · 脈衝 R01","en":"Complete Finite-Map Bijections and Cardinality Guards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-bijective"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261016-r07-surjective-foundations","title":{"zh-Hant":"滿射與陪域覆蓋密度與邊界基礎 · 脈衝 R07","en":"Declared Codomain Fibers, Changes, and Target Guards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-surjective"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261016-r06-injective-foundations","title":{"zh-Hant":"單射與不同輸入的辨識密度與邊界基礎 · 脈衝 R06","en":"Complete Finite-Map Collisions and Original Source Labels"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-injective"],"state":"candidate_validated"}],"title":"Question batches"}