{
  "count": 18,
  "targets": [
    {
      "id": "AN04-CM-P01",
      "obligation": "Tensor normal exclusion and invariant half-density middle integration",
      "current_proof_nodes": [
        "CM:K0",
        "CM:K1",
        "CM:K2",
        "CM:K3"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P02",
      "obligation": "Actual compact-test composition and Gaussian-limit kernel identification",
      "current_proof_nodes": [
        "CM:K4",
        "CM:K5"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P03",
      "obligation": "Full proper fiber-pushforward Fourier estimate",
      "current_proof_nodes": [
        "CM:W0"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P04",
      "obligation": "Exact reflected-input matching sign",
      "current_proof_nodes": [
        "CM:W1"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P05",
      "obligation": "Compact middle covectors and closed matching image without axes",
      "current_proof_nodes": [
        "CM:W2"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P06",
      "obligation": "Proper-support extension and both smooth error compositions",
      "current_proof_nodes": [
        "CM:W3",
        "CM:W4"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P07",
      "obligation": "Full ambient closedness of the signed relation with its diagonal",
      "current_proof_nodes": [
        "CM:R0"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P08",
      "obligation": "Compact support of both proper middle kernels",
      "current_proof_nodes": [
        "CM:R2"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P09",
      "obligation": "Exact commutator wavefront exclusion with all lower terms retained",
      "current_proof_nodes": [
        "CM:R3"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P10",
      "obligation": "Compact return excludes every singular middle match",
      "current_proof_nodes": [
        "CM:R1",
        "CM:R4",
        "CM:V0"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P11",
      "obligation": "Both actual operator identities on their correct compact domains",
      "current_proof_nodes": [
        "CM:I0"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P12",
      "obligation": "Every compact external set and full same-sign uniqueness",
      "current_proof_nodes": [
        "CM:I1"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P13",
      "obligation": "Comparison of like-sided inverses through an existing opposite side",
      "current_proof_nodes": [
        "CM:I2"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P14",
      "obligation": "Adjoints reverse signs and supply the correct left inverse",
      "current_proof_nodes": [
        "CM:A0"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P15",
      "obligation": "Conditional conversion to both identities with smooth full-order action",
      "current_proof_nodes": [
        "CM:A1"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P16",
      "obligation": "Solved nonzero smooth associativity discrepancy and exact commutator",
      "current_proof_nodes": [
        "CM:X1"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P17",
      "obligation": "Solved forbidden-normal Gaussian divergence",
      "current_proof_nodes": [
        "CM:X2"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CM-P18",
      "obligation": "Solved adjoint sign and nonsmooth opposite-branch difference",
      "current_proof_nodes": [
        "CM:X3"
      ],
      "current_source_sha256": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
      "disposition": "Full original compact-middle comparison scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ]
}