{
  "count": 25,
  "targets": [
    {
      "id": "AN04-GLOBAL-SIGNED-01",
      "obligation": "Global hypotheses and base-locally-finite finite angular partition with complete ordinary derivative bounds",
      "current_proof_nodes": [
        "GP:N0",
        "GP:P0"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-02",
      "obligation": "Proper quantization and base-locally-finite full-microsupport sum",
      "current_proof_nodes": [
        "GP:P1"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-03",
      "obligation": "Full two-sided proper elliptic inverse removing every lower-order partition defect",
      "current_proof_nodes": [
        "GP:P2"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-04",
      "obligation": "One common proper diagonal kernel cutoff satisfying all locally finite neighborhood constraints",
      "current_proof_nodes": [
        "GP:P3"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-05",
      "obligation": "Actual compactly supported corrected pieces, full conic separation and exact retained smooth error",
      "current_proof_nodes": [
        "GP:P4"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-06",
      "obligation": "Complete elliptic local inverse with output-cutoff commutator smoothing",
      "current_proof_nodes": [
        "GP:L0"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-07",
      "obligation": "Characteristic local construction with fixed cones, compact supports and actual strict residual",
      "current_proof_nodes": [
        "GP:L1"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-08",
      "obligation": "Actual locally finite residual sum, full smooth terms and finite-neighborhood exclusion of diagonal accumulation",
      "current_proof_nodes": [
        "GP:L2",
        "GP:L3"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-09",
      "obligation": "Ordinary signed difference and compact-local bounds at every real Sobolev order",
      "current_proof_nodes": [
        "GP:L4"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-10",
      "obligation": "Closed reflexive strict forcing hull and support-controlled ordinary correction",
      "current_proof_nodes": [
        "GP:C0"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-11",
      "obligation": "Exact corank-two and individual radial exclusion, including the characteristic diagonal",
      "current_proof_nodes": [
        "GP:C1"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-12",
      "obligation": "Actual correction Sobolev bounds and signed global right kernels without a false proper-support claim",
      "current_proof_nodes": [
        "GP:C2",
        "GP:C3"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-13",
      "obligation": "Opposite-sign adjoint construction supplies both identities by actual compact-middle comparison",
      "current_proof_nodes": [
        "GP:A0"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-14",
      "obligation": "Unconditional same-sign uniqueness once both constructions exist",
      "current_proof_nodes": [
        "GP:A1"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-15",
      "obligation": "Invariant common nonzero diagonal jump section and exact graph/Maslov/density transition compatibility",
      "current_proof_nodes": [
        "GP:D0"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-16",
      "obligation": "Partition noncancellation and complete ordinary reciprocal symbol estimates at the diagonal",
      "current_proof_nodes": [
        "GP:D1",
        "GP:D2"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-17",
      "obligation": "Ordinary complex transport with compact inverse bounds, global noncharacteristic difference and exact full wavefront equality including the empty case",
      "current_proof_nodes": [
        "GP:D3",
        "GP:D4",
        "GP:D5"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-18",
      "obligation": "Positive arbitrary-real-order reduction with correct input-side composition and every proper smooth error retained",
      "current_proof_nodes": [
        "GP:O0",
        "GP:O1"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-19",
      "obligation": "Exact every-real gain and zero-excess elliptic signed-difference order",
      "current_proof_nodes": [
        "GP:O2",
        "GP:O3"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-20",
      "obligation": "Automatic conicity and strip invariance of clopen parts; full-symbol forcing separation and closed directional correction",
      "current_proof_nodes": [
        "GP:M0",
        "GP:M1"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-21",
      "obligation": "Mixed-sign adjoint comparison, common oriented jump, noncharacteristicity, exact wavefront, gain and uniqueness",
      "current_proof_nodes": [
        "GP:M2",
        "GP:M3"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-22",
      "obligation": "Complete complex weighted flat model, both exact identities, full relation and actual finite-measure bound on every real scale",
      "current_proof_nodes": [
        "GP:W0",
        "GP:W1",
        "GP:V0"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-23",
      "obligation": "Complete graded solution retaining and removing the lower-order partition error",
      "current_proof_nodes": [
        "GP:X1"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-24",
      "obligation": "Complete graded strict-error sequence converging to the identity with its full cotangent diagonal",
      "current_proof_nodes": [
        "GP:X2"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-GLOBAL-SIGNED-25",
      "obligation": "Complete graded corank/order/input-side reduction solution",
      "current_proof_nodes": [
        "GP:X3"
      ],
      "current_source_sha256": "ef6f1b721ec878124658a09b8b63008ee83894eb231f0ccd36d524f86291ccbe",
      "disposition": "Full original scalar global signed-parametrix scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ]
}