{
 "schema": "lebesgue-paper-figures.v1",
 "about": "figures of the crystallized paper that no single gate log holds; see code/paper_figures.py",
 "sums": {
  "f3_erosion_area_leaves": {
   "value": 56149,
   "rule": "sum of certified area leaves; each record has every leaf certified and no failure",
   "reads": [
    "run047 w4.c10",
    "run047 w4.c11"
   ]
  },
  "root6217_cycles_12_14_area_leaves": {
   "value": 66927,
   "rule": "sum of certified area leaves; each record has every leaf certified and no failure",
   "reads": [
    "run048 w4.c12",
    "run048 w4.c13",
    "run048 w4.c14"
   ]
  },
  "root6217_cycles_15_17_area_leaves": {
   "value": 115511,
   "rule": "sum of certified area leaves; each record has every leaf certified and no failure",
   "reads": [
    "run049 w4.exact",
    "run049 w5.h131.exact",
    "run049 w5.h129.exact"
   ]
  },
  "root6217_area_leaves": {
   "value": 182438,
   "rule": "sum of the two entries above",
   "reads": [
    "root6217_cycles_12_14_area_leaves",
    "root6217_cycles_15_17_area_leaves"
   ]
  },
  "f3_roots_closed": {
   "value": 644,
   "rule": "sum of the root counts of the two erosion certificates",
   "reads": [
    "run047 w1.c10",
    "run047 w1.c11"
   ]
  },
  "rhcert_stored_vertices": {
   "value": 4272769,
   "rule": "sum of the stored vertices of the cell 47 and cell 48 certificates",
   "reads": [
    "run037 w1.47.vertices",
    "run037 w1.48.vertices"
   ]
  },
  "barrier_above_A3plus": {
   "value": 0.0002049195592,
   "rule": "difference, in decimal arithmetic",
   "reads": [
    "run049 w2.exact",
    "run061 A3plus"
   ]
  },
  "anchored_cover_radius": {
   "value": 1.6881871888,
   "as_decimal": "1.6881871888",
   "rule": "R = 2 times the published upper bound, in decimal arithmetic",
   "reads": [
    "run002 upper"
   ]
  },
  "subgradient_shortfall_72": {
   "value": 0.0663,
   "rule": "the negated (negative) margin over 72 directions",
   "reads": [
    "run057 w3.margin_72"
   ]
  },
  "smoothing_bound_over_moment_bound": {
   "value": 6.549241587160462,
   "rule": "reciprocal of the ratio at the largest N logged",
   "reads": [
    "run005 k5_ratios.256"
   ]
  },
  "epsilon_over_actual_excess (the radius bound 2 Abar)": {
   "least": 12.568855205023988,
   "largest": 136.15525958443072,
   "by_cover": {
    "sec33": 133.9634056496876,
    "hexagon": 12.568855205023988,
    "chiral": 136.15525958443072
   },
   "rule": "ratio of the bound to the actual Hausdorff excess, per cover",
   "reads": [
    "run007 c4_rows.sec33.eps_global_R",
    "run007 c4_rows.sec33.excess",
    "run007 c4_rows.hexagon.eps_global_R",
    "run007 c4_rows.hexagon.excess",
    "run007 c4_rows.chiral.eps_global_R",
    "run007 c4_rows.chiral.excess"
   ]
  },
  "epsilon_over_actual_excess (each cover's true radius)": {
   "least": 4.349397266062809,
   "largest": 44.560020864291,
   "by_cover": {
    "sec33": 42.22879643390652,
    "hexagon": 4.349397266062809,
    "chiral": 44.560020864291
   },
   "rule": "ratio of the bound to the actual Hausdorff excess, per cover",
   "reads": [
    "run007 c4_rows.sec33.eps_true_R",
    "run007 c4_rows.sec33.excess",
    "run007 c4_rows.hexagon.eps_true_R",
    "run007 c4_rows.hexagon.excess",
    "run007 c4_rows.chiral.eps_true_R",
    "run007 c4_rows.chiral.excess"
   ]
  },
  "steiner_against_support_area": {
   "value": 4.152148396219246e-07,
   "rule": "largest difference between Steiner's formula and the support-function area, over the covers",
   "reads": [
    "run007 c5_rows.sec33.area_P_gamma_support",
    "run007 c5_rows.sec33.area_P_gamma_steiner",
    "run007 c5_rows.hexagon.area_P_gamma_support",
    "run007 c5_rows.hexagon.area_P_gamma_steiner",
    "run007 c5_rows.chiral.area_P_gamma_support",
    "run007 c5_rows.chiral.area_P_gamma_steiner"
   ]
  },
  "second_rung_dense_hull_against_exact": {
   "value": 8.042511101535865e-11,
   "rule": "difference",
   "reads": [
    "run008 w2.exact",
    "run008 w2.hull_dense"
   ]
  },
  "saturation_cells": {
   "cells": 20,
   "covers": 5,
   "grids": 4,
   "eps_b_tighter_least": 2.8011904502789573,
   "eps_b_tighter_largest": 3.2032807845148215,
   "closest_bound_to_smallest_member": 0.001284155291189193,
   "closest_at_M": 8,
   "rule": "counts of the logged cells; ratios eps_round04 / eps_b; least smallest_member - LB_cell",
   "reads": [
    "run008 n1_rows",
    "run008 n3_rows"
   ]
  },
  "recorded_J13_above_minimum": {
   "value": 6.197871180324555e-05,
   "rule": "difference",
   "reads": [
    "run010 w3.rows.13.package_sampled",
    "run010 w3.rows.13.J"
   ]
  },
  "fixed_seed_lift_above_four_body": {
   "value": 0.0006430996661216382,
   "rule": "difference",
   "reads": [
    "run010 w4.fixed_seed_J7",
    "run010 w4.four_body_search"
   ]
  },
  "core_over_representative_widest_cell (seed + best B7)": {
   "value": 2.215888008149892,
   "rule": "ratio of the widest cells the exact core and the representative close",
   "reads": [
    "run012 w5.widest_closing_half_width.seed + best B7.core",
    "run012 w5.widest_closing_half_width.seed + best B7.rep"
   ]
  },
  "core_over_representative_widest_cell (four-body optimum)": {
   "value": 2.2073805979874,
   "rule": "ratio of the widest cells the exact core and the representative close",
   "reads": [
    "run012 w5.widest_closing_half_width.four-body optimum.core",
    "run012 w5.widest_closing_half_width.four-body optimum.rep"
   ]
  }
 },
 "inventory": {
  "file": "crystal/data/inventory.json",
  "sha256": "c9e8e6e911f6b301d3c01bfa30638df35271d016f2d94a6b1debd23e06eced9d",
  "runs": 68,
  "items": 1218,
  "correction_rows": 236,
  "open_item_rows": 300,
  "by_strength": {
   "analytic (proof checked)": 136,
   "cited theorem": 52,
   "corrected": 124,
   "exact-arithmetic certificate": 115,
   "label only": 293,
   "not measured": 40,
   "numerical only": 389,
   "open": 42,
   "refuted": 27
  },
  "by_strength_before_audit": {
   "analytic (proof checked)": 199,
   "cited theorem": 52,
   "corrected": 122,
   "exact-arithmetic certificate": 111,
   "label only": 270,
   "not measured": 40,
   "numerical only": 356,
   "open": 41,
   "refuted": 27
  },
  "moved_by_audit": 82,
  "moves": [
   {
    "from": "analytic (proof checked)",
    "to": "corrected",
    "items": 2
   },
   {
    "from": "analytic (proof checked)",
    "to": "exact-arithmetic certificate",
    "items": 22
   },
   {
    "from": "analytic (proof checked)",
    "to": "label only",
    "items": 23
   },
   {
    "from": "analytic (proof checked)",
    "to": "numerical only",
    "items": 16
   },
   {
    "from": "analytic (proof checked)",
    "to": "open",
    "items": 1
   },
   {
    "from": "exact-arithmetic certificate",
    "to": "analytic (proof checked)",
    "items": 1
   },
   {
    "from": "exact-arithmetic certificate",
    "to": "numerical only",
    "items": 17
   }
  ]
 },
 "drill": {
  "runs": 68,
  "checks": 665,
  "plants": 1290,
  "caught_by_named_checks": 1290,
  "controls": 262,
  "controls_undisturbed": 262,
  "must_stay_green": 13068,
  "must_stay_green_held": 13068
 },
 "drill_by_paper": {
  "certified-finite-reduction": {
   "runs_named": [
    "run002",
    "run004",
    "run005",
    "run006",
    "run007",
    "run008",
    "run009",
    "run010",
    "run011",
    "run012",
    "run041",
    "run042"
   ],
   "runs": 12,
   "checks": 141,
   "plants": 215,
   "caught_by_named_checks": 215,
   "controls": 57,
   "controls_undisturbed": 57,
   "must_stay_green": 3023,
   "must_stay_green_held": 3023
  }
 },
 "archive": {
  "leaves": 1459,
  "bytes": 401604076,
  "megabytes": 401.6,
  "rule": "decimal megabytes, one place"
 },
 "parameters": {
  "integer_interval_bits": {
   "value": 400,
   "reads": "code/run030_round27_interval_replay.py: ONE = 1 << P",
   "used_by": [
    "run030",
    "run031",
    "run045",
    "run047"
   ]
  },
  "reuleaux_reconstruction_grid": {
   "directions": 3601,
   "largest_odd_m": 4001,
   "reads": "code/run004_round01_reduction_chain.py: n1_reconstruction",
   "used_by": [
    "run004"
   ]
  },
  "reflection_counterexample_grid": {
   "orientations_P": 720,
   "directions_M": 512,
   "reads": "code/run006_round03_placement_certificate.py: P, M",
   "used_by": [
    "run006"
   ]
  },
  "dense_reference_grid": {
   "directions_M": 512,
   "orientations_P": 192,
   "reads": "code/run006_round03_placement_certificate.py: the dense reference G",
   "used_by": [
    "run006"
   ]
  },
  "curvature_inversion_odd_modes": {
   "largest_odd_mode": 11,
   "reads": "code/run004_round01_reduction_chain.py",
   "used_by": [
    "run004"
   ]
  },
  "translation_bound_lps": {
   "instances": 12,
   "branches": 2,
   "orientations": 5,
   "lps": 120,
   "reads": "code/run006_round03_placement_certificate.py: b3_translation",
   "used_by": [
    "run006"
   ]
  },
  "bracket_grids": {
   "coarse_M": 16,
   "coarse_P": 12,
   "fine_M": 256,
   "fine_P": 96,
   "reads": "code/run006_round03_placement_certificate.py: b4_bracket",
   "used_by": [
    "run006"
   ]
  },
  "test_instance": {
   "cos3_coefficient": "0.22",
   "sin5_coefficient": "0.10",
   "semi_axes": [
    "0.72",
    "0.52"
   ],
   "minor_width": "1.04",
   "reads": "code/run006_round03_placement_certificate.py",
   "used_by": [
    "run006"
   ]
  },
  "compiler_run_q": {
   "q": "0.025/672",
   "reads": "code/run005_round02_finite_compiler.py",
   "used_by": [
    "run005"
   ]
  },
  "cover_test_grid": {
   "M": 128,
   "q": "5e-4",
   "reads": "code/run007_round04_cover_compiler.py",
   "used_by": [
    "run007"
   ]
  },
  "sharp_radius_reference_polygon": {
   "sides_log2": 20,
   "sides": 1048576,
   "reads": "code/run041_dlmvc.py",
   "used_by": [
    "run041"
   ]
  },
  "offset_placements": {
   "distances": 4,
   "angles": 24,
   "offsets": 96,
   "reads": "code/run008_round05_saturation_gate.py",
   "used_by": [
    "run008"
   ]
  },
  "gauge_rotations": {
   "rotations": 20,
   "reads": "code/run009_round06_witness_exchange.py: w4_gauge",
   "used_by": [
    "run009"
   ]
  },
  "exact_dual_grid": {
   "M": 3072,
   "P": 12,
   "reads": "code/run009_round06_witness_exchange.py",
   "used_by": [
    "run009"
   ]
  },
  "motion_bound_placements": {
   "bodies": 7,
   "boxes_per_body": 40,
   "placements_per_box": 5,
   "placements": 1400,
   "reads": "code/run011_round08_conditional_lift.py: w2_motion",
   "used_by": [
    "run011"
   ]
  },
  "tree_identity_forests": {
   "forests": 200,
   "reads": "code/run011_round08_conditional_lift.py: w5_trees",
   "used_by": [
    "run011"
   ]
  }
 },
 "unlogged": {
  "jackson_multipliers_N8": {
   "mode_3": "140/163",
   "mode_5": "108/163",
   "computes": "run005 jackson_coeffs(8), the exact multipliers K9 uses"
  },
  "smoothing_bound_E_256": {
   "value": 0.0001489913179299671,
   "computes": "run005 claims()['E_N'], as K5 and K6 do"
  },
  "exact_half_second_moment_256": {
   "value": 2.2749400208729345e-05,
   "computes": "run005 mu2(N) / 2, as K5 does"
  },
  "eta_64_test_instance": {
   "value": 0.2534945529894527,
   "computes": "run006 eta(1 + 0.72, 64), as B5 does"
  },
  "epsilon_deep": {
   "value": 0.013327012451411725,
   "computes": "run042 budget(ABAR)['epsilon_deep'], as W1 does"
  },
  "beta_as_used": {
   "value": 0.9063953966591665,
   "epsilon": 0.08339137281575232,
   "computes": "run007 claims()['beta'] at R = 2 Abar and the cover grid, as C7 does"
  }
 },
 "environment": {
  "about": "the interpreter and libraries this file was written with",
  "versions": {
   "python": "3.14.5",
   "mpmath": "1.3.0",
   "numpy": "2.4.6",
   "scipy": "1.17.1",
   "sympy": "1.14.0"
  },
  "series": {
   "python": "3.14",
   "mpmath": "1.3",
   "numpy": "2.4",
   "scipy": "1.17",
   "sympy": "1.14"
  }
 },
 "quotes": [
  {
   "figure": "tight reference A_ref (Cycle 16)",
   "document": "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_16_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_16_Tight_Reference_and_Local_Secant_v0.1.md",
   "document_sha256": "f2295d88f6e1d8dbdba7dc69e0f4592de8984304be2a1eba960f008cd8f879e4",
   "at": "L112",
   "quoted_from_programme": {
    "as_written": "0.8349865",
    "line": "0.8349865."
   }
  },
  {
   "figure": "stated slack of the tight reference (Cycle 16)",
   "document": "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_16_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_16_Tight_Reference_and_Local_Secant_v0.1.md",
   "document_sha256": "f2295d88f6e1d8dbdba7dc69e0f4592de8984304be2a1eba960f008cd8f879e4",
   "at": "L120",
   "quoted_from_programme": {
    "as_written": "6.5385446698911637e-08",
    "line": "6.5385446698911637e-08."
   }
  },
  {
   "figure": "separator constant s_7 (Cycle 03)",
   "document": "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_03_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_03_Orbit_Localization_and_Scalar_Closure_v0.1.md",
   "document_sha256": "0912a45916bc3c6bad0bd341f511f1d87a1fc8a9357bfd37a2a233bb2f615fab",
   "at": "L344",
   "quoted_from_programme": {
    "as_written": "0.00938484",
    "line": "0.00938484."
   }
  },
  {
   "figure": "least centre area of the global pilot (Round 16)",
   "document": "main.zip!/AMRAL_LUC_FC_Round_16_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_16_Global_Pilot_v0.1.md",
   "document_sha256": "ff11488c7d88130b25fad0929fc7d60ab0dc09e092dc4b98a051ba4bb762c846",
   "at": "L389",
   "quoted_from_programme": {
    "as_written": "0.8356828349502634",
    "line": "0.8356828349502634"
   }
  },
  {
   "figure": "area inflation bound beta as used (Round 04 package)",
   "document": "main.zip!/AMRAL_LUC_FC_Round_04_Package_v0.1.zip!/AMRAL_LUC_FC_Round_04_VALIDATION.json",
   "document_sha256": "1a62cdcb82d5c1028168b4db5a0dcc5265fd1eeeecb7f3725b662ee218d76bc4",
   "at": "L34",
   "quoted_from_programme": {
    "as_written": "0.9063953966591665",
    "line": "\"analytic_beta_area_bound\": 0.9063953966591665,"
   }
  },
  {
   "figure": "lens growth coefficient (BCODR LUC 04)",
   "document": "main.zip!/BCODR/BCODR_LUC_04_Package_v0.1.zip!/BCODR_LUC_04_True_Overlap_Germ_Tangent_Decomposition_v0.1.md",
   "document_sha256": "1cc949d8f7b087293df3de774f7a9c6f52fe0680e26811a481a37a6dd12e1072",
   "at": "L704",
   "quoted_from_programme": {
    "as_written": "0.747599042164318",
    "line": "0.747599042164318"
   }
  },
  {
   "figure": "far-branch gradient g_3, whose negative is the multiplier eta_3 by the document's g_3 + eta_3 = 0 (LESR Paper 07)",
   "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper07_Package_v0.1.zip!/LESR_Paper07_Root6217_Barrier_Shape_Reconstruction_v0.1.md",
   "document_sha256": "e9f7b9179656b972da7526baf65e1f8db16e800a93f750d5e796b1786643c5d6",
   "at": "L587",
   "quoted_from_programme": {
    "as_written": "-0.122791062735083228947666632271676747712689174",
    "line": "-0.122791062735083228947666632271676747712689174",
    "implies": {
     "eta_3": "0.122791062735083228947666632271676747712689174"
    }
   }
  },
  {
   "figure": "the document's equation for the multiplier (LESR Paper 07)",
   "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper07_Package_v0.1.zip!/LESR_Paper07_Root6217_Barrier_Shape_Reconstruction_v0.1.md",
   "document_sha256": "e9f7b9179656b972da7526baf65e1f8db16e800a93f750d5e796b1786643c5d6",
   "at": "L623",
   "quoted_from_programme": {
    "as_written": "g_3+\\eta_3=0",
    "line": "g_3+\\eta_3=0."
   }
  },
  {
   "figure": "A_ref - m(0) (LESR Paper 08)",
   "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper08_Package_v0.1.zip!/LESR_Paper08_Positive_Rotation_Certificate_Reduction_v0.1.md",
   "document_sha256": "7805483a575aaf9d2edfe5011ab509bc5dcb4058e0aee158e6f8cfe875a2da86",
   "at": "L301",
   "quoted_from_programme": {
    "as_written": "3.8944077590\\times10^{-7}",
    "line": "3.8944077590\\times10^{-7}.",
    "reads_as": "3.8944077590e-7"
   }
  },
  {
   "figure": "inner-core factor lambda_b as recorded (Round 04 deep audit, Pass 04 package)",
   "document": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_VALIDATION.json",
   "document_sha256": "99ba230aeba182a76477ab71dd8ed38daeecde38b6734f3751e4e56ffba8bc34",
   "at": "L28",
   "quoted_from_programme": {
    "as_written": "0.9882053662605436",
    "line": "\"homothetic_core_lambda\": 0.9882053662605436,"
   }
  },
  {
   "figure": "homothetic-core area lower bound as recorded (Pass 04 package)",
   "document": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_VALIDATION.json",
   "document_sha256": "99ba230aeba182a76477ab71dd8ed38daeecde38b6734f3751e4e56ffba8bc34",
   "at": "L29",
   "quoted_from_programme": {
    "as_written": "0.8268069547848553",
    "line": "\"homothetic_area_lower\": 0.8268069547848553,"
   }
  },
  {
   "figure": "sharp cell radius as recorded (Pass 04 package)",
   "document": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_VALIDATION.json",
   "document_sha256": "99ba230aeba182a76477ab71dd8ed38daeecde38b6734f3751e4e56ffba8bc34",
   "at": "L32",
   "quoted_from_programme": {
    "as_written": "0.0059677037497217755",
    "line": "\"sharp_cell_radius_numeric\": 0.0059677037497217755,"
   }
  }
 ]
}