Manuscript VIII-ST@1 · VIII-ST.tex · definition · fe979f3b
Definition: Five-component acceptance
Lorentz-affine matching and complete certificates › Packet and chart conventions · lines 897–923
VIII-ST@1#def:certificate
For an already realized polygonal product description , write
Acceptance is the conjunction of:
endpoints, shared segments, polygon closure, specified overlap components, canonical ambient transitions, and regular vertex words match;
deficit, oriented rotation, and full spinless affine peripheral map match the packet;
ordered affine words retain overlap-component data and integer winding marks;
primitive core and collar words agree in the declared reference frame, and their shared boundary realization agrees;
the worldsheet, transported rest data, and slice intersection agree, and peripheral holonomy fixes the worldsheet pointwise.
Embedding, spacelikeness, and active-cell nondegeneracy are separate prerequisites.
Displayed formulas in this passage
unlabeled · line 901
Nearby in this section
- section: Packet and chart conventions
- lemma: Lemma: Spinless fixed set
- section: Packet and chart conventions
- lemma: Lemma: Adapted charts
- section: Packet and chart conventions
- theorem: Theorem: Complete matching for the explicit family
- section: Packet and chart conventions
- proposition: Proposition: Fixed-presentation uniqueness and two rejection tests