Reviewer noted that `< 4` only catches underflow; programs leaving 5+ values on the DYADIC stack silently passed isValid(). Change the guard to `!== 4` so both under- and overflow are rejected, matching the documented 'exactly 4 outputs' contract. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| src | ||
| optimizer_seed.push3 | ||
| optimizer_v3.push3 | ||
| package-lock.json | ||
| package.json | ||
| tsconfig.json | ||