[kvlonge]

Snowflake parser gaps found by the syntax coverage checker: ALTER actions of tables, Iceberg tables, sequences, views, external tables and shares; DROP of security object kinds; COMMENT ON; and class instance method calls (CALL budget!GET_CONFIG()).

Changes

• ALTER SEQUENCE RENAME TO and UNSET COMMENT; ALTER VIEW RENAME TO.
• ALTER ICEBERG TABLE: CREATE [OR REPLACE] / REPLACE / ALTER / DROP VERSION_TAG with AS OF { VERSION | TIMESTAMP } n [ RETAIN n { DAYS | HOURS | MINUTES } ], REPLACE PARTITION BY ( e ) WITH ( e ), UPGRADE TO ICEBERG VERSION n, and OPTIMIZE ( REMOVE_POSITION_DELETES ). Plain ALTER TABLE refuses OPTIMIZE.
• ALTER TABLE ADD STORAGE LIFECYCLE POLICY p ON ( cols ) and DROP STORAGE LIFECYCLE POLICY. RENAME needs TO, and RENAME TO, SWAP WITH and the table or view name refuse an unquoted reserved word.
• ALTER EXTERNAL TABLE ADD/REMOVE FILES take a non-empty string list. ALTER SHARE UNSET COMMENT is typed, and its other actions keep the fallback. ALTER USER GROUP is refused (Snowflake has ALTER ORGANIZATION USER GROUP).
• DROP of 35 security object kinds (policies, integrations, groups, ROLE, USER, SHARE, SECRET, …) is typed instead of an opaque command. DROP DATABASE keeps CASCADE/RESTRICT, and DROP FUNCTION refuses an empty or string TABLE ( ) argument.
• COMMENT ON refuses reserved name parts and a non-string value in Snowflake.
• CALL <instance>!<method>( … ) is a typed Call with the method as its member. It refuses a missing instance, method or parenthesis, and an unquoted reserved instance name. Other CALL forms are unchanged.

Not in this PR: B's #49 (DESC/SHOW, CREATE … FROM BACKUP/SHARE/REPLICA/ARCHIVE, CREATE TASK CLONE, TRUNCATE ERROR_TABLE, parse_object_name and parse_account_names). This branch only calls those functions. The ALTER TABLE column-action forms are also left out.

Coverage diff

Catalogue 1a57a55, evidence cfc73a0, checker built from each tree:

classes              forms +79 -0   obligations +1060 -0
ddl                  forms +20 -0   obligations +204 -0
security_admin       forms +33 -0   obligations +216 -0
forms completed: +132 -0; obligations satisfied: +1480 -0

Tests

crates/sqlquack-syntax/tests/parser/test_snowflake_alter_gaps.rs covers acceptance and refusal for each action, with receipt-backed cases where they exist, plus tree shape (kind, action, operands, call member).

Gate: make check-merge RECORDER=0 is running on head ea6266e (main 5cfdde2 merged in; main has no changes under crates/sqlquack-syntax* since 2f0c38a, so the coverage diff above holds). The result will be posted here.

[kvlonge]

Gate (D94): make check-merge RECORDER=0 exit 0 on head 6a89ed2971068a09d79fa568a37f035093d89ede (main b323a31e merged in, so it fast-forwards). run_rust_tests: passed (23 binaries, including polyglot runs, which failed an earlier gate on COMMENT ON … IS N'…' and is fixed by e60fedc).

Coverage diff against main b323a31 (catalogue f61d213, evidence b22649e, checker built from each tree): forms completed +132 −0, obligations satisfied +1480 −0 (classes +79, ddl +20, security_admin +33).

Hygiene: author/committer 273747162+kvlonge@users.noreply.github.com, no trailers, no agent paths or private hosts in the diff.