TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-positive-kernel-search-20261015/PRIMITIVE-SOURCE-APPLICATION-20261102.txt
Original file SHA-256: 6faa73ece2c1a60b674ad5788d31d76f0f6f9f79d298af12560cc19a1392e555
Inclusive original lines: 1-32
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 | R101 source application check,2 November2026
000002 | 
000003 | The existing marked compiler already contains the primitive class at n4.
000004 | This is a reused construction, not a newly missing property of E8.
000005 | 
000006 | Original LATTICE-AND-SOURCE-FRAME.txt:103-123 fixes
000007 | K=D5+D3, with the first five and last three coordinate sums separately even,
000008 | and g=(1/2,...,1/2). The A3=D3 projection of g has order4:
000009 | 2g_A=(1,1,1) is not in D3, while4g_A=(2,2,2) is in D3.
000010 | Thus g_A is primitive in A3*/A3=Z4. The original diagonal index4
000011 | completion has exactly the primitive projection used by the new selector.
000012 | This is a direct check in the actual marked target chart, without rotating
000013 | only one D8 or identifying the folded CAR frame by identity.
000014 | 
000015 | The original charged-source quarter identity additionally retains the
000016 | actual Qsource phase. Its compensated character equals the inverse
000017 | internal glue on the entire stipulated E8 module. It supplies a genuine
000018 | shared character map, not a bare order-four numerical comparison.
000019 | Neither character equality nor the geometric unit meridian alone makes a
000020 | raw P1 fermion a local bosonic E8 vertex. The existing source note itself
000021 | keeps its field and domain scope explicit. This optional frame issue is
000022 | not a new universal TFPT origin requirement; the original S/Z/Gamma/OS
000023 | chain remains the global starting point under its own hypotheses.
000024 | 
000025 | Consequently, R101 supplies a conditional converse for variable marks:
000026 | standard D/A pairing plus positive even unimodular completion plus an
000027 | actual primitive local projection selects n4. The n4 compiler satisfies
000028 | that condition already. Its value for the research goal is a compact
000029 | candidate invariant to compare with the original construction. Before
000030 | requesting a new missing bridge, check whether the original theorem already
000031 | supplies that precise pairing and insertion. Do not derive E8 by assuming
000032 | the E8 source and do not reopen the established common fourmark theorem.