{
  "count": 20,
  "targets": [
    {
      "id": "AN04-SP-MEMBERSHIP",
      "obligation": "Fixed-order definition, full elliptic test and openness",
      "current_proof_nodes": [
        "SP:S1",
        "SP:S2"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-FOURIER",
      "obligation": "Both directions of the fixed-order local weighted Fourier criterion",
      "current_proof_nodes": [
        "SP:S3"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-GRAPH",
      "obligation": "Both exact-order graph directions including the inverse defect",
      "current_proof_nodes": [
        "SP:S4"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-CONSTANT-REVERSE",
      "obligation": "The constant-factor L2 implication without a trace",
      "current_proof_nodes": [
        "SP:C1"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-AVERAGING-KERNEL",
      "obligation": "The proper averaging kernel and original input temporal covector",
      "current_proof_nodes": [
        "SP:C2"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-AVERAGING-NORM",
      "obligation": "Fubini norm bound and the forward microlocal L2 implication",
      "current_proof_nodes": [
        "SP:C3"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-PRIMITIVE",
      "obligation": "Distributional time primitive, sign, representative independence and norm",
      "current_proof_nodes": [
        "SP:C4"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-CONSTANCY",
      "obligation": "Distributional decomposition and two-way L2 state constancy",
      "current_proof_nodes": [
        "SP:C5"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-TUBE",
      "obligation": "Compact-segment uniform full forcing-regular microsupport",
      "current_proof_nodes": [
        "SP:T1"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-COMMUTATOR",
      "obligation": "Exactly commuting proper cutoff and separated temporal forcing",
      "current_proof_nodes": [
        "SP:T2"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-PARTITION",
      "obligation": "Finite full-microsupport partition and complete smoothing identity",
      "current_proof_nodes": [
        "SP:T3"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-L2-FORCING",
      "obligation": "Every partition summand and full remainder are actually L2",
      "current_proof_nodes": [
        "SP:T4"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-MODEL",
      "obligation": "Microlocal return and exact-order model propagation",
      "current_proof_nodes": [
        "SP:T5"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-POSITIVE-REDUCTION",
      "obligation": "Every-real-order positive elliptic reduction and forcing exponent",
      "current_proof_nodes": [
        "SP:P2"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-CONJUGATION",
      "obligation": "Arbitrary graph order, exact ordered defects and total forcing order",
      "current_proof_nodes": [
        "SP:P3"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-RADIAL-CONNECTED",
      "obligation": "Radial and zero cases, connected interval and endpoint membership",
      "current_proof_nodes": [
        "SP:P4"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-ELLIPTIC",
      "obligation": "The distinct elliptic gain and noncompact norm qualification",
      "current_proof_nodes": [
        "SP:P5"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-EX-1",
      "obligation": "Trace-free time-slab averaging with a complete local L2 solution",
      "current_proof_nodes": [
        "SP:X1"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-EX-2",
      "obligation": "Exact delta regularity on every cone and unattained critical threshold",
      "current_proof_nodes": [
        "SP:X2"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    },
    {
      "id": "AN04-SP-EX-3",
      "obligation": "All graph orders and both sides of the m equals one distinction",
      "current_proof_nodes": [
        "SP:X3"
      ],
      "current_source_sha256": "a2f7ff16e2bd56659c21060908d5de42354c942e4aae0930a7f60c4ce6fc02da",
      "disposition": "Complete current programme proof with original orders and full hypotheses",
      "approved_edition_pdf_range": [
        71,
        72
      ],
      "approved_edition_printed_range": [
        60,
        61
      ],
      "historical_source_access_objection_superseded": true,
      "human_review_complete": false
    }
  ],
  "whole_course_complete": false,
  "human_review_complete": false
}