@intentius/tsad-reference 1.4.0

package/dist/host.d.ts

@@ -0,0 +1,45 @@
+export interface IntrinsicDef {
+    readonly name: string;
+    readonly description?: string;
+    readonly outputKey?: string;
+    /** Required: authored as a tagged template. Mutually exclusive with the two flags below (F-Host-Registry). */
+    readonly isTag: boolean;
+    /** Opt-in, per intrinsic: the plain-call form folds to an envelope. */
+    readonly foldsAsCall?: boolean;
+    /** Opt-in, per intrinsic: the plain-call form is evaluated at fold time. */
+    readonly foldsEagerly?: boolean;
+}
+export declare function intrinsicTagFolds(def: {
+    isTag?: boolean;
+}): boolean;
+export declare function intrinsicCallFolds(def: {
+    isTag?: boolean;
+    foldsAsCall?: boolean;
+}): boolean;
+export declare function intrinsicCallFoldsEagerly(def: {
+    isTag?: boolean;
+    foldsEagerly?: boolean;
+}): boolean;
+/**
+ * What a host-owned specifier really exports: specifier, then export name, to
+ * the live value. F-Host-Interface item 1's entity constructors live here, as
+ * do the intrinsic and helper functions items 3 and 4 name, because revival
+ * has to *call* them (F-Val-Fate) and a description cannot be called.
+ */
+export type HostValues = ReadonlyMap<string, ReadonlyMap<string, unknown>>;
+/** F-Profile: which profile the implementation is being judged in. */
+export type Profile = "full" | "data-host";
+export interface Host {
+    /** Defaults to `full`. `data-host` admits S-ExportDefault (spec 1.2) and is what an evaluator with no runtime declares. */
+    readonly profile?: Profile;
+    readonly intrinsics: readonly IntrinsicDef[];
+    readonly helpers: readonly {
+        name: string;
+        module: string;
+        note: string;
+    }[];
+    readonly ownedSpecifierPrefixes: readonly string[];
+    readonly values: HostValues;
+}
+export declare const EMPTY_HOST: Host;
+//# sourceMappingURL=host.d.ts.map

package/dist/host.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../src/host.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,8GAA8G;IAC9G,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,4EAA4E;IAC5E,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AACD,wBAAgB,iBAAiB,CAAC,GAAG,EAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAA+B;AACnG,wBAAgB,kBAAkB,CAAC,GAAG,EAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,WAAW,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAA2D;AACvJ,wBAAgB,yBAAyB,CAAC,GAAG,EAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAA4D;AAEhK;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAE3E,sEAAsE;AACtE,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,WAAW,CAAC;AAE3C,MAAM,WAAW,IAAI;IACnB,2HAA2H;IAC3H,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5E,QAAQ,CAAC,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AACD,eAAO,MAAM,UAAU,EAAE,IAAsG,CAAC"}

package/dist/host.js

@@ -0,0 +1,5 @@
+export function intrinsicTagFolds(def) { return def.isTag === true; }
+export function intrinsicCallFolds(def) { return def.isTag !== true && def.foldsAsCall === true; }
+export function intrinsicCallFoldsEagerly(def) { return def.isTag !== true && def.foldsEagerly === true; }
+export const EMPTY_HOST = { profile: "full", intrinsics: [], helpers: [], ownedSpecifierPrefixes: [], values: new Map() };
+//# sourceMappingURL=host.js.map

package/dist/host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","sourceRoot":"","sources":["../src/host.ts"],"names":[],"mappings":"AAcA,MAAM,UAAU,iBAAiB,CAAC,GAAwB,IAAa,OAAO,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC;AACnG,MAAM,UAAU,kBAAkB,CAAC,GAA+C,IAAa,OAAO,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC;AACvJ,MAAM,UAAU,yBAAyB,CAAC,GAAgD,IAAa,OAAO,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC;AAqBhK,MAAM,CAAC,MAAM,UAAU,GAAS,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,sBAAsB,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,9 @@
+export * from "./host.js";
+export * from "./subset.js";
+export * from "./fnbody.js";
+export * from "./fold.js";
+export * from "./foldable-helpers.js";
+export * from "./module.js";
+export * from "./project.js";
+export { referenceAdapter, referenceDataHostAdapter } from "./adapter.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,uBAAuB,CAAC;AACtC,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -0,0 +1,9 @@
+export * from "./host.js";
+export * from "./subset.js";
+export * from "./fnbody.js";
+export * from "./fold.js";
+export * from "./foldable-helpers.js";
+export * from "./module.js";
+export * from "./project.js";
+export { referenceAdapter, referenceDataHostAdapter } from "./adapter.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,uBAAuB,CAAC;AACtC,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC"}

package/dist/module.d.ts

@@ -0,0 +1,20 @@
+import * as ts from "typescript";
+import { type ShapeViolation } from "./subset.js";
+import { type Host } from "./host.js";
+export declare function installHost(host: Host): void;
+export declare function parse(source: string, fileName?: string): ts.SourceFile;
+export declare function exportInitializer(sf: ts.SourceFile, name: string, admitDefault?: boolean): ts.Expression | undefined;
+/** S-CallLocal's callee set: names this file binds by S-LocalFunction or imports from a project specifier. Syntax only. */
+export declare function localCallees(sf: ts.SourceFile): Set<string>;
+export declare function shapeOfExport(source: string, name: string, host?: Host): ShapeViolation | undefined | "no-such-export";
+export declare function foldExport(source: string, name: string, host?: Host, externals?: ReadonlyMap<string, unknown>, fileName?: string): {
+    ok: true;
+    value: unknown;
+} | {
+    ok: false;
+    rule: string;
+    line: number;
+    column: number;
+    message: string;
+};
+//# sourceMappingURL=module.d.ts.map

package/dist/module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.d.ts","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAEtE,OAAO,EAAc,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AAElD,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAwF;AACrI,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,SAAe,GAAG,EAAE,CAAC,UAAU,CAAgF;AAC7J,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,UAAQ,GAAG,EAAE,CAAC,UAAU,GAAG,SAAS,CAQlH;AACD,2HAA2H;AAC3H,wBAAgB,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAgB3D;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,IAAiB,GAAG,cAAc,GAAG,SAAS,GAAG,gBAAgB,CAIlI;AACD,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,IAAiB,EAAE,SAAS,GAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAa,EAAE,QAAQ,SAAe,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAUzQ"}

package/dist/module.js

@@ -0,0 +1,74 @@
+import * as ts from "typescript";
+import { foldExpr, collectConsts, collectLocalFunctions, FoldRejection } from "./fold.js";
+import { findShapeViolation } from "./subset.js";
+import { registerHelpers, registerHostSpecifiers } from "./foldable-helpers.js";
+import { EMPTY_HOST } from "./host.js";
+export function installHost(host) { registerHelpers(host.helpers); registerHostSpecifiers(host.ownedSpecifierPrefixes); }
+export function parse(source, fileName = "fixture.ts") { return ts.createSourceFile(fileName, source, ts.ScriptTarget.Latest, true); }
+export function exportInitializer(sf, name, admitDefault = false) {
+    for (const st of sf.statements) {
+        // S-ExportDefault: `export default ⟨Expr⟩` is the export named `default`, in data-host.
+        if (name === "default" && admitDefault && ts.isExportAssignment(st) && !st.isExportEquals)
+            return st.expression;
+        if (!ts.isVariableStatement(st) || !st.modifiers?.some((x) => x.kind === ts.SyntaxKind.ExportKeyword))
+            continue;
+        for (const d of st.declarationList.declarations)
+            if (ts.isIdentifier(d.name) && d.name.text === name)
+                return d.initializer;
+    }
+    return undefined;
+}
+/** S-CallLocal's callee set: names this file binds by S-LocalFunction or imports from a project specifier. Syntax only. */
+export function localCallees(sf) {
+    const names = new Set();
+    for (const st of sf.statements) {
+        if (ts.isFunctionDeclaration(st) && st.name && st.body)
+            names.add(st.name.text);
+        if (ts.isVariableStatement(st) && (st.declarationList.flags & ts.NodeFlags.Const) !== 0) {
+            for (const d of st.declarationList.declarations) {
+                if (ts.isIdentifier(d.name) && d.initializer && (ts.isArrowFunction(d.initializer) || ts.isFunctionExpression(d.initializer)))
+                    names.add(d.name.text);
+            }
+        }
+        if (ts.isImportDeclaration(st) && ts.isStringLiteral(st.moduleSpecifier) && /^\.{1,2}\//.test(st.moduleSpecifier.text) && st.importClause && !st.importClause.isTypeOnly) {
+            const c = st.importClause;
+            if (c.name)
+                names.add(c.name.text);
+            if (c.namedBindings && ts.isNamedImports(c.namedBindings))
+                for (const el of c.namedBindings.elements)
+                    if (!el.isTypeOnly)
+                        names.add(el.name.text);
+        }
+    }
+    return names;
+}
+export function shapeOfExport(source, name, host = EMPTY_HOST) {
+    installHost(host);
+    const sf = parse(source);
+    const init = exportInitializer(sf, name, host.profile === "data-host");
+    if (!init)
+        return "no-such-export";
+    return findShapeViolation(init, host.intrinsics, localCallees(sf));
+}
+export function foldExport(source, name, host = EMPTY_HOST, externals = new Map(), fileName = "fixture.ts") {
+    installHost(host);
+    const sf = parse(source, fileName);
+    const init = exportInitializer(sf, name, host.profile === "data-host");
+    if (!init)
+        return { ok: false, rule: "S-Module", line: 1, column: 1, message: `no export named ${name}` };
+    // F-Bind at the expression level: the file's own functions are bound so a
+    // same-file call folds here the way it does in a build.
+    const consts = collectConsts(sf);
+    const bound = new Map(externals);
+    for (const fn of collectLocalFunctions(sf, fileName, consts, bound))
+        bound.set(fn.name, fn);
+    try {
+        return { ok: true, value: foldExpr(init, { consts, externals: bound, depth: 0 }, { intrinsics: host.intrinsics }) };
+    }
+    catch (e) {
+        if (e instanceof FoldRejection)
+            return { ok: false, rule: e.rule, line: e.line, column: e.column, message: e.message };
+        throw e;
+    }
+}
+//# sourceMappingURL=module.js.map

