Nested rules on dry-schema

[slbug]

I wanted to use this gem for some dry-schema to oas generation and found following issues:

1. no support for nested things like size/min_size/ignored formats/enums/etc, basically nothing nested supported
2. size: (1..10) not supported for arrays - extracted to Support for range size predicate #18
3. required missing on nested
4. useless "x-unhandledPredicates": ["set"]
5. found discrepancies in gem tests with incorrect understanding how array macro works

optional(:tags).array(:string, min_size?: 1, max_size?: 3) - here sizes related to items, not array

optional(:tags).value(:array, min_size?: 1, max_size?: 3).each(:string) - here to array

[numbata]

Thanks for pushing this! I mostly run Grape::Entity endpoints today and am just starting to move toward dry-contracts, so it’s great to see this work coming in.

Would you be willing to split this into two PRs? It’ll make review easier and get some value shipped faster:

1. Range syntax support for size? (ArgumentExtractor + PredicateHandler) - just the size?: (3..8) syntax enhancement with a focused test. This is self-contained and can merge immediately.
2. Path-aware nested rule handling (RuleIndex, TypeSchemaBuilder, DryIntrospector) - the core feature for handling constraint isolation in deeply nested schemas. This is where the real substance is, and it’ll be easier to review without the range syntax mixed in.

That way we can land the quick win while the bigger piece gets the attention it deserves. Great job, btw! 🎉

[slbug]

@numbata done

[Copilot]

Pull request overview

This PR adds comprehensive support for nested rules and predicates in dry-schema introspection, fixing several issues with how array constraints and nested schemas are processed.

Key Changes:

• Implements path-aware constraint extraction to properly handle nested validations (e.g., min_size?, format?, gteq?) at any nesting level
• Corrects array macro usage in tests to distinguish between item constraints (.array(:string, min_size?: 1)) and array constraints (.value(:array, min_size?: 1).each(:string))
• Enables proper detection of required fields in nested hash schemas

Reviewed changes

Copilot reviewed 8 out of 8 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
lib/grape_oas/introspectors/dry_introspector_support/rule_index.rb	New class that builds path-aware indexes of constraints and required fields from dry-schema AST, supporting deep nesting
lib/grape_oas/introspectors/dry_introspector_support/type_schema_builder.rb	Refactored to maintain path context during schema building, enabling proper constraint application to nested properties
lib/grape_oas/introspectors/dry_introspector.rb	Integrates RuleIndex to enable path-aware schema building
test/grape_oas/introspectors/dry_introspector_test.rb	Adds comprehensive tests for nested array constraints and corrects existing tests to use proper array macro syntax
test/grape_oas/api_model_builders/request_contract_dry_test.rb	Updates tests to use correct array macro syntax where constraints apply to arrays rather than items
test/e2e/generate_oas3_complex_test.rb	Updates test to use correct array macro syntax
test/e2e/generate_oas2_complex_test.rb	Updates test to use correct array macro syntax
CHANGELOG.md	Documents the new nested rules support feature

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[numbata]

@slbug Can you rebase again? I changed a way how the CI reporting a coverage here #20. So, the failed CI check should becomes green now. I hope 🤞.

[numbata]

@slbug released as v1.0.3