fig-tree-evaluator 3.0.0-preview.1 → 3.0.0-preview.10

package/build/format/index.d.ts

@@ -23,9 +23,82 @@ interface ShorthandOptions extends NameOptions {
     getAsReference?: boolean;
 }
 
+type ObjectClass = {
+    kind: 'operator';
+} | {
+    kind: 'fragment';
+} | {
+    kind: 'shorthand';
+    key: string;
+} | {
+    kind: 'plain';
+} | {
+    kind: 'malformed';
+    message: string;
+};
+declare const classifyObject: (raw: Record<string, unknown>, recognizes: (name: string) => boolean) => ObjectClass;
+interface PositionalShape {
+    positionalParams?: readonly string[];
+    restParam: string | null;
+}
+interface PositionalLayout {
+    bound: number;
+    restAt: number | null;
+}
+declare const positionalLayout: (shape: PositionalShape, length: number) => PositionalLayout | null;
+declare const singlePositionalTarget: (shape: PositionalShape) => string | null;
+
+declare const WILDCARD: unique symbol;
+type Wildcard = typeof WILDCARD;
+type PathSegment = string | number | Wildcard;
+
+declare const NAMESPACE_TOKENS: {
+    readonly data: "data";
+    readonly d: "data";
+    readonly vars: "vars";
+    readonly v: "vars";
+    readonly params: "params";
+    readonly p: "params";
+    readonly element: "element";
+    readonly e: "element";
+    readonly index: "index";
+    readonly i: "index";
+    readonly error: "error";
+    readonly err: "error";
+};
+type ReferenceNamespace = (typeof NAMESPACE_TOKENS)[keyof typeof NAMESPACE_TOKENS];
+type ReferenceRecognition = {
+    kind: 'reference';
+    namespace: ReferenceNamespace;
+    segments: PathSegment[];
+    drill: string;
+    binding?: string;
+} | {
+    kind: 'invalid';
+    namespace: ReferenceNamespace;
+    reason: string;
+    code?: string;
+} | {
+    kind: 'unrecognized';
+} | {
+    kind: 'plain';
+};
+interface ReferenceScope {
+    bindings?: readonly string[];
+}
+declare const recognizeReference: (value: string, scope?: ReferenceScope) => ReferenceRecognition;
+
+type BasicType = 'any' | 'string' | 'number' | 'boolean' | 'array' | 'object' | 'null' | 'integer';
+type LiteralType = {
+    literal: readonly (string | number | boolean)[];
+};
+type ExpectedType = BasicType | LiteralType | readonly BasicType[];
+
+declare const typesIntersect: (a: ExpectedType, b: ExpectedType) => boolean;
+
 declare const toCanonical: (expression: unknown, fig: Registry, options?: CanonicalOptions) => unknown;
 declare const toShorthand: (expression: unknown, fig: Registry, options?: ShorthandOptions) => unknown;
 declare const toGet: (reference: unknown, options?: NameOptions) => Record<string, unknown> | null;
 declare const toReference: (node: unknown, options?: NameOptions) => string | null;
 
-export { toCanonical, toGet, toReference, toShorthand };
+export { classifyObject, positionalLayout, recognizeReference, singlePositionalTarget, toCanonical, toGet, toReference, toShorthand, typesIntersect };

package/build/format/index.js

