@intentius/tsad-reference 1.4.0

package/CAVEATS.md

@@ -0,0 +1,95 @@
+# What the reference implementation does not do, and what it found
+
+This package is written from `spec/` and nothing else (#50). Where the
+specification is silent, ambiguous, or asks for something the package cannot
+supply, the gap is recorded here rather than papered over in the code.
+
+## Two identity predicates
+
+Resolved in the specification by **F-Identity** (J3), which names the entity
+test and the reference test, says the entity test is the normative one, and
+says F-Import over-approximates on purpose. This package follows it: the
+reference test for import and re-export captures, the entity test for call
+leaks. Kept here as a pointer, because the code comments cite F-Identity and
+a reader of an older revision will not find it (#59).
+
+## Revival needs a host, and one envelope has no fate here
+
+**F-Val-Fate** is implemented (#61): a declarator's value is revived through
+the folding file's own imports, so a `{__resource}` becomes a real instance of
+the class the host supplies, `{__intrinsic}` and `{__helper}` are invoked, and
+`{__symbol}` resolves as a dotted chain. `{__attrRef}` passes through, and is
+rejected inside a host call's arguments per **F-Val-Position**.
+
+Two limits remain.
+
+`{__compositeStep}` has no fate here. Its revival is "resolve the composite
+(J2 F-Call), then read `.step` off the real result", and this package has no
+composite factory form, so revival rejects rather than guessing.
+
+Revival can only construct what a host supplies. With `EMPTY_HOST` an envelope
+has no class to become and revival rejects, which is correct rather than
+silent: a build that folds a resource and cannot revive it has not folded the
+file. Conformance fixtures name the host they need.
+
+## The composite factory form, measured
+
+The corpus cross-check (#25) puts a number on the gap above: 272 of chant's
+409 corpus files reach a composite factory call, directly or through a file
+that does, and none of them can be compared until this package has the form.
+The count is in `packages/conformance/corpus-report.md`.
+
+## Capture reaches inside an entity
+
+**F-Capture** is decided over the produced namespace, and the walk that decides
+it descends through an entity's own data properties, enumerable or not, and
+through a `WeakRef` to what it holds. chant's entity classes keep their props
+on a non-enumerable property and an attribute reference keeps its entity
+behind a `WeakRef`, so a walk over `Object.values` records no capture for the
+two ordinary cases: a shared object passed to a constructor, and an output
+built from another file's attribute. Neither was visible until the corpus ran
+against a real host (#25), because with `EMPTY_HOST` an entity never becomes
+an instance. Accessors are skipped, not invoked; one of chant's throws when
+read too early.
+
+## Same-file constructions are pre-built
+
+**F-Prebuild** (#68) is implemented: every top-level `const n = new T(…)` is
+constructed once, in source order, before any declarator is evaluated, and a
+reference to it reads that instance. This package originally rejected such a
+reference, which was the reading F-Eval-Ident step 1 licensed before the rule
+existed; the corpus found twelve chant examples that fold the shape.
+
+## Capture at the import, and over the namespace
+
+**F-Import** records a capture at the import for any imported value with
+identity, by F-Identity's reference test; **F-Capture** is decided over the
+produced namespace as well. This package did only the second until the
+corpus at `chant-v0.71.0` showed three files that read a primitive out of an
+imported object, held no object in their namespace, and were tainted by
+chant as F-Import's text says; it now does both (#96). A project-local
+function is excluded at the import, since it is a callable rather than a
+value and F-CallLeak decides its edge at the call.
+
+## No rules, and no provenance
+
+`rules.md` (spec `1.4`) specifies the contract a semantic rule runs under. This package runs none: it has no rule hook, and no value provenance, so a finding it produced could name no source line. Both wait on the harness half (#101).
+
+## No filesystem, no module resolution algorithm
+
+`foldProject` takes a map of path to source. Specifier resolution joins the
+specifier to the importer's directory, normalises `..` segments, and tries
+the three obvious candidates, `g`, `g.ts`, `g/index.ts`, against that map's
+keys. An earlier version left `../` specifiers unjoined, which dropped an
+import edge and a forward taint with it; the corpus found it (#96). The
+specification does not define a resolution algorithm, and does not need to:
+J3's `→` is "`f` imports `g`, `g ∈ F`" for whatever resolution the host uses.
+A conformance fixture therefore never depends on a resolution subtlety.
+
+## No isolation mode
+
+`ι` is always `open`. **F-IsolatedRefusal** distinguishes a mode in which
+resolving a binding would import or invoke project code, and this package
+never imports or invokes anything: every call it admits is J1's project-local
+call, which F-IsolatedRefusal explicitly does not restrict. The mode is
+therefore unobservable here, not unimplemented.

package/README.md

@@ -0,0 +1,42 @@
+# @intentius/tsad-reference
+
+A reference implementation of the specification in `spec/`, written from the
+specification text and nothing else (#50).
+
+## What it implements, and what it does not
+
+Implemented: shape classification, expression evaluation (J1), the per-file
+verdict and the identity-taint fixpoint (J2, J3, since #60), revival through
+a host's real constructors (F-Val-Fate, since #64), and the host interface's
+registry, helper allowlist, owned-specifier prefixes and values. It declares
+the specification version it implements (`specVersion` on its adapter), and
+the suite holds that to `spec/VERSION`.
+
+Not implemented, with the reason for each: `CAVEATS.md`. The composite factory
+form and isolation mode are the two that cost fixtures.
+
+## As a package
+
+`@intentius/tsad-reference` depends on `@intentius/tsad-conformance` for the
+adapter and host types only. Its major and minor are the specification version
+it implements; the patch is its own.
+
+## Provenance
+
+From #19 until #50 these files were a *port* of chant's, kept current by a
+sync script and a list of recorded cuts. That guaranteed agreement and made
+agreement uninformative: the cross-check was comparing the same code with
+itself. #50 replaced the ported evaluation layer with one written from the
+specification text.
+
+**One honest limit on how independent that is.** The author of the rewrite had
+previously read chant's implementation closely, while writing the
+specification from it. The rewrite was done from `grammar.md` and
+`judgments.md` without consulting the source, but it is not the test a reader
+who had never seen chant would constitute. What it does establish is that the
+specification text is complete enough to implement from, and it found one
+place where it was not: `spec/grammar.md`'s definition of an *unclaimed*
+callee, which four normative sentences used and none defined (#51).
+
+The cut list and the sync script are in git history at the commit that removed
+them, as the record of what the host interface was derived from.

package/dist/adapter.d.ts

@@ -0,0 +1,5 @@
+import type { ConformanceAdapter } from "@intentius/tsad-conformance";
+export declare const referenceAdapter: ConformanceAdapter;
+/** The same implementation judged in the data-host profile: no runtime, and S-ExportDefault admitted. */
+export declare const referenceDataHostAdapter: ConformanceAdapter;
+//# sourceMappingURL=adapter.d.ts.map

package/dist/adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAkC,MAAM,6BAA6B,CAAC;AA6CtG,eAAO,MAAM,gBAAgB,EAAE,kBAAuC,CAAC;AACvE,yGAAyG;AACzG,eAAO,MAAM,wBAAwB,EAAE,kBAA4C,CAAC"}

package/dist/adapter.js

@@ -0,0 +1,50 @@
+import { EMPTY_HOST } from "./host.js";
+import { shapeOfExport, foldExport } from "./module.js";
+import { foldProject } from "./project.js";
+/** A named conformance host, in this implementation's own terms. */
+function hostOf(h, profile) {
+    if (!h)
+        return { ...EMPTY_HOST, profile };
+    return {
+        profile,
+        intrinsics: h.intrinsics.map((i) => ({ name: i.name, isTag: i.isTag, foldsAsCall: i.foldsAsCall, foldsEagerly: i.foldsEagerly, outputKey: i.outputKey })),
+        helpers: h.helpers,
+        ownedSpecifierPrefixes: h.ownedSpecifierPrefixes,
+        values: h.values,
+    };
+}
+/** The reference reports spec rule identifiers directly: it is written from the spec. One adapter per profile (F-Profile). */
+function adapterFor(profile) {
+    return {
+        name: profile === "full" ? "reference" : `reference/${profile}`,
+        // Bumped by hand when the rule set this package implements moves; the
+        // conformance suite fails when it and spec/VERSION disagree (#18).
+        specVersion: "1.4",
+        shape(source, exportName) {
+            const v = shapeOfExport(source, exportName, { ...EMPTY_HOST, profile });
+            if (v === "no-such-export")
+                return { accepted: false, line: 1, column: 1, message: `no export named ${exportName}` };
+            if (!v)
+                return { accepted: true };
+            const { line, character } = v.node.getSourceFile().getLineAndCharacterOfPosition(v.node.getStart());
+            return { accepted: false, rule: v.rule, line: line + 1, column: character + 1, message: v.message };
+        },
+        foldExport(source, exportName) { return foldExport(source, exportName, { ...EMPTY_HOST, profile }); },
+        foldProject(files, host) {
+            const r = foldProject(files, hostOf(host, profile));
+            const out = { verdicts: {}, tentative: {}, taintedBy: {} };
+            for (const [path, v] of r.verdicts) {
+                out.verdicts[path] = v.kind === "fold" ? { kind: "fold", exports: Object.fromEntries(v.exports) } : { kind: "run", rule: v.rule, reason: v.reason };
+            }
+            for (const [path, v] of r.tentative)
+                out.tentative[path] = v.kind;
+            for (const [path, from] of r.taintSource)
+                out.taintedBy[path] = from;
+            return out;
+        },
+    };
+}
+export const referenceAdapter = adapterFor("full");
+/** The same implementation judged in the data-host profile: no runtime, and S-ExportDefault admitted. */
+export const referenceDataHostAdapter = adapterFor("data-host");
+//# sourceMappingURL=adapter.js.map

package/dist/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAA2B,MAAM,WAAW,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,oEAAoE;AACpE,SAAS,MAAM,CAAC,CAA8B,EAAE,OAAgB;IAC9D,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,CAAC;IAC1C,OAAO;QACL,OAAO;QACP,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACzJ,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,sBAAsB,EAAE,CAAC,CAAC,sBAAsB;QAChD,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC;AACJ,CAAC;AAED,8HAA8H;AAC9H,SAAS,UAAU,CAAC,OAAgB;IAClC,OAAO;QACP,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,OAAO,EAAE;QAC/D,sEAAsE;QACtE,mEAAmE;QACnE,WAAW,EAAE,KAAK;QAClB,KAAK,CAAC,MAAM,EAAE,UAAU;YACtB,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;YACxE,IAAI,CAAC,KAAK,gBAAgB;gBAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,mBAAmB,UAAU,EAAE,EAAE,CAAC;YACrH,IAAI,CAAC,CAAC;gBAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YAClC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YACpG,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACtG,CAAC;QACD,UAAU,CAAC,MAAM,EAAE,UAAU,IAAI,OAAO,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACrG,WAAW,CAAC,KAAK,EAAE,IAAI;YACrB,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YACpD,MAAM,GAAG,GAAkB,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;YAC1E,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACnC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;YACtJ,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS;gBAAE,GAAG,CAAC,SAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;YACnE,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW;gBAAE,GAAG,CAAC,SAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACtE,OAAO,GAAG,CAAC;QACb,CAAC;KACA,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAuB,UAAU,CAAC,MAAM,CAAC,CAAC;AACvE,yGAAyG;AACzG,MAAM,CAAC,MAAM,wBAAwB,GAAuB,UAAU,CAAC,WAAW,CAAC,CAAC"}

package/dist/fnbody.d.ts

@@ -0,0 +1,11 @@
+/**
+ * S-FnBody, grammar.md §3: the statement sub-grammar a project-local function
+ * must satisfy before J1's F-Eval-CallLocal will evaluate it.
+ */
+import * as ts from "typescript";
+export type FnDecl = ts.FunctionDeclaration | ts.ArrowFunction | ts.FunctionExpression;
+/** A binding element the sub-grammar admits: `{ a }` or `{ a: b }`, nothing else. */
+export declare function plainBindingKey(el: ts.BindingElement): string | undefined;
+/** A reason the function is outside S-FnBody, or undefined when it is admissible. */
+export declare function findFnBodyViolation(fn: FnDecl): string | undefined;
+//# sourceMappingURL=fnbody.d.ts.map

package/dist/fnbody.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fnbody.d.ts","sourceRoot":"","sources":["../src/fnbody.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,MAAM,MAAM,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,CAAC;AAEvF,qFAAqF;AACrF,wBAAgB,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,GAAG,MAAM,GAAG,SAAS,CAIzE;AAED,qFAAqF;AACrF,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CA4ClE"}

package/dist/fnbody.js

@@ -0,0 +1,68 @@
+/**
+ * S-FnBody, grammar.md §3: the statement sub-grammar a project-local function
+ * must satisfy before J1's F-Eval-CallLocal will evaluate it.
+ */
+import * as ts from "typescript";
+/** A binding element the sub-grammar admits: `{ a }` or `{ a: b }`, nothing else. */
+export function plainBindingKey(el) {
+    if (el.dotDotDotToken || el.initializer || !ts.isIdentifier(el.name))
+        return undefined;
+    const key = el.propertyName ?? el.name;
+    return ts.isIdentifier(key) || ts.isStringLiteral(key) || ts.isNumericLiteral(key) ? key.text : undefined;
+}
+/** A reason the function is outside S-FnBody, or undefined when it is admissible. */
+export function findFnBodyViolation(fn) {
+    if (fn.asteriskToken)
+        return "a generator function is not foldable";
+    if (fn.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword))
+        return "an async function is not foldable";
+    if (!fn.body)
+        return "a function without a body is not foldable";
+    for (const p of fn.parameters) {
+        if (p.dotDotDotToken)
+            return "a rest parameter is not foldable";
+        if (ts.isIdentifier(p.name))
+            continue;
+        if (ts.isObjectBindingPattern(p.name)) {
+            for (const el of p.name.elements) {
+                if (plainBindingKey(el) === undefined)
+                    return "a destructured parameter with a rest, default, or nested element is not foldable";
+            }
+            continue;
+        }
+        return "an array-destructured parameter is not foldable";
+    }
+    if (!ts.isBlock(fn.body))
+        return undefined; // a concise expression body
+    const statements = fn.body.statements;
+    for (let i = 0; i < statements.length; i += 1) {
+        const st = statements[i];
+        const last = i === statements.length - 1;
+        if (ts.isReturnStatement(st)) {
+            if (!last)
+                return "an early `return` is not foldable";
+            continue;
+        }
+        if (!ts.isVariableStatement(st)) {
+            return `\`${ts.SyntaxKind[st.kind]}\` in a function body is not foldable, only \`const\` declarations and a final \`return\` are`;
+        }
+        if ((st.declarationList.flags & ts.NodeFlags.Const) === 0)
+            return "`let`/`var` in a function body is not foldable";
+        for (const d of st.declarationList.declarations) {
+            if (!d.initializer)
+                return "an uninitialized `const` in a function body is not foldable";
+            if (ts.isIdentifier(d.name))
+                continue;
+            if (ts.isObjectBindingPattern(d.name)) {
+                for (const el of d.name.elements) {
+                    if (plainBindingKey(el) === undefined)
+                        return "a destructured `const` with a rest, default, or nested element is not foldable";
+                }
+                continue;
+            }
+            return "an array-destructured `const` in a function body is not foldable";
+        }
+    }
+    return undefined;
+}
+//# sourceMappingURL=fnbody.js.map

package/dist/fnbody.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fnbody.js","sourceRoot":"","sources":["../src/fnbody.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC,qFAAqF;AACrF,MAAM,UAAU,eAAe,CAAC,EAAqB;IACnD,IAAI,EAAE,CAAC,cAAc,IAAI,EAAE,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,IAAI,CAAC;IACvC,OAAO,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5G,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,mBAAmB,CAAC,EAAU;IAC5C,IAAI,EAAE,CAAC,aAAa;QAAE,OAAO,sCAAsC,CAAC;IACpE,IAAI,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,mCAAmC,CAAC;IACjH,IAAI,CAAC,EAAE,CAAC,IAAI;QAAE,OAAO,2CAA2C,CAAC;IAEjE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,cAAc;YAAE,OAAO,kCAAkC,CAAC;QAChE,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACtC,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACjC,IAAI,eAAe,CAAC,EAAE,CAAC,KAAK,SAAS;oBAAE,OAAO,kFAAkF,CAAC;YACnI,CAAC;YACD,SAAS;QACX,CAAC;QACD,OAAO,iDAAiD,CAAC;IAC3D,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,4BAA4B;IAExE,MAAM,UAAU,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,CAAC,KAAK,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI;gBAAE,OAAO,mCAAmC,CAAC;YACtD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,OAAO,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,+FAA+F,CAAC;QACpI,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,gDAAgD,CAAC;QACnH,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YAChD,IAAI,CAAC,CAAC,CAAC,WAAW;gBAAE,OAAO,6DAA6D,CAAC;YACzF,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtC,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjC,IAAI,eAAe,CAAC,EAAE,CAAC,KAAK,SAAS;wBAAE,OAAO,gFAAgF,CAAC;gBACjI,CAAC;gBACD,SAAS;YACX,CAAC;YACD,OAAO,kEAAkE,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/fold.d.ts

@@ -0,0 +1,86 @@
+/**
+ * Expression evaluation: judgments.md J1, one branch per F-Eval-* rule.
+ *
+ * Written from the specification text, not derived from any implementation
+ * (#50). Executes nothing of the source under fold. Its only executions are
+ * F-Eval-CallEager and F-Eval-CallMethod on a real receiver, both of which
+ * run code the file imported rather than code it wrote.
+ */
+import * as ts from "typescript";
+import { type IntrinsicDef } from "./host.js";
+import { type FnDecl } from "./fnbody.js";
+/** A located rejection, per R9.3: the node and the rule, wording unconstrained. */
+export declare class FoldRejection extends Error {
+    readonly rule: string;
+    readonly line: number;
+    readonly column: number;
+    constructor(rule: string, line: number, column: number, message: string);
+}
+/** Γ = (consts, externals, depth), per R6.6. */
+export interface Scope {
+    readonly consts: Map<string, ts.Expression>;
+    readonly externals: ReadonlyMap<string, unknown>;
+    readonly depth: number;
+    /**
+     * F-Capture's sink for the file being folded, when there is one. A call that
+     * leaks the defining module's identity (F-CallLeak) records that module here,
+     * which is the same edge an import capture records.
+     */
+    readonly captures?: Set<string>;
+}
+/** H = (ρ, helpers). The helper allowlist is consulted through foldable-helpers. */
+export interface EvalHost {
+    readonly intrinsics: readonly IntrinsicDef[];
+}
+/**
+ * F-Val-Callable's marker. J1 may *call* one; it is never a value. Only the
+ * module layer populates `externals` with these, so nothing produces one in
+ * this implementation yet (#21, #22).
+ */
+export declare class FoldableFunction {
+    readonly name: string;
+    readonly fn: FnDecl;
+    /** The defining module's path, for the re-anchored reason of F-Eval-CallLocal step 7. */
+    readonly file: string;
+    /** The DEFINING module's scope: a body folds there, not in the caller's (R6.6). */
+    readonly consts: Map<string, ts.Expression>;
+    readonly externals: ReadonlyMap<string, unknown>;
+    /** Set when a call returned a live object the body produced (F-CallLeak, J3). */
+    leakedIdentity: boolean;
+    constructor(name: string, fn: FnDecl, 
+    /** The defining module's path, for the re-anchored reason of F-Eval-CallLocal step 7. */
+    file: string, 
+    /** The DEFINING module's scope: a body folds there, not in the caller's (R6.6). */
+    consts: Map<string, ts.Expression>, externals: ReadonlyMap<string, unknown>);
+}
+export declare const isFoldableFunction: (v: unknown) => v is FoldableFunction;
+/**
+ * F-Val-Live: carries a live object when it, or anything reachable through
+ * plain objects and arrays, has a prototype other than the plain ones, or is
+ * a function. This is F-Identity's entity test, the normative one, and the
+ * test F-CallLeak uses. F-Import uses the broader reference test instead, on
+ * purpose; F-Identity in J3 says why.
+ */
+export declare function carriesLiveObject(v: unknown, seen?: Set<unknown>): boolean;
+/**
+ * The non-recursive half of F-Val-Live: this value *is* a live object, rather
+ * than a plain structure that may hold one. Revival passes these through
+ * unchanged (L6.1); rebuilding one would destroy the identity J3 preserves.
+ */
+export declare function isLiveObject(v: unknown): boolean;
+export declare function isEnvelope(v: unknown): boolean;
+/** The depth bound of F-Eval-CallLocal step 2, stated per F-Depth. */
+export declare const MAX_CALL_DEPTH = 32;
+/** Γ, H ⊢ e ⇓ v. */
+export declare function foldExpr(node: ts.Expression, scope: Scope, host: EvalHost): unknown;
+/** F-Bind: a top-level `const` with an identifier name and an initializer. */
+export declare function collectConsts(sf: ts.SourceFile): Map<string, ts.Expression>;
+/**
+ * S-LocalFunction, F-Bind: every top-level `function` declaration, exported or
+ * not, and every top-level `const` bound to an arrow or function expression,
+ * as `FoldableFunction` markers for the file's own scope. A call reaches
+ * F-Eval-CallLocal; a use as a value is F-Eval-Ident step 3's rejection. The
+ * body is judged by S-FnBody at the call, never here (spec 1.2, #95).
+ */
+export declare function collectLocalFunctions(sf: ts.SourceFile, file: string, consts: Map<string, ts.Expression>, externals: ReadonlyMap<string, unknown>): FoldableFunction[];
+//# sourceMappingURL=fold.d.ts.map

package/dist/fold.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fold.d.ts","sourceRoot":"","sources":["../src/fold.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAIL,KAAK,YAAY,EAClB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAwC,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAEhF,mFAAmF;AACnF,qBAAa,aAAc,SAAQ,KAAK;IAEpC,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM;gBAFd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACvB,OAAO,EAAE,MAAM;CAKlB;AAED,gDAAgD;AAChD,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACjC;AACD,oFAAoF;AACpF,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAC;CAC9C;AAED;;;;GAIG;AACH,qBAAa,gBAAgB;IAIzB,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM;IACnB,yFAAyF;IACzF,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC;IATlD,iFAAiF;IACjF,cAAc,UAAS;gBAEZ,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM;IACnB,yFAAyF;IAChF,IAAI,EAAE,MAAM;IACrB,mFAAmF;IAC1E,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,EAClC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC;CAEnD;AACD,eAAO,MAAM,kBAAkB,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,gBAAiD,CAAC;AASvG;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,eAAqB,GAAG,OAAO,CAMhF;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAKhD;AAID,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAG9C;AAqGD,sEAAsE;AACtE,eAAO,MAAM,cAAc,KAAK,CAAC;AAqEjC,oBAAoB;AACpB,wBAAgB,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO,CA6PnF;AAED,8EAA8E;AAC9E,wBAAgB,aAAa,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAY3E;AAKD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,EAAE,CAAC,UAAU,EACjB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,EAClC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,GACtC,gBAAgB,EAAE,CAepB"}