Context-free Recognition

Exact item counts, parser controls, resource tradeoffs, and parallel Boolean-formula contraction.

17/17

scientific gates pass

880

formula contractions

0

extra BFVP padding

Three-panel context-free transformer audit
Scope. Finite diagnostics accompany the pinned universal transformer constructions; they do not replace them.