{
  "status": "PASS",
  "checks": 9266,
  "categories": {
    "delayed polynomial satisfies differential equation": 210,
    "delayed polynomial derivative joins": 105,
    "three-window exact endpoint": 1,
    "same current value does not determine future": 1,
    "method-of-steps continuous polynomial join": 6,
    "method-of-steps differentiated shifted history": 66,
    "two histories independently integrated to terminal": 1,
    "certified Halanay rate": 2,
    "point and history exponential lower bounds": 1,
    "current endpoint rational error budget": 1,
    "entire delayed-window rational error budget": 1,
    "rejected old rate after increased delay": 1,
    "linear original and delayed breakpoint merge": 157,
    "certificate fields": 84,
    "complete uniform time grid": 83,
    "state slope and query lengths": 83,
    "initial candidate-history join": 83,
    "causal exact historical query": 796,
    "Euler slope from the declared model": 796,
    "continuous Euler update": 795,
    "original and shifted breakpoints complete": 80,
    "residual interval coverage": 80,
    "quadratic extrema and exact residual coefficients": 984,
    "complete initial-history error": 77,
    "global residual supremum": 76,
    "Halanay persistent-defect floor": 76,
    "uniform continuous error certificate": 76,
    "manufactured polynomial solves full delay equation": 74,
    "true all-time error lies within certificate": 74,
    "coarse residual value": 1,
    "refined residual value": 1,
    "refinement crosses the requested certified tolerance": 1,
    "off-grid delay example": 1,
    "coarse endpoint value": 1,
    "interior stationary point included": 1,
    "zero endpoints are not zero defect": 1,
    "rejected missing delayed breakpoint": 1,
    "rejected nearest-left history substitution": 1,
    "rejected altered Euler state": 1,
    "rejected wrong history-side polynomial": 1,
    "rejected understated residual supremum": 1,
    "rejected missing terminal time": 1,
    "rejected wrong initial-history budget": 1,
    "rejected omitted interior residual extremum": 1,
    "rejected missing strict dissipativity": 1,
    "rejected step beyond selected causal-window contract": 1,
    "rejected extra polynomial coordinate": 1,
    "rejected empty candidate history is not a default": 1,
    "sampled rational values inside analytic quadratic bound": 4375,
    "unstable Euler first step actually reads constant history": 1,
    "continuous stable equation has unstable Euler example": 1
  },
  "method_of_steps": {
    "tau": "2/3",
    "constant_history_endpoint": "319/81",
    "affine_history_endpoint": "259/81",
    "same_initial_value_first_endpoints": [
      "5/3",
      "4/3"
    ],
    "constant_history_pieces": [
      [
        "1",
        "1"
      ],
      [
        "11/9",
        "1/3",
        "1/2"
      ],
      [
        "67/81",
        "11/9",
        "-1/6",
        "1/6"
      ]
    ],
    "affine_history_pieces": [
      [
        "1",
        "0",
        "3/4"
      ],
      [
        "16/27",
        "4/3",
        "-1/2",
        "1/4"
      ],
      [
        "112/81",
        "-16/27",
        "7/6",
        "-1/3",
        "1/16"
      ]
    ]
  },
  "rate_certificates": [
    {
      "rate": "1",
      "exponential_lower": "34901118537797442901312000336844572612813755318912813578479373459209/19154139966240170146137695312500000000000000000000000000000000000000",
      "exponential_upper": "32911754781142988655937216317644431973883371265734783204506488506868613/18062353988164480447807846679687500000000000000000000000000000000000000",
      "positive_margin": "3212953195185972239678477041730568026116628734265216795493511493131387/18062353988164480447807846679687500000000000000000000000000000000000000"
    },
    {
      "rate": "1/2",
      "exponential_lower": "2636509098533750127425747638705960765304477608126008698881/1599123602872035903779546290900811702313997565952000000000",
      "exponential_upper": "111963401164633684673925671879517110348343188200512180288863/67909235572055498149152876691620382762511698703155200000000",
      "positive_margin": "57809687765505060698956519849533846557936058557375819711137/67909235572055498149152876691620382762511698703155200000000"
    }
  ],
  "continuous_euler_models": [
    {
      "model": {
        "a": "3",
        "b": "1",
        "tau": "3/5",
        "h": "1/4",
        "T": "2",
        "true_history": [
          "0",
          "0",
          "1"
        ],
        "candidate_history": [
          "0",
          "0",
          "1"
        ],
        "p": [
          "-9/25",
          "16/5",
          "2"
        ]
      },
      "certificate": {
        "nodes": [
          "0",
          "1/4",
          "1/2",
          "3/4",
          "1",
          "5/4",
          "3/2",
          "7/4",
          "2"
        ],
        "values": [
          "0",
          "0",
          "11/64",
          "123/256",
          "23331/25600",
          "5995/4096",
          "879171/409600",
          "24218463/8192000",
          "127500911/32768000"
        ],
        "slopes": [
          "0",
          "11/16",
          "79/64",
          "11031/6400",
          "56551/25600",
          "279671/102400",
          "6635043/2048000",
          "30627059/8192000"
        ],
        "queries": [
          {
            "argument": "-3/5",
            "kind": "initial_history",
            "left_index": null,
            "weight": null,
            "value": "9/25"
          },
          {
            "argument": "-7/20",
            "kind": "initial_history",
            "left_index": null,
            "weight": null,
            "value": "49/400"
          },
          {
            "argument": "-1/10",
            "kind": "initial_history",
            "left_index": null,
            "weight": null,
            "value": "1/100"
          },
          {
            "argument": "3/20",
            "kind": "interpolation",
            "left_index": 0,
            "weight": "3/5",
            "value": "0"
          },
          {
            "argument": "2/5",
            "kind": "interpolation",
            "left_index": 1,
            "weight": "3/5",
            "value": "33/320"
          },
          {
            "argument": "13/20",
            "kind": "interpolation",
            "left_index": 2,
            "weight": "3/5",
            "value": "457/1280"
          },
          {
            "argument": "9/10",
            "kind": "interpolation",
            "left_index": 3,
            "weight": "3/5",
            "value": "94593/128000"
          },
          {
            "argument": "23/20",
            "kind": "interpolation",
            "left_index": 4,
            "weight": "3/5",
            "value": "636273/512000"
          }
        ],
        "cuts": [
          "0",
          "1/4",
          "1/2",
          "3/5",
          "3/4",
          "17/20",
          "1",
          "11/10",
          "5/4",
          "27/20",
          "3/2",
          "8/5",
          "7/4",
          "37/20",
          "2"
        ],
        "residuals": [
          {
            "lo": "0",
            "hi": "1/4",
            "coefficients": [
              "0",
              "-2",
              "-3"
            ],
            "test_points": [
              "0",
              "1/4"
            ],
            "argmax": "1/4",
            "bound": "11/16"
          },
          {
            "lo": "1/4",
            "hi": "1/2",
            "coefficients": [
              "11/64",
              "1/16",
              "-3"
            ],
            "test_points": [
              "1/4",
              "1/2"
            ],
            "argmax": "1/2",
            "bound": "35/64"
          },
          {
            "lo": "1/2",
            "hi": "3/5",
            "coefficients": [
              "-13/128",
              "109/64",
              "-3"
            ],
            "test_points": [
              "1/2",
              "3/5"
            ],
            "argmax": "3/5",
            "bound": "511/3200"
          },
          {
            "lo": "3/5",
            "hi": "3/4",
            "coefficients": [
              "827/3200",
              "161/320",
              "-2"
            ],
            "test_points": [
              "3/5",
              "3/4"
            ],
            "argmax": "3/4",
            "bound": "3131/6400"
          },
          {
            "lo": "3/4",
            "hi": "17/20",
            "coefficients": [
              "-9039/25600",
              "12613/6400",
              "-2"
            ],
            "test_points": [
              "3/4",
              "17/20"
            ],
            "argmax": "17/20",
            "bound": "7867/64000"
          },
          {
            "lo": "17/20",
            "hi": "1",
            "coefficients": [
              "5921/25600",
              "8213/6400",
              "-2"
            ],
            "test_points": [
              "17/20",
              "1"
            ],
            "argmax": "1",
            "bound": "12427/25600"
          },
          {
            "lo": "1",
            "hi": "11/10",
            "coefficients": [
              "-18933/25600",
              "70133/25600",
              "-2"
            ],
            "test_points": [
              "1",
              "11/10"
            ],
            "argmax": "11/10",
            "bound": "37387/256000"
          },
          {
            "lo": "11/10",
            "hi": "5/4",
            "coefficients": [
              "-3533/25600",
              "56133/25600",
              "-2"
            ],
            "test_points": [
              "11/10",
              "5/4"
            ],
            "argmax": "5/4",
            "bound": "53467/102400"
          },
          {
            "lo": "5/4",
            "hi": "27/20",
            "coefficients": [
              "-128933/81920",
              "384933/102400",
              "-2"
            ],
            "test_points": [
              "5/4",
              "27/20"
            ],
            "argmax": "27/20",
            "bound": "147547/1024000"
          },
          {
            "lo": "27/20",
            "hi": "3/2",
            "coefficients": [
              "-1870733/2048000",
              "334837/102400",
              "-2"
            ],
            "test_points": [
              "27/20",
              "3/2"
            ],
            "argmax": "3/2",
            "bound": "1041623/2048000"
          },
          {
            "lo": "3/2",
            "hi": "8/5",
            "coefficients": [
              "-11032827/4096000",
              "9821609/2048000",
              "-2"
            ],
            "test_points": [
              "3/2",
              "8/5"
            ],
            "argmax": "8/5",
            "bound": "2875991/20480000"
          },
          {
            "lo": "8/5",
            "hi": "7/4",
            "coefficients": [
              "-1570303/819200",
              "8827449/2048000",
              "-2"
            ],
            "test_points": [
              "8/5",
              "7/4"
            ],
            "argmax": "7/4",
            "bound": "4086887/8192000"
          },
          {
            "lo": "7/4",
            "hi": "37/20",
            "coefficients": [
              "-132289199/32768000",
              "47570457/8192000",
              "-2"
            ],
            "test_points": [
              "7/4",
              "37/20"
            ],
            "argmax": "37/20",
            "bound": "11411943/81920000"
          },
          {
            "lo": "37/20",
            "hi": "2",
            "coefficients": [
              "-20127347/6553600",
              "43293097/8192000",
              "-2"
            ],
            "test_points": [
              "37/20",
              "2"
            ],
            "argmax": "2",
            "bound": "16435959/32768000"
          }
        ],
        "initial_error": "0",
        "residual_bound": "11/16",
        "forcing_floor": "11/32",
        "uniform_error_bound": "11/32"
      },
      "verification": {
        "status": "CERTIFIED",
        "interval": [
          "0",
          "2"
        ],
        "error_bound": "11/32",
        "history_match": true,
        "residual_segments": 14
      },
      "independent_exact_solution_comparison": {
        "exact_maximum_error": "3571089/32768000",
        "attained_at": "2"
      }
    },
    {
      "model": {
        "a": "3",
        "b": "1",
        "tau": "3/5",
        "h": "1/8",
        "T": "2",
        "true_history": [
          "0",
          "0",
          "1"
        ],
        "candidate_history": [
          "0",
          "0",
          "1"
        ],
        "p": [
          "-9/25",
          "16/5",
          "2"
        ]
      },
      "certificate": {
        "nodes": [
          "0",
          "1/8",
          "1/4",
          "3/8",
          "1/2",
          "5/8",
          "3/4",
          "7/8",
          "1",
          "9/8",
          "5/4",
          "11/8",
          "3/2",
          "13/8",
          "7/4",
          "15/8",
          "2"
        ],
        "values": [
          "0",
          "0",
          "19/512",
          "447/4096",
          "7035/32768",
          "92519/262144",
          "27432779/52428800",
          "303490167/419430400",
          "3204720211/3355443200",
          "32700968863/26843545600",
          "324930903579/214748364800",
          "15802666950819/8589934592000",
          "30207225122979/13743895347200",
          "284487669449519/109951162777600",
          "2646080004702187/879609302220800",
          "24350579417624471/7036874417766400",
          "5550646742156209339/1407374883553280000"
        ],
        "slopes": [
          "0",
          "19/64",
          "295/512",
          "3459/4096",
          "36239/32768",
          "8928979/6553600",
          "16805587/10485760",
          "31071955/16777216",
          "282528287/134217728",
          "2532926107/1073741824",
          "2805430807659/1073741824000",
          "24614790008343/8589934592000",
          "42829868465687/13743895347200",
          "74035729821207/21990232555520",
          "127277575200279/35184372088832",
          "680530858631315139/175921860444160000"
        ],
        "queries": [
          {
            "argument": "-3/5",
            "kind": "initial_history",
            "left_index": null,
            "weight": null,
            "value": "9/25"
          },
          {
            "argument": "-19/40",
            "kind": "initial_history",
            "left_index": null,
            "weight": null,
            "value": "361/1600"
          },
          {
            "argument": "-7/20",
            "kind": "initial_history",
            "left_index": null,
            "weight": null,
            "value": "49/400"
          },
          {
            "argument": "-9/40",
            "kind": "initial_history",
            "left_index": null,
            "weight": null,
            "value": "81/1600"
          },
          {
            "argument": "-1/10",
            "kind": "initial_history",
            "left_index": null,
            "weight": null,
            "value": "1/100"
          },
          {
            "argument": "1/40",
            "kind": "interpolation",
            "left_index": 0,
            "weight": "1/5",
            "value": "0"
          },
          {
            "argument": "3/20",
            "kind": "interpolation",
            "left_index": 1,
            "weight": "1/5",
            "value": "19/2560"
          },
          {
            "argument": "11/40",
            "kind": "interpolation",
            "left_index": 2,
            "weight": "1/5",
            "value": "211/4096"
          },
          {
            "argument": "2/5",
            "kind": "interpolation",
            "left_index": 3,
            "weight": "1/5",
            "value": "21339/163840"
          },
          {
            "argument": "21/40",
            "kind": "interpolation",
            "left_index": 4,
            "weight": "1/5",
            "value": "317639/1310720"
          },
          {
            "argument": "13/20",
            "kind": "interpolation",
            "left_index": 5,
            "weight": "1/5",
            "value": "101447979/262144000"
          },
          {
            "argument": "31/40",
            "kind": "interpolation",
            "left_index": 6,
            "weight": "1/5",
            "value": "236267819/419430400"
          },
          {
            "argument": "9/10",
            "kind": "interpolation",
            "left_index": 7,
            "weight": "1/5",
            "value": "2583281111/3355443200"
          },
          {
            "argument": "41/40",
            "kind": "interpolation",
            "left_index": 8,
            "weight": "1/5",
            "value": "27050403123/26843545600"
          },
          {
            "argument": "23/20",
            "kind": "interpolation",
            "left_index": 9,
            "weight": "1/5",
            "value": "274272381439/214748364800"
          },
          {
            "argument": "51/40",
            "kind": "interpolation",
            "left_index": 10,
            "weight": "1/5",
            "value": "67791611523459/42949672960000"
          }
        ],
        "cuts": [
          "0",
          "1/8",
          "1/4",
          "3/8",
          "1/2",
          "3/5",
          "5/8",
          "29/40",
          "3/4",
          "17/20",
          "7/8",
          "39/40",
          "1",
          "11/10",
          "9/8",
          "49/40",
          "5/4",
          "27/20",
          "11/8",
          "59/40",
          "3/2",
          "8/5",
          "13/8",
          "69/40",
          "7/4",
          "37/20",
          "15/8",
          "79/40",
          "2"
        ],
        "residuals": [
          {
            "lo": "0",
            "hi": "1/8",
            "coefficients": [
              "0",
              "-2",
              "-3"
            ],
            "test_points": [
              "0",
              "1/8"
            ],
            "argmax": "1/8",
            "bound": "19/64"
          },
          {
            "lo": "1/8",
            "hi": "1/4",
            "coefficients": [
              "95/512",
              "-71/64",
              "-3"
            ],
            "test_points": [
              "1/8",
              "1/4"
            ],
            "argmax": "1/4",
            "bound": "143/512"
          },
          {
            "lo": "1/4",
            "hi": "3/8",
            "coefficients": [
              "523/2048",
              "-139/512",
              "-3"
            ],
            "test_points": [
              "1/4",
              "3/8"
            ],
            "argmax": "3/8",
            "bound": "1099/4096"
          },
          {
            "lo": "3/8",
            "hi": "1/2",
            "coefficients": [
              "7269/32768",
              "2185/4096",
              "-3"
            ],
            "test_points": [
              "3/8",
              "1/2"
            ],
            "argmax": "1/2",
            "bound": "8567/32768"
          },
          {
            "lo": "1/2",
            "hi": "3/5",
            "coefficients": [
              "5971/65536",
              "43181/32768",
              "-3"
            ],
            "test_points": [
              "1/2",
              "3/5"
            ],
            "argmax": "3/5",
            "bound": "324767/1638400"
          },
          {
            "lo": "3/5",
            "hi": "5/8",
            "coefficients": [
              "739099/1638400",
              "19297/163840",
              "-2"
            ],
            "test_points": [
              "3/5",
              "5/8"
            ],
            "argmax": "5/8",
            "bound": "1681179/6553600"
          },
          {
            "lo": "5/8",
            "hi": "29/40",
            "coefficients": [
              "2376583/10485760",
              "5815417/6553600",
              "-2"
            ],
            "test_points": [
              "5/8",
              "29/40"
            ],
            "argmax": "29/40",
            "bound": "11879303/65536000"
          },
          {
            "lo": "29/40",
            "hi": "3/4",
            "coefficients": [
              "4633479/10485760",
              "3869817/6553600",
              "-2"
            ],
            "test_points": [
              "29/40",
              "3/4"
            ],
            "argmax": "3/4",
            "bound": "12596103/52428800"
          },
          {
            "lo": "3/4",
            "hi": "17/20",
            "coefficients": [
              "5937813/41943040",
              "13749369/10485760",
              "-2"
            ],
            "test_points": [
              "3/4",
              "17/20"
            ],
            "argmax": "17/20",
            "bound": "19805063/104857600"
          },
          {
            "lo": "17/20",
            "hi": "7/8",
            "coefficients": [
              "15895189/41943040",
              "10820729/10485760",
              "-2"
            ],
            "test_points": [
              "17/20",
              "7/8"
            ],
            "argmax": "7/8",
            "bound": "20915079/83886080"
          },
          {
            "lo": "7/8",
            "hi": "39/40",
            "coefficients": [
              "-17573003/671088640",
              "149311069/83886080",
              "-2"
            ],
            "test_points": [
              "7/8",
              "39/40"
            ],
            "argmax": "39/40",
            "bound": "161067427/838860800"
          },
          {
            "lo": "39/40",
            "hi": "1",
            "coefficients": [
              "157985653/671088640",
              "126803549/83886080",
              "-2"
            ],
            "test_points": [
              "39/40",
              "1"
            ],
            "argmax": "1",
            "bound": "33952647/134217728"
          },
          {
            "lo": "1",
            "hi": "11/10",
            "coefficients": [
              "-181540817/671088640",
              "1523718097/671088640",
              "-2"
            ],
            "test_points": [
              "1",
              "11/10"
            ],
            "argmax": "11/10",
            "bound": "1294854191/6710886400"
          },
          {
            "lo": "11/10",
            "hi": "9/8",
            "coefficients": [
              "11456559/671088640",
              "1348265937/671088640",
              "-2"
            ],
            "test_points": [
              "11/10",
              "9/8"
            ],
            "argmax": "9/8",
            "bound": "272699811/1073741824"
          },
          {
            "lo": "9/8",
            "hi": "49/40",
            "coefficients": [
              "-25173262269/42949672960",
              "14876624661/5368709120",
              "-2"
            ],
            "test_points": [
              "9/8",
              "49/40"
            ],
            "argmax": "49/40",
            "bound": "10356308203/53687091200"
          },
          {
            "lo": "49/40",
            "hi": "5/4",
            "coefficients": [
              "-291912206709/1073741824000",
              "67497014121/26843545600",
              "-2"
            ],
            "test_points": [
              "49/40",
              "5/4"
            ],
            "argmax": "5/4",
            "bound": "272504700659/1073741824000"
          },
          {
            "lo": "5/4",
            "hi": "27/20",
            "coefficients": [
              "-833040106817/858993459200",
              "3517394666817/1073741824000",
              "-2"
            ],
            "test_points": [
              "5/4",
              "27/20"
            ],
            "argmax": "27/20",
            "bound": "2066062817983/10737418240000"
          },
          {
            "lo": "27/20",
            "hi": "11/8",
            "coefficients": [
              "-2772172311109/4294967296000",
              "3259426477377/1073741824000",
              "-2"
            ],
            "test_points": [
              "27/20",
              "11/8"
            ],
            "argmax": "11/8",
            "bound": "2171343547071/8589934592000"
          },
          {
            "lo": "11/8",
            "hi": "59/40",
            "coefficients": [
              "-98638345654519/68719476736000",
              "32589442460229/8589934592000",
              "-2"
            ],
            "test_points": [
              "11/8",
              "59/40"
            ],
            "argmax": "59/40",
            "bound": "16373184714171/85899345920000"
          },
          {
            "lo": "59/40",
            "hi": "3/2",
            "coefficients": [
              "-73366237397239/68719476736000",
              "30447738370629/8589934592000",
              "-2"
            ],
            "test_points": [
              "59/40",
              "3/2"
            ],
            "argmax": "3/2",
            "bound": "17231022261691/68719476736000"
          },
          {
            "lo": "3/2",
            "hi": "8/5",
            "coefficients": [
              "-53469926125263/27487790694400",
              "59054994750021/13743895347200",
              "-2"
            ],
            "test_points": [
              "3/2",
              "8/5"
            ],
            "argmax": "8/5",
            "bound": "26157156402619/137438953472000"
          },
          {
            "lo": "8/5",
            "hi": "13/8",
            "coefficients": [
              "-42344322756303/27487790694400",
              "55578243697221/13743895347200",
              "-2"
            ],
            "test_points": [
              "8/5",
              "13/8"
            ],
            "argmax": "13/8",
            "bound": "27539701380539/109951162777600"
          },
          {
            "lo": "13/8",
            "hi": "69/40",
            "coefficients": [
              "-441749814199681/175921860444160",
              "105449010743877/21990232555520",
              "-2"
            ],
            "test_points": [
              "13/8",
              "69/40"
            ],
            "argmax": "69/40",
            "bound": "41885547378107/219902325555200"
          },
          {
            "lo": "69/40",
            "hi": "7/4",
            "coefficients": [
              "-364678302815617/175921860444160",
              "99864118614597/21990232555520",
              "-2"
            ],
            "test_points": [
              "69/40",
              "7/4"
            ],
            "argmax": "7/4",
            "bound": "44102037431739/175921860444160"
          },
          {
            "lo": "7/4",
            "hi": "37/20",
            "coefficients": [
              "-2208447847602031/703687441776640",
              "931219061211993/175921860444160",
              "-2"
            ],
            "test_points": [
              "7/4",
              "37/20"
            ],
            "argmax": "37/20",
            "bound": "335418333985959/1759218604441600"
          },
          {
            "lo": "37/20",
            "hi": "15/8",
            "coefficients": [
              "-234757348555981107/87960930222080000",
              "22164297276400561/4398046511104000",
              "-2"
            ],
            "test_points": [
              "37/20",
              "15/8"
            ],
            "argmax": "15/8",
            "bound": "44142982629920139/175921860444160000"
          },
          {
            "lo": "15/8",
            "hi": "79/40",
            "coefficients": [
              "-1077881586840548571/281474976710656000",
              "1019000838945782857/175921860444160000",
              "-2"
            ],
            "test_points": [
              "15/8",
              "79/40"
            ],
            "argmax": "79/40",
            "bound": "335597486474249143/1759218604441600000"
          },
          {
            "lo": "79/40",
            "hi": "2",
            "coefficients": [
              "-4686795903867320391/1407374883553280000",
              "974531723101768777/175921860444160000",
              "-2"
            ],
            "test_points": [
              "79/40",
              "2"
            ],
            "argmax": "2",
            "bound": "353287402665259959/1407374883553280000"
          }
        ],
        "initial_error": "0",
        "residual_bound": "19/64",
        "forcing_floor": "19/128",
        "uniform_error_bound": "19/128"
      },
      "verification": {
        "status": "CERTIFIED",
        "interval": [
          "0",
          "2"
        ],
        "error_bound": "19/128",
        "history_match": true,
        "residual_segments": 28
      },
      "independent_exact_solution_comparison": {
        "exact_maximum_error": "78852792056910661/1407374883553280000",
        "attained_at": "2"
      }
    }
  ],
  "interior_extremum_example": {
    "model": {
      "a": "3",
      "b": "1",
      "tau": "1",
      "h": "1",
      "T": "1",
      "true_history": [
        "0",
        "0",
        "0"
      ],
      "candidate_history": [
        "0",
        "0",
        "0"
      ],
      "p": [
        "0",
        "4",
        "-4"
      ]
    },
    "certificate": {
      "nodes": [
        "0",
        "1"
      ],
      "values": [
        "0",
        "0"
      ],
      "slopes": [
        "0"
      ],
      "queries": [
        {
          "argument": "-1",
          "kind": "initial_history",
          "left_index": null,
          "weight": null,
          "value": "0"
        }
      ],
      "cuts": [
        "0",
        "1"
      ],
      "residuals": [
        {
          "lo": "0",
          "hi": "1",
          "coefficients": [
            "0",
            "-4",
            "4"
          ],
          "test_points": [
            "0",
            "1",
            "1/2"
          ],
          "argmax": "1/2",
          "bound": "1"
        }
      ],
      "initial_error": "0",
      "residual_bound": "1",
      "forcing_floor": "1/2",
      "uniform_error_bound": "1/2"
    },
    "verification": {
      "status": "CERTIFIED",
      "interval": [
        "0",
        "1"
      ],
      "error_bound": "1/2",
      "history_match": true,
      "residual_segments": 1
    }
  },
  "additional_manufactured_models": 72,
  "rejected_certificates": [
    "old rate after increased delay",
    "missing delayed breakpoint",
    "nearest-left history substitution",
    "altered Euler state",
    "wrong history-side polynomial",
    "understated residual supremum",
    "missing terminal time",
    "wrong initial-history budget",
    "omitted interior residual extremum",
    "missing strict dissipativity",
    "step beyond selected causal-window contract",
    "extra polynomial coordinate",
    "empty candidate history is not a default"
  ],
  "unstable_euler_sequence": [
    "1",
    "-1",
    "3",
    "-7",
    "17",
    "-41",
    "99",
    "-239",
    "577",
    "-1393",
    "3363",
    "-8119"
  ],
  "scope": "Exact finite rational certificates and polynomial extrema; general existence, comparison and convergence are proved in the formal pages."
}