{
  "checks": {
    "acute_margin_retained": true,
    "balance_residual_admitted": true,
    "held_state_and_path": true,
    "recovery_on_both_grids": true,
    "small_endpoint_grid_difference": true,
    "zero_capacity_boundary": true
  },
  "endpoint_grid_difference": 3.9732190973760593e-07,
  "endpoint_grid_difference_to_initial_distance": 5.085720444641356e-05,
  "passed": true,
  "prediction": {
    "capacity": [
      1.0,
      1.25,
      0.75,
      1.5,
      1.0
    ],
    "edges": [
      [
        0,
        1
      ],
      [
        0,
        4
      ],
      [
        1,
        2
      ],
      [
        2,
        3
      ],
      [
        3,
        4
      ]
    ],
    "epsilon": {
      "denominator": 256,
      "numerator": 1
    },
    "form_direction": [
      1,
      -1,
      0,
      0,
      0
    ],
    "gates": {
      "maximum_actual_balance_residual": 1e-12,
      "maximum_final_to_initial_distance": 0.5,
      "maximum_grid_difference_to_initial_distance": 0.015625,
      "minimum_acute_margin": 0.15707963267948966,
      "winding": 1
    },
    "horizon": {
      "denominator": 1,
      "numerator": 32
    },
    "identity": "centered_form_and_centered_real_lift_error_from_prepared_W1_twist",
    "model": {
      "epi_weight": 0.5,
      "phase_weight": 0.5,
      "storage_scale": 1.0
    },
    "negative_control": "same_perturbation_all_capacities_zero_one_step_dt_1_128",
    "nodes": [
      0,
      1,
      2,
      3,
      4
    ],
    "phase_direction": [
      0,
      1,
      -1,
      0,
      0
    ],
    "prior_linear_estimate": {
      "scope": "linear_spectral_estimate_not_nonlinear_finite_error_bound",
      "slowest_decay_lower_bound": 0.12955931355469735
    },
    "protocol": "relational-local-recovery-v1",
    "reference_phase": [
      0.0,
      1.2566370614359172,
      2.5132741228718345,
      3.7699111843077517,
      5.026548245743669
    ],
    "runtime": {
      "integrator": "production_step_relational_exchange_explicit_Euler",
      "machine": "AMD64",
      "networkx": "3.6.1",
      "numpy": "2.5.3",
      "platform": "Windows-11-10.0.26200-SP0",
      "precision": "binary64_states_exact_Fraction_defects",
      "pressure_path": "fused_canonical",
      "python": "3.13.6",
      "randomness": "none"
    },
    "scope": "prepared_conditional_geometry_finite_recovery_not_formation_or_physical_validation",
    "source_sha256": {
      "benchmarks/relational_local_recovery.py": "2821a293c258860fb561e6075c3a7cb4d8d9c914c1a8c3c85b536ea1546e18b3",
      "src/tnfr/_exact_time.py": "69ef60f1405b6551f3d0fb64ad253dbe7267a053a6b390513c539a5a7a8878c0",
      "src/tnfr/alias.py": "378e781b833d228fc24d66315fe81a8edfe2ef7204d4ead8c0822fa9fc096cc6",
      "src/tnfr/config/defaults_core.py": "bf938cb6108005a519f7e184865366a0f00ccdfd4fd685fbb3a8ea7b73faf551",
      "src/tnfr/dynamics/_euler_kernel.py": "2d355304c3b82fbdcde42a2c9b70d2d0ab9e53c9462e9746b74d30aab05635c7",
      "src/tnfr/dynamics/canonical.py": "a3a1407b963f7846b1c005eaba3f76f2e2e72e0436b88b2ef2d7a4ebc1569221",
      "src/tnfr/dynamics/dnfr.py": "e746586a987b223fda19192a49729e5274216668b4522d79cd46a935f184f7a1",
      "src/tnfr/dynamics/fused_dnfr.py": "67ebc6c994da1f26ff1e1265dc135efe1fc24d0114d1b021fb9e5978eec77b2a",
      "src/tnfr/dynamics/relational.py": "7429eb62726cede9fe4e2d357936d0e94ffb2467f62bac332bcba524fd504410",
      "src/tnfr/gamma.py": "f21003b17e228c855c8c6aa0a1524072b153b1620211678519c89c3e01498027",
      "src/tnfr/mathematics/_neighbor_differences.py": "253a6e1ca539a27c555ea0b500f56d49e3d370778fb8d2bdbf24d481deaf3ba6",
      "src/tnfr/mathematics/_phase_midpoint.py": "aea8e1902f83b7d585c31119f96039816dc607b2bad40200d85264446826d446",
      "src/tnfr/mathematics/epi.py": "0fc5498d18f4864be2cfa578d5fa3d7279dd84678c13a310cd9532b3d29e5f2e",
      "src/tnfr/mathematics/unified_numerical.py": "d8b48a6cbb588db76c05194601094063d7c9c15121275bd37f51537c5d90fb0e",
      "src/tnfr/metrics/common.py": "eb40d413b390a66592d1e36691060248b8002076af5c44d2221b3d4539b1a632",
      "src/tnfr/physics/winding_certificates.py": "0374fe2660493dc6e02d660f79a4f7fff3988cf729d96db9f7969b2b961ab22a",
      "src/tnfr/types.py": "38cb289492b630d4fa9effc67c4b165d73821f4b7e6a2bc8953a41dc2029d5fb",
      "src/tnfr/utils/graph.py": "c879155866bea82279e08cac35b1304180108f4c5d19869b80eb07228143ee8d",
      "src/tnfr/utils/numeric.py": "a5b50acffc2869b989d700894126a22511f875a3b347f1cfcdc5bc2d0a959394"
    },
    "step_counts": [
      2048,
      4096
    ],
    "timesteps": [
      {
        "denominator": 64,
        "numerator": 1
      },
      {
        "denominator": 128,
        "numerator": 1
      }
    ]
  },
  "scope": "finite_prepared_recovery_two_grid_difference_not_an_ODE_error_certificate",
  "traces": {
    "2048": {
      "capacity_and_support_held": true,
      "checkpoints": {
        "0": {
          "acute_margin": 0.3102530153589791,
          "balance_residual": {
            "denominator": 41538374868278621028243970633760768,
            "numerator": -17487592350941575
          },
          "capacity": [
            1.0,
            1.25,
            0.75,
            1.5,
            1.0
          ],
          "epi": [
            0.00390625,
            -0.00390625,
            0.0,
            0.0,
            0.0
          ],
          "form_mean": 0.0,
          "form_rate": [
            -0.0026188380017736616,
            0.0024964237566511573,
            -3.301050399069432e-05,
            -0.0004662742473395371,
            0.0009765625000000195
          ],
          "phase": [
            0.0,
            1.2605433114359172,
            2.5093678728718345,
            3.7699111843077517,
            5.026548245743669
          ],
          "phase_error_mean": 0.0,
          "phase_rate": [
            0.0030360480091411266,
            -0.0037497266682947426,
            0.0007499453336589485,
            0.0,
            -0.001005930107032195
          ],
          "pressure": [
            -0.0026188380017736616,
            0.0019971390053209258,
            -4.4014005320925764e-05,
            -0.0003108494982263581,
            0.0009765625000000195
          ],
          "pressure_path": "fused_canonical",
          "quotient_distance": 0.0078125,
          "quotient_state": [
            0.00390625,
            -0.00390625,
            0.0,
            0.0,
            0.0,
            0.0,
            0.00390625,
            -0.00390625,
            0.0,
            0.0
          ],
          "storage": {
            "denominator": 20282409603651670423947251286016,
            "numerator": 70075218258318315228608276186421
          },
          "time": 0.0,
          "winding": 1,
          "winding_defined": true,
          "winding_residual": 0.0
        },
        "1024": {
          "acute_margin": 0.31344650522968154,
          "balance_residual": {
            "denominator": 43556142965880123323311949751266331066368,
            "numerator": 313784073265102291041
          },
          "capacity": [
            1.0,
            1.25,
            0.75,
            1.5,
            1.0
          ],
          "epi": [
            -0.00014637800279573832,
            0.0001905415663724645,
            0.0005178801480054668,
            0.0002615792007097159,
            -8.969824811599943e-05
          ],
          "form_mean": 0.00014678493283518188,
          "form_rate": [
            3.813379970973524e-05,
            3.5728915338900464e-06,
            -3.817795122524927e-05,
            -1.748894540764801e-05,
            2.1571118968583758e-05
          ],
          "phase": [
            0.00018028191509896193,
            1.2561183429199738,
            2.512122422108247,
            3.7693203812404232,
            5.026670202805638
          ],
          "phase_error_mean": -0.0003917966739581969,
          "phase_rate": [
            -0.00010125912936320612,
            3.077789327606414e-06,
            0.0001127108142973003,
            3.6759307560323196e-05,
            -7.595437340920873e-05
          ],
          "pressure": [
            3.813379970973524e-05,
            2.858313227112037e-06,
            -5.090393496699903e-05,
            -1.1659296938432006e-05,
            2.1571118968583758e-05
          ],
          "pressure_path": "fused_canonical",
          "quotient_distance": 0.0012325001276208547,
          "quotient_state": [
            -0.0002931629356309202,
            4.3756633537282605e-05,
            0.0003710952151702849,
            0.00011479426787453401,
            -0.00023648318095118132,
            0.0005720785890571588,
            -0.00012692184198523132,
            -0.0007599040896290853,
            -0.00019900639337030784,
            0.0005137537359274658
          ],
          "storage": {
            "denominator": 85070591730234615865843651857942052864,
            "numerator": 293911705932766224964412041108891839647
          },
          "time": 16.0,
          "winding": 1,
          "winding_defined": true,
          "winding_residual": 0.0
        },
        "2048": {
          "acute_margin": 0.3141468470511348,
          "balance_residual": {
            "denominator": 87112285931760246646623899502532662132736,
            "numerator": -129760844918819652005
          },
          "capacity": [
            1.0,
            1.25,
            0.75,
            1.5,
            1.0
          ],
          "epi": [
            0.00014612941556558837,
            0.00016847061008191721,
            0.00018481156750038116,
            0.00016513682894264312,
            0.00014383745373989075
          ],
          "form_mean": 0.0001616771751660841,
          "form_rate": [
            4.385605688840435e-06,
            -1.2591987488185545e-06,
            -5.638876441915692e-06,
            -7.984238630428983e-07,
            4.672537808139664e-06
          ],
          "phase": [
            -0.00041825341897704126,
            1.2562063685062526,
            2.512837181885745,
            3.7694866616295064,
            5.026134556459703
          ],
          "phase_error_mean": -0.00042481985938851174,
          "phase_rate": [
            -5.1629053653484575e-06,
            1.931406584968516e-06,
            6.956086446827902e-06,
            6.275824864328906e-07,
            -6.075255073101311e-06
          ],
          "pressure": [
            4.385605688840435e-06,
            -1.0073589990548436e-06,
            -7.518501922554256e-06,
            -5.322825753619322e-07,
            4.672537808139664e-06
          ],
          "pressure_path": "fused_canonical",
          "quotient_distance": 3.875331460102235e-05,
          "quotient_state": [
            -1.5547759600495736e-05,
            6.793434915833112e-06,
            2.313439233429706e-05,
            3.4596537765590215e-06,
            -1.783972142619335e-05,
            6.566440411470481e-06,
            -5.8730702761771196e-06,
            -1.2121126701083898e-05,
            2.9718114318022255e-07,
            1.1130575422610531e-05
          ],
          "storage": {
            "denominator": 1361129467683753853853498429727072845824,
            "numerator": 4702586654324172475600381700692008481471
          },
          "time": 32.0,
          "winding": 1,
          "winding_defined": true,
          "winding_residual": 0.0
        },
        "512": {
          "acute_margin": 0.31226757958496565,
          "balance_residual": {
            "denominator": 43556142965880123323311949751266331066368,
            "numerator": 741541982623994696967
          },
          "capacity": [
            1.0,
            1.25,
            0.75,
            1.5,
            1.0
          ],
          "epi": [
            -0.00047702336993201534,
            0.00013954660359075368,
            0.0006655672164069933,
            0.00044465438550487087,
            -3.72231251531603e-05
          ],
          "form_mean": 0.00014710434208348844,
          "form_rate": [
            3.0101905603858683e-05,
            7.943128837430558e-07,
            3.489270808421125e-05,
            -7.729752225007394e-06,
            -7.210779853979651e-05
          ],
          "phase": [
            0.0015593761125699695,
            1.2561093871572242,
            2.510951852712326,
            3.7687255118223004,
            5.027254259032231
          ],
          "phase_error_mean": -0.000354045504504105,
          "phase_rate": [
            -0.00027151914351391984,
            2.89746075099225e-05,
            0.00014411579934139063,
            0.00010127676866313516,
            -1.0881634747512668e-05
          ],
          "pressure": [
            3.0101905603858683e-05,
            6.354503069944447e-07,
            4.6523610778948334e-05,
            -5.15316815000493e-06,
            -7.210779853979651e-05
          ],
          "pressure_path": "fused_canonical",
          "quotient_distance": 0.003187706781459556,
          "quotient_state": [
            -0.0006241277120155038,
            -7.55773849273476e-06,
            0.0005184628743235048,
            0.0002975500434213824,
            -0.00018432746723664876,
            0.0019134216170740746,
            -0.00017362877418894163,
            -0.001968224655004372,
            -0.0008316269809472117,
            0.001060058793066451
          ],
          "storage": {
            "denominator": 5444517870735015415413993718908291383296,
            "numerator": 18810360780399959221723783475872951463941
          },
          "time": 8.0,
          "winding": 1,
          "winding_defined": true,
          "winding_residual": 0.0
        }
      },
      "dt": 0.015625,
      "final_to_initial_distance": 0.004960424268930861,
      "maximum_actual_balance_residual": {
        "denominator": 5575186299632655785383929568162090376495104,
        "numerator": 5615103834376500633811249
      },
      "maximum_clock_defect": {
        "denominator": 1,
        "numerator": 0
      },
      "maximum_energy_increase": {
        "denominator": 1,
        "numerator": 0
      },
      "maximum_energy_step_defect": {
        "denominator": 348449143727040986586495598010130648530944,
        "numerator": 3137364749412182682668692473964459
      },
      "minimum_acute_margin": 0.3102530153589791,
      "observed_state_count": 2049,
      "pressure_path_retained": true,
      "steps": 2048,
      "winding_preserved": true
    },
    "4096": {
      "capacity_and_support_held": true,
      "checkpoints": {
        "0": {
          "acute_margin": 0.3102530153589791,
          "balance_residual": {
            "denominator": 41538374868278621028243970633760768,
            "numerator": -17487592350941575
          },
          "capacity": [
            1.0,
            1.25,
            0.75,
            1.5,
            1.0
          ],
          "epi": [
            0.00390625,
            -0.00390625,
            0.0,
            0.0,
            0.0
          ],
          "form_mean": 0.0,
          "form_rate": [
            -0.0026188380017736616,
            0.0024964237566511573,
            -3.301050399069432e-05,
            -0.0004662742473395371,
            0.0009765625000000195
          ],
          "phase": [
            0.0,
            1.2605433114359172,
            2.5093678728718345,
            3.7699111843077517,
            5.026548245743669
          ],
          "phase_error_mean": 0.0,
          "phase_rate": [
            0.0030360480091411266,
            -0.0037497266682947426,
            0.0007499453336589485,
            0.0,
            -0.001005930107032195
          ],
          "pressure": [
            -0.0026188380017736616,
            0.0019971390053209258,
            -4.4014005320925764e-05,
            -0.0003108494982263581,
            0.0009765625000000195
          ],
          "pressure_path": "fused_canonical",
          "quotient_distance": 0.0078125,
          "quotient_state": [
            0.00390625,
            -0.00390625,
            0.0,
            0.0,
            0.0,
            0.0,
            0.00390625,
            -0.00390625,
            0.0,
            0.0
          ],
          "storage": {
            "denominator": 20282409603651670423947251286016,
            "numerator": 70075218258318315228608276186421
          },
          "time": 0.0,
          "winding": 1,
          "winding_defined": true,
          "winding_residual": 0.0
        },
        "1024": {
          "acute_margin": 0.31226923166526843,
          "balance_residual": {
            "denominator": 174224571863520493293247799005065324265472,
            "numerator": 3340764302810855106345
          },
          "capacity": [
            1.0,
            1.25,
            0.75,
            1.5,
            1.0
          ],
          "epi": [
            -0.000476642164430943,
            0.00013958280099703632,
            0.0006648160009847736,
            0.00044413301248035956,
            -3.628408599995503e-05
          ],
          "form_mean": 0.0001471211128062543,
          "form_rate": [
            2.9830708527868758e-05,
            9.325748102240682e-07,
            3.5004806703882194e-05,
            -7.441093398513433e-06,
            -7.228911504888195e-05
          ],
          "phase": [
            0.0015604010169721354,
            1.2561087454229702,
            2.5109523241553653,
            3.7687257788714876,
            5.027252874001116
          ],
          "phase_error_mean": -0.0003540981782522822,
          "phase_rate": [
            -0.0002715741563803117,
            2.9116146587664577e-05,
            0.00014391972776339225,
            0.00010079891215421569,
            -1.0359706744434314e-05
          ],
          "pressure": [
            2.9830708527868758e-05,
            7.460598481792546e-07,
            4.667307560517626e-05,
            -4.960728932342289e-06,
            -7.228911504888195e-05
          ],
          "pressure_path": "fused_canonical",
          "quotient_distance": 0.0031872365519880924,
          "quotient_state": [
            -0.0006237632772371972,
            -7.53831180921798e-06,
            0.0005176948881785193,
            0.00029701189967410525,
            -0.00018340519880620933,
            0.0019144991952244176,
            -0.00017421783469472328,
            -0.0019677005382169213,
            -0.0008313072580118264,
            0.0010587264356990533
          ],
          "storage": {
            "denominator": 21778071482940061661655974875633165533184,
            "numerator": 75241443098228454494098683439456343756785
          },
          "time": 8.0,
          "winding": 1,
          "winding_defined": true,
          "winding_residual": 2.220446049250313e-16
        },
        "2048": {
          "acute_margin": 0.3134457029355029,
          "balance_residual": {
            "denominator": 21778071482940061661655974875633165533184,
            "numerator": 363052866427985151353
          },
          "capacity": [
            1.0,
            1.25,
            0.75,
            1.5,
            1.0
          ],
          "epi": [
            -0.00014652858007207153,
            0.00019043317084461322,
            0.0005179139471592106,
            0.000261735382730105,
            -8.961014130263613e-05
          ],
          "form_mean": 0.00014678875587184425,
          "form_rate": [
            3.811402852565071e-05,
            3.5821107354621044e-06,
            -3.811069043961679e-05,
            -1.750015564972757e-05,
            2.150130723862037e-05
          ],
          "phase": [
            0.00018108456077690823,
            1.2561184757452903,
            2.5121216635948294,
            3.7693199205942034,
            5.026670544453597
          ],
          "phase_error_mean": -0.0003917850820950782,
          "phase_rate": [
            -0.00010133135365022934,
            3.0456539469089463e-06,
            0.00011271453738736982,
            3.683308414895029e-05,
            -7.591053410030845e-05
          ],
          "pressure": [
            3.811402852565071e-05,
            2.8656885883696833e-06,
            -5.081425391948905e-05,
            -1.1666770433151712e-05,
            2.150130723862037e-05
          ],
          "pressure_path": "fused_canonical",
          "quotient_distance": 0.0012335834346410455,
          "quotient_state": [
            -0.0002933173359439158,
            4.3644414972768974e-05,
            0.00037112519128736635,
            0.00011494662685826077,
            -0.00023639889717448037,
            0.0005728696428719865,
            -0.00012680060853182665,
            -0.0007606741949100574,
            -0.00019947863145326186,
            0.0005140837920231597
          ],
          "storage": {
            "denominator": 680564733841876926926749214863536422912,
            "numerator": 2351293647886110874936214745877394014565
          },
          "time": 16.0,
          "winding": 1,
          "winding_defined": true,
          "winding_residual": 0.0
        },
        "4096": {
          "acute_margin": 0.31414665417634935,
          "balance_residual": {
            "denominator": 21778071482940061661655974875633165533184,
            "numerator": 15035341187937407899
          },
          "capacity": [
            1.0,
            1.25,
            0.75,
            1.5,
            1.0
          ],
          "epi": [
            0.00014602334526575377,
            0.00016849426903142194,
            0.0001849431098717412,
            0.00016516086945479928,
            0.00014373318004353802
          ],
          "form_mean": 0.00016167095473345084,
          "form_rate": [
            4.40167981132176e-06,
            -1.2608779488364646e-06,
            -5.657459239885671e-06,
            -8.033872190314106e-07,
            4.685893013570453e-06
          ],
          "phase": [
            -0.0004180944260067691,
            1.2562063033294284,
            2.5128369442886576,
            3.769486616907204,
            5.026134728415196
          ],
          "phase_error_mean": -0.0004248231689387157,
          "phase_rate": [
            -5.196772871524248e-06,
            1.9384373199659025e-06,
            6.9976862695412015e-06,
            6.356225099104953e-07,
            -6.107837876363275e-06
          ],
          "pressure": [
            4.40167981132176e-06,
            -1.0087023590691716e-06,
            -7.543278986514228e-06,
            -5.355914793542738e-07,
            4.685893013570453e-06
          ],
          "pressure_path": "fused_canonical",
          "quotient_distance": 3.90894479712226e-05,
          "quotient_state": [
            -1.5647609467697076e-05,
            6.823314297971098e-06,
            2.327215513829036e-05,
            3.489914721348437e-06,
            -1.793777468991282e-05,
            6.728742931946601e-06,
            -5.9349375501330974e-06,
            -1.2355414238217973e-05,
            2.557683910783077e-07,
            1.1305840465326215e-05
          ],
          "storage": {
            "denominator": 1361129467683753853853498429727072845824,
            "numerator": 4702586654340829610101167552632362734201
          },
          "time": 32.0,
          "winding": 1,
          "winding_defined": true,
          "winding_residual": 2.220446049250313e-16
        }
      },
      "dt": 0.0078125,
      "final_to_initial_distance": 0.005003449340316493,
      "maximum_actual_balance_residual": {
        "denominator": 22300745198530623141535718272648361505980416,
        "numerator": 21972252389479297391849613
      },
      "maximum_clock_defect": {
        "denominator": 1,
        "numerator": 0
      },
      "maximum_energy_increase": {
        "denominator": 1,
        "numerator": 0
      },
      "maximum_energy_step_defect": {
        "denominator": 1393796574908163946345982392040522594123776,
        "numerator": 3137347817035851675312569116452779
      },
      "minimum_acute_margin": 0.3102530153589791,
      "observed_state_count": 4097,
      "pressure_path_retained": true,
      "steps": 4096,
      "winding_preserved": true
    }
  },
  "zero_capacity": {
    "clock_advanced": true,
    "epi_after": [
      0.00390625,
      -0.00390625,
      0.0,
      0.0,
      0.0
    ],
    "epi_before": [
      0.00390625,
      -0.00390625,
      0.0,
      0.0,
      0.0
    ],
    "form_rate": [
      -0.0,
      0.0,
      -0.0,
      -0.0,
      0.0
    ],
    "nonzero_pressure_retained": true,
    "phase_after": [
      0.0,
      1.2605433114359172,
      2.5093678728718345,
      3.7699111843077517,
      5.026548245743669
    ],
    "phase_before": [
      0.0,
      1.2605433114359172,
      2.5093678728718345,
      3.7699111843077517,
      5.026548245743669
    ],
    "phase_rate": [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    "pressure": [
      -0.0026188380017736616,
      0.0019971390053209258,
      -4.4014005320925764e-05,
      -0.0003108494982263581,
      0.0009765625000000195
    ],
    "state_frozen": true
  }
}