{
  "count": 23,
  "targets": [
    {
      "id": "AN04-SR-PROFILE",
      "obligation": "One positive-frequency Gaussian profile and its tempered definition",
      "current_proof_nodes": [
        "SR:P0"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-NORM",
      "obligation": "Every negative Sobolev norm and logarithmic failure of L2",
      "current_proof_nodes": [
        "SR:P1"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-INVERSION",
      "obligation": "Exact Gaussian inversion, cutoff Fubini and distributional limit",
      "current_proof_nodes": [
        "SR:P2"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-DERIVATIVES",
      "obligation": "All mixed derivatives and cutoff integration-by-parts remainder",
      "current_proof_nodes": [
        "SR:P3",
        "SR:P4"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-OUTSIDE-L2",
      "obligation": "Global L2 away from every origin neighborhood",
      "current_proof_nodes": [
        "SR:P5"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-WF-UPPER",
      "obligation": "Exact positive wavefront inclusion with complete cutoff estimate",
      "current_proof_nodes": [
        "SR:P6"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-THRESHOLD",
      "obligation": "Weighted cutoff inequality, finite sphere cover and actual microlocal failure",
      "current_proof_nodes": [
        "SR:P7"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-PARTITION",
      "obligation": "Locally finite endpoint partition with shrinking transverse supports",
      "current_proof_nodes": [
        "SR:R0"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-PRODUCT",
      "obligation": "Negative product Sobolev norms, compact multiplication and constant-factor wavefront",
      "current_proof_nodes": [
        "SR:R1"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-REGULARIZATION",
      "obligation": "Compact convolution residuals and simultaneous support/norm/cone conditions",
      "current_proof_nodes": [
        "SR:R2"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-CONIC-CHOICE",
      "obligation": "Full finite conic derivative bounds and uniform small-radius choice",
      "current_proof_nodes": [
        "SR:R3"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-SUM",
      "obligation": "Convergence of one compactly supported series in every negative Sobolev space",
      "current_proof_nodes": [
        "SR:R4"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-CONIC-SUM",
      "obligation": "Summable full Fourier seminorms on every complementary cone, including endpoints",
      "current_proof_nodes": [
        "SR:R5"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-INTERIOR",
      "obligation": "Locally finite smooth difference on each interior axis point and exact wavefront inclusion",
      "current_proof_nodes": [
        "SR:R6"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-ENDPOINTS",
      "obligation": "Actual threshold failure and smooth wavefront equality at both endpoints",
      "current_proof_nodes": [
        "SR:R7"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-FORCING",
      "obligation": "Exactly both endpoint forcing rays, with model propagation converse",
      "current_proof_nodes": [
        "SR:R8"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-GRAPH-WF",
      "obligation": "Arbitrary graph order and full inverse transfer of the entire wavefront set",
      "current_proof_nodes": [
        "SR:T1"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-GRAPH-THRESHOLD",
      "obligation": "Exact prescribed Sobolev threshold by the inverse graph order",
      "current_proof_nodes": [
        "SR:T2"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-GRAPH-FORCING",
      "obligation": "Both full intertwining defects and both directions of exact forcing transfer",
      "current_proof_nodes": [
        "SR:T3"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-REDUCTION",
      "obligation": "All real operator orders by positive elliptic reduction and compact reparametrization",
      "current_proof_nodes": [
        "SR:T4"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-EX-1",
      "obligation": "Critical exponent, both weighted norm comparisons and logarithmic endpoint failure",
      "current_proof_nodes": [
        "SR:X1"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-EX-2",
      "obligation": "Sharp endpoint indicator obstruction, exact proper averaging and closed covector limit",
      "current_proof_nodes": [
        "SR:X2"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SR-EX-3",
      "obligation": "Arbitrary graph-order threshold, both inverse directions and sign diagnosis",
      "current_proof_nodes": [
        "SR:X3"
      ],
      "current_source_sha256": "de71e178b7a2273326303b38f170eed7d48a53ca2a31a918b18a3d7aaa683773",
      "disposition": "Complete current programme proof with full original finite-ray scope",
      "approved_edition_pdf_pages": [
        72,
        74
      ],
      "approved_edition_printed_pages": [
        61,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ],
  "whole_course_complete": false,
  "human_review_complete": false
}