{
  "schema":"organized_electrical_actuation_result_v1",
  "source_revision":"9488f528226679b649724634ff950a917c57fb5f",
  "attempt":{
    "path":"attempt.json",
    "bytes":137652,
    "sha256":"7462255bb1817e84e3d55ed68b217992c849e3960477896c79af8cb9e09bcd87"
  },
  "imported_sources":{
    "tnfr._exact_time":"src/tnfr/_exact_time.py",
    "tnfr.errors.contextual":"src/tnfr/errors/contextual.py",
    "tnfr.errors":"src/tnfr/errors/__init__.py",
    "tnfr.types":"src/tnfr/types.py",
    "tnfr.locking":"src/tnfr/locking.py",
    "tnfr.utils.init":"src/tnfr/utils/init.py",
    "tnfr.security.database":"src/tnfr/security/database.py",
    "tnfr.security.subprocess":"src/tnfr/security/subprocess.py",
    "tnfr._coherence_validation":"src/tnfr/_coherence_validation.py",
    "tnfr.security.validation":"src/tnfr/security/validation.py",
    "tnfr.security":"src/tnfr/security/__init__.py",
    "tnfr.security.crypto":"src/tnfr/security/crypto.py",
    "tnfr.utils.cache_layers":"src/tnfr/utils/cache_layers.py",
    "tnfr.utils.graph":"src/tnfr/utils/graph.py",
    "tnfr.utils.unified_cache":"src/tnfr/utils/unified_cache.py",
    "tnfr.utils.cache":"src/tnfr/utils/cache.py",
    "tnfr.constants.canonical":"src/tnfr/constants/canonical.py",
    "tnfr.constants.operational":"src/tnfr/constants/operational.py",
    "tnfr.config.physics_derivation":"src/tnfr/config/physics_derivation.py",
    "tnfr.config.defaults_core":"src/tnfr/config/defaults_core.py",
    "tnfr.config.defaults_init":"src/tnfr/config/defaults_init.py",
    "tnfr.config.defaults_metric":"src/tnfr/config/defaults_metric.py",
    "tnfr.config.defaults":"src/tnfr/config/defaults.py",
    "tnfr.config.parsing":"src/tnfr/config/parsing.py",
    "tnfr.config.feature_flags":"src/tnfr/config/feature_flags.py",
    "tnfr.utils.io":"src/tnfr/utils/io.py",
    "tnfr.config.init":"src/tnfr/config/init.py",
    "tnfr.config.precision_modes":"src/tnfr/config/precision_modes.py",
    "tnfr.config.thresholds":"src/tnfr/config/thresholds.py",
    "tnfr.immutable":"src/tnfr/immutable.py",
    "tnfr.config.tnfr_config":"src/tnfr/config/tnfr_config.py",
    "tnfr.config":"src/tnfr/config/__init__.py",
    "tnfr.constants":"src/tnfr/constants/__init__.py",
    "tnfr.utils.numeric":"src/tnfr/utils/numeric.py",
    "tnfr.utils.data":"src/tnfr/utils/data.py",
    "tnfr.utils.callbacks":"src/tnfr/utils/callbacks.py",
    "tnfr.utils.chunks":"src/tnfr/utils/chunks.py",
    "tnfr.core.container":"src/tnfr/core/container.py",
    "tnfr.core.interfaces":"src/tnfr/core/interfaces.py",
    "tnfr.core":"src/tnfr/core/__init__.py",
    "tnfr.core.exceptions":"src/tnfr/core/exceptions.py",
    "tnfr.mathematics.backend":"src/tnfr/mathematics/backend.py",
    "tnfr.mathematics._complex_admission":"src/tnfr/mathematics/_complex_admission.py",
    "tnfr.mathematics._integer_admission":"src/tnfr/mathematics/_integer_admission.py",
    "tnfr.mathematics.cayley":"src/tnfr/mathematics/cayley.py",
    "tnfr.mathematics.unified_numerical":"src/tnfr/mathematics/unified_numerical.py",
    "tnfr.mathematics._complex_arrays":"src/tnfr/mathematics/_complex_arrays.py",
    "tnfr._spectral_expectation":"src/tnfr/_spectral_expectation.py",
    "tnfr.mathematics.epi":"src/tnfr/mathematics/epi.py",
    "tnfr.mathematics.spaces":"src/tnfr/mathematics/spaces.py",
    "tnfr.mathematics.dynamics":"src/tnfr/mathematics/dynamics.py",
    "tnfr.mathematics.generators":"src/tnfr/mathematics/generators.py",
    "tnfr.mathematics.liouville":"src/tnfr/mathematics/liouville.py",
    "tnfr.mathematics.operators":"src/tnfr/mathematics/operators.py",
    "tnfr.mathematics.metrics":"src/tnfr/mathematics/metrics.py",
    "tnfr.mathematics.unified_cache":"src/tnfr/mathematics/unified_cache.py",
    "tnfr.physics":"src/tnfr/physics/__init__.py",
    "tnfr.constants.aliases":"src/tnfr/constants/aliases.py",
    "tnfr.physics._helpers":"src/tnfr/physics/_helpers.py",
    "tnfr.physics._edge_semantics":"src/tnfr/physics/_edge_semantics.py",
    "tnfr.physics._potential_kernel":"src/tnfr/physics/_potential_kernel.py",
    "tnfr._binary64":"src/tnfr/_binary64.py",
    "tnfr.mathematics._exact_weighted":"src/tnfr/mathematics/_exact_weighted.py",
    "tnfr.mathematics.phasor_resultant":"src/tnfr/mathematics/phasor_resultant.py",
    "tnfr.physics.phase_curvature":"src/tnfr/physics/phase_curvature.py",
    "tnfr.mathematics._weight_normalization":"src/tnfr/mathematics/_weight_normalization.py",
    "tnfr.mathematics._neighbor_differences":"src/tnfr/mathematics/_neighbor_differences.py",
    "tnfr.physics.vectorized_ops":"src/tnfr/physics/vectorized_ops.py",
    "tnfr.physics.canonical":"src/tnfr/physics/canonical.py",
    "tnfr.alias":"src/tnfr/alias.py",
    "tnfr.metrics.common":"src/tnfr/metrics/common.py",
    "tnfr.physics.extended":"src/tnfr/physics/extended.py",
    "tnfr.physics.telemetry":"src/tnfr/physics/telemetry.py",
    "tnfr._runtime_steps":"src/tnfr/_runtime_steps.py",
    "tnfr.glyph_runtime":"src/tnfr/glyph_runtime.py",
    "tnfr.glyph_history":"src/tnfr/glyph_history.py",
    "tnfr.rng":"src/tnfr/rng.py",
    "tnfr.config.operator_names":"src/tnfr/config/operator_names.py",
    "tnfr.operators._argument_validation":"src/tnfr/operators/_argument_validation.py",
    "tnfr.mathematics._phase_midpoint":"src/tnfr/mathematics/_phase_midpoint.py",
    "tnfr.metrics.trig":"src/tnfr/metrics/trig.py",
    "tnfr.operators._coherence_stage_kernel":"src/tnfr/operators/_coherence_stage_kernel.py",
    "tnfr.operators._phase_gate":"src/tnfr/operators/_phase_gate.py",
    "tnfr.operators._epi_domain":"src/tnfr/operators/_epi_domain.py",
    "tnfr.operators.registry":"src/tnfr/operators/registry.py",
    "tnfr.operators.definitions_base":"src/tnfr/operators/definitions_base.py",
    "tnfr.operators.factor_contracts":"src/tnfr/operators/factor_contracts.py",
    "tnfr.operators.coherence":"src/tnfr/operators/coherence.py",
    "tnfr.operators.contraction":"src/tnfr/operators/contraction.py",
    "tnfr.operators.coupling":"src/tnfr/operators/coupling.py",
    "tnfr.operators.dissonance":"src/tnfr/operators/dissonance.py",
    "tnfr.operators.emission":"src/tnfr/operators/emission.py",
    "tnfr.operators.expansion":"src/tnfr/operators/expansion.py",
    "tnfr.validation.base":"src/tnfr/validation/base.py",
    "tnfr.validation.compatibility":"src/tnfr/validation/compatibility.py",
    "tnfr.physics.fields":"src/tnfr/physics/fields.py",
    "tnfr.mathematics.number_theory":"src/tnfr/mathematics/number_theory.py",
    "tnfr.mathematics.operators_factory":"src/tnfr/mathematics/operators_factory.py",
    "tnfr.mathematics.projection":"src/tnfr/mathematics/projection.py",
    "tnfr.mathematics.runtime":"src/tnfr/mathematics/runtime.py",
    "tnfr.mathematics.transforms":"src/tnfr/mathematics/transforms.py",
    "tnfr._version":"src/tnfr/_version.py",
    "tnfr.math.symbolic":"src/tnfr/math/symbolic.py",
    "tnfr.math":"src/tnfr/math/__init__.py",
    "tnfr.mathematics":"src/tnfr/mathematics/__init__.py",
    "tnfr.utils.topology":"src/tnfr/utils/topology.py",
    "tnfr.utils":"src/tnfr/utils/__init__.py",
    "tnfr.metrics.cache_utils":"src/tnfr/metrics/cache_utils.py",
    "tnfr.config.selector_thresholds":"src/tnfr/config/selector_thresholds.py",
    "tnfr.config.constants":"src/tnfr/config/constants.py",
    "tnfr.metrics.trig_cache":"src/tnfr/metrics/trig_cache.py",
    "tnfr.gamma":"src/tnfr/gamma.py",
    "tnfr.telemetry.cache_metrics":"src/tnfr/telemetry/cache_metrics.py",
    "tnfr.units":"src/tnfr/units.py",
    "tnfr.telemetry.nu_f":"src/tnfr/telemetry/nu_f.py",
    "tnfr.operators.grammar_types":"src/tnfr/operators/grammar_types.py",
    "tnfr.operators.grammar_canon":"src/tnfr/operators/grammar_canon.py",
    "tnfr.operators.grammar_debt":"src/tnfr/operators/grammar_debt.py",
    "tnfr.operators.grammar_telemetry":"src/tnfr/operators/grammar_telemetry.py",
    "tnfr.operators.grammar_core":"src/tnfr/operators/grammar_core.py",
    "tnfr.operators.grammar_error_factory":"src/tnfr/operators/grammar_error_factory.py",
    "tnfr.operators.operator_contracts":"src/tnfr/operators/operator_contracts.py",
    "tnfr.operators.introspection":"src/tnfr/operators/introspection.py",
    "tnfr.operators.mutation":"src/tnfr/operators/mutation.py",
    "tnfr.utils._structural_signature":"src/tnfr/utils/_structural_signature.py",
    "tnfr.operators._neighbor_epi_kernel":"src/tnfr/operators/_neighbor_epi_kernel.py",
    "tnfr.operators._reception_kernel":"src/tnfr/operators/_reception_kernel.py",
    "tnfr.operators.reception":"src/tnfr/operators/reception.py",
    "tnfr.operators.recursivity":"src/tnfr/operators/recursivity.py",
    "tnfr.operators.resonance":"src/tnfr/operators/resonance.py",
    "tnfr.operators._thol_config":"src/tnfr/operators/_thol_config.py",
    "tnfr.operators._thol_constants":"src/tnfr/operators/_thol_constants.py",
    "tnfr.operators._thol_pressure":"src/tnfr/operators/_thol_pressure.py",
    "tnfr.physics.mutation_trigger":"src/tnfr/physics/mutation_trigger.py",
    "tnfr.operators._recursivity_stage_kernel":"src/tnfr/operators/_recursivity_stage_kernel.py",
    "tnfr.operators._resonance_identity":"src/tnfr/operators/_resonance_identity.py",
    "tnfr.operators.network_stage":"src/tnfr/operators/network_stage.py",
    "tnfr.operators.metrics_core":"src/tnfr/operators/metrics_core.py",
    "tnfr.operators._mutation_gate":"src/tnfr/operators/_mutation_gate.py",
    "tnfr.operators.preconditions.mutation":"src/tnfr/operators/preconditions/mutation.py",
    "tnfr.operators.preconditions":"src/tnfr/operators/preconditions/__init__.py",
    "tnfr.operators.preconditions.self_organization":"src/tnfr/operators/preconditions/self_organization.py",
    "tnfr.operators.self_organization":"src/tnfr/operators/self_organization.py",
    "tnfr.operators.silence":"src/tnfr/operators/silence.py",
    "tnfr.operators.transition":"src/tnfr/operators/transition.py",
    "tnfr.operators.definitions":"src/tnfr/operators/definitions.py",
    "tnfr.operators._mutation_stage_kernel":"src/tnfr/operators/_mutation_stage_kernel.py",
    "tnfr.dynamics.structural_clip":"src/tnfr/dynamics/structural_clip.py",
    "tnfr.operators._scale_operator_kernel":"src/tnfr/operators/_scale_operator_kernel.py",
    "tnfr._remesh_contract":"src/tnfr/_remesh_contract.py",
    "tnfr.operators._delayed_remesh_kernel":"src/tnfr/operators/_delayed_remesh_kernel.py",
    "tnfr.dynamics._euler_kernel":"src/tnfr/dynamics/_euler_kernel.py",
    "tnfr.dynamics.integrators":"src/tnfr/dynamics/integrators.py",
    "tnfr.physics._exact_metric":"src/tnfr/physics/_exact_metric.py",
    "tnfr.operators.event_timing":"src/tnfr/operators/event_timing.py",
    "tnfr.operators.event_runtime":"src/tnfr/operators/event_runtime.py",
    "tnfr.operators.remesh":"src/tnfr/operators/remesh.py",
    "tnfr.operators.event_remesh_runtime":"src/tnfr/operators/event_remesh_runtime.py",
    "tnfr.operators.event_remesh_sequence":"src/tnfr/operators/event_remesh_sequence.py",
    "tnfr.operators.event_remesh_causal_runtime":"src/tnfr/operators/event_remesh_causal_runtime.py",
    "tnfr.operators.jitter":"src/tnfr/operators/jitter.py",
    "tnfr.dynamics.canonical":"src/tnfr/dynamics/canonical.py",
    "tnfr.dynamics.fused_dnfr":"src/tnfr/dynamics/fused_dnfr.py",
    "tnfr.dynamics.dnfr":"src/tnfr/dynamics/dnfr.py",
    "tnfr.physics._cycle_algebra":"src/tnfr/physics/_cycle_algebra.py",
    "tnfr.physics._conductance":"src/tnfr/physics/_conductance.py",
    "tnfr.mathematics._exact_linear_algebra":"src/tnfr/mathematics/_exact_linear_algebra.py",
    "tnfr.physics._exact_linear_algebra":"src/tnfr/physics/_exact_linear_algebra.py",
    "tnfr.physics.structural_diffusion":"src/tnfr/physics/structural_diffusion.py",
    "tnfr.physics.support_transport":"src/tnfr/physics/support_transport.py",
    "tnfr.physics.forcing_realization":"src/tnfr/physics/forcing_realization.py",
    "tnfr.physics.binary64_nodal_flow":"src/tnfr/physics/binary64_nodal_flow.py",
    "tnfr.physics.nodal_remainder":"src/tnfr/physics/nodal_remainder.py",
    "tnfr.physics.spectral_projectors":"src/tnfr/physics/spectral_projectors.py",
    "tnfr.physics.directed_diffusion":"src/tnfr/physics/directed_diffusion.py",
    "tnfr.physics.hybrid_operator_stability":"src/tnfr/physics/hybrid_operator_stability.py",
    "tnfr.physics.runtime_flow_stability":"src/tnfr/physics/runtime_flow_stability.py",
    "tnfr.operators.word_execution":"src/tnfr/operators/word_execution.py",
    "tnfr.operators.nodal_remainder_runtime":"src/tnfr/operators/nodal_remainder_runtime.py",
    "tnfr.operators.grammar_context":"src/tnfr/operators/grammar_context.py",
    "tnfr.operators.grammar_patterns":"src/tnfr/operators/grammar_patterns.py",
    "tnfr.operators.grammar_application":"src/tnfr/operators/grammar_application.py",
    "tnfr.operators.grammar_dynamics":"src/tnfr/operators/grammar_dynamics.py",
    "tnfr.operators.grammar_u6":"src/tnfr/operators/grammar_u6.py",
    "tnfr.operators.grammar_validate":"src/tnfr/operators/grammar_validate.py",
    "tnfr.operators.grammar":"src/tnfr/operators/grammar.py",
    "tnfr.operators.grammar_evidence":"src/tnfr/operators/grammar_evidence.py",
    "tnfr.operators.grammar_memoization":"src/tnfr/operators/grammar_memoization.py",
    "tnfr.operators.grammar_observations":"src/tnfr/operators/grammar_observations.py",
    "tnfr.operators.hamiltonian":"src/tnfr/operators/hamiltonian.py",
    "tnfr.operators._diagnostic_scores":"src/tnfr/operators/_diagnostic_scores.py",
    "tnfr.operators.health_analyzer":"src/tnfr/operators/health_analyzer.py",
    "tnfr.operators.pattern_detection":"src/tnfr/operators/pattern_detection.py",
    "tnfr.operators.nodal_equation":"src/tnfr/operators/nodal_equation.py",
    "tnfr.operators.self_organization_selection":"src/tnfr/operators/self_organization_selection.py",
    "tnfr.operators":"src/tnfr/operators/__init__.py",
    "tnfr.validation.invariants":"src/tnfr/validation/invariants.py",
    "tnfr.validation.config":"src/tnfr/validation/config.py",
    "tnfr.validation.graph":"src/tnfr/validation/graph.py",
    "tnfr.validation.unified_validation_system":"src/tnfr/validation/unified_validation_system.py",
    "tnfr.validation.input_validation":"src/tnfr/validation/input_validation.py",
    "tnfr.validation.interface_baselines":"src/tnfr/validation/interface_baselines.py",
    "tnfr.validation.multichannel_interface":"src/tnfr/validation/multichannel_interface.py",
    "tnfr.validation.nodal_prediction":"src/tnfr/validation/nodal_prediction.py",
    "tnfr.physics.reversible_eigenmode_reference":"src/tnfr/physics/reversible_eigenmode_reference.py",
    "tnfr.physics.p2_transport_reference":"src/tnfr/physics/p2_transport_reference.py",
    "tnfr.validation.p2_transport":"src/tnfr/validation/p2_transport.py",
    "tnfr.validation.phase_gate":"src/tnfr/validation/phase_gate.py",
    "tnfr.validation.rules":"src/tnfr/validation/rules.py",
    "tnfr.validation.runtime":"src/tnfr/validation/runtime.py",
    "tnfr.validation.sequence_validator":"src/tnfr/validation/sequence_validator.py",
    "tnfr.validation.signal_confrontation":"src/tnfr/validation/signal_confrontation.py",
    "tnfr.validation.soft_filters":"src/tnfr/validation/soft_filters.py",
    "tnfr.validation.structural_interface":"src/tnfr/validation/structural_interface.py",
    "tnfr.validation.temporal_interface":"src/tnfr/validation/temporal_interface.py",
    "tnfr.validation.validator":"src/tnfr/validation/validator.py",
    "tnfr.validation.window":"src/tnfr/validation/window.py",
    "tnfr.validation":"src/tnfr/validation/__init__.py",
    "tnfr.telemetry.unified_telemetry_system":"src/tnfr/telemetry/unified_telemetry_system.py",
    "tnfr.telemetry.verbosity":"src/tnfr/telemetry/verbosity.py",
    "tnfr.telemetry":"src/tnfr/telemetry/__init__.py",
    "tnfr.observers":"src/tnfr/observers.py",
    "tnfr.sense":"src/tnfr/sense.py",
    "tnfr.metrics.capacity_rates":"src/tnfr/metrics/capacity_rates.py",
    "tnfr.metrics.coherence":"src/tnfr/metrics/coherence.py",
    "tnfr.metrics.diagnosis":"src/tnfr/metrics/diagnosis.py",
    "tnfr.metrics.glyph_timing":"src/tnfr/metrics/glyph_timing.py",
    "tnfr.metrics.reporting":"src/tnfr/metrics/reporting.py",
    "tnfr.metrics.core":"src/tnfr/metrics/core.py",
    "tnfr.metrics.emergence":"src/tnfr/metrics/emergence.py",
    "tnfr.metrics.export":"src/tnfr/metrics/export.py",
    "tnfr.metrics.learning_metrics":"src/tnfr/metrics/learning_metrics.py",
    "tnfr.metrics.observations":"src/tnfr/metrics/observations.py",
    "tnfr.metrics.phase_compatibility":"src/tnfr/metrics/phase_compatibility.py",
    "tnfr.metrics.buffer_cache":"src/tnfr/metrics/buffer_cache.py",
    "tnfr.metrics.sense_index":"src/tnfr/metrics/sense_index.py",
    "tnfr.metrics.telemetry":"src/tnfr/metrics/telemetry.py",
    "tnfr.metrics.tetrad":"src/tnfr/metrics/tetrad.py",
    "tnfr.metrics":"src/tnfr/metrics/__init__.py",
    "tnfr.dynamics.coordination":"src/tnfr/dynamics/coordination.py",
    "tnfr.dynamics.metabolism":"src/tnfr/dynamics/metabolism.py",
    "tnfr.dynamics.aliases":"src/tnfr/dynamics/aliases.py",
    "tnfr.dynamics.adaptation":"src/tnfr/dynamics/adaptation.py",
    "tnfr.dynamics.adaptive_sequences":"src/tnfr/dynamics/adaptive_sequences.py",
    "tnfr.dynamics.bifurcation":"src/tnfr/dynamics/bifurcation.py",
    "tnfr.metrics.local_coherence":"src/tnfr/metrics/local_coherence.py",
    "tnfr.dynamics.feedback":"src/tnfr/dynamics/feedback.py",
    "tnfr.dynamics.homeostasis":"src/tnfr/dynamics/homeostasis.py",
    "tnfr.validation.spectral":"src/tnfr/validation/spectral.py",
    "tnfr.structural":"src/tnfr/structural.py",
    "tnfr.dynamics.learning":"src/tnfr/dynamics/learning.py",
    "tnfr.dynamics.propagation":"src/tnfr/dynamics/propagation.py",
    "tnfr.selector":"src/tnfr/selector.py",
    "tnfr.dynamics.selectors":"src/tnfr/dynamics/selectors.py",
    "tnfr.dynamics.remesh_history":"src/tnfr/dynamics/remesh_history.py",
    "tnfr.dynamics.sampling":"src/tnfr/dynamics/sampling.py",
    "tnfr.dynamics.runtime":"src/tnfr/dynamics/runtime.py",
    "tnfr.dynamics":"src/tnfr/dynamics/__init__.py",
    "tnfr.initialization":"src/tnfr/initialization.py",
    "tnfr.ontosim":"src/tnfr/ontosim.py",
    "tnfr":"src/tnfr/__init__.py",
    "tnfr.research.certificates":"src/tnfr/research/certificates.py",
    "tnfr.research.circularity":"src/tnfr/research/circularity.py",
    "tnfr.research.claims":"src/tnfr/research/claims.py",
    "tnfr.research.manifests":"src/tnfr/research/manifests.py",
    "tnfr.research.core_manifests":"src/tnfr/research/core_manifests.py",
    "tnfr.research.artifact_io":"src/tnfr/research/artifact_io.py",
    "tnfr.research.evidence_sidecar":"src/tnfr/research/evidence_sidecar.py",
    "tnfr.research":"src/tnfr/research/__init__.py",
    "tnfr.mathematics._phase_resultant_chamber":"src/tnfr/mathematics/_phase_resultant_chamber.py",
    "tnfr.mathematics._rational_interval":"src/tnfr/mathematics/_rational_interval.py",
    "tnfr.research._single_analytic_assessment":"src/tnfr/research/_single_analytic_assessment.py",
    "tnfr.dynamics.relational":"src/tnfr/dynamics/relational.py",
    "tnfr.physics.winding_certificates":"src/tnfr/physics/winding_certificates.py",
    "tnfr.physics.relational_observations":"src/tnfr/physics/relational_observations.py",
    "tnfr.physics._sine_admission":"src/tnfr/physics/_sine_admission.py",
    "tnfr.mathematics.krylov":"src/tnfr/mathematics/krylov.py",
    "tnfr.physics.phase_cycle_geometry":"src/tnfr/physics/phase_cycle_geometry.py",
    "tnfr.physics.relational_sine_comparison":"src/tnfr/physics/relational_sine_comparison.py",
    "tnfr.physics.relational_sine_pattern":"src/tnfr/physics/relational_sine_pattern.py",
    "tnfr.physics._sine_preparation":"src/tnfr/physics/_sine_preparation.py",
    "tnfr.physics._organized_outer_observation":"src/tnfr/physics/_organized_outer_observation.py",
    "tnfr.mathematics._comparison_flow":"src/tnfr/mathematics/_comparison_flow.py",
    "tnfr.mathematics._interval_taylor":"src/tnfr/mathematics/_interval_taylor.py",
    "tnfr.mathematics.linear_observation":"src/tnfr/mathematics/linear_observation.py",
    "tnfr.physics._sine_lyapunov":"src/tnfr/physics/_sine_lyapunov.py",
    "tnfr.physics.relational_sine_formed_classes":"src/tnfr/physics/relational_sine_formed_classes.py",
    "tnfr.physics._sine_formed_contact":"src/tnfr/physics/_sine_formed_contact.py",
    "tnfr.physics._sine_port_bounds":"src/tnfr/physics/_sine_port_bounds.py",
    "tnfr.physics._sine_port_geometry":"src/tnfr/physics/_sine_port_geometry.py",
    "tnfr.physics.relational_sine_port_composition":"src/tnfr/physics/relational_sine_port_composition.py",
    "tnfr.physics.relational_sine_class_mediation":"src/tnfr/physics/relational_sine_class_mediation.py",
    "tnfr.physics.relational_sine_class_superposition":"src/tnfr/physics/relational_sine_class_superposition.py",
    "tnfr.physics._sine_class_repeated_interaction":"src/tnfr/physics/_sine_class_repeated_interaction.py",
    "tnfr.physics._sine_class_contrast":"src/tnfr/physics/_sine_class_contrast.py",
    "tnfr.physics.relational_sine_class_cubic_response":"src/tnfr/physics/relational_sine_class_cubic_response.py",
    "tnfr.physics.relational_sine_class_memory":"src/tnfr/physics/relational_sine_class_memory.py",
    "tnfr.physics._sine_class_collective_interface":"src/tnfr/physics/_sine_class_collective_interface.py",
    "tnfr.physics._sine_class_neighbor_nonadditivity":"src/tnfr/physics/_sine_class_neighbor_nonadditivity.py",
    "tnfr.physics.phase_response":"src/tnfr/physics/phase_response.py",
    "tnfr.physics._sine_class_constitutive_comparison":"src/tnfr/physics/_sine_class_constitutive_comparison.py",
    "tnfr.physics._sine_class_constitutive_acquisition":"src/tnfr/physics/_sine_class_constitutive_acquisition.py",
    "tnfr.physics._sine_constitutive_recovery":"src/tnfr/physics/_sine_constitutive_recovery.py",
    "tnfr.physics._sine_constitutive_inheritance":"src/tnfr/physics/_sine_constitutive_inheritance.py",
    "tnfr.physics._repeated_organized_composition":"src/tnfr/physics/_repeated_organized_composition.py",
    "tnfr.physics.relational_sine_recovery":"src/tnfr/physics/relational_sine_recovery.py",
    "tnfr.physics.relational_sine_entry":"src/tnfr/physics/relational_sine_entry.py",
    "tnfr.physics._organized_outer_winding":"src/tnfr/physics/_organized_outer_winding.py",
    "tnfr.physics._organized_sequential_observation":"src/tnfr/physics/_organized_sequential_observation.py",
    "tnfr.physics._organized_external_interaction":"src/tnfr/physics/_organized_external_interaction.py",
    "tnfr.physics._organized_external_registration":"src/tnfr/physics/_organized_external_registration.py",
    "tnfr.physics._sine_recovery_resources":"src/tnfr/physics/_sine_recovery_resources.py",
    "tnfr.physics._organized_joint_resources":"src/tnfr/physics/_organized_joint_resources.py",
    "tnfr.physics._organized_slot_registration":"src/tnfr/physics/_organized_slot_registration.py",
    "tnfr.physics._organized_electrical_source":"src/tnfr/physics/_organized_electrical_source.py",
    "tnfr.physics._organized_electrical_actuation":"src/tnfr/physics/_organized_electrical_actuation.py",
    "tnfr.physics._sine_sector_boundary":"src/tnfr/physics/_sine_sector_boundary.py"
  },
  "assessment_count":1,
  "verdict":"finite_organized_electrical_actuation_admitted",
  "report":{
    "recovery":{
      "source":{
        "deformation":{
          "numerator":0,
          "denominator":1
        },
        "scaled_time":{
          "numerator":100,
          "denominator":1
        },
        "form_error_bound":{
          "numerator":1,
          "denominator":1000000
        },
        "phase_error_bound":{
          "numerator":1,
          "denominator":1000000
        },
        "radius":{
          "numerator":1,
          "denominator":12
        },
        "original_time":{
          "numerator":102400,
          "denominator":1023
        },
        "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_potential_deformation_upper_bound":{
          "numerator":0,
          "denominator":1
        },
        "initial_storage_upper_bounds":[
          {
            "numerator":22161717596487367360002278747,
            "denominator":122285520750000000000
          },
          {
            "numerator":88646870368389734715602278747,
            "denominator":122285520750000000000
          }
        ],
        "source_budget_margin_bounds":[
          {
            "lo":{
              "numerator":139306618286627369487374717492778107841108951177,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":278613236573254738974749434985556215682217902355,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":23401461394766704128142532083316937798266168751,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":93605845579066816512570128333267751193064675005,
              "denominator":340282366920938463463374607431768211456
            }
          }
        ],
        "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
          }
        },
        "metric_unit_norm_bounds":{
          "lo":{
            "numerator":721847907504013534635101317432875170781,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1443695815008027069270202634865750341563,
            "denominator":340282366920938463463374607431768211456
          }
        },
        "current_absolute_upper_bound":{
          "numerator":1,
          "denominator":1
        },
        "phase_hessian_upper_bound":{
          "numerator":1,
          "denominator":1
        },
        "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":112302700527668623861413049161,
            "denominator":85070591730234615865843651857942052864
          },
          {
            "numerator":112302700527668623861413049161,
            "denominator":85070591730234615865843651857942052864
          }
        ],
        "scaled_initial_norm_upper_bounds":[
          {
            "numerator":325295094250256095694654503115718982439,
            "denominator":42535295865117307932921825928971026432
          },
          {
            "numerator":1301180376888721682250949388601462880595,
            "denominator":85070591730234615865843651857942052864
          }
        ],
        "initial_phase_error_norm_upper_bound":{
          "numerator":721847907504013534635101317432877,
          "denominator":170141183460469231731687303715884105728
        },
        "exponential_decay_bounds":{
          "lo":{
            "numerator":701374233231058797338605168651,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":175343558307764699334651292163,
            "denominator":85070591730234615865843651857942052864
          }
        },
        "scaled_form_radius_upper_bounds":[
          {
            "numerator":29954678834515206051457845614872774173202583288430151652038955574215813,
            "denominator":14474011154664524427946373126085988481658748083205070504932198000989141204992
          },
          {
            "numerator":30182832431779421313650685508228575270377808928638337885291354009467555,
            "denominator":14474011154664524427946373126085988481658748083205070504932198000989141204992
          }
        ],
        "endpoint_form_norm_upper_bounds":[
          {
            "numerator":246322502327186379611224739731566319477238737523461344771665304187808027010653389191037945867324576649617135573233848668693701830941317213374728415571,
            "denominator":52374249726338269920211035149241586435466272736689036631732661889538140742474792878132321477214466514414186946040961136147476104734166288853256441430016
          },
          {
            "numerator":248198648798445321165819691604965462605923303144962791394622953062431803335913558986532521029134218651610889265864387349121698878088351099349008559685,
            "denominator":52374249726338269920211035149241586435466272736689036631732661889538140742474792878132321477214466514414186946040961136147476104734166288853256441430016
          }
        ],
        "endpoint_phase_error_norm_upper_bounds":[
          {
            "numerator":5157545547702301230897903282924698612711424080651210679124329202695033968007199872212256062148706307019519021,
            "denominator":153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136
          },
          {
            "numerator":5159261091418704222710488785254272475105398921610161209358627010851841074674179210313791043431846163105805539,
            "denominator":153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136
          }
        ],
        "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_target_phase_norm_upper_bounds":[
          {
            "numerator":5298896592785709386638045638011811607426408828193937314950679123061980325156135015037409494833613365160064045,
            "denominator":153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136
          },
          {
            "numerator":5441963181585520534190773495428498012222519833429226107687166661398593737136171895805644629670472748476232931,
            "denominator":153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136
          }
        ],
        "endpoint_relative_norm_squared_upper_bounds":[
          {
            "numerator":60678026398336631150418416145663003524099537301559352655619377162133997517265436789175973540508195352576929170718107978405148341836678669826115397735670230066127534627039823318504151664207937463029797019238821559912019712787454943321198956440216785901989298760690024998203970496123036580301883486441,
            "denominator":2743062034396844341627968125593604635037196317966166035056000994228098690879836473582587849768181396806642362668936055872479091931372323951612051859122835149807249350355003132267795098895967012320756270631179897595796976964454084495146379250195728106130226298287754794921070036903071843030324651025760256
          },
          {
            "numerator":61605998443843691763689035963833020959184553053677129685914269200526481247720946944174829801670496199920340880550155674766203115408763326927825178271814230987771706536543589524321058012632093685546389766343135175998306717092737888270777738639922191775138494253110711688846211014963027279847456890521,
            "denominator":2743062034396844341627968125593604635037196317966166035056000994228098690879836473582587849768181396806642362668936055872479091931372323951612051859122835149807249350355003132267795098895967012320756270631179897595796976964454084495146379250195728106130226298287754794921070036903071843030324651025760256
          }
        ],
        "endpoint_form_storage_upper_bounds":[
          {
            "numerator":60674775152726739399368257353056908454702470352351382089068930113295075457729012725010731394023916890673430600921114154129155469197354288099293293298783868080551335018138793380571742982831344883835321444233370510083529808314380512593185029428580435361222311995234870320770374554820432682352075256041,
            "denominator":1371531017198422170813984062796802317518598158983083017528000497114049345439918236791293924884090698403321181334468027936239545965686161975806025929561417574903624675177501566133897549447983506160378135315589948797898488482227042247573189625097864053065113149143877397460535018451535921515162325512880128
          },
          {
            "numerator":61602569265374003068079393427847710621760919357113535746778878596390492189721518589413753396212846032073678480175489638659383810254566027056998870261670176206883543115742774533873756054111166432980041692587381957042589746407664117919582604382201610902370175748338511138299447598960662363398207299225,
            "denominator":1371531017198422170813984062796802317518598158983083017528000497114049345439918236791293924884090698403321181334468027936239545965686161975806025929561417574903624675177501566133897549447983506160378135315589948797898488482227042247573189625097864053065113149143877397460535018451535921515162325512880128
          }
        ],
        "endpoint_phase_excess_storage_upper_bounds":[
          {
            "numerator":28078305101036000046934839977853642254047259014854389080870561091599787567491050503262325785930434832337659406303543266507978314244983740204246984030826889949925585518170723910469549193533042435572739361543348501762025,
            "denominator":11844773043065711480323635013294239465766037117894719018089691452225120183459296312949206610325977157215024800850914559983608856537741198665193842125253152001987113769690322155382272992184436377145866387891513586051123404341248
          },
          {
            "numerator":29614963269732401138914116280024164755162357781555146726073243317782018178379641701395877639638930981580520059331926387274392891394212053656447626818644732196443836337298530028113474202372186475429106098126580568850761,
            "denominator":11844773043065711480323635013294239465766037117894719018089691452225120183459296312949206610325977157215024800850914559983608856537741198665193842125253152001987113769690322155382272992184436377145866387891513586051123404341248
          }
        ],
        "endpoint_excess_storage_upper_bounds":[
          {
            "numerator":60678026398336631150418416145663003524099537301559352655619377162133997517265436789175973540508195352576929170718107978405148341836678669826115397735670230066127534627039823318504151664207937463029797019238821559912019712787454943321198956440216785901989298760690024998203970496123036580301883486441,
            "denominator":1371531017198422170813984062796802317518598158983083017528000497114049345439918236791293924884090698403321181334468027936239545965686161975806025929561417574903624675177501566133897549447983506160378135315589948797898488482227042247573189625097864053065113149143877397460535018451535921515162325512880128
          },
          {
            "numerator":61605998443843691763689035963833020959184553053677129685914269200526481247720946944174829801670496199920340880550155674766203115408763326927825178271814230987771706536543589524321058012632093685546389766343135175998306717092737888270777738639922191775138494253110711688846211014963027279847456890521,
            "denominator":1371531017198422170813984062796802317518598158983083017528000497114049345439918236791293924884090698403321181334468027936239545965686161975806025929561417574903624675177501566133897549447983506160378135315589948797898488482227042247573189625097864053065113149143877397460535018451535921515162325512880128
          }
        ],
        "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":534513611467749532052913259831720528113,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":534513611467749532052913259831720528115,
            "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,
        "phase_hessian_lower_bound_candidate":{
          "numerator":19277488958074173347136660837908279161,
          "denominator":340282366920938463463374607431768211456
        },
        "phase_hessian_lower_bound":{
          "numerator":19277488958074173347136660837908279161,
          "denominator":340282366920938463463374607431768211456
        },
        "positive_phase_hessian_certified":true,
        "coercivity_lower_bound":{
          "numerator":19277488958074173347136660837908279161,
          "denominator":1701411834604692317316873037158841057280
        },
        "barrier_lower_bound":{
          "numerator":13387145109773731491067125581880749,
          "denominator":170141183460469231731687303715884105728
        },
        "endpoint_radius_margin_bounds":[
          {
            "lo":{
              "numerator":2355544761192021054484006454835853309,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":1177772380596010527242003227417926655,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":1177714822195922969478419022132335793,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":2355429644391845938956838044264671587,
              "denominator":340282366920938463463374607431768211456
            }
          }
        ],
        "endpoint_radius_certified_by_class":[
          true,
          true
        ],
        "storage_barrier_margin_bounds":[
          {
            "lo":{
              "numerator":732489224409709823815961934362407,
              "denominator":21267647932558653966460912964485513216
            },
            "hi":{
              "numerator":11719827590555357181055390949798513,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":11489593990205126126718569807435067,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":2872398497551281531679642451858767,
              "denominator":85070591730234615865843651857942052864
            }
          }
        ],
        "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_matched_ninth_harmonic_reciprocal_exchange",
        "clock":"tau=e*t; e=1023/1024",
        "interval_method":"rational_outward_dyadic128_machin_trigonometry_v1",
        "scope":[
          "fixed_isolated_unit_C9_same_original_rational_sources_for_every_deformation",
          "own_potential_current_and_both_reciprocal_rows_in_the_declared_clock",
          "fresh_primitive_admission_no_sine_domain_preparation_or_verdict_consumption",
          "componentwise_form_and_lifted_phase_errors_with_separate_exact_zero_sums",
          "metric_source_error_norms_do_not_use_the_enlarged_current_forcing_bound",
          "own_law_source_storage_includes_the_exact_quartic_potential_correction",
          "full_family_semigroup_transit_then_strict_own_Hessian_and_storage_capture",
          "source_budget_flags_are_separate_from_geometric_formation_flags",
          "nonpositive_sufficient_margin_is_unavailable_not_failed_acquisition",
          "no_source_search_trajectory_or_sine_specific_nonlinear_remainder_transfer",
          "no_later_dwell_tiny_handoff_contact_work_or_finite_interaction_certificate",
          "no_autonomous_source_selection_or_physical_identification"
        ]
      },
      "form_error_bound":{
        "numerator":1,
        "denominator":1000000
      },
      "phase_error_bound":{
        "numerator":1,
        "denominator":1000000
      },
      "quarter_dwell":{
        "numerator":80000000000,
        "denominator":1
      },
      "half_law_dwell":{
        "numerator":40000000000,
        "denominator":1
      },
      "quarter_handoff_time":{
        "numerator":80000000200,
        "denominator":1
      },
      "original_handoff_time":{
        "numerator":81920000204800,
        "denominator":1023
      },
      "endpoint_radius":{
        "numerator":1,
        "denominator":100000000
      },
      "decay_power":80,
      "class_one_radius_angle_bounds":{
        "lo":{
          "numerator":277664569097993362559656822782242127995,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":69416142274498340639914205695560532001,
          "denominator":85070591730234615865843651857942052864
        }
      },
      "class_one_phase_hessian_lower_bound":{
        "numerator":233145427048120537061238249165727627573,
        "denominator":340282366920938463463374607431768211456
      },
      "transformed_stiffness_lower_bound":{
        "numerator":7680956998324911747294470012254371089357607632224896933751623157910883,
        "denominator":2894802230932904885589274625217197696331749616641014100986439600197828240998400
      },
      "transformed_stiffness_upper_bound":{
        "numerator":4118114761875419818509029923559,
        "denominator":10633823966279326983230456482242756608
      },
      "lyapunov_position_lower_coefficient":{
        "numerator":578960753424860910114324816822240029441193497632508109193165270104491964635,
        "denominator":231584178474632390847141970017375815706539969331281128078915168015826259279872
      },
      "lyapunov_position_upper_coefficient":{
        "numerator":27913890864352280216475410991635325071,
        "denominator":531691198313966349161522824112137830400
      },
      "lyapunov_initial_upper_bound":{
        "numerator":73353529163867993486922502703793219926547944319483842822106491136037403091624314168145492588584634858681003815934396739818800317444661586140880161745101487296204720051630848643553048581348638443030364433338363032231366732958230556545238389985578744954593730104960070950892498769488018837047493224444074026318802632856532548960396477,
        "denominator":233353910418880727661256384732077510105651144956362911415845480235747138199203332221171813728935134095443132426733051477601848634166855433083853213845102789634950534711763847553671963489593331907699786423270522774078818428325018686634247330308151332263564460639475875364779673017561538689090903124122342061853585179019296811159813378942173184
      },
      "lyapunov_decay_rate":{
        "numerator":7680956998324911747294470012254371089357607632224896933751623157910883,
        "denominator":3039553553054257514066612379943905852291670574012008199408889529438344388280320
      },
      "decay_exponent":{
        "numerator":15001869137353343256434511742684318533901577406689251823733638980294693359375,
        "denominator":148415700832727417679033807614448527943929227246680087861762184054606659584
      },
      "decay_exponent_margin":{
        "numerator":3128613070735149842111807133528436298387239226954844794792664255926160592655,
        "denominator":148415700832727417679033807614448527943929227246680087861762184054606659584
      },
      "exact_decay_upper_bound":{
        "numerator":1,
        "denominator":1208925819614629174706176
      },
      "returned_lyapunov_upper_bound":{
        "numerator":73353529163867993486922502703793219926547944319483842822106491136037403091624314168145492588584634858681003815934396739818800317444661586140880161745101487296204720051630848643553048581348638443030364433338363032231366732958230556545238389985578744954593730104960070950892498769488018837047493224444074026318802632856532548960396477,
        "denominator":282107567413424138126415916172126379762973487029431335677677351999909735485304760228208386658075380503123901137419658654328175448732740174233462536318627304974901304879611754592414595424584583150083556383441822125774367707434853485934879928582766044524301250981714886307259655582231779422981992816273782776725286301634910009626255625507945094118006966534738106384384
      },
      "endpoint_form_norm_squared_upper_bound":{
        "numerator":366767645819339967434612513518966099632739721597419214110532455680187015458121570840727462942923174293405019079671983699094001587223307930704400808725507436481023600258154243217765242906743192215151822166691815161156833664791152782726191949927893724772968650524800354754462493847440094185237466122220370131594013164282662744801982385,
        "denominator":6828160673232354267181491418101838602926869700802424355003741581170605862647686916336859198708609186029429683014506789314184909883966886027271671473270430897427511829864186668117661816048763399518148402356095496649539747969317972279931879586679297067369169392090704530089420205152693293383446931996579937571883111048620219831383997611660493303841165552910336
      },
      "endpoint_phase_norm_squared_upper_bound":{
        "numerator":73353529163867993486922502703793219926547944319483842822106491136037403091624314168145492588584634858681003815934396739818800317444661586140880161745101487296204720051630848643553048581348638443030364433338363032231366732958230556545238389985578744954593730104960070950892498769488018837047493224444074026318802632856532548960396477,
        "denominator":352634646400124814499624187242985770892569016785633097827712033023359315693774188264200647396887651008606784788637442014461548550921971358039318167005134524703927930120265579832946185088844176154479342130157957893915261993974359981223810317481295960235806233345310987326330310557887104090333684201960396572259930864134682016566123252640766995253500483753853583360
      },
      "endpoint_form_margin":{
        "numerator":104189463341746182388123958492366233333392466804123338913414755860371113675625866115656181187459328561404387513434701515464249769485883638840310549411413922274359702530730448387697134153306746985637153323434101485940881292079919977295232418204000512208408083257461822888815561792115300825638519136721882268519278102610474978463094637506724082242449425551,
        "denominator":1041894633977104838131941439529699493854807998779666802216147091853424966834669024099252197068574399723728894502945982256192765790400220646251170573924321120823289768961210123919320955817987579272178406121230391944815025019732356610097027524822890787867610075697434162916476471733504225674964436644985952388287828223971591160794677369943312576880060661760000000000000000
      },
      "endpoint_phase_margin":{
        "numerator":1076155537109753665052284388925326237999090511637676490320644647781161787807808923004668368999468901225832821479153000501780362570051798004260692506070779772651093991410499932207475795838494081494120875988078392304293605378247185264759767868578279137731647880730778324551480898917167953995806852178259356986473652415144100428893416404160392429470002697002727,
        "denominator":10761555371097559036243413917327446621477325951709994440542969757792947866631292366461201397610096771502892602192304748976487687711241801697977238983310990133786863101814745478300359652369512211745585392155699398618019470030955809973871164473916502692743110148477508158152170122005832034006765264952404680549924647953328918962589210590843719337570205192683520000000000000000
      },
      "source_certified":true,
      "decay_certified":true,
      "recovery_certified":true,
      "status":"certified_sine_recovery_resources",
      "unresolved_conditions":[],
      "quarter_formation_time":{
        "numerator":200,
        "denominator":1
      },
      "radius":{
        "numerator":1,
        "denominator":12
      },
      "class_one_phase_hessian_upper_bound":{
        "numerator":1,
        "denominator":1
      },
      "target_winding":1,
      "clock":"tau=e*t; e=1023/1024; isolated quarter-law half-time=tau/2",
      "arithmetic_method":"rational_outward_dyadic128_machin_trigonometry_v1",
      "scope":[
        "fresh_original_class_one_ramp_and_all_zero_sum_preparation_errors",
        "sine_law_acquisition_precedes_own_class_one_curvature_bound",
        "uninterrupted_quarter_law_dwell_transforms_both_half_law_rows",
        "exact_rational_power_certificate_without_exponential_grid_loss",
        "endpoint_radius_bounds_reached_state_not_a_new_source_or_reset",
        "unavailable_sufficient_bound_is_not_a_necessary_resource_obstruction",
        "no_contact_observation_trajectory_event_occurrence_or_physical_bridge"
      ]
    },
    "outer":{
      "geometry":{
        "internal_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
            }
          ],
          [
            27,
            28,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            28,
            29,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            29,
            30,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            30,
            31,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            31,
            32,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            32,
            33,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            33,
            34,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            34,
            35,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            35,
            27,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            36,
            37,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            37,
            38,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            38,
            39,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            39,
            40,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            40,
            41,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            41,
            42,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            42,
            43,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            43,
            44,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            44,
            36,
            {
              "numerator":1,
              "denominator":1
            }
          ]
        ],
        "outer_edges":[
          [
            0,
            9,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            9,
            18,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            18,
            27,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            27,
            36,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            36,
            0,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            1,
            10,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            10,
            19,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            19,
            28,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            28,
            37,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            37,
            1,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            2,
            11,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            11,
            20,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            20,
            29,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            29,
            38,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            38,
            2,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            3,
            12,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            12,
            21,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            21,
            30,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            30,
            39,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            39,
            3,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            4,
            13,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            13,
            22,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            22,
            31,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            31,
            40,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            40,
            4,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            5,
            14,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            14,
            23,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            23,
            32,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            32,
            41,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            41,
            5,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            6,
            15,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            15,
            24,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            24,
            33,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            33,
            42,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            42,
            6,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            7,
            16,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            16,
            25,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            25,
            34,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            34,
            43,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            43,
            7,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            8,
            17,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            17,
            26,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            26,
            35,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            35,
            44,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            44,
            8,
            {
              "numerator":1,
              "denominator":1
            }
          ]
        ],
        "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
            }
          ],
          [
            27,
            28,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            28,
            29,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            29,
            30,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            30,
            31,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            31,
            32,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            32,
            33,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            33,
            34,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            34,
            35,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            35,
            27,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            36,
            37,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            37,
            38,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            38,
            39,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            39,
            40,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            40,
            41,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            41,
            42,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            42,
            43,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            43,
            44,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            44,
            36,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            0,
            9,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            9,
            18,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            18,
            27,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            27,
            36,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            36,
            0,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            1,
            10,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            10,
            19,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            19,
            28,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            28,
            37,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            37,
            1,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            2,
            11,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            11,
            20,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            20,
            29,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            29,
            38,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            38,
            2,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            3,
            12,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            12,
            21,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            21,
            30,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            30,
            39,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            39,
            3,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            4,
            13,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            13,
            22,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            22,
            31,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            31,
            40,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            40,
            4,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            5,
            14,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            14,
            23,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            23,
            32,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            32,
            41,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            41,
            5,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            6,
            15,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            15,
            24,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            24,
            33,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            33,
            42,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            42,
            6,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            7,
            16,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            16,
            25,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            25,
            34,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            34,
            43,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            43,
            7,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            8,
            17,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            17,
            26,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            26,
            35,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            35,
            44,
            {
              "numerator":1,
              "denominator":1
            }
          ],
          [
            44,
            8,
            {
              "numerator":1,
              "denominator":1
            }
          ]
        ],
        "internal_cycles":[
          [
            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
          ],
          [
            27,
            28,
            29,
            30,
            31,
            32,
            33,
            34,
            35
          ],
          [
            36,
            37,
            38,
            39,
            40,
            41,
            42,
            43,
            44
          ]
        ],
        "outer_cycles":[
          [
            0,
            9,
            18,
            27,
            36
          ],
          [
            1,
            10,
            19,
            28,
            37
          ],
          [
            2,
            11,
            20,
            29,
            38
          ],
          [
            3,
            12,
            21,
            30,
            39
          ],
          [
            4,
            13,
            22,
            31,
            40
          ],
          [
            5,
            14,
            23,
            32,
            41
          ],
          [
            6,
            15,
            24,
            33,
            42
          ],
          [
            7,
            16,
            25,
            34,
            43
          ],
          [
            8,
            17,
            26,
            35,
            44
          ]
        ],
        "alpha_bounds":{
          "lo":{
            "numerator":59390476892498152658871131842326154627,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":237561907569992610635484527369304618515,
            "denominator":340282366920938463463374607431768211456
          }
        },
        "gamma_bounds":{
          "lo":{
            "numerator":3308750045361523034179564622145679,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":105880001451568737093746067908661729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        "outer_target_angle_bounds":{
          "lo":{
            "numerator":213805716812993349571936074632374156659,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":213805716812993349571936074632374156663,
            "denominator":170141183460469231731687303715884105728
          }
        },
        "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,
          27,
          28,
          29,
          30,
          31,
          32,
          33,
          34,
          35,
          36,
          37,
          38,
          39,
          40,
          41,
          42,
          43,
          44
        ],
        "support_degrees":[
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4,
          4
        ],
        "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
          },
          {
            "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
          }
        ],
        "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
          },
          {
            "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_factor":{
          "numerator":1,
          "denominator":4
        },
        "clock":"tau=(1023/1024)*t; primitive_sigma=tau/2",
        "phase_domain":"regular",
        "scope":[
          "supplied_unit_C9_cartesian_C5_support_with_all_ninety_edges",
          "uniform_quarter_factor_in_both_complete_rows_before_and_after_attachment",
          "independent_fine_coordinates_with_held_unit_capacity_and_no_inputs",
          "oriented_internal_j_to_j_plus_one_and_outer_c_to_c_plus_one_cycles",
          "not_a_bypass_of_the_generic_thirty_two_node_geometry_budget"
        ]
      },
      "primitive_entry":{
        "source":{
          "reference_model":{
            "storage_scale":1.0,
            "epi_weight":0.9990234375,
            "phase_weight":0.0009765625,
            "phase_domain":"regular"
          },
          "nodes":[
            0,
            1,
            2,
            3,
            4
          ],
          "edges":[
            [
              0,
              1
            ],
            [
              0,
              4
            ],
            [
              1,
              2
            ],
            [
              2,
              3
            ],
            [
              3,
              4
            ]
          ],
          "epi":[
            {
              "numerator":-8184,
              "denominator":1
            },
            {
              "numerator":-4092,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":4092,
              "denominator":1
            },
            {
              "numerator":8184,
              "denominator":1
            }
          ],
          "phase":[
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            }
          ],
          "capacity":[
            {
              "numerator":1,
              "denominator":1
            },
            {
              "numerator":1,
              "denominator":1
            },
            {
              "numerator":1,
              "denominator":1
            },
            {
              "numerator":1,
              "denominator":1
            },
            {
              "numerator":1,
              "denominator":1
            }
          ],
          "degrees":[
            2,
            2,
            2,
            2,
            2
          ],
          "form_gradient":[
            {
              "numerator":-20460,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":20460,
              "denominator":1
            }
          ],
          "relative_resultant":[
            [
              {
                "lo":{
                  "numerator":2,
                  "denominator":1
                },
                "hi":{
                  "numerator":2,
                  "denominator":1
                }
              },
              {
                "lo":{
                  "numerator":0,
                  "denominator":1
                },
                "hi":{
                  "numerator":0,
                  "denominator":1
                }
              }
            ],
            [
              {
                "lo":{
                  "numerator":2,
                  "denominator":1
                },
                "hi":{
                  "numerator":2,
                  "denominator":1
                }
              },
              {
                "lo":{
                  "numerator":0,
                  "denominator":1
                },
                "hi":{
                  "numerator":0,
                  "denominator":1
                }
              }
            ],
            [
              {
                "lo":{
                  "numerator":2,
                  "denominator":1
                },
                "hi":{
                  "numerator":2,
                  "denominator":1
                }
              },
              {
                "lo":{
                  "numerator":0,
                  "denominator":1
                },
                "hi":{
                  "numerator":0,
                  "denominator":1
                }
              }
            ],
            [
              {
                "lo":{
                  "numerator":2,
                  "denominator":1
                },
                "hi":{
                  "numerator":2,
                  "denominator":1
                }
              },
              {
                "lo":{
                  "numerator":0,
                  "denominator":1
                },
                "hi":{
                  "numerator":0,
                  "denominator":1
                }
              }
            ],
            [
              {
                "lo":{
                  "numerator":2,
                  "denominator":1
                },
                "hi":{
                  "numerator":2,
                  "denominator":1
                }
              },
              {
                "lo":{
                  "numerator":0,
                  "denominator":1
                },
                "hi":{
                  "numerator":0,
                  "denominator":1
                }
              }
            ]
          ],
          "inverse_phase_metric":[
            {
              "lo":{
                "numerator":3384851296404838063965694608455029623,
                "denominator":21267647932558653966460912964485513216
              },
              "hi":{
                "numerator":54157620742477409023451113735280473969,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":3384851296404838063965694608455029623,
                "denominator":21267647932558653966460912964485513216
              },
              "hi":{
                "numerator":54157620742477409023451113735280473969,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":3384851296404838063965694608455029623,
                "denominator":21267647932558653966460912964485513216
              },
              "hi":{
                "numerator":54157620742477409023451113735280473969,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":3384851296404838063965694608455029623,
                "denominator":21267647932558653966460912964485513216
              },
              "hi":{
                "numerator":54157620742477409023451113735280473969,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":3384851296404838063965694608455029623,
                "denominator":21267647932558653966460912964485513216
              },
              "hi":{
                "numerator":54157620742477409023451113735280473969,
                "denominator":340282366920938463463374607431768211456
              }
            }
          ],
          "phase_sources":[
            {
              "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
              }
            }
          ],
          "pressure":[
            {
              "lo":{
                "numerator":5232645,
                "denominator":512
              },
              "hi":{
                "numerator":5232645,
                "denominator":512
              }
            },
            {
              "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":-5232645,
                "denominator":512
              },
              "hi":{
                "numerator":-5232645,
                "denominator":512
              }
            }
          ],
          "form_rates":[
            {
              "lo":{
                "numerator":5232645,
                "denominator":512
              },
              "hi":{
                "numerator":5232645,
                "denominator":512
              }
            },
            {
              "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":-5232645,
                "denominator":512
              },
              "hi":{
                "numerator":-5232645,
                "denominator":512
              }
            }
          ],
          "phase_rates":[
            {
              "lo":{
                "numerator":-1082094648819421668574032995140467282623,
                "denominator":340282366920938463463374607431768211456
              },
              "hi":{
                "numerator":-541047324409710834287016497570233641301,
                "denominator":170141183460469231731687303715884105728
              }
            },
            {
              "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":541047324409710834287016497570233641301,
                "denominator":170141183460469231731687303715884105728
              },
              "hi":{
                "numerator":1082094648819421668574032995140467282623,
                "denominator":340282366920938463463374607431768211456
              }
            }
          ],
          "form_storage":{
            "numerator":167444640,
            "denominator":1
          },
          "phase_storage":{
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          "storage":{
            "lo":{
              "numerator":167444640,
              "denominator":1
            },
            "hi":{
              "numerator":167444640,
              "denominator":1
            }
          },
          "dissipation":[
            {
              "numerator":26764979175,
              "denominator":128
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":0,
              "denominator":1
            },
            {
              "numerator":26764979175,
              "denominator":128
            }
          ],
          "continuous_loss":{
            "numerator":26764979175,
            "denominator":64
          },
          "form_work":[
            {
              "lo":{
                "numerator":-26764979175,
                "denominator":128
              },
              "hi":{
                "numerator":-26764979175,
                "denominator":128
              }
            },
            {
              "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":-26764979175,
                "denominator":128
              },
              "hi":{
                "numerator":-26764979175,
                "denominator":128
              }
            }
          ],
          "phase_work":[
            {
              "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
              }
            }
          ],
          "node_balance_residual":[
            {
              "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
              }
            }
          ],
          "storage_rate":{
            "lo":{
              "numerator":-26764979175,
              "denominator":64
            },
            "hi":{
              "numerator":-26764979175,
              "denominator":64
            }
          },
          "balance_residual":{
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          "law":"normalized_sine_reciprocal_exchange",
          "arithmetic_method":"rational_outward_dyadic128_machin_trigonometry_v1",
          "scope":[
            "conditional_comparison_with_normalized_pairwise_pressure_superposition_premise",
            "fixed_simple_connected_unit_support_held_nonnegative_capacity_no_input_or_events",
            "same_reference_coefficients_storage_and_nodal_product_but_changed_pressure_and_phase_law",
            "ideal_globally_smooth_continuous_law_not_a_native_boundary_continuation",
            "instantaneous_enclosures_at_exact_captured_represented_coordinates",
            "computed_work_residual_enclosures_are_not_forced_to_zero",
            "no_graph_write_trajectory_solver_or_finite_step_stability_certificate",
            "no_frozen_response_reinterpretation_constitutive_selection_or_physical_identification"
          ]
        },
        "reference_model":{
          "storage_scale":1.0,
          "epi_weight":0.9990234375,
          "phase_weight":0.0009765625,
          "phase_domain":"regular"
        },
        "geometry":{
          "nodes":[
            0,
            1,
            2,
            3,
            4
          ],
          "edges":[
            [
              0,
              1
            ],
            [
              0,
              4
            ],
            [
              1,
              2
            ],
            [
              2,
              3
            ],
            [
              3,
              4
            ]
          ],
          "incidence":[
            [
              -1,
              -1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              -1,
              0,
              0
            ],
            [
              0,
              0,
              1,
              -1,
              0
            ],
            [
              0,
              0,
              0,
              1,
              -1
            ],
            [
              0,
              1,
              0,
              0,
              1
            ]
          ],
          "tree_edge_indices":[
            0,
            1,
            2,
            4
          ],
          "fundamental_cycles":[
            [
              2,
              3,
              4,
              0,
              1
            ]
          ],
          "cycle_rows":[
            [
              1,
              -1,
              1,
              1,
              1
            ]
          ],
          "bridge_edge_indices":[],
          "cycle_rank":1,
          "short_cycle_span_rank":0,
          "scope":[
            "connected_simple_undirected_phase_support_without_self_loops",
            "node_order_and_cycle_basis_are_coordinates_not_physical_selectors",
            "all_support_edges_retained_independently_of_transport_weights",
            "integer_fundamental_cycles_and_exact_rational_short_cycle_rank",
            "32_node_50_edge_evaluation_budget_is_not_a_physical_restriction",
            "no_graph_write_live_phase_admission_or_trajectory_claim"
          ]
        },
        "scaled_time":{
          "numerator":100,
          "denominator":1
        },
        "horizon":{
          "numerator":102400,
          "denominator":1023
        },
        "coefficient_ratio":{
          "numerator":1,
          "denominator":1023
        },
        "weighted_form_mean":{
          "numerator":0,
          "denominator":1
        },
        "common_initial_phase":{
          "numerator":0,
          "denominator":1
        },
        "initial_form_storage":{
          "numerator":167444640,
          "denominator":1
        },
        "initial_cycle_periods":[
          0
        ],
        "mobility":[
          {
            "numerator":1,
            "denominator":2
          },
          {
            "numerator":1,
            "denominator":2
          },
          {
            "numerator":1,
            "denominator":2
          },
          {
            "numerator":1,
            "denominator":2
          },
          {
            "numerator":1,
            "denominator":2
          }
        ],
        "metric_weights":[
          {
            "numerator":2,
            "denominator":1
          },
          {
            "numerator":2,
            "denominator":1
          },
          {
            "numerator":2,
            "denominator":1
          },
          {
            "numerator":2,
            "denominator":1
          },
          {
            "numerator":2,
            "denominator":1
          }
        ],
        "weighted_gap_lower_bound":{
          "numerator":448473611175989202271473736743469,
          "denominator":649037107316853453566312041152512
        },
        "exponential_decay_bounds":{
          "lo":{
            "numerator":166647501,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":333295003,
            "denominator":340282366920938463463374607431768211456
          }
        },
        "form_to_phase_scale_bounds":{
          "lo":{
            "numerator":3308750045361523034179564622145679,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":105880001451568737093746067908661729,
            "denominator":340282366920938463463374607431768211456
          }
        },
        "feedback_strength_bounds":{
          "lo":{
            "numerator":32944918095003358548072239388471,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":4118114761875419818509029923559,
            "denominator":42535295865117307932921825928971026432
          }
        },
        "scaled_initial_form_bounds":[
          {
            "lo":{
              "numerator":-108315241484954818046902227470560948767,
              "denominator":42535295865117307932921825928971026432
            },
            "hi":{
              "numerator":-3384851296404838063965694608455029617,
              "denominator":1329227995784915872903807060280344576
            }
          },
          {
            "lo":{
              "numerator":-108315241484954818046902227470560948767,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":-3384851296404838063965694608455029617,
              "denominator":2658455991569831745807614120560689152
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":3384851296404838063965694608455029617,
              "denominator":2658455991569831745807614120560689152
            },
            "hi":{
              "numerator":108315241484954818046902227470560948767,
              "denominator":85070591730234615865843651857942052864
            }
          },
          {
            "lo":{
              "numerator":3384851296404838063965694608455029617,
              "denominator":1329227995784915872903807060280344576
            },
            "hi":{
              "numerator":108315241484954818046902227470560948767,
              "denominator":42535295865117307932921825928971026432
            }
          }
        ],
        "scaled_initial_norm_bounds":{
          "lo":{
            "numerator":968800971838656950339166626880802860939,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1937601943677313900678333253761605740179,
            "denominator":340282366920938463463374607431768211456
          }
        },
        "forcing_norm_bounds":{
          "lo":{
            "numerator":538033663531651603439052878632246312613,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1076067327063303206878105757264492625227,
            "denominator":340282366920938463463374607431768211456
          }
        },
        "scaled_form_radius_upper_bound":{
          "numerator":23008982010304234119918188605260102039344125477931667399513119094108295071734909403728137382216786625581,
          "denominator":51929696405871587524613131166530889027145348407936364531085741583105627528651747349564405362656927301169577984
        },
        "phase_radius_upper_bound":{
          "numerator":1612890536595582647192823476401647635950511197206591586748702139894799540288857111829602274520115375279181,
          "denominator":51929696405871587524613131166530889027145348407936364531085741583105627528651747349564405362656927301169577984
        },
        "endpoint_form_bounds":[
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          }
        ],
        "endpoint_phase_bounds":[
          {
            "lo":{
              "numerator":-216632351299817593001849427398866550243,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":-216628614640001679185759482483377242779,
              "denominator":85070591730234615865843651857942052864
            }
          },
          {
            "lo":{
              "numerator":-27079277453715693738736799982076400369,
              "denominator":21267647932558653966460912964485513216
            },
            "hi":{
              "numerator":-108313373155046861138857255012816295035,
              "denominator":85070591730234615865843651857942052864
            }
          },
          {
            "lo":{
              "numerator":-1868329907956908044972457744652709,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":1868329907956908044972457744652709,
              "denominator":85070591730234615865843651857942052864
            }
          },
          {
            "lo":{
              "numerator":108313373155046861138857255012816295035,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":27079277453715693738736799982076400369,
              "denominator":21267647932558653966460912964485513216
            }
          },
          {
            "lo":{
              "numerator":216628614640001679185759482483377242779,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":216632351299817593001849427398866550243,
              "denominator":85070591730234615865843651857942052864
            }
          }
        ],
        "endpoint_form_edge_gap_bounds":[
          {
            "lo":{
              "numerator":-484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":-484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":-484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":-484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":-484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            },
            "hi":{
              "numerator":484558897285782891664313703884189361,
              "denominator":340282366920938463463374607431768211456
            }
          }
        ],
        "endpoint_phase_edge_gap_bounds":[
          {
            "lo":{
              "numerator":216625198534919996222390507355385409137,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":216635767404899275965218402526858383885,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":866516647444648904503803872178751095601,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":866527216314628184246631767350224076487,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":216625198534919996222390507355385409137,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":216635767404899275965218402526858383885,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":216625198534919996222390507355385409137,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":216635767404899275965218402526858383885,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":216625198534919996222390507355385409137,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":216635767404899275965218402526858383885,
              "denominator":170141183460469231731687303715884105728
            }
          }
        ],
        "capture":{
          "source":{
            "reference_model":{
              "storage_scale":1.0,
              "epi_weight":0.9990234375,
              "phase_weight":0.0009765625,
              "phase_domain":"regular"
            },
            "nodes":[
              0,
              1,
              2,
              3,
              4
            ],
            "edges":[
              [
                0,
                1
              ],
              [
                0,
                4
              ],
              [
                1,
                2
              ],
              [
                2,
                3
              ],
              [
                3,
                4
              ]
            ],
            "epi":[
              {
                "numerator":-8184,
                "denominator":1
              },
              {
                "numerator":-4092,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":4092,
                "denominator":1
              },
              {
                "numerator":8184,
                "denominator":1
              }
            ],
            "phase":[
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              }
            ],
            "capacity":[
              {
                "numerator":1,
                "denominator":1
              },
              {
                "numerator":1,
                "denominator":1
              },
              {
                "numerator":1,
                "denominator":1
              },
              {
                "numerator":1,
                "denominator":1
              },
              {
                "numerator":1,
                "denominator":1
              }
            ],
            "degrees":[
              2,
              2,
              2,
              2,
              2
            ],
            "form_gradient":[
              {
                "numerator":-20460,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":20460,
                "denominator":1
              }
            ],
            "relative_resultant":[
              [
                {
                  "lo":{
                    "numerator":2,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":2,
                    "denominator":1
                  }
                },
                {
                  "lo":{
                    "numerator":0,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":0,
                    "denominator":1
                  }
                }
              ],
              [
                {
                  "lo":{
                    "numerator":2,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":2,
                    "denominator":1
                  }
                },
                {
                  "lo":{
                    "numerator":0,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":0,
                    "denominator":1
                  }
                }
              ],
              [
                {
                  "lo":{
                    "numerator":2,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":2,
                    "denominator":1
                  }
                },
                {
                  "lo":{
                    "numerator":0,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":0,
                    "denominator":1
                  }
                }
              ],
              [
                {
                  "lo":{
                    "numerator":2,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":2,
                    "denominator":1
                  }
                },
                {
                  "lo":{
                    "numerator":0,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":0,
                    "denominator":1
                  }
                }
              ],
              [
                {
                  "lo":{
                    "numerator":2,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":2,
                    "denominator":1
                  }
                },
                {
                  "lo":{
                    "numerator":0,
                    "denominator":1
                  },
                  "hi":{
                    "numerator":0,
                    "denominator":1
                  }
                }
              ]
            ],
            "inverse_phase_metric":[
              {
                "lo":{
                  "numerator":3384851296404838063965694608455029623,
                  "denominator":21267647932558653966460912964485513216
                },
                "hi":{
                  "numerator":54157620742477409023451113735280473969,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              {
                "lo":{
                  "numerator":3384851296404838063965694608455029623,
                  "denominator":21267647932558653966460912964485513216
                },
                "hi":{
                  "numerator":54157620742477409023451113735280473969,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              {
                "lo":{
                  "numerator":3384851296404838063965694608455029623,
                  "denominator":21267647932558653966460912964485513216
                },
                "hi":{
                  "numerator":54157620742477409023451113735280473969,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              {
                "lo":{
                  "numerator":3384851296404838063965694608455029623,
                  "denominator":21267647932558653966460912964485513216
                },
                "hi":{
                  "numerator":54157620742477409023451113735280473969,
                  "denominator":340282366920938463463374607431768211456
                }
              },
              {
                "lo":{
                  "numerator":3384851296404838063965694608455029623,
                  "denominator":21267647932558653966460912964485513216
                },
                "hi":{
                  "numerator":54157620742477409023451113735280473969,
                  "denominator":340282366920938463463374607431768211456
                }
              }
            ],
            "phase_sources":[
              {
                "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
                }
              }
            ],
            "pressure":[
              {
                "lo":{
                  "numerator":5232645,
                  "denominator":512
                },
                "hi":{
                  "numerator":5232645,
                  "denominator":512
                }
              },
              {
                "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":-5232645,
                  "denominator":512
                },
                "hi":{
                  "numerator":-5232645,
                  "denominator":512
                }
              }
            ],
            "form_rates":[
              {
                "lo":{
                  "numerator":5232645,
                  "denominator":512
                },
                "hi":{
                  "numerator":5232645,
                  "denominator":512
                }
              },
              {
                "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":-5232645,
                  "denominator":512
                },
                "hi":{
                  "numerator":-5232645,
                  "denominator":512
                }
              }
            ],
            "phase_rates":[
              {
                "lo":{
                  "numerator":-1082094648819421668574032995140467282623,
                  "denominator":340282366920938463463374607431768211456
                },
                "hi":{
                  "numerator":-541047324409710834287016497570233641301,
                  "denominator":170141183460469231731687303715884105728
                }
              },
              {
                "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":541047324409710834287016497570233641301,
                  "denominator":170141183460469231731687303715884105728
                },
                "hi":{
                  "numerator":1082094648819421668574032995140467282623,
                  "denominator":340282366920938463463374607431768211456
                }
              }
            ],
            "form_storage":{
              "numerator":167444640,
              "denominator":1
            },
            "phase_storage":{
              "lo":{
                "numerator":0,
                "denominator":1
              },
              "hi":{
                "numerator":0,
                "denominator":1
              }
            },
            "storage":{
              "lo":{
                "numerator":167444640,
                "denominator":1
              },
              "hi":{
                "numerator":167444640,
                "denominator":1
              }
            },
            "dissipation":[
              {
                "numerator":26764979175,
                "denominator":128
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":0,
                "denominator":1
              },
              {
                "numerator":26764979175,
                "denominator":128
              }
            ],
            "continuous_loss":{
              "numerator":26764979175,
              "denominator":64
            },
            "form_work":[
              {
                "lo":{
                  "numerator":-26764979175,
                  "denominator":128
                },
                "hi":{
                  "numerator":-26764979175,
                  "denominator":128
                }
              },
              {
                "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":-26764979175,
                  "denominator":128
                },
                "hi":{
                  "numerator":-26764979175,
                  "denominator":128
                }
              }
            ],
            "phase_work":[
              {
                "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
                }
              }
            ],
            "node_balance_residual":[
              {
                "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
                }
              }
            ],
            "storage_rate":{
              "lo":{
                "numerator":-26764979175,
                "denominator":64
              },
              "hi":{
                "numerator":-26764979175,
                "denominator":64
              }
            },
            "balance_residual":{
              "lo":{
                "numerator":0,
                "denominator":1
              },
              "hi":{
                "numerator":0,
                "denominator":1
              }
            },
            "law":"normalized_sine_reciprocal_exchange",
            "arithmetic_method":"rational_outward_dyadic128_machin_trigonometry_v1",
            "scope":[
              "conditional_comparison_with_normalized_pairwise_pressure_superposition_premise",
              "fixed_simple_connected_unit_support_held_nonnegative_capacity_no_input_or_events",
              "same_reference_coefficients_storage_and_nodal_product_but_changed_pressure_and_phase_law",
              "ideal_globally_smooth_continuous_law_not_a_native_boundary_continuation",
              "instantaneous_enclosures_at_exact_captured_represented_coordinates",
              "computed_work_residual_enclosures_are_not_forced_to_zero",
              "no_graph_write_trajectory_solver_or_finite_step_stability_certificate",
              "no_frozen_response_reinterpretation_constitutive_selection_or_physical_identification"
            ]
          },
          "reference_model":{
            "storage_scale":1.0,
            "epi_weight":0.9990234375,
            "phase_weight":0.0009765625,
            "phase_domain":"regular"
          },
          "nodes":[
            0,
            1,
            2,
            3,
            4
          ],
          "edges":[
            [
              0,
              1
            ],
            [
              0,
              4
            ],
            [
              1,
              2
            ],
            [
              2,
              3
            ],
            [
              3,
              4
            ]
          ],
          "geometry":{
            "nodes":[
              0,
              1,
              2,
              3,
              4
            ],
            "edges":[
              [
                0,
                1
              ],
              [
                0,
                4
              ],
              [
                1,
                2
              ],
              [
                2,
                3
              ],
              [
                3,
                4
              ]
            ],
            "incidence":[
              [
                -1,
                -1,
                0,
                0,
                0
              ],
              [
                1,
                0,
                -1,
                0,
                0
              ],
              [
                0,
                0,
                1,
                -1,
                0
              ],
              [
                0,
                0,
                0,
                1,
                -1
              ],
              [
                0,
                1,
                0,
                0,
                1
              ]
            ],
            "tree_edge_indices":[
              0,
              1,
              2,
              4
            ],
            "fundamental_cycles":[
              [
                2,
                3,
                4,
                0,
                1
              ]
            ],
            "cycle_rows":[
              [
                1,
                -1,
                1,
                1,
                1
              ]
            ],
            "bridge_edge_indices":[],
            "cycle_rank":1,
            "short_cycle_span_rank":0,
            "scope":[
              "connected_simple_undirected_phase_support_without_self_loops",
              "node_order_and_cycle_basis_are_coordinates_not_physical_selectors",
              "all_support_edges_retained_independently_of_transport_weights",
              "integer_fundamental_cycles_and_exact_rational_short_cycle_rank",
              "32_node_50_edge_evaluation_budget_is_not_a_physical_restriction",
              "no_graph_write_live_phase_admission_or_trajectory_claim"
            ]
          },
          "edge_turn_offsets":[
            0,
            -1,
            0,
            0,
            0
          ],
          "cycle_periods":[
            1
          ],
          "uncertainty_scope":"analytic_weighted_Duhamel_endpoint_with_correlated_norm_bounds_and_conserved_mean_leaf",
          "observation_time":{
            "numerator":102400,
            "denominator":1023
          },
          "input_forecast_admitted":null,
          "input_forecast_requested_end_time":null,
          "capacity_bounds":[
            {
              "lo":{
                "numerator":1,
                "denominator":1
              },
              "hi":{
                "numerator":1,
                "denominator":1
              }
            },
            {
              "lo":{
                "numerator":1,
                "denominator":1
              },
              "hi":{
                "numerator":1,
                "denominator":1
              }
            },
            {
              "lo":{
                "numerator":1,
                "denominator":1
              },
              "hi":{
                "numerator":1,
                "denominator":1
              }
            },
            {
              "lo":{
                "numerator":1,
                "denominator":1
              },
              "hi":{
                "numerator":1,
                "denominator":1
              }
            },
            {
              "lo":{
                "numerator":1,
                "denominator":1
              },
              "hi":{
                "numerator":1,
                "denominator":1
              }
            }
          ],
          "exact_held_capacity":[
            {
              "numerator":1,
              "denominator":1
            },
            {
              "numerator":1,
              "denominator":1
            },
            {
              "numerator":1,
              "denominator":1
            },
            {
              "numerator":1,
              "denominator":1
            },
            {
              "numerator":1,
              "denominator":1
            }
          ],
          "form_edge_gap_bounds":[
            {
              "lo":{
                "numerator":-484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              },
              "hi":{
                "numerator":484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":-484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              },
              "hi":{
                "numerator":484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":-484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              },
              "hi":{
                "numerator":484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":-484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              },
              "hi":{
                "numerator":484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":-484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              },
              "hi":{
                "numerator":484558897285782891664313703884189361,
                "denominator":340282366920938463463374607431768211456
              }
            }
          ],
          "phase_edge_gap_bounds":[
            {
              "lo":{
                "numerator":216625198534919996222390507355385409137,
                "denominator":170141183460469231731687303715884105728
              },
              "hi":{
                "numerator":216635767404899275965218402526858383885,
                "denominator":170141183460469231731687303715884105728
              }
            },
            {
              "lo":{
                "numerator":-50627984155079460838969125245779921925,
                "denominator":42535295865117307932921825928971026432
              },
              "hi":{
                "numerator":-202501367750338563613048605811646706813,
                "denominator":170141183460469231731687303715884105728
              }
            },
            {
              "lo":{
                "numerator":216625198534919996222390507355385409137,
                "denominator":170141183460469231731687303715884105728
              },
              "hi":{
                "numerator":216635767404899275965218402526858383885,
                "denominator":170141183460469231731687303715884105728
              }
            },
            {
              "lo":{
                "numerator":216625198534919996222390507355385409137,
                "denominator":170141183460469231731687303715884105728
              },
              "hi":{
                "numerator":216635767404899275965218402526858383885,
                "denominator":170141183460469231731687303715884105728
              }
            },
            {
              "lo":{
                "numerator":216625198534919996222390507355385409137,
                "denominator":170141183460469231731687303715884105728
              },
              "hi":{
                "numerator":216635767404899275965218402526858383885,
                "denominator":170141183460469231731687303715884105728
              }
            }
          ],
          "edge_acute_margin_bounds":[
            {
              "lo":{
                "numerator":12655344652835602749925422690902327985,
                "denominator":42535295865117307932921825928971026432
              },
              "hi":{
                "numerator":101263894962643381485059171870164573377,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":64745209395923843609043592307348008125,
                "denominator":170141183460469231731687303715884105728
              },
              "hi":{
                "numerator":129511556531806246703742974957641978025,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":12655344652835602749925422690902327985,
                "denominator":42535295865117307932921825928971026432
              },
              "hi":{
                "numerator":101263894962643381485059171870164573377,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":12655344652835602749925422690902327985,
                "denominator":42535295865117307932921825928971026432
              },
              "hi":{
                "numerator":101263894962643381485059171870164573377,
                "denominator":340282366920938463463374607431768211456
              }
            },
            {
              "lo":{
                "numerator":12655344652835602749925422690902327985,
                "denominator":42535295865117307932921825928971026432
              },
              "hi":{
                "numerator":101263894962643381485059171870164573377,
                "denominator":340282366920938463463374607431768211456
              }
            }
          ],
          "form_storage_bounds":{
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":1725018306586004600139414311026495,
              "denominator":340282366920938463463374607431768211456
            }
          },
          "phase_storage_bounds":{
            "lo":{
              "numerator":146987298207574074348068352525873659537,
              "denominator":42535295865117307932921825928971026432
            },
            "hi":{
              "numerator":1176004074360385392212825771921719036059,
              "denominator":340282366920938463463374607431768211456
            }
          },
          "storage_bounds":{
            "lo":{
              "numerator":146987298207574074348068352525873659537,
              "denominator":42535295865117307932921825928971026432
            },
            "hi":{
              "numerator":588002899689345989108712955668015031277,
              "denominator":170141183460469231731687303715884105728
            }
          },
          "storage_upper_bound":{
            "numerator":588002899689345989108712955668015031277,
            "denominator":170141183460469231731687303715884105728
          },
          "boundary_face_lower_bounds":[
            {
              "numerator":2235926126637175691246713223739776448923,
              "denominator":340282366920938463463374607431768211456
            },
            {
              "numerator":295132534504551463807861971912080036317,
              "denominator":85070591730234615865843651857942052864
            },
            {
              "numerator":295132534504551463807861971912080036317,
              "denominator":85070591730234615865843651857942052864
            },
            {
              "numerator":2235926126637175691246713223739776448923,
              "denominator":340282366920938463463374607431768211456
            },
            {
              "numerator":2235926126637175691246713223739776448923,
              "denominator":340282366920938463463374607431768211456
            },
            {
              "numerator":295132534504551463807861971912080036317,
              "denominator":85070591730234615865843651857942052864
            },
            {
              "numerator":2235926126637175691246713223739776448923,
              "denominator":340282366920938463463374607431768211456
            },
            {
              "numerator":295132534504551463807861971912080036317,
              "denominator":85070591730234615865843651857942052864
            },
            {
              "numerator":2235926126637175691246713223739776448923,
              "denominator":340282366920938463463374607431768211456
            },
            {
              "numerator":295132534504551463807861971912080036317,
              "denominator":85070591730234615865843651857942052864
            }
          ],
          "boundary_phase_storage_lower_bound":{
            "numerator":295132534504551463807861971912080036317,
            "denominator":85070591730234615865843651857942052864
          },
          "boundary_storage_lower_bound":{
            "numerator":295132534504551463807861971912080036317,
            "denominator":85070591730234615865843651857942052864
          },
          "energy_margin":{
            "numerator":2262169319756938507010988156145041357,
            "denominator":170141183460469231731687303715884105728
          },
          "weighted_form_mean":{
            "numerator":0,
            "denominator":1
          },
          "weighted_phase_mean":{
            "numerator":0,
            "denominator":1
          },
          "weighted_mean_scope":"exact_initial_means_of_enclosed_trajectory_not_every_point_of_outer_node_box",
          "hypothesis_failures":[],
          "unresolved_conditions":[],
          "status":"admitted",
          "arithmetic_method":"rational_outward_dyadic128_machin_trigonometry_v1",
          "scope":[
            "complete_connected_simple_unit_support_and_normalized_sine_two_row_law",
            "positive_held_capacities_positive_form_loss_exchange_and_storage_scale",
            "canonical_edge_offsets_are_independent_integers_not_nodal_target_coordinates",
            "full_acute_cell_modulo_common_phase_with_all_signed_edge_boundary_faces",
            "cycle_periods_derived_by_exact_telescoping_in_the_integer_fundamental_basis",
            "whole_source_set_acute_admission_and_full_form_plus_phase_storage",
            "all_face_supporting_hyperplane_lower_bounds_not_sampled_boundary_values",
            "strict_storage_barrier_proves_interior_existence_uniqueness_and_capture",
            "equilibrium_coordinates_and_recovery_time_are_not_supplied_or_estimated",
            "weighted_form_and_lifted_phase_means_are_conserved_per_complete_state",
            "relative_sources_leave_their_absolute_common_origins_unobserved",
            "forecast_endpoint_set_is_read_at_its_actual_reported_validated_time_only",
            "structural_revalidation_and_public_dataclasses_do_not_authenticate_source_provenance",
            "no_trajectory_event_selection_sector_creation_native_Arg_or_physical_identity_claim"
          ]
        },
        "hypothesis_failures":[],
        "unresolved_conditions":[],
        "status":"admitted",
        "arithmetic_method":"rational_outward_dyadic128_machin_trigonometry_v1",
        "scope":[
          "exact_phase_flat_source_or_original_complete_correlated_residual_preparation_set",
          "same_complete_normalized_sine_law_positive_held_capacity_and_loss_throughout",
          "scaled_clock_tau_equals_epi_weight_times_structural_time_all_rows_transformed",
          "full_support_weighted_mean_and_exact_rational_reversible_quotient_gap",
          "global_sine_current_bound_and_weighted_Duhamel_estimate_allow_nonacute_transit",
          "shared_rational_negative_exponential_with_exponent_at_most_4096",
          "full_node_endpoint_boxes_and_tighter_correlated_weighted_norm_edge_bounds",
          "each_actual_trajectory_retains_its_own_initial_weighted_form_and_phase_means",
          "unknown_common_origins_make_absolute_pattern_endpoints_unavailable",
          "weighted_centering_contracts_residual_norm_and_retains_node_and_edge_error_bounds",
          "node_box_is_an_outer_projection_not_an_independent_initial_observation_set",
          "shared_all_face_total_storage_capture_without_supplied_equilibrium_coordinates",
          "acquisition_requires_a_nonzero_period_after_initial_zero_phase_periods",
          "supplied_coefficients_time_and_form_profile_are_not_retuned_or_optimized",
          "unavailable_is_not_impossibility_and_capture_alone_is_not_nonzero_acquisition",
          "source_dataclasses_and_projection_do_not_authenticate_capture_provenance",
          "no_solver_trajectory_forcing_event_autonomous_preparation_or_physical_identity"
        ],
        "centered_endpoint_form_bounds":[
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          },
          {
            "lo":{
              "numerator":-171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":171317441077526420152345208327011503,
              "denominator":170141183460469231731687303715884105728
            }
          }
        ],
        "centered_endpoint_phase_bounds":[
          {
            "lo":{
              "numerator":-216632351299817593001849427398866550243,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":-216628614640001679185759482483377242779,
              "denominator":85070591730234615865843651857942052864
            }
          },
          {
            "lo":{
              "numerator":-27079277453715693738736799982076400369,
              "denominator":21267647932558653966460912964485513216
            },
            "hi":{
              "numerator":-108313373155046861138857255012816295035,
              "denominator":85070591730234615865843651857942052864
            }
          },
          {
            "lo":{
              "numerator":-1868329907956908044972457744652709,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":1868329907956908044972457744652709,
              "denominator":85070591730234615865843651857942052864
            }
          },
          {
            "lo":{
              "numerator":108313373155046861138857255012816295035,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":27079277453715693738736799982076400369,
              "denominator":21267647932558653966460912964485513216
            }
          },
          {
            "lo":{
              "numerator":216628614640001679185759482483377242779,
              "denominator":85070591730234615865843651857942052864
            },
            "hi":{
              "numerator":216632351299817593001849427398866550243,
              "denominator":85070591730234615865843651857942052864
            }
          }
        ],
        "endpoint_coordinate_scope":"exact_source_absolute_and_centered_endpoints",
        "mean_scope":"exact_initial_means_of_enclosed_trajectory_not_every_point_of_outer_node_box",
        "nominal_weighted_form_mean":{
          "numerator":0,
          "denominator":1
        },
        "nominal_weighted_phase_mean":{
          "numerator":0,
          "denominator":1
        },
        "form_error_bounds":[
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        "phase_error_bounds":[
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        "centered_form_error_bounds":[
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        "centered_phase_error_bounds":[
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          },
          {
            "numerator":0,
            "denominator":1
          }
        ],
        "nominal_scaled_initial_norm_bounds":{
          "lo":{
            "numerator":968800971838656950339166626880802860939,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1937601943677313900678333253761605740179,
            "denominator":340282366920938463463374607431768211456
          }
        },
        "scaled_initial_error_norm_upper_bound":{
          "numerator":0,
          "denominator":1
        },
        "initial_form_storage_bounds":{
          "lo":{
            "numerator":167444640,
            "denominator":1
          },
          "hi":{
            "numerator":167444640,
            "denominator":1
          }
        },
        "initial_phase_storage_bounds":{
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        "initial_storage_bounds":{
          "lo":{
            "numerator":167444640,
            "denominator":1
          },
          "hi":{
            "numerator":167444640,
            "denominator":1
          }
        },
        "initial_phase_edge_gap_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
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          },
          {
            "lo":{
              "numerator":0,
              "denominator":1
            },
            "hi":{
              "numerator":0,
              "denominator":1
            }
          }
        ],
        "initial_acute_margin_bounds":[
          {
            "lo":{
              "numerator":267257146016241686964920093290467695825,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":534514292032483373929840186580935391651,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":267257146016241686964920093290467695825,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":534514292032483373929840186580935391651,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":267257146016241686964920093290467695825,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":534514292032483373929840186580935391651,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":267257146016241686964920093290467695825,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":534514292032483373929840186580935391651,
              "denominator":340282366920938463463374607431768211456
            }
          },
          {
            "lo":{
              "numerator":267257146016241686964920093290467695825,
              "denominator":170141183460469231731687303715884105728
            },
            "hi":{
              "numerator":534514292032483373929840186580935391651,
              "denominator":340282366920938463463374607431768211456
            }
          }
        ],
        "initial_zero_winding_certified":true
      },
      "recovered_child_norm_bound":{
        "numerator":1,
        "denominator":100000000
      },
      "initial_full_form_error_upper_bound":{
        "numerator":3,
        "denominator":100000000
      },
      "initial_full_phase_error_upper_bound":{
        "numerator":3,
        "denominator":100000000
      },
      "full_form_error_upper_bound":{
        "numerator":22035379504700942990764221054511173651412707795794775085498056918805074339273,
        "denominator":723700557733226221397318656304299424082937404160253525246609900049457060249600000000
      },
      "full_phase_error_upper_bound":{
        "numerator":204232948153434019320281012099806123911,
        "denominator":3402823669209384634633746074317682114560000000
      },
      "fine_error_growth_upper_bound":{
        "numerator":2,
        "denominator":1
      },
      "fine_error_convolution_factor":{
        "numerator":24,
        "denominator":1
      },
      "form_laplacian_gap_lower_bound":{
        "numerator":1,
        "denominator":3
      },
      "target_storage_bounds":{
        "lo":{
          "numerator":7081656374385392234231958051463347026205,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":3540828187192696117115979025731673513305,
          "denominator":85070591730234615865843651857942052864
        }
      },
      "internal_cycle_minimum_bounds":{
        "lo":{
          "numerator":716498555848023651768225418177480406391,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":89562319481002956471028177272185050809,
          "denominator":42535295865117307932921825928971026432
        }
      },
      "outer_cycle_minimum_bounds":{
        "lo":{
          "numerator":1175646663281185134402532112448810224495,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":293911665820296283600633028112202556135,
          "denominator":85070591730234615865843651857942052864
        }
      },
      "internal_positive_face_storage_bounds":{
        "lo":{
          "numerator":49941607544455311565350794498085216459,
          "denominator":21267647932558653966460912964485513216
        },
        "hi":{
          "numerator":99883215088910623130701588996170432921,
          "denominator":42535295865117307932921825928971026432
        }
      },
      "internal_negative_face_storage_bounds":{
        "lo":{
          "numerator":193766908903328205238880762100349319063,
          "denominator":42535295865117307932921825928971026432
        },
        "hi":{
          "numerator":96883454451664102619440381050174659533,
          "denominator":21267647932558653966460912964485513216
        }
      },
      "outer_positive_face_storage_bounds":{
        "lo":{
          "numerator":295132534504551463807861971912080036323,
          "denominator":85070591730234615865843651857942052864
        },
        "hi":{
          "numerator":147566267252275731903930985956040018163,
          "denominator":42535295865117307932921825928971026432
        }
      },
      "internal_boundary_excess_bounds":{
        "lo":{
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        "hi":{
          "numerator":82567164863261333277387293791883056977,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "outer_boundary_excess_bounds":{
        "lo":{
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        "hi":{
          "numerator":4883474737020720828915775199509920809,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "boundary_energy_lower_bound":{
        "numerator":305217171063795051807235949969370047,
        "denominator":21267647932558653966460912964485513216
      },
      "signed_face_excess_lower_bounds":[
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        {
          "numerator":52102294711162624383926292414082134127,
          "denominator":21267647932558653966460912964485513216
        },
        {
          "numerator":10320895607907666659673411723985382109,
          "denominator":42535295865117307932921825928971026432
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        },
        null,
        {
          "numerator":305217171063795051807235949969370047,
          "denominator":21267647932558653966460912964485513216
        }
      ],
      "signed_face_feasible":[
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true,
        false,
        true
      ],
      "endpoint_nominal_excess_upper_bound":{
        "numerator":3232224877561594334044189984978542531,
        "denominator":340282366920938463463374607431768211456
      },
      "endpoint_residual_excess_upper_bound":{
        "numerator":110235580102086721619893928160941528755106201342892571888136041278207939488096283924436582656128275422842593805700223380699473121696689603839406116851481401786129,
        "denominator":130935624315845674800527587873103966088665681841722591579331654723845351856186982195330803693036166286035467365102402840368690261835415722133141103575040000000000000000
      },
      "endpoint_excess_upper_bound":{
        "numerator":1243822585715085747319831633125471134152146595324978956547899844984562278201193200715520250059098539241614820689583678167084975743068561819889183109156851481401786129,
        "denominator":130935624315845674800527587873103966088665681841722591579331654723845351856186982195330803693036166286035467365102402840368690261835415722133141103575040000000000000000
      },
      "capture_margin":{
        "numerator":635266299519546498273626929698384192801094237825704592872841471060456196659005354228742869771781218924268477567145242829317048933909173774426093506523148518598213871,
        "denominator":130935624315845674800527587873103966088665681841722591579331654723845351856186982195330803693036166286035467365102402840368690261835415722133141103575040000000000000000
      },
      "initial_internal_phase_gap_bounds":{
        "lo":{
          "numerator":14847618797771579513544703631363279367,
          "denominator":21267647932558653966460912964485513216
        },
        "hi":{
          "numerator":237561914375639949054253796636796767151,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "transit_internal_phase_gap_bounds":{
        "lo":{
          "numerator":118780933361701489974340331656551099273,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":237561948416582241322288391425507038477,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "initial_outer_phase_gap_bounds":{
        "lo":{
          "numerator":-1701411834604692317316873037159,
          "denominator":85070591730234615865843651857942052864
        },
        "hi":{
          "numerator":1701411834604692317316873037159,
          "denominator":85070591730234615865843651857942052864
        }
      },
      "endpoint_oriented_outer_phase_gap_bounds":[
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":791020887996264641678307319466974597,
            "denominator":664613997892457936451903530140172288
          },
          "hi":{
            "numerator":202511957043612658699278433011220897681,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":791020887996264641678307319466974597,
            "denominator":664613997892457936451903530140172288
          },
          "hi":{
            "numerator":202511957043612658699278433011220897681,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":791020887996264641678307319466974597,
            "denominator":664613997892457936451903530140172288
          },
          "hi":{
            "numerator":202511957043612658699278433011220897681,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":791020887996264641678307319466974597,
            "denominator":664613997892457936451903530140172288
          },
          "hi":{
            "numerator":202511957043612658699278433011220897681,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":791020887996264641678307319466974597,
            "denominator":664613997892457936451903530140172288
          },
          "hi":{
            "numerator":202511957043612658699278433011220897681,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":791020887996264641678307319466974597,
            "denominator":664613997892457936451903530140172288
          },
          "hi":{
            "numerator":202511957043612658699278433011220897681,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":791020887996264641678307319466974597,
            "denominator":664613997892457936451903530140172288
          },
          "hi":{
            "numerator":202511957043612658699278433011220897681,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":791020887996264641678307319466974597,
            "denominator":664613997892457936451903530140172288
          },
          "hi":{
            "numerator":202511957043612658699278433011220897681,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":54156294527906295219747143831821049789,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":108317893914097045654310167277479796933,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":791020887996264641678307319466974597,
            "denominator":664613997892457936451903530140172288
          },
          "hi":{
            "numerator":202511957043612658699278433011220897681,
            "denominator":170141183460469231731687303715884105728
          }
        }
      ],
      "attachment_nominal_work":{
        "numerator":1507001760,
        "denominator":1
      },
      "attachment_residual_work_upper_bound":{
        "numerator":1,
        "denominator":500000000000000
      },
      "attachment_work_upper_bound":{
        "numerator":753500880000000000000001,
        "denominator":500000000000000
      },
      "attachment_work_margin":{
        "numerator":246499119999999999999999,
        "denominator":500000000000000
      },
      "initial_storage_upper_bound":{
        "numerator":1956200139729739473461612125051798054571151918100088985721,
        "denominator":1298074214633706907132624082305024000000000000000
      },
      "initial_storage_margin":{
        "numerator":639948289537674340803636039558249945428848081899911014279,
        "denominator":1298074214633706907132624082305024000000000000000
      },
      "primitive_law_and_clock_certified":true,
      "fine_error_certified":true,
      "barrier_certified":true,
      "attachment_budget_certified":true,
      "initial_outer_zero_winding_certified":true,
      "child_winding_retained_during_transit":true,
      "child_transit_cell_certified":true,
      "outer_cell_certified":true,
      "conditional_outer_entry_certified":true,
      "conditional_capture_certified":true,
      "control_initial_excess_upper_bound":{
        "numerator":1,
        "denominator":250000000000000
      },
      "control_boundary_energy_lower_bound":{
        "numerator":10320895607907666659673411723985382109,
        "denominator":42535295865117307932921825928971026432
      },
      "control_capture_margin":{
        "numerator":314968738034286392776182594444386304373055545529,
        "denominator":1298074214633706907132624082305024000000000000000
      },
      "control_conditional_capture_certified":true
    },
    "prefix_hidden":{
      "initial_form":{
        "numerator":22035379504700942990764221054511173651412707795794775085498056918805074339273,
        "denominator":723700557733226221397318656304299424082937404160253525246609900049457060249600000000
      },
      "initial_phase":{
        "numerator":204232948153434019320281012099806123911,
        "denominator":3402823669209384634633746074317682114560000000
      },
      "gamma_upper":{
        "numerator":105880001451568737093746067908661729,
        "denominator":340282366920938463463374607431768211456
      },
      "laplacian_upper":{
        "numerator":8,
        "denominator":1
      },
      "duration":{
        "numerator":1,
        "denominator":100000
      },
      "coupling":{
        "numerator":105880001451568737093746067908661729,
        "denominator":17014118346046923173168730371588410572800000
      },
      "domain_margin":{
        "numerator":289480223093290477348352755137521895609709113393001882485644062151820344094016250730559,
        "denominator":289480223093290488558927462521719769633174961664101410098643960019782824099840000000000
      },
      "form_upper":{
        "numerator":1762830382000260286204894274004984917592411885302626739317799760155067101899342119,
        "denominator":57896044618658095469670551027504379121941822678600376497128812430364068818803250146111800
      },
      "phase_upper":{
        "numerator":739017494763812384464669065610239895851395088733969635108845972597495906441439620048999093318030878026025703329264783017,
        "denominator":12313126936373274276992088034707133171006356887072014633181815137693958302948161931533656632263144566101391100630664099135488000
      }
    },
    "pulse":{
      "initial_form_bound":{
        "numerator":728728091506837429548179466197219106605642802867056984241377647798529837584803273,
        "denominator":723700557733226221397318656304299424082937404160253525246609900049457060249600000000
      },
      "initial_hidden_form":{
        "numerator":1762830382000260286204894274004984917592411885302626739317799760155067101899342119,
        "denominator":57896044618658095469670551027504379121941822678600376497128812430364068818803250146111800
      },
      "initial_hidden_phase":{
        "numerator":739017494763812384464669065610239895851395088733969635108845972597495906441439620048999093318030878026025703329264783017,
        "denominator":12313126936373274276992088034707133171006356887072014633181815137693958302948161931533656632263144566101391100630664099135488000
      },
      "outer_gap":{
        "numerator":7838972023889203947029312161064907997521958636567388553531706182801075472409995995484405841861610272040216882302024758097039017,
        "denominator":6156563468186637376918600015647439657043709261010226041866920844413394026796439158033479102325768068876035623485440000000000000
      },
      "amplitude":{
        "numerator":1,
        "denominator":10
      },
      "duration":{
        "numerator":1,
        "denominator":1
      },
      "gamma_bounds":{
        "lo":{
          "numerator":3308750045361523034179564622145679,
          "denominator":10633823966279326983230456482242756608
        },
        "hi":{
          "numerator":105880001451568737093746067908661729,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "hidden":{
        "initial_form":{
          "numerator":1762830382000260286204894274004984917592411885302626739317799760155067101899342119,
          "denominator":57896044618658095469670551027504379121941822678600376497128812430364068818803250146111800
        },
        "initial_phase":{
          "numerator":739017494763812384464669065610239895851395088733969635108845972597495906441439620048999093318030878026025703329264783017,
          "denominator":12313126936373274276992088034707133171006356887072014633181815137693958302948161931533656632263144566101391100630664099135488000
        },
        "gamma_upper":{
          "numerator":105880001451568737093746067908661729,
          "denominator":340282366920938463463374607431768211456
        },
        "laplacian_upper":{
          "numerator":8,
          "denominator":1
        },
        "duration":{
          "numerator":1,
          "denominator":1
        },
        "coupling":{
          "numerator":105880001451568737093746067908661729,
          "denominator":170141183460469231731687303715884105728
        },
        "domain_margin":{
          "numerator":28948011098754341471694872228706128692217968553410243141901915996154533140543,
          "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
        },
        "form_upper":{
          "numerator":63866313705551557308326813979271444938142805056396087023915643312344296840882185059092902780667871912082665696332610334193745663208291148011299226873333701513,
          "denominator":2094969177743613891283146461110072761066815590097052643786453594128529843805897554300423949228783229293238954930271447393461429252218283375206020350308850092988384250
        },
        "phase_upper":{
          "numerator":62888503449714105213453345230303672344186693614196818633224657478743047392968167615047189115404456252438351108457217365519725302906937178051888807507308576768,
          "denominator":1047484588871806945641573230555036380533407795048526321893226797064264921902948777150211974614391614646619477465135723696730714626109141687603010175154425046494192125
        }
      },
      "residual_form_upper":{
        "numerator":953909950903913742786926101051077779542335270914340676211821998428820883984803273,
        "denominator":723700557733226221397318656304299424082937404160253525246609900049457060249600000000
      },
      "phase_residual_upper":{
        "numerator":100999986986372249821031122589635769505169118804255095548478087866182086184137466508729898835682463485417042769039017,
        "denominator":123131269363732747538372000312948793140874185220204520837338416888267880535928783160669582046515361377520712469708800000000
      },
      "endpoint_form_upper":{
        "numerator":953909950903913742786926101051077779542335270914340676211821998428820883984803273,
        "denominator":723700557733226221397318656304299424082937404160253525246609900049457060249600000000
      },
      "form_change_upper":{
        "numerator":1066500880602451899406299418478007116010681504937982522197044173743966407184803273,
        "denominator":361850278866613110698659328152149712041468702080126762623304950024728530124800000000
      },
      "form_offset_upper":{
        "numerator":63802943797675961899382738893456539648,
        "denominator":82718751134038075854489115553641975
      },
      "form_gradient_upper":{
        "numerator":461745416363591127401701908396138900396045421424763838807292861830592524019315493171123257337639600805235690391370007367,
        "denominator":299318031653496472439089648786261066256942909228263458055906575871388993674060589311799451405581938091412684800000000
      },
      "input_upper":{
        "numerator":287113247089541828547222325020554428416,
        "denominator":82718751134038075854489115553641975
      },
      "peak_storage_upper":{
        "numerator":30701808263210698151151513448321722010742245809426965798257064065856915379915270569591741585247462620829576045824811335362705387531687762780396742831762721097582619874135858598181787302204703385310935356736055063906520171293750341818452454201,
        "denominator":286692109033355251900434565455053636313147138400685002423042742148593447092099714269536421074577413892081328497120425708628526597909897134252101930490949043280771482367292040758417747367452083643524244129803975501283328000000000000000
      },
      "continuous_loss_upper":{
        "numerator":1918879465795075159957927813733808543533514144937711981885679372851316234732248764149220854388599920386715360252740440524259005146250678112138214780379655988085284336808853041417313470772453173467612313619500771633461673018252138010708454201,
        "denominator":71673027258338812975108641363763409078286784600171250605760685537148361773024928567384105268644353473020332124280106427157131649477474283563025482622737260820192870591823010189604436841863020910881061032450993875320832000000000000000
      },
      "absolute_work_upper":{
        "numerator":112204136176352643958613563740261752796239037406217612830172165424833983336693664840582951533046422995672272765102911790181,
        "denominator":465669054684167720842852599252879324651638330730547168164823556865416432265610873825791927978898554355712000000000
      },
      "internal_positive_margin":{
        "numerator":279947693568215587483459075706597904360237364475987861921951544938382575738497877190578169695902108338511851789703929395955549785890897445165109753977634342087798000056922179884428504885309071125086006157,
        "denominator":400995602116317659177228789512545304029062376103742976877289922123326460977930213382933823521866142242914344216487273730347924298989395740679923863521814341277904441427138726010427553337323958390751232000
      },
      "internal_acute_margin":{
        "numerator":116644876332561479240167851104397607949367915915276398957029864902312700670904684557542709120114387922786608425402960788231630948666974330283357173829217213672891820656408444608656204615732163770621684219,
        "denominator":133665200705439219725742929837515101343020792034580992292429974041108820325976737794311274507288714080971448072162424576782641432996465246893307954507271447092634813809046242003475851112441319463583744000
      },
      "collar_margin":{
        "numerator":279947720318026594963858428328698889689279394027237464599863893475268445593442453042061607075766186215147577944269946760484457802092895418621419083715173551716932756844921945200725694406084090385377323917,
        "denominator":178220267607252292967657239783353468457361056046107989723239965388145093767968983725748366009718285441295264096216566102376855243995286995857743939343028596123513085078728322671301134816588425951444992000
      },
      "outer_acute_margin":{
        "numerator":352027656716416236037741190001157417138307651088648482711144487750648281827818640123448160802049624388934631686415898597885195887326945241420573823407031321950701464387553229072787341686652320336432491556972479497,
        "denominator":1782203366258669938263092957618021569954092752740052760988682298422849598417069338039477989552646041956230415812353655385455648347843800914108144363215478428149217033042552892571358607880707457899560960000000000000
      },
      "unforced_form_comparison_upper":{
        "numerator":1125909296985381566193733174269293364683462340236418459852221753151455232,
        "denominator":144740055493771707358474361143530643461089842767051215709509579980772665702715
      },
      "unforced_phase_comparison_upper":{
        "numerator":11210574707384197874023465848271099527612999897867962480005823749269441,
        "denominator":2315840887900347317735589778296490295377437484272819451352153279692362651243440
      },
      "actual_phase_contrast_lower":{
        "numerator":6156462468199651004668778984524850021274204091891421786771372366325527844710255020566970372426932386412550206442670960983,
        "denominator":61565634681866373769186000156474396570437092610102260418669208444133940267964391580334791023257680688760356234854400000000
      },
      "continuous_loss_lower":{
        "numerator":37902030122350938857923521702894036746483516926138844719560715718502783204879760883608307915633982176159825034638946096321546376208751432862188849210093840101239283182304187342097528940908940395670756297179835358660619359466804693612708326289,
        "denominator":20386994420149706801808680210137147856253354636932013411559600272097036700421379959543268117436649493580877601065603966643805919731317185261097991133664826047134029022303578164325487431294054271324472089656662607129477120000000000000000
      },
      "peak_form_storage_lower":{
        "numerator":37902030122350938857923521702894036746483516926138844719560715718502783204879760883608307915633982176159825034638946096321546376208751432862188849210093840101239283182304187342097528940908940395670756297179835358660619359466804693612708326289,
        "denominator":30580491630224560202713020315205721784380031955398020117339400408145555050632069939314902176154974240371316401598405949965708879596975777891646986700497239070701043533455367246488231146941081406986708134484993910694215680000000000000000
      },
      "scope":[
        "primitive_source_bounds_require_independent_history_admission",
        "full_45_node_quarter_sine_law_on_90_unit_edges_with_held_unit_capacity",
        "identical_uniform_child_input_cancels_from_hidden_projection",
        "actual_total_phase_increment_differs_from_command_by_bounded_residual",
        "unforced_comparison_is_a_proof_device_not_an_observed_reset_branch",
        "signed_hidden_storage_is_not_an_available_work_reservoir",
        "absolute_supplied_work_bounds_positive_supplied_work_separately_from_loss",
        "no_instantaneous_word_or_reading_inverse_transfers_to_this_pulse"
      ]
    },
    "nominal_form_upper":{
      "numerator":171317441077526420152345208327011503,
      "denominator":170141183460469231731687303715884105728
    },
    "entry_form_upper":{
      "numerator":728728091506837429548179466197219106605642802867056984241377647798529837584803273,
      "denominator":723700557733226221397318656304299424082937404160253525246609900049457060249600000000
    },
    "entry_mean_gap_upper":{
      "numerator":7838972023889203947029312161064907997521958636567388553531706182801075472409995995484405841861610272040216882302024758097039017,
      "denominator":6156563468186637376918600015647439657043709261010226041866920844413394026796439158033479102325768068876035623485440000000000000
    },
    "prerequisite_flags":[
      [
        "five_independent_child_recoveries",
        true
      ],
      [
        "recovered_radius_matches",
        true
      ],
      [
        "primitive_law_and_clock",
        true
      ],
      [
        "full_fine_comparison",
        true
      ],
      [
        "child_transit_identity",
        true
      ],
      [
        "outer_one_cell",
        true
      ],
      [
        "outer_one_capture",
        true
      ],
      [
        "outer_zero_capture",
        true
      ],
      [
        "outer_attachment_budget",
        true
      ],
      [
        "precontact_product_support",
        true
      ],
      [
        "complete_quarter_law",
        true
      ],
      [
        "complete_numeric_source_margins",
        true
      ]
    ],
    "prerequisite_margins":[
      [
        "actual_recovery_form",
        {
          "numerator":104189463341746182388123958492366233333392466804123338913414755860371113675625866115656181187459328561404387513434701515464249769485883638840310549411413922274359702530730448387697134153306746985637153323434101485940881292079919977295232418204000512208408083257461822888815561792115300825638519136721882268519278102610474978463094637506724082242449425551,
          "denominator":1041894633977104838131941439529699493854807998779666802216147091853424966834669024099252197068574399723728894502945982256192765790400220646251170573924321120823289768961210123919320955817987579272178406121230391944815025019732356610097027524822890787867610075697434162916476471733504225674964436644985952388287828223971591160794677369943312576880060661760000000000000000
        }
      ],
      [
        "actual_recovery_phase",
        {
          "numerator":1076155537109753665052284388925326237999090511637676490320644647781161787807808923004668368999468901225832821479153000501780362570051798004260692506070779772651093991410499932207475795838494081494120875988078392304293605378247185264759767868578279137731647880730778324551480898917167953995806852178259356986473652415144100428893416404160392429470002697002727,
          "denominator":10761555371097559036243413917327446621477325951709994440542969757792947866631292366461201397610096771502892602192304748976487687711241801697977238983310990133786863101814745478300359652369512211745585392155699398618019470030955809973871164473916502692743110148477508158152170122005832034006765264952404680549924647953328918962589210590843719337570205192683520000000000000000
        }
      ],
      [
        "outer_one_capture",
        {
          "numerator":635266299519546498273626929698384192801094237825704592872841471060456196659005354228742869771781218924268477567145242829317048933909173774426093506523148518598213871,
          "denominator":130935624315845674800527587873103966088665681841722591579331654723845351856186982195330803693036166286035467365102402840368690261835415722133141103575040000000000000000
        }
      ],
      [
        "outer_zero_capture",
        {
          "numerator":314968738034286392776182594444386304373055545529,
          "denominator":1298074214633706907132624082305024000000000000000
        }
      ],
      [
        "outer_attachment_work",
        {
          "numerator":246499119999999999999999,
          "denominator":500000000000000
        }
      ],
      [
        "outer_initial_storage",
        {
          "numerator":639948289537674340803636039558249945428848081899911014279,
          "denominator":1298074214633706907132624082305024000000000000000
        }
      ]
    ],
    "sufficient_margins":[
      [
        "phase_residual",
        {
          "numerator":145262551741093245255712878036261816776579251636153946126198745910353674887720099812609265257348259269624382170378583,
          "denominator":123131269363732747538372000312948793140874185220204520837338416888267880535928783160669582046515361377520712469708800000000
        }
      ],
      [
        "endpoint_form",
        {
          "numerator":493491164562538700007711211557521068623539537406166374281397801670093236514396727,
          "denominator":723700557733226221397318656304299424082937404160253525246609900049457060249600000000
        }
      ],
      [
        "form_change",
        {
          "numerator":380900234864000543388337894130591732155193303382524528296175626354947713314396727,
          "denominator":361850278866613110698659328152149712041468702080126762623304950024728530124800000000
        }
      ],
      [
        "internal_positive",
        {
          "numerator":279947693568215587483459075706597904360237364475987861921951544938382575738497877190578169695902108338511851789703929395955549785890897445165109753977634342087798000056922179884428504885309071125086006157,
          "denominator":400995602116317659177228789512545304029062376103742976877289922123326460977930213382933823521866142242914344216487273730347924298989395740679923863521814341277904441427138726010427553337323958390751232000
        }
      ],
      [
        "internal_acute",
        {
          "numerator":116644876332561479240167851104397607949367915915276398957029864902312700670904684557542709120114387922786608425402960788231630948666974330283357173829217213672891820656408444608656204615732163770621684219,
          "denominator":133665200705439219725742929837515101343020792034580992292429974041108820325976737794311274507288714080971448072162424576782641432996465246893307954507271447092634813809046242003475851112441319463583744000
        }
      ],
      [
        "circular_collar",
        {
          "numerator":279947720318026594963858428328698889689279394027237464599863893475268445593442453042061607075766186215147577944269946760484457802092895418621419083715173551716932756844921945200725694406084090385377323917,
          "denominator":178220267607252292967657239783353468457361056046107989723239965388145093767968983725748366009718285441295264096216566102376855243995286995857743939343028596123513085078728322671301134816588425951444992000
        }
      ],
      [
        "outer_acute",
        {
          "numerator":352027656716416236037741190001157417138307651088648482711144487750648281827818640123448160802049624388934631686415898597885195887326945241420573823407031321950701464387553229072787341686652320336432491556972479497,
          "denominator":1782203366258669938263092957618021569954092752740052760988682298422849598417069338039477989552646041956230415812353655385455648347843800914108144363215478428149217033042552892571358607880707457899560960000000000000
        }
      ],
      [
        "peak_storage",
        {
          "numerator":26636613543460352228935399642689005251887181870710034686351484363861774038504672284315542629668020157586689653599273806362999932050291664070023643266427087558571676599322549553501762171285713343393913469224740036350145428706249658181547545799,
          "denominator":286692109033355251900434565455053636313147138400685002423042742148593447092099714269536421074577413892081328497120425708628526597909897134252101930490949043280771482367292040758417747367452083643524244129803975501283328000000000000000
        }
      ],
      [
        "continuous_loss",
        {
          "numerator":69754147792543737815150713550029600534753270455233538623875006164297045538292679803234884414255753552633616764027365986632872644331223605450887267842357604832107586255014157148187123371090567737413448718831493103687370326981747861989291545799,
          "denominator":71673027258338812975108641363763409078286784600171250605760685537148361773024928567384105268644353473020332124280106427157131649477474283563025482622737260820192870591823010189604436841863020910881061032450993875320832000000000000000
        }
      ],
      [
        "absolute_supplied_work",
        {
          "numerator":27496580228897672294242216035602044599252461812946537619274901634790946342989597307154626860623143311041327234897088209819,
          "denominator":465669054684167720842852599252879324651638330730547168164823556865416432265610873825791927978898554355712000000000
        }
      ]
    ],
    "admitted":true,
    "unresolved_conditions":[],
    "marked_child":0,
    "amplitude":{
      "numerator":1,
      "denominator":10
    },
    "duration":{
      "numerator":1,
      "denominator":1
    },
    "prefix_duration":{
      "numerator":1,
      "denominator":100000
    },
    "independent_child_count":5,
    "source_families":[
      "outer_zero",
      "outer_one"
    ],
    "phase_residual_budget":{
      "numerator":1,
      "denominator":500000
    },
    "endpoint_form_budget":{
      "numerator":1,
      "denominator":500
    },
    "form_change_budget":{
      "numerator":1,
      "denominator":250
    },
    "peak_storage_budget":{
      "numerator":200000000,
      "denominator":1
    },
    "continuous_loss_budget":{
      "numerator":1000000000,
      "denominator":1
    },
    "absolute_work_budget":{
      "numerator":300000000,
      "denominator":1
    },
    "scope":[
      "one_fresh_uniform_recovery_theorem_applied_to_five_independent_children",
      "actual_precontact_source_after_first_unforced_observation_window",
      "first_marked_positive_phase_command_replaced_by_one_finite_form_input",
      "no_actual_source_copy_reset_or_initial_state_measurement_for_actuation",
      "new_explicit_peak_loss_and_work_budgets_not_the_old_jump_budget",
      "no_remaining_observation_word_inverse_or_support_switching_admission",
      "one_analytic_assessment_no_trajectory_or_physical_experiment"
    ]
  }
}