{
  "count": 26,
  "targets": [
    {
      "id": "AN04-SOLVE-P01",
      "obligation": "Positive order normalization and identical oriented characteristic strips.",
      "current_proof_nodes": [
        "KS:G0"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P02",
      "obligation": "Projective completeness and exponential homogeneous lift bounds.",
      "current_proof_nodes": [
        "KS:G1"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P03",
      "obligation": "Nontrapping excludes projected stationary/radial characteristic points.",
      "current_proof_nodes": [
        "KS:G2"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P04",
      "obligation": "Escape persists on one compact neighborhood by compact ODE limits.",
      "current_proof_nodes": [
        "KS:G3"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P05",
      "obligation": "Full fixed-support H^(r+m-1) regularity from forcing H^r.",
      "current_proof_nodes": [
        "KS:R0"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P06",
      "obligation": "Complete closed graph space and the correct one-lower-order remainder norm.",
      "current_proof_nodes": [
        "KS:R1"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P07",
      "obligation": "Smooth kernel, compact L2 unit ball and finite dimension.",
      "current_proof_nodes": [
        "KS:N0"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P08",
      "obligation": "Complement coercivity at every real order by Rellich and pairwise difference estimates.",
      "current_proof_nodes": [
        "KS:N1"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P09",
      "obligation": "Actual compact-test pairing gives the necessary obstruction.",
      "current_proof_nodes": [
        "KS:N2"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P10",
      "obligation": "Nested finite-dimensional kernels stabilize at precisely N(K).",
      "current_proof_nodes": [
        "KS:N3"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P11",
      "obligation": "Correct r=1-m-s, q=-s and annihilation-invariant bound.",
      "current_proof_nodes": [
        "KS:D1"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P12",
      "obligation": "Normed subspace extension and full finite-chart represented solution.",
      "current_proof_nodes": [
        "KS:D2"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P13",
      "obligation": "Closed flat-jet quotient with its actual complete topology.",
      "current_proof_nodes": [
        "KS:J0",
        "KS:F5"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P14",
      "obligation": "Every compact distribution supported on A annihilates every function flat on A.",
      "current_proof_nodes": [
        "KS:J1"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P15",
      "obligation": "Continuous map to the finite-codimension obstruction annihilator.",
      "current_proof_nodes": [
        "KS:J2"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P16",
      "obligation": "Increasing Hilbert chart seminorms give the exact smooth/quotient topology.",
      "current_proof_nodes": [
        "KS:J3"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P17",
      "obligation": "Finite seminorm dual norm represents the adjoint output at H^(-j).",
      "current_proof_nodes": [
        "KS:J4",
        "KS:J5"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P18",
      "obligation": "Modulo-kernel dual estimate with the required later quotient seminorm.",
      "current_proof_nodes": [
        "KS:J6"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P19",
      "obligation": "Seminorm Hahn–Banach separation proves a closure neighborhood.",
      "current_proof_nodes": [
        "KS:J7"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P20",
      "obligation": "Actual summable correction series supplies one smooth solution.",
      "current_proof_nodes": [
        "KS:J8"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P21",
      "obligation": "Smooth equation on int A gives a neighborhood of K; Sobolev gain is m-1.",
      "current_proof_nodes": [
        "KS:J9"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P22",
      "obligation": "Trapped circular model is nevertheless smoothly invertible with nonzero lower term.",
      "current_proof_nodes": [
        "KS:M1"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P23",
      "obligation": "Proper rank-one example has a nonzero smooth obstruction despite ellipticity.",
      "current_proof_nodes": [
        "KS:M2"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P24",
      "obligation": "Full order arithmetic at m=3/2,s=-2 and the general formula.",
      "current_proof_nodes": [
        "KS:X1"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P25",
      "obligation": "Full necessity/sufficiency and explicit smooth primitive for the rank-one example.",
      "current_proof_nodes": [
        "KS:X2"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SOLVE-P26",
      "obligation": "All seminorm tails, target residuals, absorption and no linear selection claim.",
      "current_proof_nodes": [
        "KS:X3"
      ],
      "current_source_sha256": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
      "disposition": "Complete current programme proof with full original compact-neighborhood solvability scope",
      "approved_edition_pdf_pages": [
        74,
        75,
        76
      ],
      "approved_edition_printed_pages": [
        63,
        64,
        65
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ],
  "whole_course_complete": false,
  "human_review_complete": false
}