TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/atlas-defect-synthesis-20261024/NATIVE-EVENT-CHANNELS.txt
Original file SHA-256: f8c12b61871d9cc39777ea2752ce452d75f393b77546e839ad47152cbe51c1a0
Inclusive original lines: 201-244
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 | 
000202 | 7. Consequence for the Lueders member
000203 | -------------------------------------
000204 | 
000205 | For p=1 the five-sector eigenvalue is 4/5.  Every native random-unitary
000206 | mixture satisfying the required zero action on the nine and ten has
000207 | 
000208 |     lambda5 <= 3/10.
000209 | 
000210 | Therefore the Lueders channel cannot be assembled as a positive mixture of
000211 | the actual original event conjugations.  Its Liouville rank remains six, but
000212 | that rank fact alone is not the obstruction.  The obstruction is the exact
000213 | central character polytope above.
000214 | 
000215 | The forgotten-outcome channels of the reachable members 1/10<=p<=1/2 lie in
000216 | the old unitary event cone. Turning one of these distributions into a physical
000217 | event law still requires an original weight-selection rule. Covariance and
000218 | the common representation do not choose it.
000219 | 
000220 | This is not an equality of the six-outcome instruments. A recorded native
000221 | word g has operation J_g(rho)=w_g C5(g) rho C5(g)^*, hence effect
000222 | 
000223 |     J_g^*(I)=w_g I5.
000224 | 
000225 | Grouping words or stochastically relabeling them preserves scalar effects.
000226 | It cannot yield the rank-one E_a. The equality proved here is only for
000227 | Phi_p=sum_a I_a after the measurement outcome has been forgotten.
000228 | 
000229 | 
000230 | Reproduction
000231 | ------------
000232 | 
000233 | From the repository root:
000234 | 
000235 |     PYTHONDONTWRITEBYTECODE=1 python3 \
000236 |       experiments/theory-contracts/atlas-defect-synthesis-20261024/native_event_channel_intersection.py
000237 | 
000238 | The checked output is
000239 | 
000240 |     native_event_channel_intersection_results.json
000241 | 
000242 | It contains all eleven class channels, all 29 vertices, actual isotypic
000243 | projector hashes, both endpoint word distributions and the analytic dual
000244 | certificate.  No Atlas or contract-index edit is made.