@intentius/chant-lexicon-sql 0.121.0 → 0.122.0

package/dist/lint/post-synth/sqlpg120.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlpg120.d.ts","sourceRoot":"","sources":["../../../src/lint/post-synth/sqlpg120.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,2CAanB,CAAC"}

package/dist/lint/post-synth/sqlpg121.d.ts

@@ -0,0 +1,12 @@
+/**
+ * SQLPG121: an identity column whose type is not `smallint`, `integer` or
+ * `bigint`.
+ *
+ * Doc: https://www.postgresql.org/docs/18/sql-createtable.html ("GENERATED {
+ * ALWAYS | BY DEFAULT } AS IDENTITY ... The column ... must be of type
+ * smallint, integer or bigint"). The server refuses `identity column type must
+ * be smallint, integer, or bigint` at CREATE. A declared type (a domain) is
+ * left to the server.
+ */
+export declare const sqlpg121: import("@intentius/chant").PostSynthCheck;
+//# sourceMappingURL=sqlpg121.d.ts.map

package/dist/lint/post-synth/sqlpg121.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlpg121.d.ts","sourceRoot":"","sources":["../../../src/lint/post-synth/sqlpg121.ts"],"names":[],"mappings":"AAKA;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,2CAgBnB,CAAC"}

package/dist/lint/post-synth/sqlpg122.d.ts

@@ -0,0 +1,12 @@
+/**
+ * SQLPG122: a table that declares a column twice, or an enum that lists a
+ * label twice.
+ *
+ * Doc: https://www.postgresql.org/docs/18/sql-createtable.html and
+ * https://www.postgresql.org/docs/18/sql-createtype.html. The server refuses
+ * `column "id" specified more than once` and `enum labels must be unique`.
+ * Column names are compared as Postgres folds them; labels as written, since
+ * they are case-sensitive strings.
+ */
+export declare const sqlpg122: import("@intentius/chant").PostSynthCheck;
+//# sourceMappingURL=sqlpg122.d.ts.map

package/dist/lint/post-synth/sqlpg122.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlpg122.d.ts","sourceRoot":"","sources":["../../../src/lint/post-synth/sqlpg122.ts"],"names":[],"mappings":"AAKA;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,2CAYnB,CAAC"}

package/dist/lint/post-synth/sqlpg123.d.ts

@@ -0,0 +1,17 @@
+/**
+ * SQLPG123: a bare column name in a key, index or grant column list that the
+ * table does not declare.
+ *
+ * Doc: https://www.postgresql.org/docs/18/sql-createtable.html,
+ * https://www.postgresql.org/docs/18/sql-createindex.html,
+ * https://www.postgresql.org/docs/18/sql-grant.html. The server refuses
+ * `column "idd" named in key does not exist` (or `column "emial" does not
+ * exist`) at CREATE or GRANT. Checked: `PRIMARY KEY`, `UNIQUE` and their
+ * `INCLUDE`, a foreign key's own columns, an index's bare columns and
+ * `INCLUDE` on a `${}` table, and a `GRANT`/`REVOKE` column list on a `${}`
+ * table. An expression (an index expression, a CHECK, a generated column) is
+ * left to the server, as is a table whose columns come from somewhere the
+ * build cannot see (`LIKE`, `OF type`, a plain-text parent).
+ */
+export declare const sqlpg123: import("@intentius/chant").PostSynthCheck;
+//# sourceMappingURL=sqlpg123.d.ts.map

package/dist/lint/post-synth/sqlpg123.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlpg123.d.ts","sourceRoot":"","sources":["../../../src/lint/post-synth/sqlpg123.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,2CA4CnB,CAAC"}

package/dist/lint/post-synth/sqlpg124.d.ts

