{
  "schema": "tnfr.sine-formed-class-maintenance.v1",
  "report": {
    "reference_certificate": {
      "formation_time": {
        "numerator": 100,
        "denominator": 1
      },
      "probe_time": {
        "numerator": 200,
        "denominator": 1
      },
      "probe_duration": {
        "numerator": 1,
        "denominator": 1
      },
      "phase_increment": {
        "numerator": 1,
        "denominator": 100
      },
      "form_error_bound": {
        "numerator": 1,
        "denominator": 10000000000
      },
      "phase_error_bound": {
        "numerator": 1,
        "denominator": 10000000000
      },
      "readout_error_bound": {
        "numerator": 1,
        "denominator": 10000000000
      },
      "radius": {
        "numerator": 1,
        "denominator": 12
      },
      "formation_certificate": {
        "scaled_time": {
          "numerator": 100,
          "denominator": 1
        },
        "form_error_bound": {
          "numerator": 1,
          "denominator": 10000000000
        },
        "phase_error_bound": {
          "numerator": 1,
          "denominator": 10000000000
        },
        "radius": {
          "numerator": 1,
          "denominator": 12
        },
        "original_time": {
          "numerator": 102400,
          "denominator": 1023
        },
        "reference_model": {
          "storage_scale": 1.0,
          "epi_weight": 0.9990234375,
          "phase_weight": 0.0009765625,
          "phase_domain": "regular"
        },
        "preparation_dimension": 16,
        "full_relative_preparation": true,
        "initial_forms_by_class": [
          [
            {
              "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": -687592400,
              "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": 687592400,
              "denominator": 38307
            }
          ]
        ],
        "initial_form_storage_by_class": [
          {
            "numerator": 29548956783610000,
            "denominator": 163047361
          },
          {
            "numerator": 118195827134440000,
            "denominator": 163047361
          }
        ],
        "initial_storage_upper_bounds": [
          {
            "numerator": 2216171758770837798673556004402278747,
            "denominator": 12228552075000000000000000000
          },
          {
            "numerator": 8864687035083175597347112004402278747,
            "denominator": 12228552075000000000000000000
          }
        ],
        "source_budget_margin_bounds": [
          {
            "lo": {
              "numerator": 278613236597683921307924110315898488355996937937,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 139306618298841960653962055157949244177998468969,
              "denominator": 170141183460469231731687303715884105728
            }
          },
          {
            "lo": {
              "numerator": 93605845627925181166669313907300163947479107149,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 46802922813962590583334656953650081973739553575,
              "denominator": 170141183460469231731687303715884105728
            }
          }
        ],
        "source_budget_certified_by_class": [
          true,
          true
        ],
        "gamma_bounds": {
          "lo": {
            "numerator": 3308750045361523034179564622145679,
            "denominator": 10633823966279326983230456482242756608
          },
          "hi": {
            "numerator": 105880001451568737093746067908661729,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "inverse_gamma_bounds": {
          "lo": {
            "numerator": 273404060374615245765113255436148452828975,
            "denominator": 85070591730234615865843651857942052864
          },
          "hi": {
            "numerator": 1093616241498460983060453021744593811316923,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "eta_bounds": {
          "lo": {
            "numerator": 32944918095003358548072239388471,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 4118114761875419818509029923559,
            "denominator": 42535295865117307932921825928971026432
          }
        },
        "forcing_norm_bounds": {
          "lo": {
            "numerator": 721847907504013534635101317432875170781,
            "denominator": 170141183460469231731687303715884105728
          },
          "hi": {
            "numerator": 1443695815008027069270202634865750341563,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "nominal_scaled_initial_norm_upper_bounds": [
          {
            "numerator": 650590188388209490861640382370024915717,
            "denominator": 85070591730234615865843651857942052864
          },
          {
            "numerator": 650590188388209490861640382370024915717,
            "denominator": 42535295865117307932921825928971026432
          }
        ],
        "scaled_initial_error_norm_upper_bounds": [
          {
            "numerator": 22460540105533724772391257,
            "denominator": 170141183460469231731687303715884105728
          },
          {
            "numerator": 22460540105533724772391257,
            "denominator": 170141183460469231731687303715884105728
          }
        ],
        "scaled_initial_norm_upper_bounds": [
          {
            "numerator": 1301180376776441442263386298464822222691,
            "denominator": 170141183460469231731687303715884105728
          },
          {
            "numerator": 2602360753552860423986667063204872054125,
            "denominator": 170141183460469231731687303715884105728
          }
        ],
        "initial_phase_error_norm_upper_bound": {
          "numerator": 144369581500802706927020263491,
          "denominator": 340282366920938463463374607431768211456
        },
        "exponential_decay_bounds": {
          "lo": {
            "numerator": 701374233231058797338605168651,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 175343558307764699334651292163,
            "denominator": 85070591730234615865843651857942052864
          }
        },
        "scaled_form_radius_upper_bounds": [
          {
            "numerator": 14977339417237913439766341915891277433257831453673325912833790520992109,
            "denominator": 7237005577332262213973186563042994240829374041602535252466099000494570602496
          },
          {
            "numerator": 3772854053967505267715690465642294495461361068444354757364997434654495,
            "denominator": 1809251394333065553493296640760748560207343510400633813116524750123642650624
          }
        ],
        "endpoint_form_norm_upper_bounds": [
          {
            "numerator": 123161251163431278936499636100781938577062294621639620840097014263397436109959213084861557815676301964221400355445170175042975699956676440464883938603,
            "denominator": 26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008
          },
          {
            "numerator": 31024831099765187428449278009370377535351144358097586037893959675177331068147324495652211349145280741304569300440109878814243555882548345863006002665,
            "denominator": 6546781215792283740026379393655198304433284092086129578966582736192267592809349109766540184651808314301773368255120142018434513091770786106657055178752
          }
        ],
        "endpoint_phase_error_norm_upper_bounds": [
          {
            "numerator": 2347852901763045283334919319613063956501459062448551082287675031609140082380334373441477921692558528038808131,
            "denominator": 76957043352332967211482500195592995713046365762627825523336510555167425334955489475418488779072100860950445293568
          },
          {
            "numerator": 1174355336810623389620606035388925443849223241464013173702411967843771817856912021246122706167064228040975695,
            "denominator": 38478521676166483605741250097796497856523182881313912761668255277583712667477744737709244389536050430475222646784
          }
        ],
        "proxy_target_distance_bounds": [
          {
            "lo": {
              "numerator": 312507251399441078613614585529959,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 78126812849860269653403646386851,
              "denominator": 85070591730234615865843651857942052864
            }
          },
          {
            "lo": {
              "numerator": 312507251399441078613614585529959,
              "denominator": 170141183460469231731687303715884105728
            },
            "hi": {
              "numerator": 625014502798882157227229171094807,
              "denominator": 340282366920938463463374607431768211456
            }
          }
        ],
        "endpoint_relative_norm_squared_upper_bounds": [
          {
            "numerator": 15169371088463334559241442878821482801896910417134333223482789967047796277030046149500620118517462699505701109712373132943985796562083725729544914365689222704887326431462377144206584356811216094293202941949720943784689898408989878255922362871133082365037405369291335906434311800864748668422255170873,
            "denominator": 685765508599211085406992031398401158759299079491541508764000248557024672719959118395646962442045349201660590667234013968119772982843080987903012964780708787451812337588750783066948774723991753080189067657794974398949244241113521123786594812548932026532556574571938698730267509225767960757581162756440064
          },
          {
            "numerator": 962585017151624631075958853018933275523055193067030743633854810588611363834934949632666859373226731590795830390634964861415381678000340192934669829644975941844925556323892500193397952576414991810719293534948457980453855378911175881370201019884254744890959525996208262311230747307228937936903642641,
            "denominator": 42860344287450692837937001962400072422456192468221344297750015534814042044997444899727935152627834325103786916702125873007485811427692561743938310298794299215738271099296923941684298420249484567511816728612185899934327765069595070236662175784308251658284785910746168670641719326610497547348822672277504
          }
        ],
        "endpoint_excess_storage_upper_bounds": [
          {
            "numerator": 15169371088463334559241442878821482801896910417134333223482789967047796277030046149500620118517462699505701109712373132943985796562083725729544914365689222704887326431462377144206584356811216094293202941949720943784689898408989878255922362871133082365037405369291335906434311800864748668422255170873,
            "denominator": 342882754299605542703496015699200579379649539745770754382000124278512336359979559197823481221022674600830295333617006984059886491421540493951506482390354393725906168794375391533474387361995876540094533828897487199474622120556760561893297406274466013266278287285969349365133754612883980378790581378220032
          },
          {
            "numerator": 962585017151624631075958853018933275523055193067030743633854810588611363834934949632666859373226731590795830390634964861415381678000340192934669829644975941844925556323892500193397952576414991810719293534948457980453855378911175881370201019884254744890959525996208262311230747307228937936903642641,
            "denominator": 21430172143725346418968500981200036211228096234110672148875007767407021022498722449863967576313917162551893458351062936503742905713846280871969155149397149607869135549648461970842149210124742283755908364306092949967163882534797535118331087892154125829142392955373084335320859663305248773674411336138752
          }
        ],
        "target_phase_storage_bounds_by_class": [
          {
            "lo": {
              "numerator": 716498555848023651768225418177480406391,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 89562319481002956471028177272185050809,
              "denominator": 42535295865117307932921825928971026432
            }
          },
          {
            "lo": {
              "numerator": 2530736586116349826275982556603615888181,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 632684146529087456568995639150903972079,
              "denominator": 85070591730234615865843651857942052864
            }
          }
        ],
        "initial_zero_winding_margin_bounds": {
          "lo": {
            "numerator": 534514291964426900545652493888260470163,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 534514291964426900545652493888260470165,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "initial_zero_winding_certified": true,
        "radius_angle_bounds": {
          "lo": {
            "numerator": 515226476667985973195141350151546746503,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 515226476667985973195141350151546746519,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        "acute_radius_margin_bounds": {
          "lo": {
            "numerator": 19287815364497400734698836429388645131,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 4821953841124350183674709107347161287,
            "denominator": 85070591730234615865843651857942052864
          }
        },
        "acute_radius_certified": true,
        "coercivity_lower_bound": {
          "numerator": 19277488958074173347136660837908279161,
          "denominator": 1701411834604692317316873037158841057280
        },
        "barrier_lower_bound": {
          "numerator": 13387145109773731491067125581880749,
          "denominator": 170141183460469231731687303715884105728
        },
        "endpoint_radius_margin_bounds": [
          {
            "lo": {
              "numerator": 2355544828433730297092109439281976691,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 588886207108432574273027359820494173,
              "denominator": 85070591730234615865843651857942052864
            }
          },
          {
            "lo": {
              "numerator": 2355429713531756461723392506835889501,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 1177714856765878230861696253417944751,
              "denominator": 170141183460469231731687303715884105728
            }
          }
        ],
        "endpoint_radius_certified_by_class": [
          true,
          true
        ],
        "storage_barrier_margin_bounds": [
          {
            "lo": {
              "numerator": 2929990518493460599315339960511319,
              "denominator": 85070591730234615865843651857942052864
            },
            "hi": {
              "numerator": 11719962073973842397261359842045277,
              "denominator": 340282366920938463463374607431768211456
            }
          },
          {
            "lo": {
              "numerator": 11489732270026171659827494949870897,
              "denominator": 340282366920938463463374607431768211456
            },
            "hi": {
              "numerator": 5744866135013085829913747474935449,
              "denominator": 170141183460469231731687303715884105728
            }
          }
        ],
        "storage_barrier_certified_by_class": [
          true,
          true
        ],
        "formation_certified_by_class": [
          true,
          true
        ],
        "symmetry_inequivalent": true,
        "status": "certified_two_formed_classes",
        "unavailable_reasons": [],
        "class_order": [
          "winding_one",
          "winding_two"
        ],
        "target_windings": [
          1,
          2
        ],
        "symmetry_winding_orbits": [
          [
            -1,
            1
          ],
          [
            -2,
            2
          ]
        ],
        "nodes": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8
        ],
        "edges": [
          [
            0,
            1
          ],
          [
            0,
            8
          ],
          [
            1,
            2
          ],
          [
            2,
            3
          ],
          [
            3,
            4
          ],
          [
            4,
            5
          ],
          [
            5,
            6
          ],
          [
            6,
            7
          ],
          [
            7,
            8
          ]
        ],
        "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
          }
        ],
        "target_phase_turns_by_class": [
          [
            {
              "numerator": -4,
              "denominator": 9
            },
            {
              "numerator": -1,
              "denominator": 3
            },
            {
              "numerator": -2,
              "denominator": 9
            },
            {
              "numerator": -1,
              "denominator": 9
            },
            {
              "numerator": 0,
              "denominator": 1
            },
            {
              "numerator": 1,
              "denominator": 9
            },
            {
              "numerator": 2,
              "denominator": 9
            },
            {
              "numerator": 1,
              "denominator": 3
            },
            {
              "numerator": 4,
              "denominator": 9
            }
          ],
          [
            {
              "numerator": -8,
              "denominator": 9
            },
            {
              "numerator": -2,
              "denominator": 3
            },
            {
              "numerator": -4,
              "denominator": 9
            },
            {
              "numerator": -2,
              "denominator": 9
            },
            {
              "numerator": 0,
              "denominator": 1
            },
            {
              "numerator": 2,
              "denominator": 9
            },
            {
              "numerator": 4,
              "denominator": 9
            },
            {
              "numerator": 2,
              "denominator": 3
            },
            {
              "numerator": 8,
              "denominator": 9
            }
          ]
        ],
        "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
          }
        ],
        "metric_weights": [
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          },
          {
            "numerator": 2,
            "denominator": 1
          }
        ],
        "nominal_source_scale": {
          "numerator": 85949050,
          "denominator": 38307
        },
        "common_source_storage_budget": {
          "numerator": 1000000000,
          "denominator": 1
        },
        "conserved_form_mean": {
          "numerator": 0,
          "denominator": 1
        },
        "conserved_lifted_phase_mean": {
          "numerator": 0,
          "denominator": 1
        },
        "relative_mean_leaf_dimension": 16,
        "residual_constraints": [
          "sum_form_residuals_equals_zero",
          "sum_lifted_phase_residuals_equals_zero"
        ],
        "lambda_lower_bound": {
          "numerator": 1,
          "denominator": 5
        },
        "laplacian_upper_bound": {
          "numerator": 4,
          "denominator": 1
        },
        "form_loss": {
          "numerator": 1023,
          "denominator": 1024
        },
        "exchange_weight": {
          "numerator": 1,
          "denominator": 1024
        },
        "phase_exchange_beta": {
          "numerator": 1,
          "denominator": 1
        },
        "law": "normalized_sine_reciprocal_exchange",
        "clock": "tau=e*t; e=1023/1024",
        "interval_method": "rational_outward_dyadic128_machin_trigonometry_v1",
        "scope": [
          "fixed_simple_unit_C9_same_complete_positive_loss_law_for_both_classes",
          "phase_flat_nominal_sources_with_all_node_mean_zero_form_and_phase_errors",
          "same_exact_zero_conserved_form_and_lifted_phase_origins",
          "positive_budgets_have_sixteen_dimensional_relative_interior_not_ambient_box",
          "unequal_nominal_costs_each_full_source_family_fits_one_common_storage_budget",
          "one_fresh_shared_preparation_domain_no_cached_certificate_consumption",
          "full_nonlinear_transit_and_initial_errors_retained_in_weighted_Duhamel_bounds",
          "strict_initial_zero_winding_endpoint_radius_acute_chart_and_storage_barriers",
          "conditional_recovery_to_target_and_uniform_form_on_each_fixed_mean_leaf",
          "D9_global_origins_and_joint_sign_preserve_winding_magnitude",
          "unavailable_is_not_failed_formation_or_instability",
          "no_receiver_response_or_spectral_measurement_prediction",
          "no_trajectory_solver_events_resets_or_parameter_search",
          "no_autonomous_preparation_support_origin_law_selection_or_physical_identity"
        ]
      },
      "probe_original_time": {
        "numerator": 204800,
        "denominator": 1023
      },
      "readout_original_time": {
        "numerator": 68608,
        "denominator": 341
      },
      "warmup_decay_bounds": {
        "lo": {
          "numerator": 722820020754631381673,
          "denominator": 170141183460469231731687303715884105728
        },
        "hi": {
          "numerator": 1445640041509262763347,
          "denominator": 340282366920938463463374607431768211456
        }
      },
      "warmup_scaled_form_remainder_upper_bounds": [
        {
          "numerator": 401530738806741444107642932854028130974830036779017260359599461327902131537421925042757422731659177258323,
          "denominator": 4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352
        },
        {
          "numerator": 401530898833992849984125881879868959741056267526678072470199962474122019355388092984541306431892609032595,
          "denominator": 4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352
        }
      ],
      "warmup_phase_error_upper_bounds": [
        {
          "numerator": 2437587354879481343243293375005282422738232119359066871167700369032747089,
          "denominator": 28948022309329048855892746252171976963317496166410141009864396001978282409984
        },
        {
          "numerator": 152349209680026366404390026578419578658952406798785133823858540576535743,
          "denominator": 1809251394333065553493296640760748560207343510400633813116524750123642650624
        }
      ],
      "warmup_form_norm_upper_bounds": [
        {
          "numerator": 3352784183757586709610499597872911542026908929951373001403348468617755782749672490139057209835983404695519432062693106237687489462424454758572520049754574523133002781332610422539133341,
          "denominator": 17822033662586700072817076584766762987864173856439687228824970773044043621908896041038721919208482030385321521771853153557377752817872804680674458280164899172859354196719784961261227313463296
        },
        {
          "numerator": 3403713005544701857872985848093511775955775502208714879435189680196861456907598894175936265376584719329985637492699035141438436223888306227773830192683709402808205159841301314239322415,
          "denominator": 17822033662586700072817076584766762987864173856439687228824970773044043621908896041038721919208482030385321521771853153557377752817872804680674458280164899172859354196719784961261227313463296
        }
      ],
      "warmup_target_phase_radius_upper_bounds": [
        {
          "numerator": 18611528459729283640442309615083856889927893483303234757297966684177450523337015304033442710176131137526442629,
          "denominator": 307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272
        },
        {
          "numerator": 1180889409368948246888351611892654428495174920722672416762879519479847345541164095856529744142312016652608971,
          "denominator": 19239260838083241802870625048898248928261591440656956380834127638791856333738872368854622194768025215237611323392
        }
      ],
      "heat_response_factor_bounds": {
        "lo": {
          "numerator": 73557539103317072760937186634785273159,
          "denominator": 170141183460469231731687303715884105728
        },
        "hi": {
          "numerator": 75618303760208547436305468318170713657,
          "denominator": 85070591730234615865843651857942052864
        }
      },
      "ideal_readout_bounds_by_class": [
        {
          "lo": {
            "numerator": -180238744317889152518367320305909,
            "denominator": 85070591730234615865843651857942052864
          },
          "hi": {
            "numerator": -175326843156093233575890590365435,
            "denominator": 170141183460469231731687303715884105728
          }
        },
        {
          "lo": {
            "numerator": -163427225545012854555404112064745,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": -79486737574108924620302269011275,
            "denominator": 340282366920938463463374607431768211456
          }
        }
      ],
      "response_error_upper_bounds": [
        {
          "numerator": 232997720548637432672726503854647658136928212545134730951641436706388998277782731338557871711754135367625020413781502473215578490059060360298423894475215342714952663249894154688890174516082443963077971109410177523422988374540838909361157822357464427067063485021,
          "denominator": 1031825256124346184281913642415071497107123683664299847906173259817722465931103241160971202905580445106785927721205329450942085077153682689942458942310428861149192742185556805017053745461770392681687954898849977351851617759280394021168743942904368118143630040815894528
        },
        {
          "numerator": 236535998688419863477625555000988867061576783900269932440838228767853217803538136602277749836913065993714846373146544458016394339378722283449229877529167503768819235304644367768726126099965438433508684339288779803690369371779742840460709870501990945262018848111,
          "denominator": 1031825256124346184281913642415071497107123683664299847906173259817722465931103241160971202905580445106785927721205329450942085077153682689942458942310428861149192742185556805017053745461770392681687954898849977351851617759280394021168743942904368118143630040815894528
        }
      ],
      "recorded_readout_bounds_by_class": [
        {
          "lo": {
            "numerator": -797828582137025290352727958294379,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": -273780081446717786872522503660127,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        {
          "lo": {
            "numerator": -60366926973968249792990035076693,
            "denominator": 85070591730234615865843651857942052864
          },
          "hi": {
            "numerator": -45195475726524375117070024039,
            "denominator": 10633823966279326983230456482242756608
          }
        }
      ],
      "recorded_contrast_bounds": {
        "lo": {
          "numerator": 14531607690218589704458025800853,
          "denominator": 42535295865117307932921825928971026432
        },
        "hi": {
          "numerator": 356220919471436290206939937235831,
          "denominator": 170141183460469231731687303715884105728
        }
      },
      "response_certified": true,
      "post_probe_phase_radius_upper_bounds": [
        {
          "numerator": 73021084497495577701245869153782429596866544992290958011299222899853674737406530862790374732588181573607630186237,
          "denominator": 7695704335233296721148250019559299571304636576262782552333651055516742533495548947541848877907210086095044529356800
        },
        {
          "numerator": 4564259503109370306811884503635149684126026101468590381816995346283823588283723194908259410155668943864407044307,
          "denominator": 480981520952081045071765626222456223206539786016423909520853190969796408343471809221365554869200630380940283084800
        }
      ],
      "post_probe_relative_norm_squared_upper_bounds": [
        {
          "numerator": 17872872048406514987021309293746584365934872719927950631738540544076033661710854302638358591607405588978113996425003619616932534597969681304032572751477690893940807426792904321859234593003566174504062223416493594044654971306256299427813942851578024744834406192248538464376497473841710995094249487834985219452426633921521311963137047800986701961168037594924636146146344371567258681,
          "denominator": 198515552418983441961769873187333784839921231217702957254774329193184052651850896797413624605795367905472214011273975520923301053015202806628034717668100753077013578594002158084357897752029105195483387385324283813699601691199273660029649760903134542307517030435775009699600536060872184842419144285028816258374561733305750294240921697401675377442894952196811426176351942263711989760000
        },
        {
          "numerator": 17876331969025479277654443333419798428019666513171291018205783610628810776088092670279439847488082242183739982697237144828463415552636633045355704268355372125447734664555907544726304330407203782895131218391174122078029744469890781337617502200491768447893457752264967775076536502583027467699675305617686616639139540445231140803391962550115592316202362504022312383133543441871134481,
          "denominator": 198515552418983441961769873187333784839921231217702957254774329193184052651850896797413624605795367905472214011273975520923301053015202806628034717668100753077013578594002158084357897752029105195483387385324283813699601691199273660029649760903134542307517030435775009699600536060872184842419144285028816258374561733305750294240921697401675377442894952196811426176351942263711989760000
        }
      ],
      "post_probe_excess_storage_upper_bounds": [
        {
          "numerator": 13844338825615952875168559191582668144802741451420456252591549913148190161038552630892695987975878533422519031132860396083870476958607921871851321677179986225263633997083995904235794008542779558481159381434885990959867557798063480955043810393270092729782168739748837464513948655255086281156480701556944084613093967281562221172295261884077412882299712996731635552213605929020353593,
          "denominator": 99257776209491720980884936593666892419960615608851478627387164596592026325925448398706812302897683952736107005636987760461650526507601403314017358834050376538506789297001079042178948876014552597741693692662141906849800845599636830014824880451567271153758515217887504849800268030436092421209572142514408129187280866652875147120460848700837688721447476098405713088175971131855994880000
        },
        {
          "numerator": 668032801781259631271218140576498824553914684908848347501595947433547944912297325040298958324201871246538487457261295486874668112150192721228884316928002399803935545526999274077583293537447359429927018359820330391663221090982030510180426656700837591692534106721561941275967549718152914859584924224268562261732705226189462009733051158540888851120296863215422169166565287408905373,
          "denominator": 19851555241898344196176987318733378483992123121770295725477432919318405265185089679741362460579536790547221401127397552092330105301520280662803471766810075307701357859400215808435789775202910519548338738532428381369960169119927366002964976090313454230751703043577500969960053606087218484241914428502881625837456173330575029424092169740167537744289495219681142617635194226371198976000
        }
      ],
      "acute_radius_margin_bounds_by_class": [
        {
          "lo": {
            "numerator": 128424861467245005685091681899346631823,
            "denominator": 170141183460469231731687303715884105728
          },
          "hi": {
            "numerator": 32106215366811251421272920474836657957,
            "denominator": 42535295865117307932921825928971026432
          }
        },
        {
          "lo": {
            "numerator": 19287815364497400734698836429388645131,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 4821953841124350183674709107347161287,
            "denominator": 85070591730234615865843651857942052864
          }
        }
      ],
      "coercivity_lower_bounds_by_class": [
        {
          "numerator": 233145427048120537061238249165727627573,
          "denominator": 1701411834604692317316873037158841057280
        },
        {
          "numerator": 19277488958074173347136660837908279161,
          "denominator": 1701411834604692317316873037158841057280
        }
      ],
      "barrier_lower_bounds_by_class": [
        {
          "numerator": 323813093122389634807275346063510593,
          "denominator": 340282366920938463463374607431768211456
        },
        {
          "numerator": 13387145109773731491067125581880749,
          "denominator": 170141183460469231731687303715884105728
        }
      ],
      "post_probe_radius_margin_bounds": [
        {
          "lo": {
            "numerator": 583108871259492613640681518733938215,
            "denominator": 85070591730234615865843651857942052864
          },
          "hi": {
            "numerator": 2332435485037970454562726074935752861,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        {
          "lo": {
            "numerator": 2332429554268500590392795835718422695,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 291553694283562573799099479464802837,
            "denominator": 42535295865117307932921825928971026432
          }
        }
      ],
      "post_probe_storage_margin_bounds": [
        {
          "lo": {
            "numerator": 276350974143488465480789243144019653,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 138175487071744232740394621572009827,
            "denominator": 170141183460469231731687303715884105728
          }
        },
        {
          "lo": {
            "numerator": 15323309165369098245604323637474595,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 3830827291342274561401080909368649,
            "denominator": 85070591730234615865843651857942052864
          }
        }
      ],
      "recovery_certified_by_class": [
        true,
        true
      ],
      "nominal_probe_work_bounds_by_class": [
        {
          "lo": {
            "numerator": 13033462200829832890247602971796859,
            "denominator": 170141183460469231731687303715884105728
          },
          "hi": {
            "numerator": 13033462200829832890247602971796861,
            "denominator": 170141183460469231731687303715884105728
          }
        },
        {
          "lo": {
            "numerator": 2954446024893892060774136587489017,
            "denominator": 170141183460469231731687303715884105728
          },
          "hi": {
            "numerator": 1477223012446946030387068293744509,
            "denominator": 85070591730234615865843651857942052864
          }
        }
      ],
      "probe_work_error_upper_bounds": [
        {
          "numerator": 46648239146204789675043614322970449936703573370167182832437439617976239729596459287461707786826255270192419932536730053865504523888824435223447747,
          "denominator": 20458691299350886687582435605172494701354012787769154934270571050600836227529215968020438077036900982193041775797250443807607853411783706583303297433600
        },
        {
          "numerator": 2959800517870228222350266003940417994754756895762172624895703634142207934934419895782640024505346952159354731597366846361078266587598497641651053,
          "denominator": 1278668206209430417973902225323280918834625799235572183391910690662552264220575998001277379814806311387065110987328152737975490838236481661456456089600
        }
      ],
      "probe_work_bounds_by_class": [
        {
          "lo": {
            "numerator": 25291040304426712266496923605374385,
            "denominator": 340282366920938463463374607431768211456
          },
          "hi": {
            "numerator": 26842808498892619294493488281813055,
            "denominator": 340282366920938463463374607431768211456
          }
        },
        {
          "lo": {
            "numerator": 1280305641516840427146243055815753,
            "denominator": 85070591730234615865843651857942052864
          },
          "hi": {
            "numerator": 3348280766754103267255787063346529,
            "denominator": 170141183460469231731687303715884105728
          }
        }
      ],
      "status": "certified_formed_class_response",
      "unavailable_reasons": [],
      "probe_vector": [
        {
          "numerator": 8,
          "denominator": 9
        },
        {
          "numerator": -1,
          "denominator": 9
        },
        {
          "numerator": -1,
          "denominator": 9
        },
        {
          "numerator": -1,
          "denominator": 9
        },
        {
          "numerator": -1,
          "denominator": 9
        },
        {
          "numerator": -1,
          "denominator": 9
        },
        {
          "numerator": -1,
          "denominator": 9
        },
        {
          "numerator": -1,
          "denominator": 9
        },
        {
          "numerator": -1,
          "denominator": 9
        }
      ],
      "receiver_node": 0,
      "readout": "signed_form_at_node_zero",
      "contrast_order": [
        "winding_two",
        "winding_one"
      ],
      "probe_law": "theta_plus=theta_minus+phase_increment*probe_vector;x_plus=x_minus",
      "clock": "tau=e*t; e=1023/1024",
      "interval_method": "rational_outward_dyadic128_machin_trigonometry_v1",
      "scope": [
        "fresh_primitive_formation_prerequisite_no_incoming_report_or_cached_verdict",
        "same_complete_positive_loss_C9_law_and_zero_mean_preparation_families",
        "actual_formed_states_continue_to_probe_time_without_reset",
        "one_supplied_mean_preserving_phase_jump_common_to_both_classes",
        "one_correlated_heat_factor_for_both_ideal_readouts",
        "full_nonlinear_warmup_and_probe_remainders_retained",
        "independent_bounded_signed_form_readout_errors",
        "probe_work_separate_from_continuous_storage_loss_no_passivity_claim",
        "strict_post_probe_storage_and_radius_barriers_imply_conditional_recovery",
        "unavailable_is_not_response_equality_or_failed_recovery",
        "no_trajectory_solver_fitted_response_or_parameter_search",
        "no_autonomous_probe_selection_or_physical_measurement_identification"
      ]
    },
    "common_dwell": {
      "numerator": 1000000000000,
      "denominator": 1
    },
    "original_common_dwell": {
      "numerator": 1024000000000000,
      "denominator": 1023
    },
    "cosine_lower_bound": {
      "numerator": 19277488958074173347136660837908279161,
      "denominator": 340282366920938463463374607431768211456
    },
    "gamma_squared_bounds": {
      "lo": {
        "numerator": 32944918095003358548072239388471,
        "denominator": 340282366920938463463374607431768211456
      },
      "hi": {
        "numerator": 4118114761875419818509029923559,
        "denominator": 42535295865117307932921825928971026432
      }
    },
    "phase_stiffness_lower_bound": {
      "numerator": 635095294801085274229627050189016740459980153047955046769378592952831,
      "denominator": 2894802230932904885589274625217197696331749616641014100986439600197828240998400
    },
    "phase_stiffness_upper_bound": {
      "numerator": 4118114761875419818509029923559,
      "denominator": 10633823966279326983230456482242756608
    },
    "lyapunov_position_lower_coefficient": {
      "numerator": 14474011789759819229031647355713038670675488543185223552887244770367734157823,
      "denominator": 5789604461865809771178549250434395392663499233282028201972879200395656481996800
    },
    "lyapunov_position_upper_coefficient": {
      "numerator": 27913890864352280216475410991635325071,
      "denominator": 531691198313966349161522824112137830400
    },
    "lyapunov_decay_rate": {
      "numerator": 635095294801085274229627050189016740459980153047955046769378592952831,
      "denominator": 3039553553054257514066612379943905852291670574012008199408889529438344388280320
    },
    "post_probe_lyapunov_upper_bounds": [
      {
        "numerator": 1995605598382546400757511735926553454316050830171026516704815281325325386391226642718325642681091261062489188012654008624473565952451123497274112400410772970716854616815929167457248005834324700091312752370401272656816421343189105867097211947299177991439123710641852246652418421808054774005082094992058092092707041445761380309394496989853450931876025036101289049384751392019934305976767454345988078027444898587903878529,
        "denominator": 84439177559686645954870429037093762603247667226219463876163187648451583975406551811135736465174442459806511023455808391930803055947810690933766571598671499432132183353364410839795468022332919911620539408058171311444801148145645930216251295620937034596966227700374431881518613790570239638914883248309899919321972302126365397673911836899549605324957332182518981147445617548490747519990892763310539312778407537722733363200000
      },
      {
        "numerator": 1995991917744761824229227690192951565662829744520981062300539235595853632744966859075398103395301434859004643804999351412783557929662584977882905258064237918053226478813762800151725869503608014044044567174740394817456078426004557027860896086084064396133000910748282499263999064315411978379201466115423912083963642391318462197579743370206117322822957562133512576370349216324452966124105236622967980930659218332017320729,
        "denominator": 84439177559686645954870429037093762603247667226219463876163187648451583975406551811135736465174442459806511023455808391930803055947810690933766571598671499432132183353364410839795468022332919911620539408058171311444801148145645930216251295620937034596966227700374431881518613790570239638914883248309899919321972302126365397673911836899549605324957332182518981147445617548490747519990892763310539312778407537722733363200000
      }
    ],
    "return_energy_thresholds": [
      {
        "numerator": 370339154228840792571554194824594706044423075760278702425006473139486129212953181061435333120505234957010180348511126983986398731813270917394438019080349490206895321010190434889450114023310861238647636915575804020599261662530916483470657232210637458466709046379649955732253438704489322295232495756897655533697050144907219221384296689411093200613984676616671348648633092973183865958643851703158322351,
        "denominator": 8646571782111912545778731933398401290572561123964873100919110415201442199081630905460299414033862907884186728801874779333714232929055814751617696931703961541850335575384515669995055925486890998949943235385156742291947637570114143254144132671583952342729341716518341824667506052154392539024884044626933751738569963737739816721808572098513879585275630815489943669498431236965452546047067418962999225628508931862807896391680
      },
      {
        "numerator": 76335103016515407388172102933016883229805971266564973099473214000543389571265780501890424687670716547615476379092084742579756534203753092677178963205140645578115840989649708134249612771308428212110193394018116569224200679519597046365413395572990701695142217692979707718003997660918745560264021600306683741234237774535473736193685104175233552593777274020866912353032690838186033422932711413374575595,
        "denominator": 1729314356422382509155746386679680258114512224792974620183822083040288439816326181092059882806772581576837345760374955866742846585811162950323539386340792308370067115076903133999011185097378199789988647077031348458389527514022828650828826534316790468545868343303668364933501210430878507804976808925386750347713992747547963344361714419702775917055126163097988733899686247393090509209413483792599845125701786372561579278336
      }
    ],
    "exponential_decay_bounds": {
      "lo": {
        "numerator": 0,
        "denominator": 1
      },
      "hi": {
        "numerator": 1,
        "denominator": 340282366920938463463374607431768211456
      }
    },
    "returned_lyapunov_upper_bounds": [
      {
        "numerator": 1995605598382546400757511735926553454316050830171026516704815281325325386391226642718325642681091261062489188012654008624473565952451123497274112400410772970716854616815929167457248005834324700091312752370401272656816421343189105867097211947299177991439123710641852246652418421808054774005082094992058092092707041445761380309394496989853450931876025036101289049384751392019934305976767454345988078027444898587903878529,
        "denominator": 28733163200867564542056520057062078868294873809167014972682893741908757586381473549235880662290406819146260813246822414253502094492852191030616915081629450934591452352781596479067588781329172845802850045411441565246550391410644043796794261003726815760109611050394781561249176922817437987468173074338267688397991289010305308616807842392477493883139843795906317159114984076936800851601541802941243352678543403708849405034851682335446397357001697860443648819200000
      },
      {
        "numerator": 1995991917744761824229227690192951565662829744520981062300539235595853632744966859075398103395301434859004643804999351412783557929662584977882905258064237918053226478813762800151725869503608014044044567174740394817456078426004557027860896086084064396133000910748282499263999064315411978379201466115423912083963642391318462197579743370206117322822957562133512576370349216324452966124105236622967980930659218332017320729,
        "denominator": 28733163200867564542056520057062078868294873809167014972682893741908757586381473549235880662290406819146260813246822414253502094492852191030616915081629450934591452352781596479067588781329172845802850045411441565246550391410644043796794261003726815760109611050394781561249176922817437987468173074338267688397991289010305308616807842392477493883139843795906317159114984076936800851601541802941243352678543403708849405034851682335446397357001697860443648819200000
      }
    ],
    "returned_form_norm_squared_upper_bounds": [
      {
        "numerator": 221733955375838488973056859547394828257338981130114057411646142369480598487914071413147293631232362340276576445850445402719285105827902610808234711156752552301872735201769907495249778426036077787923639152266808072979602371465456207455245771922130887937680412293539138516935380200894974889453566110228676899189671271751264478821610776650383436875113892900143227709416821335548256219640828260665342003049433176433764281,
        "denominator": 15454676603962900654919355088777045074306860981152781894037898807440526948066584330356801908071576030208292761105884147076630946652544423096923762680984487905879303599189655624667348825424066343553060043679722978308904733487795862449912863074618215777476393046040807569456550682981309046681818033201613442782780362028023391957264013340108311668700825520103622809041868034843610766943289083509597927069535868003915663725840041506387865309511984087040000
      },
      {
        "numerator": 1995991917744761824229227690192951565662829744520981062300539235595853632744966859075398103395301434859004643804999351412783557929662584977882905258064237918053226478813762800151725869503608014044044567174740394817456078426004557027860896086084064396133000910748282499263999064315411978379201466115423912083963642391318462197579743370206117322822957562133512576370349216324452966124105236622967980930659218332017320729,
        "denominator": 139092089435666105894274195798993405668761748830375037046341089266964742532599258973211217172644184271874634849952957323689678519872899807872313864128860391152913732392706900622006139428816597091977540393117506804780142601390162762049215767671563941997287537414367268125108956146831781420136362298814520985045023258252210527615376120060974805018307429680932605281376812313592496902489601751586381343625822812035240973532560373557490787785607856783360000
      }
    ],
    "returned_phase_norm_squared_upper_bounds": [
      {
        "numerator": 1995605598382546400757511735926553454316050830171026516704815281325325386391226642718325642681091261062489188012654008624473565952451123497274112400410772970716854616815929167457248005834324700091312752370401272656816421343189105867097211947299177991439123710641852246652418421808054774005082094992058092092707041445761380309394496989853450931876025036101289049384751392019934305976767454345988078027444898587903878529,
        "denominator": 35916455577038121754252975099445454788797066906947054860256493024801491685831896371727140269818901063331008845910417279229964603802437602026212052784324074812284771225944281051704070999523380951968776433670940883488113933783748909783184802025805290324187226241799594987475008542957652342449608591298350265012996575592165932344635663165691869768906737406133146929658809349677070157704456384977735017687274793453102664439482839150744622345625049102764998656000
      },
      {
        "numerator": 1995991917744761824229227690192951565662829744520981062300539235595853632744966859075398103395301434859004643804999351412783557929662584977882905258064237918053226478813762800151725869503608014044044567174740394817456078426004557027860896086084064396133000910748282499263999064315411978379201466115423912083963642391318462197579743370206117322822957562133512576370349216324452966124105236622967980930659218332017320729,
        "denominator": 35916455577038121754252975099445454788797066906947054860256493024801491685831896371727140269818901063331008845910417279229964603802437602026212052784324074812284771225944281051704070999523380951968776433670940883488113933783748909783184802025805290324187226241799594987475008542957652342449608591298350265012996575592165932344635663165691869768906737406133146929658809349677070157704456384977735017687274793453102664439482839150744622345625049102764998656000
      }
    ],
    "return_energy_margin_bounds": [
      {
        "lo": {
          "numerator": 7287274490983769,
          "denominator": 170141183460469231731687303715884105728
        },
        "hi": {
          "numerator": 14574548981967539,
          "denominator": 340282366920938463463374607431768211456
        }
      },
      {
        "lo": {
          "numerator": 1877585864966145,
          "denominator": 42535295865117307932921825928971026432
        },
        "hi": {
          "numerator": 15020686919729161,
          "denominator": 340282366920938463463374607431768211456
        }
      }
    ],
    "form_return_margin_bounds": [
      {
        "lo": {
          "numerator": 1505379983063686097710031,
          "denominator": 170141183460469231731687303715884105728
        },
        "hi": {
          "numerator": 3010759966127372195420063,
          "denominator": 340282366920938463463374607431768211456
        }
      },
      {
        "lo": {
          "numerator": 48483149994906085508627,
          "denominator": 5316911983139663491615228241121378304
        },
        "hi": {
          "numerator": 3102921599673989472552129,
          "denominator": 340282366920938463463374607431768211456
        }
      }
    ],
    "phase_return_margin_bounds": [
      {
        "lo": {
          "numerator": 77743987732326611812045562763,
          "denominator": 85070591730234615865843651857942052864
        },
        "hi": {
          "numerator": 310975950929306447248182251053,
          "denominator": 340282366920938463463374607431768211456
        }
      },
      {
        "lo": {
          "numerator": 160247457650051506281691382283,
          "denominator": 170141183460469231731687303715884105728
        },
        "hi": {
          "numerator": 320494915300103012563382764567,
          "denominator": 340282366920938463463374607431768211456
        }
      }
    ],
    "return_certified_by_class": [
      true,
      true
    ],
    "status": "certified_repeated_probe_maintenance",
    "unavailable_reasons": [],
    "semigroup_gap_lower_bound": {
      "numerator": 1,
      "denominator": 5
    },
    "semigroup_rate_upper_bound": {
      "numerator": 2,
      "denominator": 1
    },
    "lyapunov_cross_coefficient": {
      "numerator": 1,
      "denominator": 20
    },
    "return_radius_factor": {
      "numerator": 1,
      "denominator": 2
    },
    "clock": "tau=e*t; e=1023/1024",
    "intervention_times": "probe_time+n*common_dwell; n=0,1,2,...",
    "readout_times": "probe_time+n*common_dwell+probe_duration; n=0,1,2,...",
    "interval_method": "rational_outward_dyadic128_machin_trigonometry_v1",
    "scope": [
      "fresh_primitive_formation_and_first_probe_assessment_no_incoming_report",
      "same_fixed_positive_loss_C9_law_support_capacities_and_zero_mean_leaf",
      "same_supplied_phase_jump_at_every_declared_intervention",
      "pre_probe_K_is_product_of_Euclidean_form_and_target_phase_norm_balls",
      "nonlinear_return_from_every_member_of_J_K_into_half_K",
      "strict_post_jump_barriers_retain_winding_through_every_dwell",
      "same_correlated_recorded_contrast_and_signed_work_bounds_per_cycle",
      "readout_error_is_bounded_separately_per_readout_not_state_feedback",
      "cumulative_supplied_work_after_N_probes_is_N_times_per_probe_interval",
      "invariant_neighborhoods_not_an_exact_periodic_orbit",
      "target_convergence_when_interventions_stop_not_while_they_continue",
      "no_practical_recovery_speed_or_finite_total_work_budget_claim",
      "unavailable_is_not_instability_or_failed_maintenance",
      "no_trajectory_solver_probe_count_scan_autonomous_event_or_physical_identity"
    ]
  }
}