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