@intentius/tsad-reference 1.4.0

package/dist/project.js

@@ -0,0 +1,481 @@
+/**
+ * J2, the per-file verdict, and J3, the identity-taint fixpoint.
+ *
+ * Written from `spec/judgments.md` (#21, #22), not derived from any
+ * implementation. A project here is a map of path to source; there is no
+ * filesystem and no real module system, which is enough for the judgments
+ * because both are defined over a finite set of files and the edges between
+ * them.
+ *
+ * Revival (`F-Val-Fate`, #61) runs through the host the caller supplies: a
+ * `{__resource}` envelope becomes a real instance of the class the folding
+ * file imported, and with `EMPTY_HOST` it stays an envelope, which is an
+ * object either way as far as F-Capture's identity test is concerned. What
+ * this file does not do is in `CAVEATS.md`.
+ */
+import { posix } from "node:path";
+import * as ts from "typescript";
+import { EMPTY_HOST } from "./host.js";
+import { foldExpr, collectConsts, collectLocalFunctions, FoldRejection, isFoldableFunction } from "./fold.js";
+import { registerHelpers, registerHostSpecifiers, isHostOwnedSpecifier } from "./foldable-helpers.js";
+import { revive } from "./revive.js";
+const parse = (path, source) => ts.createSourceFile(path, source, ts.ScriptTarget.Latest, true);
+const isProjectSpecifier = (s) => s.startsWith(".") || s.startsWith("/");
+/**
+ * Resolve a relative specifier against the project's own key set: the
+ * specifier joined to the importer's directory and normalised, then the three
+ * obvious candidates. `..` segments are resolved; the corpus found a version
+ * of this that left `../../config` unjoined, which dropped the import edge and
+ * with it the forward taint, so a file chant ran folded here (#96).
+ */
+function resolveKey(from, spec, files) {
+    const base = from.includes("/") ? from.slice(0, from.lastIndexOf("/") + 1) : "";
+    const joined = posix.normalize(base + spec).replace(/^\.\//, "");
+    for (const cand of [joined, `${joined}.ts`, `${joined}/index.ts`])
+        if (files.has(cand))
+            return cand;
+    return undefined;
+}
+function scanExports(sf, admitDefault) {
+    const out = [];
+    for (const st of sf.statements) {
+        if (ts.isExportAssignment(st)) {
+            // S-ExportDefault (spec 1.2, #94): in data-host, `export default ⟨Expr⟩`
+            // is the declarator named `default`; in full it stays S-Disqualify until
+            // chant admits it. `export = …` disqualifies in both.
+            if (st.isExportEquals || !admitDefault)
+                return { declarators: out, disqualified: "`export default` is not foldable" };
+            out.push({ kind: "default", expr: st.expression });
+            continue;
+        }
+        if (ts.isExportDeclaration(st)) {
+            if (st.isTypeOnly)
+                continue;
+            if (!st.exportClause || !ts.isNamedExports(st.exportClause)) {
+                return { declarators: out, disqualified: "`export * from` is not foldable" };
+            }
+            const elements = st.exportClause.elements
+                .filter((e) => !e.isTypeOnly)
+                .map((e) => ({ imported: (e.propertyName ?? e.name).text, local: (e.propertyName ?? e.name).text, as: e.name.text }));
+            if (st.moduleSpecifier && ts.isStringLiteral(st.moduleSpecifier)) {
+                out.push({ kind: "re-export", specifier: st.moduleSpecifier.text, elements });
+            }
+            else {
+                out.push({ kind: "named-export", elements: elements.map(({ local, as }) => ({ local, as })) });
+            }
+            continue;
+        }
+        const exported = st.modifiers?.some((m) => m.kind === ts.SyntaxKind.ExportKeyword);
+        if (ts.isFunctionDeclaration(st) && exported) {
+            if (st.modifiers?.some((m) => m.kind === ts.SyntaxKind.DefaultKeyword) || !st.name) {
+                return { declarators: out, disqualified: "`export default function` is not foldable" };
+            }
+            if (st.body)
+                out.push({ kind: "function", name: st.name.text, fn: st });
+            continue;
+        }
+        if (ts.isClassDeclaration(st) && exported)
+            return { declarators: out, disqualified: "an exported class is not foldable" };
+        if (!ts.isVariableStatement(st) || !exported)
+            continue;
+        if ((st.declarationList.flags & ts.NodeFlags.Const) === 0) {
+            return { declarators: out, disqualified: "an exported `let`/`var` is not foldable" };
+        }
+        for (const d of st.declarationList.declarations) {
+            if (!d.initializer)
+                return { declarators: out, disqualified: "an exported uninitialized declaration is not foldable" };
+            if (ts.isIdentifier(d.name)) {
+                out.push({ kind: ts.isNewExpression(d.initializer) ? "resource" : "single", name: d.name.text, expr: d.initializer });
+                continue;
+            }
+            if (ts.isObjectBindingPattern(d.name)) {
+                const elements = [];
+                for (const el of d.name.elements) {
+                    if (el.dotDotDotToken || el.initializer || !ts.isIdentifier(el.name)) {
+                        return { declarators: out, disqualified: "an exported destructured declaration with a rest, default, or nested element is not foldable" };
+                    }
+                    elements.push({ key: (el.propertyName ?? el.name).text, as: el.name.text });
+                }
+                out.push({ kind: "destructure", expr: d.initializer, elements });
+                continue;
+            }
+            return { declarators: out, disqualified: "an exported array-destructured declaration is not foldable" };
+        }
+    }
+    return { declarators: out };
+}
+/**
+ * Index every non-primitive `f` produced, so a later file's capture of one is
+ * attributable. "Non-primitive" is F-Identity's reference test, the broad one
+ * F-Import uses: a plain object counts, and the walk does not ask whether
+ * anything inside it is live.
+ */
+function indexOwned(value, file, session, seen = new Set()) {
+    if (value === null || typeof value !== "object")
+        return;
+    if (seen.has(value))
+        return;
+    seen.add(value);
+    if (!session.owner.has(value))
+        session.owner.set(value, file);
+    // Recurse through plain structure only: an entity's interior belongs to the
+    // entity, and reaching into it would attribute its fields to the wrong file.
+    const proto = Object.getPrototypeOf(value);
+    if (proto !== Object.prototype && proto !== Array.prototype && proto !== null)
+        return;
+    for (const inner of Object.values(value))
+        indexOwned(inner, file, session, seen);
+}
+/**
+ * F-Capture, decided over the produced namespace: which other files' objects
+ * are in `X(f)`.
+ *
+ * The walk descends through an entity's own properties as well as through
+ * plain structure, which is where `indexOwned` above stops. F-Capture asks
+ * whether some value in `X(f)` came from `X(g)`, and an object handed to a
+ * constructor is still in `X(f)` after the constructor kept it. Stopping at
+ * the entity lost the edge entirely for the ordinary case, a shared plain
+ * object passed as a resource's `labels`, and the loss was invisible until
+ * the corpus ran against a real host (#25): with no host the entity never
+ * becomes an instance, so the walk stayed inside plain objects and found the
+ * object anyway.
+ */
+function capturesIn(value, self, session, out, seen = new Set()) {
+    if (value === null || typeof value !== "object")
+        return;
+    if (seen.has(value))
+        return;
+    seen.add(value);
+    const from = session.owner.get(value);
+    if (from !== undefined && from !== self)
+        out.add(from);
+    for (const inner of ownData(value))
+        capturesIn(inner, self, session, out, seen);
+}
+/**
+ * An object's own data properties, enumerable or not, accessors skipped.
+ *
+ * A host's entity class is free to keep what it was handed wherever it likes,
+ * and chant's keeps it on a non-enumerable `props`. `Object.values` cannot see
+ * that, so a capture walk built on it reports no capture for the ordinary case
+ * of a shared object passed to a constructor. Accessors are skipped rather
+ * than invoked: reading one can throw (chant's `AttrRef.toJSON` does, for a
+ * reference whose logical name is not yet assigned), and an accessor computes
+ * a value rather than holding one.
+ */
+function ownData(value) {
+    // An object held weakly is still held: an attribute reference keeps its
+    // entity behind a `WeakRef`, and the file holding the reference holds the
+    // entity for F-Capture's purposes, the same as if it held it directly.
+    if (value instanceof WeakRef) {
+        const target = value.deref();
+        return target === undefined ? [] : [target];
+    }
+    const out = [];
+    for (const key of Reflect.ownKeys(value)) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, key);
+        if (descriptor && "value" in descriptor)
+            out.push(descriptor.value);
+    }
+    return out;
+}
+/** Every value binding a non-type-only import clause introduces. */
+function bindingNames(clause) {
+    const out = [];
+    if (clause.name)
+        out.push(clause.name.text);
+    const nb = clause.namedBindings;
+    if (nb && ts.isNamespaceImport(nb))
+        out.push(nb.name.text);
+    if (nb && ts.isNamedImports(nb))
+        for (const el of nb.elements)
+            if (!el.isTypeOnly)
+                out.push(el.name.text);
+    return out;
+}
+function verdictOf(path, session) {
+    const memo = session.memo.get(path);
+    if (memo)
+        return memo;
+    if (session.stack.includes(path)) {
+        // F-Cycle: a located error naming the cycle, not an infinite regress.
+        return { kind: "run", rule: "F-Cycle", reason: `import cycle: ${[...session.stack, path].join(" -> ")}` };
+    }
+    session.stack.push(path);
+    const v = foldFile(path, session);
+    session.stack.pop();
+    session.memo.set(path, v);
+    return v;
+}
+function foldFile(path, session) {
+    const source = session.files.get(path);
+    if (source === undefined)
+        return { kind: "run", rule: "F-NotProject", reason: `${path} is not project source` };
+    const sf = parse(path, source);
+    // F-Scan
+    const scan = scanExports(sf, session.host.profile === "data-host");
+    if (scan.disqualified)
+        return { kind: "run", rule: "F-Scan", reason: scan.disqualified };
+    // F-NoExports
+    if (scan.declarators.length === 0)
+        return { kind: "run", rule: "F-NoExports", reason: "no foldable resource exports" };
+    // F-Bind
+    const consts = collectConsts(sf);
+    const externals = new Map();
+    const captures = new Set();
+    const mine = [];
+    session.locals.set(path, mine);
+    /** F-Import: why a binding was left unresolved, "for diagnostics only". */
+    const unresolved = new Map();
+    // F-Import
+    for (const st of sf.statements) {
+        if (!ts.isImportDeclaration(st) || !ts.isStringLiteral(st.moduleSpecifier))
+            continue;
+        const spec = st.moduleSpecifier.text;
+        const clause = st.importClause;
+        if (!clause || clause.isTypeOnly)
+            continue;
+        if (!isProjectSpecifier(spec)) {
+            // F-Import, bare specifier: a package is never a member of F. A host-owned
+            // one still binds its REAL exports (F-Host-Trust arm 1), which is what lets
+            // revival construct anything at all (F-Val-Fate).
+            const supplied = session.host.values.get(spec);
+            if (supplied && isHostOwnedSpecifier(spec) && clause.namedBindings && ts.isNamedImports(clause.namedBindings)) {
+                for (const el of clause.namedBindings.elements) {
+                    if (el.isTypeOnly)
+                        continue;
+                    const imported = (el.propertyName ?? el.name).text;
+                    if (supplied.has(imported))
+                        externals.set(el.name.text, supplied.get(imported));
+                }
+            }
+            continue;
+        }
+        const target = resolveKey(path, spec, session.files);
+        if (!target)
+            continue;
+        const tv = verdictOf(target, session);
+        if (tv.kind !== "fold") {
+            // F-Import: the binding is not resolved, and the cause is kept for F-Reason.
+            for (const n of bindingNames(clause))
+                unresolved.set(n, { rule: tv.rule, reason: tv.reason });
+            continue;
+        }
+        if (clause.name && tv.exports.has("default")) {
+            // `import n from "./g"` binds the target's default export (S-ExportDefault, spec 1.2).
+            const value = tv.exports.get("default");
+            externals.set(clause.name.text, value);
+            if (value !== null && typeof value === "object" && !isFoldableFunction(value))
+                captures.add(target);
+        }
+        if (clause.namedBindings && ts.isNamespaceImport(clause.namedBindings)) {
+            // F-Namespace: a synthetic plain object of the target's entries.
+            const ns = Object.fromEntries(tv.exports);
+            externals.set(clause.namedBindings.name.text, ns);
+            continue;
+        }
+        if (clause.namedBindings && ts.isNamedImports(clause.namedBindings)) {
+            for (const el of clause.namedBindings.elements) {
+                if (el.isTypeOnly)
+                    continue;
+                const imported = (el.propertyName ?? el.name).text;
+                if (!tv.exports.has(imported))
+                    continue;
+                const value = tv.exports.get(imported);
+                externals.set(el.name.text, value);
+                // F-Import: an imported value with identity is a capture at the
+                // import, by F-Identity's reference test, whether or not it reaches
+                // X(f). A project-local function is a callable, not a value, and
+                // F-CallLeak decides its edge at the call instead. The corpus found
+                // the walk over X(f) below is not enough on its own: a file that
+                // reads only primitives out of an imported object holds no object in
+                // its namespace, and chant taints it anyway, as the text says (#96).
+                if (value !== null && typeof value === "object" && !isFoldableFunction(value))
+                    captures.add(target);
+            }
+        }
+    }
+    // F-Declarator, into X
+    const scope = { consts, externals, depth: 0, captures };
+    const evalHost = { intrinsics: session.host.intrinsics };
+    const exports = new Map();
+    /** F-Val-Fate: what the declarator produced, revived through this file's own imports. */
+    const live = (v, node, what) => {
+        const { line, character } = sf.getLineAndCharacterOfPosition(node.getStart());
+        return revive(v, externals, { line: line + 1, column: character + 1, what });
+    };
+    // F-Bind, S-LocalFunction: the file's own functions, exported or not, bound
+    // before anything can call them. The exported ones are also declarators
+    // below, and reuse the same marker so F-CallLeak's flag is one object.
+    for (const fn of collectLocalFunctions(sf, path, consts, externals)) {
+        mine.push(fn);
+        externals.set(fn.name, fn);
+    }
+    // F-Prebuild: every same-file `const n = new T(…)`, exported or not, built
+    // once in source order before any declarator reads it, and bound in
+    // `externals` where F-Eval-Ident step 1 looks. A construction that fails is
+    // skipped rather than failing the file here: the name stays unbound, a
+    // reference to it rejects under step 1, and an exported one reproduces the
+    // failure below with its own located reason. `collectConsts` yields source
+    // order, so a later construction sees an earlier one (#68).
+    const prebuilt = new Map();
+    for (const [name, init] of consts) {
+        if (!ts.isNewExpression(init))
+            continue;
+        try {
+            const instance = live(foldExpr(init, scope, evalHost), init, name);
+            prebuilt.set(init, instance);
+            externals.set(name, instance);
+        }
+        catch (e) {
+            if (!(e instanceof FoldRejection))
+                throw e;
+        }
+    }
+    for (const d of scan.declarators) {
+        try {
+            if (d.kind === "resource") {
+                // F-Count: the instance F-Prebuild built for this initializer is the
+                // one exported; a second construction would be a second entity.
+                exports.set(d.name, prebuilt.has(d.expr) ? prebuilt.get(d.expr) : live(foldExpr(d.expr, scope, evalHost), d.expr, d.name));
+            }
+            else if (d.kind === "single") {
+                exports.set(d.name, live(foldExpr(d.expr, scope, evalHost), d.expr, d.name));
+            }
+            else if (d.kind === "destructure") {
+                const base = live(foldExpr(d.expr, scope, evalHost), d.expr, "a destructured declaration");
+                if (base === null || typeof base !== "object") {
+                    return { kind: "run", rule: "F-Declarator", reason: "destructured source is not an object" };
+                }
+                for (const el of d.elements)
+                    exports.set(el.as, base[el.key]);
+            }
+            else if (d.kind === "named-export") {
+                for (const el of d.elements) {
+                    const init = consts.get(el.local);
+                    // Through F-Eval-Ident, never by re-folding the initializer: a name
+                    // bound to a same-file `new` reads F-Prebuild's instance, and a
+                    // failed one reproduces step 1's rejection rather than building a
+                    // second entity here.
+                    const v = init && ts.isNewExpression(init)
+                        ? prebuilt.has(init)
+                            ? prebuilt.get(init)
+                            : live(foldExpr(init, scope, evalHost), init, el.as)
+                        : init
+                            ? live(foldExpr(init, scope, evalHost), init, el.as)
+                            : externals.get(el.local);
+                    if (v === undefined && !consts.has(el.local) && !externals.has(el.local)) {
+                        return { kind: "run", rule: "F-Reference", reason: `unresolved identifier: ${el.local}` };
+                    }
+                    exports.set(el.as, v);
+                }
+            }
+            else if (d.kind === "re-export") {
+                const target = resolveKey(path, d.specifier, session.files);
+                if (!target)
+                    return { kind: "run", rule: "F-Import", reason: `cannot resolve re-export from ${d.specifier}` };
+                const tv = verdictOf(target, session);
+                if (tv.kind !== "fold")
+                    return { kind: "run", rule: "F-Import", reason: `re-export source ${target} falls back to run` };
+                // A re-export is a capture, and the owner index below records it as one.
+                for (const el of d.elements)
+                    exports.set(el.as, tv.exports.get(el.imported));
+            }
+            else if (d.kind === "function") {
+                exports.set(d.name, externals.get(d.name));
+            }
+            else if (d.kind === "default") {
+                exports.set("default", live(foldExpr(d.expr, scope, evalHost), d.expr, "default"));
+            }
+        }
+        catch (e) {
+            // F-Total: one failed declarator is a failure of the whole file. F-Reason.
+            if (e instanceof FoldRejection) {
+                // F-Reason: an unresolved identifier that came from an unresolved import
+                // reports the import's own cause, not just the bare name.
+                const name = /unresolved identifier: (\w+)$/.exec(e.message)?.[1];
+                const cause = name ? unresolved.get(name) : undefined;
+                if (cause) {
+                    const rule = cause.rule === "F-Cycle" ? "F-Cycle" : "F-Import";
+                    return { kind: "run", rule, reason: `${e.message} (its module falls back to run: ${cause.reason})` };
+                }
+                return { kind: "run", rule: e.rule, reason: e.message };
+            }
+            throw e;
+        }
+    }
+    // F-Capture over X(f). F-CallLeak has already put its own edges in `captures`.
+    for (const v of exports.values())
+        capturesIn(v, path, session, captures);
+    for (const v of exports.values())
+        indexOwned(v, path, session);
+    return { kind: "fold", exports, captures };
+}
+export function foldProject(files, host = EMPTY_HOST) {
+    registerHelpers(host.helpers);
+    registerHostSpecifiers(host.ownedSpecifierPrefixes);
+    const session = { files, host, memo: new Map(), stack: [], locals: new Map(), owner: new Map() };
+    const tentative = new Map();
+    for (const path of files.keys())
+        tentative.set(path, verdictOf(path, session));
+    // Edges. Forward: f imports g. Backward: c captured from f.
+    const imports = new Map();
+    for (const [path, source] of files) {
+        const set = new Set();
+        for (const st of parse(path, source).statements) {
+            const spec = (ts.isImportDeclaration(st) || ts.isExportDeclaration(st)) && st.moduleSpecifier && ts.isStringLiteral(st.moduleSpecifier)
+                ? st.moduleSpecifier.text
+                : undefined;
+            if (!spec || !isProjectSpecifier(spec))
+                continue;
+            const target = resolveKey(path, spec, files);
+            if (target)
+                set.add(target);
+        }
+        imports.set(path, set);
+    }
+    // F-Succ. Both directions from one tainted file.
+    const succ = new Map();
+    const add = (from, to) => {
+        if (!succ.has(from))
+            succ.set(from, new Set());
+        succ.get(from).add(to);
+    };
+    for (const [f, gs] of imports)
+        for (const g of gs)
+            add(f, g); // forward: f taints what it imports
+    for (const [c, v] of tentative) {
+        if (v.kind !== "fold")
+            continue;
+        for (const source of v.captures)
+            add(source, c); // backward: the captured source taints the capturer
+    }
+    // F-Seed, F-Taint, F-Fix: least fixpoint by worklist over a finite set.
+    const tainted = new Set([...tentative].filter(([, v]) => v.kind !== "fold").map(([p]) => p));
+    const reason = new Map();
+    const source = new Map();
+    const queue = [...tainted];
+    while (queue.length > 0) {
+        const current = queue.shift();
+        for (const next of succ.get(current) ?? []) {
+            if (tainted.has(next))
+                continue;
+            tainted.add(next);
+            source.set(next, current);
+            // F-Reason for a taint: name the edge that fired. The forward edge is the
+            // one a reader can see in the file's own imports; the backward edge is the
+            // one nothing in the file predicts, so it has to be spelled out.
+            reason.set(next, imports.get(current)?.has(next)
+                ? `would fold in isolation, but ${current}, which imports it, falls back to run`
+                : `would fold in isolation, but it captured objects from ${current}, which falls back to run`);
+            queue.push(next);
+        }
+    }
+    // F-Verdict
+    const verdicts = new Map();
+    for (const [path, v] of tentative) {
+        verdicts.set(path, tainted.has(path) && v.kind === "fold" ? { kind: "run", rule: "F-Taint", reason: reason.get(path) ?? "tainted" } : v);
+    }
+    return { verdicts, tentative, taintReason: reason, taintSource: source };
+}
+//# sourceMappingURL=project.js.map

