{"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":"11"},"kind":"batches","total":360,"pages":15,"page":11,"entries":[{"id":"batch-20261012-advance-20261016-r05-system-linear-equations-foundations","title":{"zh-Hant":"二元聯立一次方程組與退化邊界密度與邊界基礎 · 脈衝 R05","en":"Two-Equation Ranks, Residuals, and Row-Operation Guards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-system-linear-equations"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261016-r04-determinant-foundations","title":{"zh-Hant":"實二階方陣的行列式密度與邊界基礎 · 脈衝 R04","en":"Signed Real 2×2 Determinants and Product Orders"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-determinant"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261016-r03-linear-transformation-foundations","title":{"zh-Hant":"矩陣表示的實平面線性映射密度與邊界基礎 · 脈衝 R03","en":"Declared Plane Matrix Maps and Affine Zero Obstructions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-linear-transformation"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261016-r02-matrix-foundations","title":{"zh-Hant":"有限矩陣的尺寸、索引與轉置密度與邊界基礎 · 脈衝 R02","en":"Complete Matrix Shapes, Transposes, and Index Guards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-matrix"],"state":"candidate_validated"},{"id":"batch-20261012-advance-20261016-r01-vector-foundations","title":{"zh-Hant":"固定基底下的平面向量密度與邊界基礎 · 脈衝 R01","en":"Fixed-Basis Vector Combinations and Component Guards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-12","count":100,"mko_ids":["mko-vector"],"state":"candidate_validated"},{"id":"batch-20261011-advance-20261015-r07-coordinate-plane-foundations","title":{"zh-Hant":"座標密度：有序欄位、軸象限與候選稽核基礎 · 脈衝 R07","en":"Ordered Coordinate Fields, Axes, and Equality"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-11","count":100,"mko_ids":["mko-coordinate-plane"],"state":"candidate_validated"},{"id":"batch-20261011-advance-20261015-r06-permutation-combination-foundations","title":{"zh-Hant":"選取密度：有序無序、指定物件與固定前序基礎 · 脈衝 R06","en":"Distinct Selection Eligibility and Fixed Prefixes"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-11","count":100,"mko_ids":["mko-permutation-combination"],"state":"candidate_validated"},{"id":"batch-20261011-advance-20261015-r05-sequence-foundations","title":{"zh-Hant":"數列密度：有限窗口、延伸與有序前綴基礎 · 脈衝 R05","en":"Finite Sequence Windows, Extensions, and Ordered Differences"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-11","count":100,"mko_ids":["mko-sequence"],"state":"candidate_validated"},{"id":"batch-20261011-advance-20261015-r04-composition-foundations","title":{"zh-Hant":"合成密度：中間域、路徑與兩序仿射基礎 · 脈衝 R04","en":"Typed Composition Paths and Slope-First Affine Orders"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-11","count":100,"mko_ids":["mko-composition"],"state":"candidate_validated"},{"id":"batch-20261011-advance-20261015-r03-domain-codomain-range-foundations","title":{"zh-Hant":"型別密度：完整函數表、原像與資料列資格基礎 · 脈衝 R03","en":"Complete Typed Function Data and Table Protocols"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-11","count":100,"mko_ids":["mko-domain-codomain-range"],"state":"candidate_validated"},{"id":"batch-20261011-advance-20261015-r02-ratio-proportion-foundations","title":{"zh-Hant":"比例密度：零後項、三點律與同單位分配基礎 · 脈衝 R02","en":"Numeric Ratio Guards and Same-Unit Partitions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-11","count":100,"mko_ids":["mko-ratio-proportion"],"state":"candidate_validated"},{"id":"batch-20261011-advance-20261015-r01-fraction-foundations","title":{"zh-Hant":"分數密度：真和、差鏈、倒數與表示稽核基礎 · 脈衝 R01","en":"Fraction Representations, Reciprocal Guards, and Raw Scaling"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-11","count":100,"mko_ids":["mko-fraction"],"state":"candidate_validated"},{"id":"batch-20261010-advance-20261014-r07-circle-foundations","title":{"zh-Hant":"圓密度：邊界殘差、軸向對徑與截線候選基礎 · 脈衝 R07","en":"Circle Boundary Squares and Zero-Radius Cases"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-10","count":100,"mko_ids":["mko-circle"],"state":"candidate_validated"},{"id":"batch-20261010-advance-20261014-r06-absolute-value-foundations","title":{"zh-Hant":"絕對值密度：有理分支、距離與門檻候選基礎 · 脈衝 R06","en":"Rational Absolute Branches, Targets, and Closed Thresholds"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-10","count":100,"mko_ids":["mko-absolute-value"],"state":"candidate_validated"},{"id":"batch-20261010-advance-20261014-r05-factorial-foundations","title":{"zh-Hant":"階乘密度：相鄰比、空窗口與候選稽核基礎 · 脈衝 R05","en":"Exact Factorial Windows and Candidate Audits"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-10","count":100,"mko_ids":["mko-factorial"],"state":"candidate_validated"},{"id":"batch-20261010-advance-20261014-r04-linear-equation-foundations","title":{"zh-Hant":"一次密度：規一列、退化參數與根周回代基礎 · 脈衝 R04","en":"Linear Eligibility and Degenerate Constant Cases"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-10","count":100,"mko_ids":["mko-linear-equation"],"state":"candidate_validated"},{"id":"batch-20261010-advance-20261014-r03-equation-foundations","title":{"zh-Hant":"方程密度：原式雙側、乘零與排除點基礎 · 脈衝 R03","en":"Original Equation Domains and Noninvertible Scaling"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-10","count":100,"mko_ids":["mko-equation"],"state":"candidate_validated"},{"id":"batch-20261010-advance-20261014-r02-real-number-foundations","title":{"zh-Hant":"實數密度：有理中點、閉區間與有限點列基礎 · 脈衝 R02","en":"Exact Rational Midpoints and Closed Intervals"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-10","count":100,"mko_ids":["mko-real-number"],"state":"candidate_validated"},{"id":"batch-20261010-advance-20261014-r01-angle-foundations","title":{"zh-Hant":"角度密度：拆角、互餘資格與量值預算基礎 · 脈衝 R01","en":"Exact Nondirected Angle Budgets and Thresholds"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-10","count":100,"mko_ids":["mko-angle"],"state":"candidate_validated"},{"id":"batch-20261009-advance-20261013-r07-triangle-foundations","title":{"zh-Hant":"三角密度：頂點資格、對邊標記與有理中點基礎 · 脈衝 R07","en":"Labeled Euclidean Vertex and Midpoint Checks"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-09","count":100,"mko_ids":["mko-triangle"],"state":"candidate_validated"},{"id":"batch-20261009-advance-20261013-r06-event-foundations","title":{"zh-Hant":"事件密度：補事件、聯交、分塊族與候選觀測基礎 · 脈衝 R06","en":"Declared Event Families and Typed Occurrences"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-09","count":100,"mko_ids":["mko-event"],"state":"candidate_validated"},{"id":"batch-20261009-advance-20261013-r05-logical-connectives-foundations","title":{"zh-Hant":"連接詞密度：八行古典表、含括或與材料蘊涵基礎 · 脈衝 R05","en":"Complete Classical Eight-Row Connective Tables"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-09","count":100,"mko_ids":["mko-logical-connectives"],"state":"candidate_validated"},{"id":"batch-20261009-advance-20261013-r04-proof-foundations","title":{"zh-Hant":"證明密度：有限MP規則、最短深度與候選審查基礎 · 脈衝 R04","en":"Given-Fact MP Depths and Sequential Trace Audits"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-09","count":100,"mko_ids":["mko-proof"],"state":"candidate_validated"},{"id":"batch-20261009-advance-20261013-r03-rational-number-foundations","title":{"zh-Hant":"有理密度：正規表示、次序、除零與回代基礎 · 脈衝 R03","en":"Exact Rational Representations and Division Guards"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-09","count":100,"mko_ids":["mko-rational-number"],"state":"candidate_validated"}],"title":"Question batches"}