{
  "schema":"tnfr.collective-pressure-phase-review-response.v1",
  "interval_bits":128,
  "interval_method":"rational_outward_dyadic128_machin_trigonometry_v1",
  "coefficient":{
    "numerator":5404319552844595,
    "denominator":18014398509481984
  },
  "source_captures":[
    "initial",
    "IL_raw"
  ],
  "node_order":[
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16,
    17,
    18,
    19
  ],
  "edges":[
    [
      0,
      2
    ],
    [
      0,
      3
    ],
    [
      0,
      8
    ],
    [
      0,
      9
    ],
    [
      0,
      1
    ],
    [
      0,
      10
    ],
    [
      0,
      11
    ],
    [
      1,
      2
    ],
    [
      1,
      3
    ],
    [
      1,
      8
    ],
    [
      1,
      9
    ],
    [
      1,
      10
    ],
    [
      1,
      11
    ],
    [
      2,
      4
    ],
    [
      2,
      5
    ],
    [
      3,
      4
    ],
    [
      3,
      5
    ],
    [
      4,
      6
    ],
    [
      4,
      7
    ],
    [
      5,
      6
    ],
    [
      5,
      7
    ],
    [
      6,
      8
    ],
    [
      6,
      9
    ],
    [
      7,
      8
    ],
    [
      7,
      9
    ],
    [
      10,
      12
    ],
    [
      10,
      13
    ],
    [
      10,
      18
    ],
    [
      10,
      19
    ],
    [
      11,
      12
    ],
    [
      11,
      13
    ],
    [
      11,
      18
    ],
    [
      11,
      19
    ],
    [
      12,
      14
    ],
    [
      12,
      15
    ],
    [
      13,
      14
    ],
    [
      13,
      15
    ],
    [
      14,
      16
    ],
    [
      14,
      17
    ],
    [
      15,
      16
    ],
    [
      15,
      17
    ],
    [
      16,
      18
    ],
    [
      16,
      19
    ],
    [
      17,
      18
    ],
    [
      17,
      19
    ]
  ],
  "neighbors":[
    [
      2,
      3,
      8,
      9,
      1,
      10,
      11
    ],
    [
      0,
      2,
      3,
      8,
      9,
      10,
      11
    ],
    [
      0,
      1,
      4,
      5
    ],
    [
      0,
      1,
      4,
      5
    ],
    [
      2,
      3,
      6,
      7
    ],
    [
      2,
      3,
      6,
      7
    ],
    [
      4,
      5,
      8,
      9
    ],
    [
      4,
      5,
      8,
      9
    ],
    [
      0,
      1,
      6,
      7
    ],
    [
      0,
      1,
      6,
      7
    ],
    [
      0,
      1,
      12,
      13,
      18,
      19
    ],
    [
      0,
      1,
      12,
      13,
      18,
      19
    ],
    [
      10,
      11,
      14,
      15
    ],
    [
      10,
      11,
      14,
      15
    ],
    [
      12,
      13,
      16,
      17
    ],
    [
      12,
      13,
      16,
      17
    ],
    [
      14,
      15,
      18,
      19
    ],
    [
      14,
      15,
      18,
      19
    ],
    [
      10,
      11,
      16,
      17
    ],
    [
      10,
      11,
      16,
      17
    ]
  ],
  "before_phase":[
    {
      "numerator":2250584181589259,
      "denominator":73786976294838206464
    },
    {
      "numerator":3537101705418933,
      "denominator":562949953421312
    },
    {
      "numerator":11042702053675,
      "denominator":8796093022208
    },
    {
      "numerator":11042702053675,
      "denominator":8796093022208
    },
    {
      "numerator":674651885,
      "denominator":268435456
    },
    {
      "numerator":674651885,
      "denominator":268435456
    },
    {
      "numerator":2023955655,
      "denominator":536870912
    },
    {
      "numerator":2023955655,
      "denominator":536870912
    },
    {
      "numerator":1415192971697059,
      "denominator":281474976710656
    },
    {
      "numerator":1415192971697059,
      "denominator":281474976710656
    },
    {
      "numerator":3,
      "denominator":4096
    },
    {
      "numerator":3,
      "denominator":4096
    },
    {
      "numerator":675045101,
      "denominator":536870912
    },
    {
      "numerator":675045101,
      "denominator":536870912
    },
    {
      "numerator":674848493,
      "denominator":268435456
    },
    {
      "numerator":674848493,
      "denominator":268435456
    },
    {
      "numerator":2024348871,
      "denominator":536870912
    },
    {
      "numerator":2024348871,
      "denominator":536870912
    },
    {
      "numerator":674750189,
      "denominator":134217728
    },
    {
      "numerator":674750189,
      "denominator":134217728
    }
  ],
  "after_phase":[
    {
      "numerator":2265621457398159,
      "denominator":18446744073709551616
    },
    {
      "numerator":47531826631,
      "denominator":562949953421312
    },
    {
      "numerator":11042702053675,
      "denominator":8796093022208
    },
    {
      "numerator":11042702053675,
      "denominator":8796093022208
    },
    {
      "numerator":674651885,
      "denominator":268435456
    },
    {
      "numerator":674651885,
      "denominator":268435456
    },
    {
      "numerator":2023955655,
      "denominator":536870912
    },
    {
      "numerator":2023955655,
      "denominator":536870912
    },
    {
      "numerator":1415192971697059,
      "denominator":281474976710656
    },
    {
      "numerator":1415192971697059,
      "denominator":281474976710656
    },
    {
      "numerator":3,
      "denominator":4096
    },
    {
      "numerator":3,
      "denominator":4096
    },
    {
      "numerator":675045101,
      "denominator":536870912
    },
    {
      "numerator":675045101,
      "denominator":536870912
    },
    {
      "numerator":674848493,
      "denominator":268435456
    },
    {
      "numerator":674848493,
      "denominator":268435456
    },
    {
      "numerator":2024348871,
      "denominator":536870912
    },
    {
      "numerator":2024348871,
      "denominator":536870912
    },
    {
      "numerator":674750189,
      "denominator":134217728
    },
    {
      "numerator":674750189,
      "denominator":134217728
    }
  ],
  "certificates":[
    {
      "target":0,
      "relative_real":{
        "lo":{
          "numerator":1443047355468938791257095882040225312595,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":721523677734469395628547941020112656301,
          "denominator":170141183460469231731687303715884105728
        }
      },
      "relative_imaginary":{
        "lo":{
          "numerator":444066485385991014487065118012137353,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":222033242692995507243532559006068687,
          "denominator":170141183460469231731687303715884105728
        }
      },
      "ideal_angle":{
        "lo":{
          "numerator":104714505296670346390548614814136961,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":13089313162083793298818576851767121,
          "denominator":42535295865117307932921825928971026432
        }
      },
      "ideal_displacement":{
        "lo":{
          "numerator":15707175794500551377300018259138909,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":31414351589001102754600036518277821,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "represented_displacement":{
        "lo":{
          "numerator":31414351588999655695277095080951805,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":15707175794499827847638547540475905,
          "denominator":170141183460469231731687303715884105728
        }
      },
      "defect":{
        "lo":{
          "numerator":-22610301920959958219,
          "denominator":5316911983139663491615228241121378304
        },
        "hi":{
          "numerator":-180882415367679665751,
          "denominator":42535295865117307932921825928971026432
        }
      },
      "nearest_lift_certified":true,
      "budget":{
        "numerator":1,
        "denominator":70368744177664
      },
      "classification":"certified_within_budget"
    },
    {
      "target":1,
      "relative_real":{
        "lo":{
          "numerator":1443047325061777769790710512347788066903,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":721523662530888884895355256173894033455,
          "denominator":170141183460469231731687303715884105728
        }
      },
      "relative_imaginary":{
        "lo":{
          "numerator":69106691807467058792815268981042637,
          "denominator":42535295865117307932921825928971026432
        },
        "hi":{
          "numerator":552853534459736470342522151848341117,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "ideal_angle":{
        "lo":{
          "numerator":8147961296690577528076045353187989,
          "denominator":21267647932558653966460912964485513216
        },
        "hi":{
          "numerator":130367380747049240449216725651007831,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "ideal_displacement":{
        "lo":{
          "numerator":39110214224114770687396340040818271,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":19555107112057385343698170020409137,
          "denominator":170141183460469231731687303715884105728
        }
      },
      "represented_displacement":{
        "lo":{
          "numerator":39110214224218193655766769108838023,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":9777553556054548413941692277209507,
          "denominator":85070591730234615865843651857942052864
        }
      },
      "defect":{
        "lo":{
          "numerator":103422968370429068019749,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":103422968370429068019757,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "nearest_lift_certified":true,
      "budget":{
        "numerator":1,
        "denominator":70368744177664
      },
      "classification":"certified_within_budget"
    }
  ],
  "cross_checks":[
    {
      "target":0,
      "decimal_digits":100,
      "defect_decimal":"-0.000000000000000004252525148555959405376069085679788172458984933997021401549276442301144003978677771310251579672364333",
      "inside_rigorous_box":true,
      "role":"Independent point cross-check, not a certificate"
    },
    {
      "target":1,
      "decimal_digits":100,
      "defect_decimal":"0.0000000000000003039327876617787286525851653899707520989155770804202410260270073843187662745580506919947135887247266",
      "inside_rigorous_box":true,
      "role":"Independent point cross-check, not a certificate"
    }
  ],
  "independent_retained_state_checks":[
    {
      "name":"test_il_work_and_identity_follow_from_all_retained_edges",
      "passed":true
    },
    {
      "name":"test_oz_projection_and_all_candidate_products_retain_their_separate_roles",
      "passed":true
    }
  ],
  "later_original_compound_boxes":{
    "shared_edge_work_identity":true,
    "represented_ideal_work_bridge":true,
    "actual_ideal_phase_mean_bridge":true,
    "strict_negative_work":true,
    "retained_global_rho":true,
    "strict_joint_identity":true,
    "strict_storage_margin":true
  },
  "original_report_reclassified":false,
  "operator_words_executed":0,
  "numerical_trajectory_steps":0
}