You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit 97db46c
Browse filesBrowse the repository at this point in the historyBrowse files
- D113 triage of imports 84-86 (evidence a1c9e0f; runs sa-20, sa-21 and
sa-24). The join found 8 contradictions, all security_admin negatives that
Snowflake parses. They become undocumented-acceptance rows (observe):
- CREATE DATA MOVEMENT POLICY ENFORCE_RULES/ALERT_RULES ( 'v1' ):
errno 2003 x2.
- CREATE EXTERNAL ACCESS INTEGRATION with string rule, integration and
secret names: runtime 509009 x3.
- CREATE FEATURE POLICY BLOCKED_OBJECT_TYPES_FOR_CREATION ( 'INT' ):
errno 1422.
- CREATE [ OR ALTER ] DATABASE ROLE ; accepted x2. Snowflake reads these as
CREATE DATABASE named ROLE. Lane A's per-case restore dropped that
database.
security_admin: reject->observe 8, with 128 observed stages updated.
- d118c holds (lane A, packet d118-3296ca13): 42 not_submitted entries.
- 32 cite alter-function.set kb29b5415441d and alter-procedure.set
k65020488034f (credential or integration).
- show-services o067 is the workload_type row renumbered by 3296ca1, still
held in ux-08.
- 9 are SYSTEM$SEND_EMAIL, SYSTEM$SEND_SNOWFLAKE_NOTIFICATION and
SYSTEM$WAIT_FOR_SERVICES rows (out of account, or acting on services).
The total is now 5,082: ddl 4,399, security_admin 603, functions 40,
utility 40.
- The two call-with.table-language-sql-as rows of d118c (k5fb30861c6ab,
k65b59ea8cc0f) are added to held.jsonl, so they run in a run database, as
the D113b rows do.
- alter-cortex-search.unset: a reading makes PRIMARY KEY required (auditor,
after #45). `UNSET ;` alone was a rejected positive, and its identifier
rows were built on it.
The join finds 0 contradictions in functions, utility, security_admin and
ddl.
Rebuilt with, for functions, utility, security_admin and ddl:
uv run python -m scripts.build_syntax_obligations <family>
uv run python -m scripts.build_syntax_cases --receipts <evidence a1c9e0f>/coverage/syntax/receipts --setups <evidence a1c9e0f>/coverage/syntax/receipts [--held coverage/syntax/held.jsonl for functions, utility] <family>
Checked with main a2c64d6's checker on this catalogue plus evidence
a1c9e0f: valid, 3476 forms, 48474 receipts.
{"capture":"execute_ddl_in_run_database","case_id":"sf.utility.call-with.table-language-sql-as.k51ff771e10bf","expect":"reject","obligations":["sf.utility.call-with.table-language-sql-as.o073"],"session":{"ABORT_DETACHED_QUERY":true,"STATEMENT_QUEUED_TIMEOUT_IN_SECONDS":30,"STATEMENT_TIMEOUT_IN_SECONDS":30,"TIMEZONE":"UTC","USE_CACHED_RESULT":false},"session_sha256":"c2b87f85a8229ee648b5f718b90d87093a916ed0842c86f29bfccd5c4484ad7d","setup":["CREATE DATABASE <run_database> COMMENT = 'sqlquack d103 sweep <run_nonce>'","CREATE SCHEMA <run_database>.CASES","USE SCHEMA <run_database>.CASES","CREATE SCHEMA <run_database>.<case_schema>","USE SCHEMA <run_database>.<case_schema>"],"setup_sha256":"dce8638abaea401ada5d04d08af1c767fcef7652712fad7cf7cb87ccf6d3b60f","sql":"WITH v1 AS PROCEDURE ( ) RETURNS INT LANGUAGE SQL AS 'BEGIN RETURN 1 ; END' v1 ( ) ;","sql_sha256":"51ff771e10bf27c92cc38b968b0186882dfdcd9949e2fc2ad514b3c7c4800dba"}
448
448
{"capture":"execute_ddl_in_run_database","case_id":"sf.utility.call-with.table-language-sql-as.k5b6a414f0fd1","expect":"accept","obligations":["sf.utility.call-with.table-language-sql-as.o076"],"session":{"ABORT_DETACHED_QUERY":true,"STATEMENT_QUEUED_TIMEOUT_IN_SECONDS":30,"STATEMENT_TIMEOUT_IN_SECONDS":30,"TIMEZONE":"UTC","USE_CACHED_RESULT":false},"session_sha256":"c2b87f85a8229ee648b5f718b90d87093a916ed0842c86f29bfccd5c4484ad7d","setup":["CREATE DATABASE <run_database> COMMENT = 'sqlquack d103 sweep <run_nonce>'","CREATE SCHEMA <run_database>.CASES","USE SCHEMA <run_database>.CASES","CREATE SCHEMA <run_database>.<case_schema>","USE SCHEMA <run_database>.<case_schema>"],"setup_sha256":"dce8638abaea401ada5d04d08af1c767fcef7652712fad7cf7cb87ccf6d3b60f","sql":"WITH \"SELECT\" AS PROCEDURE ( ) RETURNS INT LANGUAGE SQL AS 'BEGIN RETURN 1 ; END' CALL v1 ( ) ;","sql_sha256":"5b6a414f0fd103a974aa858eb495cb46237b6d72ca9dc29a2add475f70420d41"}
449
-
{"capture":"execute","case_id":"sf.utility.call-with.table-language-sql-as.k5fb30861c6ab","expect":"accept","obligations":["sf.utility.call-with.table-language-sql-as.o013","sf.utility.call-with.table-language-sql-as.o019","sf.utility.call-with.table-language-sql-as.o022","sf.utility.call-with.table-language-sql-as.o025"],"session":{"ABORT_DETACHED_QUERY":true,"STATEMENT_QUEUED_TIMEOUT_IN_SECONDS":30,"STATEMENT_TIMEOUT_IN_SECONDS":30,"TIMEZONE":"UTC","USE_CACHED_RESULT":false},"session_sha256":"c2b87f85a8229ee648b5f718b90d87093a916ed0842c86f29bfccd5c4484ad7d","setup":[],"setup_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","sql":"WITH v1 AS PROCEDURE ( v1 INT , v1 INT ) RETURNS TABLE ( v1 INT , v1 INT ) LANGUAGE SQL CALLED ON NULL INPUT AS 'BEGIN RETURN 1 ; END' , v1 ( v1 ) AS ( SELECT 1 ) CALL v1 ( v1 => v1 , v1 => v1 ) INTO :v1 ;","sql_sha256":"5fb30861c6ab492fed27b247ac37ecb82cf6e1b287ec355490c59d19291c6e78"}
450
-
{"capture":"execute","case_id":"sf.utility.call-with.table-language-sql-as.k65b59ea8cc0f","expect":"accept","obligations":["sf.utility.call-with.table-language-sql-as.o029","sf.utility.call-with.table-language-sql-as.o043","sf.utility.call-with.table-language-sql-as.o046","sf.utility.call-with.table-language-sql-as.o051","sf.utility.call-with.table-language-sql-as.o053","sf.utility.call-with.table-language-sql-as.o056","sf.utility.call-with.table-language-sql-as.o074","sf.utility.call-with.table-language-sql-as.o085","sf.utility.call-with.table-language-sql-as.o088","sf.utility.call-with.table-language-sql-as.o091","sf.utility.call-with.table-language-sql-as.o093","sf.utility.call-with.table-language-sql-as.o095","sf.utility.call-with.table-language-sql-as.o098","sf.utility.call-with.table-language-sql-as.o101"],"session":{"ABORT_DETACHED_QUERY":true,"STATEMENT_QUEUED_TIMEOUT_IN_SECONDS":30,"STATEMENT_TIMEOUT_IN_SECONDS":30,"TIMEZONE":"UTC","USE_CACHED_RESULT":false},"session_sha256":"c2b87f85a8229ee648b5f718b90d87093a916ed0842c86f29bfccd5c4484ad7d","setup":[],"setup_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","sql":"WITH v1 AS PROCEDURE ( v1 INT , v1 INT ) RETURNS INT LANGUAGE SQL CALLED ON NULL INPUT AS 'BEGIN RETURN 1 ; END' , v1 ( v1 ) AS ( SELECT 1 ) CALL v1 ( v1 => v1 , v1 => v1 ) INTO :v1 ;","sql_sha256":"65b59ea8cc0f69ae36ce81077d2fca37bc58aba59baec3a22e48432e55467183"}
449
+
{"capture":"execute_ddl_in_run_database","case_id":"sf.utility.call-with.table-language-sql-as.k5fb30861c6ab","expect":"accept","obligations":["sf.utility.call-with.table-language-sql-as.o013","sf.utility.call-with.table-language-sql-as.o019","sf.utility.call-with.table-language-sql-as.o022","sf.utility.call-with.table-language-sql-as.o025"],"session":{"ABORT_DETACHED_QUERY":true,"STATEMENT_QUEUED_TIMEOUT_IN_SECONDS":30,"STATEMENT_TIMEOUT_IN_SECONDS":30,"TIMEZONE":"UTC","USE_CACHED_RESULT":false},"session_sha256":"c2b87f85a8229ee648b5f718b90d87093a916ed0842c86f29bfccd5c4484ad7d","setup":["CREATE DATABASE <run_database> COMMENT = 'sqlquack d103 sweep <run_nonce>'","CREATE SCHEMA <run_database>.CASES","USE SCHEMA <run_database>.CASES","CREATE SCHEMA <run_database>.<case_schema>","USE SCHEMA <run_database>.<case_schema>"],"setup_sha256":"dce8638abaea401ada5d04d08af1c767fcef7652712fad7cf7cb87ccf6d3b60f","sql":"WITH v1 AS PROCEDURE ( v1 INT , v1 INT ) RETURNS TABLE ( v1 INT , v1 INT ) LANGUAGE SQL CALLED ON NULL INPUT AS 'BEGIN RETURN 1 ; END' , v1 ( v1 ) AS ( SELECT 1 ) CALL v1 ( v1 => v1 , v1 => v1 ) INTO :v1 ;","sql_sha256":"5fb30861c6ab492fed27b247ac37ecb82cf6e1b287ec355490c59d19291c6e78"}
450
+
{"capture":"execute_ddl_in_run_database","case_id":"sf.utility.call-with.table-language-sql-as.k65b59ea8cc0f","expect":"accept","obligations":["sf.utility.call-with.table-language-sql-as.o029","sf.utility.call-with.table-language-sql-as.o043","sf.utility.call-with.table-language-sql-as.o046","sf.utility.call-with.table-language-sql-as.o051","sf.utility.call-with.table-language-sql-as.o053","sf.utility.call-with.table-language-sql-as.o056","sf.utility.call-with.table-language-sql-as.o074","sf.utility.call-with.table-language-sql-as.o085","sf.utility.call-with.table-language-sql-as.o088","sf.utility.call-with.table-language-sql-as.o091","sf.utility.call-with.table-language-sql-as.o093","sf.utility.call-with.table-language-sql-as.o095","sf.utility.call-with.table-language-sql-as.o098","sf.utility.call-with.table-language-sql-as.o101"],"session":{"ABORT_DETACHED_QUERY":true,"STATEMENT_QUEUED_TIMEOUT_IN_SECONDS":30,"STATEMENT_TIMEOUT_IN_SECONDS":30,"TIMEZONE":"UTC","USE_CACHED_RESULT":false},"session_sha256":"c2b87f85a8229ee648b5f718b90d87093a916ed0842c86f29bfccd5c4484ad7d","setup":["CREATE DATABASE <run_database> COMMENT = 'sqlquack d103 sweep <run_nonce>'","CREATE SCHEMA <run_database>.CASES","USE SCHEMA <run_database>.CASES","CREATE SCHEMA <run_database>.<case_schema>","USE SCHEMA <run_database>.<case_schema>"],"setup_sha256":"dce8638abaea401ada5d04d08af1c767fcef7652712fad7cf7cb87ccf6d3b60f","sql":"WITH v1 AS PROCEDURE ( v1 INT , v1 INT ) RETURNS INT LANGUAGE SQL CALLED ON NULL INPUT AS 'BEGIN RETURN 1 ; END' , v1 ( v1 ) AS ( SELECT 1 ) CALL v1 ( v1 => v1 , v1 => v1 ) INTO :v1 ;","sql_sha256":"65b59ea8cc0f69ae36ce81077d2fca37bc58aba59baec3a22e48432e55467183"}
451
451
{"capture":"execute_ddl_in_run_database","case_id":"sf.utility.call-with.table-language-sql-as.k6f4c6729207a","expect":"reject","obligations":["sf.utility.call-with.table-language-sql-as.o004"],"session":{"ABORT_DETACHED_QUERY":true,"STATEMENT_QUEUED_TIMEOUT_IN_SECONDS":30,"STATEMENT_TIMEOUT_IN_SECONDS":30,"TIMEZONE":"UTC","USE_CACHED_RESULT":false},"session_sha256":"c2b87f85a8229ee648b5f718b90d87093a916ed0842c86f29bfccd5c4484ad7d","setup":["CREATE DATABASE <run_database> COMMENT = 'sqlquack d103 sweep <run_nonce>'","CREATE SCHEMA <run_database>.CASES","USE SCHEMA <run_database>.CASES","CREATE SCHEMA <run_database>.<case_schema>","USE SCHEMA <run_database>.<case_schema>"],"setup_sha256":"dce8638abaea401ada5d04d08af1c767fcef7652712fad7cf7cb87ccf6d3b60f","sql":"WITH 'v1' AS PROCEDURE ( ) RETURNS INT LANGUAGE SQL AS 'BEGIN RETURN 1 ; END' CALL v1 ( ) ;","sql_sha256":"6f4c6729207ae714a189c6ec3067aebf388dbf0af7124b04ccdc0f01ccc35202"}
Copy file name to clipboardExpand all lines: coverage/syntax/held.jsonl
+2Lines changed: 2 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -399,3 +399,5 @@
399
399
{"case_id": "sf.utility.execute-immediate.immediate.syntax.kdb533353cc4a", "family": "utility", "reason": "D113b: held by the family guard (not a utility statement); runs in a run database"}
400
400
{"case_id": "sf.utility.execute-immediate.immediate.syntax.kfe17a835df26", "family": "utility", "reason": "D113b: held by the family guard (not a utility statement); runs in a run database"}
401
401
{"case_id": "sf.dml.remove.ke01f0b97d3cb", "family": "dml", "reason": "D113b: held by the family guard (REMOVE from the user stage); runs in a run database"}
402
+
{"case_id": "sf.utility.call-with.table-language-sql-as.k5fb30861c6ab", "family": "utility", "reason": "D118c: held by the family guard (CALL WITH a procedure body is not inert); runs in a run database"}
403
+
{"case_id": "sf.utility.call-with.table-language-sql-as.k65b59ea8cc0f", "family": "utility", "reason": "D118c: held by the family guard (CALL WITH a procedure body is not inert); runs in a run database"}
grammar = ["ALTER CORTEX SEARCH SERVICE [ IF EXISTS ] <name> UNSET PRIMARY KEY"]
64624
+
reason = "UNSET \"unsets one or more specified properties\" and PRIMARY KEY is the only one this production lists (UNSET ATTRIBUTES is its own production), so it is required"
64625
+
64626
+
# D113 security_admin receipt triage (imports 84-86): remaining contradictions observed, each reason names its category and receipt.
64627
+
64628
+
[[suppress]]
64629
+
form = "sf.security_admin.create-data-movement-policy"
reason = "D113 [undocumented acceptance]: Snowflake parses this SQL and fails it later (errno 2003 SQLSTATE 02000, phase semantic_error, import-20261104-85), so it is not a syntax error; observed (D97 settle rule)"
64634
+
64635
+
[[limit]]
64636
+
form = "sf.security_admin.create-data-movement-policy"
reason = "D113 [undocumented acceptance]: Snowflake parses this SQL and fails it later (errno 2003 SQLSTATE 02000, phase semantic_error, import-20261104-85), so it is not a syntax error; observed (D97 settle rule)"
64651
+
64652
+
[[limit]]
64653
+
form = "sf.security_admin.create-data-movement-policy"
note = "a string literal in place of <integration_name_1>"
64701
+
reason = "D113 [undocumented acceptance]: Snowflake parses this SQL and fails it later (errno 509009 SQLSTATE 0A000, phase runtime_error, import-20261104-85), so it is not a syntax error; observed (D97 settle rule)"
64702
+
64703
+
[[limit]]
64704
+
form = "sf.security_admin.create-external-access-integration"
note = "a string literal in place of <secret_name_1>"
64718
+
reason = "D113 [undocumented acceptance]: Snowflake parses this SQL and fails it later (errno 509009 SQLSTATE 0A000, phase runtime_error, import-20261104-85), so it is not a syntax error; observed (D97 settle rule)"
64719
+
64720
+
[[limit]]
64721
+
form = "sf.security_admin.create-external-access-integration"
form = "sf.security_admin.create-external-access-integration"
64732
+
kind = "negative_neighbour"
64733
+
target = "<rule_name_1>"
64734
+
note = "a string literal in place of <rule_name_1>"
64735
+
reason = "D113 [undocumented acceptance]: Snowflake parses this SQL and fails it later (errno 509009 SQLSTATE 0A000, phase runtime_error, import-20261104-85), so it is not a syntax error; observed (D97 settle rule)"
64736
+
64737
+
[[limit]]
64738
+
form = "sf.security_admin.create-external-access-integration"
64739
+
kind = "negative_neighbour"
64740
+
target = "<rule_name_1>"
64741
+
note = "a string literal in place of <rule_name_1>, observed"
reason = "D113 [undocumented acceptance]: Snowflake parses this SQL and fails it later (errno 1422 SQLSTATE 22023, phase semantic_error, import-20261104-85), so it is not a syntax error; observed (D97 settle rule)"
0 commit comments