Skip to content

feat(syntax): check Snowflake views and streams against their grammar #198

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
kvlonge wants to merge 12 commits into from
Closed

feat(syntax): check Snowflake views and streams against their grammar #198

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
d8462d7
chore(syntax-cases): mark a disputed form's cases documented only for…
kvlonge Nov 12, 2026
50d59d9
chore(syntax-limits): fill the DCM ENVIRONMENT hand rows with a bind …
kvlonge Nov 12, 2026
8c282ab
chore(syntax-coverage): pin the documented-mark and DCM ENVIRONMENT c…
kvlonge Nov 12, 2026
bf63c84
feat(syntax): check Snowflake streams against their grammar
kvlonge Nov 11, 2026
93d2606
feat(syntax): build Snowflake semantic views as nodes
kvlonge Nov 11, 2026
1d1784d
feat(syntax): check Snowflake views and materialized views against th…
kvlonge Nov 11, 2026
d63c607
feat(syntax): check Snowflake ALTER VIEW properties against their gra…
kvlonge Nov 11, 2026
1c5676f
fix(syntax): read every Snowflake stream option on every source
kvlonge Nov 11, 2026
c8620a5
fix(syntax): read a Snowflake view's column list after its properties
kvlonge Nov 11, 2026
0b28f2c
chore: count only shipped code in GitHub's language statistics
kvlonge Nov 11, 2026
b48c76a
fix(syntax): refuse Snowflake view shapes its receipts reject
kvlonge Nov 12, 2026
3fad8ab
chore(syntax): re-record the Snowflake syntax baselines for the view …
kvlonge Nov 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions .gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
# GitHub's language statistics count the code SQLQuack ships. Test suites, development scripts
# and development-only tools are marked as documentation so the statistics leave them out.
/tests/** linguist-documentation
/scripts/** linguist-documentation
/crates/**/tests/** linguist-documentation
/crates/**/tests.rs linguist-documentation
/tools/** linguist-documentation
/fuzz/** linguist-documentation
/recorder/** linguist-documentation
/website/scripts/** linguist-documentation
3,363 changes: 2,655 additions & 708 deletions coverage/syntax/baseline.json
View file
Open in desktop

Large diffs are not rendered by default.

7 changes: 7 additions & 0 deletions coverage/syntax/corpus-verdicts.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -568,6 +568,12 @@
1144,
1145,
1186,
1187,
1188,
1189,
1190,
1191,
1192,
1193,
1194,
1195,
Expand Down Expand Up @@ -5540,6 +5546,7 @@
566,
614,
615,
616,
624,
625,
626,
Expand Down
39 changes: 16 additions & 23 deletions coverage/syntax/limits.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48287,7 +48287,7 @@ form = "sf.utility.execute-dcm-project.plan-fromsource-fromdeployment"
kind = "interaction_all_options"
note = "every independent option of one production together, observed"
anchor = "doc.sql.execute-dcm-project / Syntax"
sql = "EXECUTE DCM PROJECT v1 PLAN DELTA USING CONFIGURATION v1 ( 1 , 1 ) ENVIRONMENT ( v1 ) FROM 'm' OUTPUT_PATH 'm' ;"
sql = "EXECUTE DCM PROJECT v1 PLAN DELTA USING CONFIGURATION v1 ( 1 , 1 ) ENVIRONMENT ( ? ) FROM 'm' OUTPUT_PATH 'm' ;"
expect = "observe"
documented = true
context = "raw"
Expand All @@ -48296,16 +48296,15 @@ context = "raw"
form = "sf.utility.execute-dcm-project.preview-using-configuration-from"
kind = "interaction_all_options"
note = "every independent option of one production together"
reason = "[documented but Snowflake disagrees]: the page documents this SQL and the rendering follows the page, but Snowflake rejects it as a syntax error (errno 1003 SQLSTATE 42000, import-20261104-21); observed, not flipped to reject"
reason = "the hand row fills ENVIRONMENT with a bind variable, as the page documents; Snowflake parses it and fails on the placeholder source (errno 1011); observed, settled by its receipt"

[[limit]]
form = "sf.utility.execute-dcm-project.preview-using-configuration-from"
kind = "interaction_all_options"
note = "every independent option of one production together, observed"
anchor = "doc.sql.execute-dcm-project / Syntax"
sql = "EXECUTE DCM PROJECT v1 PREVIEW v1 USING CONFIGURATION v1 ENVIRONMENT ( v1 ) FROM 'm' LIMIT 1 ;"
sql = "EXECUTE DCM PROJECT v1 PREVIEW v1 USING CONFIGURATION v1 ENVIRONMENT ( ? ) FROM 'm' LIMIT 1 ;"
expect = "observe"
documented = true
context = "raw"

[[suppress]]
Expand Down Expand Up @@ -51042,35 +51041,33 @@ context = "raw"
form = "sf.utility.execute-dcm-project.deploy-fromsource-fromdeployment"
kind = "option_present"
target = "[ ENVIRONMENT ( <bind_variable> ) ]"
reason = "[documented but Snowflake disagrees]: the page documents this SQL and the rendering follows the page, but Snowflake rejects it as a syntax error (errno 1003 SQLSTATE 42000, import-20261104-51); observed, not flipped to reject"
reason = "the hand row fills ENVIRONMENT with a bind variable, as the page documents; Snowflake parses it and fails on the placeholder source (errno 1011); observed, settled by its receipt"

[[limit]]
form = "sf.utility.execute-dcm-project.deploy-fromsource-fromdeployment"
kind = "option_present"
target = "[ ENVIRONMENT ( <bind_variable> ) ]"
note = "option present [ ENVIRONMENT ( <bind_variable> ) ], observed"
anchor = "doc.sql.execute-dcm-project / Syntax"
sql = "EXECUTE DCM PROJECT v1 DEPLOY ENVIRONMENT ( v1 ) FROM 'm' ;"
sql = "EXECUTE DCM PROJECT v1 DEPLOY ENVIRONMENT ( ? ) FROM 'm' ;"
expect = "observe"
documented = true
context = "raw"

[[suppress]]
form = "sf.utility.execute-dcm-project.deploy-fromsource-fromdeployment"
kind = "operand_type_class"
target = "<bind_variable> in [ ENVIRONMENT ( <bind_variable> ) ]"
note = "a valid operand"
reason = "[documented but Snowflake disagrees]: the page documents this SQL and the rendering follows the page, but Snowflake rejects it as a syntax error (errno 1003 SQLSTATE 42000, import-20261104-51); observed, not flipped to reject"
reason = "the hand row fills ENVIRONMENT with a bind variable, as the page documents; Snowflake parses it and fails on the placeholder source (errno 1011); observed, settled by its receipt"

[[limit]]
form = "sf.utility.execute-dcm-project.deploy-fromsource-fromdeployment"
kind = "operand_type_class"
target = "<bind_variable> in [ ENVIRONMENT ( <bind_variable> ) ]"
note = "a valid operand, observed"
anchor = "doc.sql.execute-dcm-project / Syntax"
sql = "EXECUTE DCM PROJECT v1 DEPLOY ENVIRONMENT ( v1 ) FROM 'm' ;"
sql = "EXECUTE DCM PROJECT v1 DEPLOY ENVIRONMENT ( ? ) FROM 'm' ;"
expect = "observe"
documented = true
context = "raw"

[[suppress]]
Expand Down Expand Up @@ -51113,35 +51110,33 @@ context = "raw"
form = "sf.utility.execute-dcm-project.plan-fromsource-fromdeployment"
kind = "option_present"
target = "[ ENVIRONMENT ( <bind_variable> ) ]"
reason = "[documented but Snowflake disagrees]: the page documents this SQL and the rendering follows the page, but Snowflake rejects it as a syntax error (errno 1003 SQLSTATE 42000, import-20261104-51); observed, not flipped to reject"
reason = "the hand row fills ENVIRONMENT with a bind variable, as the page documents; Snowflake parses it and fails on the placeholder source (errno 1011); observed, settled by its receipt"

[[limit]]
form = "sf.utility.execute-dcm-project.plan-fromsource-fromdeployment"
kind = "option_present"
target = "[ ENVIRONMENT ( <bind_variable> ) ]"
note = "option present [ ENVIRONMENT ( <bind_variable> ) ], observed"
anchor = "doc.sql.execute-dcm-project / Syntax"
sql = "EXECUTE DCM PROJECT v1 PLAN ENVIRONMENT ( v1 ) FROM 'm' ;"
sql = "EXECUTE DCM PROJECT v1 PLAN ENVIRONMENT ( ? ) FROM 'm' ;"
expect = "observe"
documented = true
context = "raw"

[[suppress]]
form = "sf.utility.execute-dcm-project.plan-fromsource-fromdeployment"
kind = "operand_type_class"
target = "<bind_variable> in [ ENVIRONMENT ( <bind_variable> ) ]"
note = "a valid operand"
reason = "[documented but Snowflake disagrees]: the page documents this SQL and the rendering follows the page, but Snowflake rejects it as a syntax error (errno 1003 SQLSTATE 42000, import-20261104-51); observed, not flipped to reject"
reason = "the hand row fills ENVIRONMENT with a bind variable, as the page documents; Snowflake parses it and fails on the placeholder source (errno 1011); observed, settled by its receipt"

[[limit]]
form = "sf.utility.execute-dcm-project.plan-fromsource-fromdeployment"
kind = "operand_type_class"
target = "<bind_variable> in [ ENVIRONMENT ( <bind_variable> ) ]"
note = "a valid operand, observed"
anchor = "doc.sql.execute-dcm-project / Syntax"
sql = "EXECUTE DCM PROJECT v1 PLAN ENVIRONMENT ( v1 ) FROM 'm' ;"
sql = "EXECUTE DCM PROJECT v1 PLAN ENVIRONMENT ( ? ) FROM 'm' ;"
expect = "observe"
documented = true
context = "raw"

[[suppress]]
Expand Down Expand Up @@ -51184,35 +51179,33 @@ context = "raw"
form = "sf.utility.execute-dcm-project.preview-using-configuration-from"
kind = "option_present"
target = "[ ENVIRONMENT ( <bind_variable> ) ]"
reason = "[documented but Snowflake disagrees]: the page documents this SQL and the rendering follows the page, but Snowflake rejects it as a syntax error (errno 1003 SQLSTATE 42000, import-20261104-51); observed, not flipped to reject"
reason = "the hand row fills ENVIRONMENT with a bind variable, as the page documents; Snowflake parses it and fails on the placeholder source (errno 1011); observed, settled by its receipt"

[[limit]]
form = "sf.utility.execute-dcm-project.preview-using-configuration-from"
kind = "option_present"
target = "[ ENVIRONMENT ( <bind_variable> ) ]"
note = "option present [ ENVIRONMENT ( <bind_variable> ) ], observed"
anchor = "doc.sql.execute-dcm-project / Syntax"
sql = "EXECUTE DCM PROJECT v1 PREVIEW v1 USING CONFIGURATION v1 ENVIRONMENT ( v1 ) FROM 'm' ;"
sql = "EXECUTE DCM PROJECT v1 PREVIEW v1 USING CONFIGURATION v1 ENVIRONMENT ( ? ) FROM 'm' ;"
expect = "observe"
documented = true
context = "raw"

[[suppress]]
form = "sf.utility.execute-dcm-project.preview-using-configuration-from"
kind = "operand_type_class"
target = "<bind_variable> in [ ENVIRONMENT ( <bind_variable> ) ]"
note = "a valid operand"
reason = "[documented but Snowflake disagrees]: the page documents this SQL and the rendering follows the page, but Snowflake rejects it as a syntax error (errno 1003 SQLSTATE 42000, import-20261104-51); observed, not flipped to reject"
reason = "the hand row fills ENVIRONMENT with a bind variable, as the page documents; Snowflake parses it and fails on the placeholder source (errno 1011); observed, settled by its receipt"

[[limit]]
form = "sf.utility.execute-dcm-project.preview-using-configuration-from"
kind = "operand_type_class"
target = "<bind_variable> in [ ENVIRONMENT ( <bind_variable> ) ]"
note = "a valid operand, observed"
anchor = "doc.sql.execute-dcm-project / Syntax"
sql = "EXECUTE DCM PROJECT v1 PREVIEW v1 USING CONFIGURATION v1 ENVIRONMENT ( v1 ) FROM 'm' ;"
sql = "EXECUTE DCM PROJECT v1 PREVIEW v1 USING CONFIGURATION v1 ENVIRONMENT ( ? ) FROM 'm' ;"
expect = "observe"
documented = true
context = "raw"

# query receipt triage: remaining contradictions observed, each reason names its category and receipt.
Expand Down Expand Up @@ -58285,7 +58278,7 @@ form = "sf.utility.execute-dcm-project.deploy-fromsource-fromdeployment"
kind = "interaction_all_options"
note = "every independent option of one production together, observed"
anchor = "doc.sql.execute-dcm-project / Syntax"
sql = "EXECUTE DCM PROJECT v1 DEPLOY AS \"d1\" USING CONFIGURATION v1 ( 1 , 1 ) ENVIRONMENT ( v1 ) FROM 'm' ;"
sql = "EXECUTE DCM PROJECT v1 DEPLOY AS \"d1\" USING CONFIGURATION v1 ( 1 , 1 ) ENVIRONMENT ( ? ) FROM 'm' ;"
expect = "observe"
documented = true
context = "raw"
Expand Down
Loading
Loading