{
 "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"
   ]
  }
 },
 "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
 },
 "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"
   ]
  }
 },
 "environment": {
  "about": "the interpreter and libraries this file was written with",
  "versions": {
   "python": "3.14.5",
   "mpmath": "1.3.0",
   "numpy": "2.4.6",
   "sympy": "1.14.0"
  },
  "series": {
   "python": "3.14",
   "mpmath": "1.3",
   "numpy": "2.4",
   "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"
   }
  }
 ]
}