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

Back to manuscript

For every and , the particle constructor supplies the realization above, with:

  1. embedded spacelike faces and exterior, with physical branch gradient norms , , and ;

  2. positive active cells on each regular epoch;

  3. exactly one incidence value, , and the specified incoming and outgoing germs;

  4. the affine charts and prescribed overlap components below;

  5. complete accepted (E1)–(E5), including identity regular words and positive primitive core and collar words;

  6. 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.

Nearby in this section