{
  "isError" : false,
  "request" : {
    "depth" : 1,
    "direction" : "incoming",
    "symbol" : "com.example.trace::deepCore"
  },
  "response" : {
    "depth" : 1,
    "direction" : "incoming",
    "edgeCount" : 1,
    "edges" : [ {
      "from" : "com.example.trace::mid",
      "kind" : "calls",
      "to" : "com.example.trace::deepCore"
    } ],
    "edgesByKind" : {
      "calls" : 1
    },
    "meta" : {
      "serverMs" : "<timing>"
    },
    "nodeCount" : 2,
    "nodes" : [ {
      "distance" : 0,
      "file" : "main.ek9",
      "fullyQualifiedName" : "com.example.trace::deepCore",
      "genus" : "FUNCTION",
      "line" : 6,
      "module" : "com.example.trace",
      "name" : "deepCore"
    }, {
      "distance" : 1,
      "file" : "main.ek9",
      "fullyQualifiedName" : "com.example.trace::mid",
      "genus" : "FUNCTION",
      "line" : 9,
      "module" : "com.example.trace",
      "name" : "mid"
    } ],
    "note" : "requirements whose anchoring tests CAN REACH this construct — transitive, not limited by 'depth', and over-inclusive by construction: reach is not implementation",
    "programState" : "clean",
    "reachResolved" : true,
    "requirements" : [ {
      "requirement" : "REQ:deep-chain",
      "viaTests" : [ "com.example.trace.tests::DeepTest" ]
    } ],
    "status" : "ok",
    "target" : {
      "distance" : 0,
      "file" : "main.ek9",
      "fullyQualifiedName" : "com.example.trace::deepCore",
      "genus" : "FUNCTION",
      "line" : 6,
      "module" : "com.example.trace",
      "name" : "deepCore"
    }
  },
  "scenario" : "requirements_beyond_hop_budget",
  "tool" : "query_construct_neighbourhood"
}