{
 "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"
   ]
  },
  "round09_candidate_least_certified_width": {
   "value": 7.989894612592252e-08,
   "rule": "difference of the certified upper and lower ends of the candidate's least",
   "reads": [
    "run010 findings.certificate.candidate_least_at_most",
    "run010 findings.certificate.candidate_least_at_least"
   ]
  },
  "round09_certified_margin_over_gain": {
   "value": 0.9924762971474678,
   "rule": "the certified margin over the event five-link divided by the high-precision gain s270 - s0",
   "reads": [
    "run010 findings.certificate.certified_margin_at_least",
    "run010 findings.difference_60_digits"
   ]
  },
  "certified_gains_cut_to_five_digits": {
   "round13_over_round08_at_least": "4.0451e-9",
   "round13_over_round08_at_most": "4.2486e-9",
   "split_over_round13_at_least": "1.1924e-7",
   "round15_over_round13_at_least": "1.3725e-7",
   "round15_over_round13_at_most": "1.3758e-7",
   "rule": "each certified gain cut toward its safe side at five significant digits: lower bounds down, upper bounds up",
   "reads": [
    "run014 findings.certificate.gain_over_round08_at_least / at_most",
    "run015 findings.certificate.gain_over_round13_at_least",
    "run016 findings.certificate.gain_over_round13_at_least / at_most"
   ]
  },
  "round15_candidate_over_split_curve_at_least": {
   "value": 1.782525582777e-08,
   "rule": "the candidate's certified lower bound less the split curve's certified upper bound (its s(3pi/2))",
   "reads": [
    "run016 findings.certificate.target",
    "run015 findings.certificate.s270_at_most"
   ]
  },
  "round08_true_branch_spread": {
   "value": 4.690190058553867e-08,
   "rule": "largest less least of the four true branch values",
   "reads": [
    "run009 findings.best_true_branches_at_tracked_phases"
   ]
  },
  "round15_candidate_certified_least_below_one": {
   "value": 0.0010855194330354756,
   "rule": "one less the certified lower bound of the eight-mode candidate's least",
   "reads": [
    "run016 findings.certificate.target"
   ]
  },
  "round15_candidate_certified_least_squared_below_one": {
   "value": 0.0021698605136314386,
   "rule": "one less the square of that lower bound: the shortfall in area of the homothet it bounds",
   "reads": [
    "run016 findings.certificate.target"
   ]
  },
  "round10_smooth_minimum_above_least": {
   "value": 0.10089588660454307,
   "rule": "the smooth minimum's scale less the certified upper end of s(3pi/2)",
   "reads": [
    "run011 findings.interval_9_minimum.scale",
    "run011 findings.certificate.s270_at_most"
   ]
  },
  "switch_counts": {
   "round10_switches": 17,
   "round11_neighbourhoods": 17,
   "round11_neighbourhoods_not_enclosing": 14,
   "rule": "lengths of the logged lists",
   "reads": [
    "run011 findings.switches",
    "run012 findings.neighbourhoods",
    "run012 findings.neighbourhoods_not_enclosing"
   ]
  },
  "round10_wing_switches": {
   "switches": 12,
   "exact_one_sided_agree_to": 4.57700000122685e-09,
   "stated_pair_apart_least": 0.04729998950000003,
   "stated_pair_apart_largest": 0.207999994177,
   "nearer_stated_value_off_by_at_most": 1.13e-08,
   "rule": "over the switches where a wing's interior support meets a corner: the largest gap between the two exact one-sided derivatives, the least and largest gap between the two stated ones, and the largest distance of the nearer stated value from the exact derivative",
   "reads": [
    "run011 findings.switches[].exact_left / exact_right / stated_left_minus_exact / stated_right_minus_exact"
   ]
  }
 },
 "parameters": {
  "run010_quadrature_digits": {
   "value": 200,
   "script": "code/run010_round09_precision_cusp.py",
   "line": 236,
   "text": "def s270(w, method=\"quad\", dps=200):"
  },
  "run011_stationary_scan_fractions": {
   "value": [
    64,
    65,
    16
   ],
   "script": "code/run011_round10_phase_map.py",
   "line": 170,
   "text": "fr = sorted({mp.mpf(k) / 64 for k in range(65)} | {mp.mpf(10) ** -e for e in range(1, 16)} |",
   "geometric_points_each_end": 15,
   "points_in_all": 95,
   "rule": "the fractions k/64 for k = 0..64 (65 points), and 10^-e and 1 - 10^-e for e = 1..15 (range(1, 16)): 15 points toward each end, 95 in all"
  },
  "run011_one_sign_pieces": {
   "value": 64,
   "script": "code/run011_round10_phase_map.py",
   "line": 596,
   "text": "def one_sign(pts, a_, b_, sign, pieces=64):"
  },
  "run008_limit_power": {
   "value": 160,
   "script": "code/run008_round07_curvature_wings.py",
   "line": 465,
   "text": "for power in (10.0, 40.0, 160.0):"
  },
  "run009_candidate_ledger_grid": {
   "value": 12000,
   "script": "code/run009_round08_smooth_layer.py",
   "line": 384,
   "text": "items.append((\"best\", B[\"parameters\"], B[\"epsilon\"], B[\"curvature_ledger\"], 12000))"
  },
  "run014_certificate_target_offset": {
   "value": 1.5e-10,
   "script": "code/run014_round13_smooth_kkt.py",
   "line": 891,
   "text": "T = mp.mpf(repr(R[\"common_scale\"])) - mp.mpf(\"1.5e-10\")"
  },
  "run016_simpson_constant": {
   "value": 2880,
   "script": "code/run016_round15_functional_modes.py",
   "line": 921,
   "text": "e_ = hi(h ** 5 / 2880 * blk[j // block][2])"
  },
  "run011_wing_alpha_checkpoint_u": {
   "value": 0.3,
   "script": "code/run011_round10_phase_map.py",
   "line": 750,
   "text": "out[\"wing_angle_within_of_alpha_at_u_0.3\"] = mp.nstr((C.b + C.d) - th(mp.mpf(\"0.3\")), 3)"
  },
  "run011_wing_beta_checkpoint_u": {
   "value": 0.85,
   "script": "code/run011_round10_phase_map.py",
   "line": 751,
   "text": "out[\"wing_angle_within_of_beta_at_u_0.85\"] = mp.nstr(th(mp.mpf(\"0.85\")) - C.b, 3)"
  }
 },
 "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 個合法一般五連桿候選。"
  },
  "round09_wing_length": {
   "value": "w=0.3361057714712081",
   "package": "Moser_Skew_Lab_v0.9.zip",
   "member": "Moser_Skew_Lab_v0.9/reports/ROUND_09_REPORT.md",
   "member_sha256": "3acdf2e83959eedb8a030b30f957e6e69f973a74684c960eca90ffb06d2d1ef6",
   "line": 38,
   "text": "w=0.3361057714712081,"
  },
  "round09_beta": {
   "value": "\\beta=1.405382794839393",
   "package": "Moser_Skew_Lab_v0.9.zip",
   "member": "Moser_Skew_Lab_v0.9/reports/ROUND_09_REPORT.md",
   "member_sha256": "3acdf2e83959eedb8a030b30f957e6e69f973a74684c960eca90ffb06d2d1ef6",
   "line": 42,
   "text": "\\beta=1.405382794839393,"
  },
  "round09_delta": {
   "value": "\\delta=0.05204734906280986",
   "package": "Moser_Skew_Lab_v0.9.zip",
   "member": "Moser_Skew_Lab_v0.9/reports/ROUND_09_REPORT.md",
   "member_sha256": "3acdf2e83959eedb8a030b30f957e6e69f973a74684c960eca90ffb06d2d1ef6",
   "line": 46,
   "text": "\\delta=0.05204734906280986,"
  },
  "round09_centre": {
   "value": "c=0.5801781668857768",
   "package": "Moser_Skew_Lab_v0.9.zip",
   "member": "Moser_Skew_Lab_v0.9/reports/ROUND_09_REPORT.md",
   "member_sha256": "3acdf2e83959eedb8a030b30f957e6e69f973a74684c960eca90ffb06d2d1ef6",
   "line": 50,
   "text": "c=0.5801781668857768."
  },
  "round09_event_l1": {
   "value": "\"l1\": \"0.19431311615307248\"",
   "package": "Moser_Skew_Lab_v0.9.zip",
   "member": "Moser_Skew_Lab_v0.9/data/round09_summary.json",
   "member_sha256": "389c0975e4b857e36e6f73f8c88fb32b1e9d3d3b4faac8dcbee55971ca45458d",
   "line": 13,
   "text": "\"l1\": \"0.19431311615307248\","
  },
  "round09_event_l2": {
   "value": "\"l2\": \"0.1415930791195921\"",
   "package": "Moser_Skew_Lab_v0.9.zip",
   "member": "Moser_Skew_Lab_v0.9/data/round09_summary.json",
   "member_sha256": "389c0975e4b857e36e6f73f8c88fb32b1e9d3d3b4faac8dcbee55971ca45458d",
   "line": 14,
   "text": "\"l2\": \"0.1415930791195921\","
  },
  "round09_event_beta": {
   "value": "\"beta\": \"1.4082767308631334\"",
   "package": "Moser_Skew_Lab_v0.9.zip",
   "member": "Moser_Skew_Lab_v0.9/data/round09_summary.json",
   "member_sha256": "389c0975e4b857e36e6f73f8c88fb32b1e9d3d3b4faac8dcbee55971ca45458d",
   "line": 15,
   "text": "\"beta\": \"1.4082767308631334\","
  },
  "round09_event_delta": {
   "value": "\"delta\": \"0.04759059497406796\"",
   "package": "Moser_Skew_Lab_v0.9.zip",
   "member": "Moser_Skew_Lab_v0.9/data/round09_summary.json",
   "member_sha256": "389c0975e4b857e36e6f73f8c88fb32b1e9d3d3b4faac8dcbee55971ca45458d",
   "line": 16,
   "text": "\"delta\": \"0.04759059497406796\""
  },
  "round12_balls_stated": {
   "value": "解析邊界：19/19",
   "package": "Moser_Skew_Lab_v0.12.zip",
   "member": "Moser_Skew_Lab_v0.12/reports/ROUND_12_IV_REPLAY_AUDIT.md",
   "member_sha256": "3127feb2c827ccf63b1aacc6b2910175e865fde69944961e009eaed52d69b4d1",
   "line": 5,
   "text": "- 解析邊界：19/19。"
  },
  "round13_stated_wing_length": {
   "value": "\"wing_length\": 0.33610428455831365",
   "package": "Moser_Skew_Lab_v0.13.zip",
   "member": "Moser_Skew_Lab_v0.13/data/round13_summary.json",
   "member_sha256": "f7fc3abd46b041c16ca304c73a51a81c74ef39a948115c850bad3429d04973e4",
   "line": 16,
   "text": "\"wing_length\": 0.33610428455831365,"
  },
  "round13_stated_beta": {
   "value": "\"beta_radians\": 1.4054077050409917",
   "package": "Moser_Skew_Lab_v0.13.zip",
   "member": "Moser_Skew_Lab_v0.13/data/round13_summary.json",
   "member_sha256": "f7fc3abd46b041c16ca304c73a51a81c74ef39a948115c850bad3429d04973e4",
   "line": 17,
   "text": "\"beta_radians\": 1.4054077050409917,"
  },
  "round13_stated_delta": {
   "value": "\"delta_radians\": 0.05200850038234944",
   "package": "Moser_Skew_Lab_v0.13.zip",
   "member": "Moser_Skew_Lab_v0.13/data/round13_summary.json",
   "member_sha256": "f7fc3abd46b041c16ca304c73a51a81c74ef39a948115c850bad3429d04973e4",
   "line": 18,
   "text": "\"delta_radians\": 0.05200850038234944,"
  },
  "round13_stated_centre": {
   "value": "\"transition_center\": 0.5801647299465723",
   "package": "Moser_Skew_Lab_v0.13.zip",
   "member": "Moser_Skew_Lab_v0.13/data/round13_summary.json",
   "member_sha256": "f7fc3abd46b041c16ca304c73a51a81c74ef39a948115c850bad3429d04973e4",
   "line": 19,
   "text": "\"transition_center\": 0.5801647299465723,"
  },
  "round13_stated_epsilon": {
   "value": "\"epsilon\": 0.03682334435307599",
   "package": "Moser_Skew_Lab_v0.13.zip",
   "member": "Moser_Skew_Lab_v0.13/data/round13_summary.json",
   "member_sha256": "f7fc3abd46b041c16ca304c73a51a81c74ef39a948115c850bad3429d04973e4",
   "line": 20,
   "text": "\"epsilon\": 0.03682334435307599,"
  },
  "round15_parameter_0": {
   "value": "0.3361039495856486",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 5,
   "text": "0.3361039495856486,"
  },
  "round15_parameter_1": {
   "value": "1.4054231629110312",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 6,
   "text": "1.4054231629110312,"
  },
  "round15_parameter_2": {
   "value": "0.051972968077192816",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 7,
   "text": "0.051972968077192816,"
  },
  "round15_parameter_3": {
   "value": "0.5802095527303379",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 8,
   "text": "0.5802095527303379,"
  },
  "round15_parameter_4": {
   "value": "0.036983383487424734",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 9,
   "text": "0.036983383487424734"
  },
  "round15_coefficient_P1": {
   "value": "_P1\": 0.000636097039547498",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 12,
   "text": "\"translation_like_P1\": 0.000636097039547498,"
  },
  "round15_coefficient_P2": {
   "value": "_P2\": 0.01763543356796946",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 13,
   "text": "\"width_split_P2\": 0.01763543356796946,"
  },
  "round15_coefficient_P3": {
   "value": "_P3\": 0.004755842498620271",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 14,
   "text": "\"skew_P3\": 0.004755842498620271,"
  },
  "round15_coefficient_P4": {
   "value": "_P4\": -0.0752235430432821",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 15,
   "text": "\"shoulder_P4\": -0.0752235430432821,"
  },
  "round15_coefficient_P5": {
   "value": "_P5\": 0.010666503454247333",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 16,
   "text": "\"tail_skew_P5\": 0.010666503454247333,"
  },
  "round15_coefficient_P6": {
   "value": "_P6\": 0.057547527232882936",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 17,
   "text": "\"triple_peak_P6\": 0.057547527232882936,"
  },
  "round15_coefficient_P7": {
   "value": "_P7\": -0.019001897723771536",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 18,
   "text": "\"wave_P7\": -0.019001897723771536,"
  },
  "round15_coefficient_P8": {
   "value": "_P8\": -0.08299176521743751",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 19,
   "text": "\"wave_P8\": -0.08299176521743751"
  },
  "round15_multiplier": {
   "value": "\"multiplier\": 3.2275",
   "package": "Moser_Skew_Lab_v0.15.zip",
   "member": "Moser_Skew_Lab_v0.15/data/final_candidate.json",
   "member_sha256": "967368fc8e45cdf0524cde0ec5a6ef1f5fcbc3a025edc5b14c905b5e7b0cfd57",
   "line": 2,
   "text": "\"multiplier\": 3.2275,"
  },
  "round07_best_segmented": {
   "value": "0.998839177646286",
   "package": "Moser_Skew_Lab_v0.7.zip",
   "member": "Moser_Skew_Lab_v0.7/README.md",
   "member_sha256": "fe6723a3564351cbb9dcd4e675793e6ec6e6275292f1436b7149c2cf9698bd68",
   "line": 9,
   "text": "3. 最佳分段啟發式候選（m=6）：0.998839177646286"
  },
  "round07_m2_search": {
   "value": "s=0.998530736905809.",
   "package": "Moser_Skew_Lab_v0.7.zip",
   "member": "Moser_Skew_Lab_v0.7/reports/ROUND_07_SEARCH_AUDIT.md",
   "member_sha256": "d41d8c3a6843bb6235a99683d2443d767faf366fb1366520206b14b92b561fd5",
   "line": 14,
   "text": "s=0.998530736905809."
  },
  "round07_arc_deficit": {
   "value": "4.135963741603e-05.",
   "package": "Moser_Skew_Lab_v0.7.zip",
   "member": "Moser_Skew_Lab_v0.7/README.md",
   "member_sha256": "fe6723a3564351cbb9dcd4e675793e6ec6e6275292f1436b7149c2cf9698bd68",
   "line": 16,
   "text": "4.135963741603e-05."
  },
  "round08_peak_curvature": {
   "value": "2.092618923824",
   "package": "Moser_Skew_Lab_v0.8.3.zip",
   "member": "Moser_Skew_Lab_v0.8/reports/ROUND_08_REPORT.md",
   "member_sha256": "4fcd73cabf7daea14c9dff280b7b93d6b91d189881259778bfad33a507056a97",
   "line": 174,
   "text": "\\|\\kappa\\|_\\infty=2.092618923824,"
  },
  "round08_width": {
   "value": "0.036579511462",
   "package": "Moser_Skew_Lab_v0.8.3.zip",
   "member": "Moser_Skew_Lab_v0.8/reports/ROUND_08_REPORT.md",
   "member_sha256": "4fcd73cabf7daea14c9dff280b7b93d6b91d189881259778bfad33a507056a97",
   "line": 178,
   "text": "W_{5\\%-95\\%}=0.036579511462,"
  },
  "round08_audit_gain": {
   "value": "s_*-s_0=1.045806040811e-05.",
   "package": "Moser_Skew_Lab_v0.8.3.zip",
   "member": "Moser_Skew_Lab_v0.8/reports/ROUND_08_FINITE_WIDTH_AUDIT.md",
   "member_sha256": "b3f33397ce566fc8c917152280ac7ea817c7e37cbce9d2b992bab491724c34c2",
   "line": 26,
   "text": "s_*-s_0=1.045806040811e-05."
  },
  "round13_jacobian_largest": {
   "value": "429267986.0",
   "package": "Moser_Skew_Lab_v0.13.zip",
   "member": "Moser_Skew_Lab_v0.13/data/round13_summary.json",
   "member_sha256": "f7fc3abd46b041c16ca304c73a51a81c74ef39a948115c850bad3429d04973e4",
   "line": 100,
   "text": "429267986.0,"
  },
  "round13_jacobian_smallest": {
   "value": "11.3975365",
   "package": "Moser_Skew_Lab_v0.13.zip",
   "member": "Moser_Skew_Lab_v0.13/data/round13_summary.json",
   "member_sha256": "f7fc3abd46b041c16ca304c73a51a81c74ef39a948115c850bad3429d04973e4",
   "line": 111,
   "text": "11.3975365"
  },
  "round13_jacobian_condition": {
   "value": "\"jacobian_condition_number\": 37663225.38208147",
   "package": "Moser_Skew_Lab_v0.13.zip",
   "member": "Moser_Skew_Lab_v0.13/data/round13_summary.json",
   "member_sha256": "f7fc3abd46b041c16ca304c73a51a81c74ef39a948115c850bad3429d04973e4",
   "line": 113,
   "text": "\"jacobian_condition_number\": 37663225.38208147"
  },
  "round14_profile_coefficient": {
   "value": "-0.033794468",
   "package": "Moser_Skew_Lab_v0.14.zip",
   "member": "Moser_Skew_Lab_v0.14/reports/ROUND_14_REPORT.md",
   "member_sha256": "9f83b30cd1b174b228171d583eb6d11ba516806973760cb8120cd4ce8fc869fe",
   "line": 117,
   "text": "-0.033794468d^2+O(d^4)."
  },
  "round10_guard_samples": {
   "value": "257、1025、4097",
   "package": "Moser_Skew_Lab_v0.10.zip",
   "member": "Moser_Skew_Lab_v0.10/README.md",
   "member_sha256": "dc550c187616807c956513b06ce4c023ff51645b76f49f4ba7b71954ddf9857b",
   "line": 24,
   "text": "導數根數在每區間 257、1025、4097 三種取樣密度下保持一致。"
  },
  "round10_switch_9": {
   "value": "| 9 | 3.028226470697 |",
   "package": "Moser_Skew_Lab_v0.10.zip",
   "member": "Moser_Skew_Lab_v0.10/reports/ROUND_10_REPORT.md",
   "member_sha256": "9c9dd84d560e659337113ec31996fc614068b5613cc7fb95fc16a755705ed926",
   "line": 212,
   "text": "| 9 | 3.028226470697 | `R|p1|p0` | `p3|p1|p0` | cusp_minimum | -0.006893 | 0.173166 |"
  },
  "round10_switch_9_left_derivative": {
   "value": "| cusp_minimum | -0.006893 |",
   "package": "Moser_Skew_Lab_v0.10.zip",
   "member": "Moser_Skew_Lab_v0.10/reports/ROUND_10_REPORT.md",
   "member_sha256": "9c9dd84d560e659337113ec31996fc614068b5613cc7fb95fc16a755705ed926",
   "line": 212,
   "text": "| 9 | 3.028226470697 | `R|p1|p0` | `p3|p1|p0` | cusp_minimum | -0.006893 | 0.173166 |"
  },
  "round11_derivative_boxes": {
   "value": "自適應導數盒：579",
   "package": "Moser_Skew_Lab_v0.11.zip",
   "member": "Moser_Skew_Lab_v0.11/README.md",
   "member_sha256": "92310a4de76ec2dc3c837a488001c3aeb59b4838cd60baacbf777cc80b83aeb1",
   "line": 8,
   "text": "- 自適應導數盒：579"
  },
  "round11_margin_switch_1": {
   "value": "-2.691e-02",
   "package": "Moser_Skew_Lab_v0.11.zip",
   "member": "Moser_Skew_Lab_v0.11/reports/ROUND_11_REPORT.md",
   "member_sha256": "fb220b87262acd1a1eedc466aaa241660547c843589e2e74971b659b0a3a46d5",
   "line": 250,
   "text": "| 1 | $\\pi/2-\\alpha$ | decreasing_through_switch | True | -2.691e-02 | 一般盒 |"
  },
  "round11_margin_switch_2": {
   "value": "-2.297e-02",
   "package": "Moser_Skew_Lab_v0.11.zip",
   "member": "Moser_Skew_Lab_v0.11/reports/ROUND_11_REPORT.md",
   "member_sha256": "fb220b87262acd1a1eedc466aaa241660547c843589e2e74971b659b0a3a46d5",
   "line": 251,
   "text": "| 2 | $\\pi/2-\\beta$ | increasing_through_switch | True | -2.297e-02 | 一般盒 |"
  },
  "round11_margin_switch_3": {
   "value": "-7.712e-04",
   "package": "Moser_Skew_Lab_v0.11.zip",
   "member": "Moser_Skew_Lab_v0.11/reports/ROUND_11_REPORT.md",
   "member_sha256": "fb220b87262acd1a1eedc466aaa241660547c843589e2e74971b659b0a3a46d5",
   "line": 252,
   "text": "| 3 | $\\beta-\\pi/3$ | increasing_through_switch | True | -7.712e-04 | 一般盒 |"
  },
  "round11_margin_switch_10": {
   "value": "7.391e-02",
   "package": "Moser_Skew_Lab_v0.11.zip",
   "member": "Moser_Skew_Lab_v0.11/reports/ROUND_11_REPORT.md",
   "member_sha256": "fb220b87262acd1a1eedc466aaa241660547c843589e2e74971b659b0a3a46d5",
   "line": 259,
   "text": "| 10 | $\\pi/2+\\alpha$ | unresolved_derivative | False | 7.391e-02 | 一般盒 |"
  },
  "round12_s270_interval": {
   "value": "s_{270}\\in[0.9989143389428913213797012975,0.9989143392263741131243407093]",
   "package": "Moser_Skew_Lab_v0.12.zip",
   "member": "Moser_Skew_Lab_v0.12/reports/ROUND_12_REPORT.md",
   "member_sha256": "80e3d9abf45daafb36d0aeca41c9d1d6753a05d7a043e67303db653e2f30cdef",
   "line": 25,
   "text": "s_{270}\\in[0.9989143389428913213797012975,0.9989143392263741131243407093]."
  },
  "round12_difference_interval": {
   "value": "[1.584622955726897820027e-9,1.692045182662177229601e-9]",
   "package": "Moser_Skew_Lab_v0.12.zip",
   "member": "Moser_Skew_Lab_v0.12/reports/ROUND_12_REPORT.md",
   "member_sha256": "80e3d9abf45daafb36d0aeca41c9d1d6753a05d7a043e67303db653e2f30cdef",
   "line": 29,
   "text": "\boxed{s_{120}-s_{270}\\in[1.584622955726897820027e-9,1.692045182662177229601e-9]}."
  },
  "round12_margin_interval": {
   "value": "[0.00001058181038264642457147,0.00001058209386543816921088]",
   "package": "Moser_Skew_Lab_v0.12.zip",
   "member": "Moser_Skew_Lab_v0.12/reports/ROUND_12_REPORT.md",
   "member_sha256": "80e3d9abf45daafb36d0aeca41c9d1d6753a05d7a043e67303db653e2f30cdef",
   "line": 37,
   "text": "\boxed{s_{270}-s_{\\mathrm{event},B1}\\in[0.00001058181038264642457147,0.00001058209386543816921088]}."
  }
 }
}