@@ -0,0 +1,16 @@
+/**
+ * SQLPG124: a foreign key to a `${}` table that names a column the table does
+ * not declare, or pairs columns whose types do not compare.
+ *
+ * Doc: https://www.postgresql.org/docs/18/ddl-constraints.html#DDL-CONSTRAINTS-FK
+ * and https://www.postgresql.org/docs/18/catalog-pg-type.html#CATALOG-TYPCATEGORY-TABLE.
+ * The server refuses `column "idd" referenced in foreign key constraint does
+ * not exist` and `Key columns "customer_id" and "id" are of incompatible
+ * types: text and bigint`. Types compare by their catalog category: `integer`
+ * to `bigint` (both numeric) passes, `text` to `bigint` fails. The
+ * user-defined category (`uuid`, `bytea`, `jsonb`...) compares by type; a
+ * domain by its base type; an enum by itself. A key to a table named in plain
+ * text, or a type outside the project, is left to the server.
+ */
+export declare const sqlpg124: import("@intentius/chant").PostSynthCheck;
+//# sourceMappingURL=sqlpg124.d.ts.map

package/dist/lint/post-synth/sqlpg124.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlpg124.d.ts","sourceRoot":"","sources":["../../../src/lint/post-synth/sqlpg124.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,QAAQ,2CA6BnB,CAAC"}

package/dist/lint/post-synth/sqlpg125.d.ts

@@ -0,0 +1,17 @@
+/**
+ * SQLPG125: an index access method or operator class the target major does
+ * not have, or an operator class that is not for the index's method.
+ *
+ * Doc: https://www.postgresql.org/docs/18/sql-createindex.html and
+ * https://www.postgresql.org/docs/18/indexes-opclass.html. The server refuses
+ * `access method "btreee" does not exist` and `operator class "numeric_opz"
+ * does not exist for access method "btree"` at CREATE. Methods and operator
+ * classes come from the target major's catalog (`pg_am`, `pg_opclass`). The
+ * ones an extension adds (`gin_trgm_ops` from pg_trgm, `hnsw` from vector)
+ * pass when the project declares that extension and are an error naming it
+ * when it does not; one neither the catalog nor the extension overlay knows is
+ * a warning when the project declares any extension. An operator class
+ * qualified with a schema the project does not declare is left alone.
+ */
+export declare const sqlpg125: import("@intentius/chant").PostSynthCheck;
+//# sourceMappingURL=sqlpg125.d.ts.map

package/dist/lint/post-synth/sqlpg125.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlpg125.d.ts","sourceRoot":"","sources":["../../../src/lint/post-synth/sqlpg125.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,2CAqBnB,CAAC"}

package/dist/lint/post-synth/sqlpg126.d.ts

@@ -0,0 +1,19 @@
+/**
+ * SQLPG126: a call to a function the target major does not have, in a column
+ * `DEFAULT`, a generated column, a `CHECK` (a table's or a domain's), or an
+ * index expression.
+ *
+ * Doc: https://www.postgresql.org/docs/18/functions.html. The server refuses
+ * `function noww() does not exist` at CREATE. A name counts when it is in
+ * the target major's `pg_proc`, a function or procedure the project declares,
+ * a type name used as a cast (`int4(x)`), or qualified with a schema the
+ * project does not declare. Only a name directly followed by `(`, outside
+ * string literals, is a call; the grammar's own constructs that read like
+ * calls (`COALESCE`, `NULLIF`, `GREATEST`, `LEAST`, `CAST`, `EXTRACT`, `ROW`,
+ * `ARRAY`, `EXISTS`, `IN`, `ANY`, `ALL`, `SOME`, and the key word forms of
+ * `OVERLAY`, `POSITION`, `SUBSTRING` and `TRIM`) are reserved or column-name
+ * key words, not `pg_proc` names, and are skipped by their key word category.
+ * An error, or a warning when the project declares an extension.
+ */
+export declare const sqlpg126: import("@intentius/chant").PostSynthCheck;
+//# sourceMappingURL=sqlpg126.d.ts.map

package/dist/lint/post-synth/sqlpg126.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlpg126.d.ts","sourceRoot":"","sources":["../../../src/lint/post-synth/sqlpg126.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,QAAQ,2CAgBnB,CAAC"}

package/dist/manifest.json

