{
  "schema":"tnfr.organized-receiver-enclosure-protocol.v1",
  "evaluation_status_at_freeze":"not_evaluated",
  "source_base_commit":"3e5f552bc5b8f7e8a73e2469f71bf9305032c7ef",
  "runtime_overlays":[],
  "runtime_environment":{
    "python":"3.13.6 (tags/v3.13.6:4e66535, Aug  6 2025, 14:36:00) [MSC v.1944 64 bit (AMD64)]",
    "implementation":"cpython",
    "platform":"Windows-11-10.0.26300-SP0",
    "packages":{
      "numpy":"2.3.3",
      "scipy":"1.16.3",
      "networkx":"3.5",
      "mpmath":"1.3.0"
    }
  },
  "theory_owner":"theory/nodal/ORGANIZED_RECEIVER_ENCLOSURE.md#organized-receiver-enclosure-protocol",
  "source_specification":{
    "prior_artifact_receipts":[],
    "preparation_owner":"theory/nodal/ORGANIZED_RECEIVER_MECHANISM.md#organized-receiver-source",
    "admission_owner":"theory/nodal/ORGANIZED_RECEIVER_SLOW_ADMISSION.md#organized-receiver-capture-contract",
    "retained_source":"original two-ramp source; independent form and lifted-phase errors bounded by 1e-10 with separate exact zero sums in each original C9",
    "nominal_initial_form":"m*(j-4) in regions 0,1 and zero in region 2; m=(2046/9)*(355/113)**2",
    "nominal_initial_phase":"zero at every node in the supplied common continuous lift",
    "node_order":[
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14,
      15,
      16,
      17,
      18,
      19,
      20,
      21,
      22,
      23,
      24,
      25,
      26
    ],
    "node_label":"node=9*r+j; r=0,1,2; j=0,...,8",
    "state_order":"x[0:27], theta[0:27]; nominal reference uses 13 reflected coordinates, actual uncertainty retains the complete mean-zero leaf",
    "support":"three unit C9 cycles; oriented region contacts (0,1),(1,2),(2,0), offsets 0,1 with weight 1/2; weighted degree four; present from preparation",
    "capacities":[
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      }
    ],
    "clock":"tau=(1023/1024)*t; u=gamma**2*(tau-400); gamma=1/(1023*pi); both rows transformed",
    "form_row":"x_tau=-L*x/4+gamma*S(theta)/4",
    "phase_row":"theta_tau=gamma*L*x/4",
    "pressure_refresh":"continuous state-dependent weighted sine law",
    "forcing":"none; no Gamma source, state resets, support events or conductance evolution",
    "conserved_means":"only global form and continuous-phase means after connected evolution starts",
    "source_cost":"complete weighted initial storage, including contacts; no isolated recovered-source certificate",
    "release":"source-inclusive phase ball and carried original form from tau=400; donor retention from tau=200 to release independently admitted",
    "seed":null,
    "interval_method":"rational_outward_dyadic128_machin_trigonometry_v1",
    "physical_identification":"not supplied or tested"
  },
  "producer":"tnfr.research.organized_receiver_enclosure.run_receiver_enclosure",
  "numerical_policy":{
    "release_time":{
      "numerator":400,
      "denominator":1
    },
    "form_error_bound":{
      "numerator":1,
      "denominator":10000000000
    },
    "phase_error_bound":{
      "numerator":1,
      "denominator":10000000000
    },
    "elapsed_slow_horizon":{
      "numerator":32,
      "denominator":1
    },
    "step":{
      "numerator":1,
      "denominator":8
    },
    "maximum_steps":256,
    "taylor_order":8,
    "velocity_defect_budget":{
      "numerator":11,
      "denominator":1000000
    },
    "global_growth_bound":{
      "numerator":2,
      "denominator":1
    },
    "local_growth_bracket":[
      {
        "numerator":-1,
        "denominator":1
      },
      {
        "numerator":2,
        "denominator":1
      }
    ],
    "local_growth_bisections":8,
    "cosine_rounding_bits":20,
    "prospective_inflation":{
      "numerator":5,
      "denominator":4
    },
    "prospective_additive_radius":{
      "numerator":1,
      "denominator":1208925819614629174706176
    },
    "maximum_phase_error":{
      "numerator":1,
      "denominator":2
    },
    "maximum_attempts":1,
    "adaptation_or_retry":false,
    "stop_priority":[
      "certified_donor_loss",
      "certified_joined_capture_with_donor_retention",
      "phase_error_budget_exhausted",
      "horizon_exhausted"
    ],
    "donor_corridor_failure":"record_unavailable_history_and_continue",
    "capture_without_donor_history":"record_and_continue",
    "validation_failure":"stop_unavailable_preserving_valid_prefix",
    "initial_donor_history":"proved_continuously_from_tau_200_to_400"
  },
  "kernel_policy":{
    "picard_iterations":16,
    "picard_radius_multiplier":{
      "numerator":5,
      "denominator":4
    },
    "picard_additive_padding":{
      "numerator":1,
      "denominator":1237940039285380274899124224
    },
    "metric":"2*I_13; exact reflection lift preserves the full Euclidean norm",
    "interval_grid_bits":128,
    "source_and_remainder":"full-source phase radius plus complete-row defect; local Taylor remainder added at every endpoint"
  },
  "source_admission":{
    "preparation":{
      "capture_geometry":{
        "geometry":{
          "mixing":[
            {
              "numerator":1,
              "denominator":2
            },
            {
              "numerator":1,
              "denominator":2
            },
            {
              "numerator":1,
              "denominator":2
            }
          ],
          "contacts":[
            {
              "mixing":{
                "numerator":1,
                "denominator":2
              },
              "alpha_cosine_bounds":{
                "lo":{
                  "numerator":32583927033894757213918695120950465231,
                  "denominator":42535295865117307932921825928971026432
                },
                "hi":{
                  "numerator":260671416271158057711349560967603721857,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              "real_multiplier_bounds":{
                "lo":{
                  "numerator":75119222899012065146840521049921491663,
                  "denominator":85070591730234615865843651857942052864
                },
                "hi":{
                  "numerator":300476891596048260587362084199685966657,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              "imaginary_multiplier_bounds":{
                "lo":{
                  "numerator":54682322312896988477783018542671728913,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":109364644625793976955566037085343457831,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              "amplitude_bounds":{
                "lo":{
                  "numerator":319760829179168762699614995443414612391,
                  "denominator":340282366920938463463374607431768211456
                },
                "hi":{
                  "numerator":159880414589584381349807497721707306197,
                  "denominator":170141183460469231731687303715884105728
                }
              },
              "phase_origin_shift_bounds":{
                "lo":{
                  "numerator":59390476892498152658871131842326154619,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":14847619223124538164717782960581538659,
                  "denominator":42535295865117307932921825928971026432
                }
              },
              "phase_origin_phasor_bounds":[
                {
                  "lo":{
                    "numerator":319760829179168762699614995443414612387,
                    "denominator":340282366920938463463374607431768211456
                  },
                  "hi":{
                    "numerator":319760829179168762699614995443414612397,
                    "denominator":340282366920938463463374607431768211456
                  }
                },
                {
                  "lo":{
                    "numerator":116383423905497170280333120327846886481,
                    "denominator":340282366920938463463374607431768211456
                  },
                  "hi":{
                    "numerator":14547927988187146285041640040980860811,
                    "denominator":42535295865117307932921825928971026432
                  }
                }
              ],
              "form_scale_bounds":{
                "lo":{
                  "numerator":164931024826811640703120431242343064553,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":82465512413405820351560215621171532277,
                  "denominator":85070591730234615865843651857942052864
                }
              }
            },
            {
              "mixing":{
                "numerator":1,
                "denominator":2
              },
              "alpha_cosine_bounds":{
                "lo":{
                  "numerator":32583927033894757213918695120950465231,
                  "denominator":42535295865117307932921825928971026432
                },
                "hi":{
                  "numerator":260671416271158057711349560967603721857,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              "real_multiplier_bounds":{
                "lo":{
                  "numerator":75119222899012065146840521049921491663,
                  "denominator":85070591730234615865843651857942052864
                },
                "hi":{
                  "numerator":300476891596048260587362084199685966657,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              "imaginary_multiplier_bounds":{
                "lo":{
                  "numerator":54682322312896988477783018542671728913,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":109364644625793976955566037085343457831,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              "amplitude_bounds":{
                "lo":{
                  "numerator":319760829179168762699614995443414612391,
                  "denominator":340282366920938463463374607431768211456
                },
                "hi":{
                  "numerator":159880414589584381349807497721707306197,
                  "denominator":170141183460469231731687303715884105728
                }
              },
              "phase_origin_shift_bounds":{
                "lo":{
                  "numerator":59390476892498152658871131842326154619,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":14847619223124538164717782960581538659,
                  "denominator":42535295865117307932921825928971026432
                }
              },
              "phase_origin_phasor_bounds":[
                {
                  "lo":{
                    "numerator":319760829179168762699614995443414612387,
                    "denominator":340282366920938463463374607431768211456
                  },
                  "hi":{
                    "numerator":319760829179168762699614995443414612397,
                    "denominator":340282366920938463463374607431768211456
                  }
                },
                {
                  "lo":{
                    "numerator":116383423905497170280333120327846886481,
                    "denominator":340282366920938463463374607431768211456
                  },
                  "hi":{
                    "numerator":14547927988187146285041640040980860811,
                    "denominator":42535295865117307932921825928971026432
                  }
                }
              ],
              "form_scale_bounds":{
                "lo":{
                  "numerator":164931024826811640703120431242343064553,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":82465512413405820351560215621171532277,
                  "denominator":85070591730234615865843651857942052864
                }
              }
            },
            {
              "mixing":{
                "numerator":1,
                "denominator":2
              },
              "alpha_cosine_bounds":{
                "lo":{
                  "numerator":32583927033894757213918695120950465231,
                  "denominator":42535295865117307932921825928971026432
                },
                "hi":{
                  "numerator":260671416271158057711349560967603721857,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              "real_multiplier_bounds":{
                "lo":{
                  "numerator":75119222899012065146840521049921491663,
                  "denominator":85070591730234615865843651857942052864
                },
                "hi":{
                  "numerator":300476891596048260587362084199685966657,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              "imaginary_multiplier_bounds":{
                "lo":{
                  "numerator":54682322312896988477783018542671728913,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":109364644625793976955566037085343457831,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              "amplitude_bounds":{
                "lo":{
                  "numerator":319760829179168762699614995443414612391,
                  "denominator":340282366920938463463374607431768211456
                },
                "hi":{
                  "numerator":159880414589584381349807497721707306197,
                  "denominator":170141183460469231731687303715884105728
                }
              },
              "phase_origin_shift_bounds":{
                "lo":{
                  "numerator":59390476892498152658871131842326154619,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":14847619223124538164717782960581538659,
                  "denominator":42535295865117307932921825928971026432
                }
              },
              "phase_origin_phasor_bounds":[
                {
                  "lo":{
                    "numerator":319760829179168762699614995443414612387,
                    "denominator":340282366920938463463374607431768211456
                  },
                  "hi":{
                    "numerator":319760829179168762699614995443414612397,
                    "denominator":340282366920938463463374607431768211456
                  }
                },
                {
                  "lo":{
                    "numerator":116383423905497170280333120327846886481,
                    "denominator":340282366920938463463374607431768211456
                  },
                  "hi":{
                    "numerator":14547927988187146285041640040980860811,
                    "denominator":42535295865117307932921825928971026432
                  }
                }
              ],
              "form_scale_bounds":{
                "lo":{
                  "numerator":164931024826811640703120431242343064553,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":82465512413405820351560215621171532277,
                  "denominator":85070591730234615865843651857942052864
                }
              }
            }
          ],
          "weighted_edges":[
            [
              0,
              1,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              1,
              2,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              2,
              3,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              3,
              4,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              4,
              5,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              5,
              6,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              6,
              7,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              7,
              8,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              8,
              0,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              9,
              10,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              10,
              11,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              11,
              12,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              12,
              13,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              13,
              14,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              14,
              15,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              15,
              16,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              16,
              17,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              17,
              9,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              18,
              19,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              19,
              20,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              20,
              21,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              21,
              22,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              22,
              23,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              23,
              24,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              24,
              25,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              25,
              26,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              26,
              18,
              {
                "numerator":1,
                "denominator":1
              }
            ],
            [
              0,
              9,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              0,
              10,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              1,
              10,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              1,
              11,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              2,
              11,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              2,
              12,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              3,
              12,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              3,
              13,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              4,
              13,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              4,
              14,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              5,
              14,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              5,
              15,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              6,
              15,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              6,
              16,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              7,
              16,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              7,
              17,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              8,
              17,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              8,
              9,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              9,
              18,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              9,
              19,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              10,
              19,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              10,
              20,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              11,
              20,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              11,
              21,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              12,
              21,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              12,
              22,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              13,
              22,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              13,
              23,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              14,
              23,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              14,
              24,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              15,
              24,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              15,
              25,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              16,
              25,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              16,
              26,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              17,
              26,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              17,
              18,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              18,
              0,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              18,
              1,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              19,
              1,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              19,
              2,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              20,
              2,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              20,
              3,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              21,
              3,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              21,
              4,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              22,
              4,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              22,
              5,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              23,
              5,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              23,
              6,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              24,
              6,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              24,
              7,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              25,
              7,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              25,
              8,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              26,
              8,
              {
                "numerator":1,
                "denominator":2
              }
            ],
            [
              26,
              0,
              {
                "numerator":1,
                "denominator":2
              }
            ]
          ],
          "weighted_degrees":[
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            },
            {
              "numerator":4,
              "denominator":1
            }
          ],
          "support_degrees":[
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            6
          ],
          "gamma_bounds":{
            "lo":{
              "numerator":3308750045361523034179564622145679,
              "denominator":10633823966279326983230456482242756608
            },
            "hi":{
              "numerator":105880001451568737093746067908661729,
              "denominator":340282366920938463463374607431768211456
            }
          },
          "internal_storage_bounds":{
            "lo":{
              "numerator":2149495667544070955304676254532441219173,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":268686958443008869413084531816555152427,
              "denominator":42535295865117307932921825928971026432
            }
          },
          "cycle_phase_bounds":{
            "lo":{
              "numerator":178171430677494457976613395526978463857,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":44542857669373614494153348881744615977,
              "denominator":42535295865117307932921825928971026432
            }
          },
          "cycle_phasor_bounds":[
            {
              "lo":{
                "numerator":85070591730234615865843651857942052853,
                "denominator":170141183460469231731687303715884105728
              },
              "hi":{
                "numerator":170141183460469231731687303715884105751,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":147346587106715120692043727842883538647,
                "denominator":170141183460469231731687303715884105728
              },
              "hi":{
                "numerator":294693174213430241384087455685767077337,
                "denominator":340282366920938463463374607431768211456
              }
            }
          ],
          "tree_phase_origins_bounds":[
            {
              "lo":{
                "numerator":0,
                "denominator":1
              },
              "hi":{
                "numerator":0,
                "denominator":1
              }
            },
            {
              "lo":{
                "numerator":59390476892498152658871131842326154619,
                "denominator":170141183460469231731687303715884105728
              },
              "hi":{
                "numerator":14847619223124538164717782960581538659,
                "denominator":42535295865117307932921825928971026432
              }
            },
            {
              "lo":{
                "numerator":59390476892498152658871131842326154619,
                "denominator":85070591730234615865843651857942052864
              },
              "hi":{
                "numerator":14847619223124538164717782960581538659,
                "denominator":21267647932558653966460912964485513216
              }
            }
          ],
          "phase_compatible":false,
          "amplitude_compatible":true,
          "common_network_chart":false,
          "common_form_scale_bounds":{
            "lo":{
              "numerator":164931024826811640703120431242343064553,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":82465512413405820351560215621171532277,
              "denominator":85070591730234615865843651857942052864
            }
          },
          "common_gamma_bounds":{
            "lo":{
              "numerator":3207427647898238447337191095619251,
              "denominator":10633823966279326983230456482242756608
            },
            "hi":{
              "numerator":51318842366371815157395057529908017,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "aligned_attachment_work_bounds":{
            "lo":{
              "numerator":537373916886017738826169063633110304793,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":268686958443008869413084531816555152427,
              "denominator":85070591730234615865843651857942052864
            }
          },
          "clock_factor":{
            "numerator":1,
            "denominator":4
          },
          "nodes":[
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13,
            14,
            15,
            16,
            17,
            18,
            19,
            20,
            21,
            22,
            23,
            24,
            25,
            26
          ],
          "contact_order":[
            [
              0,
              1
            ],
            [
              1,
              2
            ],
            [
              2,
              0
            ]
          ],
          "clock":"tau=(1023/1024)*t; sigma=tau/4",
          "scope":[
            "three_registered_winding_one_C9s_with_supplied_cyclic_contacts",
            "held_unit_capacity_and_actual_weighted_degree_four",
            "sine_weighted_diffusion_current_phase_row_and_storage",
            "exact_six_coordinate_invariant_restriction_not_generic_quotient",
            "cycle_phase_and_magnitudes_retained_as_boundary_data",
            "chart_obstruction_does_not_imply_loss_of_identity",
            "no_transferred_pair_acquisition_or_contact_certificate"
          ]
        },
        "target_root_bounds":null,
        "target_root_endpoint_sign_bounds":null,
        "target_root_derivative_lower_bound":null,
        "target_phase_origins_bounds":[
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          }
        ],
        "target_contact_gaps_bounds":[
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          }
        ],
        "target_fine_gap_bounds":[
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":59390476892498152658871131842326154627,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":237561907569992610635484527369304618515,
              "denominator":340282366920938463463374607431768211456
            }
          }
        ],
        "target_hessian_lower_bound":{
          "numerator":216811299434277042756457515094547683757,
          "denominator":850705917302346158658436518579420528640
        },
        "laplacian_gap_lower_bound":{
          "numerator":2,
          "denominator":5
        },
        "edge_effective_resistances":[
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":194341,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          },
          {
            "numerator":202163,
            "denominator":419823
          },
          {
            "numerator":217703,
            "denominator":419823
          }
        ],
        "bregman_coefficient_bounds":{
          "lo":{
            "numerator":51560601062420208721477905344944211089,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":25780300531210104360738952672472105549,
            "denominator":170141183460469231731687303715884105728
          }
        },
        "nominal_excess_bounds":{
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        "aligned_gradient_norm_bounds":{
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        "boundary_energy_lower_bound":{
          "numerator":196,
          "denominator":625
        },
        "joint_coercivity_lower_bound":{
          "numerator":3,
          "denominator":50
        },
        "cell_edge_gap_bound":{
          "numerator":2,
          "denominator":1
        },
        "target_edge_gap_bound":{
          "numerator":22,
          "denominator":25
        },
        "target_certified":true,
        "barrier_certified":true
      },
      "form_error_bound":{
        "numerator":1,
        "denominator":10000000000
      },
      "phase_error_bound":{
        "numerator":1,
        "denominator":10000000000
      },
      "relative_preparation_dimension":48,
      "nominal_initial_forms":[
        {
          "numerator":-343796200,
          "denominator":38307
        },
        {
          "numerator":-85949050,
          "denominator":12769
        },
        {
          "numerator":-171898100,
          "denominator":38307
        },
        {
          "numerator":-85949050,
          "denominator":38307
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":85949050,
          "denominator":38307
        },
        {
          "numerator":171898100,
          "denominator":38307
        },
        {
          "numerator":85949050,
          "denominator":12769
        },
        {
          "numerator":343796200,
          "denominator":38307
        },
        {
          "numerator":-343796200,
          "denominator":38307
        },
        {
          "numerator":-85949050,
          "denominator":12769
        },
        {
          "numerator":-171898100,
          "denominator":38307
        },
        {
          "numerator":-85949050,
          "denominator":38307
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":85949050,
          "denominator":38307
        },
        {
          "numerator":171898100,
          "denominator":38307
        },
        {
          "numerator":85949050,
          "denominator":12769
        },
        {
          "numerator":343796200,
          "denominator":38307
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        }
      ],
      "nominal_initial_form_gradient":[
        {
          "numerator":-386770725,
          "denominator":12769
        },
        {
          "numerator":-300821675,
          "denominator":38307
        },
        {
          "numerator":-214872625,
          "denominator":38307
        },
        {
          "numerator":-42974525,
          "denominator":12769
        },
        {
          "numerator":-42974525,
          "denominator":38307
        },
        {
          "numerator":42974525,
          "denominator":38307
        },
        {
          "numerator":42974525,
          "denominator":12769
        },
        {
          "numerator":214872625,
          "denominator":38307
        },
        {
          "numerator":1461133850,
          "denominator":38307
        },
        {
          "numerator":-1461133850,
          "denominator":38307
        },
        {
          "numerator":-214872625,
          "denominator":38307
        },
        {
          "numerator":-42974525,
          "denominator":12769
        },
        {
          "numerator":-42974525,
          "denominator":38307
        },
        {
          "numerator":42974525,
          "denominator":38307
        },
        {
          "numerator":42974525,
          "denominator":12769
        },
        {
          "numerator":214872625,
          "denominator":38307
        },
        {
          "numerator":300821675,
          "denominator":38307
        },
        {
          "numerator":386770725,
          "denominator":12769
        },
        {
          "numerator":300821675,
          "denominator":38307
        },
        {
          "numerator":171898100,
          "denominator":12769
        },
        {
          "numerator":343796200,
          "denominator":38307
        },
        {
          "numerator":171898100,
          "denominator":38307
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":-171898100,
          "denominator":38307
        },
        {
          "numerator":-343796200,
          "denominator":38307
        },
        {
          "numerator":-171898100,
          "denominator":12769
        },
        {
          "numerator":-300821675,
          "denominator":38307
        }
      ],
      "nominal_initial_phase_rate_bounds":[
        {
          "lo":{
            "numerator":-400885787105727668896179807061362780025,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-200442893552863834448089903530681388119,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-207866704425192124612833974031817737791,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-207866704425192124612833974031817735827,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-148476217446565803294881410022726955565,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-74238108723282901647440705011363477081,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-89085730467939481976928846013636173339,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-89085730467939481976928846013636172497,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-29695243489313160658976282004545391113,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1855952718082072541186017625284086927,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":1855952718082072541186017625284086927,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":29695243489313160658976282004545391113,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":89085730467939481976928846013636172497,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":89085730467939481976928846013636173339,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":74238108723282901647440705011363477081,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":148476217446565803294881410022726955565,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":63102392414790466400324599259658955519,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":63102392414790466400324599259658956115,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":-63102392414790466400324599259658956115,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-63102392414790466400324599259658955519,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":-148476217446565803294881410022726955565,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-74238108723282901647440705011363477081,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-89085730467939481976928846013636173339,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-89085730467939481976928846013636172497,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-29695243489313160658976282004545391113,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1855952718082072541186017625284086927,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":1855952718082072541186017625284086927,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":29695243489313160658976282004545391113,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":89085730467939481976928846013636172497,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":89085730467939481976928846013636173339,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":74238108723282901647440705011363477081,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":148476217446565803294881410022726955565,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":207866704425192124612833974031817735827,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":207866704425192124612833974031817737791,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":200442893552863834448089903530681388119,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":400885787105727668896179807061362780025,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":207866704425192124612833974031817735827,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":207866704425192124612833974031817737791,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":356342921871757927907715384054544689989,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":89085730467939481976928846013636173339,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":237561947914505285271810256036363126659,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":29695243489313160658976282004545391113,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":118780973957252642635905128018181563329,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":29695243489313160658976282004545391113,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-29695243489313160658976282004545391113,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-118780973957252642635905128018181563329,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-29695243489313160658976282004545391113,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-237561947914505285271810256036363126659,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-89085730467939481976928846013636173339,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-356342921871757927907715384054544689989,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-207866704425192124612833974031817737791,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-207866704425192124612833974031817735827,
            "denominator":340282366920938463463374607431768211456
          }
        }
      ],
      "nominal_initial_internal_form_storage":{
        "numerator":59097913567220000,
        "denominator":163047361
      },
      "nominal_initial_contact_form_storage":{
        "numerator":192068219093465000,
        "denominator":489142083
      },
      "nominal_initial_form_storage":{
        "numerator":369361959795125000,
        "denominator":489142083
      },
      "initial_form_gradient_l1":{
        "numerator":3352012950,
        "denominator":12769
      },
      "initial_storage_correction_upper_bound":{
        "numerator":4190016187500344763,
        "denominator":159612500000000000000000
      },
      "initial_storage_upper_bound":{
        "numerator":4617024497439223006950094575706836241,
        "denominator":6114276037500000000000000000
      },
      "scaled_initial_norm_upper_bound":{
        "numerator":885537476801135443238785838969588944008410947209386933029574475124938703920147,
        "denominator":115792089237316195423570985008687907853269984665640564039457584007913129639936
      },
      "semigroup_gap_lower_bound":{
        "numerator":1,
        "denominator":10
      },
      "exponential_decay_bounds":{
        "lo":{
          "numerator":701374233231058797338605168651,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":175343558307764699334651292163,
          "denominator":85070591730234615865843651857942052864
        }
      },
      "forcing_norm_bounds":{
        "lo":{
          "numerator":1768159045280581448304524734114602463899,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":442039761320145362076131183528650615975,
          "denominator":85070591730234615865843651857942052864
        }
      },
      "slow_clock_factor_bounds":{
        "lo":{
          "numerator":32944918095003358548072239388471,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":4118114761875419818509029923559,
          "denominator":42535295865117307932921825928971026432
        }
      },
      "reference_phase_bounds":[
        {
          "lo":{
            "numerator":-237561907569992610635484527369304618515,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-59390476892498152658871131842326154627,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":-712685722709977831906453582107913855545,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-178171430677494457976613395526978463881,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-237561907569992610635484527369304618515,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-59390476892498152658871131842326154627,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-237561907569992610635484527369304618515,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-59390476892498152658871131842326154627,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":59390476892498152658871131842326154627,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":237561907569992610635484527369304618515,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":59390476892498152658871131842326154627,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":237561907569992610635484527369304618515,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":178171430677494457976613395526978463881,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":712685722709977831906453582107913855545,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":59390476892498152658871131842326154627,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":237561907569992610635484527369304618515,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-237561907569992610635484527369304618515,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-59390476892498152658871131842326154627,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":-712685722709977831906453582107913855545,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-178171430677494457976613395526978463881,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-237561907569992610635484527369304618515,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-59390476892498152658871131842326154627,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-237561907569992610635484527369304618515,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-59390476892498152658871131842326154627,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":59390476892498152658871131842326154627,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":237561907569992610635484527369304618515,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":59390476892498152658871131842326154627,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":237561907569992610635484527369304618515,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":178171430677494457976613395526978463881,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":712685722709977831906453582107913855545,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":59390476892498152658871131842326154627,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":237561907569992610635484527369304618515,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      "proxy_reference_distance_bounds":{
        "lo":{
          "numerator":110487998317256990201759495194173,
          "denominator":85070591730234615865843651857942052864
        },
        "hi":{
          "numerator":441951993269027960807037980801363,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "layer_scaled_form_norm_upper_bound":{
        "numerator":49710470971334883344225396685320085669601451413359757345398863532398866297014238063045858721954505347964219961,
        "denominator":9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704
      },
      "layer_form_norm_upper_bound":{
        "numerator":27182089213394802051927493168125318908713274471583880832267970870606563865336739474858041296112373527192582096319895862384387018678589915877029438741115,
        "denominator":1675975991242824637446753124775730765934920727574049172215445180465220503759193372100234287270862928461253982273310756356719235351493321243304206125760512
      },
      "layer_phase_error_norm_upper_bound":{
        "numerator":1053613180778271287354098094816160490155920524744952096554377404454168620774085285356135512751372709255828353593,
        "denominator":9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704
      },
      "layer_donor_acute_margin":{
        "numerator":2924622890843051886530537976575240135943897190388628154113924350410231924267295097003101442231408341370144117389041490279934130695137413190492638536716025,
        "denominator":3351951982485649274893506249551461531869841455148098344430890360930441007518386744200468574541725856922507964546621512713438470702986642486608412251521024
      },
      "layer_receiver_zero_winding_margin":{
        "numerator":10529960691049416759486214077954018543871090087873250936708998691572229535309813822919015233958141297230896818269765767027559682707679715053575227863912185,
        "denominator":3351951982485649274893506249551461531869841455148098344430890360930441007518386744200468574541725856922507964546621512713438470702986642486608412251521024
      },
      "early_receiver_edge_upper_bound":{
        "numerator":30335126478695374825473318963318575952316749847658433,
        "denominator":10862663858033658099909575905740620730204160000000000
      },
      "early_receiver_zero_winding_margin":{
        "numerator":3790938496118526183077327748941244127577500152341567,
        "denominator":10862663858033658099909575905740620730204160000000000
      },
      "late_receiver_edge_offset_upper_bound":{
        "numerator":46724486133051007696238817025458169569059489245861507555773857189668115612802511335690878982124006005151568954175205566632208072813051294928113989395280579,
        "denominator":6546781215792283740026379393655198304433284092086129578966582736192267592809349109766540184651808314301773368255120142018434513091770786106657055178752000000000
      },
      "late_receiver_edge_growth_upper_bound":{
        "numerator":4118114761875419818509029923559,
        "denominator":21267647932558653966460912964485513216
      },
      "receiver_exclusion_time_lower_bound":{
        "numerator":20567273047706560415519072064190488265087633020782134351908377960993087338671713163422153331715984533283545402044602885455117003123248612703117724839610604719421,
        "denominator":1267671745038116147940103866701190320117974137181205621339814090288061914745262760285948080395122752551643521401130448093445593545983721417474048000000000
      },
      "receiver_exclusion_until":{
        "numerator":20567273047706560415519072064190488265087633020782134351908377960993087338671713163422153331715984533283545402044602885455117003123248612703117724839610604719421,
        "denominator":1267671745038116147940103866701190320117974137181205621339814090288061914745262760285948080395122752551643521401130448093445593545983721417474048000000000
      },
      "reference_current_bounds":[
        {
          "lo":{
            "numerator":112874034265645573617949578706595172147,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":112874034265645573617949578706595172165,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":404057818839224218339653492771110535131,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":404057818839224218339653492771110535159,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":55559669722859887643378903947984657495,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":222238678891439550573515615791938629991,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":328093933877381930866698111256030373479,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":328093933877381930866698111256030373493,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":109364644625793976955566037085343457825,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":109364644625793976955566037085343457833,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-27341161156448494238891509271335864459,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-54682322312896988477783018542671728911,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-225748068531291147235899157413190344325,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-225748068531291147235899157413190344303,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-92664264793818132214260709300211809751,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-92664264793818132214260709300211809737,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-7018779279703193324767083242503428673,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-7018779279703193324767083242503428637,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":7018779279703193324767083242503428637,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":7018779279703193324767083242503428673,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":92664264793818132214260709300211809737,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":92664264793818132214260709300211809751,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":225748068531291147235899157413190344303,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":225748068531291147235899157413190344325,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":54682322312896988477783018542671728911,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":27341161156448494238891509271335864459,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":-13670580578224247119445754635667932229,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-3417645144556061779861438658916983057,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":-328093933877381930866698111256030373493,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-328093933877381930866698111256030373479,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-222238678891439550573515615791938629991,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-55559669722859887643378903947984657495,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":-404057818839224218339653492771110535159,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-404057818839224218339653492771110535131,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-112874034265645573617949578706595172165,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-112874034265645573617949578706595172147,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-25692287382432963229026286000850872741,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-205538299059463705832210288006806981869,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-520441242744721388619986613098957421655,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-520441242744721388619986613098957421605,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-295911972444797110919537479713380399325,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-295911972444797110919537479713380399305,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":-96571411457532629001716167854988454185,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-386285645830130516006864671419953816717,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":-1,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":1,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":386285645830130516006864671419953816717,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":96571411457532629001716167854988454185,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":295911972444797110919537479713380399305,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":295911972444797110919537479713380399325,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":520441242744721388619986613098957421605,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":520441242744721388619986613098957421655,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":205538299059463705832210288006806981869,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":25692287382432963229026286000850872741,
            "denominator":42535295865117307932921825928971026432
          }
        }
      ],
      "layer_current_error_upper_bound":{
        "numerator":507032313242295375491293185828482436597377225695732559959380671112292165297071638931145610481631301353065180375448030710338581956854932684050448331015,
        "denominator":837987995621412318723376562387865382967460363787024586107722590232610251879596686050117143635431464230626991136655378178359617675746660621652103062880256
      },
      "layer_receiver_oriented_current_lower_bound":{
        "numerator":505656801007843360621010089051130524066462213351048297319901230849135861339672422421241907223262763247580898480292746015705908398289506629069349817863929,
        "denominator":837987995621412318723376562387865382967460363787024586107722590232610251879596686050117143635431464230626991136655378178359617675746660621652103062880256
      },
      "initial_zero_winding_certified":true,
      "layer_windings":[
        1,
        1,
        0
      ],
      "early_receiver_zero_winding_certified":true,
      "receiver_delay_certified":true,
      "receiver_oriented_current_certified":true,
      "status":"certified_receiver_delay_and_current",
      "unresolved_conditions":[],
      "layer_time":{
        "numerator":200,
        "denominator":1
      },
      "original_layer_time":{
        "numerator":204800,
        "denominator":1023
      },
      "nominal_source_scale":{
        "numerator":85949050,
        "denominator":38307
      },
      "nominal_initial_phases":[
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        }
      ],
      "nominal_initial_windings":[
        0,
        0,
        0
      ],
      "held_capacities":[
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":1
        }
      ],
      "heat_shape_upper_bound":{
        "numerator":3,
        "denominator":4
      },
      "linear_receiver_heat_edge_upper_bound":{
        "numerator":4,
        "denominator":1
      },
      "receiver_exclusion_start":{
        "numerator":0,
        "denominator":1
      },
      "eventual_receiver_acquisition":"unresolved",
      "eventual_donor_retention":"unresolved",
      "joined_capture":"unresolved",
      "scope":[
        "two_original_donor_ramps_and_nominally_flat_receiver_on_equal_support",
        "complete_degree_four_law_held_unit_capacity_structural_clock",
        "all_initial_internal_and_contact_storage_retained",
        "initial_component_error_sums_zero_only_global_means_conserved",
        "commuting_heat_bound_and_full_nonlinear_history_exclude_early_slip",
        "delay_is_a_necessary_condition_not_an_eventual_obstruction",
        "oriented_current_is_mixed_coordinate_motion_not_receiver_formation",
        "donor_endpoint_winding_is_not_a_future_retention_certificate",
        "shared_target_and_barrier_supply_no_source_entry_verdict",
        "no_trajectory_campaign_source_retuning_or_physical_identification"
      ]
    },
    "nominal_initial_slow_velocity_bounds":[
      {
        "lo":{
          "numerator":-2070340015839801672030425904772286954660037789,
          "denominator":85070591730234615865843651857942052864
        },
        "hi":{
          "numerator":-8281360063359206688121703619089147740425562405,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-2147019275685720252475997234578667952980779959,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-2147019275685720252475997234578667932702923021,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-766792598459185804455713298063809983207421701,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":-1533585196918371608911426596127619951930659645,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-460075559075511482673427978838285989924453021,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":-920151118151022965346855957676571971158395465,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-306717039383674321782285319225523993282968681,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-153358519691837160891142659612761995193065643,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":153358519691837160891142659612761995193065643,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":306717039383674321782285319225523993282968681,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":920151118151022965346855957676571971158395465,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":460075559075511482673427978838285989924453021,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":1533585196918371608911426596127619951930659645,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":766792598459185804455713298063809983207421701,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":10428379339044926940597700853667815673128486229,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":10428379339044926940597700853667815771620931115,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-10428379339044926940597700853667815771620931115,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-10428379339044926940597700853667815673128486229,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-766792598459185804455713298063809983207421701,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":-1533585196918371608911426596127619951930659645,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-460075559075511482673427978838285989924453021,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":-920151118151022965346855957676571971158395465,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-306717039383674321782285319225523993282968681,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-153358519691837160891142659612761995193065643,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":153358519691837160891142659612761995193065643,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":306717039383674321782285319225523993282968681,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":920151118151022965346855957676571971158395465,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":460075559075511482673427978838285989924453021,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":1533585196918371608911426596127619951930659645,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":766792598459185804455713298063809983207421701,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":2147019275685720252475997234578667932702923021,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":2147019275685720252475997234578667952980779959,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":8281360063359206688121703619089147740425562405,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":2070340015839801672030425904772286954660037789,
          "denominator":85070591730234615865843651857942052864
        }
      },
      {
        "lo":{
          "numerator":2147019275685720252475997234578667932702923021,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":2147019275685720252475997234578667952980779959,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":3680604472604091861387423830706287884633583469,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":3680604472604091861387423830706287919395623361,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":1226868157534697287129141276902095961544527555,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":76679259845918580445571329806380998320742145,
          "denominator":10633823966279326983230456482242756608
        }
      },
      {
        "lo":{
          "numerator":1226868157534697287129141276902095961544527555,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":613434078767348643564570638451047986565937361,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":0,
          "denominator":1
        },
        "hi":{
          "numerator":0,
          "denominator":1
        }
      },
      {
        "lo":{
          "numerator":-613434078767348643564570638451047986565937361,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":-1226868157534697287129141276902095961544527555,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-76679259845918580445571329806380998320742145,
          "denominator":10633823966279326983230456482242756608
        },
        "hi":{
          "numerator":-1226868157534697287129141276902095961544527555,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":-3680604472604091861387423830706287919395623361,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-3680604472604091861387423830706287884633583469,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-2147019275685720252475997234578667952980779959,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-2147019275685720252475997234578667932702923021,
          "denominator":340282366920938463463374607431768211456
        }
      }
    ],
    "nominal_form_gradient_norm_bounds":{
      "lo":{
        "numerator":12880683406977416328905497649661142743234333,
        "denominator":170141183460469231731687303715884105728
      },
      "hi":{
        "numerator":25761366813954832657810995299322285486468667,
        "denominator":340282366920938463463374607431768211456
      }
    },
    "initial_defect_norm_upper_bound":{
      "numerator":176081557193387588083640059137194776556237188098260934915032209540058231669405416587421080077,
      "denominator":2894802230932904885589274625217197696331749616641014100986439600197828240998400000000
    },
    "damping_lower_bound":{
      "numerator":10633803375705517606131363937093138813,
      "denominator":106338239662793269832304564822427566080
    },
    "defect_decay_bounds":{
      "lo":{
        "numerator":1445752015191946211197,
        "denominator":340282366920938463463374607431768211456
      },
      "hi":{
        "numerator":722876007595973105599,
        "denominator":170141183460469231731687303715884105728
      }
    },
    "asymptotic_defect_upper_bound":{
      "numerator":9101852332141889149300309955893996147357736304437338077430862571275125,
      "denominator":904623945514234747965730504213835487737525899491107001343711132994536210432
    },
    "uniform_velocity_defect_upper_bound":{
      "numerator":52697478398490180380826574887477862158124163135680195824149091286124144346387915303710812258383295358116506238960660373902280770152773835376101696563536999,
      "denominator":5237414831259866687091919994093225034024066329875806213528295470441091769752161325711149860136803490459398281455924904571162862908668261015554304350617600000000
    },
    "velocity_defect_margin":{
      "numerator":4914084745368353177184545047547613216140566492953672524662158888727865120885859279111836203121543036936874857054513576380510721842577035794995651293256601,
      "denominator":5237414831259866687091919994093225034024066329875806213528295470441091769752161325711149860136803490459398281455924904571162862908668261015554304350617600000000
    },
    "uniform_form_rate_norm_upper_bound":{
      "numerator":5579609089326152465643272979944861355089635780279976019198054343208774141141511564776900979430649902149350564634542881549258352082399972949039943759067614975896709134869205144489820866811271,
      "denominator":1782199915327934964348971216860444653577134611995386944564926767417005937304892620420876831196887860103490768338542794490964520903790625104626922036697150964553699247894272793191640680995225600000000
    },
    "release_form_decay_bounds":{
      "lo":{
        "numerator":722820020754631381673,
        "denominator":170141183460469231731687303715884105728
      },
      "hi":{
        "numerator":1445640041509262763347,
        "denominator":340282366920938463463374607431768211456
      }
    },
    "release_scaled_form_norm_upper_bound":{
      "numerator":198220790717830938922203736210686402753409937389384401892203749919484599576727230392466452856561212446227700009,
      "denominator":39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306816
    },
    "release_form_norm_upper_bound":{
      "numerator":108388738065843646650915686322678347969925265274913151608540489475134229795737529878628353695811435716331814396458186554440870237121596574923148265167435,
      "denominator":6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503042048
    },
    "release_phase_error_norm_upper_bound":{
      "numerator":638925581584108747243074470927961609096779855815980434507745241841579715859643447169426609967674103132104313806275893,
      "denominator":3078281734093318688459300007823719828521854630505113020933460422206697013398219579016739551162884034438017811742720000000
    },
    "bridge_phase_error_norm_upper_bound":{
      "numerator":159743526121955089046211935125166065163355039506027425570088492183248656808882145422429249797216510332745398370221317,
      "denominator":769570433523329672114825001955929957130463657626278255233365105551674253349554894754184887790721008609504452935680000000
    },
    "bridge_donor_acute_margin":{
      "numerator":45689780311974637124680132948688775367565821130686081317803238653659351108036506002994991941258754136602519618425597895274951730257619628727332426890200390593,
      "denominator":52374249726338269920211035149241586435466272736689036631732661889538140742474792878132321477214466514414186946040961136147476104734166288853256441430016000000
    },
    "release_donor_acute_margin":{
      "numerator":182759125918052749864540056056916334037006074367116036725829959791215503028045217594111978076735830383140905585651897106920199026606752406030923364125081640497,
      "denominator":209496998905353079680844140596966345741865090946756146526930647558152562969899171512529285908857866057656747784163844544589904418936665155413025765720064000000
    },
    "release_receiver_zero_winding_margin":{
      "numerator":658092738430950554424269812393089984532455630459904960638022106113840353718202637963856590059656640124437949390697164403646796027390646272473585197074841640497,
      "denominator":209496998905353079680844140596966345741865090946756146526930647558152562969899171512529285908857866057656747784163844544589904418936665155413025765720064000000
    },
    "release_phase_rate_bounds":[
      {
        "lo":{
          "numerator":7041713650423510654500201433685493415,
          "denominator":42535295865117307932921825928971026432
        },
        "hi":{
          "numerator":14135081265564372095486991809277806209,
          "denominator":85070591730234615865843651857942052864
        }
      },
      {
        "lo":{
          "numerator":100911146780371353011940195308963995029,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":101117762639240756157886551076591272543,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":111016031516285073713784630012155676237,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":111222647375154476859730985779782953749,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":10240021942488847642962668741274244327,
          "denominator":42535295865117307932921825928971026432
        },
        "hi":{
          "numerator":82126791398780184289647705697821232127,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":27237853227013792665918331387522225703,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":6861117271470798952966171788787375803,
          "denominator":85070591730234615865843651857942052864
        }
      },
      {
        "lo":{
          "numerator":-6861117271470798952966171788787375803,
          "denominator":85070591730234615865843651857942052864
        },
        "hi":{
          "numerator":-13618926613506896332959165693761112851,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":-56540325062257488381947967237111224835,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-28166854601694042618000805734741973661,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":-46435440326343767680103532533919543629,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-46228824467474364534157176766292266115,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-929001374680249952082474347219747961,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":-825693445245548379109296463406109203,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":825693445245548379109296463406109203,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":929001374680249952082474347219747961,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":46228824467474364534157176766292266115,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":46435440326343767680103532533919543629,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":28166854601694042618000805734741973661,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":56540325062257488381947967237111224835,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":13618926613506896332959165693761112851,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":6861117271470798952966171788787375803,
          "denominator":85070591730234615865843651857942052864
        }
      },
      {
        "lo":{
          "numerator":-27444469085883195811864687155149503211,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-27237853227013792665918331387522225703,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-82126791398780184289647705697821232127,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-10240021942488847642962668741274244327,
          "denominator":42535295865117307932921825928971026432
        }
      },
      {
        "lo":{
          "numerator":-111222647375154476859730985779782953749,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-111016031516285073713784630012155676237,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-101117762639240756157886551076591272543,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-100911146780371353011940195308963995029,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-14135081265564372095486991809277806209,
          "denominator":85070591730234615865843651857942052864
        },
        "hi":{
          "numerator":-7041713650423510654500201433685493415,
          "denominator":42535295865117307932921825928971026432
        }
      },
      {
        "lo":{
          "numerator":-51487882694300628031025749885515384235,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-25640633417715612442539697058944053357,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":-130213618615615048727969831158552994167,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":-16250875344593205697752934423865714581,
          "denominator":42535295865117307932921825928971026432
        }
      },
      {
        "lo":{
          "numerator":-9253705884489578564546369858781489901,
          "denominator":21267647932558653966460912964485513216
        },
        "hi":{
          "numerator":-147852678292963853886795561972876560899,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":-48337359693483665287344672869401046469,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":-48234051764048963714371494985587407713,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":-51653964717350786486588941906819377,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":51653964717350786486588941906819377,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":48234051764048963714371494985587407713,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":48337359693483665287344672869401046469,
          "denominator":170141183460469231731687303715884105728
        }
      },
      {
        "lo":{
          "numerator":147852678292963853886795561972876560899,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":9253705884489578564546369858781489901,
          "denominator":21267647932558653966460912964485513216
        }
      },
      {
        "lo":{
          "numerator":16250875344593205697752934423865714581,
          "denominator":42535295865117307932921825928971026432
        },
        "hi":{
          "numerator":130213618615615048727969831158552994167,
          "denominator":340282366920938463463374607431768211456
        }
      },
      {
        "lo":{
          "numerator":25640633417715612442539697058944053357,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":51487882694300628031025749885515384235,
          "denominator":340282366920938463463374607431768211456
        }
      }
    ],
    "release_receiver_signed_rate_lower_bound":{
      "numerator":25640633417715612442539697058944053357,
      "denominator":170141183460469231731687303715884105728
    },
    "receiver_rate_margin":{
      "numerator":597279493226138413933007507807187489,
      "denominator":850705917302346158658436518579420528640
    },
    "release_windings":[
      1,
      1,
      0
    ],
    "uniform_defect_certified":true,
    "donor_release_bridge_certified":true,
    "receiver_phase_motion_certified":true,
    "status":"certified_uniform_slow_admission",
    "unresolved_conditions":[],
    "release_time":{
      "numerator":400,
      "denominator":1
    },
    "original_release_time":{
      "numerator":409600,
      "denominator":1023
    },
    "velocity_defect_budget":{
      "numerator":11,
      "denominator":1000000
    },
    "receiver_signed_rate_floor":{
      "numerator":3,
      "denominator":20
    },
    "global_phase_lipschitz_bound":{
      "numerator":2,
      "denominator":1
    },
    "structural_energy_ratio":{
      "numerator":1,
      "denominator":4
    },
    "phase_mean_leaf_dimension":26,
    "first_order_exact_closure":false,
    "eventual_receiver_acquisition":"unresolved",
    "eventual_donor_retention":"unresolved",
    "joined_capture":"unresolved",
    "slow_clock":"s=gamma**2*tau; tau=(1023/1024)*t",
    "scope":[
      "unchanged_two_ramp_source_rebuilt_from_primitive_error_allowances",
      "exact_second_order_phase_law_on_global_mean_zero_leaf",
      "initial_phase_velocity_retains_supplied_form_and_all_errors",
      "structural_inertial_storage_is_H_over_four_not_physical_mass",
      "uniform_velocity_defect_for_all_times_after_release",
      "actual_receiver_phase_rate_signs_only_at_release_not_a_future_monotonicity_claim",
      "phase_accumulation_requires_separate_tube_and_residual_control",
      "donor_history_and_complete_form_phase_capture_remain_unresolved",
      "no_reference_trajectory_or_reserved_response_evaluated"
    ]
  },
  "reserved_attempt_policy":{
    "maximum_attempts":1,
    "maximum_step_records":256,
    "adaptation_or_retry":false,
    "alternative_route":false,
    "preserve_incomplete_response":true,
    "step_retention":"exclusive sequential JSON files for accepted steps and any failed attempt, written before the next step; final outcome retains exact byte receipts",
    "interruption":"preserve exclusive attempt and every retained prefix file; no automatic resume or retry",
    "export_failure":"preserve partial output and prefix; record export-error metadata when possible",
    "positive_outcome":"whole-source donor retention and same-state receiver winding one, full target cell and full form-phase capture",
    "donor_loss_outcome":"at least one donor has robust endpoint winding different from one; quantified for actual admitted source through the full tube",
    "unavailable_outcome":"enclosure, uncertainty or horizon budget exhausted without the required certificate; not proof of nonformation"
  }
}