@@ -1 +1 @@
-import{c as e,E as r,p as t,S as n,i as a,a as s,R as o,s as i,r as l,b as u,d as f,W as c,G as p,e as m,F as d,D as h}from"../chunks/shared.js";const k=e=>{const r=new Map;for(const{name:t,alias:n,positionalParams:a,restParam:s}of e.getOperators()){const e={name:t,alias:n,positionalParams:a,restParam:s};r.set(t,e),void 0!==n&&r.set(n,e)}const t=new Set(e.getFragments().map(({name:e})=>e));return{operators:r,fragments:t,recognizes:e=>"literal"===e||r.has(e)||t.has(e)}},g=(e,r)=>{const n=t(e,r.length);if(null===n)return null;const a=e.positionalParams,s=[];for(let e=0;e<n.bound;e++)s.push([a[e],r[e]]);return null!==n.restAt&&s.push([e.restParam,0===n.restAt?r:r.slice(n.restAt)]),s},v=/*#__PURE__*/new Set(["fallback","useCache","vars"]),y=(e,t,n)=>{const a=e.operator;if("string"!=typeof a)return n(r.malformedNode,"the 'operator' value must be a literal string");if("literal"===a)return $(e,n);const s=t.operators.get(a);if(void 0===s)return n(r.unknownOperator,`'${a}' names no registered operator`);const o=[],i=[];for(const t in e){const a=e[t];if(void 0!==a)if("operator"===t)o.push({kind:"invocation"});else if("//"===t||v.has(t))o.push({kind:"keep",key:t,value:a});else{if("parameters"===t)return n(r.malformedNode,"'parameters' is reserved and unused on operator nodes");o.push({kind:"param",name:t,value:a}),i.push([t,a])}}return{kind:"operator",operator:s,spelling:a,slots:o,params:i,fromPayload:!1}},$=(e,t)=>{if(!("value"in e))return t(r.malformedNode,"'literal' requires its content in 'value'");const n=[];for(const a in e){const s=e[a];if("operator"===a)n.push({kind:"invocation"});else if("value"===a)n.push({kind:"param",name:"value",value:s});else{if(void 0===s)continue;if("//"!==a&&!v.has(a))return t(r.unknownNodeKey,`'${a}' is not a key of 'literal' — content goes in 'value'`);n.push({kind:"keep",key:a,value:s})}}return{kind:"literal",content:e.value,slots:n,fromPayload:!1}},w=(e,t,n)=>{const a=e.fragment;if("string"!=typeof a)return n(r.malformedNode,"the 'fragment' value must be a literal string");if(!t.fragments.has(a))return n(r.unknownFragment,`'${a}' names no registered fragment`);const s=[];for(const a in e){const o=e[a];if(void 0!==o)if("fragment"===a)s.push({kind:"invocation"});else if("parameters"===a)P(o,t,n),s.push({kind:"param",name:a,value:o});else{if("//"!==a&&"fallback"!==a&&"vars"!==a)return"useCache"===a?n(r.malformedNode,"'useCache' is not available on fragment calls — caching stays operator-level"):n(r.unknownNodeKey,`'${a}' is not a key of a fragment call — arguments live only in 'parameters'`);s.push({kind:"keep",key:a,value:o})}}return{kind:"fragment",name:a,slots:s,parameters:e.parameters,fromPayload:!1}},P=(e,t,n)=>{a(e)||s(e,t.recognizes)||"string"==typeof e&&"reference"===l(e).kind||n(r.malformedNode,"a fragment's 'parameters' must be a named-arguments object or a node computing one")},A=(e,t,s,o)=>{const i=t.slice(1),l="literal"===i,u=!l&&s.fragments.has(i),f=[];for(const a in e){const s=e[a];if(a!==t){if(!n.has(a)||u&&"useCache"===a)return o(r.malformedNode,`'${a}' may not sit beside the shorthand key '${t}' — reserved modifiers only`);void 0!==s&&f.push({kind:"keep",key:a,value:s})}else f.push({kind:"invocation"})}const c=e[t];if(l)return{kind:"literal",content:c,slots:f,fromPayload:!0};if(u)return a(c)?{kind:"fragment",name:i,slots:f,parameters:c,fromPayload:!0}:o(r.malformedNode,`fragments have no single-value or positional form — '${t}' takes a named-arguments object`);const p=s.operators.get(i);return{kind:"operator",operator:p,spelling:i,slots:f,params:N(p,c,s,o),fromPayload:!0}},N=(e,t,n,l)=>{const u=()=>l(r.positionalArity,`'${e.name}' takes no positional arguments — use the named form`);if(Array.isArray(t)){const n=g(e,t);if(null!==n)return n;if(void 0===e.positionalParams)return u();const a=e.positionalParams;return l(r.positionalArity,`'${e.name}' takes at most ${a.length} positional argument${1===a.length?"":"s"} (${a.join(", ")}), got ${t.length}`)}if(a(t)&&!s(t,n.recognizes)){const n=[];for(const a in t){const s=t[a];if(void 0!==s){if("//"!==a&&o.has(a))return l(r.unknownNodeKey,`'${a}' is not a parameter of '${e.name}'`);n.push([a,s])}}return n}const f=i(e);return null===f?u():[[f,t]]},b={positionalParams:p,restParam:null},z=/*#__PURE__*/new Set(["path","from","default"]),W={data:"d",vars:"v",params:"p",element:"e",index:"i"},j=(e,r,t)=>"canonical"===t?r:"alias"===t?W[r]:e,C=(e,r)=>{if("preserve"===r)return e;const t=l(e);if("reference"!==t.kind)return e;const{token:n,rest:a}=u(e);return`$${j(n,t.namespace,r)}${a}`},x=e=>e.startsWith(".")?e.slice(1):e,M=(e,r)=>{if("string"!=typeof e)return null;const t=l(e);if("reference"!==t.kind)return null;const{namespace:n}=t,{token:a,rest:s}=u(e),o=`$${j(a,n,r)}`;switch(n){case"data":return{operator:"get",path:x(s)};case"element":return{operator:"get",path:x(s),from:o};case"vars":case"params":{if(0===t.segments.length)return{operator:"get",path:"",from:o};const e=(e=>{if(e.startsWith(".")){let r=1;for(;r<e.length&&"."!==e[r]&&"["!==e[r];)r++;return r>1?r:null}const r=e[1];if("["!==e[0]||'"'!==r&&"'"!==r)return null;for(let t=2;t<e.length;t++)if("\\"===e[t])t++;else if(e[t]===r)return"]"===e[t+1]?t+2:null;return null})(s);return null===e?null:{operator:"get",path:x(s.slice(e)),from:`${o}${s.slice(0,e)}`}}default:return null}},S=(e,r)=>{if(e.has("default"))return null;const t=(e=>{if("string"==typeof e){if(e.startsWith("$"))return null;try{return m(e)}catch{return null}}if(!Array.isArray(e))return null;for(const r of e)if(!("string"==typeof r&&!r.startsWith("$")||"number"==typeof r&&Number.isInteger(r)&&r>=0))return null;return e})(e.get("path"));if(null===t)return null;const n=f(t);let a;const s=e.get("from");if(void 0===s)a="canonical"===r?"$data":"$d";else{if("string"!=typeof s)return null;const e=l(s);if("reference"!==e.kind||"index"===e.namespace)return null;if(""!==n&&e.segments.includes(c))return null;a=C(s,r).replace(/\.$/,"")}return""===n?a:n.startsWith("[")?`${a}${n}`:`${a}.${n}`},F=e=>{const r=[];for(let t=e;null!==t;t=t.parent)r.push(t.key);return r.reverse()};class K{lookup;writer;path=null;depth=0;constructor(e,r){this.lookup=e,this.writer=r}fail=(e,r)=>{throw new d({code:e,message:r,path:F(this.path)})};child(e,r){return this.within(r,()=>this.value(e))}within(e,r){const{path:t,depth:n}=this;this.path={parent:t,key:e},this.depth=n+1;const a=r();return this.path=t,this.depth=n,a}value(t){if(this.depth>h&&this.fail(r.depthCeiling,`the expression nests deeper than the engine's ceiling of ${h} levels`),"string"==typeof t)return this.writer.string(t);if(Array.isArray(t))return t.map((e,r)=>this.child(e,r));if(!a(t))return t;const n=((t,n,a)=>{const s=e(t,n.recognizes);switch(s.kind){case"malformed":return a(r.malformedNode,s.message);case"plain":return s;case"operator":return y(t,n,a);case"fragment":return w(t,n,a);case"shorthand":return A(t,s.key,n,a)}})(t,this.lookup,this.fail);switch(n.kind){case"plain":return this.entries(t,!0);case"operator":return this.writer.operator(n,this);case"fragment":return this.writer.fragment(n,this);case"literal":return this.writer.literal(n,this)}}keep({key:e,value:r}){return"fallback"===e?this.child(r,e):"vars"===e?this.vars(r):r}parameters(e){return!a(e)||s(e,this.lookup.recognizes)?this.child(e,"parameters"):this.within("parameters",()=>this.entries(e,!1))}entries(e,r){const t={};for(const n in e){const a=e[n];t[n]="//"===n?a:r&&"vars"===n?this.vars(a):this.child(a,n)}return t}vars(e){return a(e)?this.within("vars",()=>this.entries(e,!1)):e}}const O=(e,r)=>"canonical"===r?e.operator.name:"alias"===r?e.operator.alias??e.operator.name:e.spelling,E=e=>Array.isArray(e)?e:[e],G=(e,r)=>[...E(e),...E(r)],R=e=>e.params.find(([e])=>"//"===e)?.[1],q=e=>e.slots.some(e=>"keep"===e.kind&&"//"===e.key),D={kind:"named"},I=(e,r)=>!(Array.isArray(e)||a(e)&&!s(e,r.recognizes)),B=(e={})=>{const r=e.operatorNames??"preserve",t=e.referenceNames??"preserve",n="named"===e.arguments,a=e.getAsReference??!0;return{operator:(e,s)=>{const o=e.params.map(([e,r])=>[e,"//"===e?r:s.child(r,e)]),i=o.filter(([e])=>"//"!==e);if(a&&"get"===e.operator.name){const r=e.slots.some(e=>"keep"===e.kind&&"//"!==e.key)?null:S(new Map(i),t);if(null!==r)return r}const l=n?D:((e,r,t)=>{const n=e.positionalParams;if(void 0===n||0===r.length)return D;const a=e.restParam,s=null===a?n:n.slice(0,-1),o=new Map(r);for(const e of o.keys())if(e!==a&&!s.includes(e))return D;let i=0;for(;i<s.length&&o.has(s[i]);)i++;for(let e=i;e<s.length;e++)if(o.has(s[e]))return D;const l=null!==a&&o.has(a);if(null!==a&&l!==(i===s.length))return D;const u=s.slice(0,i).map(e=>o.get(e));if(l){const e=o.get(a);return Array.isArray(e)?{kind:"array",value:[...u,...e]}:0===s.length&&I(e,t)?{kind:"single",value:e}:D}return 1===i&&I(u[0],t)?{kind:"single",value:u[0]}:{kind:"array",value:u}})(e.operator,i,s.lookup),u="named"===l.kind?void 0:R(e),f=void 0!==u&&q(e),c={};for(const t of e.slots)"invocation"===t.kind?(void 0===u||f||(c["//"]=u),c[`$${O(e,r)}`]="named"===l.kind?Object.fromEntries(o):l.value):"keep"===t.kind&&(c[t.key]="//"===t.key&&f?G(t.value,u):s.keep(t));return c},fragment:(e,r)=>{const t=void 0===e.parameters?{}:r.parameters(e.parameters),n="string"==typeof t,a={};for(const s of e.slots)"invocation"===s.kind?n?(a.fragment=e.name,e.fromPayload&&(a.parameters=t)):a[`$${e.name}`]=t:"param"===s.kind?n&&(a.parameters=t):a[s.key]=r.keep(s);return a},literal:(e,r)=>{const t={};for(const n of e.slots)"invocation"===n.kind?t.$literal=e.content:"keep"===n.kind&&(t[n.key]=r.keep(n));return t},string:e=>C(e,t)}},H=(e,r,t)=>new K(k(r),((e={})=>{const r=e.operatorNames??"preserve",t=e.referenceNames??"preserve",n=e.referencesAsGet??!1;return{operator:(e,t)=>{const n={},a=e.fromPayload?R(e):void 0,s=void 0!==a&&q(e);for(const o of e.slots)if("invocation"===o.kind){if(void 0===a||s||(n["//"]=a),n.operator=O(e,r),e.fromPayload)for(const[r,a]of e.params)"//"!==r&&(n[r]=t.child(a,r))}else"param"===o.kind?n[o.name]=t.child(o.value,o.name):"//"===o.key&&s?n["//"]=G(o.value,a):n[o.key]=t.keep(o);return n},fragment:(e,r)=>{const t={};for(const n of e.slots)"invocation"===n.kind?(t.fragment=e.name,e.fromPayload&&(t.parameters=r.parameters(e.parameters))):"param"===n.kind?t.parameters=r.parameters(n.value):t[n.key]=r.keep(n);return t},literal:(e,r)=>{const t={};for(const n of e.slots)"invocation"===n.kind?(t.operator="literal",e.fromPayload&&(t.value=e.content)):"param"===n.kind?t.value=e.content:t[n.key]=r.keep(n);return t},string:e=>{if(n){const r=M(e,t);if(null!==r)return r}return C(e,t)}}})(t)).value(e),J=(e,r,t)=>new K(k(r),B(t)).value(e),L=(e,r)=>M(e,r?.referenceNames??"preserve"),Q=(e,r)=>{const t=(e=>{if(!a(e))return null;const r=new Map;if("operator"in e){if("get"!==e.operator)return null;for(const t in e){const n=e[t];if("operator"!==t&&"//"!==t&&void 0!==n){if(!z.has(t))return null;r.set(t,n)}}return r}for(const r in e)if("$get"!==r&&"//"!==r)return null;if(!("$get"in e))return null;const t=e.$get;if(Array.isArray(t)){const e=g(b,t);if(null===e)return null;for(const[t,n]of e)r.set(t,n);return r}if(a(t)){for(const e in t){const n=t[e];if("//"!==e&&void 0!==n){if(!z.has(e))return null;r.set(e,n)}}return r}return r.set(i(b),t),r})(e);return null===t?null:S(t,r?.referenceNames??"preserve")};export{H as toCanonical,L as toGet,Q as toReference,J as toShorthand};
+import{d as e,E as r,p as n,S as a,e as s,f as o,R as i,s as l,g as u,h as f,G as p,j as c,k as m,W as d,l as h,N as k,F as g,D as v}from"../chunks/shared.js";export{t as typesIntersect}from"../chunks/shared.js";const y=e=>{const r=new Map;for(const{name:t,alias:n,positionalParams:a,restParam:s}of e.getOperators()){const e={name:t,alias:n,positionalParams:a,restParam:s};r.set(t,e),void 0!==n&&r.set(n,e)}const t=new Set(e.getFragments().map(({name:e})=>e));return{operators:r,fragments:t,recognizes:e=>"literal"===e||r.has(e)||t.has(e)}},$=(e,r)=>{const t=n(e,r.length);if(null===t)return null;const a=e.positionalParams,s=[];for(let e=0;e<t.bound;e++)s.push([a[e],r[e]]);return null!==t.restAt&&s.push([e.restParam,0===t.restAt?r:r.slice(t.restAt)]),s},w=/*#__PURE__*/new Set(["fallback","noCache","vars"]),P="'noCache' takes only the literal true — it is settled before the subtree runs",N=(e,t,n)=>{const a=e.operator;if("string"!=typeof a)return n(r.malformedNode,"the 'operator' value must be a literal string");if("literal"===a)return A(e,n);const s=t.operators.get(a);if(void 0===s)return n(r.unknownOperator,`'${a}' names no registered operator`);const o=[],i=[];for(const t in e){const a=e[t];if(void 0!==a)if("operator"===t)o.push({kind:"invocation"});else{if("noCache"===t&&!0!==a)return n(r.malformedNode,P);if("//"===t||w.has(t))o.push({kind:"keep",key:t,value:a});else{if("parameters"===t)return n(r.malformedNode,"'parameters' is reserved and unused on operator nodes");o.push({kind:"param",name:t,value:a}),i.push([t,a])}}}return{kind:"operator",operator:s,spelling:a,slots:o,params:i,fromPayload:!1}},A=(e,t)=>{if(!("value"in e))return t(r.malformedNode,"'literal' requires its content in 'value'");const n=[];for(const a in e){const s=e[a];if("operator"===a)n.push({kind:"invocation"});else if("value"===a)n.push({kind:"param",name:"value",value:s});else{if(void 0===s)continue;if("//"!==a&&!w.has(a))return t(r.unknownNodeKey,`'${a}' is not a key of 'literal' — content goes in 'value'`);n.push({kind:"keep",key:a,value:s})}}return{kind:"literal",content:e.value,slots:n,fromPayload:!1}},b=(e,t,n)=>{const a=e.fragment;if("string"!=typeof a)return n(r.malformedNode,"the 'fragment' value must be a literal string");if(!t.fragments.has(a))return n(r.unknownFragment,`'${a}' names no registered fragment`);const s=[];for(const a in e){const o=e[a];if(void 0!==o)if("fragment"===a)s.push({kind:"invocation"});else if("parameters"===a)j(o,t,n),s.push({kind:"param",name:a,value:o});else{if("noCache"===a&&!0!==o)return n(r.malformedNode,P);if("//"!==a&&!w.has(a))return n(r.unknownNodeKey,`'${a}' is not a key of a fragment call — arguments live only in 'parameters'`);s.push({kind:"keep",key:a,value:o})}}return{kind:"fragment",name:a,slots:s,parameters:e.parameters,fromPayload:!1}},j=(e,t,n)=>{s(e)||o(e,t.recognizes)||"string"==typeof e&&"reference"===u(e).kind||n(r.malformedNode,"a fragment's 'parameters' must be a named-arguments object or a node computing one")},z=(e,t,n,o)=>{const i=t.slice(1),l="literal"===i,u=!l&&n.fragments.has(i),f=[];for(const n in e){const s=e[n];if(n!==t){if(!a.has(n))return o(r.malformedNode,`'${n}' may not sit beside the shorthand key '${t}' — reserved modifiers only`);if("noCache"===n&&!0!==s&&!l)return o(r.malformedNode,P);void 0!==s&&f.push({kind:"keep",key:n,value:s})}else f.push({kind:"invocation"})}const p=e[t];if(l)return{kind:"literal",content:p,slots:f,fromPayload:!0};if(u)return s(p)?{kind:"fragment",name:i,slots:f,parameters:p,fromPayload:!0}:o(r.malformedNode,`fragments have no single-value or positional form — '${t}' takes a named-arguments object`);const c=n.operators.get(i);return{kind:"operator",operator:c,spelling:i,slots:f,params:C(c,p,n,o),fromPayload:!0}},C=(e,t,n,a)=>{const u=()=>a(r.positionalArity,`'${e.name}' takes no positional arguments — use the named form`);if(Array.isArray(t)){const n=$(e,t);if(null!==n)return n;if(void 0===e.positionalParams)return u();const s=e.positionalParams;return a(r.positionalArity,`'${e.name}' takes at most ${s.length} positional argument${1===s.length?"":"s"} (${s.join(", ")}), got ${t.length}`)}if(s(t)&&!o(t,n.recognizes)){const n=[];for(const s in t){const o=t[s];if(void 0!==o){if("//"!==s&&i.has(s))return a(r.unknownNodeKey,`'${s}' is not a parameter of '${e.name}'`);n.push([s,o])}}return n}const f=l(e);return null===f?u():[[f,t]]},W={positionalParams:p,restParam:null},x=/*#__PURE__*/new Set(["path","from","default"]),M=(e,r,t)=>"canonical"===t?r:"alias"===t?(e=>{for(const[r,t]of Object.entries(k))if(t===e&&r!==e)return r;return e})(r):e,O=(e,r)=>{if("preserve"===r)return e;const t=u(e);if("reference"!==t.kind)return e;const{token:n,rest:a}=f(e);return`$${M(n,t.namespace,r)}${a}`},S=e=>"index"!==e&&"error"!==e,F=(e,r)=>{if("string"!=typeof e)return null;const t=u(e);if("reference"!==t.kind)return null;const{namespace:n,segments:a}=t;if(!S(n))return null;const{token:s,rest:o}=f(e),i=(l=o).startsWith(".")?l.slice(1):l;var l;return"data"===n?{operator:"get",path:i}:"element"!==n&&a.length>0&&"string"!=typeof a[0]?null:{operator:"get",path:i,from:`$${M(s,n,r)}`}},K=(e,r)=>{if(e.has("default"))return null;const t=(e=>{if("string"==typeof e){if(e.startsWith("$"))return null;try{return h(e)}catch{return null}}if(!Array.isArray(e))return null;for(const r of e)if(!("string"==typeof r&&!r.startsWith("$")||"number"==typeof r&&Number.isInteger(r)&&r>=0))return null;return e})(e.get("path"));if(null===t)return null;const n=c(t);let a;const s=e.get("from");if(void 0===s)a="canonical"===r?"$data":"$d";else{if("string"!=typeof s)return null;const e=m(s);if("vars"===e||"params"===e){if(0===t.length?"vars"===e:"string"!=typeof t[0])return null;a=`$${M(f(s).token,e,r)}`}else{const e=u(s);if("reference"!==e.kind||!S(e.namespace))return null;if(""!==n&&e.segments.includes(d))return null;a=O(s,r).replace(/\.$/,"")}}return""===n?a:n.startsWith("[")?`${a}${n}`:`${a}.${n}`},E=e=>{const r=[];for(let t=e;null!==t;t=t.parent)r.push(t.key);return r.reverse()};class G{lookup;writer;path=null;depth=0;constructor(e,r){this.lookup=e,this.writer=r}fail=(e,r)=>{throw new g({code:e,message:r,path:E(this.path)})};child(e,r){return this.within(r,()=>this.value(e))}within(e,r){const{path:t,depth:n}=this;this.path={parent:t,key:e},this.depth=n+1;const a=r();return this.path=t,this.depth=n,a}value(t){if(this.depth>v&&this.fail(r.depthCeiling,`the expression nests deeper than the engine's ceiling of ${v} levels`),"string"==typeof t)return this.writer.string(t);if(Array.isArray(t))return t.map((e,r)=>this.child(e,r));if(!s(t))return t;const n=((t,n,a)=>{const s=e(t,n.recognizes);switch(s.kind){case"malformed":return a(r.malformedNode,s.message);case"plain":return s;case"operator":return N(t,n,a);case"fragment":return b(t,n,a);case"shorthand":return z(t,s.key,n,a)}})(t,this.lookup,this.fail);switch(n.kind){case"plain":return this.entries(t,!0);case"operator":return this.writer.operator(n,this);case"fragment":return this.writer.fragment(n,this);case"literal":return this.writer.literal(n,this)}}keep({key:e,value:r}){return"fallback"===e?this.child(r,e):"vars"===e?this.vars(r):r}parameters(e){return!s(e)||o(e,this.lookup.recognizes)?this.child(e,"parameters"):this.within("parameters",()=>this.entries(e,!1))}entries(e,r){const t={};for(const n in e){const a=e[n];t[n]="//"===n?a:r&&"vars"===n?this.vars(a):this.child(a,n)}return t}vars(e){return s(e)?this.within("vars",()=>this.entries(e,!1)):e}}const I=(e,r)=>"canonical"===r?e.operator.name:"alias"===r?e.operator.alias??e.operator.name:e.spelling,R=e=>Array.isArray(e)?e:[e],q=(e,r)=>[...R(e),...R(r)],D=e=>e.params.find(([e])=>"//"===e)?.[1],B=e=>e.slots.some(e=>"keep"===e.kind&&"//"===e.key),H={kind:"named"},J=(e,r)=>!(Array.isArray(e)||s(e)&&!o(e,r.recognizes)),L=(e={})=>{const r=e.operatorNames??"preserve",t=e.referenceNames??"preserve",n="named"===e.arguments,a=e.getAsReference??!0;return{operator:(e,s)=>{const o=e.params.map(([e,r])=>[e,"//"===e?r:s.child(r,e)]),i=o.filter(([e])=>"//"!==e);if(a&&"get"===e.operator.name){const r=e.slots.some(e=>"keep"===e.kind)||e.params.some(([e])=>"//"===e)?null:K(new Map(i),t);if(null!==r)return r}const l=n?H:((e,r,t)=>{const n=e.positionalParams;if(void 0===n||0===r.length)return H;const a=e.restParam,s=null===a?n:n.slice(0,-1),o=new Map(r);for(const e of o.keys())if(e!==a&&!s.includes(e))return H;let i=0;for(;i<s.length&&o.has(s[i]);)i++;for(let e=i;e<s.length;e++)if(o.has(s[e]))return H;const l=null!==a&&o.has(a);if(null!==a&&l!==(i===s.length))return H;const u=s.slice(0,i).map(e=>o.get(e));if(l){const e=o.get(a);return Array.isArray(e)?{kind:"array",value:[...u,...e]}:0===s.length&&J(e,t)?{kind:"single",value:e}:H}return 1===i&&J(u[0],t)?{kind:"single",value:u[0]}:{kind:"array",value:u}})(e.operator,i,s.lookup),u="named"===l.kind?void 0:D(e),f=void 0!==u&&B(e),p={};for(const t of e.slots)"invocation"===t.kind?(void 0===u||f||(p["//"]=u),p[`$${I(e,r)}`]="named"===l.kind?Object.fromEntries(o):l.value):"keep"===t.kind&&(p[t.key]="//"===t.key&&f?q(t.value,u):s.keep(t));return p},fragment:(e,r)=>{const t=void 0===e.parameters?{}:r.parameters(e.parameters),n="string"==typeof t,a={};for(const s of e.slots)"invocation"===s.kind?n?(a.fragment=e.name,e.fromPayload&&(a.parameters=t)):a[`$${e.name}`]=t:"param"===s.kind?n&&(a.parameters=t):a[s.key]=r.keep(s);return a},literal:(e,r)=>{const t={};for(const n of e.slots)"invocation"===n.kind?t.$literal=e.content:"keep"===n.kind&&(t[n.key]=r.keep(n));return t},string:e=>O(e,t)}},Q=(e,r,t)=>new G(y(r),((e={})=>{const r=e.operatorNames??"preserve",t=e.referenceNames??"preserve",n=e.referencesAsGet??!1;return{operator:(e,t)=>{const n={},a=e.fromPayload?D(e):void 0,s=void 0!==a&&B(e);for(const o of e.slots)if("invocation"===o.kind){if(void 0===a||s||(n["//"]=a),n.operator=I(e,r),e.fromPayload)for(const[r,a]of e.params)"//"!==r&&(n[r]=t.child(a,r))}else"param"===o.kind?n[o.name]=t.child(o.value,o.name):"//"===o.key&&s?n["//"]=q(o.value,a):n[o.key]=t.keep(o);return n},fragment:(e,r)=>{const t={};for(const n of e.slots)"invocation"===n.kind?(t.fragment=e.name,e.fromPayload&&(t.parameters=r.parameters(e.parameters))):"param"===n.kind?t.parameters=r.parameters(n.value):t[n.key]=r.keep(n);return t},literal:(e,r)=>{const t={};for(const n of e.slots)"invocation"===n.kind?(t.operator="literal",e.fromPayload&&(t.value=e.content)):"param"===n.kind?t.value=e.content:t[n.key]=r.keep(n);return t},string:e=>{if(n){const r=F(e,t);if(null!==r)return r}return O(e,t)}}})(t)).value(e),T=(e,r,t)=>new G(y(r),L(t)).value(e),U=(e,r)=>F(e,r?.referenceNames??"preserve"),V=(e,r)=>{const t=(e=>{if(!s(e))return null;const r=new Map;if("operator"in e){if("get"!==e.operator)return null;for(const t in e){const n=e[t];if("operator"!==t&&"//"!==t&&void 0!==n){if(!x.has(t))return null;r.set(t,n)}}return r}for(const r in e)if("$get"!==r&&"//"!==r)return null;if(!("$get"in e))return null;const t=e.$get;if(Array.isArray(t)){const e=$(W,t);if(null===e)return null;for(const[t,n]of e)r.set(t,n);return r}if(s(t)){for(const e in t){const n=t[e];if("//"!==e&&void 0!==n){if(!x.has(e))return null;r.set(e,n)}}return r}return r.set(l(W),t),r})(e);return null===t?null:K(t,r?.referenceNames??"preserve")};export{e as classifyObject,n as positionalLayout,u as recognizeReference,l as singlePositionalTarget,Q as toCanonical,U as toGet,V as toReference,T as toShorthand};

