{
  "status": "PASS",
  "checks": 7717,
  "categories": {
    "coordinate_inverse_exact": 40,
    "coupled_initial_grid_diagnostic": 968,
    "coupled_normalized_coefficient_identity": 540,
    "coupled_taylor_exact_solution_crosscheck": 8,
    "damaged_certificate_rejected": 6,
    "exact_zonotope_support_contained": 40,
    "formal_scalar_exact_flow": 1,
    "formal_scalar_taylor_exact_bounds": 1,
    "formal_tube_residual_interval": 81,
    "log_norm_exact_small_step": 625,
    "moving_radius_linear_bound": 40,
    "naive_wrapping_geometric_sum": 40,
    "nonlinear_shear_centered_remainder": 3528,
    "nonnormal_example": 1,
    "rational_rotation_orthogonal": 1,
    "retained_linear_coordinates": 40,
    "rotation_row_bound_squared": 80,
    "scaled_nonnormal_contraction": 1,
    "singular_coordinate_rejected": 1,
    "tube_endpoint_exp4_rational_certificate": 1,
    "tube_endpoint_radius": 1,
    "tube_first_physical_coordinate": 1,
    "tube_residual_polynomial_identity": 2,
    "tube_uniform_strict_margin": 1,
    "tube_weighted_jacobian_sample": 961,
    "twenty_steps_naive_width": 1,
    "twenty_steps_physical_tolerance": 1,
    "weighted_exact_flow_exponential_bound": 81,
    "weighted_row_formula": 625
  },
  "logarithmic_norm": {
    "A": [
      [
        "-2",
        "8"
      ],
      [
        "0",
        "-2"
      ]
    ],
    "mu_inf": "6",
    "mu_2": "2",
    "weights": [
      "8",
      "1"
    ],
    "mu_weighted_inf": "-1"
  },
  "nonlinear_weighted_tube": {
    "candidate_polynomials": [
      [
        "0",
        "1/10"
      ],
      [
        "0",
        "0",
        "1/20"
      ]
    ],
    "forcing_polynomials": [
      [
        "99/1000",
        "1/5",
        "-2/5",
        "1/1000"
      ],
      [
        "-1/2000",
        "1/10",
        "1/10",
        "0",
        "0",
        "0",
        "1/8000"
      ]
    ],
    "residual": [
      "1/1000",
      "1/2000"
    ],
    "weighted_residual_bound": "1/2000",
    "initial_weighted_radius": "1/1000",
    "working_radius": "1/500",
    "m": "-1",
    "T": "4",
    "exp4_lower_partial_sum_degree7": "16319/315",
    "endpoint_radius_upper": "51/100000",
    "endpoint_physical_box": [
      [
        "4949/12500",
        "5051/12500"
      ],
      [
        "79949/100000",
        "80051/100000"
      ]
    ]
  },
  "validated_coupled_taylor": {
    "certificate": {
      "model": "u_prime=u^2;v_prime=u*v",
      "order": 6,
      "grid_denominator": 1000000000000,
      "initial": [
        [
          "1",
          "101/100"
        ],
        [
          "2",
          "201/100"
        ]
      ],
      "target": "1/2",
      "steps": [
        {
          "t": "0",
          "h": "1/16",
          "start": [
            [
              "1",
              "101/100"
            ],
            [
              "2",
              "201/100"
            ]
          ],
          "full_step": [
            [
              "9/10",
              "303/200"
            ],
            [
              "9/5",
              "603/200"
            ]
          ],
          "picard_image": [
            [
              "1",
              "738209/640000"
            ],
            [
              "2",
              "1469109/640000"
            ]
          ],
          "remainder_coefficient": [
            [
              "43046721/100000000",
              "71046228456258335361/2560000000000000000"
            ],
            [
              "43046721/50000000",
              "141389028907999261461/2560000000000000000"
            ]
          ],
          "output": [
            [
              "133333333037/125000000000",
              "107805213377/100000000000"
            ],
            [
              "2133333328593/1000000000000",
              "1072715242019/500000000000"
            ]
          ]
        },
        {
          "t": "1/16",
          "h": "1/16",
          "start": [
            [
              "133333333037/125000000000",
              "107805213377/100000000000"
            ],
            [
              "2133333328593/1000000000000",
              "1072715242019/500000000000"
            ]
          ],
          "full_step": [
            [
              "1199999997333/1250000000000",
              "323415640131/200000000000"
            ],
            [
              "19199999957337/10000000000000",
              "3218145726057/1000000000000"
            ]
          ],
          "picard_image": [
            [
              "133333333037/125000000000",
              "794551041894144497697161/640000000000000000000000"
            ],
            [
              "2133333328593/1000000000000",
              "7906176208949166421593467/3200000000000000000000000"
            ]
          ],
          "remainder_coefficient": [
            [
              "4299816883549255045891234294325459155501731128242398468161334796503268769535025630007913408595041/5960464477539062500000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "119698345024156701836657066801063401773801140971532419596500845570136337391732656184941326241/2560000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
            ],
            [
              "68797070136820329360958040694888484683411468634785068594553300156141154556901663153946562186310549/47683715820312500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "1191057789597180556880429680849361036744460715254966813391877202010344713535316501683093292227/12800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
            ]
          ],
          "output": [
            [
              "571428568067/500000000000",
              "72246083359/62500000000"
            ],
            [
              "2285714272269/1000000000000",
              "2300429743391/1000000000000"
            ]
          ]
        },
        {
          "t": "1/8",
          "h": "1/16",
          "start": [
            [
              "571428568067/500000000000",
              "72246083359/62500000000"
            ],
            [
              "2285714272269/1000000000000",
              "2300429743391/1000000000000"
            ]
          ],
          "full_step": [
            [
              "5142857112603/5000000000000",
              "216738250077/125000000000"
            ],
            [
              "20571428450421/10000000000000",
              "6901289230173/2000000000000"
            ]
          ],
          "picard_image": [
            [
              "571428568067/500000000000",
              "335959802482440190505929/250000000000000000000000"
            ],
            [
              "2285714272269/1000000000000",
              "10697492324586942487973321/4000000000000000000000000"
            ]
          ],
          "remainder_coefficient": [
            [
              "489368110831393532739459941925943732213921509558510755839444672863961331554147187291349115476299176161/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "4869501464288222490411049333505781065238534411513001038335140116266783272925323504109547681/59604644775390625000000000000000000000000000000000000000000000000000000000000000000000000"
            ],
            [
              "1957472443326430525156832659360194417145858184504427579471610832757210383634705973022045318125657624527/781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "155052640684627240044261306187325568821105901889584206195883213588196227486411511041265105569/953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000"
            ]
          ],
          "output": [
            [
              "1230769215963/1000000000000",
              "311488203793/250000000000"
            ],
            [
              "2461538431927/1000000000000",
              "154973091491/62500000000"
            ]
          ]
        },
        {
          "t": "3/16",
          "h": "1/16",
          "start": [
            [
              "1230769215963/1000000000000",
              "311488203793/250000000000"
            ],
            [
              "2461538431927/1000000000000",
              "154973091491/62500000000"
            ]
          ],
          "full_step": [
            [
              "11076922943667/10000000000000",
              "934464611379/500000000000"
            ],
            [
              "22153845887343/10000000000000",
              "464919274473/125000000000"
            ]
          ],
          "picard_image": [
            [
              "1230769215963/1000000000000",
              "5857035370607705496281641/4000000000000000000000000"
            ],
            [
              "2461538431927/1000000000000",
              "2914020072999018580028267/1000000000000000000000000"
            ]
          ],
          "remainder_coefficient": [
            [
              "226648618645911764067632754573474985788636795469407840356853066541713671139239024848034589791077202539041/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "581437278285185026920556028634032950117880844873924373695634467797936898102298202251512319600161/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
            ],
            [
              "453297237292007680140130672583283143402167367241480132892097303188024211201475062501831562656465261715189/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "289279437958584301395405579477232977614504508728958139396645559715797131989698749223762200599507/976562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
            ]
          ],
          "output": [
            [
              "1333333303151/1000000000000",
              "42224119567/31250000000"
            ],
            [
              "2666666606303/1000000000000",
              "2688965713413/1000000000000"
            ]
          ]
        },
        {
          "t": "1/4",
          "h": "1/16",
          "start": [
            [
              "1333333303151/1000000000000",
              "42224119567/31250000000"
            ],
            [
              "2666666606303/1000000000000",
              "2688965713413/1000000000000"
            ]
          ],
          "full_step": [
            [
              "11999999728359/10000000000000",
              "126672358701/62500000000"
            ],
            [
              "23999999456727/10000000000000",
              "8066897140239/2000000000000"
            ]
          ],
          "picard_image": [
            [
              "1333333303151/1000000000000",
              "100494125592874810407401/62500000000000000000000"
            ],
            [
              "2666666606303/1000000000000",
              "6399784314978425708869539/2000000000000000000000000"
            ]
          ],
          "remainder_coefficient": [
            [
              "429981618132900913879402811554962876714489801711780113432490073005021839213344094924691332819224856745921/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "66291044081205486375550840057284026691130099872536659604755772633403308908344349586189601/232830643653869628906250000000000000000000000000000000000000000000000000000000000000000"
            ],
            [
              "859963236266124313979705338756286943695412499344770950960730839769602562943136535306504757736151750284113/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "4221623718118326959143690610596602960748810509424197113895455845700081646249023900072355339/7450580596923828125000000000000000000000000000000000000000000000000000000000000000000000"
            ]
          ],
          "output": [
            [
              "29090907881/20000000000",
              "1475801602487/1000000000000"
            ],
            [
              "2909090788101/1000000000000",
              "734247826979/250000000000"
            ]
          ]
        },
        {
          "t": "5/16",
          "h": "1/16",
          "start": [
            [
              "29090907881/20000000000",
              "1475801602487/1000000000000"
            ],
            [
              "2909090788101/1000000000000",
              "734247826979/250000000000"
            ]
          ],
          "full_step": [
            [
              "261818170929/200000000000",
              "4427404807461/2000000000000"
            ],
            [
              "26181817092909/10000000000000",
              "2202743480937/500000000000"
            ]
          ],
          "picard_image": [
            [
              "29090907881/20000000000",
              "114053215888296774481266521/64000000000000000000000000"
            ],
            [
              "2909090788101/1000000000000",
              "56744298003759851408870957/16000000000000000000000000"
            ]
          ],
          "remainder_coefficient": [
            [
              "22079959695784269572508688754437286777804280323608550236482289785664728550439478521056357761/2560000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "147636539960831905522688656090871442963656171867653007291464337658132859206187922118697576917909920481/256000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
            ],
            [
              "2207995969579185955896978687776144577494246843128887522383554665194756819179802823037350283581/128000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "73452833000223016922851507837614832347628973852699925662695729085287135766427228480348895357628264277/64000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
            ]
          ],
          "output": [
            [
              "63999995073/40000000000",
              "1625759636161/1000000000000"
            ],
            [
              "799999938413/250000000000",
              "3235422642257/1000000000000"
            ]
          ]
        },
        {
          "t": "3/8",
          "h": "1/16",
          "start": [
            [
              "63999995073/40000000000",
              "1625759636161/1000000000000"
            ],
            [
              "799999938413/250000000000",
              "3235422642257/1000000000000"
            ]
          ],
          "full_step": [
            [
              "575999955657/400000000000",
              "4877278908483/2000000000000"
            ],
            [
              "7199999445717/2500000000000",
              "9706267926771/2000000000000"
            ]
          ],
          "picard_image": [
            [
              "63999995073/40000000000",
              "127836466265437123889361289/64000000000000000000000000"
            ],
            [
              "799999938413/250000000000",
              "254407224943773214254698393/64000000000000000000000000"
            ]
          ],
          "remainder_coefficient": [
            [
              "12116567328651617865891712037712087227949658829501701504916033083015026852502800530731928878401/655360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "320199561157669714317262933275700566129990470867713565551706042230225584100739526696614072790435393441/256000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
            ],
            [
              "151457091608239884013188885257475596552619924541001423201961687487711347661087368526141117887981/4096000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "637228829629822210266059162090205743565724377149543023251972845980474850599328939044951621013675725617/256000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
            ]
          ],
          "output": [
            [
              "888888758403/500000000000",
              "56551288947/31250000000"
            ],
            [
              "222222189601/62500000000",
              "180068262627/50000000000"
            ]
          ]
        },
        {
          "t": "7/16",
          "h": "1/16",
          "start": [
            [
              "888888758403/500000000000",
              "56551288947/31250000000"
            ],
            [
              "222222189601/62500000000",
              "180068262627/50000000000"
            ]
          ],
          "full_step": [
            [
              "7999998825627/5000000000000",
              "169653866841/62500000000"
            ],
            [
              "1999999706409/625000000000",
              "540204787881/100000000000"
            ]
          ],
          "picard_image": [
            [
              "888888758403/500000000000",
              "141885012428103759319281/62500000000000000000000"
            ],
            [
              "222222189601/62500000000",
              "451784356404033824553921/100000000000000000000000"
            ]
          ],
          "remainder_coefficient": [
            [
              "16777196297300637448423379421369555697843668953138988868629936012803621782075692344877985679545397830881/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "686293842092277013835997756790518525038097533532467734364851352997607837899982492577155521/232830643653869628906250000000000000000000000000000000000000000000000000000000000000000"
            ],
            [
              "4194299074329877949257133328202270217157849094371510077573049428171309467368559398798573372411888637227/48828125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
              "2185268313034990680525606814093930264561204358583394447966228182908432477142556607695375761/372529029846191406250000000000000000000000000000000000000000000000000000000000000000000"
            ]
          ],
          "output": [
            [
              "1999999411557/1000000000000",
              "2040428251909/1000000000000"
            ],
            [
              "3999998823119/1000000000000",
              "4060654243891/1000000000000"
            ]
          ]
        }
      ]
    },
    "final_box": [
      [
        "1999999411557/1000000000000",
        "2040428251909/1000000000000"
      ],
      [
        "3999998823119/1000000000000",
        "4060654243891/1000000000000"
      ]
    ],
    "rejected_corruptions": [
      "missing_last_step",
      "time_gap",
      "too_small_full_step_box",
      "false_remainder",
      "false_endpoint",
      "extra_coordinate"
    ],
    "formal_scalar_box": [
      "37448531441/32768000000",
      "47349395541301/40960000000000"
    ]
  },
  "wrapping": {
    "n": 20,
    "epsilon": "1/100",
    "delta": "1/10000",
    "coordinate_radius": [
      "2994451069019981/238418579101562500",
      "2994451069019981/238418579101562500"
    ],
    "physical_radius": [
      "357896699123733898684907422349/22737367544323205947875976562500",
      "357896699123733898684907422349/22737367544323205947875976562500"
    ],
    "exact_axis_hull_radius": [
      "718445274034501/47683715820312500",
      "718445274034501/47683715820312500"
    ],
    "naive_axis_radius": "408923443846306427/47683715820312500",
    "simple_coordinate_radius_upper": "13/1000",
    "simple_physical_radius_upper": "39/2000"
  },
  "arithmetic": "Fraction throughout; exponential bounds use positive Taylor partial sums and rational geometric tails. No floating-point comparisons or exact-solution data are used to accept a Taylor step. Finite diagnostics supplement the general proofs."
}