TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/source-static-register-20260920/SOURCE_INTERACTION_INVENTORY.txt
Original file SHA-256: 6601228aafd5585075592b0f663d59dadba8dda9335d90471401b769e2535e23
Inclusive original lines: 107-144
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.

000107 | Prüfung der vorgeschlagenen Form sum_A P_A^dagger P_A
000108 | -------------------------------------------------------
000109 | Eine wichtige Korrektur zur Korpusabdeckung: In einem gezielten Treffer der
000110 | historischen, konsolidierten Quellkomposition ist diese Paarbank bereits
000111 | explizit definiert. Die Fundstelle ist
000112 | 
000113 | [OMITTED: non-scientific conversation or execution metadata]
000114 | [OMITTED: non-scientific conversation or execution metadata]
000115 | [OMITTED: non-scientific conversation or execution metadata]
000116 | 
000117 | Dort steht der deklarierte Native-Bank-Operator
000118 | 
000119 |   H_nat = Delta N_b + g sum_A (b_A^dagger P_A + P_A^dagger b_A),
000120 |   P_A = sum_{i<j} W_{A,ij} f_j f_i,
000121 |   N = N_f + 2 N_b,
000122 | 
000123 | mit 64 CAR-Fermionen, 60 CCR-Bosonen, 480 signierten W-Einträgen,
000124 | `W W^dagger = 8 I_60`, acht disjunkten Paaren je Zeile und den internen
000125 | Darstellungen `(16,4)` bzw. `(10,6)` (gezielte Fundstellen
000126 | `v1.6.9.md:3517-3529`, `4644-4655`, `7974`, `8703-8709`). Für diese Bank
000127 | ist die Paaridentität bereits angegeben:
000128 | 
000129 |   sum_A P_A^dagger P_A
000130 |     = 1/2 (15 N_f - C_Spin(10) - C_SU(4))
000131 | 
000132 | (`v1.6.9.md:6446-6450`), zusammen mit der exakten Fierz-Relation
000133 | `sum_AB eta_AB P_A^dagger P_B^dagger = 0`
000134 | (`v1.6.9.md:1975-1978`). Die tensorielle Vergleichsebene ist dort die
000135 | interne `Lambda^2 C^64`-Darstellung: `W Lambda^2 G_F = G_B W` und die
000136 | zugehörige Casimir-Identität sind ausdrücklich dokumentiert
000137 | (`v1.6.9.md:7697-7700`, `8703-8709`).
000138 | 
000139 | Dieser Treffer ist jedoch ein historisch konsolidiertes, deklariertes
000140 | Bankmodell und kein Nachweis seiner Herkunft aus dem QWZ/P1/P2-Compiler.
000141 | Eine weitere Fundstelle nennt dieselbe Konstruktion ausdrücklich eine
000142 | "declared countermodel composition rule, not an original compiler output"
000143 | (`v1.6.9.md:448-453`). Deshalb darf die Paaridentität nicht als neu
000144 | hergeleitete Boson-Herkunft oder als bereits gelöster Source-Bridge verbucht