Skip to content

feat(05_eval): exact-arity gates — fail closed on excess signature/body/actual arity + comprep_eval_by_execution discriminating reds - #4634

Merged
briansrls merged 3 commits into
mainfrom
session/valiant-cat-890-arity-gates
Jun 11, 2026
Merged

briansrls merged 3 commits into
mainfrom
session/valiant-cat-890-arity-gates

Merge remote-tracking branch 'origin/main' into session/valiant-cat-8…

11ee690
Select commit
Loading
Failed to load commit list.