{
  "role": "Numerical and exact construction checks, not a proof substitute",
  "source": "Original constructions in WC13, CS27, WCH22\u201333",
  "versions": {
    "numpy": "2.4.4",
    "matplotlib": "3.10.9"
  },
  "weight_coordinates": {
    "a": 2.0,
    "thresholds": [
      -0.40546510810816444,
      0.6931471805599453
    ],
    "tail": 0.3183098861837907,
    "exact_tail": "4/(2*pi*a)"
  },
  "canonical_section": {
    "omega": 0.7,
    "s": 0.31,
    "phase_boundary_max_error": 2.6645352591003757e-15,
    "proved_identity": "phase(z,q)-phase(z+s,q+s)=-omega*(2*z*s+s^2)"
  },
  "weight_change": {
    "map_constructions": [
      {
        "n": 3,
        "gap_selection_stage": 2,
        "maximum_displacement_at_vertices": 0.11631944444444445,
        "displacement_bound": 0.3333333333333333,
        "exceptional_domain_length": 0.3333333333333333,
        "squared_section_distance_lower_bound": 0.6666666666666667,
        "resolvent_norm_upper_bound": 0.08333333333333333,
        "source_vertices": [
          0.0,
          0.05555555555555555,
          0.2777777777777778,
          0.3333333333333333,
          0.38888888888888884,
          0.611111111111111,
          0.6666666666666666,
          0.7222222222222222,
          0.9444444444444444,
          1.0
        ],
        "target_vertices": [
          0.0,
          0.171875,
          0.203125,
          0.3333333333333333,
          0.4375,
          0.5625,
          0.6666666666666666,
          0.796875,
          0.828125,
          1.0
        ]
      },
      {
        "n": 4,
        "gap_selection_stage": 2,
        "maximum_displacement_at_vertices": 0.140625,
        "displacement_bound": 0.25,
        "exceptional_domain_length": 0.25,
        "squared_section_distance_lower_bound": 1.0,
        "resolvent_norm_upper_bound": 0.0625,
        "source_vertices": [
          0.0,
          0.03125,
          0.21875,
          0.25,
          0.28125,
          0.46875,
          0.5,
          0.53125,
          0.71875,
          0.75,
          0.78125,
          0.96875,
          1.0
        ],
        "target_vertices": [
          0.0,
          0.171875,
          0.203125,
          0.25,
          0.40625,
          0.46875,
          0.5,
          0.53125,
          0.59375,
          0.75,
          0.796875,
          0.828125,
          1.0
        ]
      },
      {
        "n": 8,
        "gap_selection_stage": 3,
        "maximum_displacement_at_vertices": 0.06640625,
        "displacement_bound": 0.125,
        "exceptional_domain_length": 0.125,
        "squared_section_distance_lower_bound": 1.5,
        "resolvent_norm_upper_bound": 0.03125,
        "source_vertices": [
          0.0,
          0.0078125,
          0.1171875,
          0.125,
          0.1328125,
          0.2421875,
          0.25,
          0.2578125,
          0.3671875,
          0.375,
          0.3828125,
          0.4921875,
          0.5,
          0.5078125,
          0.6171875,
          0.625,
          0.6328125,
          0.7421875,
          0.75,
          0.7578125,
          0.8671875,
          0.875,
          0.8828125,
          0.9921875,
          1.0
        ],
        "target_vertices": [
          0.0,
          0.07421875,
          0.08203125,
          0.125,
          0.171875,
          0.203125,
          0.25,
          0.29296875,
          0.30078125,
          0.375,
          0.40625,
          0.46875,
          0.5,
          0.53125,
          0.59375,
          0.625,
          0.69921875,
          0.70703125,
          0.75,
          0.796875,
          0.828125,
          0.875,
          0.91796875,
          0.92578125,
          1.0
        ]
      },
      {
        "n": 16,
        "gap_selection_stage": 4,
        "maximum_displacement_at_vertices": 0.041015625,
        "displacement_bound": 0.0625,
        "exceptional_domain_length": 0.0625,
        "squared_section_distance_lower_bound": 1.75,
        "resolvent_norm_upper_bound": 0.015625,
        "source_vertices": [
          0.0,
          0.001953125,
          0.060546875,
          0.0625,
          0.064453125,
          0.123046875,
          0.125,
          0.126953125,
          0.185546875,
          0.1875,
          0.189453125,
          0.248046875,
          0.25,
          0.251953125,
          0.310546875,
          0.3125,
          0.314453125,
          0.373046875,
          0.375,
          0.376953125,
          0.435546875,
          0.4375,
          0.439453125,
          0.498046875,
          0.5,
          0.501953125,
          0.560546875,
          0.5625,
          0.564453125,
          0.623046875,
          0.625,
          0.626953125,
          0.685546875,
          0.6875,
          0.689453125,
          0.748046875,
          0.75,
          0.751953125,
          0.810546875,
          0.8125,
          0.814453125,
          0.873046875,
          0.875,
          0.876953125,
          0.935546875,
          0.9375,
          0.939453125,
          0.998046875,
          1.0
        ],
        "target_vertices": [
          0.0,
          0.0341796875,
          0.0361328125,
          0.0625,
          0.07421875,
          0.08203125,
          0.125,
          0.1640625,
          0.1796875,
          0.1875,
          0.1953125,
          0.2109375,
          0.25,
          0.29296875,
          0.30078125,
          0.3125,
          0.3388671875,
          0.3408203125,
          0.375,
          0.390625,
          0.421875,
          0.4375,
          0.453125,
          0.484375,
          0.5,
          0.515625,
          0.546875,
          0.5625,
          0.578125,
          0.609375,
          0.625,
          0.6591796875,
          0.6611328125,
          0.6875,
          0.69921875,
          0.70703125,
          0.75,
          0.7890625,
          0.8046875,
          0.8125,
          0.8203125,
          0.8359375,
          0.875,
          0.91796875,
          0.92578125,
          0.9375,
          0.9638671875,
          0.9658203125,
          1.0
        ]
      },
      {
        "n": 32,
        "gap_selection_stage": 5,
        "maximum_displacement_at_vertices": 0.02587890625,
        "displacement_bound": 0.03125,
        "exceptional_domain_length": 0.03125,
        "squared_section_distance_lower_bound": 1.875,
        "resolvent_norm_upper_bound": 0.0078125,
        "source_vertices": [
          0.0,
          0.00048828125,
          0.03076171875,
          0.03125,
          0.03173828125,
          0.06201171875,
          0.0625,
          0.06298828125,
          0.09326171875,
          0.09375,
          0.09423828125,
          0.12451171875,
          0.125,
          0.12548828125,
          0.15576171875,
          0.15625,
          0.15673828125,
          0.18701171875,
          0.1875,
          0.18798828125,
          0.21826171875,
          0.21875,
          0.21923828125,
          0.24951171875,
          0.25,
          0.25048828125,
          0.28076171875,
          0.28125,
          0.28173828125,
          0.31201171875,
          0.3125,
          0.31298828125,
          0.34326171875,
          0.34375,
          0.34423828125,
          0.37451171875,
          0.375,
          0.37548828125,
          0.40576171875,
          0.40625,
          0.40673828125,
          0.43701171875,
          0.4375,
          0.43798828125,
          0.46826171875,
          0.46875,
          0.46923828125,
          0.49951171875,
          0.5,
          0.50048828125,
          0.53076171875,
          0.53125,
          0.53173828125,
          0.56201171875,
          0.5625,
          0.56298828125,
          0.59326171875,
          0.59375,
          0.59423828125,
          0.62451171875,
          0.625,
          0.62548828125,
          0.65576171875,
          0.65625,
          0.65673828125,
          0.68701171875,
          0.6875,
          0.68798828125,
          0.71826171875,
          0.71875,
          0.71923828125,
          0.74951171875,
          0.75,
          0.75048828125,
          0.78076171875,
          0.78125,
          0.78173828125,
          0.81201171875,
          0.8125,
          0.81298828125,
          0.84326171875,
          0.84375,
          0.84423828125,
          0.87451171875,
          0.875,
          0.87548828125,
          0.90576171875,
          0.90625,
          0.90673828125,
          0.93701171875,
          0.9375,
          0.93798828125,
          0.96826171875,
          0.96875,
          0.96923828125,
          0.99951171875,
          1.0
        ],
        "target_vertices": [
          0.0,
          0.016357421875,
          0.016845703125,
          0.03125,
          0.0341796875,
          0.0361328125,
          0.0625,
          0.07421875,
          0.08203125,
          0.09375,
          0.1201171875,
          0.1220703125,
          0.125,
          0.139404296875,
          0.139892578125,
          0.15625,
          0.1640625,
          0.1796875,
          0.1875,
          0.1953125,
          0.2109375,
          0.21875,
          0.235107421875,
          0.235595703125,
          0.25,
          0.2529296875,
          0.2548828125,
          0.28125,
          0.29296875,
          0.30078125,
          0.3125,
          0.3388671875,
          0.3408203125,
          0.34375,
          0.358154296875,
          0.358642578125,
          0.375,
          0.3828125,
          0.3984375,
          0.40625,
          0.4140625,
          0.4296875,
          0.4375,
          0.4453125,
          0.4609375,
          0.46875,
          0.4765625,
          0.4921875,
          0.5,
          0.5078125,
          0.5234375,
          0.53125,
          0.5390625,
          0.5546875,
          0.5625,
          0.5703125,
          0.5859375,
          0.59375,
          0.6015625,
          0.6171875,
          0.625,
          0.641357421875,
          0.641845703125,
          0.65625,
          0.6591796875,
          0.6611328125,
          0.6875,
          0.69921875,
          0.70703125,
          0.71875,
          0.7451171875,
          0.7470703125,
          0.75,
          0.764404296875,
          0.764892578125,
          0.78125,
          0.7890625,
          0.8046875,
          0.8125,
          0.8203125,
          0.8359375,
          0.84375,
          0.860107421875,
          0.860595703125,
          0.875,
          0.8779296875,
          0.8798828125,
          0.90625,
          0.91796875,
          0.92578125,
          0.9375,
          0.9638671875,
          0.9658203125,
          0.96875,
          0.983154296875,
          0.983642578125,
          1.0
        ]
      }
    ],
    "fat_cantor_removed_length_exact": "sum_{m>=1} 2^(m-1)*4^(-m)=1/2",
    "stage6_outer_measure": 0.5078125,
    "infinite_set_measure": 0.5,
    "proof_warning": "The rendered finite Cantor stage is not used to estimate infinite-set membership."
  },
  "artifacts": {
    "canonical-section.svg": "42bc77349245757141d15c3e294c2f30c954e8a1d097f58f925bba14c68f01f0",
    "weight-change.svg": "6f980d2140f51fb49b74aab44576885e9cba323288ebf6784508f619fb2db06a",
    "weight-coordinates.svg": "e3142dc9ec50b2aa26d0d361bc2047230db8a91ac3733b9acae353c8bc2dd207"
  }
}