@@ -1,6 +1,6 @@
 {
   "name": "sql",
-  "version": "0.121.0",
+  "version": "0.122.0",
   "chantVersion": ">=0.1.0",
   "namespace": "SQL",
   "intrinsics": [],

package/dist/okf/index.md

@@ -33,6 +33,7 @@ okf_version: '0.2'
 
 # Rules
 
+* [SQL101](/rules/SQL101.md) - Two exports declare the same object
 * [SQLCH001](/rules/SQLCH001.md) - the DDL in a ClickHouse template (`database`, `table`, `view`, `dictionary`, `func`, `user`, `role`, `policy`, `grant`) does not parse, or holds another stat...
 * [SQLCH002](/rules/SQLCH002.md) - a `Nullable` column in a table's sort key or primary key.
 * [SQLCH003](/rules/SQLCH003.md) - a column written as `${events.kind}` instead of `${events.columns.kind}`.
@@ -56,6 +57,13 @@ okf_version: '0.2'
 * [SQLCH118](/rules/SQLCH118.md) - A MergeTree setting is not one the pinned server has
 * [SQLCH119](/rules/SQLCH119.md) - An object uses a deprecated or experimental engine
 * [SQLCH120](/rules/SQLCH120.md) - A MergeTree engine uses the deprecated positional arguments
+* [SQLCH121](/rules/SQLCH121.md) - A column type names a family the pinned server does not have
+* [SQLCH122](/rules/SQLCH122.md) - A column type's parameters do not fit its family
+* [SQLCH123](/rules/SQLCH123.md) - A Nullable wraps a type ClickHouse does not allow inside Nullable
+* [SQLCH124](/rules/SQLCH124.md) - A table declares a column twice
+* [SQLCH125](/rules/SQLCH125.md) - A codec parameter is outside what the codec takes
+* [SQLCH126](/rules/SQLCH126.md) - A GRANT column list names a column the table does not declare
+* [SQLCH127](/rules/SQLCH127.md) - An expression calls a function the pinned server does not have
 * [SQLPG001](/rules/SQLPG001.md) - the DDL in a Postgres template does not parse, or does not hold
 * [SQLPG002](/rules/SQLPG002.md) - a column written as `${events.kind}` instead of `${events.columns.kind}`.
 * [SQLPG003](/rules/SQLPG003.md) - an object named in a string where Postgres reads a `regclass`:
@@ -78,3 +86,11 @@ okf_version: '0.2'
 * [SQLPG116](/rules/SQLPG116.md) - An extension the target major no longer ships
 * [SQLPG117](/rules/SQLPG117.md) - A view without security_invoker runs with its owner's privileges
 * [SQLPG118](/rules/SQLPG118.md) - A table uses INHERITS where declarative partitioning replaced it
+* [SQLPG119](/rules/SQLPG119.md) - A column, domain or sequence type the target major does not have
+* [SQLPG120](/rules/SQLPG120.md) - A type modifier that does not fit the type
+* [SQLPG121](/rules/SQLPG121.md) - An identity column whose type is not smallint, integer or bigint
+* [SQLPG122](/rules/SQLPG122.md) - A table declares a column twice, or an enum lists a label twice
+* [SQLPG123](/rules/SQLPG123.md) - A key, index or grant column list names a column the table does not declare
+* [SQLPG124](/rules/SQLPG124.md) - A foreign key names a column the referenced table lacks, or one of another type category
+* [SQLPG125](/rules/SQLPG125.md) - An index access method or operator class the target major does not have, or not for that method
+* [SQLPG126](/rules/SQLPG126.md) - An expression calls a function the target major does not have

package/dist/okf/rules/SQL101.md

@@ -0,0 +1,23 @@
+---
+type: post-synth-check
+title: SQL101
+description: Two exports declare the same object
+id: SQL101
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+Two exports declare the same object
+
+## Applies to
+
+- [Function](/types/Function.md)
+- [Grant](/types/Grant.md)
+- [PostgresDefaultPrivileges](/types/PostgresDefaultPrivileges.md)
+- [PostgresFunction](/types/PostgresFunction.md)
+- [PostgresGrant](/types/PostgresGrant.md)
+- [PostgresPolicy](/types/PostgresPolicy.md)
+- [PostgresProcedure](/types/PostgresProcedure.md)
+- [PostgresTrigger](/types/PostgresTrigger.md)
+- [RowPolicy](/types/RowPolicy.md)

package/dist/okf/rules/SQLCH121.md

@@ -0,0 +1,11 @@
+---
+type: post-synth-check
+title: SQLCH121
+description: A column type names a family the pinned server does not have
+id: SQLCH121
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A column type names a family the pinned server does not have

package/dist/okf/rules/SQLCH122.md

@@ -0,0 +1,11 @@
+---
+type: post-synth-check
+title: SQLCH122
+description: A column type's parameters do not fit its family
+id: SQLCH122
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A column type's parameters do not fit its family

package/dist/okf/rules/SQLCH123.md

@@ -0,0 +1,11 @@
+---
+type: post-synth-check
+title: SQLCH123
+description: A Nullable wraps a type ClickHouse does not allow inside Nullable
+id: SQLCH123
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A Nullable wraps a type ClickHouse does not allow inside Nullable

package/dist/okf/rules/SQLCH124.md

@@ -0,0 +1,18 @@
+---
+type: post-synth-check
+title: SQLCH124
+description: A table declares a column twice
+id: SQLCH124
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A table declares a column twice
+
+## Applies to
+
+- [Dictionary](/types/Dictionary.md)
+- [MaterializedView](/types/MaterializedView.md)
+- [Table](/types/Table.md)
+- [View](/types/View.md)

package/dist/okf/rules/SQLCH125.md

@@ -0,0 +1,11 @@
+---
+type: post-synth-check
+title: SQLCH125
+description: A codec parameter is outside what the codec takes
+id: SQLCH125
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A codec parameter is outside what the codec takes

package/dist/okf/rules/SQLCH126.md

@@ -0,0 +1,15 @@
+---
+type: post-synth-check
+title: SQLCH126
+description: A GRANT column list names a column the table does not declare
+id: SQLCH126
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A GRANT column list names a column the table does not declare
+
+## Applies to
+
+- [Grant](/types/Grant.md)

package/dist/okf/rules/SQLCH127.md

@@ -0,0 +1,15 @@
+---
+type: post-synth-check
+title: SQLCH127
+description: An expression calls a function the pinned server does not have
+id: SQLCH127
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+An expression calls a function the pinned server does not have
+
+## Applies to
+
+- [Function](/types/Function.md)

package/dist/okf/rules/SQLPG119.md

@@ -0,0 +1,16 @@
+---
+type: post-synth-check
+title: SQLPG119
+description: A column, domain or sequence type the target major does not have
+id: SQLPG119
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A column, domain or sequence type the target major does not have
+
+## Applies to
+
+- [PostgresDomain](/types/PostgresDomain.md)
+- [PostgresSequence](/types/PostgresSequence.md)

package/dist/okf/rules/SQLPG120.md

@@ -0,0 +1,16 @@
+---
+type: post-synth-check
+title: SQLPG120
+description: A type modifier that does not fit the type
+id: SQLPG120
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A type modifier that does not fit the type
+
+## Applies to
+
+- [PostgresDomain](/types/PostgresDomain.md)
+- [PostgresSequence](/types/PostgresSequence.md)

package/dist/okf/rules/SQLPG121.md

@@ -0,0 +1,11 @@
+---
+type: post-synth-check
+title: SQLPG121
+description: An identity column whose type is not smallint, integer or bigint
+id: SQLPG121
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+An identity column whose type is not smallint, integer or bigint

package/dist/okf/rules/SQLPG122.md

@@ -0,0 +1,15 @@
+---
+type: post-synth-check
+title: SQLPG122
+description: A table declares a column twice, or an enum lists a label twice
+id: SQLPG122
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A table declares a column twice, or an enum lists a label twice
+
+## Applies to
+
+- [PostgresEnum](/types/PostgresEnum.md)

package/dist/okf/rules/SQLPG123.md

@@ -0,0 +1,16 @@
+---
+type: post-synth-check
+title: SQLPG123
+description: A key, index or grant column list names a column the table does not declare
+id: SQLPG123
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A key, index or grant column list names a column the table does not declare
+
+## Applies to
+
+- [Grant](/types/Grant.md)
+- [PostgresGrant](/types/PostgresGrant.md)

package/dist/okf/rules/SQLPG124.md

@@ -0,0 +1,11 @@
+---
+type: post-synth-check
+title: SQLPG124
+description: A foreign key names a column the referenced table lacks, or one of another type category
+id: SQLPG124
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+A foreign key names a column the referenced table lacks, or one of another type category

package/dist/okf/rules/SQLPG125.md

@@ -0,0 +1,11 @@
+---
+type: post-synth-check
+title: SQLPG125
+description: An index access method or operator class the target major does not have, or not for that method
+id: SQLPG125
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+An index access method or operator class the target major does not have, or not for that method

package/dist/okf/rules/SQLPG126.md

@@ -0,0 +1,11 @@
+---
+type: post-synth-check
+title: SQLPG126
+description: An expression calls a function the target major does not have
+id: SQLPG126
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+An expression calls a function the target major does not have

package/dist/okf/types/Dictionary.md

@@ -7,3 +7,7 @@ lexicon: sql
 resource_type: ClickHouse::Dictionary
 ---
 `ClickHouse::Dictionary`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQLCH124](/rules/SQLCH124.md): A table declares a column twice

