{"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":"4"},"kind":"batches","total":360,"pages":15,"page":4,"entries":[{"id":"batch-20261014-advance-20261109-r05-binomial-theorem-foundations","title":{"zh-Hant":"二項式定理基礎 · 脈衝 R05","en":"Exact Binomial Coefficients, Complete Expansions and Natural-Exponent Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-binomial-theorem"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261109-r04-law-of-total-expectation-foundations","title":{"zh-Hant":"全期望公式基礎 · 脈衝 R04","en":"Complete Partitions, Exact Cell Means, Null Cells and the Tower Identity"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-law-of-total-expectation"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261109-r03-compact-subset-foundations","title":{"zh-Hant":"緊緻子集基礎 · 脈衝 R03","en":"Relative Open Covers, Genuine Subcovers and Finite Compactness Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-compact-subset"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261109-r02-bolzano-weierstrass-theorem-real-foundations","title":{"zh-Hant":"實數列Bolzano－Weierstrass定理基礎 · 脈衝 R02","en":"Whole Bounded Sequences, Infinite Index Maps and Strict Subsequence Tails"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-bolzano-weierstrass-theorem-real"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261109-r01-finite-group-stabilizer-foundations","title":{"zh-Hant":"有限群作用的穩定子群基礎 · 脈衝 R01","en":"Complete Point Stabilizers, Subgroup Closure and Membership Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-group-stabilizer"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261108-r07-finite-directed-graph-foundations","title":{"zh-Hant":"有限有向圖基礎 · 脈衝 R07","en":"Oriented Edge Sets, Separate Degree Totals and Loop-Free Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-directed-graph"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261108-r06-unique-prime-factorization-foundations","title":{"zh-Hant":"整數唯一質因數分解基礎 · 脈衝 R06","en":"Valid Prime Products, Multiplicities, Euclid Witnesses and Sign Units"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-unique-prime-factorization"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261108-r05-inclusion-exclusion-principle-foundations","title":{"zh-Hant":"容斥原理基礎 · 脈衝 R05","en":"Indexed Intersection Terms, Exact Unions and Pairwise Truncation Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-inclusion-exclusion-principle"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261108-r04-chebyshev-inequality-foundations","title":{"zh-Hant":"Chebyshev不等式基礎 · 脈衝 R04","en":"Exact Deviation Tails, Raw Chebyshev Bounds and Squared-Event Derivation"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-chebyshev-inequality"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261108-r03-subspace-topology-foundations","title":{"zh-Hant":"子空間拓撲基礎 · 脈衝 R03","en":"Complete Relative Opens, Relative Complements and Ambient Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-subspace-topology"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261108-r02-monotone-sequence-convergence-theorem-foundations","title":{"zh-Hant":"單調有界數列收斂定理基礎 · 脈衝 R02","en":"Whole Monotone Tails, Strict Witnesses and Separate Hypothesis Evidence"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-monotone-sequence-convergence-theorem"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261108-r01-finite-group-orbit-foundations","title":{"zh-Hant":"有限群作用的軌道基礎 · 脈衝 R01","en":"Complete Group Orbits, Equivalence Witnesses and Partition Certificates"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-group-orbit"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261107-r07-subsequence-foundations","title":{"zh-Hant":"子數列基礎 · 脈衝 R07","en":"Strict Affine Index Maps, Composition and Finite-Prefix Evidence"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-subsequence"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261107-r06-euler-theorem-number-theory-foundations","title":{"zh-Hant":"Euler定理基礎 · 脈衝 R06","en":"Unit Residues, Exact Totient Powers and Signed Base Normalization"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-euler-theorem-number-theory"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations","title":{"zh-Hant":"鴿籠原理基礎 · 脈衝 R05","en":"Total-Map Collisions, Ceiling Loads and Failed Size Converses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-pigeonhole-principle"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261107-r04-markov-inequality-foundations","title":{"zh-Hant":"Markov不等式基礎 · 脈衝 R04","en":"Exact Tails, Raw Markov Bounds and Nonnegative-Premise Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-markov-inequality"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261107-r03-topological-basis-foundations","title":{"zh-Hant":"拓撲基底基礎 · 脈衝 R03","en":"Carrier Coverage, Local Refinement and Complete Topology Generation"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-topological-basis"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261107-r02-supremum-and-infimum-foundations","title":{"zh-Hant":"上確界與下確界基礎 · 脈衝 R02","en":"Exact Real Bounds, Leastness, Greatestness and Unattained Endpoints"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-supremum-and-infimum"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261107-r01-finite-group-action-foundations","title":{"zh-Hant":"有限群作用基礎 · 脈衝 R01","en":"Complete Group-Action Laws, Identity Rows and Independent Nonclaims"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-group-action"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261106-r07-quotient-vector-space-foundations","title":{"zh-Hant":"商向量空間基礎 · 脈衝 R07","en":"Coset Equality, Representative Independence and Finite Quotient Dimension"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-quotient-vector-space"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261106-r06-linear-diophantine-equation-foundations","title":{"zh-Hant":"線性Diophantine方程基礎 · 脈衝 R06","en":"Signed Bezout Witnesses, Complete Integer Solutions and Double-Zero Cases"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-linear-diophantine-equation"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261106-r05-fermat-little-theorem-foundations","title":{"zh-Hant":"Fermat小定理基礎 · 脈衝 R05","en":"Prime Hypotheses, Exact Modular Powers and Failed Fermat Converses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-fermat-little-theorem"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261106-r04-estimator-variance-foundations","title":{"zh-Hant":"估計量變異數基礎 · 脈衝 R04","en":"Same-Law Central Moments, Second-Moment Identities and Nonclaims"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-estimator-variance"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261106-r03-estimator-bias-foundations","title":{"zh-Hant":"估計量偏誤基礎 · 脈衝 R03","en":"Parameter-Indexed Expectations, Bias and Full-Model Unbiasedness"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-estimator-bias"],"state":"candidate_validated"}],"title":"題批目錄"}