{
  "on_curve": true,
  "depth": 10,
  "h_P": 0.32700076250449767,
  "h_Q": 0.4767115473365956,
  "h_P_plus_Q": 0.9207576020223028,
  "h_P_minus_Q": 0.6866670271056715,
  "convention": "<P,Q> = (1/2)(h(P+Q) - h(P) - h(Q))",
  "pairing": 0.05852264609060481,
  "parallelogram_route": 0.05852264372915783,
  "two_routes_agree": true,
  "difference_between_routes": 2.361446982401816e-09,
  "residual_of_the_limit_at_this_depth": 6.198883056640625e-06,
  "regulator": 0.1524601393683195,
  "tree_value_RUN_023": 0.15246013936831948,
  "external_value": 0.15246017794314376,
  "residual_against_external": 3.857482425151382e-08,
  "h_flat": "h♭ : M_E → M_E^∨, v ↦ <v, ·>; det(h♭) ∈ (D_MW^∨)^{⊗2} is the regulator as a quadratic form on the determinant",
  "bsd_identity_ratio": 0.9999997469842632,
  "ratio_if_pairing_doubled": 0.9326070648101007,
  "ratio_if_pairing_halved": 1.0168479175278038,
  "convention_discriminated": true,
  "numerical_match_is_not_the_bridge": true,
  "why": "the numbers agree with the analytic side, which is a consistency check on the convention and nothing more; the bridge is the lattice statement plus the canonical-height theorem, not this ratio",
  "agrees": true
}