{
  "domain": "Exactly the two C392 E23→25 edges, both orientations; unique P/J pivots checked against the entire frozen528-record regular menu; each edge reflected through its existing original17K corner exchange into the48-record cumulative menu.",
  "no_new_pivots_or_endpoints": true,
  "interpretation": "A required coordinate is diagnostic until an existing typed source record supplies it."
}