{
  "schema": "weighted-normal-phase-checks/v1",
  "mode_matrices": [
    [
      [
        0,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        1
      ],
      [
        1,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        0
      ]
    ],
    [
      [
        0,
        1,
        0,
        0
      ],
      [
        1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        -1
      ],
      [
        0,
        0,
        -1,
        0
      ]
    ]
  ],
  "clifford_squares_identity": true,
  "clifford_anticommutator_zero": true,
  "total_occupation": 2,
  "retained_shift": 5,
  "slow_coefficients": [
    10,
    11
  ],
  "fast_coefficients": [
    21,
    30
  ],
  "fast_square": 2682,
  "tangent_numerator": [
    121,
    -110
  ],
  "tangent_denominator": "221*sqrt(221)",
  "tangent_norm": "11/221",
  "weighted_fock_derivative_squared": "1/1341",
  "weighted_one_particle_derivative_squared": "1/256",
  "weighted_phase_derivative_squared": "121/130991562",
  "sign_integral_gap_bound_squared": "1/2682",
  "all_finite_matrix_and_rational_checks": true,
  "curve_samples": 101,
  "curve_samples_are_numerical": true,
  "actual_completed_weighted_normal_phase_proved": true,
  "derivative_of_fast_inverse_asserted": false,
  "coefficient_identity_algebra": "C0(Y)",
  "original_graph_realization_proved": false,
  "original_Bott_plus_one_proved": false,
  "canvas": [
    2450,
    1710
  ],
  "text_canvas_overflows": []
}