TY  - RPRT
TI  - Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
AU  - Pierre Halftermeyer
PY  - 2026
UR  - https://arxiv.org/abs/2605.18757
ID  - 2605.18757
ER  -