{
  "count": 17,
  "targets": [
    {
      "id": "AN04-DIR-P01",
      "obligation": "Intrinsic signed times and diagonal initial section",
      "current_proof_nodes": [
        "DT:G0"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P02",
      "obligation": "Flat Maslov frame by path continuation and rectangle homotopy",
      "current_proof_nodes": [
        "DT:B1",
        "DT:B2"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P03",
      "obligation": "Homogeneous half-density frame of exact degree n/2",
      "current_proof_nodes": [
        "DT:B3",
        "DT:B4"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P04",
      "obligation": "Exact integrating factor and zero-diagonal uniqueness",
      "current_proof_nodes": [
        "DT:T0",
        "DT:T1"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P05",
      "obligation": "Every moving-endpoint and radial symbol derivative",
      "current_proof_nodes": [
        "DT:T2"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P06",
      "obligation": "Global gluing without a global nonzero Maslov section",
      "current_proof_nodes": [
        "DT:T3"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P07",
      "obligation": "Reflexive forward hull and its ambient closedness",
      "current_proof_nodes": [
        "DT:H0",
        "DT:H1"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P08",
      "obligation": "Rapid microsupport exclusion by compact interpolation",
      "current_proof_nodes": [
        "DT:M0",
        "DT:H2"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P09",
      "obligation": "Backward closed hull and transport",
      "current_proof_nodes": [
        "DT:H3"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P10",
      "obligation": "Literal strict-hull failure at a source boundary",
      "current_proof_nodes": [
        "DT:D0",
        "DT:X1"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P11",
      "obligation": "Exact conormal kernel counterexample and correction order",
      "current_proof_nodes": [
        "DT:D1",
        "DT:X1"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P12",
      "obligation": "Signed flat kernels and both inverse identities",
      "current_proof_nodes": [
        "DT:X2"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P13",
      "obligation": "Adjoint signs and elliptic difference order",
      "current_proof_nodes": [
        "DT:X2"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P14",
      "obligation": "All-real local Sobolev continuity with a full compact multiplier bound",
      "current_proof_nodes": [
        "DT:D2",
        "DT:X2"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P15",
      "obligation": "Solved forcing-boundary wavefront calculation",
      "current_proof_nodes": [
        "DT:X1"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P16",
      "obligation": "Solved signed parametrix and dimension-one exception",
      "current_proof_nodes": [
        "DT:X2"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-DIR-P17",
      "obligation": "Solved radial symbol-density degree",
      "current_proof_nodes": [
        "DT:X3"
      ],
      "current_source_sha256": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
      "disposition": "Full original directional symbol and kernel-example scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ]
}