Appendix — Origin Anchor

Appendix — Constraint Specification

Appendix — Behavioral Proof