Theorem 1.1 (Locality)
click to expand
Theorem 1.4 (Uniqueness of Identity)
click to expand
Theorem 5.2 (Relocation Mirage) · Prop 7.6 (Relocation Closure)
click to expand
Prop 7.6 (Relocation Closure)
click to expand
Theorem 3.3 (Convergence)
click to expand
Theorem 6.3 (Determinancy of Latent State) · Cor 6.3.1 (Observation Safety)
click to expand
Axiom 7.2 (Jump-Acyclicity)
click to expand
Theorem 5.3 (Specializes as Backstop)
click to expand
Theorem 5.3 (Specializes as Backstop)
click to expand
Axiom 7.2 (Jump-Acyclicity)
click to expand
Theorem 5.4 (Variant Selection Primacy)
click to expand
Theorem 5.4 · Theorem 7.3 (Phase-Separation)
click to expand
Axiom 7.1 (Monotonicity of LayerStack)
click to expand
Theorem 7.3 (Phase-Separation) · Prop 5.1 (LIVERPS as Sequential Channel)
click to expand
Press enter or space to select a node. You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.
Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.