@intentius/tsad-reference 1.4.0

package/dist/revive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revive.js","sourceRoot":"","sources":["../src/revive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAUpE,MAAM,MAAM,GAAG,2DAA2D,CAAC;AAI3E;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CACpB,KAAc,EACd,QAAsC,EACtC,IAAiB,EACjB,UAAU,GAAG,KAAK;IAElB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,qEAAqE;IACrE,IAAI,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,wEAAwE;IACxE,yEAAyE;IACzE,4EAA4E;IAC5E,2CAA2C;IAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QACrE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,GAAG,GAAQ,EAAE,CAAC;QACpB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YAC/C,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,OAAO,GAAG,IAAI,CAAC;QACnC,CAAC;QACD,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;IAC/B,CAAC;IACD,OAAO,cAAc,CAAC,KAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,IAAI,CAAC,IAAiB,EAAE,OAAe;IAC9C,MAAM,IAAI,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,QAAsC,EAAE,IAAiB;IACtF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,IAAI,EAAE,0BAA0B,IAAI,qDAAqD,CAAC,CAAC;IACzH,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,QAAsC,EAAE,IAAiB;IACvF,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,UAAU;QAAE,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,gBAAgB,OAAO,CAAC,+BAA+B,CAAC,CAAC;IACxG,OAAO,CAAiC,CAAC;AAC3C,CAAC;AAED,SAAS,cAAc,CAAC,CAAM,EAAE,QAAsC,EAAE,IAAiB,EAAE,UAAmB;IAC5G,+EAA+E;IAC/E,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC;QACrB,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,SAAkD,CAAC;YACnF,IAAI,CAAC,IAAI,EAAE,2BAA2B,MAAM,IAAI,SAAS,4EAA4E,CAAC,CAAC;QACzI,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,EAAE,CAAE,CAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAE1F,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,UAAoB,CAAC;QACpC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAgD,CAAC;QACxF,oFAAoF;QACpF,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,GAAI,CAAC,CAAC,IAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/G,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACrD,OAAO,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;IACtG,CAAC;IACD,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAqB,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC7D,wEAAwE;QACxE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAA8B,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7F,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,UAAU,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAkB,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,CAAC,CAAC,QAAkB,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,EAAE,yEAAyE,IAAI,cAAc,CAAC,CAAC;QAChI,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,EAAE,eAAe,IAAI,WAAW,IAAI,QAAQ,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACvH,OAAO,GAAI,OAAe,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,kBAAkB;IAClB,IAAI,CAAC,IAAI,EAAE,mGAAmG,CAAC,CAAC;AAClH,CAAC"}

package/dist/subset.d.ts

@@ -0,0 +1,42 @@
+/**
+ * The shape classifier: grammar.md §2, one branch per S-* production.
+ *
+ * Written from the specification text, not derived from any implementation
+ * (#50). Decides from syntax alone and never resolves a name, which is the
+ * direction F-Direction permits: this may accept what the folder rejects and
+ * must never reject what the folder accepts, outside F-Exc-Lazy and
+ * F-Exc-Registry.
+ */
+import * as ts from "typescript";
+import { type IntrinsicDef } from "./host.js";
+export interface ShapeViolation {
+    /** The S-* production that refused it. */
+    readonly rule: string;
+    readonly node: ts.Node;
+    readonly message: string;
+}
+/** ⟨LiteralKey⟩ ::= ⟨Identifier⟩ | ⟨StringLiteral⟩ | ⟨NumericLiteral⟩ */
+export declare function isLiteralKey(n: ts.PropertyName): n is ts.Identifier | ts.StringLiteral | ts.NumericLiteral;
+/** S-Index's key: a string or numeric literal only. */
+export declare function isLiteralElementKey(n: ts.Expression): n is ts.StringLiteral | ts.NumericLiteral;
+/**
+ * S-CompositeStep's callee condition.
+ *
+ * SPEC GAP (#51): the normative text calls this callee "unclaimed" in four
+ * places and defines it in none; all four cite inventory row L3.20, which is
+ * a ledger entry. Implemented here per that row's intent, which is that the
+ * callee is a bare identifier claimed by no other S-Call form and not
+ * shadowed by a local const. The registry and the local scope are resolution,
+ * so at shape level only the bare-identifier part is checkable.
+ */
+export declare function isUnclaimedCallee(call: ts.CallExpression, intrinsics?: readonly IntrinsicDef[]): boolean;
+/**
+ * Classify `node`'s shape. Returns the first violation in evaluation order,
+ * or undefined when the whole shape is admissible.
+ *
+ * `intrinsics` is the registry ρ. Absent, S-CallIntrinsic and S-CallEager are
+ * unrecognisable and their shapes fall to S-Reject, which is F-Exc-Registry:
+ * the one place this classifier is stricter than the folder.
+ */
+export declare function findShapeViolation(node: ts.Node, intrinsics?: readonly IntrinsicDef[], localCallees?: ReadonlySet<string>): ShapeViolation | undefined;
+//# sourceMappingURL=subset.d.ts.map

