{
  "bridge": 130,
  "necessary_identity": "6*430-5*490=130",
  "conditional_sufficiency": "If T=6*430 and p=130 then T-p=5*490; if p=130 alone T remains free.",
  "formal_diagnostics": [
    {
      "T": 2575,
      "Adam_to_Seth": 130,
      "Seth_to_node": 2445,
      "hits_prespecified_targets": false
    },
    {
      "T": 2580,
      "Adam_to_Seth": 130,
      "Seth_to_node": 2450,
      "hits_prespecified_targets": true
    },
    {
      "T": 2585,
      "Adam_to_Seth": 130,
      "Seth_to_node": 2455,
      "hits_prespecified_targets": false
    }
  ],
  "scope": "Neighbouring T examples test logical implication only; they are not proposed eventdates or sourcevariants."
}