package/dist/project.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project.js","sourceRoot":"","sources":["../src/project.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,UAAU,EAAa,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,qBAAqB,EAAE,aAAa,EAAoB,kBAAkB,EAAc,MAAM,WAAW,CAAC;AAC5I,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AACtG,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAOrC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAChH,MAAM,kBAAkB,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AAEjF;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,IAAY,EAAE,IAAY,EAAE,KAAkC;IAChF,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,MAAM,KAAK,EAAE,GAAG,MAAM,WAAW,CAAC;QAAE,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IACpG,OAAO,SAAS,CAAC;AACnB,CAAC;AAaD,SAAS,WAAW,CAAC,EAAiB,EAAE,YAAqB;IAC3D,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,yEAAyE;YACzE,yEAAyE;YACzE,sDAAsD;YACtD,IAAI,EAAE,CAAC,cAAc,IAAI,CAAC,YAAY;gBAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,kCAAkC,EAAE,CAAC;YACtH,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC;YACnD,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,UAAU;gBAAE,SAAS;YAC5B,IAAI,CAAC,EAAE,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC5D,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,iCAAiC,EAAE,CAAC;YAC/E,CAAC;YACD,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ;iBACtC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;iBAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACxH,IAAI,EAAE,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;gBACjE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAChF,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACjG,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAI,EAAoD,CAAC,SAAS,EAAE,IAAI,CACpF,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAC9C,CAAC;QACF,IAAI,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC7C,IAAI,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;gBACnF,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,2CAA2C,EAAE,CAAC;YACzF,CAAC;YACD,IAAI,EAAE,CAAC,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,QAAQ;YAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,mCAAmC,EAAE,CAAC;QAC1H,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ;YAAE,SAAS;QACvD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1D,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,yCAAyC,EAAE,CAAC;QACvF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YAChD,IAAI,CAAC,CAAC,CAAC,WAAW;gBAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,uDAAuD,EAAE,CAAC;YACvH,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gBACtH,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,MAAM,QAAQ,GAAkC,EAAE,CAAC;gBACnD,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjC,IAAI,EAAE,CAAC,cAAc,IAAI,EAAE,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;wBACrE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,8FAA8F,EAAE,CAAC;oBAC5I,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAG,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,IAAI,CAAmB,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBACjG,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACjE,SAAS;YACX,CAAC;YACD,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,4DAA4D,EAAE,CAAC;QAC1G,CAAC;IACH,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;AAC9B,CAAC;AAqBD;;;;;GAKG;AACH,SAAS,UAAU,CAAC,KAAc,EAAE,IAAY,EAAE,OAAgB,EAAE,OAAO,IAAI,GAAG,EAAW;IAC3F,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACxD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IAC5B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9D,4EAA4E;IAC5E,6EAA6E;IAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,KAAK,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IACtF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AACnF,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,UAAU,CAAC,KAAc,EAAE,IAAY,EAAE,OAAgB,EAAE,GAAgB,EAAE,OAAO,IAAI,GAAG,EAAW;IAC7G,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACxD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IAC5B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,OAAO,CAAC,KAAa;IAC5B,wEAAwE;IACxE,0EAA0E;IAC1E,uEAAuE;IACvE,IAAI,KAAK,YAAY,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC7B,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,UAAU,IAAI,OAAO,IAAI,UAAU;YAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oEAAoE;AACpE,SAAS,YAAY,CAAC,MAAuB;IAC3C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,MAAM,CAAC,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC;IAChC,IAAI,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,EAAE,IAAI,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;QAAE,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,QAAQ;YAAE,IAAI,CAAC,EAAE,CAAC,UAAU;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1G,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,OAAgB;IAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IACtB,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,sEAAsE;QACtE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;IAC5G,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACpB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,OAAgB;IAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,IAAI,wBAAwB,EAAE,CAAC;IAChH,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAE/B,SAAS;IACT,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC;IACnE,IAAI,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACzF,cAAc;IACd,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;IAEvH,SAAS;IACT,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,IAAI,GAAuB,EAAE,CAAC;IACpC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,2EAA2E;IAC3E,MAAM,UAAU,GAAG,IAAI,GAAG,EAA4C,CAAC;IAEvE,WAAW;IACX,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,eAAe,CAAC;YAAE,SAAS;QACrF,MAAM,IAAI,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACrC,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC;QAC/B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU;YAAE,SAAS;QAC3C,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,2EAA2E;YAC3E,4EAA4E;YAC5E,kDAAkD;YAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,QAAQ,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC9G,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;oBAC/C,IAAI,EAAE,CAAC,UAAU;wBAAE,SAAS;oBAC5B,MAAM,QAAQ,GAAG,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;oBACnD,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;wBAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACvB,6EAA6E;YAC7E,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;YAC9F,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7C,uFAAuF;YACvF,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACxC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtG,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;YACvE,iEAAiE;YACjE,MAAM,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;YAC1C,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClD,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;YACpE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;gBAC/C,IAAI,EAAE,CAAC,UAAU;oBAAE,SAAS;gBAC5B,MAAM,QAAQ,GAAG,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;gBACnD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACxC,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACvC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACnC,gEAAgE;gBAChE,oEAAoE;gBACpE,iEAAiE;gBACjE,oEAAoE;gBACpE,iEAAiE;gBACjE,qEAAqE;gBACrE,qEAAqE;gBACrE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtG,CAAC;QACH,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,MAAM,KAAK,GAAU,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC/D,MAAM,QAAQ,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;IACzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC3C,yFAAyF;IACzF,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,IAAa,EAAE,IAAY,EAAE,EAAE;QACvD,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9E,OAAO,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/E,CAAC,CAAC;IAEF,4EAA4E;IAC5E,wEAAwE;IACxE,uEAAuE;IACvE,KAAK,MAAM,EAAE,IAAI,qBAAqB,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;QACpE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACd,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7B,CAAC;IAED,2EAA2E;IAC3E,oEAAoE;IACpE,4EAA4E;IAC5E,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,4DAA4D;IAC5D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YAAE,SAAS;QACxC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YACnE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7B,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,CAAC,YAAY,aAAa,CAAC;gBAAE,MAAM,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1B,qEAAqE;gBACrE,gEAAgE;gBAChE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7H,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/E,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACpC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;gBAC3F,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC9C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,sCAAsC,EAAE,CAAC;gBAC/F,CAAC;gBACD,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAG,IAAgC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7F,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBACrC,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;oBAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;oBAClC,oEAAoE;oBACpE,gEAAgE;oBAChE,kEAAkE;oBAClE,sBAAsB;oBACtB,MAAM,CAAC,GACL,IAAI,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;wBAC9B,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;4BAClB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;4BACpB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;wBACtD,CAAC,CAAC,IAAI;4BACJ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;4BACpD,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;oBAChC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;wBACzE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC;oBAC5F,CAAC;oBACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC5D,IAAI,CAAC,MAAM;oBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,iCAAiC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;gBAC9G,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBACtC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,oBAAoB,MAAM,oBAAoB,EAAE,CAAC;gBACzH,yEAAyE;gBACzE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/E,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACjC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7C,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAChC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,2EAA2E;YAC3E,IAAI,CAAC,YAAY,aAAa,EAAE,CAAC;gBAC/B,yEAAyE;gBACzE,0DAA0D;gBAC1D,MAAM,IAAI,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAClE,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACtD,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;oBAC/D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,mCAAmC,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC;gBACvG,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1D,CAAC;YACD,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IACD,+EAA+E;IAC/E,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE;QAAE,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE;QAAE,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC;AAcD,MAAM,UAAU,WAAW,CAAC,KAAkC,EAAE,OAAa,UAAU;IACrF,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,sBAAsB,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACpD,MAAM,OAAO,GAAY,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAE1G,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE;QAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAE/E,4DAA4D;IAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;YAChD,MAAM,IAAI,GACR,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,eAAe,CAAC;gBACxH,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI;gBACzB,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAAE,SAAS;YACjD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7C,IAAI,MAAM;gBAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,iDAAiD;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAU,EAAE,EAAE;QACvC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO;QAAE,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,oCAAoC;IAClG,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAChC,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,QAAQ;YAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,oDAAoD;IACvG,CAAC;IACD,wEAAwE;IACxE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC1B,0EAA0E;YAC1E,2EAA2E;YAC3E,iEAAiE;YACjE,MAAM,CAAC,GAAG,CACR,IAAI,EACJ,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC;gBAC7B,CAAC,CAAC,gCAAgC,OAAO,uCAAuC;gBAChF,CAAC,CAAC,yDAAyD,OAAO,2BAA2B,CAChG,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,YAAY;IACZ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC;QAClC,QAAQ,CAAC,GAAG,CACV,IAAI,EACJ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CACrH,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AAC3E,CAAC"}

