Add semantic fuzz testing suite with quickcheck

[devin-ai-integration]

Add Semantic Fuzz Testing Suite with QuickCheck

This PR adds a new fuzz testing suite in mongosql/src/ast/semantic_fuzz_test.rs that uses the Rust quickcheck crate to assert two properties about semantically valid MongoSQL queries:

1. Semantically valid queries "compile" via the translate_sql function
2. The aggregation pipelines from the translations run against mongod without error

Implementation Details

• Created a test catalog schema with collections covering all MongoSQL types
• Implemented a post-processing approach to make arbitrary AST nodes semantically valid
• Added two property-based tests:
  • prop_semantic_queries_translate: Tests that generated queries translate successfully
  • prop_aggregation_pipelines_run: Tests that generated pipelines run against MongoDB

Testing

The fuzz tests can be run with:

cargo test fuzz_test

Note: The tests are designed to fail when they find bugs in the codebase, which is the intended behavior of fuzz testing.

Link to Devin run

https://app.devin.ai/sessions/cb413e7319c6434ab80476bd9ab77d81

Requested by

[email protected]

[devin-ai-integration]

🤖 Devin AI Engineer

I'll be helping with this pull request! Here's what you should know:

✅ I will automatically:

• Address comments on this PR. Add '(aside)' to your comment to have me ignore it.
• Look at CI failures and help fix them

Note: I can only respond to comments from users who have write access to this repository.

⚙️ Control Options:

• Disable automatic comment and CI monitoring