{"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":"7"},"kind":"batches","total":360,"pages":15,"page":7,"entries":[{"id":"batch-20261014-advance-20261030-r03-martingale-foundations","title":{"zh-Hant":"有限Martingale基礎 · 脈衝 R03","en":"Separate Nesting, Adaptedness, Conditional Steps and Expectation Consequences"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-martingale"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261030-r02-real-hilbert-space-foundations","title":{"zh-Hant":"實Hilbert空間基礎 · 脈衝 R02","en":"Same-Space Hilbert Certificates, Component Binding, Distance and Orthogonality"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-real-hilbert-space"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261030-r01-finite-field-foundations","title":{"zh-Hant":"有限域基礎 · 脈衝 R01","en":"Complete Nonzero Inverses, Safe Division and the Finite-Domain Theorem"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-field"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261029-r07-equivalence-class-foundations","title":{"zh-Hant":"等價類基礎 · 脈衝 R07","en":"Complete Classes, Membership, Conditional Representative Invariance and Disjointness"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-equivalence-class"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261029-r06-iid-sequence-foundations","title":{"zh-Hant":"獨立同分布序列基礎 · 脈衝 R06","en":"Bernoulli Cylinders, Full Marginals, Finite Factorization and Infinite-IID Evidence"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-iid-sequence"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261029-r05-finite-filtration-foundations","title":{"zh-Hant":"有限filtration基礎 · 脈衝 R05","en":"Complete Information Refinement, Separate Adaptedness and Measurable Events"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-filtration"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261029-r04-conditional-expectation-foundations","title":{"zh-Hant":"有限條件期望基礎 · 脈衝 R04","en":"Blockwise Conditional Means, Measurability, Integrals and Null-Block Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-conditional-expectation"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261029-r03-inner-product-induced-norm-foundations","title":{"zh-Hant":"內積誘導範數基礎 · 脈衝 R03","en":"Exact Induced Norms, Distances, Cauchy–Schwarz and Parallelogram Checks"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-inner-product-induced-norm"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261029-r02-polynomial-ring-over-finite-commutative-ring-foundations","title":{"zh-Hant":"有限交換環上的多項式環基礎 · 脈衝 R02","en":"Finite-Support Polynomial Operations, Zero-Divisor Degree Collapse and an Infinite Carrier"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-polynomial-ring-over-finite-commutative-ring"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261029-r01-finite-integral-domain-foundations","title":{"zh-Hant":"有限整環基礎 · 脈衝 R01","en":"Complete Zero-Divisor Audits, Nonzero Cancellation and the Finite Inverse Step"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-integral-domain"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261028-r07-connected-component-foundations","title":{"zh-Hant":"連通分量基礎 · 脈衝 R07","en":"Complete Reachability Components, Reflexivity and Isolated-Vertex Partitions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-connected-component"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261028-r06-random-variable-independence-foundations","title":{"zh-Hant":"隨機變數獨立基礎 · 脈衝 R06","en":"Full Joint Factorization, Value Events and One-Way Covariance Consequences"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-random-variable-independence"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261028-r05-bounded-linear-operator-foundations","title":{"zh-Hant":"有界線性算子基礎 · 脈衝 R05","en":"Exact Column/Row Operator Norms, Individual Inputs and Uniform Bounds"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-bounded-linear-operator"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261028-r04-real-inner-product-space-foundations","title":{"zh-Hant":"實內積空間基礎 · 脈衝 R04","en":"Bilinear Evaluation, Symmetry and Strict Sylvester Inner-Product Qualification"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-real-inner-product-space"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261028-r03-real-banach-space-foundations","title":{"zh-Hant":"實Banach空間基礎 · 脈衝 R03","en":"Same-Space Banach Certificates, Component Binding, Distance and Evidence Modes"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-real-banach-space"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261028-r02-finite-two-sided-ideal-foundations","title":{"zh-Hant":"有限雙邊理想基礎 · 脈衝 R02","en":"Additive Subgroups, Separate Left/Right Absorption and Trivial Ideals"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-two-sided-ideal"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261028-r01-finite-commutative-ring-foundations","title":{"zh-Hant":"有限交換環基礎 · 脈衝 R01","en":"Complete Commutative-Ring Qualification, Product Swaps, Powers and Binomial Squares"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-commutative-ring"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261027-r07-graph-walk-simple-path-foundations","title":{"zh-Hant":"圖walk與simple path基礎 · 脈衝 R07","en":"Complete Walk Qualification, Simple Paths, Step Lengths and Repetition Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-graph-walk-simple-path"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261027-r06-event-independence-foundations","title":{"zh-Hant":"事件獨立基礎 · 脈衝 R06","en":"Exact Event Independence, Conditional Equivalence, Complements and Zero Mass"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-event-independence"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261027-r05-general-linear-map-foundations","title":{"zh-Hant":"實向量空間間線性映射基礎 · 脈衝 R05","en":"Rectangular Linear Maps, Affine Bias, Additivity and Linear Combinations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-general-linear-map"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261027-r04-real-bilinear-form-foundations","title":{"zh-Hant":"實雙線性形式基礎 · 脈衝 R04","en":"Ordered Matrix Bilinear Values, Separate Slots and Additional Symmetry"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-real-bilinear-form"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261027-r03-complete-metric-space-foundations","title":{"zh-Hant":"完備度量空間基礎 · 脈衝 R03","en":"Finite-Space Completeness, Explicit Cauchy Limits and Correctly Labeled Non-Cauchy Counterexamples"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-complete-metric-space"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261027-r02-norm-induced-metric-foundations","title":{"zh-Hant":"範數誘導度量基礎 · 脈衝 R02","en":"Named Norm-Induced Distances, Symmetry, Triangles and Evidence Modes"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-norm-induced-metric"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261027-r01-finite-unital-ring-foundations","title":{"zh-Hant":"有限含一環基礎 · 脈衝 R01","en":"Complete Finite Ring Tables, Relabeled Identities, Additive Inverses and Powers"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-finite-unital-ring"],"state":"candidate_validated"}],"title":"題批目錄"}