package/dist/revive.d.ts

@@ -0,0 +1,16 @@
+/** Where a revival happened, for the located rejection F-Reason wants. */
+export interface RevivalSite {
+    readonly line: number;
+    readonly column: number;
+    /** The declarator or call this tree came from, for the message. */
+    readonly what: string;
+}
+/**
+ * @param bindings the folding file's resolved names, `externals`. A host-owned
+ *   import puts the real value here (F-Import, F-Host-Trust arm 1), which is
+ *   what makes revival possible at all.
+ * @param inHostArgs true inside an intrinsic's or helper's arguments, where
+ *   F-Val-Position rejects an `{__attrRef}` instead of passing it through.
+ */
+export declare function revive(value: unknown, bindings: ReadonlyMap<string, unknown>, site: RevivalSite, inHostArgs?: boolean): unknown;
+//# sourceMappingURL=revive.d.ts.map

package/dist/revive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revive.d.ts","sourceRoot":"","sources":["../src/revive.ts"],"names":[],"mappings":"AAiBA,0EAA0E;AAC1E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,mEAAmE;IACnE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAMD;;;;;;GAMG;AACH,wBAAgB,MAAM,CACpB,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EACtC,IAAI,EAAE,WAAW,EACjB,UAAU,UAAQ,GACjB,OAAO,CAsBT"}

