Sign Conservation

[f9b6d84e-z92g-9b97-add0-4c7f6b4e8g92] | P4 | Axiom | Sign Conservation

Unitary evolution preserves sign (cannot self-flip).

Dependencies

LIST
FROM ""
WHERE contains(depends_on, "HM.3")
   OR contains(enables, "HM.3")
SORT file.name

LIST
FROM #domain/moral-state
WHERE file.name != this.file.name
SORT id