package/dist/subset.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"subset.d.ts","sourceRoot":"","sources":["../src/subset.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAiD,KAAK,YAAY,EAAE,MAAM,WAAW,CAAC;AAG7F,MAAM,WAAW,cAAc;IAC7B,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAsBD,yEAAyE;AACzE,wBAAgB,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,cAAc,CAE1G;AACD,uDAAuD;AACvD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,GAAG,CAAC,IAAI,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,cAAc,CAE/F;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,SAAS,YAAY,EAAE,GAAG,OAAO,CAMxG;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,SAAS,YAAY,EAAE,EAAE,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,cAAc,GAAG,SAAS,CAoJtJ"}

package/dist/subset.js

@@ -0,0 +1,214 @@
+/**
+ * The shape classifier: grammar.md §2, one branch per S-* production.
+ *
+ * Written from the specification text, not derived from any implementation
+ * (#50). Decides from syntax alone and never resolves a name, which is the
+ * direction F-Direction permits: this may accept what the folder rejects and
+ * must never reject what the folder accepts, outside F-Exc-Lazy and
+ * F-Exc-Registry.
+ */
+import * as ts from "typescript";
+import { intrinsicCallFolds, intrinsicCallFoldsEagerly } from "./host.js";
+import { isFoldableHelperName } from "./foldable-helpers.js";
+const no = (rule, node, message) => ({ rule, node, message });
+/** ⟨BinOp⟩, grammar.md §2. */
+const BIN_OPS = new Set([
+    ts.SyntaxKind.AmpersandAmpersandToken,
+    ts.SyntaxKind.BarBarToken,
+    ts.SyntaxKind.QuestionQuestionToken,
+    ts.SyntaxKind.PlusToken,
+    ts.SyntaxKind.MinusToken,
+    ts.SyntaxKind.AsteriskToken,
+    ts.SyntaxKind.SlashToken,
+    ts.SyntaxKind.EqualsEqualsEqualsToken,
+    ts.SyntaxKind.ExclamationEqualsEqualsToken,
+    ts.SyntaxKind.GreaterThanToken,
+    ts.SyntaxKind.LessThanToken,
+    ts.SyntaxKind.GreaterThanEqualsToken,
+    ts.SyntaxKind.LessThanEqualsToken,
+]);
+/** S-Unary's operator set. */
+const UNARY_OPS = new Set([ts.SyntaxKind.ExclamationToken, ts.SyntaxKind.MinusToken]);
+/** ⟨LiteralKey⟩ ::= ⟨Identifier⟩ | ⟨StringLiteral⟩ | ⟨NumericLiteral⟩ */
+export function isLiteralKey(n) {
+    return ts.isIdentifier(n) || ts.isStringLiteral(n) || ts.isNumericLiteral(n);
+}
+/** S-Index's key: a string or numeric literal only. */
+export function isLiteralElementKey(n) {
+    return ts.isStringLiteral(n) || ts.isNumericLiteral(n);
+}
+/**
+ * S-CompositeStep's callee condition.
+ *
+ * SPEC GAP (#51): the normative text calls this callee "unclaimed" in four
+ * places and defines it in none; all four cite inventory row L3.20, which is
+ * a ledger entry. Implemented here per that row's intent, which is that the
+ * callee is a bare identifier claimed by no other S-Call form and not
+ * shadowed by a local const. The registry and the local scope are resolution,
+ * so at shape level only the bare-identifier part is checkable.
+ */
+export function isUnclaimedCallee(call, intrinsics) {
+    if (!ts.isIdentifier(call.expression))
+        return false;
+    const name = call.expression.text;
+    if (isFoldableHelperName(name))
+        return false;
+    if (intrinsics?.some((i) => i.name === name && (intrinsicCallFolds(i) || intrinsicCallFoldsEagerly(i))))
+        return false;
+    return true;
+}
+/**
+ * Classify `node`'s shape. Returns the first violation in evaluation order,
+ * or undefined when the whole shape is admissible.
+ *
+ * `intrinsics` is the registry ρ. Absent, S-CallIntrinsic and S-CallEager are
+ * unrecognisable and their shapes fall to S-Reject, which is F-Exc-Registry:
+ * the one place this classifier is stricter than the folder.
+ */
+export function findShapeViolation(node, intrinsics, localCallees) {
+    const recur = (n) => findShapeViolation(n, intrinsics, localCallees);
+    // S-Unwrap
+    if (ts.isParenthesizedExpression(node) ||
+        ts.isAsExpression(node) ||
+        ts.isSatisfiesExpression(node) ||
+        ts.isNonNullExpression(node)) {
+        return recur(node.expression);
+    }
+    // S-Literal
+    if (ts.isStringLiteral(node) ||
+        ts.isNoSubstitutionTemplateLiteral(node) ||
+        ts.isNumericLiteral(node) ||
+        node.kind === ts.SyntaxKind.TrueKeyword ||
+        node.kind === ts.SyntaxKind.FalseKeyword ||
+        node.kind === ts.SyntaxKind.NullKeyword) {
+        return undefined;
+    }
+    // S-Ident, which S-Undefined is an instance of. Always shape-valid:
+    // whether it resolves is F-Eval-Ident's question (F-Div-Ident).
+    if (ts.isIdentifier(node))
+        return undefined;
+    // S-Tagged. The interior is opaque and is deliberately not recursed into:
+    // an intrinsic's interpolations legitimately hold shapes this classifier
+    // would refuse, and only the folder has the registry (F-Div-Tag).
+    if (ts.isTaggedTemplateExpression(node))
+        return undefined;
+    // S-Template
+    if (ts.isTemplateExpression(node)) {
+        for (const span of node.templateSpans) {
+            const v = recur(span.expression);
+            if (v)
+                return v;
+        }
+        return undefined;
+    }
+    // S-Object
+    if (ts.isObjectLiteralExpression(node)) {
+        for (const member of node.properties) {
+            if (ts.isPropertyAssignment(member)) {
+                if (!isLiteralKey(member.name))
+                    return no("S-Prop", member.name, "computed or dynamic property name");
+                const v = recur(member.initializer);
+                if (v)
+                    return v;
+            }
+            else if (ts.isShorthandPropertyAssignment(member)) {
+                continue; // S-Shorthand: always shape-valid
+            }
+            else if (ts.isSpreadAssignment(member)) {
+                const v = recur(member.expression);
+                if (v)
+                    return v;
+            }
+            else {
+                return no("S-Object", member, "unsupported object member");
+            }
+        }
+        return undefined;
+    }
+    // S-Array
+    if (ts.isArrayLiteralExpression(node)) {
+        for (const el of node.elements) {
+            const v = recur(ts.isSpreadElement(el) ? el.expression : el);
+            if (v)
+                return v;
+        }
+        return undefined;
+    }
+    // S-Member, with S-CompositeStep taking precedence when the member is
+    // `step` and the object is a call.
+    if (ts.isPropertyAccessExpression(node)) {
+        if (node.name.text === "step" && ts.isCallExpression(node.expression))
+            return undefined;
+        return recur(node.expression);
+    }
+    // S-Index
+    if (ts.isElementAccessExpression(node)) {
+        if (!isLiteralElementKey(node.argumentExpression)) {
+            return no("S-Index", node.argumentExpression, "element-access key must be a string or numeric literal");
+        }
+        return recur(node.expression);
+    }
+    // S-Unary
+    if (ts.isPrefixUnaryExpression(node)) {
+        if (!UNARY_OPS.has(node.operator))
+            return no("S-Unary", node, `unsupported unary operator: ${ts.SyntaxKind[node.operator]}`);
+        return recur(node.operand);
+    }
+    // S-Binary. Flow-insensitive by construction: both sides must be
+    // shape-valid even where the folder would evaluate only one (F-Exc-Lazy).
+    if (ts.isBinaryExpression(node)) {
+        const op = node.operatorToken.kind;
+        if (!BIN_OPS.has(op))
+            return no("S-Binary", node, `unsupported binary operator: ${ts.SyntaxKind[op]}`);
+        return recur(node.left) ?? recur(node.right);
+    }
+    // S-Conditional. Flow-insensitive for the same reason.
+    if (ts.isConditionalExpression(node)) {
+        return recur(node.condition) ?? recur(node.whenTrue) ?? recur(node.whenFalse);
+    }
+    // S-New. The callee's shape is unconstrained here; that it must be a plain
+    // identifier is resolution-adjacent and belongs to F-Eval-New (F-Div-NsNew).
+    if (ts.isNewExpression(node)) {
+        for (const arg of node.arguments ?? []) {
+            const v = recur(arg);
+            if (v)
+                return v;
+        }
+        return undefined;
+    }
+    // S-Call
+    if (ts.isCallExpression(node)) {
+        const args = () => {
+            for (const a of node.arguments) {
+                const v = recur(a);
+                if (v)
+                    return v;
+            }
+            return undefined;
+        };
+        // S-CallMethod: receiver ∈ ⟨Expr⟩, method name unconstrained.
+        if (ts.isPropertyAccessExpression(node.expression))
+            return recur(node.expression.expression) ?? args();
+        if (ts.isIdentifier(node.expression)) {
+            const name = node.expression.text;
+            if (isFoldableHelperName(name))
+                return args(); // S-CallHelper
+            // S-CallLocal (spec 1.2): the callee is bound in this file by
+            // S-LocalFunction or by an import from a project specifier. The body's
+            // admissibility is the fold's question (S-FnBody at the call).
+            if (localCallees?.has(name))
+                return args();
+            const def = intrinsics?.find((i) => i.name === name);
+            // S-CallIntrinsic / S-CallEager, registry-gated. Without ρ neither is
+            // recognisable and the call falls to S-Reject (F-Exc-Registry).
+            if (def && (intrinsicCallFolds(def) || intrinsicCallFoldsEagerly(def)))
+                return args();
+        }
+        return no("S-Reject", node, "function call as a value is not foldable");
+    }
+    // S-Reject. This is where the explicitly-outside list lands: a function or
+    // arrow expression used as a value, class expressions, await, yield,
+    // assignment, the comma operator, and every operator outside ⟨BinOp⟩.
+    return no("S-Reject", node, `unsupported expression: ${ts.SyntaxKind[node.kind]}`);
+}
+//# sourceMappingURL=subset.js.map

