{
  "spencer_dimensions": "every d>=0",
  "tau": "D_w",
  "relative_degree_interval": "[-d,0]",
  "finite_conjugation": "C=exp(tau^-1 sum_j partial_zj partial_yj)",
  "moment_map": "I(y^alpha tau^m gamma)=tau^(m-|alpha|-d) nu^alpha e_Delta",
  "diagonal_map": "j(e_Delta)=tau^d gamma",
  "forward_raw_pole_factor": "(-1)^d/d!",
  "opposite_raw_pole_factor": "1/d!",
  "support_slice": {
    "eta": 1,
    "R": 2,
    "c": 1,
    "b_sample": "1/2",
    "complement_start_a": "-1/4",
    "whole_domain_start_a": "-3/2"
  },
  "support_homotopy": "a_s=(1-s)a+s*c; b fixed",
  "source_proof_locators": [
    "AS.14-AS.27",
    "AS.32-AS.35",
    "FD.5-FD.9"
  ],
  "canonical_microlocal_composition_identity_asserted": false
}