@seljs/checker 1.5.0-beta.14 → 1.5.0-beta.64

package/dist/footprint/analyze-footprint.cjs

@@ -0,0 +1,143 @@
+const require_value_wrappers = require("../environment/value-wrappers.cjs");
+const require_hydrate = require("../environment/hydrate.cjs");
+const require_ast_utils = require("../utils/ast-utils.cjs");
+let _seljs_common = require("@seljs/common");
+let viem = require("viem");
+//#region src/footprint/analyze-footprint.ts
+/**
+* Builtins that read chain state, keyed `<receiverType>.<name>`.
+* Mirrors the runtime special case for native balance lookups.
+*/
+const CHAIN_STATE_FUNCTIONS = /* @__PURE__ */ new Set(["sol_address.balance"]);
+const compareStrings = (a, b) => a < b ? -1 : a > b ? 1 : 0;
+const normalizeType = (type) => type.replace(/\s+/g, "");
+const toFootprintMethod = (method) => ({
+	name: method.name,
+	selector: (0, viem.toFunctionSelector)(method.abi),
+	signature: (0, viem.toFunctionSignature)(method.abi),
+	abi: method.abi
+});
+/**
+* Maps a resolved cel-js declaration to the schema method it was registered
+* from. Matches either the primary or the CEL literal overload, taking the
+* first schema method in registration order.
+*/
+const findSchemaMethod = (contract, decl) => {
+	const declTypes = decl.argTypes.map((t) => normalizeType(t.name));
+	return contract.methods.find((m) => m.name === decl.name && m.params.length === declTypes.length && (m.params.every((p, i) => normalizeType(p.type) === declTypes[i]) || m.params.every((p, i) => normalizeType(require_value_wrappers.toCelLiteralType(p.type) ?? p.type) === declTypes[i])));
+};
+const typeCheck = (parsed) => {
+	let error;
+	try {
+		const result = parsed.check();
+		if (result.valid) return;
+		error = result.error;
+	} catch (err) {
+		error = err;
+	}
+	const message = error instanceof Error ? error.message : "Type check failed";
+	throw new _seljs_common.SELTypeCheckError(message, { cause: error });
+};
+/**
+* Statically determines every contract method, chain-state builtin, and
+* context variable an expression can reference, including untaken ternary
+* branches and comprehension bodies.
+*
+* @param expression SEL expression to analyze.
+* @param schema Schema the expression is checked against.
+* @throws {SELParseError} If the expression cannot be parsed.
+* @throws {SELTypeCheckError} If the expression does not type-check, or a
+* contract call cannot be attributed statically.
+*/
+const analyzeFootprint = (expression, schema) => {
+	const env = require_hydrate.createCheckerEnvironment(schema);
+	let parsed;
+	try {
+		parsed = env.parse(expression);
+	} catch (error) {
+		const message = error instanceof Error ? error.message : String(error);
+		throw new _seljs_common.SELParseError(message, { cause: error });
+	}
+	typeCheck(parsed);
+	const contractsByType = new Map(schema.contracts.map((c) => [(0, _seljs_common.contractTypeName)(c.name), c]));
+	const variableNames = new Set(schema.variables.map((v) => v.name));
+	const methods = /* @__PURE__ */ new Map();
+	const builtins = /* @__PURE__ */ new Set();
+	const variables = /* @__PURE__ */ new Set();
+	const record = (contract, method) => {
+		const entry = toFootprintMethod(method);
+		let byContract = methods.get(contract);
+		if (!byContract) {
+			byContract = /* @__PURE__ */ new Map();
+			methods.set(contract, byContract);
+		}
+		byContract.set(entry.selector, entry);
+	};
+	const recordContractCall = (contract, node, receiverType) => {
+		const [name] = node.args;
+		const argTypes = node.argTypes ?? [];
+		if (argTypes.some((t) => t.hasDynType)) {
+			for (const m of contract.methods) if (m.name === name && m.params.length === argTypes.length) record(contract, m);
+			return;
+		}
+		const decl = node.candidates?.findFunction(argTypes, receiverType);
+		const method = decl ? findSchemaMethod(contract, decl) : void 0;
+		if (!method) throw new _seljs_common.SELTypeCheckError(`Cannot resolve contract method '${contract.name}.${name}'`);
+		record(contract, method);
+	};
+	const visit = (node, bound) => {
+		if (node.op === "id") {
+			if (variableNames.has(node.args) && !bound.has(node.args)) variables.add(node.args);
+			return;
+		}
+		if (node.op !== "rcall") {
+			for (const child of require_ast_utils.collectChildren(node)) visit(child, bound);
+			return;
+		}
+		const [name, receiver, args] = node.args;
+		const checked = node;
+		if (!checked.candidates) {
+			visitMacro(checked, bound);
+			return;
+		}
+		const receiverType = receiver.checkedType;
+		if (!receiverType) throw new _seljs_common.SELTypeCheckError(`Receiver of '${name}' was not type-checked`);
+		const contract = contractsByType.get(receiverType.unwrappedType.name);
+		if (contract) recordContractCall(contract, checked, receiverType.unwrappedType);
+		else if (receiverType.unwrappedType.kind === "dyn") for (const decl of checked.candidates.declarations) {
+			const receiverName = decl.receiverType?.name ?? "";
+			if (contractsByType.has(receiverName)) throw new _seljs_common.SELTypeCheckError(`Cannot statically attribute '${name}' on a dyn receiver to a contract`);
+			if (CHAIN_STATE_FUNCTIONS.has(`${receiverName}.${decl.name}`)) builtins.add(`${receiverName}.${decl.name}`);
+		}
+		else if (CHAIN_STATE_FUNCTIONS.has(`${receiverType.unwrappedType.name}.${name}`)) builtins.add(`${receiverType.unwrappedType.name}.${name}`);
+		visit(receiver, bound);
+		for (const arg of args) visit(arg, bound);
+	};
+	const visitMacro = (node, bound) => {
+		const [name, receiver, args] = node.args;
+		const [binder, ...rest] = args;
+		const isBind = name === "bind" && receiver.op === "id" && receiver.args === "cel";
+		if (binder?.op !== "id" || !(args.length === 2 || args.length === 3 && (isBind || name === "map"))) throw new _seljs_common.SELTypeCheckError(`Unexpected macro shape for '${name}'`);
+		const inner = new Set(bound).add(binder.args);
+		if (isBind) {
+			const [value, body] = rest;
+			visit(value, bound);
+			visit(body, inner);
+			return;
+		}
+		visit(receiver, bound);
+		for (const arg of rest) visit(arg, inner);
+	};
+	visit(parsed.ast, /* @__PURE__ */ new Set());
+	return {
+		contracts: [...methods.entries()].map(([contract, byContract]) => ({
+			name: contract.name,
+			address: contract.address,
+			methods: [...byContract.values()].sort((a, b) => compareStrings(a.signature, b.signature))
+		})).sort((a, b) => compareStrings(a.name, b.name)),
+		builtins: [...builtins].sort(compareStrings),
+		variables: [...variables].sort(compareStrings)
+	};
+};
+//#endregion
+exports.analyzeFootprint = analyzeFootprint;

