{
  "changed_operator": false,
  "date": "2026-11-07",
  "decoder_search_nodes_max": 1,
  "decoder_search_nodes_total": 20,
  "exact_F_max_computed": false,
  "exact_arithmetic": "integers, Fraction, and integer/rational pairs in Q(phi)",
  "finite_message_adapter_cases": 5,
  "full_geometric_proof_in_lean": false,
  "geometry": {
    "AC_equals_6phiC_entries": 480,
    "centered_columns": 4,
    "gram_entries": 16,
    "gram_identity": "C^T C=30 I_4",
    "integer_basis_Gram_values": {
      "C0_C0": 72,
      "C0_C1": -24,
      "C1_C1": 48
    },
    "integer_geometric_compositions_checked": 12,
    "integer_geometric_example": {
      "d": [
        85,
        64,
        34,
        -36,
        -66,
        -1,
        9,
        26,
        48,
        123,
        71,
        13,
        -39,
        36,
        58,
        75,
        85,
        150,
        120,
        50,
        20,
        43,
        -9,
        105,
        5,
        70,
        40,
        80,
        50,
        115,
        15,
        129,
        77,
        -7,
        -117,
        -42,
        -72,
        20,
        42,
        -80,
        -58,
        34,
        4,
        79,
        -31,
        -87,
        -60,
        -38,
        -50,
        -28,
        37,
        -15,
        -63,
        -115,
        64,
        34,
        -46,
        -76,
        99,
        29,
        -31,
        -101,
        74,
        44,
        -36,
        -66,
        113,
        61,
        13,
        -39,
        26,
        48,
        36,
        58,
        85,
        29,
        -81,
        -6,
        -36,
        56,
        78,
        -44,
        -22,
        70,
        40,
        115,
        5,
        -79,
        -131,
        -17,
        -117,
        -52,
        -82,
        -42,
        -72,
        -7,
        -107,
        7,
        -45,
        -22,
        -52,
        -122,
        -152,
        -87,
        -77,
        -60,
        -38,
        37,
        -15,
        -73,
        -125,
        -50,
        -28,
        -11,
        -1,
        64,
        34,
        -36,
        -66,
        -87
      ],
      "t": -1,
      "witness_mod8": [
        5,
        0,
        2,
        4,
        6,
        7,
        1,
        2,
        0,
        3,
        7,
        5,
        1,
        4,
        2,
        3,
        5,
        6,
        0,
        2,
        4,
        3,
        7,
        1,
        5,
        6,
        0,
        0,
        2,
        3,
        7,
        1,
        5,
        1,
        3,
        6,
        0,
        4,
        2,
        0,
        6,
        2,
        4,
        7,
        1,
        1,
        4,
        2,
        6,
        4,
        5,
        1,
        1,
        5,
        0,
        2,
        2,
        4,
        3,
        5,
        1,
        3,
        2,
        4,
        4,
        6,
        1,
        5,
        5,
        1,
        2,
        0,
        4,
        2,
        5,
        5,
        7,
        2,
        4,
        0,
        6,
        4,
        2,
        6,
        0,
        3,
        5,
        1,
        5,
        7,
        3,
        4,
        6,
        6,
        0,
        1,
        5,
        7,
        3,
        2,
        4,
        6,
        0,
        1,
        3,
        4,
        2,
        5,
        1,
        7,
        3,
        6,
        4,
        5,
        7,
        0,
        2,
        4,
        6,
        1
      ],
      "x": [
        -43,
        43,
        -50,
        -15
      ],
      "y": [
        11,
        10,
        1,
        -6,
        -16,
        5,
        -1,
        -3,
        4,
        19,
        3,
        8,
        -8,
        7,
        13,
        11,
        6,
        27,
        17,
        10,
        0,
        6,
        -10,
        10,
        -7,
        14,
        4,
        8,
        -1,
        20,
        3,
        22,
        7,
        -4,
        -16,
        0,
        -10,
        3,
        10,
        -14,
        -7,
        6,
        -4,
        12,
        0,
        -17,
        -9,
        -3,
        -15,
        -8,
        12,
        -4,
        -5,
        -20,
        5,
        -5,
        -7,
        -16,
        16,
        9,
        -10,
        -18,
        14,
        5,
        3,
        -6,
        19,
        3,
        2,
        -14,
        7,
        13,
        1,
        8,
        15,
        -2,
        -13,
        2,
        -8,
        6,
        12,
        -11,
        -5,
        8,
        -1,
        14,
        3,
        -8,
        -24,
        -4,
        -21,
        -1,
        -10,
        -6,
        -16,
        5,
        -12,
        8,
        -8,
        -2,
        -11,
        -19,
        -28,
        -7,
        -13,
        -15,
        -9,
        7,
        -9,
        -5,
        -21,
        -5,
        1,
        -1,
        -7,
        14,
        5,
        -3,
        -12,
        -13
      ],
      "z": [
        18,
        5,
        5,
        -26
      ]
    },
    "integer_geometric_mixer": [
      [
        13,
        6
      ],
      [
        6,
        19
      ]
    ],
    "joint_geometric_scalar_cases": 20
  },
  "graph_sha256": "40bc6a1d52efab3d75cf343e65ac06b314f9c9c375fc02bf6d45bf6bb21f9529",
  "history_cases": 3,
  "history_steps_recovered": 18,
  "ideal_vs_rational_counterexample": {
    "ideal_floor_certified": "679899542689557",
    "input_scalar": "2000000000000000",
    "method": "rational sqrt and alternating arctangent bounds via Machin identity",
    "q_strictly_less_than_lambda": true,
    "rational_floor": "679899542689556"
  },
  "inverse_certificate": {
    "C_inverse_infinity_norm": "1078900000000000000/90596614063383337",
    "h": 4948372000,
    "infinity_norm_numerator": 801320608
  },
  "mean_noncommutation_counterexample": {
    "floor_q_mean": 0,
    "input_rule": "d=100*e_0",
    "mean_of_T": "29/120"
  },
  "new_historical_priority_claim": false,
  "positive_definiteness": {
    "matrix": "M-9I",
    "minor_list_sha256": "8172fcb9786e004b540fb031fa5505fa6da2b08c41d54523a70518f4d5e55b74",
    "positive_leading_minors": 120
  },
  "rational_parameter_cross_checks": [
    "169974885672389/500000000000000",
    "1/3"
  ],
  "scalar_diagonal_cases": 259,
  "schema": "OMEGA_EXPLICIT_JOIN_CHECK/1",
  "source_scope": "Reuses provided graph construction; fresh executions by this assistant, not independent third-party review.",
  "source_sha256": "963fc485461f552c661b760d7af5b44074cb79d46beea2bbf296bbb146fcc519",
  "status": "PASS",
  "witness_conversion_cases": 20
}