PortalTheory.FourPhaseLightPortalLemma.v1.1

Author: Source-attributed; see payload

capsule_id: PortalTheory.FourPhaseLightPortalLemma.v1.1
type: registry_operator
entry: portal.phase_rotate

payload:
  operator: P
  definition: "P(x)=i*x"
  angle: "π/2"
  closure: "P^4=I"
  mirror: "P^2=-I"
  composition: "P^a ∘ P^b = P^(a+b mod 4)"
  invariant: "norm_preserved"

states:
  - 0: real_forward
  - 1: imaginary_lateral
  - 2: real_mirror
  - 3: imaginary_inverse
  - 4: closure

runtime:
  tests:
    - norm_preserved
    - fourth_order_closure
    - z4_composition
  render_target: torus_phase_container
```

---

Exact page as JSON · Follow lineage as JSON

Original source: source:01b548a066649306e1ea1f75651f82b1bce4aa0f2b6c68bb8811f07245995319