TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/claude42-general-family-ko-results.json Original file SHA-256: 3a979b4d0642aa356070dd183fdd00a874743e62c943f17d8b3136c1654b8375 Inclusive original lines: 1-55 Line numbers below refer to the original source. This bounded excerpt is source evidence; it is not a new proof/checker run. Conversation metadata and personal execution details are omitted where indicated. 000001 | { 000002 | "four_sector_pattern": { 000003 | "common_family_matrix": "S=M+M^T", 000004 | "majorana_block": false, 000005 | "particle_antiparticle_relation": "fixed J_F conjugation", 000006 | "quark_lepton_relation": "fixed relative minus signs" 000007 | }, 000008 | "general_formula": { 000009 | "D_KO": "(M+M^T)X_w gamma_F-(M^dagger+bar(M))X_w^dagger gamma_F", 000010 | "holomorphic": "A=M X_w gamma_F", 000011 | "input": "B=M P_gamma,+", 000012 | "surviving_family_matrix": "S=M+M^T" 000013 | }, 000014 | "quoted_two_entry_candidate": { 000015 | "KO_S_singular_values": [ 000016 | 1.6991571206525484, 000017 | 1.6991571206525484, 000018 | 0.0 000019 | ], 000020 | "KO_mix": "the two nonzero singular values are degenerate, so no unique CKM matrix is defined", 000021 | "M": "a E_02+b E_21", 000022 | "a": [ 000023 | 0.1258739334853159, 000024 | -0.46976791511574434 000025 | ], 000026 | "b_over_a": [ 000027 | -3.3475975610893465, 000028 | 5.80584917154276e-07 000029 | ], 000030 | "b_rounded": [ 000031 | -0.421375, 000032 | 1.572594 000033 | ], 000034 | "common_phase_residual_from_rounded_b": 5.80584917154276e-07, 000035 | "directed_M_singular_values": [ 000036 | 1.6280690339973303, 000037 | 0.4863395328402359, 000038 | 0.0 000039 | ], 000040 | "full_H96_D_KO_singular_values": { 000041 | "multiplicity": 64, 000042 | "value": 1.6991571206525484, 000043 | "zero_multiplicity": 32 000044 | }, 000045 | "naive_M_Mdagger_mix": "both Gram matrices are diagonal; at most a permutation, J_CP=0" 000046 | }, 000047 | "scope": "Actual H_F=96 KO6 completion and fixed weak-doublet action; no family-model fit", 000048 | "source_scope": "The original primitive wedge consumer is present. This checker does not equate the Hardy moment with the whole original Hol(nabla_F*) K_f^str coefficient.", 000049 | "weak_doublet_test": { 000050 | "different_family_coefficients_on_bare_components": "nonzero covariance residual", 000051 | "raising_action": "[T_plus,X_w2]=X_w1, [T_plus,X_w1]=0", 000052 | "same_family_coefficient": "covariant", 000053 | "scope_note": "Separate sector intertwiners or source readers may carry distinct matrices; this test only excludes relabeling the two bare components of one fixed doublet." 000054 | } 000055 | }