package/dist/subset.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subset.js","sourceRoot":"","sources":["../src/subset.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAqB,MAAM,WAAW,CAAC;AAC7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAQ7D,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAa,EAAE,OAAe,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAEvG,8BAA8B;AAC9B,MAAM,OAAO,GAA+B,IAAI,GAAG,CAAC;IAClD,EAAE,CAAC,UAAU,CAAC,uBAAuB;IACrC,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,qBAAqB;IACnC,EAAE,CAAC,UAAU,CAAC,SAAS;IACvB,EAAE,CAAC,UAAU,CAAC,UAAU;IACxB,EAAE,CAAC,UAAU,CAAC,aAAa;IAC3B,EAAE,CAAC,UAAU,CAAC,UAAU;IACxB,EAAE,CAAC,UAAU,CAAC,uBAAuB;IACrC,EAAE,CAAC,UAAU,CAAC,4BAA4B;IAC1C,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,aAAa;IAC3B,EAAE,CAAC,UAAU,CAAC,sBAAsB;IACpC,EAAE,CAAC,UAAU,CAAC,mBAAmB;CAClC,CAAC,CAAC;AACH,8BAA8B;AAC9B,MAAM,SAAS,GAA+B,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;AAElH,yEAAyE;AACzE,MAAM,UAAU,YAAY,CAAC,CAAkB;IAC7C,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAC;AACD,uDAAuD;AACvD,MAAM,UAAU,mBAAmB,CAAC,CAAgB;IAClD,OAAO,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAuB,EAAE,UAAoC;IAC7F,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IAClC,IAAI,oBAAoB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,yBAAyB,CAAC,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACtH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAa,EAAE,UAAoC,EAAE,YAAkC;IACxH,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAE9E,WAAW;IACX,IACE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAClC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;QACvB,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,YAAY;IACZ,IACE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QACxC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QACxC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EACvC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,oEAAoE;IACpE,gEAAgE;IAChE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5C,0EAA0E;IAC1E,yEAAyE;IACzE,kEAAkE;IAClE,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAE1D,aAAa;IACb,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACjC,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,WAAW;IACX,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACrC,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;oBAAE,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;gBACtG,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;gBACpC,IAAI,CAAC;oBAAE,OAAO,CAAC,CAAC;YAClB,CAAC;iBAAM,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpD,SAAS,CAAC,kCAAkC;YAC9C,CAAC;iBAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBACnC,IAAI,CAAC;oBAAE,OAAO,CAAC,CAAC;YAClB,CAAC;iBAAM,CAAC;gBACN,OAAO,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,2BAA2B,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,UAAU;IACV,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7D,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sEAAsE;IACtE,mCAAmC;IACnC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QACxF,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,UAAU;IACV,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAClD,OAAO,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,kBAAkB,EAAE,wDAAwD,CAAC,CAAC;QAC1G,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,UAAU;IACV,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,+BAA+B,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC7H,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,iEAAiE;IACjE,0EAA0E;IAC1E,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,gCAAgC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACvG,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC;IAED,uDAAuD;IACvD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChF,CAAC;IAED,2EAA2E;IAC3E,6EAA6E;IAC7E,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YACrB,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,SAAS;IACT,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,GAA+B,EAAE;YAC5C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC;oBAAE,OAAO,CAAC,CAAC;YAClB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC;QAEF,8DAA8D;QAC9D,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,IAAI,EAAE,CAAC;QAEvG,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAClC,IAAI,oBAAoB,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,EAAE,CAAC,CAAC,eAAe;YAC9D,8DAA8D;YAC9D,uEAAuE;YACvE,+DAA+D;YAC/D,IAAI,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,EAAE,CAAC;YAC3C,MAAM,GAAG,GAAG,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACrD,sEAAsE;YACtE,gEAAgE;YAChE,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,yBAAyB,CAAC,GAAG,CAAC,CAAC;gBAAE,OAAO,IAAI,EAAE,CAAC;QACxF,CAAC;QAED,OAAO,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,0CAA0C,CAAC,CAAC;IAC1E,CAAC;IAED,2EAA2E;IAC3E,qEAAqE;IACrE,sEAAsE;IACtE,OAAO,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,2BAA2B,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACrF,CAAC"}