package/dist/okf/types/Function.md

@@ -7,3 +7,8 @@ lexicon: sql
 resource_type: ClickHouse::Function
 ---
 `ClickHouse::Function`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQL101](/rules/SQL101.md): Two exports declare the same object
+- [SQLCH127](/rules/SQLCH127.md): An expression calls a function the pinned server does not have

package/dist/okf/types/Grant.md

@@ -7,3 +7,9 @@ lexicon: sql
 resource_type: ClickHouse::Grant
 ---
 `ClickHouse::Grant`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQL101](/rules/SQL101.md): Two exports declare the same object
+- [SQLCH126](/rules/SQLCH126.md): A GRANT column list names a column the table does not declare
+- [SQLPG123](/rules/SQLPG123.md): A key, index or grant column list names a column the table does not declare

package/dist/okf/types/MaterializedView.md

@@ -11,4 +11,5 @@ resource_type: ClickHouse::MaterializedView
 ## Governed by
 
 - [SQLCH117](/rules/SQLCH117.md): A MergeTree setting is obsolete at the pinned server
+- [SQLCH124](/rules/SQLCH124.md): A table declares a column twice
 - [SQLPG113](/rules/SQLPG113.md): An object is in the public schema though the project declares schemas

package/dist/okf/types/PostgresDefaultPrivileges.md

