{
 "about": "figures the Moser papers add up, count or quote; see code/paper_figures.py",
 "environment": {
  "python": "3.14",
  "mpmath": "1.3",
  "numpy": "2.4",
  "scipy": "1.17",
  "sympy": "1.14"
 },
 "counts": {
  "drill_whole_tree": {
   "runs": [
    "RUN-001",
    "RUN-002",
    "RUN-003",
    "RUN-004",
    "RUN-005",
    "RUN-006",
    "RUN-007",
    "RUN-008",
    "RUN-009",
    "RUN-010",
    "RUN-011",
    "RUN-012",
    "RUN-013",
    "RUN-014",
    "RUN-015",
    "RUN-016"
   ],
   "plants": 352,
   "plants_caught_by_named_checks": 352,
   "controls": 64,
   "controls_undisturbed": 64,
   "must_stay_green_assertions": 2999,
   "must_stay_green_held": 2999,
   "checks": 139,
   "rule": "sums over the runs' drill blocks; checks is the total of the checks each run lists"
  },
  "drill_M01": {
   "runs": [
    "RUN-002",
    "RUN-003",
    "RUN-004",
    "RUN-005",
    "RUN-006",
    "RUN-007"
   ],
   "plants": 111,
   "plants_caught_by_named_checks": 111,
   "controls": 24,
   "controls_undisturbed": 24,
   "must_stay_green_assertions": 999,
   "must_stay_green_held": 999,
   "checks": 55,
   "rule": "sums over the runs' drill blocks; checks is the total of the checks each run lists"
  },
  "drill_M02": {
   "runs": [
    "RUN-010",
    "RUN-011",
    "RUN-012",
    "RUN-013"
   ],
   "plants": 71,
   "plants_caught_by_named_checks": 71,
   "controls": 16,
   "controls_undisturbed": 16,
   "must_stay_green_assertions": 651,
   "must_stay_green_held": 651,
   "checks": 34,
   "rule": "sums over the runs' drill blocks; checks is the total of the checks each run lists"
  },
  "drill_M03": {
   "runs": [
    "RUN-008",
    "RUN-009",
    "RUN-014",
    "RUN-015",
    "RUN-016"
   ],
   "plants": 105,
   "plants_caught_by_named_checks": 105,
   "controls": 20,
   "controls_undisturbed": 20,
   "must_stay_green_assertions": 938,
   "must_stay_green_held": 938,
   "checks": 43,
   "rule": "sums over the runs' drill blocks; checks is the total of the checks each run lists"
  },
  "inventory": {
   "sha256": "17cf6d974a3d93e0e43835c01755289e3813ad7209dae71c109c190104c70725",
   "runs": 16,
   "items": 403,
   "correction_rows": 89,
   "by_strength": {
    "analytic (proof checked)": 18,
    "cited theorem": 2,
    "corrected": 79,
    "exact-arithmetic certificate": 14,
    "label only": 74,
    "not measured": 11,
    "numerical only": 179,
    "open": 13,
    "refuted": 13
   },
   "M01": {
    "items": 164,
    "correction_rows": 30,
    "by_strength": {
     "analytic (proof checked)": 10,
     "cited theorem": 2,
     "corrected": 29,
     "label only": 22,
     "not measured": 8,
     "numerical only": 83,
     "open": 6,
     "refuted": 4
    }
   },
   "M02": {
    "items": 89,
    "correction_rows": 18,
    "by_strength": {
     "analytic (proof checked)": 3,
     "corrected": 16,
     "exact-arithmetic certificate": 8,
     "label only": 23,
     "not measured": 1,
     "numerical only": 34,
     "open": 2,
     "refuted": 2
    }
   },
   "M03": {
    "items": 126,
    "correction_rows": 32,
    "by_strength": {
     "analytic (proof checked)": 5,
     "corrected": 27,
     "exact-arithmetic certificate": 3,
     "label only": 17,
     "not measured": 2,
     "numerical only": 62,
     "open": 5,
     "refuted": 5
    }
   }
  },
  "manifest": {
   "packages": 15,
   "members": 282,
   "rule": "counts over data/SOURCE_MANIFEST.v1.json"
  }
 },
 "sums": {
  "seven_link_search_above_five_link_search": {
   "value": 1.4413277342750774e-06,
   "rule": "difference of the best values of the two searches",
   "reads": [
    "run004 findings.five_link_search.runs[].value",
    "run004 findings.seven_link_search.runs[].value"
   ]
  },
  "round01_candidate_recorded_above_scanned_minimum": {
   "value": 1.5658201545365458e-06,
   "rule": "difference",
   "reads": [
    "run002 findings.candidate.recorded",
    "run002 findings.candidate.scanned_min_over_rotations"
   ]
  },
  "round01_records_above_scanned_minimum": {
   "records": 21,
   "above": 11,
   "largest_nine": [
    {
     "curve": "V_60",
     "container": "sector_30deg_R1",
     "above_by": 4.433534094183678e-06
    },
    {
     "curve": "segment",
     "container": "wetzel_triangle_certified",
     "above_by": 3.7816671384360845e-06
    },
    {
     "curve": "V_120",
     "container": "wetzel_triangle_certified",
     "above_by": 2.620507885686685e-06
    },
    {
     "curve": "U_equal",
     "container": "wetzel_triangle_certified",
     "above_by": 2.3980431610448605e-06
    },
    {
     "curve": "semicircle",
     "container": "wetzel_triangle_certified",
     "above_by": 2.1980606159655025e-06
    },
    {
     "curve": "semicircle",
     "container": "sector_30deg_R1",
     "above_by": 1.282544208947023e-06
    },
    {
     "curve": "arc_270",
     "container": "wetzel_triangle_certified",
     "above_by": 1.0471360832875476e-06
    },
    {
     "curve": "V_90",
     "container": "wetzel_triangle_certified",
     "above_by": 1.00863123442263e-06
    },
    {
     "curve": "arc_270",
     "container": "sector_30deg_R1",
     "above_by": 5.269791556461456e-07
    }
   ],
   "next_two": [
    {
     "curve": "V_90",
     "container": "sector_30deg_R1",
     "above_by": 1.5427189448136147e-07
    },
    {
     "curve": "segment",
     "container": "sector_30deg_R1",
     "above_by": 5.814374870460881e-09
    }
   ],
   "rule": "record minus the program's scanned minimum for every rebuildable record, sorted, largest first",
   "reads": [
    "run002 findings.defined_curves[].record",
    "run002 findings.defined_curves[].program_scanned_min"
   ]
  }
 },
 "quoted_from_programme": {
  "round01_grid_directions": {
   "value": "192 個支撐方向",
   "package": "Moser_Skew_Lab_v0.1.zip",
   "member": "Moser_Skew_Lab_v0.1/reports/ROUND_01_REPORT.md",
   "member_sha256": "6046518ac6f1427922e64be53ae31a58754e841baaff2710214b49fec04ed008",
   "line": 7,
   "text": "**程式規模：** 192 個支撐方向、60–120 個旋轉初始相位、固定相位下線性規劃求最佳平移或最小尺度"
  },
  "round02_grid_candidate_exact": {
   "value": "1.000837369637",
   "package": "Moser_Skew_Lab_v0.2.2.zip",
   "member": "Moser_Skew_Lab_v0.2/reports/ROUND_02_EXACT_ADDENDUM.md",
   "member_sha256": "f06136cc029169b1ecc8283034a4a4ffb699cf4df5a947b869c59bb3f15206a8",
   "line": 62,
   "text": "s_{\\mathrm{grid,exact}}=1.000837369637."
  },
  "round02_reoptimized_mirror": {
   "value": "0.952938974740",
   "package": "Moser_Skew_Lab_v0.2.2.zip",
   "member": "Moser_Skew_Lab_v0.2/reports/ROUND_02_CHIRALITY_CORRECTION.md",
   "member_sha256": "ebec46d0d738f83504b94ac0dd44327ff3e893d0de5a28a1fbcb30d01c61d822",
   "line": 52,
   "text": "s_-=0.952938974740."
  },
  "round03_five_over_three_gain": {
   "value": "1.799969565222e-04",
   "package": "Moser_Skew_Lab_v0.3.zip",
   "member": "Moser_Skew_Lab_v0.3/README.md",
   "member_sha256": "cc745178dbb6e15beea85c79a4f626f41a277b3e3505bc34869670aa744738d5",
   "line": 10,
   "text": "- 五對三增益：1.799969565222e-04"
  },
  "round04_tracked_level": {
   "value": "2.734812376559e-12",
   "package": "Moser_Skew_Lab_v0.4.1.zip",
   "member": "Moser_Skew_Lab_v0.4/README.md",
   "member_sha256": "bf591c5d4f689cdab27279c114addf5a76d169b8822995f3a24dbdf2fb5cc15a",
   "line": 11,
   "text": "- 四分支等高誤差：2.734812376559e-12"
  },
  "round05_sigma_min": {
   "value": "3.607219048175e-02",
   "package": "Moser_Skew_Lab_v0.5.zip",
   "member": "Moser_Skew_Lab_v0.5/reports/ROUND_05_REPORT.md",
   "member_sha256": "ab1254f4b473ca51c6dcd40a3e3058e6707a1f4b03ce698ad0d873ba3d437f49",
   "line": 397,
   "text": "3.607219048175e-02."
  },
  "round05_condition_number": {
   "value": "162.781733366",
   "package": "Moser_Skew_Lab_v0.5.zip",
   "member": "Moser_Skew_Lab_v0.5/reports/ROUND_05_REPORT.md",
   "member_sha256": "ab1254f4b473ca51c6dcd40a3e3058e6707a1f4b03ce698ad0d873ba3d437f49",
   "line": 405,
   "text": "162.781733366."
  },
  "round06_gap_outer_length": {
   "value": "1.686411486e-03",
   "package": "Moser_Skew_Lab_v0.6.1.zip",
   "member": "Moser_Skew_Lab_v0.6/reports/ROUND_06_REPORT.md",
   "member_sha256": "81942f0dc4cef52d01acca082f7455c0e3c16d4ac56f6d0afff9a4efbfe2eb4e",
   "line": 62,
   "text": "| outer_length_antisym | 0.000000000e+00 | 0.000000000e+00 | 1.686411486e-03 |"
  },
  "round06_gap_inner_length": {
   "value": "2.448355423e-03",
   "package": "Moser_Skew_Lab_v0.6.1.zip",
   "member": "Moser_Skew_Lab_v0.6/reports/ROUND_06_REPORT.md",
   "member_sha256": "81942f0dc4cef52d01acca082f7455c0e3c16d4ac56f6d0afff9a4efbfe2eb4e",
   "line": 63,
   "text": "| inner_length_antisym | 0.000000000e+00 | 0.000000000e+00 | 2.448355423e-03 |"
  },
  "round06_gap_outer_angle": {
   "value": "1.328757456e-02",
   "package": "Moser_Skew_Lab_v0.6.1.zip",
   "member": "Moser_Skew_Lab_v0.6/reports/ROUND_06_REPORT.md",
   "member_sha256": "81942f0dc4cef52d01acca082f7455c0e3c16d4ac56f6d0afff9a4efbfe2eb4e",
   "line": 64,
   "text": "| outer_angle_antisym | 0.000000000e+00 | 0.000000000e+00 | 1.328757456e-02 |"
  },
  "round06_gap_inner_angle": {
   "value": "5.369528921e-03",
   "package": "Moser_Skew_Lab_v0.6.1.zip",
   "member": "Moser_Skew_Lab_v0.6/reports/ROUND_06_REPORT.md",
   "member_sha256": "81942f0dc4cef52d01acca082f7455c0e3c16d4ac56f6d0afff9a4efbfe2eb4e",
   "line": 65,
   "text": "| inner_angle_antisym | 0.000000000e+00 | 0.000000000e+00 | 5.369528921e-03 |"
  },
  "round06_census_samples": {
   "value": "1600 條一般五連桿",
   "package": "Moser_Skew_Lab_v0.6.1.zip",
   "member": "Moser_Skew_Lab_v0.6/reports/ROUND_06_REPORT.md",
   "member_sha256": "81942f0dc4cef52d01acca082f7455c0e3c16d4ac56f6d0afff9a4efbfe2eb4e",
   "line": 141,
   "text": "在事件解附近抽樣 1600 條一般五連桿，先做雙手性粗相位評估，再對前二十名做高解析複核。"
  },
  "round06_audit_samples": {
   "value": "總計 6300 個",
   "package": "Moser_Skew_Lab_v0.6.1.zip",
   "member": "Moser_Skew_Lab_v0.6/reports/ROUND_06_LOCAL_ESCAPE_AUDIT.md",
   "member_sha256": "a74e2bfba9dc8b531b1e2589d7cf01f9c117086dcdcb6c2ea9e5320018524873",
   "line": 4,
   "text": "總計 6300 個合法一般五連桿候選。"
  }
 }
}