[
  {
    "manuscript": "Appendix F.1",
    "component": "infinite coefficient recurrence; existence and uniqueness",
    "status": "kernel_checked",
    "targets": [
      "coefficients_solution",
      "coefficient_solution_exists_unique"
    ],
    "boundary": "No equivalence to an analytic differential equation is asserted."
  },
  {
    "manuscript": "Appendix F.1",
    "component": "strict positivity and geometric bound",
    "status": "kernel_checked",
    "targets": [
      "coefficients_positive",
      "coefficients_le_geometric"
    ],
    "boundary": "Scale bounds are explicit. The geometric bound allows scales equal to one."
  },
  {
    "manuscript": "Appendix F.1 local step",
    "component": "absolute convergence on norm(z)^2 < 2",
    "status": "kernel_checked",
    "targets": [
      "coefficient_series_absolutely_convergent"
    ],
    "boundary": "Holomorphicity, differentiated equations and entire continuation remain unformalized."
  },
  {
    "manuscript": "supporting derived bound",
    "component": "infinite-series tail certificate on the same disk",
    "status": "kernel_checked",
    "targets": [
      "odd_series_tail_bound"
    ],
    "boundary": "Not the full outer-radius whole-plane laboratory certificate."
  },
  {
    "manuscript": "Appendix G.1 algebraic step",
    "component": "exact factorization and zero locus of D",
    "status": "kernel_checked",
    "targets": [
      "defect_factor",
      "defect_eq_zero_iff"
    ],
    "boundary": "The equivalence with analytic component rescaling is still open as a Lean obligation."
  },
  {
    "manuscript": "Appendix G.2 coefficient formulation",
    "component": "generic injectivity of the labeled six-coordinate jet and formal recurrence",
    "status": "kernel_checked",
    "targets": [
      "seven_jet_injective",
      "parameters_of_jet_through_degree_seven",
      "parameters_of_formal_pair_eq"
    ],
    "boundary": "Analytic-germ formulation awaits the analytic-solution-to-recurrence bridge."
  },
  {
    "manuscript": "Appendix G worked pair and guard",
    "component": "nondegenerate exact example and degenerate jet collision",
    "status": "kernel_checked",
    "targets": [
      "workedScales_defect",
      "workedScales_recoverable",
      "boundary_collision"
    ],
    "boundary": "The collision is an example, not a classification of identifiability on the exceptional set."
  }
]