939 — The X-Minus Sheet Enlarges the Shift Module from Eight to Ten
Typed signed-sheet census
Entry 937 treats the first-grade sheet. The maximal-flag packet also contains two regularized root specializations, and . These must not be assigned the same variance as the Cartier grade.
The calculation is therefore ordered as:
- take the first -grade;
- take the regularized -root value;
- take the regularized -root value.
All eight signed fibers are derived from the same unspecialized twelve-entry transition.
A and Q sheets
Changing the sheet leaves the native coefficient matrix unchanged; Entry 937 supplies the separate oriented normal sign.
Changing to also leaves the native coefficient matrix unchanged in every tested sheet:
No new native coefficient direction is generated by .
X sheet
The and matrices are each rank one, but they are not projectively equal. Their target-row characters are
Their source rows are also projectively distinct.
Entry 931's tangential pair shifts decompose the source coordinates into four character supports. The source row escapes the old line in both two-coordinate supports,
while the singleton supports add nothing. Hence
Minimal module rank
The established normal-symbol module is
The computed fiber contributes the two new source directions only in its displayed target line. Therefore the source-derived closure currently proved has rank
The fully tensor-saturated candidate would have rank
but the two opposite-target copies of the new source directions have not been constructed and are not inferred.
Consequence
The full resolved-sheet structure is not exhausted by Entry 934's rank-eight tangential difference system:
This is coefficient growth over the unchanged coarse divisor . It is not evidence for a new carrier stratum.
Next falsifier
Construct the other two branch symbols on the sheet. Determine whether either supplies the missing opposite-target copies:
- if neither does, rank ten is the complete signed-sheet module;
- if both new source directions acquire the second target character, the closure saturates to rank twelve;
- partial filling would give rank eleven.
No tensor-product completion may be imposed without this branch calculation.
Durable verification
- checker: research/benincasa/marici-gm/src/bin/string_six_point_cartier_sheet_transition.rs;
- packet: research/benincasa/string-six-point-cartier-sheet-transition.json;
- allocator claim: seqclaim-6b14721e16595a3ba75015b4.
- epistemic event: ev-000000000556-888fccf2-0505-4890-a768-736f3ce69b78.