{"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":"12"},"kind":"batches","total":360,"pages":15,"page":12,"entries":[{"id":"batch-20261009-advance-20261013-r02-integer-foundations","title":{"zh-Hant":"整數密度：歐式商餘、符號位移與分數候選基礎 · 脈衝 R02","en":"Euclidean Division and Signed Integer Protocols"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-09","count":100,"mko_ids":["mko-integer"],"state":"candidate_validated"},{"id":"batch-20261009-advance-20261013-r01-pythagorean-theorem-foundations","title":{"zh-Hant":"畢氏密度：股平方、缺股、正主斜邊與候選殘差基礎 · 脈衝 R01","en":"Positive Right-Triangle Sides and Square Residuals"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-09","count":100,"mko_ids":["mko-euclid-pythagorean-theorem"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261012-r07-function-mapping-foundations","title":{"zh-Hant":"映射補強：完整圖形、陪域差、型別查詢與逐點差異基礎 · 脈衝 R07","en":"Complete Typed Maps, Ranges, and Query Guards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-function-mapping"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261012-r06-euclidean-length-foundations","title":{"zh-Hant":"長度補強：有向座標差、主根、中點與軸路徑基礎 · 脈衝 R06","en":"Directed Components, Principal Lengths, and Midpoints"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-euclidean-length"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261012-r05-right-triangle-foundations","title":{"zh-Hant":"直角補強：角度條件資格、標記頂點與π精確倍數基礎 · 脈衝 R05","en":"Exact Angle Qualification and Labeled Right Vertices"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-right-triangle"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261012-r04-set-membership-foundations","title":{"zh-Hant":"隸屬補強：型別資格、插入刪除與有限謂詞外延基礎 · 脈衝 R04","en":"Typed Membership and Finite Predicate Extensions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-set-membership"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261012-r03-proposition-foundations","title":{"zh-Hant":"命題補強：封閉真假、自由變數與候選自報基礎 · 脈衝 R03","en":"Closed Truths, Open Bindings, and Candidate Reports"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-proposition"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261012-r02-counting-principle-foundations","title":{"zh-Hant":"計數補強：互斥標籤、完整直積與條件分支基礎 · 脈衝 R02","en":"Tagged Choice Counts and Actual Branch Widths"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-counting-principle"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261012-r01-mathematical-induction-foundations","title":{"zh-Hant":"歸納補強：索引角色、遞推前綴與候選步缺陷基礎 · 脈衝 R01","en":"Finite Induction Scope and Separate Base/Step Defects"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-mathematical-induction"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261011-r07-tends-to-relation-foundations","title":{"zh-Hant":"趨近補缺：有限主濾子、像生成集、阻擋與合成基礎 · 脈衝 R07","en":"Finite Principal-Filter Images and Direction Guards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-tends-to-relation"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261011-r06-sample-space-foundations","title":{"zh-Hant":"樣本空間補缺：有序結果、觀察記錄、完整性與事件基礎 · 脈衝 R06","en":"Possible Outcomes, Recording Fibers, and Completeness"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-sample-space"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261011-r05-subset-foundations","title":{"zh-Hant":"子集合補缺：阻擋點、嚴格資格、鏈與反例候選基礎 · 脈衝 R05","en":"Inclusion Obstructions and Strictness Witnesses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-subset"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261011-r04-set-foundations","title":{"zh-Hant":"集合補缺：外延列舉、相等見證、候選分割與有限冪集基礎 · 脈衝 R04","en":"Finite Set Extension, Equality, and Powersets"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-set"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261011-r03-variable-expression-foundations","title":{"zh-Hant":"表達式補缺：環境、同時代換、詞法作用域與排除點基礎 · 脈衝 R03","en":"Environments, Simultaneous Substitution, and Original Domains"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-variable-expression"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261011-r02-arithmetic-operations-foundations","title":{"zh-Hant":"四則補缺：Q精確運算、括號、逆元與N封閉邊界基礎 · 脈衝 R02","en":"Exact Rational Operations and Natural Eligibility"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-arithmetic-operations"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261011-r01-natural-number-foundations","title":{"zh-Hant":"自然數補缺：含0、後繼、自然前驅與整數資格基礎 · 脈衝 R01","en":"Zero-Inclusive Naturals and Partial Predecessors"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-natural-number"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261010-r07-quantifier-foundations","title":{"zh-Hant":"量詞密度：真值分割、資格與次序枚舉基礎 · 脈衝 R07","en":"Finite Predicate Partitions and Ordered Quantifier Counts"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-quantifier"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261010-r06-variance-foundations","title":{"zh-Hant":"變異數密度：逐項中心量與支持见證基礎 · 脈衝 R06","en":"Centered Probability Contributions and Positive Support"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-variance"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261010-r05-expectation-foundations","title":{"zh-Hant":"期望密度：逐項、共模型與未知整數值基礎 · 脈衝 R05","en":"Shared-Model Expectations and Positive-Mass Recovery"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-expectation"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261010-r04-conditional-probability-foundations","title":{"zh-Hant":"條件密度：概率質量、雙向與逐點重條件基礎 · 脈衝 R04","en":"Finite Conditional Laws and Candidate Defects"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-conditional-probability"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261010-r03-distance-formula-foundations","title":{"zh-Hant":"距離密度：有序平方、符號资格與整數路徑基礎 · 脈衝 R03","en":"Exact Squared Distances, Signs, and Tie Groups"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-distance-formula"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261010-r02-set-operations-foundations","title":{"zh-Hant":"集合密度：計數、組合差與明示全集基礎 · 脈衝 R02","en":"Finite Set Cardinalities and Ordered Partitions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-set-operations"],"state":"candidate_validated"},{"id":"batch-20261008-advance-20261010-r01-polynomial-foundations","title":{"zh-Hant":"多項式密度：係數運算、雙點求值與平移基礎 · 脈衝 R01","en":"Complete Polynomial Coefficients and Ordered Values"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-08","count":100,"mko_ids":["mko-polynomial"],"state":"candidate_validated"},{"id":"batch-20261007-advance-20261009-r07-eigenvalue-foundations","title":{"zh-Hant":"特徵值密度：特徵多項式與非零殘差基礎 · 脈衝 R07","en":"Real 2×2 Characteristic Polynomial and Residual Depth"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-07","count":100,"mko_ids":["mko-eigenvalue"],"state":"candidate_validated"}],"title":"Question batches"}