{
  "A": {
    "sublattice": "Z(1P) + Z(2Q), a genuine index-2 sublattice",
    "regulator": 0.6098328649375692,
    "cap_for_index_2": 0.4508631961536187,
    "smallest_height_in_E(Q)": 0.3269966534616917,
    "index_detected": true,
    "accepted": true,
    "rule": "the same Hermite-plus-search method, pointed at a lattice that is NOT saturated, must fail to prove primitivity — otherwise it proves it of everything"
  },
  "B": {
    "point": "2P + -1Q",
    "canonical_height": 1.5506240362836992,
    "predicted_by_the_quadratic_form": 1.550584919438434,
    "difference": 3.9116845265141365e-05,
    "tolerance": 9.918212890625e-05,
    "requirement_enforced": true,
    "accepted": true,
    "rule": "ĥ(aP+bQ) = a²ĥ(P) + b²ĥ(Q) + 2ab⟨P,Q⟩ must hold at a second point, or the convention check tests nothing"
  },
  "agrees": true
}