{
  "proof_locators": [
    "AM.18",
    "AM.B.2",
    "AM.B.3",
    "AM.23a–c",
    "AM.25",
    "AM.26–27"
  ],
  "geometry": {
    "type": "complex-time section; tangential variables suppressed",
    "support": "Re s >= 0",
    "epsilon": "1/4",
    "output_t": [
      "3/5",
      "1/10"
    ],
    "closed_triangle_vertices": [
      [
        "0",
        "-1/20"
      ],
      [
        "3/5",
        "1/10"
      ],
      [
        "0",
        "1/4"
      ]
    ],
    "constraints": [
      "0 <= Re s <= 3/5",
      "|Im s-1/10| <= (3/5-Re s)/4"
    ],
    "all_vertices_and_edges_included": true
  },
  "two_tails": {
    "positive": "ordinary holomorphic diagonal Cech residue; actual derived H-support comparison",
    "negative": "complete actual finite-order Volterra action; one factorial constant",
    "positive_distribution_limit_used": false
  },
  "detector": {
    "nonnegative": "r_j=1/(j!)^2",
    "negative": "r_-n=n!4^-n",
    "U": "1/(1-t/4)",
    "V_minus": "sum_{j>=1} (-1)^(j-1)/(j j! t^j)",
    "jump_as_function": "2 pi i U(t)",
    "jump_quotient_class": "zero, since U is holomorphic on the full small disc",
    "exact_marked_values": {
      "-1": "4/5",
      "-1/2": "8/9"
    },
    "curve": "250 samples of the exact rational function U on [-1,-1/20]"
  },
  "gauge": {
    "bound": "M_a (K |a|+r+|a|)^n / n!",
    "summability": "C0 (K |a|+r+|a|) < 1"
  },
  "generic_holonomic_classification_asserted": false
}