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

Back to manuscript

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