@@ -7,3 +7,7 @@ lexicon: sql
 resource_type: Postgres::DefaultPrivileges
 ---
 `Postgres::DefaultPrivileges`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQL101](/rules/SQL101.md): Two exports declare the same object

package/dist/okf/types/PostgresDomain.md

@@ -11,3 +11,5 @@ resource_type: Postgres::Domain
 ## Governed by
 
 - [SQLPG113](/rules/SQLPG113.md): An object is in the public schema though the project declares schemas
+- [SQLPG119](/rules/SQLPG119.md): A column, domain or sequence type the target major does not have
+- [SQLPG120](/rules/SQLPG120.md): A type modifier that does not fit the type

package/dist/okf/types/PostgresEnum.md

@@ -11,3 +11,4 @@ resource_type: Postgres::Enum
 ## Governed by
 
 - [SQLPG113](/rules/SQLPG113.md): An object is in the public schema though the project declares schemas
+- [SQLPG122](/rules/SQLPG122.md): A table declares a column twice, or an enum lists a label twice

package/dist/okf/types/PostgresFunction.md

@@ -7,3 +7,7 @@ lexicon: sql
 resource_type: Postgres::Function
 ---
 `Postgres::Function`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQL101](/rules/SQL101.md): Two exports declare the same object

package/dist/okf/types/PostgresGrant.md

@@ -7,3 +7,8 @@ lexicon: sql
 resource_type: Postgres::Grant
 ---
 `Postgres::Grant`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQL101](/rules/SQL101.md): Two exports declare the same object
+- [SQLPG123](/rules/SQLPG123.md): A key, index or grant column list names a column the table does not declare

package/dist/okf/types/PostgresPolicy.md

@@ -7,3 +7,7 @@ lexicon: sql
 resource_type: Postgres::Policy
 ---
 `Postgres::Policy`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQL101](/rules/SQL101.md): Two exports declare the same object

package/dist/okf/types/PostgresProcedure.md

