@intentius/chant-lexicon-sql 0.121.1 → 0.123.0

package/dist/lint/rules/index.d.ts

@@ -2,11 +2,13 @@ import type { LintRule } from "@intentius/chant/lint/rule";
 import { sqlch001 } from "./sqlch001.js";
 import { sqlch002 } from "./sqlch002.js";
 import { sqlch003 } from "./sqlch003.js";
+import { sqlch004 } from "./sqlch004.js";
 import { sqlpg001 } from "./sqlpg001.js";
 import { sqlpg002 } from "./sqlpg002.js";
 import { sqlpg003 } from "./sqlpg003.js";
 import { sqlpg004 } from "./sqlpg004.js";
-export { sqlch001, sqlch002, sqlch003, sqlpg001, sqlpg002, sqlpg003, sqlpg004 };
+import { sqlpg005 } from "./sqlpg005.js";
+export { sqlch001, sqlch002, sqlch003, sqlch004, sqlpg001, sqlpg002, sqlpg003, sqlpg004, sqlpg005 };
 /** The lexicon's source-level lint rules, returned by `lintRules()`. */
 export declare const rules: LintRule[];
 //# sourceMappingURL=index.d.ts.map

package/dist/lint/rules/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAEhF,wEAAwE;AACxE,eAAO,MAAM,KAAK,EAAE,QAAQ,EAA2E,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAEpG,wEAAwE;AACxE,eAAO,MAAM,KAAK,EAAE,QAAQ,EAA+F,CAAC"}

package/dist/lint/rules/sqlch004.d.ts

@@ -0,0 +1,19 @@
+import type { LintRule } from "@intentius/chant/lint/rule";
+/**
+ * SQLCH004: a typed ClickHouse tag whose type argument does not name the
+ * object its template declares, or is not in the generated `sql-types.d.ts`.
+ *
+ * `table<"shop.events">\`CREATE TABLE shop.events ...\``, and the same for
+ * `view` and `dictionary`, types `.columns` from the generated file's
+ * `SqlSchema["shop.events"]`. tsc does not compare the argument with the
+ * template's text, and an argument the file does not list falls back to
+ * unchecked columns, so a typo checks nothing and says nothing. The rule reads
+ * the declared name from the template (a database supplied by an interpolation
+ * is not known to lint, and is left out of the comparison) and the listed
+ * names from the nearest `sql-types.d.ts` above the file. With no generated
+ * file, only the first check runs. A name missing from the file is a warning,
+ * since an object added since the last `chant sql types` is stale and
+ * `chant sql types --check` is what fails on it.
+ */
+export declare const sqlch004: LintRule;
+//# sourceMappingURL=sqlch004.d.ts.map

package/dist/lint/rules/sqlch004.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlch004.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/sqlch004.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAA+B,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAQxF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,QAAQ,EAAE,QAwDtB,CAAC"}

package/dist/lint/rules/sqlpg005.d.ts

@@ -0,0 +1,18 @@
+import type { LintRule } from "@intentius/chant/lint/rule";
+/**
+ * SQLPG005: a typed Postgres tag whose type argument does not name the object
+ * its template declares, or is not in the generated `sql-types.d.ts`.
+ *
+ * `table<"shop.orders">\`CREATE TABLE shop.orders ...\`` types `.columns` from
+ * the generated file's `SqlSchema["shop.orders"]`. tsc does not compare the
+ * argument with the template's text, and an argument the file does not list
+ * falls back to unchecked columns, so a typo checks nothing and says nothing.
+ * The rule reads the declared name from the template (a schema supplied by an
+ * interpolation is not known to lint, and is left out of the comparison) and
+ * the listed names from the nearest `sql-types.d.ts` above the file. With no
+ * generated file, only the first check runs. A name missing from the file is
+ * a warning, since a table added since the last `chant sql types` is stale
+ * and `chant sql types --check` is what fails on it.
+ */
+export declare const sqlpg005: LintRule;
+//# sourceMappingURL=sqlpg005.d.ts.map

package/dist/lint/rules/sqlpg005.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlpg005.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/sqlpg005.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAA+B,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAOxF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,EAAE,QAkDtB,CAAC"}

package/dist/lint/rules/typed-names.d.ts

