{
 "record": "reference values at the tagged point P1 for lbl3se-evaluate.py --point P1 (2026-09-05; the direct AMFlow solve and the count of record 2026-09-06)",
 "tag": "P1",
 "point": {
  "s": "-1/2",
  "t": "-1",
  "m2": "1",
  "s_decimal": "-0.5",
  "t_decimal": "-1",
  "u": "3/2",
  "note": "t = 2s (-u/s = 3): the line on which an odd Gauss-Legendre rule in the closed dilogarithmic box kernel put a node on a removable singularity; every implementation here uses the even rule (2026-09-05)"
 },
 "tier_dps": 55,
 "tier_dps_note": "the tier runs at dps 55 = the dps of the recorded evaluation (its value is certified there to the two-precision agreement recorded under check)",
 "targets": {
  "I_SE": {
   "value": "0.5500690144504756155936000224484784288812618952154698267405724654662448",
   "value_dps": 55,
   "value_digits": 70,
   "check": {
    "dps": 115,
    "value": "0.550069014450475615593600022448478428881261895215469826740570269420848687137126554746131437286034839622819317052196303233935543376",
    "two_precision_agreement_d": 59.39877586820583
   },
   "grid_peel_eps0_50d": "0.55006901445047561559360002244847842888126187428755",
   "grid_peel_conv_d": 39.85127628333602,
   "grid_peel_loo_d": 44.06569622263176,
   "vs_grid_peel_d": 43.41969104396662,
   "amflow_direct": {
    "description": "the direct AMFlow solve_integrals of the eight-propagator target [1^8 0^7] of the fifteen-propagator family at P1 (2026-09-06), goal 50 then goal 70 on the same reduction cache, the eps^0 coefficients (d = 4 - 2 eps, real parts; the imaginary parts are exactly zero at this Euclidean point); the finer oracle of the recorded value: the two goals agree at eps^0 to the pair figure below and the recorded value agrees with each to claimed_digits",
    "g50": "0.55006901445047561559360002244847842888126189521546982674057026942084838650468369265183634958557277729353607785561205259716841855881254446595388926476015668724051076655765192826983495149170232832115345871258431309624376358662494375902178705988827455783126480220146753643069011805946703870823",
    "g50_radius": "3.15e-291",
    "g70": "0.55006901445047561559360002244847842888126189521546982674057026942084868713712655474613143728603483962262019512655638713248843173846367002799830506513648579402431785652141047889480982277577991104185028037360231135828535619705940951955188706291359738030553210302326745428801963137247640039470",
    "g70_radius": "7.04e-292",
    "stored_digits": {
     "g50": 290,
     "g70": 290
    },
    "pair_eps0_d": 69.26,
    "pair_common_orders": [
     -4,
     -3,
     -2,
     -1,
     0,
     1,
     2
    ],
    "pair_worst_common_order_d": 55.8,
    "pair_floor": 55,
    "pair_orders_not_compared": {
     "g50_only": [
      -6,
      -5
     ],
     "g70_only": []
    },
    "pair_note": "the goal-50 leg carries the eps^-6 and eps^-5 orders the goal-70 leg's window does not (both numerical zeros of a finite integral); the eleven exactly-vanishing components (the pole orders and every imaginary part) are excluded from the worst-of-pair by the numerical-zero rule; a printed radius is goal-bounded and never a digit count -- the digits are the pair, the recorded value and the grid peel",
    "options": {
     "goal_digits": {
      "g50": 50,
      "g70": 70
     },
     "eps_order": 8,
     "leading_order": {
      "g50": -6,
      "g70": -4
     },
     "declared": {
      "chop_pre": 150,
      "d0": "4",
      "extra_x_order": 20,
      "learn_x_order": -1,
      "rationalize_pre": 200,
      "run_candidate": 10,
      "run_direction": "NegIm",
      "run_length": 1000,
      "run_radius": 2,
      "silent_mode": false,
      "test_x_order": 5,
      "working_pre": 280,
      "x_order": 100
     },
     "tune": {
      "g50": {
       "n_eps": 17,
       "run_radius": 2,
       "x_order": 650,
       "working_pre": 326
      },
      "g70": {
       "n_eps": 18,
       "run_radius": 2,
       "x_order": 889,
       "working_pre": 446
      }
     },
     "env": {
      "AMFLOW_XORDER_TAIL_BOUND": "1"
     },
     "env_note": "the eta-tail bound folded into the returned radii, verified by environment readback on both legs"
    },
    "vs_recorded_value_d": {
     "g50": 59.4,
     "g70": 59.4
    },
    "vs_recorded_check_value_d": {
     "g50": 69.26,
     "g70": 102.44
    },
    "grid_peel_vs_direct_d": {
     "x200_vs_g50": 43.42,
     "x200_vs_g70": 43.42,
     "x300_vs_g70": 44.71
    },
    "sources": {
     "out_sha256": {
      "g50": "11459053ad4750808c969e5ef58804be17c3bc558035f20e0686e7013436bed7",
      "g70": "7c9cfcba6a2ad485276ea28caff7aa6944fdf9cdfde485b9e4572eb91f247999"
     }
    }
   },
   "members": {
    "evaluator_dps55_vs_direct_g50_d": 59.4,
    "evaluator_dps55_vs_direct_g70_d": 59.4,
    "two_precision_d": 59.39877586820583,
    "grid_peel_conv_d": 39.85127628333602,
    "grid_peel_loo_d": 44.06569622263176,
    "vs_grid_peel_d": 43.41969104396662
   },
   "claimed_digits": 59.4,
   "bar_d": 59,
   "bar_d_member": "evaluator_dps55_vs_direct_solve_d",
   "bar_rule": "floor of the claimed digits; claimed = the recorded value's agreement with the direct AMFlow solve at both goals (the minimum of the two: the direct solve as the finer oracle, its goal pair agreeing at eps^0 to 69.26 d and to 55.8 d worst over the common Laurent orders); the grid peel's members stand beside as that grid's own floors -- order convergence 39.85 d, leave-one-out 44.07 d, the recorded value vs the peel 43.42 d -- and the peel agrees with the direct solve to 43.42 d, so the 2026-09-05 bar of 39 was the grid oracle's limit, not the recorded value's",
   "tier_bar_d": 55,
   "tier_bar_note": "the --point P1 tier gates the value computed here against amflow_direct.g70 at tier_bar_d; the tier at dps 55 read 56.30 d against the recorded value (the 2026-09-05 run of the shipped bytes; the recorded value and the direct solve agree to 59.4 d, so that reading is this evaluator's own dps-55 depth, not the reference's) -- tier_bar_d = floor(56.30 - 1) = 55, the tier's own floor with one digit of margin; the count of record 59 d is the recorded evaluation's (its agreement with the direct solve), printed beside the gate line, not this tier's to reach at dps 55",
   "tier_agreement_d_at_tier_dps_vs_recorded_value": 56.3
  }
 },
 "sources": {
  "evaluator": {
   "name": "eval_row28.py",
   "sha256": "cf00c5ea217ad2a517b3780e2200800523c9f950a9d8b6aa16bcb21ee7fdaad9",
   "library": "lbl3disp.py",
   "library_sha256": "81c51feda761d68e2e452c50c448ce45c1666148e7b08f33da5b75874770d41c"
  },
  "evaluator_output": {
   "name": "row28_dps55.json",
   "sha256": "6bcf4c45e487507e867eba768e37b286c5d280317dba3a6528e529cb95ec36e5",
   "command": "python3 eval_row28.py --dps 55 --point -1/2 -1 1 --check --out row28_dps55.json"
  },
  "gate_record": {
   "sha256": "e988151e939acfa2b7b8ca85c334c9f2fea5987ee355db5cf9d1f0821e837af5",
   "description": "the gate record at P1: the eps^0 Neville peel (kmin = 0) of the independent AMFlow grid vs each evaluator output (order convergence, leave-one-out, evaluator-vs-peel, x_order 200 vs 300)"
  },
  "two_precision_record": {
   "sha256": "52d1386ffe1338a931fed6961d74249e4cf4dd23c77b0fc63e8e40714948b1e2",
   "description": "the two-precision compare record at P1: each evaluator at two precisions vs each other and vs the peel; claimed digits = the minimum bar"
  },
  "independent_grid": {
   "name": "P1_grid.json",
   "sha256": "4cba71c2e146078fd5e6b58354ed925bf8323e33195866a49d64ebfa7e72d263",
   "description": "AMFlow eps-grid of the nine-propagator family at P1 (x_order 200), min certified digits 306.3 per the grid lint; never used in any computation here"
  },
  "amflow_direct_g50": {
   "name": "LBL3SE-P1D_g50.json",
   "sha256": "11459053ad4750808c969e5ef58804be17c3bc558035f20e0686e7013436bed7",
   "goal_digits": 50,
   "description": "the goal-50 direct solve output at P1 (AMFlow solve_integrals, eps_order 8; its eps^0 real part is amflow_direct.g50)"
  },
  "amflow_direct_g70": {
   "name": "LBL3SE-P1D_g70.json",
   "sha256": "7c9cfcba6a2ad485276ea28caff7aa6944fdf9cdfde485b9e4572eb91f247999",
   "goal_digits": 70,
   "description": "the goal-70 direct solve output at P1 on the goal-50 reduction cache (its eps^0 real part is amflow_direct.g70: the tier's gate reference)"
  },
  "direct_compare_receipt": {
   "name": "COMPARE_item32_20260906T060645Z.json",
   "sha256": "9899ef7fc2de38512b6795041aa0a79bdd423d1d5187f8e7adae9f3d03a55cfb",
   "description": "the compare receipt of the direct solve at P1: the goal pair on the common Laurent orders, the eps^0 three-way (recorded value at both precisions, the grid peels at x_order 200 and 300, the two goals), the count of record"
  },
  "direct_settled_receipt": {
   "sha256": "9402f37550a9a010eb2869120e046426af61c2e9b3dc87c26d0fd3212f4d744e",
   "description": "the settled receipt of the direct solve at P1 (the run receipts by sha, the environment readback, the radii by order, the planted-digit control caught by name)"
  }
 },
 "method_note": "the reference values were computed by an independent implementation of the same one-fold I = (1/pi) int_1^inf rho(w) K(w) dw: the density from its closed form (elementary dilogarithm part plus the Gamma_1(6) sunrise-cut integral) and the closed dilogarithmic box kernel, tanh-sinh and Gauss-Legendre panels; this script computes the same integral from the Picard-Fuchs transport of the exact kite system -- the tagged tier is a cross-implementation check, and the record's own digit claim rests on an independent AMFlow eps-grid at this point (nine-propagator family, x_order 200 with an x_order 300 companion); since 2026-09-06 the record also carries the direct AMFlow solve_integrals of the eight-propagator target at this point (amflow_direct: goals 50 and 70, eps_order 8), the finer oracle -- the recorded value agrees with it to the count of record, and the tagged tier gates against its goal-70 eps^0 string at the tier's own bar",
 "tier_wall_s_on_build_host": 2178.31,
 "tier_gate_note": "the --point P1 tier gates I_SE computed here against targets.I_SE.amflow_direct.g70 (the direct solve's finer goal) at tier_bar_d; the agreement with amflow_direct.g50 and with the recorded value are printed beside it, the latter capped by that string's own depth against the direct solve (claimed_digits); the count of record bar_d is printed on the gate line, reported",
 "_sha256_body": "b9f5a7368f4ffde7fedfb4b52ad0c37009c29aeb2f2b03d5de6fcc5edb204b02"
}