Manuscript VIII-A@3 · VIII-A-v3.tex · example · 2398a747
Example: Permissions are not erased by source equality
Completeness and observation invariance › A2: factorization through accessible inputs · lines 967–972
A rule with guard can have different applicability on permissions and , even when geometry and source functionals agree. Equal permissions are therefore an essential hypothesis.