@@ -0,0 +1,43 @@
+/**
+ * What the typed-column rules (SQLPG005, SQLCH004; chant #3751) share: reading
+ * a tag's type argument, comparing it with the name the template declares, and
+ * reading the names the generated `sql-types.d.ts` lists.
+ *
+ * The type argument is `table<"shop.orders">\`CREATE TABLE ...\``. tsc checks
+ * that it names an entry of the generated file's `SqlSchema` only when the
+ * argument is a constraint, and an unlisted name falls back to unchecked
+ * columns, so a mistyped argument is silent without these rules.
+ */
+import * as ts from "typescript";
+/** The generated file's name, beside the source (`chant sql types`). */
+export declare const SQL_TYPES_FILE = "sql-types.d.ts";
+/** A tag's type argument, when it is a string literal: `table<"shop.orders">`. */
+export declare function typeArgumentName(node: ts.TaggedTemplateExpression): {
+    name: string;
+    node: ts.LiteralTypeNode;
+} | undefined;
+/** Split a dotted name outside quotes and take the quotes off: `shop."Order Items"` is `shop`, `Order Items`. */
+export declare function splitQualified(name: string): string[];
+/**
+ * Whether the declared name (an empty piece is an interpolation, which lint
+ * cannot read) can be the type argument's. Compared from the last piece back.
+ * A template that does not qualify its name takes the argument's schema, since
+ * the build qualifies it with the schema or database the project sets; one
+ * that does qualify it must agree with the argument.
+ */
+export declare function nameAgrees(declared: readonly string[], argument: string): boolean;
+/** The text of a declared name for a message; an interpolation is `${...}`. */
+export declare const declaredText: (declared: readonly string[]) => string;
+/** A qualified name with quoting taken off, so `"shop"."orders"` and `shop.orders` compare equal. */
+export declare const normalizedName: (name: string) => string;
+/** The names (normalized, see {@link normalizedName}) a `declare module "<module>"` block in a generated file augments `SqlSchema` with. */
+export declare function namesInGenerated(content: string, module: string): Set<string> | undefined;
+/**
+ * The generated file nearest above a source file, up to the directory that
+ * holds the project's config. `chant sql types` writes it in `sourceDir` (or
+ * the project root), so the walk finds it from any file below.
+ */
+export declare function findGeneratedFile(filePath: string): string | undefined;
+/** The names the generated file lists for a dialect's module, or undefined when there is no file or it has no such block. */
+export declare function generatedNamesFor(filePath: string, module: string): Set<string> | undefined;
+//# sourceMappingURL=typed-names.d.ts.map

package/dist/lint/rules/typed-names.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-names.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/typed-names.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,wEAAwE;AACxE,eAAO,MAAM,cAAc,mBAAmB,CAAC;AAE/C,kFAAkF;AAClF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAA;CAAE,GAAG,SAAS,CAK1H;AAED,iHAAiH;AACjH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAoBrD;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAUjF;AAED,+EAA+E;AAC/E,eAAO,MAAM,YAAY,GAAI,UAAU,SAAS,MAAM,EAAE,KAAG,MAAkE,CAAC;AAE9H,qGAAqG;AACrG,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,MAAyC,CAAC;AAExF,4IAA4I;AAC5I,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS,CAgBzF;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAUtE;AAED,6HAA6H;AAC7H,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS,CAQ3F"}

package/dist/manifest.json

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

package/dist/okf/index.md

@@ -33,9 +33,12 @@ okf_version: '0.2'
 
 # Rules
 
+* [SQL101](/rules/SQL101.md) - Two exports declare the same object
+* [SQL102](/rules/SQL102.md) - sql-types.d.ts differs from what the build declares
 * [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}`.
+* [SQLCH004](/rules/SQLCH004.md) - a typed ClickHouse tag whose type argument does not name the
 * [SQLCH101](/rules/SQLCH101.md) - A ClickHouse object names an engine the pinned server does not have
 * [SQLCH102](/rules/SQLCH102.md) - A PRIMARY KEY is not a prefix of ORDER BY
 * [SQLCH103](/rules/SQLCH103.md) - An engine's version, sign or is_deleted column has an unsupported type
@@ -56,10 +59,18 @@ 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`:
 * [SQLPG004](/rules/SQLPG004.md) - a declared extension the configured provider does not allow.
+* [SQLPG005](/rules/SQLPG005.md) - a typed Postgres tag whose type argument does not name the object
 * [SQLPG101](/rules/SQLPG101.md) - A table declares no primary key
 * [SQLPG102](/rules/SQLPG102.md) - A foreign key's referencing columns have no index
 * [SQLPG103](/rules/SQLPG103.md) - A serial column where an identity column is preferred
@@ -78,3 +89,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/SQL102.md

@@ -0,0 +1,11 @@
+---
+type: post-synth-check
+title: SQL102
+description: sql-types.d.ts differs from what the build declares
+id: SQL102
+severity: error
+category: post-synth
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+sql-types.d.ts differs from what the build declares

package/dist/okf/rules/SQLCH004.md

@@ -0,0 +1,11 @@
+---
+type: lint-rule
+title: SQLCH004
+description: a typed ClickHouse tag whose type argument does not name the
+id: SQLCH004
+severity: error
+category: correctness
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+a typed ClickHouse tag whose type argument does not name the

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/SQLPG005.md

@@ -0,0 +1,11 @@
+---
+type: lint-rule
+title: SQLPG005
+description: a typed Postgres tag whose type argument does not name the object
+id: SQLPG005
+severity: error
+category: correctness
+lexicon: sql
+docs: https://intentius.io/chant/lexicons/sql/rules/
+---
+a typed Postgres tag whose type argument does not name the object

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