Manuscript En03-A@1 · En03-A.tex · section · 5398614e
Event germs, guard, transport, and finite code
External conical geometry and certified local moves › Event germs, guard, transport, and finite code · lines 2005–2026
En03-A@1#eq:event-rule
Let be the regular incoming family for , and the outgoing family for . Their certified event germs are . Both realize the same capped surface at .
An incoming germ retains the collapsed slot and its coincident endpoint labels. The outgoing germ retains the born slot and outgoing endpoint metadata. These descriptions have the common four-face junction as their geometric quotient.
The semantic event rule is
It changes mode, permission, and central incidence, but does not advance . Continuous within-epoch evolution is a separate operation.
Displayed formulas in this passage
En03-A@1#eq:event-rule · line 2018
Nearby in this section
- definition: Definition: Exact event guard
- section: Event germs, guard, transport, and finite code
- proposition: Proposition: Geometric rule and blind control
- section: Event germs, guard, transport, and finite code
- lemma: Lemma: Injective event encoding
- section: Event germs, guard, transport, and finite code
- proposition: Proposition: Decoder-correct event permutation
- section: Event germs, guard, transport, and finite code