Add integration coverage for lightweight roots with args and generics#139

Closed

NikolayPianikov wants to merge 15 commits intodevfrom

codex/add-integration-tests-for-lightweight-roots

Commits on Mar 1, 2026

Add comprehensive lightweight roots integration tests
NikolayPianikov
committed
Support lightweight roots with args and safe arity fallback
NikolayPianikov
committed
Fix lightweight root generation for generic roots and test language version
NikolayPianikov
committed
Fix lightweight root invocation for root args and generic fallback
NikolayPianikov
committed
Fix public root test accessibility
NikolayPianikov
committed
Fix light-root kind check and align failing integration tests
NikolayPianikov
committed
Fix lightweight root argument integration scenarios
NikolayPianikov
committed
Fix lightweight root handling for static and processed kinds
NikolayPianikov
committed
Fix lightweight root graph handling and max-arity test
NikolayPianikov
committed
Fix lightweight max func arguments integration test
NikolayPianikov
committed
Use tagged root args in lightweight max-arguments test
NikolayPianikov
committed
Expand lightweight max-arguments test to 16 tagged root args
NikolayPianikov
committed
Add lightweight root integration tests for 20-30 args
NikolayPianikov
committed
Replace 20-30 args theory with 20 additional lightweight integration checks
NikolayPianikov
committed
Replace synthetic 20-30 failure block with 30 real lightweight usage cases
NikolayPianikov
committed