TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-NORMAL-REAL-AND-FRAME.json
Original file SHA-256: eb5be6318730b7a5b4fa3b74df91610b7a00c58af3a6da7bc451c0b7155617f2
Inclusive original lines: 1-94
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 |   "contract": "B1-NORMAL-REAL-AND-FRAME-20261030",
000003 |   "checks": {
000004 |     "actual_J_real_Phi": true,
000005 |     "actual_J_reverses_real_weak_connection": true,
000006 |     "normal_class_0_0_one_dimensional": true,
000007 |     "actual96_Jsquare_0_0": true,
000008 |     "actual96_D_potential_0_0": true,
000009 |     "actual96_D_normal_derivative_0_0": true,
000010 |     "actual96_D_tangent_derivative_0_0": true,
000011 |     "actual96_total_grading_0_0": true,
000012 |     "actual96_whole_B_0_0": true,
000013 |     "new_complex_type_0_0": true,
000014 |     "normal_class_0_1_one_dimensional": true,
000015 |     "actual96_Jsquare_0_1": true,
000016 |     "actual96_D_potential_0_1": true,
000017 |     "actual96_D_normal_derivative_0_1": true,
000018 |     "actual96_D_tangent_derivative_0_1": true,
000019 |     "actual96_total_grading_0_1": true,
000020 |     "actual96_whole_B_0_1": true,
000021 |     "new_complex_type_0_1": true,
000022 |     "normal_class_1_0_one_dimensional": true,
000023 |     "actual96_Jsquare_1_0": true,
000024 |     "actual96_D_potential_1_0": true,
000025 |     "actual96_D_normal_derivative_1_0": true,
000026 |     "actual96_D_tangent_derivative_1_0": true,
000027 |     "actual96_total_grading_1_0": true,
000028 |     "actual96_whole_B_1_0": true,
000029 |     "new_complex_type_1_0": true,
000030 |     "normal_class_1_1_one_dimensional": true,
000031 |     "actual96_Jsquare_1_1": true,
000032 |     "actual96_D_potential_1_1": true,
000033 |     "actual96_D_normal_derivative_1_1": true,
000034 |     "actual96_D_tangent_derivative_1_1": true,
000035 |     "actual96_total_grading_1_1": true,
000036 |     "actual96_whole_B_1_1": true,
000037 |     "new_complex_type_1_1": true,
000038 |     "two_real_maps_compose_to_given_deck_normal_matrix": true,
000039 |     "scalar_quarter_JS_D_residual_exact": true,
000040 |     "scalar_quarter_JS_B_maps_to_minus_alpha": true,
000041 |     "quarter_holonomy_inverts_not_fixed": true,
000042 |     "all_theta_rephased_frame_exact_J_intertwiner": true,
000043 |     "all_theta_axial_rotation_preserves_internal_J": true,
000044 |     "actual54_frame_generators_antihermitian": true,
000045 |     "actual54_frame_generators_preserve_J": true,
000046 |     "actual54_frame_generators_preserve_grading": true,
000047 |     "actual54_frame_generators_preserve_left_and_opposite_algebra": true,
000048 |     "six_inequivalent_multiplets": true,
000049 |     "family_frame_real_dimension54": true
000050 |   },
000051 |   "all_passed": true,
000052 |   "normal_separable_class": [
000053 |     {
000054 |       "internal_gamma_power": 0,
000055 |       "normal_reflection": 0,
000056 |       "D_sign": -1,
000057 |       "Gamma_sign": 1,
000058 |       "J_square": 1,
000059 |       "normal_matrix": "Matrix([[0, 1], [1, 0]])",
000060 |       "new_complex_type": "antilinear"
000061 |     },
000062 |     {
000063 |       "internal_gamma_power": 0,
000064 |       "normal_reflection": 1,
000065 |       "D_sign": 1,
000066 |       "Gamma_sign": -1,
000067 |       "J_square": 1,
000068 |       "normal_matrix": "Matrix([[1, 0], [0, -1]])",
000069 |       "new_complex_type": "linear"
000070 |     },
000071 |     {
000072 |       "internal_gamma_power": 1,
000073 |       "normal_reflection": 0,
000074 |       "D_sign": 1,
000075 |       "Gamma_sign": 1,
000076 |       "J_square": 1,
000077 |       "normal_matrix": "Matrix([[0, -1], [1, 0]])",
000078 |       "new_complex_type": "antilinear"
000079 |     },
000080 |     {
000081 |       "internal_gamma_power": 1,
000082 |       "normal_reflection": 1,
000083 |       "D_sign": -1,
000084 |       "Gamma_sign": -1,
000085 |       "J_square": -1,
000086 |       "normal_matrix": "Matrix([[1, 0], [0, 1]])",
000087 |       "new_complex_type": "linear"
000088 |     }
000089 |   ],
000090 |   "remaining_frame_group": "U(3)^6 with negative grades fixed by J",
000091 |   "frame_real_dimension": 54,
000092 |   "original_left_algebra_basis": 24,
000093 |   "scope": "Separable normal class; actual96 coefficient controls and formal derivative identities. Quarter maps to existing inverse-holonomy image. Remaining frames are coordinate equivalences, not extra physical source choices."
000094 | }