@@ -7,3 +7,7 @@ lexicon: sql
 resource_type: Postgres::Procedure
 ---
 `Postgres::Procedure`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQL101](/rules/SQL101.md): Two exports declare the same object

package/dist/okf/types/PostgresSequence.md

@@ -11,3 +11,5 @@ resource_type: Postgres::Sequence
 ## Governed by
 
 - [SQLPG113](/rules/SQLPG113.md): An object is in the public schema though the project declares schemas
+- [SQLPG119](/rules/SQLPG119.md): A column, domain or sequence type the target major does not have
+- [SQLPG120](/rules/SQLPG120.md): A type modifier that does not fit the type

package/dist/okf/types/PostgresTrigger.md

@@ -7,3 +7,7 @@ lexicon: sql
 resource_type: Postgres::Trigger
 ---
 `Postgres::Trigger`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQL101](/rules/SQL101.md): Two exports declare the same object

package/dist/okf/types/RowPolicy.md

@@ -7,3 +7,7 @@ lexicon: sql
 resource_type: ClickHouse::RowPolicy
 ---
 `ClickHouse::RowPolicy`, a resource type of the sql lexicon.
+
+## Governed by
+
+- [SQL101](/rules/SQL101.md): Two exports declare the same object

package/dist/okf/types/Table.md

@@ -12,4 +12,5 @@ resource_type: ClickHouse::Table
 
 - [SQLCH118](/rules/SQLCH118.md): A MergeTree setting is not one the pinned server has
 - [SQLCH120](/rules/SQLCH120.md): A MergeTree engine uses the deprecated positional arguments
+- [SQLCH124](/rules/SQLCH124.md): A table declares a column twice
 - [SQLPG113](/rules/SQLPG113.md): An object is in the public schema though the project declares schemas

package/dist/okf/types/View.md

@@ -10,4 +10,5 @@ resource_type: ClickHouse::View
 
 ## Governed by
 
+- [SQLCH124](/rules/SQLCH124.md): A table declares a column twice
 - [SQLPG113](/rules/SQLPG113.md): An object is in the public schema though the project declares schemas

package/dist/postgres/overlays/extension-objects.d.ts

@@ -0,0 +1,28 @@
+/**
+ * What the common extensions add, for lint: the types, functions, index
+ * access methods and operator classes a declaration may name once the project
+ * declares the extension. The pinned catalogs are read from a server with no
+ * extension installed, so none of these are in them.
+ *
+ * The list is not exhaustive. A name the core catalog does not have and no
+ * entry here covers is reported as a warning when the project declares any
+ * extension (it may come from one), and as an error when it declares none.
+ * A name an entry here covers, used without that extension declared, is an
+ * error that names the extension.
+ *
+ * Sources: the reference page of each contrib module
+ * (https://www.postgresql.org/docs/18/contrib.html), PostGIS
+ * (https://postgis.net/docs/reference.html) and pgvector
+ * (https://github.com/pgvector/pgvector#reference).
+ */
+export interface ExtensionObjects {
+    types?: readonly string[];
+    functions?: readonly string[];
+    /** Function name prefixes the extension owns (`st_` for PostGIS). */
+    functionPrefixes?: readonly string[];
+    accessMethods?: readonly string[];
+    /** Operator classes by access method. */
+    opclasses?: Readonly<Record<string, readonly string[]>>;
+}
+export declare const EXTENSION_OBJECTS: Readonly<Record<string, ExtensionObjects>>;
+//# sourceMappingURL=extension-objects.d.ts.map

package/dist/postgres/overlays/extension-objects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension-objects.d.ts","sourceRoot":"","sources":["../../../src/postgres/overlays/extension-objects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,WAAW,gBAAgB;IAC/B,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,qEAAqE;IACrE,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,yCAAyC;IACzC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CACzD;AAgBD,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAyDxE,CAAC"}

package/dist/postgres/overlays/types.d.ts

@@ -21,4 +21,14 @@ export declare const ARRAY_SUFFIX: {
     readonly dimensioned: "[n]";
     readonly keyword: "ARRAY";
 };
