TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/native-spin5-functor-results.json Original file SHA-256: 5d51730bb45405d04e7c144de10cd7bb23b1b69dbc6fbe558beaa00f98f3dff0 Inclusive original lines: 1-200 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 | "F20_slot_intertwiner_dimension": 2, 000003 | "W5": "primitive Lambda2(V) tensor chi^(-1)", 000004 | "W5_F20": "sign tensor Perm5", 000005 | "W5_character": [ 000006 | { 000007 | "a": 0, 000008 | "b": 0, 000009 | "trace": "5" 000010 | }, 000011 | { 000012 | "a": 1, 000013 | "b": 0, 000014 | "trace": "0" 000015 | }, 000016 | { 000017 | "a": 2, 000018 | "b": 0, 000019 | "trace": "0" 000020 | }, 000021 | { 000022 | "a": 3, 000023 | "b": 0, 000024 | "trace": "0" 000025 | }, 000026 | { 000027 | "a": 4, 000028 | "b": 0, 000029 | "trace": "0" 000030 | }, 000031 | { 000032 | "a": 0, 000033 | "b": 1, 000034 | "trace": "-1" 000035 | }, 000036 | { 000037 | "a": 1, 000038 | "b": 1, 000039 | "trace": "-1" 000040 | }, 000041 | { 000042 | "a": 2, 000043 | "b": 1, 000044 | "trace": "-1" 000045 | }, 000046 | { 000047 | "a": 3, 000048 | "b": 1, 000049 | "trace": "-1" 000050 | }, 000051 | { 000052 | "a": 4, 000053 | "b": 1, 000054 | "trace": "-1" 000055 | }, 000056 | { 000057 | "a": 0, 000058 | "b": 2, 000059 | "trace": "1" 000060 | }, 000061 | { 000062 | "a": 1, 000063 | "b": 2, 000064 | "trace": "1" 000065 | }, 000066 | { 000067 | "a": 2, 000068 | "b": 2, 000069 | "trace": "1" 000070 | }, 000071 | { 000072 | "a": 3, 000073 | "b": 2, 000074 | "trace": "1" 000075 | }, 000076 | { 000077 | "a": 4, 000078 | "b": 2, 000079 | "trace": "1" 000080 | }, 000081 | { 000082 | "a": 0, 000083 | "b": 3, 000084 | "trace": "-1" 000085 | }, 000086 | { 000087 | "a": 1, 000088 | "b": 3, 000089 | "trace": "-1" 000090 | }, 000091 | { 000092 | "a": 2, 000093 | "b": 3, 000094 | "trace": "-1" 000095 | }, 000096 | { 000097 | "a": 3, 000098 | "b": 3, 000099 | "trace": "-1" 000100 | }, 000101 | { 000102 | "a": 4, 000103 | "b": 3, 000104 | "trace": "-1" 000105 | } 000106 | ], 000107 | "W5_q": [ 000108 | [ 000109 | "-1", 000110 | "0", 000111 | "0", 000112 | "0", 000113 | "0" 000114 | ], 000115 | [ 000116 | "0", 000117 | "0", 000118 | "0", 000119 | "0", 000120 | "-1" 000121 | ], 000122 | [ 000123 | "0", 000124 | "0", 000125 | "0", 000126 | "1", 000127 | "0" 000128 | ], 000129 | [ 000130 | "0", 000131 | "0", 000132 | "1", 000133 | "0", 000134 | "0" 000135 | ], 000136 | [ 000137 | "0", 000138 | "-1", 000139 | "0", 000140 | "0", 000141 | "0" 000142 | ] 000143 | ], 000144 | "W5_real_structure": "j(w)=q conjugate(w)", 000145 | "checks": [ 000146 | "v783 source pin", 000147 | "native F20 is conformal symplectic with multipliers one and i", 000148 | "primitive W has compatible unitary symmetric form", 000149 | "W5 F20 action is Hermitian unitary", 000150 | "W5 F20 action preserves q", 000151 | "W5 action preserves the canonical real form j equals q conjugation", 000152 | "W5 equals sign tensor Perm5 character a=0 b=0", 000153 | "W5 equals sign tensor Perm5 character a=1 b=0", 000154 | "W5 equals sign tensor Perm5 character a=2 b=0", 000155 | "W5 equals sign tensor Perm5 character a=3 b=0", 000156 | "W5 equals sign tensor Perm5 character a=4 b=0", 000157 | "W5 equals sign tensor Perm5 character a=0 b=1", 000158 | "W5 equals sign tensor Perm5 character a=1 b=1", 000159 | "W5 equals sign tensor Perm5 character a=2 b=1", 000160 | "W5 equals sign tensor Perm5 character a=3 b=1", 000161 | "W5 equals sign tensor Perm5 character a=4 b=1", 000162 | "W5 equals sign tensor Perm5 character a=0 b=2", 000163 | "W5 equals sign tensor Perm5 character a=1 b=2", 000164 | "W5 equals sign tensor Perm5 character a=2 b=2", 000165 | "W5 equals sign tensor Perm5 character a=3 b=2", 000166 | "W5 equals sign tensor Perm5 character a=4 b=2", 000167 | "W5 equals sign tensor Perm5 character a=0 b=3", 000168 | "W5 equals sign tensor Perm5 character a=1 b=3", 000169 | "W5 equals sign tensor Perm5 character a=2 b=3", 000170 | "W5 equals sign tensor Perm5 character a=3 b=3", 000171 | "W5 equals sign tensor Perm5 character a=4 b=3", 000172 | "F20 slot intertwiner space has dimension two", 000173 | "induced W endomorphism lies in so5", 000174 | "so5 endomorphism raises to an alternating bivector", 000175 | "induced W endomorphism lies in so5", 000176 | "so5 endomorphism raises to an alternating bivector", 000177 | "induced W endomorphism lies in so5", 000178 | "so5 endomorphism raises to an alternating bivector", 000179 | "induced W endomorphism lies in so5", 000180 | "so5 endomorphism raises to an alternating bivector", 000181 | "induced W endomorphism lies in so5", 000182 | "so5 endomorphism raises to an alternating bivector", 000183 | "induced W endomorphism lies in so5", 000184 | "so5 endomorphism raises to an alternating bivector", 000185 | "induced W endomorphism lies in so5", 000186 | "so5 endomorphism raises to an alternating bivector", 000187 | "induced W endomorphism lies in so5", 000188 | "so5 endomorphism raises to an alternating bivector", 000189 | "induced W endomorphism lies in so5", 000190 | "so5 endomorphism raises to an alternating bivector", 000191 | "induced W endomorphism lies in so5", 000192 | "so5 endomorphism raises to an alternating bivector", 000193 | "canonical Spin5 map determinant eight", 000194 | "canonical Spin5 map is exactly metric preserving", 000195 | "canonical map intertwines the full sp4 Lie algebra", 000196 | "full sp4 natural intertwiner space has dimension one", 000197 | "canonical Spin5 map respects the native F20 actions", 000198 | "Hodge Kraus completeness sum is three I", 000199 | "Hodge Kraus space has canonical dimension five" 000200 | ],