TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-CARRIER-HODGE-SPAN-CHECK.json
Original file SHA-256: b6c5dd9dd14f0eaba14d0b317935b54a58e9cd8744296b59f5b0a2f1c6fe29e5
Inclusive original lines: 1-13
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 |   "carrier_complex_dimension": 10,
000003 |   "family_complex_dimension": 6,
000004 |   "compact_real_target_dimension": 60,
000005 |   "carrier_reality": "swaps five positive and five negative vector weights",
000006 |   "family_reality": "Hodge complement with exterior signs",
000007 |   "whole_reality_square_identity": true,
000008 |   "C_X_five_positive_carrier_weights_times_three_triplet_pairs_complex_rank": 15,
000009 |   "same_C_X_plus_dagger_real_rank": 30,
000010 |   "full_ten_carrier_weights_times_three_triplet_pairs_complex_rank": 30,
000011 |   "full_carrier_plus_dagger_real_rank": 60,
000012 |   "verdict": "Family-only Hodge closure is full real six. Actual C/X restriction plus dagger gives only30 real dimensions of (10,6), not60. Full10 carrier times Lambda2 F plus adjoints gives all60 real dimensions. Providing that full carrier from the same original input remains a separate obligation."
000013 | }