{"schema_version":"ocme-site-results-v1","locale":"zh-Hant","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":"3"},"kind":"batches","total":360,"pages":15,"page":3,"entries":[{"id":"batch-20261015-advance-20261113-r01-finite-normal-subgroup-foundations","title":{"zh-Hant":"有限正規子群基礎 · 脈衝 R01","en":"Complete Subgroup Closure, Conjugation and All-Element Coset Equality"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-normal-subgroup"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations","title":{"zh-Hant":"NFA到DFA的子集合構造基礎 · 脈衝 R07","en":"Epsilon-Closed Starts, Move-Closure Transitions and Prefix Invariants"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-subset-construction-nfa-to-dfa"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261112-r06-legendre-symbol-foundations","title":{"zh-Hant":"Legendre符號基礎 · 脈衝 R06","en":"Complete Odd-Prime Three-Valued Classification and Method Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-legendre-symbol"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261112-r05-power-series-radius-of-convergence-foundations","title":{"zh-Hant":"冪級數收斂半徑基礎 · 脈衝 R05","en":"Whole Coefficient Laws, Independent Endpoints and Zero-Infinity-Prefix Radii"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-power-series-radius-of-convergence"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261112-r04-improper-integral-foundations","title":{"zh-Hant":"瑕積分基礎 · 脈衝 R04","en":"Declared Power Integrands, Independent One-Sided Limits and Principal-Value Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-improper-integral"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261112-r03-compact-subset-closed-in-hausdorff-foundations","title":{"zh-Hant":"Hausdorff空間中的緊緻集為閉集基礎 · 脈衝 R03","en":"Hausdorff Separation, Finite Subcovers and Ambient Closedness"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-compact-subset-closed-in-hausdorff"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261112-r02-taylor-polynomial-foundations","title":{"zh-Hant":"Taylor多項式基礎 · 脈衝 R02","en":"Complete Centered Jets, Exact Factorial Coefficients and Finite Taylor Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-taylor-polynomial"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261112-r01-cauchy-theorem-finite-groups-foundations","title":{"zh-Hant":"有限群的Cauchy定理基礎 · 脈衝 R01","en":"Prime Divisors, Exact Element Orders and Composite-Order Nonconverses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-cauchy-theorem-finite-groups"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations","title":{"zh-Hant":"非確定有限自動機基礎 · 脈衝 R07","en":"Finite Epsilon Closures, Existential Accepting Paths and Bounded-Search Limits"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-nondeterministic-finite-automaton"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261111-r06-quadratic-residue-foundations","title":{"zh-Hant":"二次剩餘基礎 · 脈衝 R06","en":"Complete Nonzero Square Tables, Opposite Roots and Odd-Prime Conventions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-quadratic-residue"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261111-r05-catalan-numbers-foundations","title":{"zh-Hant":"Catalan數基礎 · 脈衝 R05","en":"Zero-Based Catalan Recurrence, Exact Divisibility and Both Closed Forms"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-catalan-numbers"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261111-r04-continuous-real-distribution-function-foundations","title":{"zh-Hant":"連續實值分布函數基礎 · 脈衝 R04","en":"Whole Continuous CDFs, Zero Jumps, Flat Intervals and Singular Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-continuous-real-distribution-function"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261111-r03-hausdorff-space-foundations","title":{"zh-Hant":"Hausdorff空間基礎 · 脈衝 R03","en":"Complete Point-Pair Separators, Vacuous Cases and Sample Nonconclusions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-hausdorff-space"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261111-r02-higher-order-derivative-foundations","title":{"zh-Hant":"高階導數基礎 · 脈衝 R02","en":"Recursive Derivative Orders, Exact Polynomial Coefficients and Existence Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-higher-order-derivative"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261111-r01-lagrange-theorem-finite-groups-foundations","title":{"zh-Hant":"有限群的Lagrange定理基礎 · 脈衝 R01","en":"Complete Left-Coset Partitions, Divisibility and Precisely Scoped Converses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-lagrange-theorem-finite-groups"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261110-r07-pushdown-automaton-foundations","title":{"zh-Hant":"下推自動機基礎 · 脈衝 R07","en":"Explicit PDA Stack Runs, Full-Input Acceptance and Bounded-Search Nonconclusions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-pushdown-automaton"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261110-r06-mobius-inversion-finite-divisors-foundations","title":{"zh-Hant":"有限因數格上的Möbius反演基礎 · 脈衝 R06","en":"Complete Divisor Transforms, Consistent Mobius Indexing and Roundtrips"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-mobius-inversion-finite-divisors"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261110-r05-recurrence-relation-foundations","title":{"zh-Hant":"遞迴關係基礎 · 脈衝 R05","en":"Oldest-to-Newest State Updates, Complete Initials and Unique Prefixes"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-recurrence-relation"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261110-r04-law-of-total-variance-foundations","title":{"zh-Hant":"全變異數公式基礎 · 脈衝 R04","en":"Nonempty Partition Cells, Exact Within-Between Variance and Null Weights"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-law-of-total-variance"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations","title":{"zh-Hant":"緊緻集的連續像基礎 · 脈衝 R03","en":"Qualified Maps, Relative Cover Pullbacks and Compact-Image Nonconverses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-continuous-image-of-compact"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261110-r02-mean-value-theorem-foundations","title":{"zh-Hant":"微分中值定理基礎 · 脈衝 R02","en":"Exact Polynomial Secants, Interior MVT Witnesses and Mode-Specific Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-mean-value-theorem"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261110-r01-orbit-stabilizer-theorem-foundations","title":{"zh-Hant":"軌道－穩定子定理基礎 · 脈衝 R01","en":"Same-Point Orbit-Stabilizer Counts, Fibers and Left-Coset Certificates"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-orbit-stabilizer-theorem"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261109-r07-context-free-grammar-foundations","title":{"zh-Hant":"上下文無關文法基礎 · 脈衝 R07","en":"Complete Grammars, Explicit Derivations and Bounded-Search Nonconclusions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-context-free-grammar"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261109-r06-mobius-function-foundations","title":{"zh-Hant":"Möbius函數基礎 · 脈衝 R06","en":"Complete Prime Multiplicities, Positive-Domain Mobius Values and Divisor Sums"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-mobius-function"],"state":"candidate_validated"}],"title":"題批目錄"}