Manuscript En08-A@1 · En08-A.tex · section · c688d76d
Classical linear wires
Legal schedules and a local record model › Classical linear wires · lines 501–525
En08-A@1#eq:or
Assign a distinct channel name to each edge . Only produces it and only consumes it. At event , a controllable local bit and the incoming bits determine
The event writes to a private record and creates a fresh outgoing channel carrying for each outgoing edge. The empty disjunction is zero.
The intervention class consists initially of changes to the controllable bits, with the remaining bits fixed. Observations include the private record. Each event also carries an identifier; a uniform equality-test primitive with an identifier parameter separates any two events. Identifiers are data, not different reduction shapes.
A degree bound gives finitely many possible arities. Copying a classical bit to fresh channels does not duplicate an owned channel name and makes no claim about cloning quantum states.
Displayed formulas in this passage
En08-A@1#eq:or · line 507