{"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":"8"},"kind":"batches","total":360,"pages":15,"page":8,"entries":[{"id":"batch-20261013-advance-20261026-r07-equivalence-relation-foundations","title":{"zh-Hant":"等價關係基礎 · 脈衝 R07","en":"Complete Reflexivity, Symmetry, Transitivity and Qualified Classes"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-equivalence-relation"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261026-r06-graph-isomorphism-foundations","title":{"zh-Hant":"圖同構基礎 · 脈衝 R06","en":"Complete Vertex Bijections, Adjacency Iff and Invariant Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-graph-isomorphism"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261026-r05-covariance-foundations","title":{"zh-Hant":"協方差基礎 · 脈衝 R05","en":"One-Law Covariance, Symmetry, Affine Changes and Zero-Covariance Dependence"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-covariance"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261026-r04-finite-joint-distribution-foundations","title":{"zh-Hant":"有限聯合分布基礎 · 脈衝 R04","en":"Exact Joint Qualification, Marginals, Rectangle Events and Pair Masses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-finite-joint-distribution"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261026-r03-cauchy-sequence-foundations","title":{"zh-Hant":"Cauchy序列基礎 · 脈衝 R03","en":"Finite Tail Audits, Infinite Cauchy Witnesses and Alternating Counterexamples"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-cauchy-sequence"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261026-r02-real-normed-vector-space-foundations","title":{"zh-Hant":"實賦範向量空間基礎 · 脈衝 R02","en":"Exact Named Norms, Universal Certificates and Induced Distances"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-real-normed-vector-space"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261026-r01-finite-abelian-group-foundations","title":{"zh-Hant":"有限阿貝爾群基礎 · 脈衝 R01","en":"Qualified Finite Groups, Commutativity, Orders and Cyclic Subgroups"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-finite-abelian-group"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261025-r07-partial-derivative-foundations","title":{"zh-Hant":"偏導密度：符號多項式、y切片與差商極限基礎 · 脈衝 R07","en":"Whole Partial Polynomials, Fixed-x Slices and Symbolic Quotient Limits"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-partial-derivative"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261025-r06-finite-markov-chain-foundations","title":{"zh-Hant":"有限Markov密度：n步律、n步轉移、端點joint與條件路徑基礎 · 脈衝 R06","en":"Exact Finite-Step Markov Powers, Endpoint Joints and Conditional Paths"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-finite-markov-chain"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261025-r05-measurable-function-foundations","title":{"zh-Hant":"可測函數密度：逆像集合律、常值映射與來源sigma細化基礎 · 脈衝 R05","en":"Finite Preimage Laws, Constant Maps and Source-Sigma Refinement"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-measurable-function"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261025-r04-linear-independence-basis-foundations","title":{"zh-Hant":"基底密度：span witness、零向量、比例向量與R²座標唯一性基礎 · 脈衝 R04","en":"Explicit Span, Dependence and Ordered-Basis Coordinate Witnesses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-linear-independence-basis"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261025-r03-convex-optimization-problem-foundations","title":{"zh-Hant":"凸最佳化問題基礎 · 脈衝 R03","en":"Convex-Problem Qualification, Feasibility, Evaluation and Pairwise Comparison"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-convex-optimization-problem"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261025-r02-convex-function-foundations","title":{"zh-Hant":"凸函數基礎 · 脈衝 R02","en":"Universal Affine/Quadratic Convexity Certificates versus Jensen Instances"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-convex-function"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261025-r01-boundary-value-problem-foundations","title":{"zh-Hant":"邊界值問題基礎 · 脈衝 R01","en":"Separate Interior PDE and Complete Rectangle-Boundary Identities"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-boundary-value-problem"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261024-r07-convex-set-foundations","title":{"zh-Hant":"凸集合基礎 · 脈衝 R07","en":"Universal Interval, Box and Halfspace Certificates versus Midpoint Counterexamples"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-convex-set"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261024-r06-partial-differential-equation-foundations","title":{"zh-Hant":"偏微分方程基礎 · 脈衝 R06","en":"Explicit PDE Conventions: Point Residuals and Symbolic Identities"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-partial-differential-equation"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261024-r05-finite-convex-combination-foundations","title":{"zh-Hant":"有限凸組合基礎 · 脈衝 R05","en":"Exact Convex Weights, Weighted Points and Witnesses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-finite-convex-combination"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261024-r04-partial-derivative-foundations","title":{"zh-Hant":"偏導數基礎 · 脈衝 R04","en":"Fixed-Coordinate Polynomial Partials and Ordered Gradients"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-partial-derivative"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261024-r03-finite-markov-chain-foundations","title":{"zh-Hant":"有限狀態 Markov 鏈基礎 · 脈衝 R03","en":"Row-Stochastic Markov Kernels, Finite-Step Laws and Paths"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-finite-markov-chain"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261024-r02-measurable-function-foundations","title":{"zh-Hant":"可測函數基礎 · 脈衝 R02","en":"Complete Finite Measurability through Target Preimages"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-measurable-function"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261024-r01-linear-independence-basis-foundations","title":{"zh-Hant":"線性獨立與基底基礎 · 脈衝 R01","en":"Exact Independence, Spanning and Ordered Plane-Basis Coordinates"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-linear-independence-basis"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261023-r07-multivariable-real-function-foundations","title":{"zh-Hant":"多變數實函數基礎 · 脈衝 R07","en":"Declared Bivariate Polynomial Coordinates and Domain Slices"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-multivariable-real-function"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261023-r06-discrete-stochastic-process-foundations","title":{"zh-Hant":"離散隨機過程基礎 · 脈衝 R06","en":"Complete Finite-Horizon Joint Path Laws and Marginals"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-discrete-stochastic-process"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261023-r05-sigma-algebra-measure-space-foundations","title":{"zh-Hant":"σ-代數與測度空間基礎 · 脈衝 R05","en":"Finite Sigma-Algebra Closure and Exact Measure Reduction"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-sigma-algebra-measure-space"],"state":"candidate_validated"}],"title":"Question batches"}