TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE35-SCALAR-LINE-AND-KERNEL-FIRST-REVIEW.txt
Original file SHA-256: b0b6ca32f963d831b690fa48b1a6a84297f185c65f20a3e5906ee186768babb3
Inclusive original lines: 1-72
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 | [OMITTED: non-scientific conversation or execution metadata]
000002 | [OMITTED: non-scientific conversation or execution metadata]
000003 | 
000004 | The proposed repair is precise: multiply a negative-trace V4 loop of the
000005 | actual v117 family system by a scalar mu3 line with loop value omega^2,
000006 | so its trace becomes minus omega^2=rho. The numerical identity is true.
000007 | The needed scalar line must first be checked on the original group and
000008 | four-puncture relations. It is not supplied by that numerical identity.
000009 | 
000010 | 1. ACTUAL ORIGINAL MATRICES AND CHARACTERS
000011 | Use M0_EXACT and U_EXACT from v117_monodromy_weyl_a3.py:53-56.
000012 | The four peripheral generators are Uk M0 U^-k. Their exact subgroup has
000013 | order12, with normal commutator V4 of order4 and quotient C3. Every scalar
000014 | character of this A4 representation is trivial on V4. Thus NO scalar
000015 | mu3 character factoring through the actual A4 image can have value
000016 | omega^2 on the proposed negative-trace V4 loop.
000017 | 
000018 | The original linear quarter U acts by inversion on A4/V4. A scalar line
000019 | that remains equivariant under this linear quarter must therefore be
000020 | trivial. This is verified by exact matrices and the three quotient classes.
000021 | 
000022 | 2. LARGER FUNDAMENTAL-GROUP LINES RETAIN THEIR EXTRA DATA
000023 | For arbitrary scalar mu3 characters of pi1(P1 minus four points), let the
000024 | four peripheral values be omega^k0,...,omega^k3. The single product relation
000025 | requires sum k=0 mod3, giving27 characters. Quarter rotation permutes the
000026 | four positive peripheral loops cyclically. Its invariant characters have
000027 | all k equal; 4k=0 mod3 forces k=0. There is exactly ONE quarter-equivariant
000028 | scalar mu3 line in this stated class, the trivial line.
000029 | 
000030 | A marked extra line with exponents(1,1,2,2) does have value omega^2 on the
000031 | first adjacent two-loop product. It satisfies the product relation but is
000032 | not quarter-equivariant. This is a genuine possible extra marked input,
000033 | not a contradiction and not an original derivation of that input.
000034 | Projective extensions, anti-linear line actions, rank-two conjugate pairs
000035 | and specified symmetry-breaking marks are outside this small scalar test.
000036 | No general physical CP exclusion is inferred.
000037 | 
000038 | [OMITTED: non-scientific conversation or execution metadata]
000039 | [OMITTED: non-scientific conversation or execution metadata]
000040 | [OMITTED: non-scientific conversation or execution metadata]
000041 | [OMITTED: non-scientific conversation or execution metadata]
000042 | [OMITTED: non-scientific conversation or execution metadata]
000043 | [OMITTED: non-scientific conversation or execution metadata]
000044 | 
000045 | This does not identify the originally named internal Z_c with that action.
000046 | P_sing=(I+Z_c+Z_c^2)/3 has that particular rank2 selection only IF this
000047 | operator identification holds. Nor has reality of the full P_str been
000048 | proved by the reality of y and delta alone. An even Gram function of U6
000049 | can still be composed with a separately supplied oriented complex reader.
000050 | The actual original projectors and all their types must be retained.
000051 | 
000052 | [OMITTED: non-scientific conversation or execution metadata]
000053 | [OMITTED: non-scientific conversation or execution metadata]
000054 | [OMITTED: non-scientific conversation or execution metadata]
000055 | [OMITTED: non-scientific conversation or execution metadata]
000056 | [OMITTED: non-scientific conversation or execution metadata]
000057 | [OMITTED: non-scientific conversation or execution metadata]
000058 | [OMITTED: non-scientific conversation or execution metadata]
000059 | [OMITTED: non-scientific conversation or execution metadata]
000060 | 
000061 | In particular a finite integrable first response is not by itself a proof
000062 | of all products of an unbounded CAR composite. The source weight/domain
000063 | report gives the canonical two-sided trace-class form realization; use
000064 | its scope instead of treating an unsandwiched singular multiplier as a
000065 | bounded field operator. No replacement state or independent q/p CAR copy
000066 | is introduced.
000067 | 
000068 | DECISION: the canonical reverse kernel and full coefficient pairing are
000069 | positive results. The proposed simple scalar mu3 repair is unavailable
000070 | inside the original A4/linear-quarter class. Continue with the actual
000071 | original sewing/field-slot realization and its complete projectors. A
000072 | different permitted original construction remains open to investigation.