{
  "byte_codebook": {
    "compact_json_sha256": "0fc8922c2d84cfd965c9fe310070e00ffd86ed76117584a9ff2faa85136a0c47",
    "direct_decoder_exact": true,
    "entries": 256,
    "first": 33386,
    "increment_max": 16694,
    "increment_min": 16692,
    "last": 4290149,
    "residual_max": 48,
    "residual_min": 0,
    "seed_65": 1118443
  },
  "constants": {
    "N": 23,
    "Q": 339949771344778,
    "Q_rederived_at_70_digits": 339949771344778,
    "Q_rederived_at_90_digits": 339949771344778,
    "S": 1000000000000000,
    "kappa_50": "1.07895740362416456641369720327285296513863541099576",
    "lambda_50": "0.33994977134477892957670280932127919355100990501426",
    "lambda_power_23": "1.66931896786205854202278982544429603856787514680458E-11",
    "phi_50": "1.61803398874989484820458683436563811772030917980576",
    "pi_50": "3.14159265358979323846264338327950288419716939937511"
  },
  "ellipse_table": {
    "corrected_r2_multiplier": "1.027976282991305",
    "rows": [
      {
        "aspect_ratio": "1",
        "coordinate": "1.000000000000000",
        "multiplier": "1.000000000000000"
      },
      {
        "aspect_ratio": "phi",
        "coordinate": "1.041127366939274",
        "multiplier": "1.013981238987019"
      },
      {
        "aspect_ratio": "2",
        "coordinate": "1.082295342869730",
        "multiplier": "1.027976282991305"
      },
      {
        "aspect_ratio": "3",
        "coordinate": "1.186922834658579",
        "multiplier": "1.063544374901302"
      },
      {
        "aspect_ratio": "4",
        "coordinate": "1.271329232592636",
        "multiplier": "1.092238310579021"
      },
      {
        "aspect_ratio": "5",
        "coordinate": "1.337157255838047",
        "multiplier": "1.114616532029377"
      },
      {
        "aspect_ratio": "6",
        "coordinate": "1.389101989249400",
        "multiplier": "1.132275132275132"
      },
      {
        "aspect_ratio": "7",
        "coordinate": "1.430874223270407",
        "multiplier": "1.146475593679134"
      },
      {
        "aspect_ratio": "8",
        "coordinate": "1.465095746400353",
        "multiplier": "1.158109192642229"
      },
      {
        "aspect_ratio": "9",
        "coordinate": "1.493601149298362",
        "multiplier": "1.167799597839498"
      },
      {
        "aspect_ratio": "10",
        "coordinate": "1.517692007890454",
        "multiplier": "1.175989279709379"
      }
    ]
  },
  "fold15": {
    "round_trip": true,
    "rule": "fold15_be_lsbpad_v1",
    "vectors_checked": 6
  },
  "implementation_version": "1.0.0",
  "integer_kernel": {
    "all_23_step_terminal_states_zero": true,
    "exact_round_trip": true,
    "full_identity_checked": true,
    "limb_domain": [
      0,
      32767
    ],
    "maximum_steps_to_zero": 10,
    "verified_limb_count": 32768
  },
  "negative_tests": "PASS",
  "overall": "PASS",
  "sixteen_bit_codebook": {
    "entries": 65536,
    "expanded_error_max": "-21959084760/1000000000000000",
    "expanded_error_min": "-95642173670/1000000000000000",
    "first": 33386,
    "increment_max": 16694,
    "increment_min": 16692,
    "iterative_decoder_exact_after_replay": true,
    "last": 1094021571,
    "second": 50079,
    "u64be_map_sha256": "c0d90669759bfe4c2efc7692ba74496249f9ff1f63748166afb19232724f8ff8"
  }
}
