{
  "count": 87,
  "targets": [
    {
      "id": "AN04-PT-G01-01",
      "obligation": "Monic sum p_j tau^j with p_m1; punctured tangential domain",
      "current_proof_nodes": [
        "PT:R1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G01-02",
      "obligation": "Simple real roots on positive levels and real boundary roots",
      "current_proof_nodes": [
        "PT:R1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G01-03",
      "obligation": "Boundary double condition p_t p_tautau<0 and principal-type distinction",
      "current_proof_nodes": [
        "PT:R1",
        "PT:R3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G01-04",
      "obligation": "Fixed complex circle and smooth root power sums with multiplicity",
      "current_proof_nodes": [
        "PT:R2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G01-05",
      "obligation": "Smooth real quadratic factor, quotient and conic degrees1/2",
      "current_proof_nodes": [
        "PT:R2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G01-06",
      "obligation": "Derivative identity -2b_t q^2 and uniform b>=ct|xi|^2",
      "current_proof_nodes": [
        "PT:R3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G01-07",
      "obligation": "Tricomi strict/elliptic sides, boundary merger and noncharacteristic surface",
      "current_proof_nodes": [
        "PT:G1",
        "PT:X1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-01",
      "obligation": "Exact S1/S2 hypotheses and imaginary lower-order classes",
      "current_proof_nodes": [
        "PT:P1",
        "PT:P2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-02",
      "obligation": "Coercive b lower inequality with order-one defect on0<=t<=1",
      "current_proof_nodes": [
        "PT:P2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-03",
      "obligation": "Forward initial u and D_tu traces zero; all-real Sobolev norms",
      "current_proof_nodes": [
        "PT:E1",
        "PT:E5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-04",
      "obligation": "Constant independent of s after lambda_s and lower-term absorption",
      "current_proof_nodes": [
        "PT:P3",
        "PT:E5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-05",
      "obligation": "Self-adjoint A/B, nonnegative B and strengthened symbol inequality",
      "current_proof_nodes": [
        "PT:P2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-06",
      "obligation": "Weight exp(-2lambda t)/t and nonnegative terminal kinetic term",
      "current_proof_nodes": [
        "PT:E1",
        "PT:E6"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-07",
      "obligation": "Nonnegative terminal B energy and ordered scalar commutator",
      "current_proof_nodes": [
        "PT:E1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-08",
      "obligation": "Tangential flow Taylor remainder b-t dotb and all lower orders",
      "current_proof_nodes": [
        "PT:E2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-09",
      "obligation": "Scalar sharp bound after normalization by |psi_prime|",
      "current_proof_nodes": [
        "PT:E3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-10",
      "obligation": "Young forcing/error split and full Hardy weight derivative",
      "current_proof_nodes": [
        "PT:E3",
        "PT:E4"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-11",
      "obligation": "Stronger forward estimate lambda^3/t,t^-4 and shifted derivative",
      "current_proof_nodes": [
        "PT:E4",
        "PT:E5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G02-12",
      "obligation": "Initial t0=0 endpoint passage with uO(t2),vO(t)",
      "current_proof_nodes": [
        "PT:E5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G03-01",
      "obligation": "Terminal zero jets and weight -t exp(2lambda t)",
      "current_proof_nodes": [
        "PT:B1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G03-02",
      "obligation": "Nonnegative initial boundary kinetic term",
      "current_proof_nodes": [
        "PT:B1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G03-03",
      "obligation": "Backward commutator symbol2lambda t b+b+t dotb",
      "current_proof_nodes": [
        "PT:B1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G03-04",
      "obligation": "Scalar Fefferman-Phong zero-order remainder and parameter normalization",
      "current_proof_nodes": [
        "PT:B2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G03-05",
      "obligation": "Backward Hardy inequality lambda^2uL2 controlled by vL2",
      "current_proof_nodes": [
        "PT:B3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G03-06",
      "obligation": "Full t2 high energy and forcing weights, all real Sobolev orders",
      "current_proof_nodes": [
        "PT:B3",
        "PT:P3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G03-07",
      "obligation": "Uniformity as initial time tends to zero; no unweighted top trace",
      "current_proof_nodes": [
        "PT:B3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G04-01",
      "obligation": "Finite cone cover by separated first and quadratic factor clusters",
      "current_proof_nodes": [
        "PT:J2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G04-02",
      "obligation": "Complete quotient basis tau^k product of every other factor",
      "current_proof_nodes": [
        "PT:J1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G04-03",
      "obligation": "Coprime quotient-ring proof valid at internal double roots",
      "current_proof_nodes": [
        "PT:J1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G04-04",
      "obligation": "Ordered operator products, commutators and principal agreement",
      "current_proof_nodes": [
        "PT:J2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G04-05",
      "obligation": "Sobolev-normalized complete quotient matrix and exact AN03 inverse",
      "current_proof_nodes": [
        "PT:J2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G04-06",
      "obligation": "Forward remainder interpolation and monic highest derivative recovery",
      "current_proof_nodes": [
        "PT:J3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G04-07",
      "obligation": "Backward weighted top jets and unweighted m-2 jet sum",
      "current_proof_nodes": [
        "PT:J4"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G04-08",
      "obligation": "Low-frequency terms, temporal patching and small fixed interval",
      "current_proof_nodes": [
        "PT:J2",
        "PT:J3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G04-09",
      "obligation": "Actual source23.4.6 reference corrected to forward23.4.8",
      "current_proof_nodes": [
        "PT:J4"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G05-01",
      "obligation": "Semiglobal supported forcing/solution orders s and s+m-1",
      "current_proof_nodes": [
        "PT:C1",
        "PT:C2",
        "PT:C3",
        "PT:C4"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G05-02",
      "obligation": "Principal type at zero and noncharacteristic initial surface",
      "current_proof_nodes": [
        "PT:R1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G05-03",
      "obligation": "Local uniqueness neighborhood and uncontrolled lateral-boundary exclusion",
      "current_proof_nodes": [
        "PT:C5",
        "PT:X20"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G05-04",
      "obligation": "Uniform noncharacteristic cone slope on compact chart",
      "current_proof_nodes": [
        "PT:C1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G05-05",
      "obligation": "Positive starting times, zero extension without normal delta terms",
      "current_proof_nodes": [
        "PT:C1",
        "PT:T4"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G05-06",
      "obligation": "Forward uniform limit, rough-source graph method and support cutoff",
      "current_proof_nodes": [
        "PT:C1",
        "PT:H0"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G05-07",
      "obligation": "Backward adjoint cone, smooth normal recovery and Green pairing",
      "current_proof_nodes": [
        "PT:C5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G05-08",
      "obligation": "Half derivative more than actual Proposition23.2.5 data order",
      "current_proof_nodes": [
        "PT:C6",
        "PT:C7"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-01",
      "obligation": "Real decreasing q, support t<=T and small derivative-cone parameter",
      "current_proof_nodes": [
        "PT:L1",
        "PT:W3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-02",
      "obligation": "Localized estimate forcing s and global forcing s-1/2",
      "current_proof_nodes": [
        "PT:L6",
        "PT:L7"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-03",
      "obligation": "Self-adjoint Q and Sobolev conjugation remainders",
      "current_proof_nodes": [
        "PT:L1",
        "PT:L7"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-04",
      "obligation": "All Q2 commutators with D_t-A and B retained",
      "current_proof_nodes": [
        "PT:L1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-05",
      "obligation": "Hermitian two-by-two symbol with imaginary opposite off-diagonals",
      "current_proof_nodes": [
        "PT:L3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-06",
      "obligation": "H1 gradient bound, q nonnegativity and positive matrix criterion",
      "current_proof_nodes": [
        "PT:L2",
        "PT:L3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-07",
      "obligation": "Matrix sharp Garding H-1/2 error and global forward control",
      "current_proof_nodes": [
        "PT:L3",
        "PT:L4"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-08",
      "obligation": "Double commutator imaginary leading term and real order-zero part",
      "current_proof_nodes": [
        "PT:L5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-09",
      "obligation": "Actual lambda^(1/2) interpolation23.4.16 and exact source detail",
      "current_proof_nodes": [
        "PT:L5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G06-10",
      "obligation": "Final scalar Hardy step for Qu and commuted normal derivative",
      "current_proof_nodes": [
        "PT:L6",
        "PT:L7"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G07-01",
      "obligation": "Model fH(0,s), uH(2,s-1) subset H(1,s), fixed half collar",
      "current_proof_nodes": [
        "PT:T3",
        "PT:T4",
        "PT:T5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G07-02",
      "obligation": "Adjoint Hahn-Banach existence and dense smoother forcing",
      "current_proof_nodes": [
        "PT:T3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G07-03",
      "obligation": "Tangential-pseudodifferential normal recovery beyond differential B.2.9",
      "current_proof_nodes": [
        "PT:T1",
        "PT:T2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G07-04",
      "obligation": "Uniqueness by continuous extension of the forward estimate",
      "current_proof_nodes": [
        "PT:T6"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G07-05",
      "obligation": "Mollification and uniformly order-minus-one Q commutator",
      "current_proof_nodes": [
        "PT:L8"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G07-06",
      "obligation": "Local half-derivative gain from QfH(0,s+1/2)",
      "current_proof_nodes": [
        "PT:L8"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G08-01",
      "obligation": "Extendible interior solution and exact unique intrinsic N extension",
      "current_proof_nodes": [
        "PT:W1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G08-02",
      "obligation": "Compressed boundary equality forcing and every normal jet",
      "current_proof_nodes": [
        "PT:W4",
        "PT:W5",
        "PT:F3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G08-03",
      "obligation": "Opposite inclusion by existing forcing/trace interfaces",
      "current_proof_nodes": [
        "PT:W5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G08-04",
      "obligation": "Tangential neighborhood excluding all forcing normal lifts",
      "current_proof_nodes": [
        "PT:W1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G08-05",
      "obligation": "Preliminary mixed order, tested forcing and nested cone residual",
      "current_proof_nodes": [
        "PT:W2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G08-06",
      "obligation": "Repeated half-step regularity and full normal smoothness recovery",
      "current_proof_nodes": [
        "PT:W3",
        "PT:W4"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G08-07",
      "obligation": "Decreasing cutoff profile on the actually visited argument range",
      "current_proof_nodes": [
        "PT:W3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-PT-G08-08",
      "obligation": "Higher-order smooth first/quadratic factor removal with normal jet data",
      "current_proof_nodes": [
        "PT:F1",
        "PT:F2",
        "PT:F3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-01",
      "obligation": "Exercise 1 — introductory: a smooth pair and nonsmooth branches",
      "current_proof_nodes": [
        "PT:X1"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-02",
      "obligation": "Exercise 2 — introductory: contour power sums",
      "current_proof_nodes": [
        "PT:X2"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-03",
      "obligation": "Exercise 3 — introductory: the normal coefficient",
      "current_proof_nodes": [
        "PT:X3"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-04",
      "obligation": "Exercise 4 — intermediate: the forward Hardy polynomial",
      "current_proof_nodes": [
        "PT:X4"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-05",
      "obligation": "Exercise 5 — intermediate: the terminal Hardy estimate",
      "current_proof_nodes": [
        "PT:X5"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-06",
      "obligation": "Exercise 6 — intermediate: a cubic quotient basis",
      "current_proof_nodes": [
        "PT:X6"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-07",
      "obligation": "Exercise 7 — advanced: two double pairs",
      "current_proof_nodes": [
        "PT:X7"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-08",
      "obligation": "Exercise 8 — intermediate: the highest interpolation term",
      "current_proof_nodes": [
        "PT:X8"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-09",
      "obligation": "Exercise 9 — intermediate: two positivity interfaces",
      "current_proof_nodes": [
        "PT:X9"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-10",
      "obligation": "Exercise 10 — advanced: retaining the singular weight",
      "current_proof_nodes": [
        "PT:X10"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-11",
      "obligation": "Exercise 11 — intermediate: positivity at \\(b=0\\)",
      "current_proof_nodes": [
        "PT:X11"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-12",
      "obligation": "Exercise 12 — intermediate: the cutoff profile",
      "current_proof_nodes": [
        "PT:X12"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-13",
      "obligation": "Exercise 13 — advanced: normal recovery",
      "current_proof_nodes": [
        "PT:X13"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-14",
      "obligation": "Exercise 14 — intermediate: ambient delta coefficients",
      "current_proof_nodes": [
        "PT:X14"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-15",
      "obligation": "Exercise 15 — advanced: the mollification half step",
      "current_proof_nodes": [
        "PT:X15"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-16",
      "obligation": "Exercise 16 — advanced: one collar for every order",
      "current_proof_nodes": [
        "PT:X16"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-17",
      "obligation": "Exercise 17 — advanced: correcting the full symbol",
      "current_proof_nodes": [
        "PT:X17"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-18",
      "obligation": "Exercise 18 — intermediate: the extra data half derivative",
      "current_proof_nodes": [
        "PT:X18"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-19",
      "obligation": "Exercise 19 — advanced: negative orders and support",
      "current_proof_nodes": [
        "PT:X19"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-U033-EX-20",
      "obligation": "Exercise 20 — advanced: a lateral incoming singularity",
      "current_proof_nodes": [
        "PT:X20"
      ],
      "current_source_sha256": "fd2525b07483e70fc56bb982add7cffa61de33811f602056df9a39f34b35ac5c",
      "disposition": "Complete current programme proof under the full original hypotheses and orders",
      "approved_edition_pdf_range": [
        419,
        429
      ],
      "approved_edition_printed_range": [
        404,
        414
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ],
  "whole_course_complete": false,
  "human_review_complete": false
}