{
  "count": 15,
  "targets": [
    {
      "id": "AN04-LOCAL-SIGNED-01",
      "obligation": "Compact displacement support and measure convolution on every real Sobolev scale",
      "current_proof_nodes": [
        "LP:M1",
        "LP:M2"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-02",
      "obligation": "Full diagonal retained alongside the two flow directions",
      "current_proof_nodes": [
        "LP:M0",
        "LP:M3"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-03",
      "obligation": "Exact derivative product, identity multiplier and both signed residuals",
      "current_proof_nodes": [
        "LP:R0"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-04",
      "obligation": "Normalized ordinary order minus one half and strict diagonal separation",
      "current_proof_nodes": [
        "LP:R1",
        "LP:R2"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-05",
      "obligation": "Ordinary difference including its nonzero characteristic diagonal symbol",
      "current_proof_nodes": [
        "LP:D0"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-06",
      "obligation": "One compact-normalized cone and one common displacement cutoff",
      "current_proof_nodes": [
        "LP:N0",
        "LP:C0",
        "LP:C1",
        "LP:C2",
        "LP:C3",
        "LP:C4"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-07",
      "obligation": "Complete intertwining defect and actual smooth kernel after cone exclusion",
      "current_proof_nodes": [
        "LP:C5"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-08",
      "obligation": "Actual proper local product with compact base support control",
      "current_proof_nodes": [
        "LP:F0"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-09",
      "obligation": "Full reflected matching and preserved Hamilton time direction",
      "current_proof_nodes": [
        "LP:F1"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-10",
      "obligation": "Whole ordinary residual, all smooth terms and zero-excess order",
      "current_proof_nodes": [
        "LP:F2",
        "LP:F3"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-11",
      "obligation": "Local noncharacteristic difference and exact all-real bound",
      "current_proof_nodes": [
        "LP:F4",
        "LP:F5"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-12",
      "obligation": "Complete signed flat correction and necessary noncompact tails",
      "current_proof_nodes": [
        "LP:G0",
        "LP:G1",
        "LP:V0"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-13",
      "obligation": "Complete graded signed cutoff correction solution",
      "current_proof_nodes": [
        "LP:X1"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-14",
      "obligation": "Complete graded missing-diagonal-term counterexample solution",
      "current_proof_nodes": [
        "LP:X2"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-LOCAL-SIGNED-15",
      "obligation": "Complete graded cancellation of arbitrary real graph orders",
      "current_proof_nodes": [
        "LP:X3"
      ],
      "current_source_sha256": "86521b4554a81a42d7c377d43416d9c80de5b6aa4d4be4809e91afdaf8fd8b55",
      "disposition": "Full original local signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ]
}