{
  "count": 31,
  "targets": [
    {
      "id": "AN04-SYSTEMS-P001",
      "obligation": "Hilbert Sobolev scale, duality and exact Fourier coefficient",
      "current_proof_nodes": [
        "SY:A0",
        "SY:H1",
        "SY:H2"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P002",
      "obligation": "Uniform operator-norm symbol and Hermitian hypotheses",
      "current_proof_nodes": [
        "SY:N0"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P003",
      "obligation": "Finite-matrix distributional/local-smooth time equivalence",
      "current_proof_nodes": [
        "SY:N1"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P004",
      "obligation": "Hilbert sharp lower bound on the correct energy domain",
      "current_proof_nodes": [
        "SY:N2",
        "SY:H14"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P005",
      "obligation": "Strong parameter action by Schwartz convergence and density",
      "current_proof_nodes": [
        "SY:N3",
        "SY:H15"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P006",
      "obligation": "Ordered all-real Sobolev conjugation and bounded error",
      "current_proof_nodes": [
        "SY:E0"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P007",
      "obligation": "Energy differential inequality and nonnegative-root bound",
      "current_proof_nodes": [
        "SY:E1"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P008",
      "obligation": "Weighted kernel estimate with exact lambda threshold",
      "current_proof_nodes": [
        "SY:E1"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P009",
      "obligation": "All-p energy normalization and maximum interpretation",
      "current_proof_nodes": [
        "SY:E2"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P010",
      "obligation": "Formal adjoint symbol, form and reversed dual equation",
      "current_proof_nodes": [
        "SY:E3"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P011",
      "obligation": "Injective test range and complex Hahn-Banach functional",
      "current_proof_nodes": [
        "SY:C0"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P012",
      "obligation": "Separable Hilbert L2 representation and Sobolev isometry",
      "current_proof_nodes": [
        "SY:C1"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P013",
      "obligation": "Normalized measurable dual test and L-infinity bound",
      "current_proof_nodes": [
        "SY:C2"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P014",
      "obligation": "Distributional equation, Bochner primitive and initial trace",
      "current_proof_nodes": [
        "SY:C3"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P015",
      "obligation": "High-order smooth-data bootstrap into the energy domain",
      "current_proof_nodes": [
        "SY:C4"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P016",
      "obligation": "Data approximation, continuous solution and energy passage",
      "current_proof_nodes": [
        "SY:C5"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P017",
      "obligation": "Uniqueness at the justified lower Sobolev order",
      "current_proof_nodes": [
        "SY:C6"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P018",
      "obligation": "Smooth-data higher spatial and time regularity",
      "current_proof_nodes": [
        "SY:C7"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P019",
      "obligation": "Evolution bounds and ordered composition by uniqueness",
      "current_proof_nodes": [
        "SY:U0"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P020",
      "obligation": "Joint strong continuity on the closed time triangle",
      "current_proof_nodes": [
        "SY:U1"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P021",
      "obligation": "Bochner forcing formula and full Fubini verification",
      "current_proof_nodes": [
        "SY:U2"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P022",
      "obligation": "Reverse coefficient distinction and two-sided evolution",
      "current_proof_nodes": [
        "SY:R0"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P023",
      "obligation": "Hermitian principal system with arbitrary complex lower terms",
      "current_proof_nodes": [
        "SY:R1"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P024",
      "obligation": "Fixed positive symmetrizer and congruence proof",
      "current_proof_nodes": [
        "SY:R2"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P025",
      "obligation": "Accretive noncommuting system and forward contraction",
      "current_proof_nodes": [
        "SY:X1"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P026",
      "obligation": "Determinant bound and unbounded inverse at every real order",
      "current_proof_nodes": [
        "SY:X1",
        "SY:H16"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P027",
      "obligation": "Euclidean form failure, fixed energy and polarized speeds",
      "current_proof_nodes": [
        "SY:X2"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P028",
      "obligation": "Ordered coupled multiplier including the zero-frequency value",
      "current_proof_nodes": [
        "SY:X3"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P029",
      "obligation": "Exact delta and interval solution with all distributional signs",
      "current_proof_nodes": [
        "SY:X3"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P030",
      "obligation": "Exact vector wavefront and sharp Sobolev thresholds",
      "current_proof_nodes": [
        "SY:X3",
        "SY:V0"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SYSTEMS-P031",
      "obligation": "Exact analytic correction scope and remaining FIO construction",
      "current_proof_nodes": [
        "SY:S0"
      ],
      "current_source_sha256": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
      "disposition": "Full original separable-Hilbert energy/existence/evolution scope and examples retained, with complete dimension-independent prerequisites",
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ]
}