{
  "normal_cone_margin_mu": "2/3",
  "spatial_standard_B": "2",
  "standard_half_angle_in_pi_units": "1/3",
  "phase_grid_step_in_pi_units": "1/4",
  "one_normal_complement_aperture_in_pi_units": "4/3",
  "neighbor_union_support_aperture_in_pi_units": "11/12",
  "neighbor_common_complement_aperture_in_pi_units": "13/12",
  "normalized_covariable_radius": "1/16",
  "phase_half_neighborhood_in_pi_units": "1/24",
  "polar_lower_bound": "cos(3*pi/8)-1/8 > 0",
  "outer_source_normal_radius": "3",
  "outer_source_spatial_radius": "3",
  "endpoint_time_span": "1",
  "real_slice_initial_spatial_radius": "sqrt(5)*sigma/2",
  "real_slice_enlarged_spatial_radius": "2*sigma",
  "zero_test": "K0-LG=J; one normal circuit gives 2*pi*i*G=0; negative Laurent uniqueness gives K0=0"
}