{
  "count": 27,
  "targets": [
    {
      "id": "AN04-FLOW-P01",
      "obligation": "Compact continuation and no trapped half-curve",
      "current_proof_nodes": [
        "GF:L0"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P02",
      "obligation": "Proper full maximal-domain flow map",
      "current_proof_nodes": [
        "GF:P0",
        "GF:P1"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P03",
      "obligation": "Closed embedding and full smooth inverse",
      "current_proof_nodes": [
        "GF:P2"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P04",
      "obligation": "Automatic relation dimension under condition B",
      "current_proof_nodes": [
        "GF:D0"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P05",
      "obligation": "Return bound from the proper relation",
      "current_proof_nodes": [
        "GF:B0"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P06",
      "obligation": "Open quotient and countable base",
      "current_proof_nodes": [
        "GF:Q0"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P07",
      "obligation": "Hausdorff trajectory quotient",
      "current_proof_nodes": [
        "GF:Q1"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P08",
      "obligation": "Injective transversal charts and smooth transitions",
      "current_proof_nodes": [
        "GF:Q2"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P09",
      "obligation": "Affine weighted section inside incomplete intervals",
      "current_proof_nodes": [
        "GF:Q3",
        "GF:Q4"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P10",
      "obligation": "Full open global flow domain and smooth inverse",
      "current_proof_nodes": [
        "GF:Q5"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P11",
      "obligation": "Complete proof of C implying A",
      "current_proof_nodes": [
        "GF:C0"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P12",
      "obligation": "Positive homogeneous radius from local products",
      "current_proof_nodes": [
        "GF:R0"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P13",
      "obligation": "Equivariant radial product diffeomorphism",
      "current_proof_nodes": [
        "GF:R1"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P14",
      "obligation": "Invariant-radius correction with the exact negative integral",
      "current_proof_nodes": [
        "GF:R2"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P15",
      "obligation": "Local symbol class and radial-coordinate invariance",
      "current_proof_nodes": [
        "GF:S0"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P16",
      "obligation": "Exact complex integrating factor and zero initial section",
      "current_proof_nodes": [
        "GF:S1",
        "GF:S2"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P17",
      "obligation": "Every parameter/radial derivative on compact interpolation images",
      "current_proof_nodes": [
        "GF:S2"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P18",
      "obligation": "Relation manifold and its first-factor flow",
      "current_proof_nodes": [
        "GF:S3"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P19",
      "obligation": "Characteristic hypersurface and cosphere regularity, all-real normalization and radial exclusion",
      "current_proof_nodes": [
        "GF:N0"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P20",
      "obligation": "Projected pseudoconvexity gives compact returns",
      "current_proof_nodes": [
        "GF:N1"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P21",
      "obligation": "Dimensions and the one-dimensional empty case",
      "current_proof_nodes": [
        "GF:N2"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P22",
      "obligation": "Closed conic embedded relation",
      "current_proof_nodes": [
        "GF:N2"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P23",
      "obligation": "Ambient closure excludes a single zero covector",
      "current_proof_nodes": [
        "GF:N3"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P24",
      "obligation": "Coordinate symplectic preservation, difference-form vanishing, Lagrangian dimension and kernel covector sign",
      "current_proof_nodes": [
        "GF:L1",
        "GF:L2",
        "GF:L3",
        "GF:L4"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P25",
      "obligation": "Solved slit quotient and missing return condition",
      "current_proof_nodes": [
        "GF:X1"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P26",
      "obligation": "Solved radial drift and resonant transport",
      "current_proof_nodes": [
        "GF:X2"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-FLOW-P27",
      "obligation": "Solved free-transport canonical relation",
      "current_proof_nodes": [
        "GF:X3"
      ],
      "current_source_sha256": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
      "disposition": "Full original global flow and canonical-relation scope retained with exact current programme proofs",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ]
}