package/dist/footprint/analyze-footprint.d.cts

@@ -0,0 +1,16 @@
+import { FootprintResult, SELSchema } from "@seljs/schema";
+//#region src/footprint/analyze-footprint.d.ts
+/**
+ * Statically determines every contract method, chain-state builtin, and
+ * context variable an expression can reference, including untaken ternary
+ * branches and comprehension bodies.
+ *
+ * @param expression SEL expression to analyze.
+ * @param schema Schema the expression is checked against.
+ * @throws {SELParseError} If the expression cannot be parsed.
+ * @throws {SELTypeCheckError} If the expression does not type-check, or a
+ * contract call cannot be attributed statically.
+ */
+declare const analyzeFootprint: (expression: string, schema: SELSchema) => FootprintResult;
+//#endregion
+export { analyzeFootprint };

package/dist/footprint/analyze-footprint.d.mts

@@ -0,0 +1,16 @@
+import { FootprintResult, SELSchema } from "@seljs/schema";
+//#region src/footprint/analyze-footprint.d.ts
+/**
+ * Statically determines every contract method, chain-state builtin, and
+ * context variable an expression can reference, including untaken ternary
+ * branches and comprehension bodies.
+ *
+ * @param expression SEL expression to analyze.
+ * @param schema Schema the expression is checked against.
+ * @throws {SELParseError} If the expression cannot be parsed.
+ * @throws {SELTypeCheckError} If the expression does not type-check, or a
+ * contract call cannot be attributed statically.
+ */
+declare const analyzeFootprint: (expression: string, schema: SELSchema) => FootprintResult;
+//#endregion
+export { analyzeFootprint };

