{
  "count": 20,
  "targets": [
    {
      "id": "AN04-CT-COSPHERE",
      "obligation": "Degree-one flow, quotient and exact nontrivial segment hypothesis",
      "current_proof_nodes": [
        "TUBE:Q0"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-NONRADIAL",
      "obligation": "Projected autonomous uniqueness, radial exclusion and dimension restriction",
      "current_proof_nodes": [
        "TUBE:Q1"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-LOCAL",
      "obligation": "Exact marked local chart and normalized initial transverse variables",
      "current_proof_nodes": [
        "TUBE:D0"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-COMMON-DOMAIN",
      "obligation": "Finite two-direction ODE continuation on one common neighborhood",
      "current_proof_nodes": [
        "TUBE:D1"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-HOMOGENEITY",
      "obligation": "Dilation commutation, exact central ray and full p equals temporal momentum",
      "current_proof_nodes": [
        "TUBE:D2"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-SLICE",
      "obligation": "Full time-slice symplectic preservation",
      "current_proof_nodes": [
        "TUBE:S1"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-MIXED",
      "obligation": "All mixed-time components and invertibility of the full differential",
      "current_proof_nodes": [
        "TUBE:S2"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-PRIMITIVE",
      "obligation": "Exact primitive preservation by radial contraction",
      "current_proof_nodes": [
        "TUBE:S3"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-PROJECTED-INJECTIVITY",
      "obligation": "Compact limiting collisions and local inverse at both endpoints",
      "current_proof_nodes": [
        "TUBE:I1"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-RADIAL-INJECTIVITY",
      "obligation": "Unique radial scale, open image, contractible tube and arbitrary shrinking",
      "current_proof_nodes": [
        "TUBE:I2",
        "TUBE:I3"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-MASLOV",
      "obligation": "Flat symbol unit via contractibility and exact chart cocycle",
      "current_proof_nodes": [
        "TUBE:M1"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-SYMBOL",
      "obligation": "Homogeneous graph symbol, symplectic half volume and full inverse bounds",
      "current_proof_nodes": [
        "TUBE:M2"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-REALIZATION",
      "obligation": "Finite phase realization, compact proper support and exclusion of axes",
      "current_proof_nodes": [
        "TUBE:M3",
        "TUBE:M4"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-PARAMETRICES",
      "obligation": "Both conic parametrices and exact ordered left/right comparison",
      "current_proof_nodes": [
        "TUBE:M5"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-EGOROV",
      "obligation": "Arbitrary real graph order and full order-zero receiving remainder",
      "current_proof_nodes": [
        "TUBE:E1"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-GAUGE",
      "obligation": "One finite product cylinder and complete existing GT transport/residual theorem",
      "current_proof_nodes": [
        "TUBE:E2",
        "TUBE:E3"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-DEFECTS",
      "obligation": "Both full conjugation defects and paired intertwining identity",
      "current_proof_nodes": [
        "TUBE:E4",
        "TUBE:E5"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-EX-1",
      "obligation": "Closed-interval periodic return with full solution",
      "current_proof_nodes": [
        "TUBE:X1"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-EX-2",
      "obligation": "Radial-scale example and homogeneous obstruction with full solution",
      "current_proof_nodes": [
        "TUBE:X2"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-CT-EX-3",
      "obligation": "Explicit tangent tube, full primitive, flow and compact radial estimates with full solution",
      "current_proof_nodes": [
        "TUBE:X3"
      ],
      "current_source_sha256": "fdaf9bd9ecf02f01ca8bd7c95c2908ae084b3d294981b8f91fd512c2b851b0fc",
      "disposition": "Complete current programme proof with full original compact-tube scope",
      "approved_edition_pdf_range": [
        73,
        74
      ],
      "approved_edition_printed_range": [
        62,
        63
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ],
  "whole_course_complete": false,
  "human_review_complete": false
}