package/build/index.d.ts

@@ -1,4 +1,4 @@
-declare const version = "3.0.0-preview.1";
+declare const version = "3.0.0-preview.10";
 
 interface HttpRequest {
     url: string;
@@ -25,55 +25,63 @@ interface CacheStore {
     clear(): void;
 }
 
-type FigTreeErrorCode = string;
 declare const ErrorCodes: {
-    readonly unknownOperator: "unknown-operator";
     readonly typeCheck: "type-check";
     readonly operatorFailure: "operator-failure";
-    readonly timeout: "timeout";
     readonly requestTimeout: "request-timeout";
-    readonly aborted: "aborted";
-    readonly unknownNodeKey: "unknown-node-key";
-    readonly unresolvedVar: "unresolved-var";
-    readonly unrecognizedIdentifier: "unrecognized-identifier";
-    readonly depthCeiling: "depth-ceiling";
+    readonly httpStatus: "http-status";
+    readonly invalidResponse: "invalid-response";
+    readonly graphQLErrors: "graphql-errors";
+    readonly sqlError: "sql-error";
+    readonly requestFailure: "request-failure";
     readonly nonFiniteResult: "non-finite-result";
     readonly escapedHandle: "escaped-handle";
     readonly emptyAggregate: "empty-aggregate";
+    readonly missingDataPath: "missing-data-path";
+    readonly missingRequired: "missing-required";
+    readonly timeout: "timeout";
+    readonly aborted: "aborted";
     readonly malformedNode: "malformed-node";
+    readonly unknownOperator: "unknown-operator";
     readonly unknownFragment: "unknown-fragment";
+    readonly unknownNodeKey: "unknown-node-key";
+    readonly unrecognizedIdentifier: "unrecognized-identifier";
     readonly positionalArity: "positional-arity";
     readonly invalidVars: "invalid-vars";
     readonly invalidReference: "invalid-reference";
-    readonly uselessModifier: "useless-modifier";
-    readonly unreferencedVar: "unreferenced-var";
-    readonly missingRequired: "missing-required";
+    readonly invalidAs: "invalid-as";
+    readonly unresolvedVar: "unresolved-var";
     readonly unresolvedParam: "unresolved-param";
     readonly unresolvedBinding: "unresolved-binding";
-    readonly deadBinding: "dead-binding";
-    readonly invalidAs: "invalid-as";
+    readonly bareVars: "bare-vars";
+    readonly varCycle: "var-cycle";
+    readonly depthCeiling: "depth-ceiling";
     readonly maxDepthExceeded: "max-depth";
     readonly maxNodesExceeded: "max-nodes";
     readonly returnsMismatch: "returns-mismatch";
     readonly operatorValidate: "operator-validate";
-    readonly missingDataPath: "missing-data-path";
+    readonly uselessModifier: "useless-modifier";
+    readonly unreferencedVar: "unreferenced-var";
     readonly shadowedVar: "shadowed-var";
-    readonly varCycle: "var-cycle";
-    readonly bareVars: "bare-vars";
-    readonly fragmentCycle: "fragment-cycle";
+    readonly deadBinding: "dead-binding";
+    readonly fallbackMismatch: "fallback-mismatch";
     readonly unboundToken: "unbound-token";
     readonly unusedSubstitution: "unused-substitution";
-    readonly tokenRenumber: "token-renumber";
     readonly inertReferenceToken: "inert-reference-token";
     readonly invalidDefinition: "invalid-definition";
     readonly invalidName: "invalid-name";
     readonly reservedName: "reserved-name";
     readonly invalidNullPolicy: "invalid-null-policy";
     readonly duplicateOperator: "duplicate-operator";
+    readonly fragmentCycle: "fragment-cycle";
     readonly invalidOptions: "invalid-options";
 };
+type KnownErrorCode = (typeof ErrorCodes)[keyof typeof ErrorCodes];
+type FigTreeErrorCode = KnownErrorCode | (string & {});
+type KnownFallbackErrorCode = (typeof ErrorCodes)['typeCheck' | 'operatorFailure' | 'requestTimeout' | 'httpStatus' | 'invalidResponse' | 'graphQLErrors' | 'sqlError' | 'requestFailure' | 'nonFiniteResult' | 'escapedHandle' | 'emptyAggregate' | 'missingDataPath' | 'missingRequired' | 'timeout'];
+type FallbackErrorCode = KnownFallbackErrorCode | (string & {});
 
-type Severity = 'error' | 'warning' | 'hint';
+type Severity = 'error' | 'warning';
 interface Issue {
     severity: Severity;
     code: FigTreeErrorCode;
@@ -82,11 +90,11 @@ interface Issue {
     operator?: string;
     fragment?: string;
     parameter?: string;
+    suggestion?: string;
 }
 interface ValidationResult {
     valid: boolean;
     issues: Issue[];
-    timeoutShielded: boolean;
 }
 
 declare const LAZY_HANDLE: unique symbol;
@@ -171,11 +179,19 @@ interface ShieldedFallbackTraceEvent {
 }
 type KnownTraceEvent = CacheTraceEvent | RequestTraceEvent | QueryTraceEvent | RenderTraceEvent | KeyOverwriteTraceEvent | ShieldedFallbackTraceEvent;
 
+interface FallbackError {
+    code: FallbackErrorCode;
+    message: string;
+    path: (string | number)[];
+    operator?: string;
+    fragment?: string;
+    fragmentPath?: (string | number)[];
+    errorData?: Record<string, unknown>;
+}
 interface FigTreeErrorInit {
     code: FigTreeErrorCode;
     message: string;
     path: (string | number)[];
-    holePath?: (string | number)[];
     operator?: string;
     fragment?: string;
     fragmentPath?: (string | number)[];
@@ -188,7 +204,6 @@ interface FigTreeErrorInit {
 declare class FigTreeError extends Error {
     code: FigTreeErrorCode;
     path: (string | number)[];
-    holePath?: (string | number)[];
     operator?: string;
     fragment?: string;
     fragmentPath?: (string | number)[];
@@ -236,6 +251,96 @@ declare const validateHelpers: Readonly<{
 }>;
 type ValidateHelpers = typeof validateHelpers;
 
+interface FallbackCoverage {
+    uncovered: CoverageFinding[];
+    covered: CoveredFinding[];
+}
+interface CoverageFinding {
+    path: (string | number)[];
+    code: FigTreeErrorCode;
+    message: string;
+    certainty: 'may' | 'always';
+    operator?: string;
+    parameter?: string;
+    fragment?: string;
+    fragmentPath?: (string | number)[];
+}
+interface CoveredFinding extends CoverageFinding {
+    coveredBy: (string | number)[];
+    coveredByFragmentPath?: (string | number)[];
+    givesNull?: true;
+}
+interface FallbackCoverageOptions {
+    strictNumbers?: boolean;
+}
+interface OperatorAnalysis {
+    failures?: FailureRule[];
+    external?: true;
+    output?: DeclaredOutput;
+}
+interface FailureRule {
+    code: FallbackErrorCode;
+    parameter?: string;
+    when?: Record<string, FailureTest>;
+    options?: Record<string, unknown>;
+    may?: true;
+    overflow?: true;
+}
+type FailureTest = string | number | boolean | null | {
+    type: ExpectedType;
+} | {
+    below: number;
+} | {
+    empty: true;
+} | {
+    supplied: boolean;
+} | {
+    invalid: true;
+} | {
+    some: FailureTest;
+} | {
+    not: FailureTest;
+};
+type DeclaredOutput = ExpectedType | {
+    type: 'number' | 'integer';
+    min?: number;
+    max?: number;
+} | {
+    type: 'string' | 'array';
+    minLength?: number;
+} | {
+    param: string;
+} | {
+    elementOf: string;
+} | {
+    kindOf: string;
+} | {
+    arrayOf: DeclaredOutput;
+    minLength?: number;
+} | {
+    oneOf: DeclaredOutput[];
+} | {
+    typeNamedBy: string;
+} | {
+    byParam: string;
+    cases: Record<string, DeclaredOutput>;
+    otherwise?: DeclaredOutput;
+} | {
+    firstNonNull: string;
+} | {
+    sum: string;
+} | {
+    product: string;
+} | {
+    difference: [string, string];
+} | {
+    abs: string;
+} | {
+    min: string;
+} | {
+    max: string;
+};
+
 type TypeOf<T> = T extends 'string' ? string : T extends 'number' | 'integer' ? number : T extends 'boolean' ? boolean : T extends 'array' ? unknown[] : T extends 'object' ? Record<string, unknown> : T extends 'null' ? null : T extends 'any' ? unknown : T extends {
     literal: readonly (infer M)[];
 } ? M : T extends readonly (infer B)[] ? TypeOf<B> : unknown;
@@ -338,9 +443,9 @@ interface OperatorDefinition<P extends ParameterDeclarations = ParameterDeclarat
     parameters: P;
     positionalParams?: readonly string[];
     timeoutParam?: string;
-    useCache?: boolean;
-    cache?: 'auto' | 'manual';
+    cache?: true;
     validate?: OperatorValidate;
+    analysis?: OperatorAnalysis;
     evaluate: (params: ResolvedParams<P>, context: OperatorContext) => unknown;
     returns?: ExpectedType;
 }
@@ -372,10 +477,10 @@ interface ValidatedOperatorDefinition {
     resolution: ResolutionPlan;
     deliversLazily: boolean;
     timeoutParam: string | null;
-    useCache: boolean;
-    cache: 'auto' | 'manual';
+    cache: boolean;
     fingerprint: string;
     validate?: OperatorValidate;
+    analysis?: OperatorAnalysis;
     evaluate: OperatorEvaluate;
     returns: ExpectedType;
 }
@@ -406,6 +511,63 @@ declare const resolvePath: (source: unknown, path: string | PathSegment[]) => Re
 
 declare const deepEqual: (foo: any, bar: any) => boolean;
 
+declare const NAMESPACE_TOKENS: {
+    readonly data: "data";
+    readonly d: "data";
+    readonly vars: "vars";
+    readonly v: "vars";
+    readonly params: "params";
+    readonly p: "params";
+    readonly element: "element";
+    readonly e: "element";
+    readonly index: "index";
+    readonly i: "index";
+    readonly error: "error";
+    readonly err: "error";
+};
+type ReferenceNamespace = (typeof NAMESPACE_TOKENS)[keyof typeof NAMESPACE_TOKENS];
+type ReferenceRecognition = {
+    kind: 'reference';
+    namespace: ReferenceNamespace;
+    segments: PathSegment[];
+    drill: string;
+    binding?: string;
+} | {
+    kind: 'invalid';
+    namespace: ReferenceNamespace;
+    reason: string;
+    code?: string;
+} | {
+    kind: 'unrecognized';
+} | {
+    kind: 'plain';
+};
+interface ReferenceScope {
+    bindings?: readonly string[];
+}
+
+type ObjectClass = {
+    kind: 'operator';
+} | {
+    kind: 'fragment';
+} | {
+    kind: 'shorthand';
+    key: string;
+} | {
+    kind: 'plain';
+} | {
+    kind: 'malformed';
+    message: string;
+};
+interface PositionalShape {
+    positionalParams?: readonly string[];
+    restParam: string | null;
+}
+interface PositionalLayout {
+    bound: number;
+    restAt: number | null;
+}
+
 interface FragmentParameterDeclaration extends TypeDeclaration {
     default?: unknown;
     description?: string;
@@ -427,7 +589,7 @@ interface FragmentParameter {
 }
 
 type EvaluationOptions = Omit<FigTreeOptions, 'operators' | 'fragments'>;
-type CallOptions = Pick<FigTreeOptions, 'data' | 'signal' | 'timeout' | 'mode' | 'trace'>;
+type CallOptions = Pick<FigTreeOptions, 'data' | 'signal' | 'timeout' | 'trace'>;
 type OnlyCallOptions<CallOpts> = CallOpts & {
     [Key in Exclude<keyof CallOpts, keyof CallOptions>]: never;
 };
@@ -437,6 +599,8 @@ interface FigTreeOptions {
     operators?: (ValidatedOperatorDefinition | ValidatedOperatorDefinition[])[];
     operatorDefaults?: {
         [operator: string]: {
+            noCache?: true;
+            fallback?: unknown;
             [param: string]: unknown;
         };
     };
@@ -453,26 +617,27 @@ interface FigTreeOptions {
     maxNodes?: number;
     timeout?: number;
     signal?: AbortSignal;
-    useCache?: boolean;
     cache?: {
         store?: CacheStore;
         maxSize?: number;
         maxTime?: number;
     };
-    runtimeTypeCheck?: boolean;
-    mode?: 'throw' | 'report';
     trace?: boolean;
 }
+type OptionsUpdate = {
+    [Key in keyof FigTreeOptions]?: (Key extends MergedBlock ? Removable<NonNullable<FigTreeOptions[Key]>> : FigTreeOptions[Key]) | null;
+};
+type MergedBlock = 'fragments' | 'operatorDefaults' | 'http' | 'graphQL' | 'cache';
+type Removable<Block> = {
+    [Key in keyof Block]?: Block[Key] | null;
+};
 interface EvaluationResult {
     result: unknown;
-    errors: FigTreeError[];
-    trace?: TraceNode;
+    trace: TraceNode;
 }
 type NoOptions = Record<never, never>;
 type Merge<Instance, Call> = Omit<Instance, keyof Call> & Call;
 type ResultShape<O> = O extends {
-    mode: 'report';
-} | {
     trace: true;
 } ? EvaluationResult : unknown;
 
@@ -485,29 +650,31 @@ interface Dependencies {
     fragments: string[];
 }
 interface ParameterInfo extends ValidatedParameter {
-    instanceDefault?: unknown;
+    hostDefault?: unknown;
 }
 interface OperatorInfo extends Omit<ValidatedOperatorDefinition, typeof VALIDATED_OPERATOR | 'evaluate' | 'validate' | 'deliversLazily' | 'resolution' | 'fingerprint' | 'parameters'> {
     parameters: Record<string, ParameterInfo>;
     hasValidate: boolean;
-    instanceUseCache?: boolean;
-    instanceFallback?: unknown;
+    hostNoCache?: true;
+    hostFallback?: unknown;
 }
 interface FragmentInfo {
     name: string;
     description?: string;
     metadata?: Record<string, unknown>;
     parameters: Record<string, FragmentParameter>;
+    returns: ExpectedType;
     warnings: Issue[];
     dependencies: Dependencies;
+    caches: boolean;
 }
 
 declare class FigTree<InstanceOpts extends FigTreeOptions = NoOptions> {
     private state;
     private readonly results;
-    readonly version = "3.0.0-preview.1";
+    readonly version = "3.0.0-preview.10";
     constructor(options?: InstanceOpts);
-    updateOptions(options?: FigTreeOptions): void;
+    updateOptions(options?: OptionsUpdate): void;
     clearCache(): void;
     getOptions(): EvaluationOptions;
     getOperators(): OperatorInfo[];
@@ -534,11 +701,11 @@ declare function defineOperator<const P extends ParameterDeclarations>(definitio
 declare const coreOperators: ValidatedOperatorDefinition[];
 
 interface OperatorFailureInit {
-    code?: string;
+    code?: FallbackErrorCode;
     errorData?: Record<string, unknown>;
 }
 declare class OperatorFailure extends Error {
-    code?: string;
+    code?: FallbackErrorCode;
     errorData?: Record<string, unknown>;
     constructor(message: string, init?: OperatorFailureInit);
 }
@@ -618,6 +785,15 @@ declare class SQLiteConnection implements SqlConnection {
     query: (req: SqlRequest) => Promise<Record<string, unknown>[]>;
 }
 
+interface HttpFailureInfo {
+    status: number;
+    statusText: string;
+    url: string;
+    response: unknown;
+}
+declare const httpFailure: (info: HttpFailureInfo) => OperatorFailure;
+declare const sqlFailure: (driver: string, error: unknown) => OperatorFailure;
+
 type Json = null | boolean | number | string | Json[] | {
     [key: string]: Json;
 };
@@ -642,8 +818,8 @@ type InspectNode = {
     params: NodeMap;
     fallback?: InspectNode;
     timeoutFallback?: Json;
-    useCache?: boolean;
-    instanceDefaults?: string[];
+    noCache?: true;
+    hostDefaults?: string[];
 } | {
     kind: 'fragmentCall';
     vars?: NodeMap;
@@ -653,6 +829,7 @@ type InspectNode = {
     parameters?: NodeMap | InspectNode;
     fallback?: InspectNode;
     timeoutFallback?: Json;
+    noCache?: true;
 } | {
     kind: 'skeleton';
     vars?: NodeMap;
@@ -729,7 +906,7 @@ type TypeSeeds = {
 };
 
 interface MigrationIssue {
-    code: 'split-trailing-empty' | 'remainder-sign' | 'template-numbering' | 'named-token-source' | 'response-collapse' | 'computed-delimiter' | 'computed-branches' | 'graphql-relative-url' | 'output-type' | 'missing-data-fallback' | 'unprefixed-parameter' | 'instance-case-insensitive' | 'values-cut' | 'fallback-converted' | 'malformed-entry' | 'unreachable-branches' | 'overridden-value' | 'discarded-expression' | 'fragment-shorthand-payload' | 'shadowed-argument' | 'unknown-argument' | 'fragment-use-cache' | 'name-renamed' | 'unknown-parameter-type' | 'default-outside-type' | 'unused-output-type' | 'deciding-value' | 'drilled-substitution-token' | 'number-mapping' | 'template-escape' | 'computed-dollar-template' | 'custom-function-call' | 'computed-function-name' | 'computed-arguments' | 'body-override' | 'computed-fragment-name' | 'replaced-output-type' | 'computed-children' | 'unknown-operator' | 'unconvertible-input';
+    code: 'split-trailing-empty' | 'remainder-sign' | 'template-numbering' | 'named-token-source' | 'response-collapse' | 'computed-delimiter' | 'computed-branches' | 'graphql-relative-url' | 'output-type' | 'missing-data-fallback' | 'unprefixed-parameter' | 'cache-opt-in' | 'instance-case-insensitive' | 'values-cut' | 'fallback-converted' | 'malformed-entry' | 'unreachable-branches' | 'overridden-value' | 'discarded-expression' | 'fragment-shorthand-payload' | 'shadowed-argument' | 'unknown-argument' | 'name-renamed' | 'unknown-parameter-type' | 'default-outside-type' | 'unused-output-type' | 'deciding-value' | 'drilled-substitution-token' | 'number-mapping' | 'template-escape' | 'computed-dollar-template' | 'custom-function-call' | 'computed-function-name' | 'computed-arguments' | 'body-override' | 'computed-fragment-name' | 'replaced-output-type' | 'computed-children' | 'unknown-operator' | 'unconvertible-input';
     tag: 'non-convertible' | 'intentional-semantic-change' | 'lossy-default';
     path: (string | number)[];
     message: string;
@@ -776,5 +953,5 @@ interface ShorthandOptions extends NameOptions {
     getAsReference?: boolean;
 }
 
-export { ARRAY, AxiosClient, CompiledExpression, ErrorCodes, EvaluationData, FetchClient, FigTree, FigTreeError, OBJECT, OPERATOR_CATEGORIES, OperatorFailure, PostgresConnection, SQLiteConnection, WILDCARD, compareValues, coreOperators, deepEqual, defineOperator, httpOperators, inspect, isFigTreeError, isOperatorFailure, isTruthy, parsePath, renderText, resolvePath, sqlOperators, version };
-export type { AxiosErrorLike, AxiosLike, BasicType, CacheStore, CacheTraceEvent, CallOptions, CanonicalOptions, CategoryHintMap, CategoryHints, CompiledNullPolicy, ConditionalNullPolicy, Constraints, Dependencies, EvaluationMode, EvaluationOptions, EvaluationResult, ExpectedType, FetchLike, FetchResponseLike, FigTreeErrorCode, FigTreeErrorInit, FigTreeOptions, FragmentDefinition, FragmentHints, FragmentInfo, FragmentMigrationResult, FragmentParameter, FragmentParameterDeclaration, HttpClient, HttpRequest, InspectDependencies, InspectIssue, InspectNode, InspectReport, Issue, KeyOverwriteTraceEvent, KnownTraceEvent, LazyValue, LiteralType, Merge, MigrationIssue, MigrationResult, NameOptions, NoOptions, NullPolicy, NullPolicyValue, OnlyCallOptions, OperatorCategory, OperatorContext, OperatorDefinition, OperatorEvaluate, OperatorFailureInit, OperatorHintMap, OperatorHints, OperatorInfo, OperatorValidate, ParamValue, ParameterDeclaration, ParameterDeclarations, ParameterInfo, PathSegment, PerElement, PgClientLike, QueryTraceEvent, Registry, RenderTraceEvent, RequestTraceEvent, ResolveResult, ResolvedParams, ResultShape, Settlement, SettlementStream, Severity, ShieldedFallbackTraceEvent, ShorthandOptions, Spelling, SqlConnection, SqlRequest, SqliteDatabaseLike, TraceEvent, TraceKind, TraceNode, TraceStatus, TypeCheckResult, TypeDeclaration, TypeOf, TypeSeeds, V2Options, ValidateFinding, ValidateHelpers, ValidatedOperatorDefinition, ValidatedParameter, ValidationResult, Wildcard };
+export { ARRAY, AxiosClient, CompiledExpression, ErrorCodes, EvaluationData, FetchClient, FigTree, FigTreeError, OBJECT, OPERATOR_CATEGORIES, OperatorFailure, PostgresConnection, SQLiteConnection, WILDCARD, compareValues, coreOperators, deepEqual, defineOperator, httpFailure, httpOperators, inspect, isFigTreeError, isOperatorFailure, isTruthy, parsePath, renderText, resolvePath, sqlFailure, sqlOperators, version };
+export type { AxiosErrorLike, AxiosLike, BasicType, CacheStore, CacheTraceEvent, CallOptions, CanonicalOptions, CategoryHintMap, CategoryHints, CompiledNullPolicy, ConditionalNullPolicy, Constraints, CoverageFinding, CoveredFinding, DeclaredOutput, Dependencies, EvaluationMode, EvaluationOptions, EvaluationResult, ExpectedType, FailureRule, FailureTest, FallbackCoverage, FallbackCoverageOptions, FallbackError, FallbackErrorCode, FetchLike, FetchResponseLike, FigTreeErrorCode, FigTreeErrorInit, FigTreeOptions, FragmentDefinition, FragmentHints, FragmentInfo, FragmentMigrationResult, FragmentParameter, FragmentParameterDeclaration, HttpClient, HttpFailureInfo, HttpRequest, InspectDependencies, InspectIssue, InspectNode, InspectReport, Issue, KeyOverwriteTraceEvent, KnownTraceEvent, LazyValue, LiteralType, Merge, MigrationIssue, MigrationResult, NameOptions, NoOptions, NullPolicy, NullPolicyValue, ObjectClass, OnlyCallOptions, OperatorAnalysis, OperatorCategory, OperatorContext, OperatorDefinition, OperatorEvaluate, OperatorFailureInit, OperatorHintMap, OperatorHints, OperatorInfo, OperatorValidate, OptionsUpdate, ParamValue, ParameterDeclaration, ParameterDeclarations, ParameterInfo, PathSegment, PerElement, PgClientLike, PositionalLayout, PositionalShape, QueryTraceEvent, ReferenceNamespace, ReferenceRecognition, ReferenceScope, Registry, RenderTraceEvent, RequestTraceEvent, ResolveResult, ResolvedParams, ResultShape, Settlement, SettlementStream, Severity, ShieldedFallbackTraceEvent, ShorthandOptions, Spelling, SqlConnection, SqlRequest, SqliteDatabaseLike, TraceEvent, TraceKind, TraceNode, TraceStatus, TypeCheckResult, TypeDeclaration, TypeOf, TypeSeeds, V2Options, ValidateFinding, ValidateHelpers, ValidatedOperatorDefinition, ValidatedParameter, ValidationResult, Wildcard };