{"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":"1"},"kind":"batches","total":360,"pages":15,"page":1,"entries":[{"id":"batch-20261015-advance-20261119-r07-optimization-problem-foundations","title":{"zh-Hant":"最佳化密度：有限local/global與證書邊界基礎 · 脈衝 R07","en":"Complete Finite Neighborhoods, Improvement Witnesses and Attained Bounds"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-optimization-problem"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261119-r06-gradient-vector-foundations","title":{"zh-Hant":"梯度密度：線性、負梯度方向與二次差分基礎 · 脈衝 R06","en":"Ordered Gradient Linearity, Negative Directions and Metric Identification"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-gradient-vector"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261119-r05-numerical-approximation-error-foundations","title":{"zh-Hant":"數值誤差密度：residual、forward error與conditioning基礎 · 脈衝 R05","en":"Affine Residual Scaling, Forward Error and Tolerance Conventions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-numerical-approximation-error"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261119-r04-lagrange-multiplier-condition-foundations","title":{"zh-Hant":"等式約束Lagrange乘數必要條件基礎 · 脈衝 R04","en":"Regular Equality Constraints, Multiplier Residuals and Necessity Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-lagrange-multiplier-condition"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261119-r03-gradient-descent-foundations","title":{"zh-Hant":"梯度下降法基礎 · 脈衝 R03","en":"Exact Diagonal-Quadratic Gradient Steps and Strict Safe-Step Traces"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-gradient-descent"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261119-r02-trapezoidal-quadrature-foundations","title":{"zh-Hant":"複合梯形數值積分基礎 · 脈衝 R02","en":"Nonuniform Composite Trapezoids, Affine Exactness and Signed Reference Error"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-trapezoidal-quadrature"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261119-r01-newton-method-foundations","title":{"zh-Hant":"Newton根求解方法基礎 · 脈衝 R01","en":"Root-First Newton Updates, Exact Finite Orbits and Convergence Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-newton-method"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations","title":{"zh-Hant":"正規語言Pumping引理基礎 · 脈衝 R07","en":"DFA Loop Invariants, Pumping Quantifiers and Every Legal Adversarial Split"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-pumping-lemma-regular-languages"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261118-r06-regular-expression-foundations","title":{"zh-Hant":"正規表示式基礎 · 脈衝 R06","en":"Typed Regular Expressions, Complete Bounded Languages and Membership"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-regular-expression"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261118-r05-p-adic-valuation-integers-foundations","title":{"zh-Hant":"整數p進賦值基礎 · 脈衝 R05","en":"Prime-Power Extraction, Product Additivity and Sum Cancellation"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-p-adic-valuation-integers"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261118-r04-wilson-theorem-foundations","title":{"zh-Hant":"Wilson定理基礎 · 脈衝 R04","en":"Factorial Congruence, Complete Inverse Pairing and the Modulus-Two Exception"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-wilson-theorem"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261118-r03-finite-confidence-interval-coverage-foundations","title":{"zh-Hant":"有限模型信賴區間覆蓋率基礎 · 脈衝 R03","en":"Precommitted Finite Intervals, Pointwise Coverage and Selection Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-confidence-interval-coverage"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261118-r02-strong-law-large-numbers-finite-valued-iid-foundations","title":{"zh-Hant":"有限值IID強大數律基礎 · 脈衝 R02","en":"Finite-Valued IID Strong-Law Scope and Fixed-n Audits"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-strong-law-large-numbers-finite-valued-iid"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261118-r01-central-limit-theorem-finite-variance-iid-foundations","title":{"zh-Hant":"有限變異數IID中央極限定理基礎 · 脈衝 R01","en":"Declared IID CLT Premises, Exact Sum Moments and Finite-Lattice Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-central-limit-theorem-finite-variance-iid"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261117-r07-topological-connected-component-foundations","title":{"zh-Hant":"拓撲連通分支基礎 · 脈衝 R07","en":"Inclusion-Maximal Connected Subspaces and Finite Clopen Partitions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-topological-connected-component"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261117-r06-path-connected-space-foundations","title":{"zh-Hant":"道路連通空間基礎 · 脈衝 R06","en":"Explicit Interval and Box Paths with Full Continuity Obligations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-path-connected-space"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261117-r05-quotient-topology-foundations","title":{"zh-Hant":"商拓撲基礎 · 脈衝 R05","en":"Surjective Fibers, Saturated Opens and Final-Topology Scope"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-quotient-topology"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261117-r04-finite-product-topology-foundations","title":{"zh-Hant":"有限乘積拓撲基礎 · 脈衝 R04","en":"Complete Rectangle-Union Topologies and Coordinate Continuity"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-product-topology"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261117-r03-uniform-limit-continuity-theorem-foundations","title":{"zh-Hant":"一致極限保持連續基礎 · 脈衝 R03","en":"Whole-Domain Error Bounds and a Fixed-Approximant Continuity Transfer"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-uniform-limit-continuity-theorem"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261117-r02-ratio-test-series-foundations","title":{"zh-Hant":"級數比值判別法基礎 · 脈衝 R02","en":"Absolute Ratio Limits, Domination and Limit-One Inconclusiveness"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-ratio-test-series"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261117-r01-series-comparison-test-foundations","title":{"zh-Hant":"級數比較判別法基礎 · 脈衝 R01","en":"Nonnegative Tail Comparisons and Correct Convergence Directions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-series-comparison-test"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261116-r07-multiplicative-order-mod-n-foundations","title":{"zh-Hant":"模n乘法階基礎 · 脈衝 R07","en":"Qualified Units, First Positive Returns and Phi Divisibility"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-multiplicative-order-mod-n"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations","title":{"zh-Hant":"有向無環圖的拓撲排序基礎 · 脈衝 R06","en":"All Topological Orders, Source-Removal Traces and Explicit Cycles"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-topological-ordering-dag"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261116-r05-finite-sufficient-statistic-foundations","title":{"zh-Hant":"有限模型充分統計量基礎 · 脈衝 R05","en":"Complete Fibers, Positive-Mass Conditional Laws and Sufficiency"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-sufficient-statistic"],"state":"candidate_validated"}],"title":"Question batches"}