package/dist/footprint/analyze-footprint.mjs

@@ -0,0 +1,143 @@
+import { toCelLiteralType } from "../environment/value-wrappers.mjs";
+import { createCheckerEnvironment } from "../environment/hydrate.mjs";
+import { collectChildren } from "../utils/ast-utils.mjs";
+import { SELParseError, SELTypeCheckError, contractTypeName } from "@seljs/common";
+import { toFunctionSelector, toFunctionSignature } from "viem";
+//#region src/footprint/analyze-footprint.ts
+/**
+* Builtins that read chain state, keyed `<receiverType>.<name>`.
+* Mirrors the runtime special case for native balance lookups.
+*/
+const CHAIN_STATE_FUNCTIONS = /* @__PURE__ */ new Set(["sol_address.balance"]);
+const compareStrings = (a, b) => a < b ? -1 : a > b ? 1 : 0;
+const normalizeType = (type) => type.replace(/\s+/g, "");
+const toFootprintMethod = (method) => ({
+	name: method.name,
+	selector: toFunctionSelector(method.abi),
+	signature: toFunctionSignature(method.abi),
+	abi: method.abi
+});
+/**
+* Maps a resolved cel-js declaration to the schema method it was registered
+* from. Matches either the primary or the CEL literal overload, taking the
+* first schema method in registration order.
+*/
+const findSchemaMethod = (contract, decl) => {
+	const declTypes = decl.argTypes.map((t) => normalizeType(t.name));
+	return contract.methods.find((m) => m.name === decl.name && m.params.length === declTypes.length && (m.params.every((p, i) => normalizeType(p.type) === declTypes[i]) || m.params.every((p, i) => normalizeType(toCelLiteralType(p.type) ?? p.type) === declTypes[i])));
+};
+const typeCheck = (parsed) => {
+	let error;
+	try {
+		const result = parsed.check();
+		if (result.valid) return;
+		error = result.error;
+	} catch (err) {
+		error = err;
+	}
+	const message = error instanceof Error ? error.message : "Type check failed";
+	throw new SELTypeCheckError(message, { cause: error });
+};
+/**
+* Statically determines every contract method, chain-state builtin, and
+* context variable an expression can reference, including untaken ternary
+* branches and comprehension bodies.
+*
+* @param expression SEL expression to analyze.
+* @param schema Schema the expression is checked against.
+* @throws {SELParseError} If the expression cannot be parsed.
+* @throws {SELTypeCheckError} If the expression does not type-check, or a
+* contract call cannot be attributed statically.
+*/
+const analyzeFootprint = (expression, schema) => {
+	const env = createCheckerEnvironment(schema);
+	let parsed;
+	try {
+		parsed = env.parse(expression);
+	} catch (error) {
+		const message = error instanceof Error ? error.message : String(error);
+		throw new SELParseError(message, { cause: error });
+	}
+	typeCheck(parsed);
+	const contractsByType = new Map(schema.contracts.map((c) => [contractTypeName(c.name), c]));
+	const variableNames = new Set(schema.variables.map((v) => v.name));
+	const methods = /* @__PURE__ */ new Map();
+	const builtins = /* @__PURE__ */ new Set();
+	const variables = /* @__PURE__ */ new Set();
+	const record = (contract, method) => {
+		const entry = toFootprintMethod(method);
+		let byContract = methods.get(contract);
+		if (!byContract) {
+			byContract = /* @__PURE__ */ new Map();
+			methods.set(contract, byContract);
+		}
+		byContract.set(entry.selector, entry);
+	};
+	const recordContractCall = (contract, node, receiverType) => {
+		const [name] = node.args;
+		const argTypes = node.argTypes ?? [];
+		if (argTypes.some((t) => t.hasDynType)) {
+			for (const m of contract.methods) if (m.name === name && m.params.length === argTypes.length) record(contract, m);
+			return;
+		}
+		const decl = node.candidates?.findFunction(argTypes, receiverType);
+		const method = decl ? findSchemaMethod(contract, decl) : void 0;
+		if (!method) throw new SELTypeCheckError(`Cannot resolve contract method '${contract.name}.${name}'`);
+		record(contract, method);
+	};
+	const visit = (node, bound) => {
+		if (node.op === "id") {
+			if (variableNames.has(node.args) && !bound.has(node.args)) variables.add(node.args);
+			return;
+		}
+		if (node.op !== "rcall") {
+			for (const child of collectChildren(node)) visit(child, bound);
+			return;
+		}
+		const [name, receiver, args] = node.args;
+		const checked = node;
+		if (!checked.candidates) {
+			visitMacro(checked, bound);
+			return;
+		}
+		const receiverType = receiver.checkedType;
+		if (!receiverType) throw new SELTypeCheckError(`Receiver of '${name}' was not type-checked`);
+		const contract = contractsByType.get(receiverType.unwrappedType.name);
+		if (contract) recordContractCall(contract, checked, receiverType.unwrappedType);
+		else if (receiverType.unwrappedType.kind === "dyn") for (const decl of checked.candidates.declarations) {
+			const receiverName = decl.receiverType?.name ?? "";
+			if (contractsByType.has(receiverName)) throw new SELTypeCheckError(`Cannot statically attribute '${name}' on a dyn receiver to a contract`);
+			if (CHAIN_STATE_FUNCTIONS.has(`${receiverName}.${decl.name}`)) builtins.add(`${receiverName}.${decl.name}`);
+		}
+		else if (CHAIN_STATE_FUNCTIONS.has(`${receiverType.unwrappedType.name}.${name}`)) builtins.add(`${receiverType.unwrappedType.name}.${name}`);
+		visit(receiver, bound);
+		for (const arg of args) visit(arg, bound);
+	};
+	const visitMacro = (node, bound) => {
+		const [name, receiver, args] = node.args;
+		const [binder, ...rest] = args;
+		const isBind = name === "bind" && receiver.op === "id" && receiver.args === "cel";
+		if (binder?.op !== "id" || !(args.length === 2 || args.length === 3 && (isBind || name === "map"))) throw new SELTypeCheckError(`Unexpected macro shape for '${name}'`);
+		const inner = new Set(bound).add(binder.args);
+		if (isBind) {
+			const [value, body] = rest;
+			visit(value, bound);
+			visit(body, inner);
+			return;
+		}
+		visit(receiver, bound);
+		for (const arg of rest) visit(arg, inner);
+	};
+	visit(parsed.ast, /* @__PURE__ */ new Set());
+	return {
+		contracts: [...methods.entries()].map(([contract, byContract]) => ({
+			name: contract.name,
+			address: contract.address,
+			methods: [...byContract.values()].sort((a, b) => compareStrings(a.signature, b.signature))
+		})).sort((a, b) => compareStrings(a.name, b.name)),
+		builtins: [...builtins].sort(compareStrings),
+		variables: [...variables].sort(compareStrings)
+	};
+};
+//#endregion
+export { analyzeFootprint };