package/package.json

@@ -0,0 +1,37 @@
+{
+  "name": "@intentius/tsad-reference",
+  "version": "1.4.0",
+  "description": "The reference implementation of the typescript-as-data specification, written from the specification text and nothing else.",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/INTENTIUS/typescript-as-data.git",
+    "directory": "packages/reference"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "type": "module",
+  "exports": {
+    ".": {
+      "development": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "types": "./dist/index.d.ts",
+  "main": "./dist/index.js",
+  "files": [
+    "src/",
+    "dist/",
+    "CAVEATS.md"
+  ],
+  "scripts": {
+    "build": "rm -rf dist && tsc -p tsconfig.build.json",
+    "prepack": "npm run build"
+  },
+  "dependencies": {
+    "@intentius/tsad-conformance": "^1.4.0",
+    "typescript": "^5.9.0"
+  }
+}

package/src/adapter.ts

@@ -0,0 +1,48 @@
+import type { ConformanceAdapter, ConformanceHost, ProjectResult } from "@intentius/tsad-conformance";
+import { EMPTY_HOST, type Host, type Profile } 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: ConformanceHost | undefined, profile: Profile): Host {
+  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: Profile): ConformanceAdapter {
+  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: ProjectResult = { 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: ConformanceAdapter = adapterFor("full");
+/** The same implementation judged in the data-host profile: no runtime, and S-ExportDefault admitted. */
+export const referenceDataHostAdapter: ConformanceAdapter = adapterFor("data-host");

package/src/fnbody.ts

@@ -0,0 +1,61 @@
+/**
+ * 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 function plainBindingKey(el: ts.BindingElement): string | undefined {
+  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: FnDecl): string | undefined {
+  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;
+}