[
  {
    "name": "01_three_questions",
    "title": "A root, a branch, and an occupied carrier",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "03_residual_grid",
    "title": "Residual fibers in a finite coefficient ring",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "04_digits",
    "title": "A compatible stream for one quarter in Z5",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "05_smooth_grid",
    "title": "All points of a two-parameter smooth chart at depth three",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "06_weights",
    "title": "Delayed activation of weighted coordinates",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "07_singular_forest",
    "title": "Actual reductions of square-zero residues",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "08_prime_forests",
    "title": "One scalar equation gives different local forests",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "09_infinite_tail",
    "title": "Nonempty infinite levels can have no compatible branch",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "10_cohomology",
    "title": "Cycles and boundaries in an exact packet complex",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "11_chain_defect",
    "title": "Degreewise projectors need not define a subcomplex",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "12_source_scc",
    "title": "Minimum seeds in the actual seven-vertex transport graph",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "13_transport",
    "title": "An actual horizontal map must preserve the equations",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "14_spine",
    "title": "A common polynomial does not mean identical residue coefficients",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "15_separator",
    "title": "Finite character evaluations recover a multiplicity vector",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "16_multiplicities",
    "title": "A unique rational solution can fail the carrier test",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "17_precision",
    "title": "One digit is lost by the separating lattice",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "18_occupancy",
    "title": "Pairwise occupancy can conceal an empty joint packet",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "19_hypotheses",
    "title": "Trace and ordinary eigenspaces have different boundaries",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "20_closedness",
    "title": "Nonzero values can converge to zero p-adically",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "21_signed_norm",
    "title": "Congruent generators can have different absolute norms",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "22_norm_table",
    "title": "The determinant norm on a 25-element quotient algebra",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "23_mean_cancellation",
    "title": "A nonscalar unit pairs positive and negative character weights",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "24_scalar_exception",
    "title": "Exactly when does a scalar witness exist?",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "25_avoidance",
    "title": "Avoiding several primes is a simultaneous residue problem",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "26_boundary_count",
    "title": "Complete residue cells cancel; the boundary remains",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "27_mellin",
    "title": "Power saving leaves a regular endpoint at s = 1",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "28_frobenius_boundary",
    "title": "Having samples is not the same as sampling every class",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  },
  {
    "name": "29_coefficients",
    "title": "No scalar root is not the absence of every representation",
    "kind": "editable TikZ vector drawing",
    "numerical_geometry_only": true
  }
]