TY  - RPRT
TI  - Split Tallies: A Discrete Certificate Calculus for Auditing Dynamic Ordered Sets in Constant Memory
AU  - Faruk Alpay
AU  - Levent Sarioglu
PY  - 2026
UR  - https://arxiv.org/abs/2606.13272
ID  - 2606.13272
ER  -