mirror of
https://github.com/morluto/rea.git
synced 2026-11-13 18:22:42 +00:00
Remove forwarding wrappers and shadow aliases, migrate callers and verification scripts to their owners, and share one exhaustive semantic resource-bound projection.