{"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":"9"},"kind":"batches","total":360,"pages":15,"page":9,"entries":[{"id":"batch-20261013-advance-20261023-r04-metric-convergence-foundations","title":{"zh-Hant":"度量空間中的收斂基礎 · 脈衝 R04","en":"Strict Finite-Metric Tail Audits versus Infinite Limit Witnesses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-metric-convergence"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261023-r03-subgroup-homomorphism-foundations","title":{"zh-Hant":"子群與群同態基礎 · 脈衝 R03","en":"Complete Finite Subgroup and Homomorphism Obligations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-subgroup-homomorphism"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261023-r02-linear-combination-span-foundations","title":{"zh-Hant":"線性組合與生成基礎 · 脈衝 R02","en":"Finite Real-Coordinate Linear Combinations and Span Witnesses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-linear-combination-span"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261023-r01-complex-modulus-conjugate-foundations","title":{"zh-Hant":"複數模與共軛基礎 · 脈衝 R01","en":"Exact Ordered-Pair Conjugation and Modulus-Squared Invariants"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-complex-modulus-conjugate"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261022-r07-finite-discrete-probability-distribution-foundations","title":{"zh-Hant":"有限離散機率分布基礎 · 脈衝 R07","en":"Exact Finite PMFs, Events, Expectations and Pushforwards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-finite-discrete-probability-distribution"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261022-r06-metric-space-foundations","title":{"zh-Hant":"度量空間基礎 · 脈衝 R06","en":"Complete Finite Distance Tables and All Triangle Inequalities"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-metric-space"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261022-r05-finite-group-foundations","title":{"zh-Hant":"有限群基礎 · 脈衝 R05","en":"Complete Cayley Tables and Every Finite Group Obligation"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-finite-group"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261022-r04-real-vector-space-foundations","title":{"zh-Hant":"實向量空間基礎 · 脈衝 R04","en":"Exact Coordinate Instances in Fixed Real Vector Spaces"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-real-vector-space"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261022-r03-complex-number-foundations","title":{"zh-Hant":"複數基礎 · 脈衝 R03","en":"Ordered Integer-Pair Complex Arithmetic and Real Embedding"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-complex-number"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261022-r02-present-value-discounting-foundations","title":{"zh-Hant":"現值與折現基礎 · 脈衝 R02","en":"Exact Fixed-Period Present Values and Compound-Discount Roundtrips"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-present-value-discounting"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261022-r01-harmonic-oscillator-model-foundations","title":{"zh-Hant":"線性簡諧振子模型基礎 · 脈衝 R01","en":"Positive Oscillator Parameters, Point Residuals and State-Energy Values"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-harmonic-oscillator-model"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261021-r07-discrete-logistic-growth-foundations","title":{"zh-Hant":"離散 logistic 增量模型基礎 · 脈衝 R07","en":"Exact Bounded Discrete Logistic Increment Models"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-discrete-logistic-growth"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261021-r06-linear-programming-foundations","title":{"zh-Hant":"線性規劃基礎 · 脈衝 R06","en":"Canonical Finite LP Grids, Feasibility and All Tied Optimizers"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-linear-programming"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261021-r05-bisection-method-foundations","title":{"zh-Hant":"二分法的有限 bracket 更新基礎 · 脈衝 R05","en":"Declared Sign-Bracket Updates, Early Stops and Exact Widths"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-bisection-method"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261021-r04-initial-value-problem-foundations","title":{"zh-Hant":"初值問題基礎 · 脈衝 R04","en":"Polynomial IVP Candidates: Initial Data and Finite Residual Grids"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-initial-value-problem"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261021-r03-orbit-fixed-periodic-foundations","title":{"zh-Hant":"軌道、固定點與週期點基礎 · 脈衝 R03","en":"Finite Orbits: Returns, Least Periods and Transient States"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-orbit-fixed-periodic"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261021-r02-diagnostic-mathematical-assessment-foundations","title":{"zh-Hant":"診斷性數學評量記錄基礎 · 脈衝 R02","en":"Synthetic Rule-Agreement Records without Learner Diagnosis"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-diagnostic-mathematical-assessment"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261021-r01-mathematical-representation-foundations","title":{"zh-Hant":"數學表徵基礎 · 脈衝 R01","en":"Explicit Rule, Pair and Finite-Table Semantic Bridges"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-mathematical-representation"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261020-r07-compound-interest-foundations","title":{"zh-Hant":"複利模型基礎 · 脈衝 R07","en":"Fixed-Period Compound Models without Cash Flows"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-compound-interest"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261020-r06-discrete-exponential-growth-foundations","title":{"zh-Hant":"離散指數成長模型基礎 · 脈衝 R06","en":"Fixed-Factor Exact Discrete Exponential Models"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-discrete-exponential-growth"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261020-r05-dimensional-analysis-foundations","title":{"zh-Hant":"量綱分析基礎 · 脈衝 R05","en":"Ordered L-M-T Dimension Vectors and Necessary Consistency"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-dimensional-analysis"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261020-r04-optimization-problem-foundations","title":{"zh-Hant":"最佳化問題基礎 · 脈衝 R04","en":"Complete Finite Feasibility and All Tied Optimizers"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-optimization-problem"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261020-r03-numerical-approximation-error-foundations","title":{"zh-Hant":"數值近似與誤差基礎 · 脈衝 R03","en":"Exact Rational Errors and Inclusive Tolerance Bounds"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-numerical-approximation-error"],"state":"candidate_validated"},{"id":"batch-20261013-advance-20261020-r02-ordinary-differential-equation-foundations","title":{"zh-Hant":"常微分方程基礎 · 脈衝 R02","en":"Polynomial ODE Candidates: Point Residuals and Initial Conditions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-13","count":100,"mko_ids":["mko-ordinary-differential-equation"],"state":"candidate_validated"}],"title":"Question batches"}