{
 "run": "RUN-003",
 "subject": "Round 00 sec. 25 and sec. 21.6 on the 42 canonical documents",
 "checks": {
  "G1": {
   "pass": true,
   "failures": []
  },
  "G2": {
   "pass": true,
   "failures": []
  },
  "G3": {
   "pass": true,
   "failures": []
  },
  "G4": {
   "pass": true,
   "failures": []
  },
  "G5": {
   "pass": true,
   "failures": []
  },
  "G6": {
   "pass": true,
   "failures": []
  }
 },
 "unicode_math_in_prose": {
  "AMRAL_Lebesgue_Finite_Closure_Round_16_Global_Pilot_v0.1.md": {
   "count": 3,
   "distinct": "≥"
  },
  "AMRAL_Lebesgue_Finite_Closure_Round_18_Production_Shard_Emitter_v0.1.md": {
   "count": 1,
   "distinct": "→"
  },
  "AMRAL_Lebesgue_Finite_Closure_Round_19_Necessity_Lazy_Lift_v0.1.md": {
   "count": 4,
   "distinct": "→"
  },
  "AMRAL_Lebesgue_Finite_Closure_Round_31_Cross_Backend_Publication_Candidate_v0.1.md": {
   "count": 5,
   "distinct": "→↓"
  },
  "AMRAL_Lebesgue_Finite_Closure_Round_37_Depth32_DFRONT_Shards_v0.1.md": {
   "count": 4,
   "distinct": "→"
  }
 },
 "judgments": [
  {
   "where": "R00",
   "form": "boxed",
   "subject": "Mathematical closure",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "boxed",
   "subject": "Methodological Round 00",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "Round 00",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "Global Lebesgue problem",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "New bound claimed",
   "status": "NO",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "Finite closure proved",
   "status": "NO",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "Finite closure framework defined",
   "status": "YES",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "RCHM integration complete at methodology level",
   "status": "YES",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "Computation required in Round 00",
   "status": "NO",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "set-off",
   "subject": "",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "set-off",
   "subject": "",
   "status": "CORRECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "set-off",
   "subject": "",
   "status": "REJECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "set-off",
   "subject": "",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "Round 00 分類",
   "status": "REUSE + REBUILD",
   "round00_vocabulary": false
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "Round 00 分類",
   "status": "REUSE",
   "round00_vocabulary": false
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "Round 00 分類 $S^1$",
   "status": "REUSE",
   "round00_vocabulary": false
  },
  {
   "where": "R00",
   "form": "summary-line",
   "subject": "Round 00 分類 $H_2/C_{10}$",
   "status": "TEST",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "SUPPORT-HANDOFF",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "CONSTANT-WIDTH REDUCTION",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "SHAPE-FINITE-COMPILER",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "Round 01 status",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "Lebesgue global problem",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "New numerical lower bound",
   "status": "NO",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "New numerical upper bound",
   "status": "NO",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "New exact reduction",
   "status": "YES",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "New canonical shape domain",
   "status": "YES",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "boxed",
   "subject": "Constructive finite shape certificate",
   "status": "NEXT GATE",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "colon-line",
   "subject": "SHAPE-EPSILON-NET",
   "status": "ABSTRACT-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "colon-line",
   "subject": "EXTREME-ONLY REDUCTION",
   "status": "NOT ESTABLISHED",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "HANDOFF-A",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Q3",
   "status": "REBUILD-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Q2",
   "status": "PASS / PRIMARY HANDOFF",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "CONSTRUCTIVE SHAPE CERTIFICATE",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "TRANSLATION LOCAL FINITE-ACTIVE",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "GLOBAL PLACEMENT FINITE-BRANCH",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "29. 一個重要的禁止捷徑：不能直接只測 extreme constant-width bodies",
   "status": "COMMON-PLACEMENT / EXTREME-SATURATION LEMMA",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "C03：High-mode adversarial shapes",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Definition audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Quantifier audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Degenerate diameter audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Diameter $<1$ audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Reflection audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Translation gauge audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Support containment audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Shape compactness audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Shape finite-net status",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Shape finite-net status",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "code-line",
   "subject": "Numerical-bound claim",
   "status": "NONE",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "table-cell",
   "subject": "Q1 continuity",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "table-cell",
   "subject": "Q2 support function",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "table-cell",
   "subject": "Q3 constant-width reduction",
   "status": "REBUILD-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "table-cell",
   "subject": "Q4 angular/rotation sampling",
   "status": "PASS-WITH-SCOPE",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "table-cell",
   "subject": "Q4 missing shape net",
   "status": "ABSTRACT-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "table-cell",
   "subject": "Q5 predictive $SE(2)$",
   "status": "SEARCH-ONLY",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "table-cell",
   "subject": "Q6 removable region",
   "status": "FINITE-FAMILY-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "table-cell",
   "subject": "一維距離核",
   "status": "REUSE",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "table-cell",
   "subject": "$H_2/C_{10}$",
   "status": "TEST",
   "round00_vocabulary": false
  },
  {
   "where": "R01",
   "form": "plain-heading",
   "subject": "26.4",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R01",
   "form": "plain-heading",
   "subject": "34.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R02",
   "form": "boxed",
   "subject": "CONSTRUCTIVE FINITE SHAPE COMPILER",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R02",
   "form": "boxed",
   "subject": "GLOBAL FINITE CLOSURE",
   "status": "STILL OPEN",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "colon-line",
   "subject": "R-DOMAIN NONSMOOTH AUDIT",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "21. 任意 $\\varepsilon$ 的顯式選參方式",
   "status": "ABSTRACT FINITE NET",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "21. 任意 $\\varepsilon$ 的顯式選參方式",
   "status": "CONSTRUCTIVE LEGAL FINITE NET",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "26. 本輪真正關閉了什麼",
   "status": "UNCONTROLLED INFINITE DOMAIN",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "26. 本輪真正關閉了什麼",
   "status": "CERTIFIED FINITE-RESOLUTION DOMAIN",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "C02-3：Coefficient quantization branch compression",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "UTF-8 canonical source",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "Canonical math delimiters",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "Positive-kernel legality",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "Nonsmooth constant-width inclusion",
   "status": "PROVED IN MEASURE FORM",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "Explicit kernel error",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "Legal coefficient quantization",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "Finite dictionary existence",
   "status": "PROVED CONSTRUCTIVELY",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "Practical enumeration",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "New Lebesgue numerical bound",
   "status": "NONE",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "code-line",
   "subject": "Global solution",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R02",
   "form": "set-off",
   "subject": "",
   "status": "YES",
   "round00_vocabulary": true
  },
  {
   "where": "R02",
   "form": "label-line",
   "subject": "positive-kernel normalization",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R02",
   "form": "plain-heading",
   "subject": "31.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R03",
   "form": "boxed",
   "subject": "FIXED-COVER FINITE CERTIFICATE SCHEMA",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R03",
   "form": "boxed",
   "subject": "GLOBAL LEBESGUE OPTIMIZATION",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R03",
   "form": "colon-line",
   "subject": "",
   "status": "R01-CORRECTION-001",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "SANITY",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "C03-4：Independent verifier",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Continuous translation dual",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Round 01 active-branch correction",
   "status": "RECORDED",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Finite support LP",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Support-grid error",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Orientation Lipschitz",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Reflection branch",
   "status": "EXPLICIT",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Full placement bracket",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Shape + placement fixed-cover certificate",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Numerical sanity",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "New Lebesgue bound",
   "status": "NONE",
   "round00_vocabulary": false
  },
  {
   "where": "R03",
   "form": "code-line",
   "subject": "Global problem",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R03",
   "form": "plain-heading",
   "subject": "31.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R04",
   "form": "boxed",
   "subject": "CANDIDATE-COVER FINITE COMPILER",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R04",
   "form": "boxed",
   "subject": "GLOBAL FINITE-RESOLUTION PROOF GRAPH",
   "status": "ESTABLISHED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "boxed",
   "subject": "finite-resolution global closure",
   "status": "YES",
   "round00_vocabulary": true
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "SANITY",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "C04-4：Area lower-cell bound",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Universal disk anchor",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Uniform radius bound",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Finite outward support compiler",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Universality monotonicity",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Explicit Hausdorff error",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Explicit area inflation",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Finite candidate dictionary",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Global finite polygon bracket",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Cover-margin Hausdorff stability",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Candidate-cell prune rule",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Certificate-safe surgery",
   "status": "PROOF SCHEMA ESTABLISHED",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Numerical sanity",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "New numerical bound",
   "status": "NONE",
   "round00_vocabulary": false
  },
  {
   "where": "R04",
   "form": "code-line",
   "subject": "Exact finite saturation",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R04",
   "form": "set-off",
   "subject": "finite exact saturation",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R04",
   "form": "plain-heading",
   "subject": "34.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R05",
   "form": "boxed",
   "subject": "SATURATION GATE",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "boxed",
   "subject": "FINITE ATTAINMENT",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "CROSS-MAP",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Finite Witness Exchange Compiler and Minimizer-Set Separation",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Convergence vs attainment separation",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Finite witness lower theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Finite witness lower value attainment",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Finite-witness completeness",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Cardinality hierarchy convergence",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Level attainment",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "No false permanent plateau",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Exact finite saturation criterion",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Candidate-cell area lower bound",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Outer non-universal prune",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Strict non-universal eventual prune",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Strict area-suboptimal eventual prune",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "Exact finite witness attainment",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R05",
   "form": "code-line",
   "subject": "New numerical bound",
   "status": "NONE",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "set-off",
   "subject": "",
   "status": "ACTIVE CELL",
   "round00_vocabulary": false
  },
  {
   "where": "R05",
   "form": "plain-heading",
   "subject": "34.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R06",
   "form": "boxed",
   "subject": "FINITE WITNESS EXCHANGE COMPILER",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R06",
   "form": "boxed",
   "subject": "NEXT WITNESS NUMERIC IDENTITY",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R06",
   "form": "code-heading",
   "subject": "",
   "status": "REUSED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-heading",
   "subject": "",
   "status": "DOMINANCE-UPGRADE",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-heading",
   "subject": "",
   "status": "NEW-SEPARATOR",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-heading",
   "subject": "",
   "status": "BATCH-ONLY",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-heading",
   "subject": "",
   "status": "REDUNDANT",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-heading",
   "subject": "",
   "status": "SEARCH-ONLY",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-heading",
   "subject": "",
   "status": "FALSE-POSITIVE",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-heading",
   "subject": "",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "35. External search prior from larger Reuleaux families",
   "status": "SEARCH-PRIOR",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "C06-6：New family lower certificate",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "S1：Continuous dimension",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "S2：disk-to-Reuleaux-triangle violation",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "S3：seed ladder",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "Compact placement domain",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "$m=3$ five-dimensional gauge count",
   "status": "PROVED / MATCHES EXTERNAL CERTIFIED SETUP",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "Minimizer-set compactness",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "Uniform positive violation if non-saturated",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "Finite target-dictionary separation",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "Robust separation margin",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "Strict witness-exchange improvement",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "Eventual finite exchange discovery if non-saturated",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "Witness dominance",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "Mishra seed ingestion",
   "status": "EXTERNAL RESULT IDENTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "New witness identity",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R06",
   "form": "code-line",
   "subject": "New numerical lower bound",
   "status": "NONE",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "set-off",
   "subject": "",
   "status": "DOMINANCE-UPGRADE",
   "round00_vocabulary": false
  },
  {
   "where": "R06",
   "form": "plain-heading",
   "subject": "36.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R07",
   "form": "boxed",
   "subject": "MINIMIZER-ATLAS SCHEMA",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R07",
   "form": "boxed",
   "subject": "CONDITIONAL WITNESS LIFTING",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R07",
   "form": "boxed",
   "subject": "FIRST ACTUAL 0.8350 CERTIFICATE",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R07",
   "form": "colon-line",
   "subject": "",
   "status": "SEARCH-PRIOR ONLY",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "25. $B_7$ 的當前身份",
   "status": "SEARCH-PRIOR",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "25. $B_7$ 的當前身份",
   "status": "EXTERNAL-NUMERICAL-FAMILY-CEILING",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "25. $B_7$ 的當前身份",
   "status": "NEW-SEPARATOR-CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "Gate R07-G1",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R07",
   "form": "code-heading",
   "subject": "",
   "status": "BASE-PRUNED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-heading",
   "subject": "",
   "status": "LIFT-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-heading",
   "subject": "",
   "status": "MULTI-WITNESS-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-heading",
   "subject": "",
   "status": "REFINE",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-heading",
   "subject": "",
   "status": "SEARCH-HIT",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-heading",
   "subject": "",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R07",
   "form": "code-heading",
   "subject": "",
   "status": "BOUNDARY-ANOMALY",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "$D$",
   "status": "REUSED / ANCHOR",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "$B_3$",
   "status": "DOMINANCE-UPGRADE",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "$B_5$",
   "status": "DOMINANCE-UPGRADE",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "$B_7$",
   "status": "SEARCH-PRIOR",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "$B_7$",
   "status": "NEW-SEPARATOR-CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "$B_9,B_{11},B_{13}$",
   "status": "SEARCH-PRIOR",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "External seed source",
   "status": "VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "Official five-dimensional parameterization",
   "status": "VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "Sharper translation domain",
   "status": "VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "Official exhibited near-minimizer seed",
   "status": "VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "Threshold-conditioned atlas theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "Witness-switching theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "Lazy dimension activation",
   "status": "PROVED AS CERTIFICATE LOGIC",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "Robust cell-lift transfer",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "Regular Reuleaux ranking",
   "status": "SEARCH-ONLY",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "$B_7$ as certified next witness",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R07",
   "form": "code-line",
   "subject": "$0.8350$ lower bound",
   "status": "OPEN / COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R07",
   "form": "plain-heading",
   "subject": "38.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R08",
   "form": "boxed",
   "subject": "CONDITIONAL-LIFT CERTIFICATE COMPILER",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R08",
   "form": "boxed",
   "subject": "GENERIC CONVEX COMMON-CORE INTERFACE",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "BASE-PRUNED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "LIFT-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "REULEAUX-EROSION",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "ANALYTIC-SUPPORT-CORE",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "CERTIFIED-SUPPORT-CORE",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "SPLIT",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "BASE-PRUNED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "LIFT-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "`LIFT-CLOSED`",
   "status": "UNRESOLVED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "11. Lift tree grammar",
   "status": "LIFT-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "SPLIT",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-heading",
   "subject": "",
   "status": "PRUNED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "證明",
   "status": "LIFT-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "24. Certified negative result for one witness",
   "status": "B7-CELL-COUNTEREXAMPLE",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "24. Certified negative result for one witness",
   "status": "B7-NOT-YET-CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "`root_domain(K,T)`",
   "status": "NOT PROOF PATH",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "Generic convex motion bound",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "General common-core theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "Reuleaux erosion as specialization",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "Generic Fourier/asymmetric witness interface",
   "status": "PROVED AS CERTIFICATE INTERFACE",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "Nested base/lift soundness",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "B7 $0.8350$ root domain",
   "status": "FIXED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "Certificate grammar",
   "status": "SPECIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "Independent verifier invariants",
   "status": "SPECIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "General common-core sanity",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "$0.8350$ lower bound",
   "status": "NOT YET CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "37. 最短交接結論",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R08",
   "form": "set-off",
   "subject": "a_{Leb}≥0.8350",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R08",
   "form": "plain-heading",
   "subject": "34.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R08",
   "form": "code-line",
   "subject": "證明",
   "status": "BASE-PRUNED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "boxed",
   "subject": "ADAPTIVE CERTIFICATE-COST LAYER",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R09",
   "form": "boxed",
   "subject": "SOUNDNESS-PRESERVING REUSE RULES",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R09",
   "form": "boxed",
   "subject": "HEAVY 0.8350 CERTIFICATE",
   "status": "STILL COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "結論 B：Round 07 的 area-transfer error 可收緊",
   "status": "R07-STRENGTHENING-001",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "C09-2 — Add representative prune mode",
   "status": "REP",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "Family-cell Hausdorff radius",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "Sharpened area transfer",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "Margin-to-resolution formula",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "Exact one-step split scheduler",
   "status": "PROVED FOR THE CERTIFIED RADIUS BOUND",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "Representative-area prune",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "Common-core dominance reuse",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "Single-lift witness dominance",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "Margin-to-depth finite bound",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "Scheduler performance gain",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R09",
   "form": "code-line",
   "subject": "$0.8350$ theorem",
   "status": "NOT YET CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R09",
   "form": "plain-heading",
   "subject": "30.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R10",
   "form": "boxed",
   "subject": "REFERENCE PIPELINE",
   "status": "VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R10",
   "form": "boxed",
   "subject": "GLOBAL 0.8350 CERTIFICATE",
   "status": "STILL OPEN",
   "round00_vocabulary": false
  },
  {
   "where": "R10",
   "form": "code-line",
   "subject": "2. Base atlas tree",
   "status": "LIFT-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "R10",
   "form": "code-line",
   "subject": "2. Base atlas tree",
   "status": "BASE-PRUNED",
   "round00_vocabulary": false
  },
  {
   "where": "R10",
   "form": "code-line",
   "subject": "7. Search threshold vs verify threshold",
   "status": "REFERENCE-VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R10",
   "form": "code-line",
   "subject": "7. Search threshold vs verify threshold",
   "status": "VERIFIED-THEOREM-APPLICATION",
   "round00_vocabulary": true
  },
  {
   "where": "R10",
   "form": "code-heading",
   "subject": "",
   "status": "PROVED-ANALYTIC",
   "round00_vocabulary": true
  },
  {
   "where": "R10",
   "form": "code-heading",
   "subject": "",
   "status": "VERIFIED-COMPUTATIONAL",
   "round00_vocabulary": true
  },
  {
   "where": "R10",
   "form": "code-heading",
   "subject": "",
   "status": "CONDITIONAL",
   "round00_vocabulary": true
  },
  {
   "where": "R10",
   "form": "code-heading",
   "subject": "",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R10",
   "form": "code-heading",
   "subject": "",
   "status": "REJECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R10",
   "form": "set-off",
   "subject": "",
   "status": "LOCAL-DOMAIN REFERENCE CERTIFICATE",
   "round00_vocabulary": false
  },
  {
   "where": "R10",
   "form": "set-off",
   "subject": "",
   "status": "REFERENCE-VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R10",
   "form": "set-off",
   "subject": "",
   "status": "FAIL",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "boxed",
   "subject": "SHARDED CERTIFICATE ARCHITECTURE",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R11",
   "form": "boxed",
   "subject": "GLOBAL 0.8350 HEAVY RUN",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "19. Difficulty forecast from Round 09",
   "status": "ACTIVE/HARD",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-heading",
   "subject": "",
   "status": "COMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-heading",
   "subject": "",
   "status": "EXPANDED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-heading",
   "subject": "",
   "status": "FAILED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "`FAILED`",
   "status": "COMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "24. Shard ancestry",
   "status": "CORRECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "24. Shard ancestry",
   "status": "REJECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "C11-5 — Global merge",
   "status": "GLOBAL-CERTIFICATE-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "Prefix-free frontier theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "Frontier replacement invariant",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "Shard partition theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "Global forest identity",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "Content-addressed shard binding",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "Merkle root binding",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "Reference shard replay",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "code-line",
   "subject": "Global 0.835 heavy run",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R11",
   "form": "set-off",
   "subject": "",
   "status": "REFERENCE-SHARDED-VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "set-off",
   "subject": "",
   "status": "REFERENCE-SHARDED-VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "plain-line",
   "subject": "27. Reference counts",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R11",
   "form": "plain-heading",
   "subject": "37.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R12",
   "form": "boxed",
   "subject": "DISTRIBUTED PROOF CHECKPOINT ABI",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R12",
   "form": "boxed",
   "subject": "STALE / CORRECTION SEMANTICS",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R12",
   "form": "boxed",
   "subject": "GLOBAL 0.8350 COMPUTE",
   "status": "STILL DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "colon-line",
   "subject": "",
   "status": "VERIFIED-INDEPENDENT-REPLAY",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "證明",
   "status": "STALE",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-heading",
   "subject": "",
   "status": "EMITTED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-heading",
   "subject": "",
   "status": "VERIFIED-INDEPENDENT-REPLAY",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-heading",
   "subject": "",
   "status": "REJECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R12",
   "form": "code-heading",
   "subject": "",
   "status": "STALE",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-heading",
   "subject": "",
   "status": "SUPERSEDED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-heading",
   "subject": "",
   "status": "CORRECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "20. Proof-critical change propagation",
   "status": "NOT-THEOREM-READY",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "26. Transition V4：local shard rejection",
   "status": "REJECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "Checkpoint schema",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "Dependency fingerprint",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "Stale-safety semantics",
   "status": "PROVED + TESTED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "Performance-only non-invalidation",
   "status": "TESTED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "Local rejection propagation",
   "status": "TESTED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "Append-only correction",
   "status": "TESTED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "Multi-AI audit protocol",
   "status": "SPECIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "Reference checkpoint transition V1–V5",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "code-line",
   "subject": "Global $0.8350$ checkpoint",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R12",
   "form": "set-off",
   "subject": "status_{ effective}(c)",
   "status": "STALE",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "set-off",
   "subject": "",
   "status": "A1 PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "set-off",
   "subject": "",
   "status": "FAIL",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "set-off",
   "subject": "全部舊 claims effective status",
   "status": "STALE",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "set-off",
   "subject": "",
   "status": "STALE",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "set-off",
   "subject": "",
   "status": "NOT-THEOREM-READY",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "set-off",
   "subject": "2:1",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "set-off",
   "subject": "c_B →",
   "status": "REJECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R12",
   "form": "label-line",
   "subject": "AI-A",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "label-line",
   "subject": "AI-B",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "plain-line",
   "subject": "24. Transition V2：performance-only",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "plain-line",
   "subject": "25. Transition V3：proof-critical arithmetic change",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "plain-line",
   "subject": "26. Transition V4：local shard rejection",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "plain-line",
   "subject": "27. Transition V5：append-only correction",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R12",
   "form": "plain-heading",
   "subject": "38.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R13",
   "form": "boxed",
   "subject": "AUTONOMOUS SCHEDULER / MERGER ABI",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R13",
   "form": "boxed",
   "subject": "CONCURRENT RACE SAFETY",
   "status": "TESTED",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "boxed",
   "subject": "GLOBAL 0.8350 HEAVY COMPUTE",
   "status": "STILL DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "colon-line",
   "subject": "",
   "status": "OBSOLETE-EXPANSION",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-line",
   "subject": "6. Proposal acceptance第一關",
   "status": "STALE-PROPOSAL",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-line",
   "subject": "18. Audit proposal",
   "status": "REJECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R13",
   "form": "code-heading",
   "subject": "",
   "status": "PROOF-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-heading",
   "subject": "",
   "status": "SEARCH-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-heading",
   "subject": "",
   "status": "COUNTEREXAMPLE-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-heading",
   "subject": "",
   "status": "EXPANSION-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-line",
   "subject": "Worker/merger authority split",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-line",
   "subject": "Lease non-semantic rule",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-line",
   "subject": "Ancestor contraction",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-line",
   "subject": "Late expansion obsolescence",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-line",
   "subject": "Atomic merge invariants",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-line",
   "subject": "Reference async race",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "code-line",
   "subject": "Global autonomous workers",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R13",
   "form": "set-off",
   "subject": "",
   "status": "OBSOLETE-COVERED-BY-CERTIFIED-ANCESTOR",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "set-off",
   "subject": "",
   "status": "TAIL-FIRST",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "set-off",
   "subject": "",
   "status": "OBSOLETE-COVERED-BY-CERTIFICATE",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "plain-line",
   "subject": "30. Merge A first",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "plain-line",
   "subject": "31. Late certificate semantic rebase",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "plain-line",
   "subject": "32. Late expansion after closure",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R13",
   "form": "plain-heading",
   "subject": "38.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R14",
   "form": "boxed",
   "subject": "SEMANTIC REBASE LAYER",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R14",
   "form": "boxed",
   "subject": "HOT/COLD PROOF COMPACTION",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R14",
   "form": "boxed",
   "subject": "DESTRUCTIVE EVIDENCE DELETION",
   "status": "NOT AUTHORIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "30. Round 12 strengthening ledger",
   "status": "SAFE-CONSERVATIVE",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "30. Round 12 strengthening ledger",
   "status": "R12-STRENGTHENING-001",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Semantic compatibility",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Scalar margin migration",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Witness catalog extension",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Claim dominance",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Minimal active proof core",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Hot-core compaction theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Cold archive binding",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Archive rehydration",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Semantic rebase boundary tests",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "code-line",
   "subject": "Destructive evidence deletion",
   "status": "NOT AUTHORIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "plain-line",
   "subject": "27. Archive rehydration test",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R14",
   "form": "plain-heading",
   "subject": "38.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R15",
   "form": "boxed",
   "subject": "PROOF CAPACITY ALGEBRA",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R15",
   "form": "boxed",
   "subject": "THRESHOLD LADDER AUTOMATION",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R15",
   "form": "boxed",
   "subject": "GLOBAL 0.8350 HEAVY CERTIFICATE",
   "status": "STILL COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "0. 本輪摘要判定",
   "status": "PASS / FAIL",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "15. Reference Free Promotion",
   "status": "READY",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "26. Why 0.8365 is only a phase design",
   "status": "PHASE-DESIGN-CHOICE",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-heading",
   "subject": "",
   "status": "FREE-PROMOTABLE",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-heading",
   "subject": "",
   "status": "SHARD-BOTTLENECK",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-heading",
   "subject": "",
   "status": "ROOT-BOTTLENECK",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-heading",
   "subject": "",
   "status": "MIXED-BOTTLENECK",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Root capacity",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Recursive evidence capacity",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Global capacity theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Free promotion",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Capacity staircase",
   "status": "FORMALIZED + REFERENCE TESTED",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Deficit frontier",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Minimum-cost repair DP",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Phase-master root",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Reference capacity planner",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R15",
   "form": "code-line",
   "subject": "Global $0.8350$ heavy certificate",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R15",
   "form": "plain-heading",
   "subject": "35.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R16",
   "form": "colon-line",
   "subject": "",
   "status": "R09-STRENGTHENING-EMPIRICAL-001",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "colon-line",
   "subject": "",
   "status": "NUMERICAL-SYMMETRY-SIGNAL",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-heading",
   "subject": "",
   "status": "APR",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-heading",
   "subject": "",
   "status": "REP",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-heading",
   "subject": "",
   "status": "CORE",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-heading",
   "subject": "",
   "status": "HARD",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-line",
   "subject": "20. Master-root decision",
   "status": "MASTER-ROOT-PERFORMANCE-NOT-A-THEOREM",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-line",
   "subject": "Full global five-dimensional root used",
   "status": "YES",
   "round00_vocabulary": true
  },
  {
   "where": "R16",
   "form": "code-line",
   "subject": "Finite-depth global pilot",
   "status": "VERIFIED-COMPUTATIONAL / PILOT",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-line",
   "subject": "Official vs exact-$\\tau$ scheduler comparison",
   "status": "VERIFIED-COMPUTATIONAL / PILOT",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-line",
   "subject": "Near-frontier compression signal",
   "status": "NUMERICAL-EVIDENCE",
   "round00_vocabulary": true
  },
  {
   "where": "R16",
   "form": "code-line",
   "subject": "B7 base-first activation recommendation",
   "status": "EMPIRICAL-COMPUTE-POLICY",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-line",
   "subject": "New rigorous lower bound",
   "status": "NONE",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "code-line",
   "subject": "$a_{\\rm Leb}\\ge0.8350$",
   "status": "OPEN / COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R16",
   "form": "set-off",
   "subject": "B7-ACTIVATE-NOW",
   "status": "NO",
   "round00_vocabulary": true
  },
  {
   "where": "R17",
   "form": "boxed",
   "subject": "TAIL-WINDOW CPG",
   "status": "PILOT-RECOMMENDED",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "boxed",
   "subject": "D_3 SYMMETRY QUOTIENT",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R17",
   "form": "dash-line",
   "subject": "Residual $D_3$ group",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "dash-line",
   "subject": "60° canonical wedge",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "dash-line",
   "subject": "`SYM` prune",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "dash-line",
   "subject": "Symmetry implementation sanity",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "dash-line",
   "subject": "$D_3$ global pilot",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "dash-line",
   "subject": "CPG",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "dash-line",
   "subject": "Windowed CPG",
   "status": "PILOT-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "dash-line",
   "subject": "Tail-window CPG",
   "status": "PILOT-PASS / PRODUCTION CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "dash-line",
   "subject": "Global $0.8350$ theorem",
   "status": "STILL OPEN / COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "code-line",
   "subject": "4. Axis-aligned implementation and `SYM`",
   "status": "SYM",
   "round00_vocabulary": false
  },
  {
   "where": "R17",
   "form": "set-off",
   "subject": "a_{Leb}≥0.8350",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R17",
   "form": "plain-heading",
   "subject": "18.",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R18",
   "form": "boxed",
   "subject": "PRODUCTION CHECKPOINT FORMAT",
   "status": "VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "boxed",
   "subject": "long-running checkpoint",
   "status": "Tail-Window preferred",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "7. Default split is implicit",
   "status": "MISHRA-FIRST-ORDER",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "28. Shard status",
   "status": "EXPANDED",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "28. Shard status",
   "status": "COMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "Production shard grammar",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "D3 root replay",
   "status": "VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "Rice-coded sparse override",
   "status": "IMPLEMENTED + VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "Official checkpoint replay",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "Tail-Window checkpoint replay",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "Pending frontier preservation",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "Lifetime cost model",
   "status": "FORMALIZED + EMPIRICALLY CALIBRATED",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "code-line",
   "subject": "Final $0.8350$ theorem",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R18",
   "form": "set-off",
   "subject": "",
   "status": "CORE",
   "round00_vocabulary": false
  },
  {
   "where": "R18",
   "form": "set-off",
   "subject": "",
   "status": "CORE",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "boxed",
   "subject": "LAZY PROOF CASCADE",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R19",
   "form": "boxed",
   "subject": "NECESSITY-MARKER SEMANTICS",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R19",
   "form": "boxed",
   "subject": "BASE/LIFT SWITCH POLICY",
   "status": "PILOT-CALIBRATED",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "9. Correction ledger",
   "status": "CORRECTION-R19-001",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "Base Frontier",
   "status": "BASE-UNRESOLVED",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "Necessity / Lift Frontier",
   "status": "NECESSITY-MARKED",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "23. Diminishing base-refinement return",
   "status": "LIFT-EFFICIENCY-REGIME-PILOT",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "Lazy cascade",
   "status": "PROVED + A/B PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "Continuation $\\kappa$",
   "status": "MEASURED",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "Sample-inner sublevel interpretation",
   "status": "CORRECTED",
   "round00_vocabulary": true
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "Official exact-kernel center classification",
   "status": "VERIFIED-COMPUTATIONAL-PILOT",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "Necessity-Marker Theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "Necessity segmentation",
   "status": "IMPLEMENTED / PILOT PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "$\\tau\\sim10^{-3}$ lift-efficiency regime",
   "status": "NUMERICAL-EVIDENCE / SCHEDULER PARAMETER",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "B7 global closure",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R19",
   "form": "code-line",
   "subject": "Global $a_{\\mathrm{Leb}}\\ge0.835$",
   "status": "NOT YET CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "set-off",
   "subject": "a_{Leb}≥0.8350",
   "status": "STILL COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R19",
   "form": "set-off",
   "subject": "",
   "status": "CENTER-SUBLEVEL-CERTIFIED-PILOT",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "boxed",
   "subject": "MIXED SHARD GRAMMAR",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R20",
   "form": "boxed",
   "subject": "WITNESS NEGATIVE FILTER",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R20",
   "form": "boxed",
   "subject": "ADAPTIVE ESCALATION",
   "status": "PILOT-CALIBRATED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "code-line",
   "subject": "6. Absence of counterexample has no positive proof value",
   "status": "NO-COUNTEREXAMPLE-FOUND",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "code-line",
   "subject": "6. Absence of counterexample has no positive proof value",
   "status": "VIABLE-PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "code-line",
   "subject": "N1 — Negative Filter",
   "status": "WITNESS-DISQUALIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "set-off",
   "subject": "a_{Leb}≥0.8350",
   "status": "STILL COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "set-off",
   "subject": "",
   "status": "CURRENT CERTIFICATE INCOMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "set-off",
   "subject": "",
   "status": "REFERENCE-MIXED-SHARD-VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "label-line",
   "subject": "Mixed shard grammar",
   "status": "IMPLEMENTED + REPLAYED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "label-line",
   "subject": "Necessity markers in mixed shard",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "label-line",
   "subject": "Partial lift semantics",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "label-line",
   "subject": "Witness negative theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "label-line",
   "subject": "B23 negative example",
   "status": "VERIFIED-COMPUTATIONAL-PILOT",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "label-line",
   "subject": "Absence-of-counterexample -> viability",
   "status": "REJECTED AS INFERENCE",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "label-line",
   "subject": "Horizon-dependent ranking",
   "status": "NUMERICAL-EVIDENCE",
   "round00_vocabulary": true
  },
  {
   "where": "R20",
   "form": "label-line",
   "subject": "B7 full closure of marked cell",
   "status": "NOT YET ACHIEVED",
   "round00_vocabulary": false
  },
  {
   "where": "R20",
   "form": "label-line",
   "subject": "Global $0.8350$",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R21",
   "form": "boxed",
   "subject": "B7 LIFT-TAIL ATLAS",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R21",
   "form": "boxed",
   "subject": "COUNTEREXAMPLE-GUIDED SYNTHESIS LOOP",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R21",
   "form": "boxed",
   "subject": "NEW SUPERIOR WITNESS",
   "status": "NOT FOUND",
   "round00_vocabulary": false
  },
  {
   "where": "R21",
   "form": "set-off",
   "subject": "a_{Leb}≥0.8350",
   "status": "STILL COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R21",
   "form": "label-line",
   "subject": "B7 lift-tail atlas",
   "status": "VERIFIED-COMPUTATIONAL-PILOT",
   "round00_vocabulary": false
  },
  {
   "where": "R21",
   "form": "label-line",
   "subject": "Two-lobe phase lock",
   "status": "NUMERICAL-EVIDENCE",
   "round00_vocabulary": true
  },
  {
   "where": "R21",
   "form": "label-line",
   "subject": "Cutting-plane witness synthesis",
   "status": "FORMALIZED + IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R21",
   "form": "label-line",
   "subject": "Finite-tail optimism theorem",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R21",
   "form": "label-line",
   "subject": "7-fold legal deformation family",
   "status": "PROVED",
   "round00_vocabulary": false
  },
  {
   "where": "R21",
   "form": "label-line",
   "subject": "superior 7-fold witness",
   "status": "NOT FOUND",
   "round00_vocabulary": false
  },
  {
   "where": "R21",
   "form": "label-line",
   "subject": "nearby irregular Reuleaux7 improvement",
   "status": "NOT FOUND",
   "round00_vocabulary": false
  },
  {
   "where": "R21",
   "form": "label-line",
   "subject": "regular B7 local minimax interpretation",
   "status": "NUMERICAL-EVIDENCE",
   "round00_vocabulary": true
  },
  {
   "where": "R21",
   "form": "label-line",
   "subject": "global $0.8350$",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R22",
   "form": "boxed",
   "subject": "MULTI-MODE FOURIER LEGALITY COMPILER",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R22",
   "form": "boxed",
   "subject": "FULL-ORIENTATION ORACLE RULE",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R22",
   "form": "boxed",
   "subject": "PROOF-COST PARETO MAP",
   "status": "ESTABLISHED",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "code-heading",
   "subject": "",
   "status": "TRAINING-SCORE",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "code-heading",
   "subject": "",
   "status": "OPTIMISTIC-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "code-heading",
   "subject": "",
   "status": "ROBUST-SEARCH-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "code-heading",
   "subject": "",
   "status": "COMPILED-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "code-heading",
   "subject": "",
   "status": "LIFT-VERIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "code-line",
   "subject": "21. Full symmetry-breaking candidate verdict",
   "status": "SEARCH ARCHIVE",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "code-line",
   "subject": "24. Search status warning",
   "status": "SEARCH-ONLY",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "code-line",
   "subject": "25. New compiler path",
   "status": "PURE-HARMONIC-CW",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "set-off",
   "subject": "NEW SINGLE WITNESS DOMINATING B_7",
   "status": "NOT FOUND",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "set-off",
   "subject": "a_{Leb}≥0.8350",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "R22",
   "form": "set-off",
   "subject": "",
   "status": "PRIMARY ROBUST CLOSER",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "set-off",
   "subject": "",
   "status": "BALANCED AUXILIARY",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "set-off",
   "subject": "",
   "status": "CHEAP / RAZOR-THIN AUXILIARY",
   "round00_vocabulary": false
  },
  {
   "where": "R22",
   "form": "set-off",
   "subject": "",
   "status": "NOT PROMOTED TO PRODUCTION WITNESS POOL",
   "round00_vocabulary": false
  },
  {
   "where": "R23",
   "form": "boxed",
   "subject": "STRICT PORTFOLIO INCIDENCE",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R23",
   "form": "boxed",
   "subject": "SET-COVER LEGALITY",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R23",
   "form": "boxed",
   "subject": "CURRENT 12-CELL STRICT COVER AT DEPTH 16",
   "status": "INFEASIBLE",
   "round00_vocabulary": false
  },
  {
   "where": "R23",
   "form": "code-line",
   "subject": "25. Counterexample effect",
   "status": "DISQUALIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R23",
   "form": "set-off",
   "subject": "",
   "status": "INFEASIBLE",
   "round00_vocabulary": false
  },
  {
   "where": "R23",
   "form": "set-off",
   "subject": "a_{Leb}≥0.8350",
   "status": "STILL COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R23",
   "form": "set-off",
   "subject": "",
   "status": "INFEASIBLE",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "boxed",
   "subject": "FIRST REFERENCE STRICT LIFT EDGE",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R24",
   "form": "boxed",
   "subject": "JOINT-WITNESS ADMISSION LOGIC",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R24",
   "form": "boxed",
   "subject": "JOINT NECESSITY ON TESTED CELLS",
   "status": "NOT ESTABLISHED",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "code-line",
   "subject": "7. First actual complete-edge certificate",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "code-line",
   "subject": "9. Cell 3",
   "status": "PARTIAL",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "code-line",
   "subject": "9. Cell 3",
   "status": "CONTRACTING",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "code-heading",
   "subject": "",
   "status": "JOINT-REDUNDANT",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "code-heading",
   "subject": "",
   "status": "JOINT-DEFERRED-CONTRACTING",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "code-heading",
   "subject": "",
   "status": "JOINT-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "code-heading",
   "subject": "",
   "status": "JOINT-NECESSARY-RELATIVE-TO-PORTFOLIO",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "code-line",
   "subject": "19. Residual Collapse Principle",
   "status": "JOINT-DEFERRED-CONTRACTING",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "code-line",
   "subject": "20. Plateau gate",
   "status": "JOINT-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "set-off",
   "subject": "a_{Leb}≥0.8350",
   "status": "STILL COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "set-off",
   "subject": "",
   "status": "REFERENCE-COMPLETE-EDGE-PILOT",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "set-off",
   "subject": "",
   "status": "COMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "set-off",
   "subject": "",
   "status": "COMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "set-off",
   "subject": "",
   "status": "JOINT-REDUNDANT",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "set-off",
   "subject": "",
   "status": "JOINT-REDUNDANT",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "set-off",
   "subject": "",
   "status": "JOINT-REDUNDANT",
   "round00_vocabulary": false
  },
  {
   "where": "R24",
   "form": "set-off",
   "subject": "",
   "status": "JOINT-DEFERRED-CONTRACTING",
   "round00_vocabulary": false
  },
  {
   "where": "R25",
   "form": "boxed",
   "subject": "REFERENCE JOINT RESIDUAL",
   "status": "EMPTY",
   "round00_vocabulary": false
  },
  {
   "where": "R25",
   "form": "boxed",
   "subject": "77-CELL / GLOBAL RESULT",
   "status": "NOT YET COMPUTED",
   "round00_vocabulary": false
  },
  {
   "where": "R25",
   "form": "boxed",
   "subject": "12-CELL REFERENCE SINGLETON B_7 COVER",
   "status": "COMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R25",
   "form": "set-off",
   "subject": "a_{Leb}≥0.8350",
   "status": "STILL COMPUTE-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "R25",
   "form": "set-off",
   "subject": "all cells end at",
   "status": "JOINT-REDUNDANT",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "boxed",
   "subject": "JOINT NECESSITY",
   "status": "NOT ESTABLISHED",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "boxed",
   "subject": "PRODUCTION ARITHMETIC ABI",
   "status": "FORMALIZED",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "boxed",
   "subject": "INTERVAL BACKEND / FULL REPLAY",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R26",
   "form": "code-line",
   "subject": "13. Arithmetic becomes the next theorem gate",
   "status": "ARITHMETIC-PENDING",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "code-line",
   "subject": "15. Per-leaf arithmetic ledger",
   "status": "INTERVAL-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "code-line",
   "subject": "15. Per-leaf arithmetic ledger",
   "status": "INTERVAL-INCONCLUSIVE",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "set-off",
   "subject": "",
   "status": "ARITHMETIC-PENDING",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "set-off",
   "subject": "RESIDUAL:26/77",
   "status": "ALL CONTRACTING",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "label-line",
   "subject": "every active lower leaf",
   "status": "INTERVAL-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R26",
   "form": "label-line",
   "subject": "independent replay",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R27",
   "form": "set-off",
   "subject": "5/5",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R27",
   "form": "set-off",
   "subject": "PUBLICATION THEOREM",
   "status": "NOT YET",
   "round00_vocabulary": false
  },
  {
   "where": "R27",
   "form": "set-off",
   "subject": "3170/3170",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R27",
   "form": "set-off",
   "subject": "5/5",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R27",
   "form": "set-off",
   "subject": "first rational/interval lower leaf certificates",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R27",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "15. Bulk migration result",
   "status": "RATIONAL-INTERVAL-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "Exact rational master target",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "Directed $d_\\star$",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "Directed $t_3,t_5,t_7$",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "D3 root reconstruction",
   "status": "IMPLEMENTED",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "cell0 base path explicitization",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "witness split-axis stream",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "publication backend pinning",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "global arithmetic replay",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R28",
   "form": "code-line",
   "subject": "global $a_{\\mathrm{Leb}}\\ge0.835$",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "set-off",
   "subject": "9278/9278",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "set-off",
   "subject": "",
   "status": "CELL0-ARITHMETIC-MIGRATED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "set-off",
   "subject": "",
   "status": "CELL0-ARITHMETIC-MIGRATED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "set-off",
   "subject": "9278/9278",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE LIFT SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R28",
   "form": "set-off",
   "subject": "",
   "status": "REFERENCE-COMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "boxed",
   "subject": "77 NECESSITY MARKER UPPER MIGRATION",
   "status": "COMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "boxed",
   "subject": "WHOLE-SHARD ARITHMETIC ABI",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "R29",
   "form": "boxed",
   "subject": "FIRST WHOLE-SHARD PROTOTYPE",
   "status": "ARITHMETICALLY CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "boxed",
   "subject": "FULL A1 / PUBLICATION BACKEND",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R29",
   "form": "code-line",
   "subject": "0. 本輪摘要",
   "status": "UPPER-INCONCLUSIVE",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "code-line",
   "subject": "19. Marker 70 upper",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "code-heading",
   "subject": "",
   "status": "ARITHMETICALLY-CLOSED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "code-heading",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "code-heading",
   "subject": "",
   "status": "THEOREM-READY",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "77/77",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "",
   "status": "ARITHMETICALLY-CLOSED-WHOLE-SHARD-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "",
   "status": "A1-MARKER-SAMPLE-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "9278/9278",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "",
   "status": "ARITHMETICALLY-CLOSED-WHOLE-SHARD-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "77/77 marker upper certificates",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R29",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "code-line",
   "subject": "9278 lower leaves full A1",
   "status": "PUBLICATION-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "code-line",
   "subject": "7. Directed point membership",
   "status": "A1-INCONCLUSIVE",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "code-line",
   "subject": "12. Root A1 verifier bug",
   "status": "R30-A1-ROOT-001",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "code-line",
   "subject": "16. Backend trust state",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "code-heading",
   "subject": "",
   "status": "ARITHMETICALLY-CLOSED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "code-heading",
   "subject": "",
   "status": "A1-VERIFIED-PINNED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "code-heading",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "code-heading",
   "subject": "",
   "status": "THEOREM-READY",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "全部 overlap",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "9278/9278",
   "status": "A1-PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "",
   "status": "A1-VERIFIED-PINNED-PROTOTYPE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "overlap",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "",
   "status": "PINNED-REPRODUCIBLE-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "",
   "status": "TRUST-AUDIT-OPEN",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "",
   "status": "A1-VERIFIED-PINNED-PROTOTYPE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "root",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "upper",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "9278/9278 lower",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "",
   "status": "A1-VERIFIED-PINNED-PROTOTYPE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "plain-line",
   "subject": "Root/path",
   "status": "A1 PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "plain-line",
   "subject": "Marker upper",
   "status": "A1 PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "plain-line",
   "subject": "B7 lower",
   "status": "A1 PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "plain-line",
   "subject": "Arithmetic backend",
   "status": "PINNED",
   "round00_vocabulary": false
  },
  {
   "where": "R30",
   "form": "plain-line",
   "subject": "Independent backend trust",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "R31",
   "form": "code-line",
   "subject": "6. Initial conservative marker false negative",
   "status": "R31-MPFR-MARKER-001",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "code-line",
   "subject": "13. Publication-candidate gate",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "code-line",
   "subject": "19. Current local status lattice",
   "status": "REFERENCE-COMPLETE",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "code-line",
   "subject": "19. Current local status lattice",
   "status": "ARITHMETICALLY-CLOSED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "code-line",
   "subject": "19. Current local status lattice",
   "status": "A1-VERIFIED-PINNED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "t_3,t_5,t_7 与 Round28 directed intervals 全部 overlap",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "9278/9278",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "",
   "status": "ALL LOCAL CONDITIONS MET",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "",
   "status": "ARITHMETIC-MIGRATION QUEUE",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "MPFR root",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "MPFR upper",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "9278/9278 MPFR lower",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "root",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "marker upper",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R31",
   "form": "set-off",
   "subject": "9278/9278 lower",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R32",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R32",
   "form": "set-off",
   "subject": "7856/7856",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R32",
   "form": "set-off",
   "subject": "7856/7856 MPFR",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R32",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R32",
   "form": "set-off",
   "subject": "9228/9228",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R32",
   "form": "set-off",
   "subject": "",
   "status": "ARITHMETICALLY-CLOSED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R32",
   "form": "label-line",
   "subject": "marker70",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R32",
   "form": "label-line",
   "subject": "cell69",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R32",
   "form": "label-line",
   "subject": "cell47",
   "status": "ARITHMETICALLY-CLOSED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "code-line",
   "subject": "4. Cell47 dominance audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "code-line",
   "subject": "4. Cell47 dominance audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "code-line",
   "subject": "4. Cell47 dominance audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "code-line",
   "subject": "4. Cell47 dominance audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "code-line",
   "subject": "7. Cell48 dominance audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "code-line",
   "subject": "7. Cell48 dominance audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "code-line",
   "subject": "7. Cell48 dominance audit",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "code-line",
   "subject": "8. Certificate-Entity Gap",
   "status": "PUBLICATION-CANDIDATE",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "set-off",
   "subject": "9285/9285",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "set-off",
   "subject": "",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "set-off",
   "subject": "9285/9285",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "set-off",
   "subject": "",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "set-off",
   "subject": "",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "set-off",
   "subject": "47/48 backend dominance皆完全",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "label-line",
   "subject": "independent exact polar upper replay",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R33",
   "form": "label-line",
   "subject": "MPFR upper replay",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "9228/9228 leaves",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "9285/9285 leaves",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "9255/9255 mpmath/libmp lower",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "",
   "status": "ARITHMETICALLY-CLOSED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "47,48 →",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "9255/9255",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "68 →",
   "status": "ARITHMETICALLY-CLOSED-PROTOTYPE",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "label-line",
   "subject": "independent exact-polar upper",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R34",
   "form": "label-line",
   "subject": "MPFR upper",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R35",
   "form": "set-off",
   "subject": "9255/9255 RHCERT bytes-only replay",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R35",
   "form": "set-off",
   "subject": "cell68 →",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R35",
   "form": "set-off",
   "subject": "10948/10948 lower",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R35",
   "form": "set-off",
   "subject": "10932/10932 lower",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R35",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R35",
   "form": "label-line",
   "subject": "marker independent upper + MPFR upper",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R35",
   "form": "label-line",
   "subject": "marker independent upper + MPFR upper",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R36",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R36",
   "form": "set-off",
   "subject": "10948/10948",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R36",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R36",
   "form": "set-off",
   "subject": "10932/10932",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R36",
   "form": "set-off",
   "subject": "",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R36",
   "form": "set-off",
   "subject": "CELL33-DFRONT-RECOVERY",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R36",
   "form": "set-off",
   "subject": "runtime state recovery →",
   "status": "DFRONT PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R36",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "code-line",
   "subject": "11. Geometry status remains conservative",
   "status": "PARTIAL",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "49,64,66 →",
   "status": "PUBLICATION-CANDIDATE-SHARD",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "node-count match",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "9986/9986",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "9986/9986",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "10539/10539",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "10539/10539",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "10636/10636",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "10636/10636",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "set-off",
   "subject": "a_{Leb}≥0.835",
   "status": "NOT CERTIFIED",
   "round00_vocabulary": false
  },
  {
   "where": "R37",
   "form": "label-line",
   "subject": "MPFR marker replay",
   "status": "PASS",
   "round00_vocabulary": false
  },
  {
   "where": "BCODR",
   "form": "set-off",
   "subject": "",
   "status": "CONFLICT CELL",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "summary-line",
   "subject": "Methodology skeleton",
   "status": "CLOSED",
   "round00_vocabulary": true
  },
  {
   "where": "DLMVC",
   "form": "summary-line",
   "subject": "Operational target-selection rule",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "summary-line",
   "subject": "Blindness provenance",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "summary-line",
   "subject": "Deep-pass ladder",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "summary-line",
   "subject": "Intra-resolution / cross-resolution distinction",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "summary-line",
   "subject": "RCHM relation",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "summary-line",
   "subject": "AMRAL integration",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "summary-line",
   "subject": "Empirical validation",
   "status": "PARTIAL",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "summary-line",
   "subject": "Universal validity claim",
   "status": "NO",
   "round00_vocabulary": true
  },
  {
   "where": "DLMVC",
   "form": "code-heading",
   "subject": "",
   "status": "BLIND-CLEAN",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-heading",
   "subject": "",
   "status": "PARTIAL-EXPOSURE",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-heading",
   "subject": "",
   "status": "CONTENT-EXPOSED",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-heading",
   "subject": "",
   "status": "POST-HOC",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass A — Independent Reconstruction",
   "status": "INDEPENDENT-REPRODUCTION",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass B — Adversarial Audit",
   "status": "CORRECTION",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass B — Adversarial Audit",
   "status": "COUNTEREXAMPLE",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass B — Adversarial Audit",
   "status": "HIDDEN-BRANCH",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass C — Proof-Graph Repair",
   "status": "MISSING-LEMMA",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass C — Proof-Graph Repair",
   "status": "HANDOFF-REPAIR",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass D — Theorem Strengthening",
   "status": "EXTENSION",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass E — False-Freedom Compression",
   "status": "DOMAIN-COMPRESSION",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass F — Exact Finite Geometry",
   "status": "EXACT-COMPILER",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass G — Critical-Set Localization",
   "status": "CRITICAL-SET",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass H — Inner/Outer Sandwich",
   "status": "GEOMETRIC-SANDWICH",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass I — Contact Skeleton",
   "status": "CONTACT-SKELETON",
   "round00_vocabulary": false
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "Pass J — Continuum Lift",
   "status": "DERIVED-CANDIDATE",
   "round00_vocabulary": true
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "15. 計算與形式化位置",
   "status": "COMPUTE-DEFERRED",
   "round00_vocabulary": true
  },
  {
   "where": "DLMVC",
   "form": "code-line",
   "subject": "15. 計算與形式化位置",
   "status": "FORMALIZATION-DEFERRED",
   "round00_vocabulary": false
  },
  {
   "where": "LESR",
   "form": "colon-line",
   "subject": "",
   "status": "PROGRAMMATIC PRINCIPLE",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Semantic Target Contract",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Unbounded Expansion",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "LinkBack Operator",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Finite Closure State",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Self-Referential Recenter",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Proof Obligation Ledger",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Problem Closure",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Anti-Drift Governance",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "UBE relation",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "RCHM relation",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "SREG / PEC relation",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "DLMVC relation",
   "status": "DEFINED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Formal convergence theorem",
   "status": "NOT CLAIMED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Universal proof solvability",
   "status": "NOT CLAIMED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "summary-line",
   "subject": "Empirical benchmark validation",
   "status": "OPEN",
   "round00_vocabulary": true
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "PROVES",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "REFUTES",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "REDUCES",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "ELIMINATES",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "REPRESENTS",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "CERTIFIES",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "BOUNDS",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "CONNECTS",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "OPENS",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "META",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-heading",
   "subject": "",
   "status": "NULL",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-line",
   "subject": "21.3 Target Failure",
   "status": "TARGET-FAILURE",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-line",
   "subject": "21.3 Target Failure",
   "status": "PROOF-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-line",
   "subject": "21.3 Target Failure",
   "status": "COUNTEREXAMPLE-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-line",
   "subject": "30. Closed-for-Now 與 Proof-Closed",
   "status": "ROUND-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-line",
   "subject": "30. Closed-for-Now 與 Proof-Closed",
   "status": "BRANCH-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-line",
   "subject": "30. Closed-for-Now 與 Proof-Closed",
   "status": "REPRESENTATION-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "code-line",
   "subject": "30. Closed-for-Now 與 Proof-Closed",
   "status": "CERTIFICATE-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "set-off",
   "subject": "",
   "status": "PROBLEM-PROOF-CLOSED",
   "round00_vocabulary": false
  },
  {
   "where": "UESFCM",
   "form": "set-off",
   "subject": "",
   "status": "SEARCH-STALLED",
   "round00_vocabulary": false
  }
 ],
 "drill": {
  "plants": 15,
  "plants_caught_by_named_checks": 15,
  "controls": 7,
  "controls_undisturbed": 7,
  "must_stay_green_assertions": 117,
  "must_stay_green_held": 117,
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K1-dollar-in-fenced-code",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K2-escaped-dollar-in-prose",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K3-bracket-inside-code-span",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K4-arxiv-url",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K5-colon-backslash-in-math",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K6-hyphenated-prose-ending-in-sk",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "M1-invalid-utf8",
    "kind": "mutation",
    "expected": [
     "G1"
    ],
    "tripped": [
     "G1"
    ],
    "ok": true
   },
   {
    "case": "M2-bom",
    "kind": "mutation",
    "expected": [
     "G1"
    ],
    "tripped": [
     "G1"
    ],
    "ok": true
   },
   {
    "case": "M3-display-unpaired",
    "kind": "mutation",
    "expected": [
     "G2"
    ],
    "tripped": [
     "G2"
    ],
    "ok": true
   },
   {
    "case": "M4-inline-unpaired",
    "kind": "mutation",
    "expected": [
     "G3"
    ],
    "tripped": [
     "G3"
    ],
    "ok": true
   },
   {
    "case": "M5-paren-delims",
    "kind": "mutation",
    "expected": [
     "G4"
    ],
    "tripped": [
     "G4"
    ],
    "ok": true
   },
   {
    "case": "M6-bracket-delims",
    "kind": "mutation",
    "expected": [
     "G4"
    ],
    "tripped": [
     "G4"
    ],
    "ok": true
   },
   {
    "case": "M7-equation-env",
    "kind": "mutation",
    "expected": [
     "G4"
    ],
    "tripped": [
     "G4"
    ],
    "ok": true
   },
   {
    "case": "M8-unicode-escape",
    "kind": "mutation",
    "expected": [
     "G5"
    ],
    "tripped": [
     "G5"
    ],
    "ok": true
   },
   {
    "case": "M9-mojibake",
    "kind": "mutation",
    "expected": [
     "G5"
    ],
    "tripped": [
     "G5"
    ],
    "ok": true
   },
   {
    "case": "M10-api-key",
    "kind": "mutation",
    "expected": [
     "G6"
    ],
    "tripped": [
     "G6"
    ],
    "ok": true
   },
   {
    "case": "M11-email",
    "kind": "mutation",
    "expected": [
     "G6"
    ],
    "tripped": [
     "G6"
    ],
    "ok": true
   },
   {
    "case": "M12-windows-path",
    "kind": "mutation",
    "expected": [
     "G6"
    ],
    "tripped": [
     "G6"
    ],
    "ok": true
   },
   {
    "case": "M13-posix-home",
    "kind": "mutation",
    "expected": [
     "G6"
    ],
    "tripped": [
     "G6"
    ],
    "ok": true
   },
   {
    "case": "M14-chat-url",
    "kind": "mutation",
    "expected": [
     "G6"
    ],
    "tripped": [
     "G6"
    ],
    "ok": true
   },
   {
    "case": "M15-private-key",
    "kind": "mutation",
    "expected": [
     "G6"
    ],
    "tripped": [
     "G6"
    ],
    "ok": true
   }
  ]
 },
 "census_drill": [
  {
   "case": "C1-ten-word-status-seen",
   "ok": true,
   "added": {
    "PROVED-ANALYTIC (in)": 1
   }
  },
  {
   "case": "C2-new-status-seen-as-outside",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 1
   }
  },
  {
   "case": "C3-boxed-gate-seen",
   "ok": true,
   "added": {
    "CLOSED (in)": 1
   }
  },
  {
   "case": "C4-fenced-status-ignored",
   "ok": true,
   "added": {}
  },
  {
   "case": "C5-named-code-line",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 1
   }
  },
  {
   "case": "C6-status-line-with-name",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 1
   }
  },
  {
   "case": "C7-table-cell",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 1
   }
  },
  {
   "case": "C8-boxed-after-math",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 1
   }
  },
  {
   "case": "C9-dash-checklist-line",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 1
   }
  },
  {
   "case": "C10-plus-joined-status",
   "ok": true,
   "added": {
    "MADE-UP + STATUS (out)": 1
   }
  },
  {
   "case": "C11-set-off-claim-then-status",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 1
   }
  },
  {
   "case": "C12-set-off-conjunction",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 2
   }
  },
  {
   "case": "C13-set-off-count-ignored",
   "ok": true,
   "added": {}
  },
  {
   "case": "C14-set-off-implication-ignored",
   "ok": true,
   "added": {}
  },
  {
   "case": "C15-label-line",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 1
   }
  },
  {
   "case": "C16-plain-status-line",
   "ok": true,
   "added": {
    "MADE-UP-STATUS (out)": 1
   }
  },
  {
   "case": "C17-plain-status-heading",
   "ok": true,
   "added": {
    "COMPUTE-DEFERRED (in)": 1
   }
  },
  {
   "case": "C18-bold-summary-with-plus",
   "ok": true,
   "added": {
    "MADE-UP + STATUS (out)": 1
   }
  },
  {
   "case": "C19-vocabulary-list-ignored",
   "ok": true,
   "added": {}
  }
 ]
}