Skip to content

Document SQL check execution design#46

Merged
Jamestth merged 4 commits into
mainfrom
docs/sql-check-execution
Jul 17, 2026
Merged

Document SQL check execution design#46
Jamestth merged 4 commits into
mainfrom
docs/sql-check-execution

Conversation

@Jamestth

@Jamestth Jamestth commented Jul 16, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Adds docs/design-considerations.md explaining vowl's two-query model, automatic query derivation, sqlglot-powered rewriting, and how query shape affects annotated output mergeability
  • Adds the page to mkdocs.yml nav

🤖 Generated with Claude Code

Adds docs/design-considerations.md covering:
- The two-query model (scalar + failed-rows)
- Automatic COUNT(*) <-> SELECT * derivation
- sqlglot-powered structural rewriting
- How query shape affects annotated output mergeability
- Cross-table check annotation via subquery projection

Closes GTODP-155

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@Jamestth
Jamestth requested a review from a team July 16, 2026 14:27
Jamestth and others added 3 commits July 17, 2026 10:46
- Rename "Row-level or table-level?" to "From verdict to failing rows"
  for a general audience
- Scope the performance admonition to what vowl adds (syntactic wrapping,
  anti-join pattern) rather than broad SELECT * claims
- Fix stale reference to "merge condition 2" (now condition 3)
- Tighten intro and simplify language throughout

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
- Merge "From verdict to failing rows" into "The two-query model" as a
  single narrative
- Make the page intro generic (not scoped to annotated output)
- Move annotated-output reference link into the cross-table section
  where it is contextually relevant

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@Jamestth
Jamestth merged commit cf9e0c7 into main Jul 17, 2026
10 checks passed
@Jamestth
Jamestth deleted the docs/sql-check-execution branch July 17, 2026 06:38
@Jamestth Jamestth mentioned this pull request Jul 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants