{
  "normalization": "DR^0[n], differential multiplied by (-1)^n",
  "transfer": "T_f derived-tensor f^-1 O_X -> O_Z; a tensor P maps to a f*(P1)",
  "canonical_comparison": "DR_X N -> Rf_* DR_Z M -> Rj_* L_X[n]",
  "cusp": {
    "equation": "y^2-x^3",
    "real_parameter": [
      "t^2",
      "t^3"
    ],
    "t_interval": [
      -1,
      1
    ],
    "equal_axis_scale": true
  },
  "final_chart": {
    "map": [
      "p^2*q",
      "p^3*q^2"
    ],
    "h": "p^6*q^3*(q-1)",
    "J": "p^4*q^2"
  },
  "other_chart": {
    "map": [
      "a*b^2",
      "a*b^3"
    ],
    "h": "a^2*b^6*(1-a)",
    "J": "a*b^4"
  },
  "boundary_orders": {
    "E1": 2,
    "E2": 3,
    "E3": 6,
    "strict_cusp": 1
  },
  "E3_intersections": {
    "E1": "infinity",
    "E2": "0",
    "strict_cusp": "1"
  },
  "graph_has_metric_scale": false,
  "proof_locators": [
    "AD.5",
    "AD.22–AD.28a",
    "AD.29–AD.35"
  ]
}