Manuscript VIII-C@3 · VIII-C-v3.tex · contract · 3b070436
Interface contract: Particle realization and germ transport
Realization interfaces and explicit data › Particle-family geometry · lines 823–845
VIII-C@3#contract:particle
For every and , the particle constructor supplies the realization above, with:
embedded spacelike faces and exterior, with physical branch gradient norms , , and ;
positive active cells on each regular epoch;
exactly one incidence value, , and the specified incoming and outgoing germs;
the affine charts and prescribed overlap components below;
complete accepted (E1)–(E5), including identity regular words and positive primitive core and collar words;
identity abstract transport through of the persistent labels specified in sec:locations.
This is the realization interface corresponding to VIII-B's persistence
theorem, specializing at to VII-F
CheungVIIIB (Theorem thm:persistence),
CheungVIIF. The interface is an explicit hypothesis; no
independent validation of all predecessor certificate tables is
asserted here.