environment = {'python': '3.13.5', 'sympy': '1.14.0'}
data_basis = Declared H3(CD-split) product; no banked arrays.
generic.cubic_coordinate_polynomials_zero = 27
generic.norm_degree = 3
generic.norm_monomials = 89
generic.gradient_N_equals_trace_metric_sharp = True
trace_form.inertia(+,-,0) = (15, 12, 0)
Jordan_identity.generic_commutator_coordinate_polynomials_zero = 729
trace_selfadjoint.basis_operator_checks = 27
sample.L_dimension = (27, 27)
sample.L_trace_selfadjoint = True
sample.L_Euclidean_symmetric = False
diagonal123.Jordan_cubic_residual = {}
diagonal123.L_spectrum = [(1, 1), (3/2, 8), (2, 9), (5/2, 8), (3, 1)]
diagonal123.operator_cubic_nonzero_entries = 16
diagonal123.operator_cubic_on_J12_scalar = 3/8
split_witness.A_squared = {0: -1, 1: -1}
split_witness.nonzero_square_sum_zero = True
split_witness.element_characteristic = lambda*(lambda**2 + 1)
split_witness.element_roots = [0, -I, I]
split_witness.L_characteristic = lambda**9*(lambda**2 + 1)*(4*lambda**2 + 1)**8/65536
split_witness.L_trace_selfadjoint = True
split_witness.L_Euclidean_symmetric = False
Jordan_identity.sample_pairs_passed = 6
Jordan_identity.universal_product_proof = Coefficientwise generic polynomial certificate, not inferred from samples.
banked_array_alignment = NOT VERIFIED