{
  "count": 17,
  "targets": [
    {
      "id": "AN04-KC-P01",
      "obligation": "Exact graph coefficient order and inverse Fourier normalization",
      "current_proof_nodes": [
        "KC:R1"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P02",
      "obligation": "Closed ambient microsupport-controlled realization",
      "current_proof_nodes": [
        "KC:R4"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P03",
      "obligation": "Locally finite common graph family",
      "current_proof_nodes": [
        "KC:R0"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P04",
      "obligation": "Complete nonstationary exclusion and rapid conic Fourier tails",
      "current_proof_nodes": [
        "KC:R2",
        "KC:R3"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P05",
      "obligation": "Additional outside-hull seminorms in the existing symbol sum",
      "current_proof_nodes": [
        "KC:S0",
        "KC:S1"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P06",
      "obligation": "Every kernel asymptotic remainder and wavefront exclusion",
      "current_proof_nodes": [
        "KC:S2",
        "KC:S3",
        "KC:S4"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P07",
      "obligation": "Ordinary nonhomogeneous order-zero transport coefficient",
      "current_proof_nodes": [
        "KC:T0"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P08",
      "obligation": "Every exponential, radial, base and moving-endpoint estimate",
      "current_proof_nodes": [
        "KC:T1",
        "KC:T2"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P09",
      "obligation": "Ordinary lower-product transport and intrinsic scalar quotient gluing",
      "current_proof_nodes": [
        "KC:P0",
        "KC:P1",
        "KC:P2"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P10",
      "obligation": "Idempotence of the closed reflexive hull",
      "current_proof_nodes": [
        "KC:H0"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P11",
      "obligation": "Actual residual sign and principal representative microsupport",
      "current_proof_nodes": [
        "KC:I0",
        "KC:I1"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P12",
      "obligation": "Every lower-order kernel realization in the correction induction",
      "current_proof_nodes": [
        "KC:I2"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P13",
      "obligation": "Controlled Borel kernel and smooth residual at all orders",
      "current_proof_nodes": [
        "KC:I3"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P14",
      "obligation": "Backward direction and empty-characteristic exception",
      "current_proof_nodes": [
        "KC:C0"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P15",
      "obligation": "Solved signed hull and zero-time boundary",
      "current_proof_nodes": [
        "KC:X1"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P16",
      "obligation": "Solved infinite sum of smooth kernels with exact singular wavefront",
      "current_proof_nodes": [
        "KC:X2"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-KC-P17",
      "obligation": "Solved nonhomogeneous oscillating coefficient through all zeros",
      "current_proof_nodes": [
        "KC:X3"
      ],
      "current_source_sha256": "9341fc89af6c9aac15c7b0b3c8510093caba313009f7f24d3df7766470e31af6",
      "disposition": "Full original controlled-kernel correction scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ]
}