Make `project` strict and add `project_aux` for aux derivation - #218

Aug 3, 2026

Make `project` strict and add `project_aux` for aux derivation#218
mtfishman merged 1 commit into
mainfrom
mf/project-aux-interface

Make `project` strict and add `project_aux` for aux derivation