package/dist/footprint/index.cjs

@@ -0,0 +1,2 @@
+const require_analyze_footprint = require("./analyze-footprint.cjs");
+exports.analyzeFootprint = require_analyze_footprint.analyzeFootprint;

package/dist/footprint/index.d.cts

@@ -0,0 +1,2 @@
+import { analyzeFootprint } from "./analyze-footprint.cjs";
+export { analyzeFootprint };

package/dist/footprint/index.d.mts

@@ -0,0 +1,2 @@
+import { analyzeFootprint } from "./analyze-footprint.mjs";
+export { analyzeFootprint };

package/dist/footprint/index.mjs

@@ -0,0 +1 @@
+export { analyzeFootprint } from "./analyze-footprint.mjs";

package/dist/index.cjs

@@ -11,10 +11,13 @@ require("./rules/index.cjs");
 const require_checker = require("./checker/checker.cjs");
 require("./checker/index.cjs");
 require("./environment/index.cjs");
+const require_analyze_footprint = require("./footprint/analyze-footprint.cjs");
+require("./footprint/index.cjs");
 exports.COMPREHENSION_MACROS = require_constants.COMPREHENSION_MACROS;
 exports.CelCodecRegistry = require_codec_registry.CelCodecRegistry;
 exports.SCALAR_WRAPPER_FUNCTIONS = require_constants.SCALAR_WRAPPER_FUNCTIONS;
 exports.SELChecker = require_checker.SELChecker;
