@mason-data/cli 0.7.0 → 0.9.0

package/dist/src/duck/verified.js

@@ -21,10 +21,12 @@ export const VERIFIED = new Map([
     ["aggregate:2115", "the aggregate max(bigint)"],
     ["aggregate:2116", "the aggregate max(integer)"],
     ["aggregate:2117", "the aggregate max(smallint)"],
+    ["aggregate:2118", "the aggregate max(oid)"],
     ["aggregate:2119", "the aggregate max(real)"],
     ["aggregate:2120", "the aggregate max(double precision)"],
     ["aggregate:2122", "the aggregate max(date)"],
     ["aggregate:2123", "the aggregate max(time without time zone)"],
+    ["aggregate:2124", "the aggregate max(time with time zone)"],
     ["aggregate:2126", "the aggregate max(timestamp without time zone)"],
     ["aggregate:2127", "the aggregate max(timestamp with time zone)"],
     ["aggregate:2128", "the aggregate max(interval)"],
@@ -33,10 +35,12 @@ export const VERIFIED = new Map([
     ["aggregate:2131", "the aggregate min(bigint)"],
     ["aggregate:2132", "the aggregate min(integer)"],
     ["aggregate:2133", "the aggregate min(smallint)"],
+    ["aggregate:2134", "the aggregate min(oid)"],
     ["aggregate:2135", "the aggregate min(real)"],
     ["aggregate:2136", "the aggregate min(double precision)"],
     ["aggregate:2138", "the aggregate min(date)"],
     ["aggregate:2139", "the aggregate min(time without time zone)"],
+    ["aggregate:2140", "the aggregate min(time with time zone)"],
     ["aggregate:2142", "the aggregate min(timestamp without time zone)"],
     ["aggregate:2143", "the aggregate min(timestamp with time zone)"],
     ["aggregate:2144", "the aggregate min(interval)"],
@@ -95,7 +99,9 @@ export const VERIFIED = new Map([
     ["aggregate:3538", "the aggregate string_agg(text,text)"],
     ["aggregate:3972", "the aggregate percentile_disc(double precision,anyelement)"],
     ["aggregate:3974", "the aggregate percentile_cont(double precision,double precision)"],
+    ["aggregate:3978", "the aggregate percentile_disc(double precision[],anyelement)"],
     ["aggregate:3984", "the aggregate mode(anyelement)"],
+    ["aggregate:ext:latest(anyelement)", "the aggregate latest(anyelement) (an extension's)"],
     ["cast:1007>1022", "a cast from integer[] to double precision[]"],
     ["cast:1007>1043", "a cast from integer[] to character varying"],
     ["cast:1007>1231", "a cast from integer[] to numeric[]"],
@@ -104,6 +110,9 @@ export const VERIFIED = new Map([
     ["cast:1009>25", "a cast from text[] to text"],
     ["cast:1015>1009", "a cast from character varying[] to text[]"],
     ["cast:1016>25", "a cast from bigint[] to text"],
+    ["cast:1017>25", "a cast from point[] to text"],
+    ["cast:1028>25", "a cast from oid[] to text"],
+    ["cast:1040>25", "a cast from macaddr[] to text"],
     ["cast:1042>1700", "a cast from character to numeric"],
     ["cast:1042>23", "a cast from character to integer"],
     ["cast:1042>701", "a cast from character to double precision"],
@@ -129,11 +138,19 @@ export const VERIFIED = new Map([
     ["cast:114>25", "a cast from json to text"],
     ["cast:114>3802", "a cast from json to jsonb"],
     ["cast:1182>25", "a cast from date[] to text"],
+    ["cast:1183>25", "a cast from time without time zone[] to text"],
     ["cast:1184>1043", "a cast from timestamp with time zone to character varying"],
     ["cast:1184>25", "a cast from timestamp with time zone to text"],
     ["cast:1185>25", "a cast from timestamp with time zone[] to text"],
     ["cast:1186>1043", "a cast from interval to character varying"],
     ["cast:1186>25", "a cast from interval to text"],
+    ["cast:1231>1022", "a cast from numeric[] to double precision[]"],
+    ["cast:1266>25", "a cast from time with time zone to text"],
+    ["cast:1270>25", "a cast from time with time zone[] to text"],
+    ["cast:1560>1562", "a cast from bit to bit varying"],
+    ["cast:1560>25", "a cast from bit to text"],
+    ["cast:1561>25", "a cast from bit[] to text"],
+    ["cast:1562>25", "a cast from bit varying to text"],
     ["cast:1700>1043", "a cast from numeric to character varying"],
     ["cast:1700>1700", "a cast from numeric to numeric"],
     ["cast:1700>25", "a cast from numeric to text"],
@@ -142,9 +159,12 @@ export const VERIFIED = new Map([
     ["cast:20>25", "a cast from bigint to text"],
     ["cast:21>1043", "a cast from smallint to character varying"],
     ["cast:21>25", "a cast from smallint to text"],
+    ["cast:2205>25", "a cast from regclass to text"],
+    ["cast:2206>25", "a cast from regtype to text"],
     ["cast:2249>25", "a cast from record to text"],
     ["cast:23>1043", "a cast from integer to character varying"],
     ["cast:23>25", "a cast from integer to text"],
+    ["cast:23>26", "a cast from integer to oid"],
     ["cast:25>1042", "a cast from text to character"],
     ["cast:25>1043", "a cast from text to character varying"],
     ["cast:25>1082", "a cast from text to date"],
@@ -162,18 +182,52 @@ export const VERIFIED = new Map([
     ["cast:25>700", "a cast from text to real"],
     ["cast:25>701", "a cast from text to double precision"],
     ["cast:25>ext:mood", "a cast from text to mood (an extension's)"],
+    ["cast:26>25", "a cast from oid to text"],
+    ["cast:27>25", "a cast from tid to text"],
+    ["cast:28>25", "a cast from xid to text"],
     ["cast:2950>1043", "a cast from uuid to character varying"],
     ["cast:2950>25", "a cast from uuid to text"],
+    ["cast:29>25", "a cast from cid to text"],
+    ["cast:3220>25", "a cast from pg_lsn to text"],
+    ["cast:3614>25", "a cast from tsvector to text"],
+    ["cast:3615>25", "a cast from tsquery to text"],
+    ["cast:3643>25", "a cast from tsvector[] to text"],
     ["cast:3802>1043", "a cast from jsonb to character varying"],
     ["cast:3802>114", "a cast from jsonb to json"],
     ["cast:3802>25", "a cast from jsonb to text"],
+    ["cast:3904>25", "a cast from int4range to text"],
+    ["cast:3905>25", "a cast from int4range[] to text"],
+    ["cast:3906>25", "a cast from numrange to text"],
+    ["cast:3908>25", "a cast from tsrange to text"],
+    ["cast:3910>25", "a cast from tstzrange to text"],
+    ["cast:3912>25", "a cast from daterange to text"],
+    ["cast:3926>25", "a cast from int8range to text"],
+    ["cast:4072>25", "a cast from jsonpath to text"],
+    ["cast:4451>25", "a cast from int4multirange to text"],
+    ["cast:4534>25", "a cast from tstzmultirange to text"],
+    ["cast:5069>25", "a cast from xid8 to text"],
+    ["cast:600>25", "a cast from point to text"],
+    ["cast:601>25", "a cast from lseg to text"],
+    ["cast:602>25", "a cast from path to text"],
+    ["cast:603>25", "a cast from box to text"],
+    ["cast:604>25", "a cast from polygon to text"],
+    ["cast:628>25", "a cast from line to text"],
+    ["cast:650>869", "a cast from cidr to inet"],
+    ["cast:651>25", "a cast from cidr[] to text"],
     ["cast:700>1043", "a cast from real to character varying"],
     ["cast:700>25", "a cast from real to text"],
     ["cast:701>1043", "a cast from double precision to character varying"],
     ["cast:701>25", "a cast from double precision to text"],
+    ["cast:718>25", "a cast from circle to text"],
+    ["cast:774>25", "a cast from macaddr8 to text"],
+    ["cast:790>25", "a cast from money to text"],
+    ["cast:791>25", "a cast from money[] to text"],
+    ["cast:829>25", "a cast from macaddr to text"],
     ["cast:ext:citext>1043", "a cast from citext (an extension's) to character varying"],
     ["cast:ext:citext>25", "a cast from citext (an extension's) to text"],
     ["cast:ext:mood>25", "a cast from mood (an extension's) to text"],
+    ["cast:made>25", "a cast from a type the source made to text"],
+    ["cast:rowtype>25", "a cast from a table's row type to text"],
     ["field:AGGREF.aggdirectargs", "an ordered-set aggregate's direct argument"],
     ["field:AGGREF.aggdistinct", "an aggregate of DISTINCT values"],
     ["field:AGGREF.aggfilter", "an aggregate's FILTER (WHERE …)"],
@@ -198,6 +252,7 @@ export const VERIFIED = new Map([
     ["field:GROUPINGSET.kind=0", "an empty grouping set ()"],
     ["field:GROUPINGSET.kind=1", "a grouping set's column"],
     ["field:GROUPINGSET.kind=2", "ROLLUP"],
+    ["field:GROUPINGSET.kind=3", "CUBE"],
     ["field:GROUPINGSET.kind=4", "GROUPING SETS"],
     ["field:JOINEXPR.jointype=0", "INNER JOIN"],
     ["field:JOINEXPR.jointype=1", "LEFT JOIN"],
@@ -228,6 +283,10 @@ export const VERIFIED = new Map([
     ["field:RANGETBLENTRY.rtekind=5", "VALUES"],
     ["field:RANGETBLENTRY.rtekind=6", "a WITH query"],
     ["field:RANGETBLENTRY.rtekind=9", "GROUP BY"],
+    ["field:ROWCOMPAREEXPR.cmptype=1", "ROWCOMPAREEXPR.cmptype = 1"],
+    ["field:ROWCOMPAREEXPR.cmptype=2", "ROWCOMPAREEXPR.cmptype = 2"],
+    ["field:ROWCOMPAREEXPR.cmptype=4", "ROWCOMPAREEXPR.cmptype = 4"],
+    ["field:ROWCOMPAREEXPR.cmptype=5", "ROWCOMPAREEXPR.cmptype = 5"],
     ["field:SCALARARRAYOPEXPR.useOr=false", "op ALL (array)"],
     ["field:SCALARARRAYOPEXPR.useOr=true", "op ANY (array) / IN (list)"],
     ["field:SETOPERATIONSTMT.all=false", "UNION / INTERSECT / EXCEPT without ALL"],
@@ -240,6 +299,7 @@ export const VERIFIED = new Map([
     ["field:SQLVALUEFUNCTION.op=0", "CURRENT_DATE"],
     ["field:SQLVALUEFUNCTION.op=3", "CURRENT_TIMESTAMP"],
     ["field:SUBLINK.subLinkType=0", "EXISTS (subquery)"],
+    ["field:SUBLINK.subLinkType=1", "op ALL (subquery)"],
     ["field:SUBLINK.subLinkType=2", "IN / op ANY (subquery)"],
     ["field:SUBLINK.subLinkType=4", "a scalar subquery"],
     ["field:SUBLINK.subLinkType=6", "ARRAY(subquery)"],
@@ -274,6 +334,7 @@ export const VERIFIED = new Map([
     ["function:1218", "the function date_trunc(text,interval)"],
     ["function:1283", "the function quote_literal(text)"],
     ["function:1284", "the function date_trunc(text,timestamp with time zone,text)"],
+    ["function:1288", "the function int8(oid)"],
     ["function:1295", "the function justify_days(interval)"],
     ["function:1299", "the function now()"],
     ["function:1307", "the function \"overlaps\"(timestamp with time zone,interval,timestamp with time zone,timestamp with time zone)"],
@@ -295,6 +356,7 @@ export const VERIFIED = new Map([
     ["function:1384", "the function date_part(text,date)"],
     ["function:1385", "the function date_part(text,time without time zone)"],
     ["function:1386", "the function age(timestamp with time zone)"],
+    ["function:1388", "the function timetz(timestamp with time zone)"],
     ["function:1389", "the function isfinite(timestamp with time zone)"],
     ["function:1390", "the function isfinite(interval)"],
     ["function:1394", "the function abs(real)"],
@@ -305,9 +367,11 @@ export const VERIFIED = new Map([
     ["function:1400", "the function name(character varying)"],
     ["function:1481", "the function log10(numeric)"],
     ["function:1598", "the function random()"],
+    ["function:1619", "the function pg_typeof(\"any\")"],
     ["function:1620", "the function ascii(text)"],
     ["function:1621", "the function chr(integer)"],
     ["function:1622", "the function repeat(text,integer)"],
+    ["function:1685", "the function \"bit\"(bit,integer,boolean)"],
     ["function:1703", "the function \"numeric\"(numeric,integer)"],
     ["function:1705", "the function abs(numeric)"],
     ["function:1706", "the function sign(numeric)"],
@@ -322,6 +386,7 @@ export const VERIFIED = new Map([
     ["function:1732", "the function exp(numeric)"],
     ["function:1734", "the function ln(numeric)"],
     ["function:1736", "the function log(numeric,numeric)"],
+    ["function:1738", "the function pow(numeric,numeric)"],
     ["function:1740", "the function \"numeric\"(integer)"],
     ["function:1741", "the function log(numeric)"],
     ["function:1742", "the function \"numeric\"(real)"],
@@ -343,6 +408,7 @@ export const VERIFIED = new Map([
     ["function:1946", "the function encode(bytea,text)"],
     ["function:1961", "the function \"timestamp\"(timestamp without time zone,integer)"],
     ["function:1967", "the function timestamptz(timestamp with time zone,integer)"],
+    ["function:1969", "the function timetz(time with time zone,integer)"],
     ["function:1973", "the function div(numeric,numeric)"],
     ["function:1987", "the function similar_to_escape(text)"],
     ["function:2010", "the function length(bytea)"],
@@ -353,12 +419,16 @@ export const VERIFIED = new Map([
     ["function:2027", "the function \"timestamp\"(timestamp with time zone)"],
     ["function:2028", "the function timestamptz(timestamp without time zone)"],
     ["function:2029", "the function date(timestamp without time zone)"],
+    ["function:2037", "the function timezone(text,time with time zone)"],
+    ["function:2046", "the function \"time\"(time with time zone)"],
+    ["function:2047", "the function timetz(time without time zone)"],
     ["function:2048", "the function isfinite(timestamp without time zone)"],
     ["function:2049", "the function to_char(timestamp without time zone,text)"],
     ["function:2058", "the function age(timestamp without time zone,timestamp without time zone)"],
     ["function:2059", "the function age(timestamp without time zone)"],
     ["function:2069", "the function timezone(text,timestamp without time zone)"],
     ["function:2073", "the function \"substring\"(text,text)"],
+    ["function:2077", "the function current_setting(text)"],
     ["function:2087", "the function replace(text,text,text)"],
     ["function:2088", "the function split_part(text,text,integer)"],
     ["function:2089", "the function to_hex(integer)"],
@@ -410,10 +480,12 @@ export const VERIFIED = new Map([
     ["function:3207", "the function jsonb_array_length(jsonb)"],
     ["function:3208", "the function jsonb_each(jsonb)"],
     ["function:3210", "the function jsonb_typeof(jsonb)"],
+    ["function:3217", "the function jsonb_extract_path(jsonb,text[])"],
     ["function:3219", "the function jsonb_array_elements(jsonb)"],
     ["function:3271", "the function jsonb_build_array(\"any\")"],
     ["function:3273", "the function jsonb_build_object(\"any\")"],
     ["function:3277", "the function array_position(anycompatiblearray,anycompatible)"],
+    ["function:3294", "the function current_setting(text,boolean)"],
     ["function:3396", "the function regexp_match(text,text)"],
     ["function:3464", "the function make_interval(integer,integer,integer,integer,integer,integer,double precision)"],
     ["function:3465", "the function jsonb_array_elements_text(jsonb)"],
@@ -449,6 +521,7 @@ export const VERIFIED = new Map([
     ["function:4007", "the function jsonb_path_query_array(jsonb,jsonpath,jsonb,boolean)"],
     ["function:4008", "the function jsonb_path_query_first(jsonb,jsonpath,jsonb,boolean)"],
     ["function:401", "the function text(character)"],
+    ["function:406", "the function text(name)"],
     ["function:407", "the function name(text)"],
     ["function:409", "the function name(character)"],
     ["function:480", "the function int4(bigint)"],
@@ -463,6 +536,7 @@ export const VERIFIED = new Map([
     ["function:6177", "the function date_bin(interval,timestamp without time zone,timestamp without time zone)"],
     ["function:6199", "the function \"extract\"(text,date)"],
     ["function:6200", "the function \"extract\"(text,time without time zone)"],
+    ["function:6201", "the function \"extract\"(text,time with time zone)"],
     ["function:6202", "the function \"extract\"(text,timestamp without time zone)"],
     ["function:6203", "the function \"extract\"(text,timestamp with time zone)"],
     ["function:6204", "the function \"extract\"(text,interval)"],
@@ -499,8 +573,8 @@ export const VERIFIED = new Map([
     ["function:939", "the function generate_series(timestamp with time zone,timestamp with time zone,interval)"],
     ["function:940", "the function mod(smallint,smallint)"],
     ["function:941", "the function mod(integer,integer)"],
+    ["function:946", "the function text(\"char\")"],
     ["function:947", "the function mod(bigint,bigint)"],
-    ["function:ext:current_setting(text)", "the function current_setting(text) (an extension's)"],
     ["node:AGGREF", "an aggregate"],
     ["node:ALIAS", "an alias"],
     ["node:ARRAYCOERCEEXPR", "a cast of an array's elements"],
@@ -532,6 +606,7 @@ export const VERIFIED = new Map([
     ["node:RANGETBLFUNCTION", "a function in FROM"],
     ["node:RANGETBLREF", "an item of FROM"],
     ["node:RELABELTYPE", "a binary-compatible cast"],
+    ["node:ROWCOMPAREEXPR", "a row comparison"],
     ["node:ROWEXPR", "ROW(…)"],
     ["node:RTEPERMISSIONINFO", "a table read"],
     ["node:SCALARARRAYOPEXPR", "IN (list) / op ANY|ALL (array)"],
@@ -544,6 +619,7 @@ export const VERIFIED = new Map([
     ["node:VAR", "a column"],
     ["node:WINDOWCLAUSE", "a window (OVER)"],
     ["node:WINDOWFUNC", "a window function"],
+    ["operator:1038", "the operator ^(numeric,numeric)"],
     ["operator:1054", "the operator =(character,character)"],
     ["operator:1055", "the operator ~(character,text)"],
     ["operator:1056", "the operator !~(character,text)"],
@@ -596,10 +672,13 @@ export const VERIFIED = new Map([
     ["operator:1204", "the operator <=(inet,inet)"],
     ["operator:1205", "the operator >(inet,inet)"],
     ["operator:1206", "the operator >=(inet,inet)"],
+    ["operator:1207", "the operator ~~(name,text)"],
     ["operator:1209", "the operator ~~(text,text)"],
     ["operator:1210", "the operator !~~(text,text)"],
     ["operator:1211", "the operator ~~(character,text)"],
     ["operator:1212", "the operator !~~(character,text)"],
+    ["operator:1220", "the operator =(macaddr,macaddr)"],
+    ["operator:1221", "the operator <>(macaddr,macaddr)"],
     ["operator:1228", "the operator ~*(text,text)"],
     ["operator:1229", "the operator !~*(text,text)"],
     ["operator:1234", "the operator ~*(character,text)"],
@@ -624,6 +703,12 @@ export const VERIFIED = new Map([
     ["operator:1360", "the operator +(date,time without time zone)"],
     ["operator:1399", "the operator -(time without time zone,time without time zone)"],
     ["operator:15", "the operator =(integer,bigint)"],
+    ["operator:1550", "the operator =(time with time zone,time with time zone)"],
+    ["operator:1551", "the operator <>(time with time zone,time with time zone)"],
+    ["operator:1552", "the operator <(time with time zone,time with time zone)"],
+    ["operator:1553", "the operator <=(time with time zone,time with time zone)"],
+    ["operator:1554", "the operator >(time with time zone,time with time zone)"],
+    ["operator:1555", "the operator >=(time with time zone,time with time zone)"],
     ["operator:1583", "the operator *(interval,double precision)"],
     ["operator:1584", "the operator *(double precision,interval)"],
     ["operator:1585", "the operator /(interval,double precision)"],
@@ -643,8 +728,14 @@ export const VERIFIED = new Map([
     ["operator:1760", "the operator *(numeric,numeric)"],
     ["operator:1761", "the operator /(numeric,numeric)"],
     ["operator:1762", "the operator %(numeric,numeric)"],
+    ["operator:1784", "the operator =(bit,bit)"],
+    ["operator:1785", "the operator <>(bit,bit)"],
     ["operator:1800", "the operator +(time without time zone,interval)"],
     ["operator:1801", "the operator -(time without time zone,interval)"],
+    ["operator:1802", "the operator +(time with time zone,interval)"],
+    ["operator:1803", "the operator -(time with time zone,interval)"],
+    ["operator:1804", "the operator =(bit varying,bit varying)"],
+    ["operator:1805", "the operator <>(bit varying,bit varying)"],
     ["operator:1862", "the operator =(smallint,bigint)"],
     ["operator:1863", "the operator <>(smallint,bigint)"],
     ["operator:1864", "the operator <(smallint,bigint)"],
@@ -721,11 +812,14 @@ export const VERIFIED = new Map([
     ["operator:2543", "the operator >=(timestamp with time zone,timestamp without time zone)"],
     ["operator:2544", "the operator >(timestamp with time zone,timestamp without time zone)"],
     ["operator:2545", "the operator <>(timestamp with time zone,timestamp without time zone)"],
+    ["operator:2552", "the operator +(interval,time with time zone)"],
     ["operator:2750", "the operator &&(anyarray,anyarray)"],
     ["operator:2751", "the operator @>(anyarray,anyarray)"],
     ["operator:2752", "the operator <@(anyarray,anyarray)"],
     ["operator:2779", "the operator ||(text,anynonarray)"],
     ["operator:2780", "the operator ||(anynonarray,text)"],
+    ["operator:2860", "the operator =(anymultirange,anymultirange)"],
+    ["operator:2861", "the operator <>(anymultirange,anymultirange)"],
     ["operator:2972", "the operator =(uuid,uuid)"],
     ["operator:2973", "the operator <>(uuid,uuid)"],
     ["operator:2974", "the operator <(uuid,uuid)"],
@@ -736,6 +830,8 @@ export const VERIFIED = new Map([
     ["operator:3211", "the operator ->(jsonb,text)"],
     ["operator:3212", "the operator ->(jsonb,integer)"],
     ["operator:3213", "the operator #>(jsonb,text[])"],
+    ["operator:3222", "the operator =(pg_lsn,pg_lsn)"],
+    ["operator:3223", "the operator <>(pg_lsn,pg_lsn)"],
     ["operator:3240", "the operator =(jsonb,jsonb)"],
     ["operator:3241", "the operator <>(jsonb,jsonb)"],
     ["operator:3242", "the operator <(jsonb,jsonb)"],
@@ -747,6 +843,9 @@ export const VERIFIED = new Map([
     ["operator:3248", "the operator ?|(jsonb,text[])"],
     ["operator:3249", "the operator ?&(jsonb,text[])"],
     ["operator:3250", "the operator <@(jsonb,jsonb)"],
+    ["operator:3315", "the operator <>(xid,xid)"],
+    ["operator:3362", "the operator =(macaddr8,macaddr8)"],
+    ["operator:3363", "the operator <>(macaddr8,macaddr8)"],
     ["operator:3477", "the operator ->>(jsonb,text)"],
     ["operator:3481", "the operator ->>(jsonb,integer)"],
     ["operator:349", "the operator ||(anycompatiblearray,anycompatible)"],
@@ -754,12 +853,19 @@ export const VERIFIED = new Map([
     ["operator:3517", "the operator <>(anyenum,anyenum)"],
     ["operator:3518", "the operator <(anyenum,anyenum)"],
     ["operator:3519", "the operator >(anyenum,anyenum)"],
+    ["operator:352", "the operator =(xid,xid)"],
     ["operator:3520", "the operator <=(anyenum,anyenum)"],
     ["operator:3521", "the operator >=(anyenum,anyenum)"],
     ["operator:36", "the operator <>(integer,bigint)"],
+    ["operator:3629", "the operator =(tsvector,tsvector)"],
+    ["operator:3630", "the operator <>(tsvector,tsvector)"],
     ["operator:37", "the operator <(integer,bigint)"],
     ["operator:374", "the operator ||(anycompatible,anycompatiblearray)"],
     ["operator:375", "the operator ||(anycompatiblearray,anycompatiblearray)"],
+    ["operator:385", "the operator =(cid,cid)"],
+    ["operator:387", "the operator =(tid,tid)"],
+    ["operator:3882", "the operator =(anyrange,anyrange)"],
+    ["operator:3883", "the operator <>(anyrange,anyrange)"],
     ["operator:3962", "the operator ->(json,text)"],
     ["operator:3963", "the operator ->>(json,text)"],
     ["operator:3964", "the operator ->(json,integer)"],
@@ -768,6 +874,7 @@ export const VERIFIED = new Map([
     ["operator:3967", "the operator #>>(json,text[])"],
     ["operator:4012", "the operator @?(jsonb,jsonpath)"],
     ["operator:4013", "the operator @@(jsonb,jsonpath)"],
+    ["operator:402", "the operator <>(tid,tid)"],
     ["operator:410", "the operator =(bigint,bigint)"],
     ["operator:411", "the operator <>(bigint,bigint)"],
     ["operator:412", "the operator <(bigint,bigint)"],
@@ -782,6 +889,8 @@ export const VERIFIED = new Map([
     ["operator:430", "the operator >=(bigint,integer)"],
     ["operator:439", "the operator %(bigint,bigint)"],
     ["operator:484", "the operator -(NONE,bigint)"],
+    ["operator:5068", "the operator =(xid8,xid8)"],
+    ["operator:5072", "the operator <>(xid8,xid8)"],
     ["operator:514", "the operator *(integer,integer)"],
     ["operator:518", "the operator <>(integer,integer)"],
     ["operator:519", "the operator <>(smallint,smallint)"],
@@ -833,14 +942,19 @@ export const VERIFIED = new Map([
     ["operator:592", "the operator -(double precision,double precision)"],
     ["operator:593", "the operator /(double precision,double precision)"],
     ["operator:594", "the operator *(double precision,double precision)"],
+    ["operator:607", "the operator =(oid,oid)"],
+    ["operator:608", "the operator <>(oid,oid)"],
+    ["operator:610", "the operator >(oid,oid)"],
     ["operator:620", "the operator =(real,real)"],
     ["operator:621", "the operator <>(real,real)"],
     ["operator:622", "the operator <(real,real)"],
     ["operator:623", "the operator >(real,real)"],
     ["operator:624", "the operator <=(real,real)"],
     ["operator:625", "the operator >=(real,real)"],
+    ["operator:630", "the operator <>(\"char\",\"char\")"],
     ["operator:641", "the operator ~(text,text)"],
     ["operator:642", "the operator !~(text,text)"],
+    ["operator:643", "the operator <>(name,name)"],
     ["operator:654", "the operator ||(text,text)"],
     ["operator:664", "the operator <(text,text)"],
     ["operator:665", "the operator <=(text,text)"],
@@ -877,6 +991,8 @@ export const VERIFIED = new Map([
     ["operator:825", "the operator /(smallint,bigint)"],
     ["operator:85", "the operator <>(boolean,boolean)"],
     ["operator:91", "the operator =(boolean,boolean)"],
+    ["operator:92", "the operator =(\"char\",\"char\")"],
+    ["operator:93", "the operator =(name,name)"],
     ["operator:94", "the operator =(smallint,smallint)"],
     ["operator:95", "the operator <(smallint,smallint)"],
     ["operator:96", "the operator =(integer,integer)"],
@@ -898,8 +1014,11 @@ export const VERIFIED = new Map([
     ["type:1014", "a value of type character[]"],
     ["type:1015", "a value of type character varying[]"],
     ["type:1016", "a value of type bigint[]"],
+    ["type:1017", "a value of type point[]"],
     ["type:1021", "a value of type real[]"],
     ["type:1022", "a value of type double precision[]"],
+    ["type:1028", "a value of type oid[]"],
+    ["type:1040", "a value of type macaddr[]"],
     ["type:1041", "a value of type inet[]"],
     ["type:1042", "a value of type character"],
     ["type:1043", "a value of type character varying"],
@@ -915,30 +1034,71 @@ export const VERIFIED = new Map([
     ["type:1186", "a value of type interval"],
     ["type:1187", "a value of type interval[]"],
     ["type:1231", "a value of type numeric[]"],
+    ["type:1266", "a value of type time with time zone"],
+    ["type:1270", "a value of type time with time zone[]"],
+    ["type:142", "a value of type xml"],
+    ["type:1560", "a value of type bit"],
+    ["type:1561", "a value of type bit[]"],
+    ["type:1562", "a value of type bit varying"],
     ["type:16", "a value of type boolean"],
     ["type:17", "a value of type bytea"],
     ["type:1700", "a value of type numeric"],
+    ["type:18", "a value of type \"char\""],
     ["type:19", "a value of type name"],
     ["type:199", "a value of type json[]"],
     ["type:20", "a value of type bigint"],
     ["type:21", "a value of type smallint"],
+    ["type:2205", "a value of type regclass"],
+    ["type:2206", "a value of type regtype"],
     ["type:2249", "a value of type record"],
     ["type:23", "a value of type integer"],
     ["type:25", "a value of type text"],
+    ["type:26", "a value of type oid"],
+    ["type:27", "a value of type tid"],
+    ["type:28", "a value of type xid"],
+    ["type:29", "a value of type cid"],
     ["type:2950", "a value of type uuid"],
     ["type:2951", "a value of type uuid[]"],
+    ["type:3220", "a value of type pg_lsn"],
+    ["type:3614", "a value of type tsvector"],
+    ["type:3615", "a value of type tsquery"],
+    ["type:3643", "a value of type tsvector[]"],
     ["type:3802", "a value of type jsonb"],
     ["type:3807", "a value of type jsonb[]"],
+    ["type:3904", "a value of type int4range"],
+    ["type:3905", "a value of type int4range[]"],
+    ["type:3906", "a value of type numrange"],
+    ["type:3908", "a value of type tsrange"],
+    ["type:3910", "a value of type tstzrange"],
+    ["type:3912", "a value of type daterange"],
+    ["type:3926", "a value of type int8range"],
     ["type:4072", "a value of type jsonpath"],
+    ["type:4451", "a value of type int4multirange"],
+    ["type:4534", "a value of type tstzmultirange"],
+    ["type:5069", "a value of type xid8"],
+    ["type:600", "a value of type point"],
+    ["type:601", "a value of type lseg"],
+    ["type:602", "a value of type path"],
+    ["type:603", "a value of type box"],
+    ["type:604", "a value of type polygon"],
+    ["type:628", "a value of type line"],
+    ["type:650", "a value of type cidr"],
+    ["type:651", "a value of type cidr[]"],
     ["type:700", "a value of type real"],
     ["type:701", "a value of type double precision"],
     ["type:705", "a value of type unknown"],
+    ["type:718", "a value of type circle"],
+    ["type:774", "a value of type macaddr8"],
+    ["type:790", "a value of type money"],
+    ["type:791", "a value of type money[]"],
+    ["type:829", "a value of type macaddr"],
     ["type:869", "a value of type inet"],
     ["type:ext:_citext", "a value of type _citext (an extension's)"],
     ["type:ext:_mood", "a value of type _mood (an extension's)"],
     ["type:ext:citext", "a value of type citext (an extension's)"],
     ["type:ext:level", "a value of type level (an extension's)"],
     ["type:ext:mood", "a value of type mood (an extension's)"],
+    ["type:made", "a value of type a type the source made"],
     ["type:rowtype", "a value of type a table's row type"],
     ["window:2050", "the window function max(anyarray)"],
     ["window:2051", "the window function min(anyarray)"],

package/dist/src/duck/views.js

@@ -15,10 +15,10 @@
  * view's name.
  */
 import { deparseSync } from "pgsql-deparser";
-import { StatementError } from "../api/postgres/server.js";
+import { gapRefusal } from "./statement.js";
 import { parseSql } from "../api/postgres/parser.js";
 import { catalogRows } from "./analyze.js";
-import { gapMark } from "./gaps.js";
+import { sessionSetSql } from "../api/postgres/catalog.js";
 import { treeDifference } from "./rewrite.js";
 /** views read through views read through views…: past this depth the statement is refused (a definition is never
  *  recursive, so only a deep stack of views reaches it) */
@@ -28,7 +28,7 @@ const quote = (name) => `"${name.replace(/"/g, '""')}"`;
 const literal = (s) => `'${s.replace(/'/g, "''")}'`;
 const sval = (n) => isObject(n) && isObject(n.String) && typeof n.String.sval === "string" ? n.String.sval : null;
 export function viewRefused(message, hint) {
-    return new StatementError({ code: "0A000", message, hint, detail: `${gapMark("view-forms")} (docs/SQL-SUPPORT.md)` });
+    return gapRefusal("view-forms", message, hint);
 }
 /** the views Postgres's analysis read: every range-table entry of a relation whose kind is a view, by OID */
 export function viewsRead(tree) {
@@ -73,7 +73,7 @@ function nodes(root) {
  * The statement with every view it reads replaced by its definition, printed; null when it reads no view. Throws a
  * StatementError (gap view-forms) where the replacement could read otherwise than Postgres does.
  */
-export async function expandViews(catalog, stmt, analysis, searchPathSql) {
+export async function expandViews(catalog, stmt, analysis, under) {
     const read = viewsRead(analysis.tree);
     if (read.size === 0)
         return null;
@@ -83,7 +83,7 @@ export async function expandViews(catalog, stmt, analysis, searchPathSql) {
     const ctes = new Set(all.filter((n) => n.kind === "CommonTableExpr").map((n) => n.body.ctename));
     // each name the statement writes, resolved as Postgres resolves it under the session's search_path
     const spelled = ranges.map((r) => [r.body.catalogname, r.body.schemaname, r.body.relname].filter((x) => typeof x === "string").map(quote).join("."));
-    const resolved = spelled.length === 0 ? [] : await catalogRows(catalog, `SET LOCAL search_path = ${searchPathSql}, pg_catalog; SELECT v.i::text, c.oid::text, n.nspname, c.reltype::text FROM (VALUES ${spelled.map((s, i) => `(${i}, ${literal(s)})`).join(", ")}) AS v(i, name) ` +
+    const resolved = spelled.length === 0 ? [] : await catalogRows(catalog, `${sessionSetSql(under, true)}; SELECT v.i::text, c.oid::text, n.nspname, c.reltype::text FROM (VALUES ${spelled.map((s, i) => `(${i}, ${literal(s)})`).join(", ")}) AS v(i, name) ` +
         `JOIN pg_class c ON c.oid = to_regclass(v.name) JOIN pg_namespace n ON n.oid = c.relnamespace WHERE c.relkind = 'v'`);
     const asView = new Map(resolved.map(([i, oid, schema, rowType]) => [Number(i), { oid: Number(oid), schema: schema, rowType: Number(rowType) }]));
     // the names that are views must be the views Postgres read: a WITH query of a view's name is one or the other

package/dist/src/lib/database-name.js

@@ -0,0 +1,62 @@
+/**
+ * THE DATABASE NAME A TOOL CONNECTS WITH, the one place it is decided: what the listener accepts, what `current_database()`
+ * and `pg_database` answer, and what every URL Mason prints ends in. It is `mason` (it shows in every connection string),
+ * unless the source says otherwise: `database:` in the sources file, committed, so a tool that says `database=production`
+ * keeps saying it. On a server whose sources file has no such line, `MASON_PG_DATABASE` says it instead.
+ *
+ * It is NOT the project's name, which stays what names the replication slot and publication (src/cli/replication-mode.ts
+ * `deploymentOf`): a fixed name in that place would give two projects on one source one slot, each reading away the
+ * other's changes. Nothing else may derive this name: a run records it in its URL (`postgresApiUrl`), and a command reads
+ * that URL (`postgresLink`) or, with Mason stopped, asks here (`projectDatabase`, src/cli/project.ts).
+ *
+ * When a project has more than one source, a second source with no `database:` would clash on `mason`: it is refused,
+ * with the exact line to add.
+ */
+/** The name a tool connects with when nothing says another. */
+export const DEFAULT_DATABASE = "mason";
+/** The setting a server names it with, when its sources file does not. */
+export const DATABASE_SETTING = "MASON_PG_DATABASE";
+/** Postgres's longest name (NAMEDATALEN - 1): `pg_database.datname` would cut a longer one, and a tool's would not match. */
+const MAX_NAME_BYTES = 63;
+/**
+ * WHY `name` CANNOT BE A DATABASE NAME, or null. As wide as Postgres's, because the point is a tool keeping the name it
+ * has: capitals, dashes, dots and spaces are all real databases' (`postgres` and `template1` too: `databaseNameSql` makes
+ * room for them). What is refused is what could not be served: nothing, past Postgres's length, a control character,
+ * what no URL can carry (`.` and `..` are path steps, whatever their escaping) and a variable, since the name is written
+ * out (it is the same on every machine that runs the project).
+ */
+export function databaseNameProblem(name) {
+    if (name === "")
+        return "it is empty: a tool must have a name to connect with";
+    const bytes = Buffer.byteLength(name);
+    if (bytes > MAX_NAME_BYTES)
+        return `${JSON.stringify(name)} is ${bytes} bytes, and a Postgres database name is at most ${MAX_NAME_BYTES}`;
+    if (/\p{Cc}/u.test(name))
+        return `${JSON.stringify(name)} holds a control character, which no tool's connection form can carry`;
+    if (name === "." || name === "..")
+        return `${JSON.stringify(name)} cannot be the last part of a connection URL, which reads it as a step in a path`;
+    if (name.includes("${"))
+        return `${JSON.stringify(name)} is a variable, and the name is written out: it is the same on every machine that runs this project`;
+    return null;
+}
+/**
+ * THE RULE: the sources file's `database:`, else on a server `MASON_PG_DATABASE`, else `mason`. `mason serve` refuses
+ * the two when they disagree, on its settings' one report (src/cli/serve.ts), so a run never has to choose.
+ */
+export function connectDatabase(written, config, env) {
+    return written.database ?? (config.served === true ? env[DATABASE_SETTING] || null : null) ?? DEFAULT_DATABASE;
+}
+/** The setting where it means nothing (`mason start`, a project's sources file being what names it): refused, never ignored. */
+export const databaseSettingRefusal = (env, shown) => {
+    const set = env[DATABASE_SETTING];
+    if (!set)
+        return null;
+    return { message: `${DATABASE_SETTING} is mason serve's setting, and mason start ignores no setting silently`,
+        fix: `write database: ${set} in ${shown} (it is committed, so every machine answers as it), and unset ${DATABASE_SETTING}` };
+};
+/**
+ * THE HINT OF A `3D000`: the right name, how a tool says it, and where the name is set. A client reads it before any
+ * password, so it never names the sources file by its path: that file is named for the source's own database.
+ */
+export const wrongDatabaseHint = (database) => `this Mason answers as the database "${database}": connect with database=${database}, the last part of a postgres:// URL. ` +
+    `It is set by database: in the project's sources file (sources/<name>.yml), or ${DATABASE_SETTING} on a server`;