TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CARRIER-HODGE-SPAN-CORRECTION.txt
Original file SHA-256: 9752d2b4b96b248dbb9a08e8403d85fdb07b54eacdb86d32a25114d0a759d22e
Inclusive original lines: 201-226
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.

000201 |   odd half-spinor weights: 16 = 1 + 5 + 10
000202 |   initial C/X spinor weights per family: 6
000203 |   missing three-minus weights per family: 10
000204 |   missing positive roots over four family labels: 40
000205 |   closure depth of all forty missing roots: 2
000206 |   C/X over Lambda^2 F target: 15 complex, 30 compact real
000207 |   full 16 over Lambda^2 F target: 30 complex, 60 compact real
000208 | 
000209 | The independent enumeration agrees with
000210 | 
000211 |   aps_source_review/ROOT-CARRIER-HODGE-SPAN-CHECK.json.
000212 | 
000213 | 
000214 | SOURCES READ
000215 | 
000216 |   tfpt_explorer/current_block_geometry.py
000217 |   tfpt_explorer/tests/test_joint_charged_source.py
000218 |   experiments/theory-contracts/compiler-current-product-20260919/
000219 |     current_bracket_dictionary.py
000220 |     PROOF.txt
000221 |   experiments/theory-contracts/universalraum-fugen-20260914/checker.py
000222 |   experiments/theory-contracts/tfpt-unified-source-derivation-20261029/
000223 |     aps_source_review/OFFDIAGONAL-K-E8-PRODUCT-TEST.txt
000224 |     aps_source_review/COMPACT-REAL-SIX-ADJOINT-CLOSURE-ADDENDUM.txt
000225 |     aps_source_review/ROOT-CARRIER-HODGE-SPAN-CHECK.json
000226 |