+exports.analyzeFootprint = require_analyze_footprint.analyzeFootprint;
 exports.createBaseEnvironment = require_hydrate.createBaseEnvironment;
 exports.createCheckerEnvironment = require_hydrate.createCheckerEnvironment;
 exports.createRuntimeEnvironment = require_hydrate.createRuntimeEnvironment;

package/dist/index.d.cts

@@ -11,4 +11,6 @@ import { CelLimits, ContractCallHandler, RuntimeEnvironmentResult, createBaseEnv
 import { registerSolidityTypes } from "./environment/register-types.cjs";
 import { StructInfo, toCelLiteralType, wrapStructValue, wrapValueForSel } from "./environment/value-wrappers.cjs";
 import "./environment/index.cjs";
-export { COMPREHENSION_MACROS, CelCodecRegistry, CelCodecRegistryOptions, CelLimits, CompletionItem, ContractCallHandler, RuleContext, RuleSeverity, RuleTier, RunRulesOptions, RuntimeEnvironmentResult, SCALAR_WRAPPER_FUNCTIONS, SELChecker, SELCheckerOptions, SELDiagnostic, SELRule, StructCodecDescriptor, StructInfo, createBaseEnvironment, createCheckerEnvironment, createRuntimeEnvironment, isTypeCompatible, registerSolidityTypes, rules, runRules, toCelLiteralType, wrapStructValue, wrapValueForSel };
+import { analyzeFootprint } from "./footprint/analyze-footprint.cjs";
+import "./footprint/index.cjs";
+export { COMPREHENSION_MACROS, CelCodecRegistry, CelCodecRegistryOptions, CelLimits, CompletionItem, ContractCallHandler, RuleContext, RuleSeverity, RuleTier, RunRulesOptions, RuntimeEnvironmentResult, SCALAR_WRAPPER_FUNCTIONS, SELChecker, SELCheckerOptions, SELDiagnostic, SELRule, StructCodecDescriptor, StructInfo, analyzeFootprint, createBaseEnvironment, createCheckerEnvironment, createRuntimeEnvironment, isTypeCompatible, registerSolidityTypes, rules, runRules, toCelLiteralType, wrapStructValue, wrapValueForSel };

package/dist/index.d.mts

@@ -11,4 +11,6 @@ import { CelLimits, ContractCallHandler, RuntimeEnvironmentResult, createBaseEnv
 import { registerSolidityTypes } from "./environment/register-types.mjs";
 import { StructInfo, toCelLiteralType, wrapStructValue, wrapValueForSel } from "./environment/value-wrappers.mjs";
 import "./environment/index.mjs";
-export { COMPREHENSION_MACROS, CelCodecRegistry, CelCodecRegistryOptions, CelLimits, CompletionItem, ContractCallHandler, RuleContext, RuleSeverity, RuleTier, RunRulesOptions, RuntimeEnvironmentResult, SCALAR_WRAPPER_FUNCTIONS, SELChecker, SELCheckerOptions, SELDiagnostic, SELRule, StructCodecDescriptor, StructInfo, createBaseEnvironment, createCheckerEnvironment, createRuntimeEnvironment, isTypeCompatible, registerSolidityTypes, rules, runRules, toCelLiteralType, wrapStructValue, wrapValueForSel };
+import { analyzeFootprint } from "./footprint/analyze-footprint.mjs";
+import "./footprint/index.mjs";
+export { COMPREHENSION_MACROS, CelCodecRegistry, CelCodecRegistryOptions, CelLimits, CompletionItem, ContractCallHandler, RuleContext, RuleSeverity, RuleTier, RunRulesOptions, RuntimeEnvironmentResult, SCALAR_WRAPPER_FUNCTIONS, SELChecker, SELCheckerOptions, SELDiagnostic, SELRule, StructCodecDescriptor, StructInfo, analyzeFootprint, createBaseEnvironment, createCheckerEnvironment, createRuntimeEnvironment, isTypeCompatible, registerSolidityTypes, rules, runRules, toCelLiteralType, wrapStructValue, wrapValueForSel };

package/dist/index.mjs

@@ -10,4 +10,6 @@ import "./rules/index.mjs";
 import { SELChecker } from "./checker/checker.mjs";
 import "./checker/index.mjs";
 import "./environment/index.mjs";
-export { COMPREHENSION_MACROS, CelCodecRegistry, SCALAR_WRAPPER_FUNCTIONS, SELChecker, createBaseEnvironment, createCheckerEnvironment, createRuntimeEnvironment, isTypeCompatible, registerSolidityTypes, rules, runRules, toCelLiteralType, wrapStructValue, wrapValueForSel };
+import { analyzeFootprint } from "./footprint/analyze-footprint.mjs";
+import "./footprint/index.mjs";
+export { COMPREHENSION_MACROS, CelCodecRegistry, SCALAR_WRAPPER_FUNCTIONS, SELChecker, analyzeFootprint, createBaseEnvironment, createCheckerEnvironment, createRuntimeEnvironment, isTypeCompatible, registerSolidityTypes, rules, runRules, toCelLiteralType, wrapStructValue, wrapValueForSel };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@seljs/checker",
-  "version": "1.5.0-beta.14",
+  "version": "1.5.0-beta.64",
   "repository": {
     "url": "https://github.com/abinnovision/seljs"
   },
@@ -49,24 +49,24 @@
     ]
   },
   "dependencies": {
-    "@marcbachmann/cel-js": "^7.5.3",
-    "@seljs/common": "1.5.0-beta.14",
-    "@seljs/schema": "1.4.0",
-    "@seljs/types": "1.5.0-beta.14",
+    "@marcbachmann/cel-js": "^8.0.0",
+    "@seljs/common": "1.5.0-beta.64",
+    "@seljs/schema": "1.5.0-beta.64",
+    "@seljs/types": "1.5.0-beta.64",
     "debug": "^4.4.3",
-    "viem": "^2.47.6"
+    "viem": "^2.57.16"
   },
   "devDependencies": {
-    "@abinnovision/eslint-config-base": "^3.2.2",
+    "@abinnovision/eslint-config-base": "^3.4.2",
     "@abinnovision/prettier-config": "^2.2.0",
     "@seljs-internal/tsconfig": "^0.0.0",
     "@types/debug": "^4.1.13",
-    "eslint": "^9.39.5",
+    "eslint": "^10.9.1",
     "prettier": "^3.9.6",
     "tsdown": "^0.22.14",
     "typescript": "^6.0.3",
-    "vitest": "^4.1.10",
-    "zod": "^4.4.3"
+    "vitest": "^4.1.11",
+    "zod": "^4.6.6"
   },
   "peerDependencies": {
     "zod": "^4.0.0"
@@ -75,4 +75,4 @@
     "npm": true,
     "npmAccess": "public"
   }
-}
+}