environment = {'python': '3.13.5', 'sympy': '1.14.0'} data_basis = Native Zorn product from declared formula; no banked arrays. Frobenius.all_basis_triples = 343 Frobenius.nonzero_symbolic_defects = 12 Frobenius.distinct_nonzero_defects = [sqrt(2)*(-a + b), sqrt(2)*(a - b)] Frobenius.constraint_ideal = [a - b] Frobenius.witness_left_right = (sqrt(2)*a, sqrt(2)*b) finite_trace.ratio = (6*a + b)/(3*a) finite_trace.normalized_ratio = 7/3 finite_trace.zero_weight = a=b=0 satisfies closure but the ratio is undefined. negative_control.a1_b2.witness = -sqrt(2) imaginary.metric_diagonal = [1, 1, 1, -1, -1, -1, -1] imaginary.metric_inertia(+,-,0) = (3, 4, 0) signed_subsets.count = 128 signed_subsets.histogram = [(-4, 1), (-3, 7), (-2, 21), (-1, 35), (0, 35), (1, 21), (2, 7), (3, 1)] signed_subsets.range = (-4, 3) full.signed_contraction = -1 full.unweighted_multiplicity = 7 nonorthonormal_control.raw_metric_matrix_trace = 2 nonorthonormal_control.inertia(+,-,0) = (3, 4, 0) outside_unit_weight_class.example = 7 physical_LSZ_residue = NOT COMPUTED; no spacetime action or LSZ limit supplied. registered_array_alignment = NOT VERIFIED; the declared Zorn object is tested directly.