+/**
+ * Spellings the grammar accepts that neither `pg_type` nor {@link TYPE_SPELLINGS}
+ * lists, and the canonical name each stands for (gram.y, `Numeric`,
+ * `Character`, `ConstDatetime`). Lint reads them beside the catalog so every
+ * spelling Postgres accepts resolves. `float(p)` is `real` for p up to 24 and
+ * `double precision` above; lint reads the precision.
+ */
+export declare const GRAMMAR_TYPE_SPELLINGS: Record<string, string>;
+/** The serial spellings with a width suffix, beside {@link SERIAL_TYPES}. */
+export declare const SERIAL_WIDTH_SPELLINGS: Record<string, string>;
 //# sourceMappingURL=types.d.ts.map

package/dist/postgres/overlays/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/postgres/overlays/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAO,KAAK,cAAc,EAAE,MAAM,SAAS,CAAC;AAEnD,6DAA6D;AAC7D,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAiB5E,CAAC;AAEF,6FAA6F;AAC7F,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAWjD,CAAC;AAEF,gHAAgH;AAChH,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAI/C,CAAC;AAEF,yGAAyG;AACzG,eAAO,MAAM,YAAY;;;;CAAoE,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/postgres/overlays/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAO,KAAK,cAAc,EAAE,MAAM,SAAS,CAAC;AAEnD,6DAA6D;AAC7D,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAiB5E,CAAC;AAEF,6FAA6F;AAC7F,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAWjD,CAAC;AAEF,gHAAgH;AAChH,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAI/C,CAAC;AAEF,yGAAyG;AACzG,eAAO,MAAM,YAAY;;;;CAAoE,CAAC;AAE9F;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CASzD,CAAC;AAEF,6EAA6E;AAC7E,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAIzD,CAAC"}

package/dist/rules/audit-entries.ts

@@ -26,4 +26,11 @@ export const sqlPostSynthAuditEntries: Record<string, RuleMeta> = {
   SQLCH118: auditRule("SQLCH118", "merge-worthy", "guidance", "A MergeTree setting is not one the pinned server has", "Fix the setting name, or pick a setting from the pinned server's system.merge_tree_settings.", { category: "correctness" }),
   SQLCH119: auditRule("SQLCH119", "report-only", "guidance", "An object uses a deprecated or experimental engine", "Use the engine that replaced it (Atomic for Ordinary), or accept the experimental engine knowingly.", { category: "best-practice" }),
   SQLCH120: auditRule("SQLCH120", "report-only", "guidance", "A MergeTree engine uses the deprecated positional arguments", "Write a bare MergeTree with ORDER BY, PARTITION BY and SETTINGS.", { category: "best-practice" }),
+  SQLCH121: auditRule("SQLCH121", "merge-worthy", "guidance", "A column type names a family the pinned server does not have", "Use a type family from the pinned server's system.data_type_families, in the case it lists unless it is case-insensitive.", { category: "correctness" }),
+  SQLCH122: auditRule("SQLCH122", "merge-worthy", "guidance", "A column type's parameters do not fit its family", "Give the family the parameters it takes, each within its range.", { category: "correctness" }),
+  SQLCH123: auditRule("SQLCH123", "merge-worthy", "guidance", "A Nullable wraps a type ClickHouse does not allow inside Nullable", "Move Nullable inside (Array(Nullable(T)), LowCardinality(Nullable(T))) or drop it.", { category: "correctness" }),
+  SQLCH124: auditRule("SQLCH124", "merge-worthy", "guidance", "A table declares a column twice", "Remove or rename one of the two columns.", { category: "correctness" }),
+  SQLCH125: auditRule("SQLCH125", "merge-worthy", "guidance", "A codec parameter is outside what the codec takes", "Give the codec a parameter within its range or set, or drop the parameter for the default.", { category: "correctness" }),
+  SQLCH126: auditRule("SQLCH126", "merge-worthy", "guidance", "A GRANT column list names a column the table does not declare", "Fix the column name, or declare the column on the table.", { category: "correctness" }),
+  SQLCH127: auditRule("SQLCH127", "merge-worthy", "guidance", "An expression calls a function the pinned server does not have", "Fix the function name, use one from the pinned server's system.functions, or declare it with func.", { category: "correctness" }),
 };