{
  "schema":"tnfr.localized-variational-first-panel-result.v1",
  "scope":"One canonical finite-input linear correction panel; no nonlinear response",
  "panel":[
    0,
    16
  ],
  "checks":{
    "candidate_bound":true,
    "polynomial_defect":true,
    "initial_enclosure":true,
    "exact_initial_zero":true,
    "input_cost":false,
    "proposal_cost":true,
    "validation_cost":true
  },
  "panel_numerical_policy_passed":true,
  "local_resource_policy_passed":false,
  "candidate_norm_upper":{
    "numerator":1147770262188869574638877418994754459371805218104558470023022101251461041,
    "denominator":115792089237316195423570985008687907853269984665640564039457584007913129639936
  },
  "polynomial_defect_norm_upper":{
    "numerator":347935703165024660853872965720847340435026157079945217703,
    "denominator":115792089237316195423570985008687907853269984665640564039457584007913129639936
  },
  "conditional_integrated_defect_upper":{
    "numerator":7226341834067160664199048549654972662197186005212194753016808275827080764972135061090176945,
    "denominator":150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464
  },
  "initial_enclosure_norm_upper":{
    "numerator":119986603702866812405045375240111220189025,
    "denominator":28948022309329048855892746252171976963317496166410141009864396001978282409984
  },
  "local_finite_input_correction_error_upper":{
    "numerator":7226341834067161287205114022313639019222438110341294468470502795566395918508102769038823345,
    "denominator":293567822846729153486185074598667128421960318613539983838411371441526128139326055432962374798096087878991872
  },
  "source_coefficient_radius_norm_sum":{
    "numerator":128204933203809658552526999291845171688803713,
    "denominator":14474011154664524427946373126085988481658748083205070504932198000989141204992
  },
  "edge_coefficient_radius_operator_upper":{
    "numerator":5195,
    "denominator":340282366920938463463374607431768211456
  },
  "horizon_bounds":{
    "lo":{
      "numerator":48930387660699366605874647399596501989505963,
      "denominator":340282366920938463463374607431768211456
    },
    "hi":{
      "numerator":48930387660699366605874647399596522666072493,
      "denominator":340282366920938463463374607431768211456
    }
  },
  "seconds":{
    "inputs":666.8141752000083,
    "factory":0.10341020001214929,
    "sampling":648.2978925000061,
    "transform":16.84228109999094,
    "proposal":5.520706199982669,
    "factorization":0.10142950000590645,
    "feedback":0.5867733000195585,
    "validation":37.43268729999545,
    "total_with_artifact_io":713.8729448000086
  },
  "whole_interval_evaluated":false,
  "nonlinear_maintenance_established":false,
  "response":{
    "path":"response.zip",
    "bytes":7067731,
    "sha256":"10d88e718e6eab5ada589b2fddf831da64fbd14e3ca84821a7e73fbf3f67233a"
  },
  "response_members":[
    {
      "path":"inputs.json",
      "bytes":51384991,
      "sha256":"99258416c3e8b6220a214a0497bc114e3fbbe47a56893f361db2606a3694bacf"
    },
    {
      "path":"candidate.json",
      "bytes":17003305,
      "sha256":"4dff1d6a628c7d828ca2b92e4bf1bfaa71419709041ae1b612ed7a2b44841dd0"
    },
    {
      "path":"validation.json",
      "bytes":755755,
      "sha256":"8ff44dea4ab3307b8b80381ed2a6668b06b3370d0b385fac76412c41e8888695"
    }
  ],
  "freeze_schema":"tnfr.localized-variational-first-panel-freeze.v1"
}