package/dist/revive.js

@@ -0,0 +1,109 @@
+/**
+ * F-Val-Fate: revival. A folded tree holds envelopes, values that *denote*
+ * something not yet constructed; revival walks the tree and replaces each one
+ * by resolving its name through the folding file's own imports and invoking
+ * the real constructor or function the host supplies (#61).
+ *
+ * Written from `spec/values.md`. Five of the six envelope kinds are here.
+ * `__compositeStep` is not: its fate is "resolve the composite (J2 F-Call),
+ * then read `.step` off the real result", and this implementation has no
+ * composite factory form, so it rejects rather than guessing. See CAVEATS.md.
+ *
+ * Revival is J2's step, not J1's. `foldExpr` yields envelopes and that is the
+ * answer the expression fixtures compare; `F-Declarator` revives what the
+ * declarator produced.
+ */
+import { FoldRejection, isEnvelope, isLiveObject } from "./fold.js";
+const DOTTED = /^[A-Za-z_$][A-Za-z0-9_$]*(?:\.[A-Za-z_$][A-Za-z0-9_$]*)*$/;
+/**
+ * @param bindings the folding file's resolved names, `externals`. A host-owned
+ *   import puts the real value here (F-Import, F-Host-Trust arm 1), which is
+ *   what makes revival possible at all.
+ * @param inHostArgs true inside an intrinsic's or helper's arguments, where
+ *   F-Val-Position rejects an `{__attrRef}` instead of passing it through.
+ */
+export function revive(value, bindings, site, inHostArgs = false) {
+    if (value === null || typeof value !== "object")
+        return value;
+    // F-Val-Live: a live object passes through unchanged, never rebuilt.
+    if (isLiveObject(value))
+        return value;
+    // A structure with no envelope anywhere inside is already final, and is
+    // returned AS IS rather than rebuilt. F-Memo requires every reference to
+    // X(g) to be the same object; a rebuilt copy would make F-Capture record an
+    // edge to a copy and the judgment vacuous.
+    if (Array.isArray(value)) {
+        const next = value.map((v) => revive(v, bindings, site, inHostArgs));
+        return next.every((v, i) => v === value[i]) ? value : next;
+    }
+    if (!isEnvelope(value)) {
+        const out = {};
+        let changed = false;
+        for (const [k, v] of Object.entries(value)) {
+            out[k] = revive(v, bindings, site, inHostArgs);
+            if (out[k] !== v)
+                changed = true;
+        }
+        return changed ? out : value;
+    }
+    return reviveEnvelope(value, bindings, site, inHostArgs);
+}
+function fail(site, message) {
+    throw new FoldRejection("F-Val-Fate", site.line, site.column, `${site.what}: ${message}`);
+}
+function resolve(name, bindings, site) {
+    if (!bindings.has(name))
+        fail(site, `revival cannot resolve ${name}; the folding file does not import it from the host`);
+    return bindings.get(name);
+}
+function callable(name, bindings, site) {
+    const v = resolve(name, bindings, site);
+    if (typeof v !== "function")
+        fail(site, `${name} resolves to ${typeof v}, which revival cannot invoke`);
+    return v;
+}
+function reviveEnvelope(e, bindings, site, inHostArgs) {
+    // `__attrRef` is the one envelope that survives, except inside host arguments.
+    if ("__attrRef" in e) {
+        if (inHostArgs) {
+            const { entity, attribute } = e.__attrRef;
+            fail(site, `an attribute reference (${entity}.${attribute}) inside a host call's arguments is rejected, not revived (F-Val-Position)`);
+        }
+        return e;
+    }
+    const args = (a) => a.map((x) => revive(x, bindings, site, true));
+    if ("__resource" in e) {
+        const name = e.__resource;
+        const C = callable(name, bindings, site);
+        // F-Val-Arity: spread `args` when present, otherwise props and optional attributes.
+        if (Array.isArray(e.args))
+            return new C(...e.args.map((x) => revive(x, bindings, site, false)));
+        const props = revive(e.props, bindings, site, false);
+        return "attributes" in e ? new C(props, revive(e.attributes, bindings, site, false)) : new C(props);
+    }
+    if ("__intrinsic" in e) {
+        const fn = callable(e.__intrinsic, bindings, site);
+        // The tag form keeps its cooked strings; the call form is a plain call.
+        if (Array.isArray(e.strings))
+            return fn(e.strings, ...args(e.values));
+        return fn(...args(e.args));
+    }
+    if ("__helper" in e)
+        return callable(e.__helper, bindings, site)(...args(e.args));
+    if ("__symbol" in e) {
+        const text = e.__symbol;
+        if (!DOTTED.test(text))
+            fail(site, `a symbolic reference revives only through a simple dotted chain, and "${text}" is not one`);
+        const [root, ...rest] = text.split(".");
+        let current = resolve(root, bindings, site);
+        for (const step of rest) {
+            if (current === null || current === undefined)
+                fail(site, `revival of "${text}" read "${step}" on ${String(current)}`);
+            current = current[step];
+        }
+        return current;
+    }
+    // __compositeStep
+    fail(site, "a composite step envelope needs a composite factory form, which this implementation does not have");
+}
+//# sourceMappingURL=revive.js.map