package/dist/module.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.js","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1F,OAAO,EAAE,kBAAkB,EAAuB,MAAM,aAAa,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,UAAU,EAAa,MAAM,WAAW,CAAC;AAElD,MAAM,UAAU,WAAW,CAAC,IAAU,IAAU,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;AACrI,MAAM,UAAU,KAAK,CAAC,MAAc,EAAE,QAAQ,GAAG,YAAY,IAAmB,OAAO,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7J,MAAM,UAAU,iBAAiB,CAAC,EAAiB,EAAE,IAAY,EAAE,YAAY,GAAG,KAAK;IACrF,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QAC/B,wFAAwF;QACxF,IAAI,IAAI,KAAK,SAAS,IAAI,YAAY,IAAI,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc;YAAE,OAAO,EAAE,CAAC,UAAU,CAAC;QAChH,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;YAAE,SAAS;QAChH,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,YAAY;YAAE,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC,WAAW,CAAC;IAC7H,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AACD,2HAA2H;AAC3H,MAAM,UAAU,YAAY,CAAC,EAAiB;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACxF,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBAChD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxJ,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC;YACzK,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC;YAC1B,IAAI,CAAC,CAAC,IAAI;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC;gBAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,aAAa,CAAC,QAAQ;oBAAE,IAAI,CAAC,EAAE,CAAC,UAAU;wBAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,IAAY,EAAE,OAAa,UAAU;IACjF,WAAW,CAAC,IAAI,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAAC,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC;IACpH,IAAI,CAAC,IAAI;QAAE,OAAO,gBAAgB,CAAC;IACnC,OAAO,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC;AACrE,CAAC;AACD,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,IAAY,EAAE,OAAa,UAAU,EAAE,YAA0C,IAAI,GAAG,EAAE,EAAE,QAAQ,GAAG,YAAY;IAC5J,WAAW,CAAC,IAAI,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAAC,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC;IAC9H,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,mBAAmB,IAAI,EAAE,EAAE,CAAC;IAC1G,0EAA0E;IAC1E,wDAAwD;IACxD,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAkB,SAAS,CAAC,CAAC;IAClD,KAAK,MAAM,EAAE,IAAI,qBAAqB,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5F,IAAI,CAAC;QAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC;IAAC,CAAC;IAC5H,OAAO,CAAC,EAAE,CAAC;QAAC,IAAI,CAAC,YAAY,aAAa;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QAAC,MAAM,CAAC,CAAC;IAAC,CAAC;AAChJ,CAAC"}

package/dist/project.d.ts

@@ -0,0 +1,22 @@
+import { type Host } from "./host.js";
+export type Verdict = {
+    kind: "fold";
+    exports: Map<string, unknown>;
+    captures: Set<string>;
+} | {
+    kind: "run";
+    rule: string;
+    reason: string;
+};
+export interface ProjectResult {
+    /** Final verdicts, after the fixpoint. */
+    readonly verdicts: Map<string, Verdict>;
+    /** Tentative J2 verdicts, before J3 disposed of them. */
+    readonly tentative: Map<string, Verdict>;
+    /** Why a file that reduced on its own was nonetheless tainted. */
+    readonly taintReason: Map<string, string>;
+    /** The file whose taint reached it, the other end of the F-Succ edge that fired. */
+    readonly taintSource: Map<string, string>;
+}
+export declare function foldProject(files: ReadonlyMap<string, string>, host?: Host): ProjectResult;
+//# sourceMappingURL=project.d.ts.map

package/dist/project.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project.d.ts","sourceRoot":"","sources":["../src/project.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAc,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AAMlD,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAAE,GACtE;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAsYlD,MAAM,WAAW,aAAa;IAC5B,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,yDAAyD;IACzD,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,kEAAkE;IAClE,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,oFAAoF;IACpF,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC3C;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,GAAE,IAAiB,GAAG,aAAa,CAoEtG"}