3375 — The Clifford Bivector Orbit Maps to the e6 Occurrence-Difference Module
Question
Entry 3371 constructs the cyclic Clifford bivectors
Entry 3365 identifies one local bivector with the top conductor row and the common bridge. Do the three source-labelled realizations form a cyclic coefficient morphism?
Correct target module
The bivectors do not form three independent scalar lines. Their orbit is the difference representation. Therefore the target is not the cyclic trivial line. It is the occurrence-difference submodule of the three chartwise bridge lines:
In source site order, take
and let be the cyclic permutation. Its orbit is
The three vectors sum to zero and span .
Source-derived transport data
Entry 764 constructs all three rank-four residue charts independently and derives the physical-energy weights
The double-pole line therefore has weight . The top conductor bivector is constructed from the same source-normalized double-pole occurrence row and carries the same weight. Entry 366 fixes all cyclic Leray orientation signs to .
After stripping the common homogeneous unit, the realization is the identity on the labelled difference module. Exact calculation gives
For three chart scales whose product is one, the common weight gives threefold transport equal to the identity. Assigning the inverse weight to the source bivector produces a nonzero edge defect; the matching is not insensitive to the homogeneity convention.
Result
The coefficient-equivariance square closes on the relational grade:
This is a source-derived realization of the three fifth-tower residues in the three coefficient charts. It is stronger than three copies of the local Entry 3365 identification and weaker than a complete cyclic transport of the rank-twelve extension.
Detector consequence
Entry 1135’s cyclic physical detector is proportional to
It annihilates every vector in . Therefore the invariant detector cannot scalar-close the Clifford relational grade:
This is not absence of the residue. It is an exact instrument-blindness statement. A nonzero readout requires an occurrence-sensitive preparation or detector relation.
Remaining frontier
The full global logarithmic torsor also involves the marked quotient class . The repository has independently derived cyclic transport for the rank-four block and for the local Leray germs, but not for the complete rank-twelve triangular extension. Consequently this entry does not yet derive the off-diagonal class
The next required object remains the source-derived cyclic transport of the complete rank-twelve extension, retaining its triangular shear rather than only its diagonal quotient and absolute blocks.
Scope
This is a source-typed cyclic morphism on the relational grade and an exact detector-annihilation theorem. It does not establish the global rank-twelve extension connection or any scalar physical activation.
Verification
The checker is
research/benincasa/checkers/audit_clifford_e6_cyclic_equivariance.py; its
packet is
research/benincasa/results/clifford_e6_cyclic_equivariance.json.
Allocator claim: seqclaim-c3f312d38b290989da373c9e.
Epistemic graph event:
ev-000000007233-155495bf-afc1-47ae-b20a-0cc0f53b799f.