@ai-matrx/records 0.82.1 → 0.83.0

package/dist/templates/index.d.cts

@@ -53,8 +53,12 @@ type AggregateOutcome = {
  * is not a number is a refusal; no values at all is NULL, not 0); filled/empty/unique by
  * `nullif(text,'')`; percent_empty/percent_filled as 100 x share of the rows (NULL over none). Exact: an average that does not terminate is reported as inexact.
  */
-/** custom.formula_node_kinds(), the functions a formula may call (read on the clone 2026-10-03). */
-declare const FORMULA_FUNCTIONS: Set<string>;
+/**
+ * The functions a formula may call — THE one list, `@ai-matrx/kit/formula` (mirrors the store's
+ * custom.formula_node_kinds(); architecture D6). The gate parses with kit's parser too, and keeps
+ * only its own EXACT evaluator below: numbers are read from the digits as typed into fractions.
+ */
+declare const FORMULA_FUNCTION_NAMES: ReadonlySet<string>;
 type FxNode = {
     k: "num";
     v: Q;
@@ -77,8 +81,8 @@ type FxNode = {
     f: string;
     args: FxNode[];
 };
-/** Parse a formula text, or say what is wrong with it. */
-declare function parseFormula(text: string): FxNode | string;
+/** Parse a formula text with the one parser, or say what is wrong with it. */
+declare function parseGateFormula(text: string): FxNode | string;
 /** Every `{Label}` a formula reads. */
 declare function formulaRefs(n: FxNode): string[];
 /**
@@ -944,4 +948,4 @@ interface SafeReusesResult {
 }
 declare function safeReuses(spec: TemplateSpec, reuses: Reuse[], existingTables: ExistingTable[]): SafeReusesResult;
 
-export { AgentSnapshotRow, type AggregateOutcome, type ApplyResult, type AutofixResult, BAD_OUTCOME, BOOKING_AVAILABILITY_FACTS, type CapabilityStatus, CapabilityWord, DESIGNATED_REAL_NUMBERS, type DerivedUseCase, type DescribeCheckResult, type DescribeCtx, type DescribePlan, type DescribePlanDoor, type DescribePlanTable, type DescribeProblem, type DescribeResult, type DoorsPart, type ExistingTable, FORMULA_FUNCTIONS, type FieldRequest, GALLERY_ONLY, GOOD_OUTCOME, INSTALL_PLAN_VERSION, IndustryGroup, MAIN_TABLE_ROWS_MAX, MAIN_TABLE_ROWS_MIN, PUBLIC_MAIL_DOMAINS, RECORDS_UI_CALENDAR_MODES, RECORDS_UI_FIELD_SURFACES, RECORDS_UI_VIEW_LAYOUTS, type RepairAnswer, type RepairPatch, type RepairSlice, SERVER_DATE_GRAMMAR, type SafeReusesResult, type SeedRow, SharedBlockId, TABLES_MAX, TABLES_MIN, TEMPLATE_PLAN_DOORS, TIME_BOUND_STAGE, TITLE_DISTINCT_SHARE, type TablesPart, TeachesFeature, TemplateAgent, type TemplateAgentBinding, type TemplateAgentCopyRequest, type TemplateAssetRow, type TemplateAttachment, TemplateAutomation, TemplateBooking, TemplateBookingWindow, type TemplateCard, TemplateChecklist, TemplateDashboard, type TemplateDeclaration, TemplateDigest, TemplateDimensions, TemplateDocument, type TemplateDoorAnswer, type TemplateDoorRun, TemplateDrillDown, type TemplateFamilyDoor, TemplateField, TemplateFootprint, TemplateForm, type TemplateHostExtras, type TemplateInstallPlan, TemplateJob, type TemplateMadeKind, TemplateMergeBinding, TemplateNotification, type TemplatePlanAgent, type TemplatePlanBinding, type TemplatePlanDoor, type TemplatePlanExtraAgent, type TemplatePlanStep, TemplatePortal, TemplateRowAction, TemplateSpec, type TemplateSpecWithAttachments, TemplateStageRules, type TemplateStatus, TemplateTable, TemplateTryIt, type TemplateUpgradeAnswer, type TemplateUpgradeHint, type TemplateUpgradeRun, type TemplateVerdict, TemplateView, TemplateViewKind, TemplateWorkflow, type TrimResult, VIEW_SHAPE_FACTS, type ValidateOptions, type ViewsPart, agentCopyRequest, allTables, anyOfWhere, applyRepairPatches, assertTemplate, attachmentProblems, autofixDescribeSpec, automationHeld, blockTable, bookingArgs, bookingColumnsProblem, capabilitiesUsed, capabilityStatus, checklistSpec, choiceDisplayFormat, compileHostExtras, compileInstallPlan, dashboardBlocks, deferredRelationFields, deferredRelations, derivedFieldSpec, describeCheck, describeSpec, describeVocabulary, digestSpec, documentBody, domainsIn, drillDownDashboard, evalFormula, extrasProblems, fallbackView, foreignTextProblems, formArgs, formulaFieldSpec, formulaOrder, formulaRefs, foundationTokens, isSelfDeclaredField, isTimedField, lastResortTrim, meaningWords, mergeDescribeParts, normalizeForPhones, notificationParts, numberText, numberedStreet, packageDescribeResult, parseAt, parseFormula, parseNumeric, pathOfAt, peopleOf, phonesOutsideFictionalRange, planTables, portalArgs, relationFieldSpec, relationPatches, relativeHasTime, repairSlices, requiredCircleProblem, resolveDateToken, resolvePath, resolveRelativeDates, reusesOf, rowActionList, rowLevels, rowsFor, ruleBreak, runTemplateDoor, safeReuses, sameMeaning, selfDeclaredFieldSpec, sensitivityFloorOf, shellsPayload, stageFieldOf, stageRulesSpec, storeAggregate, storeFilterMatches, storeText, tableShellPayload, templateCard, templateDeclaration, templateText, templateUpgradeHint, timedFieldSpec, toUseCase, unwrap, upgradeTemplateInstall, useCaseProblemsOf, validateTemplate, viewMatches, viewSpec, zoneOffset };
+export { AgentSnapshotRow, type AggregateOutcome, type ApplyResult, type AutofixResult, BAD_OUTCOME, BOOKING_AVAILABILITY_FACTS, type CapabilityStatus, CapabilityWord, DESIGNATED_REAL_NUMBERS, type DerivedUseCase, type DescribeCheckResult, type DescribeCtx, type DescribePlan, type DescribePlanDoor, type DescribePlanTable, type DescribeProblem, type DescribeResult, type DoorsPart, type ExistingTable, FORMULA_FUNCTION_NAMES, type FieldRequest, GALLERY_ONLY, GOOD_OUTCOME, INSTALL_PLAN_VERSION, IndustryGroup, MAIN_TABLE_ROWS_MAX, MAIN_TABLE_ROWS_MIN, PUBLIC_MAIL_DOMAINS, RECORDS_UI_CALENDAR_MODES, RECORDS_UI_FIELD_SURFACES, RECORDS_UI_VIEW_LAYOUTS, type RepairAnswer, type RepairPatch, type RepairSlice, SERVER_DATE_GRAMMAR, type SafeReusesResult, type SeedRow, SharedBlockId, TABLES_MAX, TABLES_MIN, TEMPLATE_PLAN_DOORS, TIME_BOUND_STAGE, TITLE_DISTINCT_SHARE, type TablesPart, TeachesFeature, TemplateAgent, type TemplateAgentBinding, type TemplateAgentCopyRequest, type TemplateAssetRow, type TemplateAttachment, TemplateAutomation, TemplateBooking, TemplateBookingWindow, type TemplateCard, TemplateChecklist, TemplateDashboard, type TemplateDeclaration, TemplateDigest, TemplateDimensions, TemplateDocument, type TemplateDoorAnswer, type TemplateDoorRun, TemplateDrillDown, type TemplateFamilyDoor, TemplateField, TemplateFootprint, TemplateForm, type TemplateHostExtras, type TemplateInstallPlan, TemplateJob, type TemplateMadeKind, TemplateMergeBinding, TemplateNotification, type TemplatePlanAgent, type TemplatePlanBinding, type TemplatePlanDoor, type TemplatePlanExtraAgent, type TemplatePlanStep, TemplatePortal, TemplateRowAction, TemplateSpec, type TemplateSpecWithAttachments, TemplateStageRules, type TemplateStatus, TemplateTable, TemplateTryIt, type TemplateUpgradeAnswer, type TemplateUpgradeHint, type TemplateUpgradeRun, type TemplateVerdict, TemplateView, TemplateViewKind, TemplateWorkflow, type TrimResult, VIEW_SHAPE_FACTS, type ValidateOptions, type ViewsPart, agentCopyRequest, allTables, anyOfWhere, applyRepairPatches, assertTemplate, attachmentProblems, autofixDescribeSpec, automationHeld, blockTable, bookingArgs, bookingColumnsProblem, capabilitiesUsed, capabilityStatus, checklistSpec, choiceDisplayFormat, compileHostExtras, compileInstallPlan, dashboardBlocks, deferredRelationFields, deferredRelations, derivedFieldSpec, describeCheck, describeSpec, describeVocabulary, digestSpec, documentBody, domainsIn, drillDownDashboard, evalFormula, extrasProblems, fallbackView, foreignTextProblems, formArgs, formulaFieldSpec, formulaOrder, formulaRefs, foundationTokens, isSelfDeclaredField, isTimedField, lastResortTrim, meaningWords, mergeDescribeParts, normalizeForPhones, notificationParts, numberText, numberedStreet, packageDescribeResult, parseAt, parseGateFormula, parseNumeric, pathOfAt, peopleOf, phonesOutsideFictionalRange, planTables, portalArgs, relationFieldSpec, relationPatches, relativeHasTime, repairSlices, requiredCircleProblem, resolveDateToken, resolvePath, resolveRelativeDates, reusesOf, rowActionList, rowLevels, rowsFor, ruleBreak, runTemplateDoor, safeReuses, sameMeaning, selfDeclaredFieldSpec, sensitivityFloorOf, shellsPayload, stageFieldOf, stageRulesSpec, storeAggregate, storeFilterMatches, storeText, tableShellPayload, templateCard, templateDeclaration, templateText, templateUpgradeHint, timedFieldSpec, toUseCase, unwrap, upgradeTemplateInstall, useCaseProblemsOf, validateTemplate, viewMatches, viewSpec, zoneOffset };

package/dist/templates/index.d.ts

@@ -53,8 +53,12 @@ type AggregateOutcome = {
  * is not a number is a refusal; no values at all is NULL, not 0); filled/empty/unique by
  * `nullif(text,'')`; percent_empty/percent_filled as 100 x share of the rows (NULL over none). Exact: an average that does not terminate is reported as inexact.
  */
-/** custom.formula_node_kinds(), the functions a formula may call (read on the clone 2026-10-03). */
-declare const FORMULA_FUNCTIONS: Set<string>;
+/**
+ * The functions a formula may call — THE one list, `@ai-matrx/kit/formula` (mirrors the store's
+ * custom.formula_node_kinds(); architecture D6). The gate parses with kit's parser too, and keeps
+ * only its own EXACT evaluator below: numbers are read from the digits as typed into fractions.
+ */
+declare const FORMULA_FUNCTION_NAMES: ReadonlySet<string>;
 type FxNode = {
     k: "num";
     v: Q;
@@ -77,8 +81,8 @@ type FxNode = {
     f: string;
     args: FxNode[];
 };
-/** Parse a formula text, or say what is wrong with it. */
-declare function parseFormula(text: string): FxNode | string;
+/** Parse a formula text with the one parser, or say what is wrong with it. */
+declare function parseGateFormula(text: string): FxNode | string;
 /** Every `{Label}` a formula reads. */
 declare function formulaRefs(n: FxNode): string[];
 /**
@@ -944,4 +948,4 @@ interface SafeReusesResult {
 }
 declare function safeReuses(spec: TemplateSpec, reuses: Reuse[], existingTables: ExistingTable[]): SafeReusesResult;
 
-export { AgentSnapshotRow, type AggregateOutcome, type ApplyResult, type AutofixResult, BAD_OUTCOME, BOOKING_AVAILABILITY_FACTS, type CapabilityStatus, CapabilityWord, DESIGNATED_REAL_NUMBERS, type DerivedUseCase, type DescribeCheckResult, type DescribeCtx, type DescribePlan, type DescribePlanDoor, type DescribePlanTable, type DescribeProblem, type DescribeResult, type DoorsPart, type ExistingTable, FORMULA_FUNCTIONS, type FieldRequest, GALLERY_ONLY, GOOD_OUTCOME, INSTALL_PLAN_VERSION, IndustryGroup, MAIN_TABLE_ROWS_MAX, MAIN_TABLE_ROWS_MIN, PUBLIC_MAIL_DOMAINS, RECORDS_UI_CALENDAR_MODES, RECORDS_UI_FIELD_SURFACES, RECORDS_UI_VIEW_LAYOUTS, type RepairAnswer, type RepairPatch, type RepairSlice, SERVER_DATE_GRAMMAR, type SafeReusesResult, type SeedRow, SharedBlockId, TABLES_MAX, TABLES_MIN, TEMPLATE_PLAN_DOORS, TIME_BOUND_STAGE, TITLE_DISTINCT_SHARE, type TablesPart, TeachesFeature, TemplateAgent, type TemplateAgentBinding, type TemplateAgentCopyRequest, type TemplateAssetRow, type TemplateAttachment, TemplateAutomation, TemplateBooking, TemplateBookingWindow, type TemplateCard, TemplateChecklist, TemplateDashboard, type TemplateDeclaration, TemplateDigest, TemplateDimensions, TemplateDocument, type TemplateDoorAnswer, type TemplateDoorRun, TemplateDrillDown, type TemplateFamilyDoor, TemplateField, TemplateFootprint, TemplateForm, type TemplateHostExtras, type TemplateInstallPlan, TemplateJob, type TemplateMadeKind, TemplateMergeBinding, TemplateNotification, type TemplatePlanAgent, type TemplatePlanBinding, type TemplatePlanDoor, type TemplatePlanExtraAgent, type TemplatePlanStep, TemplatePortal, TemplateRowAction, TemplateSpec, type TemplateSpecWithAttachments, TemplateStageRules, type TemplateStatus, TemplateTable, TemplateTryIt, type TemplateUpgradeAnswer, type TemplateUpgradeHint, type TemplateUpgradeRun, type TemplateVerdict, TemplateView, TemplateViewKind, TemplateWorkflow, type TrimResult, VIEW_SHAPE_FACTS, type ValidateOptions, type ViewsPart, agentCopyRequest, allTables, anyOfWhere, applyRepairPatches, assertTemplate, attachmentProblems, autofixDescribeSpec, automationHeld, blockTable, bookingArgs, bookingColumnsProblem, capabilitiesUsed, capabilityStatus, checklistSpec, choiceDisplayFormat, compileHostExtras, compileInstallPlan, dashboardBlocks, deferredRelationFields, deferredRelations, derivedFieldSpec, describeCheck, describeSpec, describeVocabulary, digestSpec, documentBody, domainsIn, drillDownDashboard, evalFormula, extrasProblems, fallbackView, foreignTextProblems, formArgs, formulaFieldSpec, formulaOrder, formulaRefs, foundationTokens, isSelfDeclaredField, isTimedField, lastResortTrim, meaningWords, mergeDescribeParts, normalizeForPhones, notificationParts, numberText, numberedStreet, packageDescribeResult, parseAt, parseFormula, parseNumeric, pathOfAt, peopleOf, phonesOutsideFictionalRange, planTables, portalArgs, relationFieldSpec, relationPatches, relativeHasTime, repairSlices, requiredCircleProblem, resolveDateToken, resolvePath, resolveRelativeDates, reusesOf, rowActionList, rowLevels, rowsFor, ruleBreak, runTemplateDoor, safeReuses, sameMeaning, selfDeclaredFieldSpec, sensitivityFloorOf, shellsPayload, stageFieldOf, stageRulesSpec, storeAggregate, storeFilterMatches, storeText, tableShellPayload, templateCard, templateDeclaration, templateText, templateUpgradeHint, timedFieldSpec, toUseCase, unwrap, upgradeTemplateInstall, useCaseProblemsOf, validateTemplate, viewMatches, viewSpec, zoneOffset };
+export { AgentSnapshotRow, type AggregateOutcome, type ApplyResult, type AutofixResult, BAD_OUTCOME, BOOKING_AVAILABILITY_FACTS, type CapabilityStatus, CapabilityWord, DESIGNATED_REAL_NUMBERS, type DerivedUseCase, type DescribeCheckResult, type DescribeCtx, type DescribePlan, type DescribePlanDoor, type DescribePlanTable, type DescribeProblem, type DescribeResult, type DoorsPart, type ExistingTable, FORMULA_FUNCTION_NAMES, type FieldRequest, GALLERY_ONLY, GOOD_OUTCOME, INSTALL_PLAN_VERSION, IndustryGroup, MAIN_TABLE_ROWS_MAX, MAIN_TABLE_ROWS_MIN, PUBLIC_MAIL_DOMAINS, RECORDS_UI_CALENDAR_MODES, RECORDS_UI_FIELD_SURFACES, RECORDS_UI_VIEW_LAYOUTS, type RepairAnswer, type RepairPatch, type RepairSlice, SERVER_DATE_GRAMMAR, type SafeReusesResult, type SeedRow, SharedBlockId, TABLES_MAX, TABLES_MIN, TEMPLATE_PLAN_DOORS, TIME_BOUND_STAGE, TITLE_DISTINCT_SHARE, type TablesPart, TeachesFeature, TemplateAgent, type TemplateAgentBinding, type TemplateAgentCopyRequest, type TemplateAssetRow, type TemplateAttachment, TemplateAutomation, TemplateBooking, TemplateBookingWindow, type TemplateCard, TemplateChecklist, TemplateDashboard, type TemplateDeclaration, TemplateDigest, TemplateDimensions, TemplateDocument, type TemplateDoorAnswer, type TemplateDoorRun, TemplateDrillDown, type TemplateFamilyDoor, TemplateField, TemplateFootprint, TemplateForm, type TemplateHostExtras, type TemplateInstallPlan, TemplateJob, type TemplateMadeKind, TemplateMergeBinding, TemplateNotification, type TemplatePlanAgent, type TemplatePlanBinding, type TemplatePlanDoor, type TemplatePlanExtraAgent, type TemplatePlanStep, TemplatePortal, TemplateRowAction, TemplateSpec, type TemplateSpecWithAttachments, TemplateStageRules, type TemplateStatus, TemplateTable, TemplateTryIt, type TemplateUpgradeAnswer, type TemplateUpgradeHint, type TemplateUpgradeRun, type TemplateVerdict, TemplateView, TemplateViewKind, TemplateWorkflow, type TrimResult, VIEW_SHAPE_FACTS, type ValidateOptions, type ViewsPart, agentCopyRequest, allTables, anyOfWhere, applyRepairPatches, assertTemplate, attachmentProblems, autofixDescribeSpec, automationHeld, blockTable, bookingArgs, bookingColumnsProblem, capabilitiesUsed, capabilityStatus, checklistSpec, choiceDisplayFormat, compileHostExtras, compileInstallPlan, dashboardBlocks, deferredRelationFields, deferredRelations, derivedFieldSpec, describeCheck, describeSpec, describeVocabulary, digestSpec, documentBody, domainsIn, drillDownDashboard, evalFormula, extrasProblems, fallbackView, foreignTextProblems, formArgs, formulaFieldSpec, formulaOrder, formulaRefs, foundationTokens, isSelfDeclaredField, isTimedField, lastResortTrim, meaningWords, mergeDescribeParts, normalizeForPhones, notificationParts, numberText, numberedStreet, packageDescribeResult, parseAt, parseGateFormula, parseNumeric, pathOfAt, peopleOf, phonesOutsideFictionalRange, planTables, portalArgs, relationFieldSpec, relationPatches, relativeHasTime, repairSlices, requiredCircleProblem, resolveDateToken, resolvePath, resolveRelativeDates, reusesOf, rowActionList, rowLevels, rowsFor, ruleBreak, runTemplateDoor, safeReuses, sameMeaning, selfDeclaredFieldSpec, sensitivityFloorOf, shellsPayload, stageFieldOf, stageRulesSpec, storeAggregate, storeFilterMatches, storeText, tableShellPayload, templateCard, templateDeclaration, templateText, templateUpgradeHint, timedFieldSpec, toUseCase, unwrap, upgradeTemplateInstall, useCaseProblemsOf, validateTemplate, viewMatches, viewSpec, zoneOffset };

package/dist/templates/index.js

@@ -327,6 +327,7 @@ var CATALOGUE_STATUSES = ["planned", "authoring", "checking", "waiting_on_lane_1
 
 // src/templates/validate.ts
 import { isUuidShape } from "@ai-matrx/kit/uuid";
+import { FORMULA_FUNCTIONS as KIT_FORMULA_FUNCTIONS, parseFormula as parseFormulaText } from "@ai-matrx/kit/formula";
 
 // src/templates/confidential.ts
 var TABLE_KERNEL_ID = "11111111-0000-4000-8000-000000000001";
@@ -2738,134 +2739,28 @@ function storeFilterMatches(row, filter, _timeZone) {
     return have === String(want);
   });
 }
-var FORMULA_FUNCTIONS = /* @__PURE__ */ new Set([
-  "ABS",
-  "AND",
-  "ARRAYCOMPACT",
-  "ARRAYJOIN",
-  "AVERAGE",
-  "BLANK",
-  "CONCATENATE",
-  "CONTAINS",
-  "DATEADD",
-  "DATEDIFF",
-  "DATETIME_FORMAT",
-  "DAY",
-  "FIND",
-  "IF",
-  "ISBLANK",
-  "LEFT",
-  "LEN",
-  "LOWER",
-  "MAX",
-  "MIN",
-  "MONTH",
-  "NOT",
-  "OR",
-  "REGEX_MATCH",
-  "RIGHT",
-  "ROUND",
-  "SUBSTITUTE",
-  "SUM",
-  "SWITCH",
-  "TODAY",
-  "NOW",
-  "TRIM",
-  "UPPER",
-  "WORKDAY",
-  "YEAR"
-]);
-function fxTokens(text) {
-  const out = [];
-  let i = 0;
-  while (i < text.length) {
-    const c = text[i];
-    if (/\s/.test(c)) i += 1;
-    else if (c === "{") {
-      const j = text.indexOf("}", i);
-      if (j < 0) return "a { has no closing }";
-      out.push({ t: "ref", v: text.slice(i + 1, j).trim() });
-      i = j + 1;
-    } else if (c === "'" || c === '"') {
-      const j = text.indexOf(c, i + 1);
-      if (j < 0) return "a quoted word has no closing quote";
-      out.push({ t: "str", v: text.slice(i + 1, j) });
-      i = j + 1;
-    } else if (/[0-9.]/.test(c)) {
-      const m = /^[0-9]*\.?[0-9]+/.exec(text.slice(i));
-      out.push({ t: "num", v: m[0] });
-      i += m[0].length;
-    } else if (/[A-Za-z_]/.test(c)) {
-      const m = /^[A-Za-z_][A-Za-z_0-9]*/.exec(text.slice(i));
-      out.push({ t: "name", v: m[0] });
-      i += m[0].length;
-    } else if ("+-*/(),%".includes(c)) {
-      out.push({ t: "op", v: c });
-      i += 1;
-    } else return `"${c}" is not part of a formula`;
-  }
-  return out;
-}
-function parseFormula(text) {
-  const toks = fxTokens(text);
-  if (typeof toks === "string") return toks;
-  let p = 0;
-  const peek = () => toks[p];
-  const fail = (why) => {
-    throw new Error(why);
-  };
-  const expr = () => {
-    let a = term();
-    while (peek()?.t === "op" && (peek().v === "+" || peek().v === "-")) {
-      const op = toks[p++].v;
-      a = { k: "bin", op, a, b: term() };
-    }
-    return a;
-  };
-  const term = () => {
-    let a = factor();
-    while (peek()?.t === "op" && (peek().v === "*" || peek().v === "/" || peek().v === "%")) {
-      const op = toks[p++].v;
-      a = { k: "bin", op, a, b: factor() };
-    }
-    return a;
-  };
-  const factor = () => {
-    const tk = toks[p++];
-    if (!tk) return fail("the formula ends too early");
-    if (tk.t === "num") return { k: "num", v: parseNumeric(tk.v) };
-    if (tk.t === "str") return { k: "str", v: tk.v };
-    if (tk.t === "ref") return { k: "ref", v: tk.v };
-    if (tk.t === "op" && tk.v === "-") return { k: "neg", a: factor() };
-    if (tk.t === "op" && tk.v === "(") {
-      const e = expr();
-      if (toks[p++]?.v !== ")") fail("a ( has no closing )");
-      return e;
-    }
-    if (tk.t === "name") {
-      const f = tk.v.toUpperCase();
-      if (!FORMULA_FUNCTIONS.has(f)) fail(`${tk.v} is not a formula function the store knows`);
-      if (toks[p++]?.v !== "(") fail(`${f} is followed by its arguments in ( )`);
-      const args = [];
-      if (peek()?.v !== ")") {
-        args.push(expr());
-        while (peek()?.v === ",") {
-          p += 1;
-          args.push(expr());
-        }
-      }
-      if (toks[p++]?.v !== ")") fail(`${f}( has no closing )`);
-      return { k: "call", f, args };
-    }
-    return fail(`"${tk.v}" is out of place`);
-  };
-  try {
-    const e = expr();
-    if (p !== toks.length) return `"${toks[p].v}" is out of place`;
-    return e;
-  } catch (err) {
-    return err.message;
-  }
+var FORMULA_FUNCTION_NAMES = new Set(KIT_FORMULA_FUNCTIONS.map((f) => f.name));
+function toFx(n) {
+  switch (n.kind) {
+    case "number":
+      return { k: "num", v: parseNumeric(n.raw) };
+    case "string":
+      return { k: "str", v: n.value };
+    case "boolean":
+      return { k: "call", f: n.value ? "TRUE" : "FALSE", args: [] };
+    case "reference":
+      return { k: "ref", v: n.name };
+    case "unary":
+      return { k: "neg", a: toFx(n.operand) };
+    case "binary":
+      return { k: "bin", op: n.operator, a: toFx(n.left), b: toFx(n.right) };
+    case "call":
+      return { k: "call", f: n.name, args: n.args.map(toFx) };
+  }
+}
+function parseGateFormula(text) {
+  const parsed = parseFormulaText(text);
+  return parsed.ok ? toFx(parsed.ast) : parsed.error;
 }
 function formulaRefs(n) {
   if (n.k === "ref") return [n.v];
@@ -2905,7 +2800,7 @@ function evalFormula(n, valueOf) {
       if (n.op === "*") return { ok: true, v: q(a.n * b.n, a.d * b.d) };
       if (b.n === 0n) return { ok: false, why: "it divides by zero on a row" };
       if (n.op === "/") return { ok: true, v: q(a.n * b.d, a.d * b.n) };
-      return { ok: false, why: "% is not mirrored" };
+      return { ok: false, why: `${n.op} is not mirrored` };
     }
     case "call": {
       if (n.f === "ABS" && n.args.length === 1) {
@@ -3648,7 +3543,7 @@ function validateTemplate(raw, options = {}) {
       return isComputed(pf) ? computedOf(target, pf, { key: far.key, values: far.values }, depth + 1) : { ok: true, v: far.values?.[f.pick] ?? null };
     }
     if (f.parityType === "formula" && f.formula) {
-      const ast = parseFormula(f.formula);
+      const ast = parseGateFormula(f.formula);
       if (typeof ast === "string") return { ok: false, why: ast };
       let why = null;
       const r2 = evalFormula(ast, (label2) => {
@@ -3678,7 +3573,7 @@ function validateTemplate(raw, options = {}) {
     if (!f) return false;
     if (isNumber(f)) return true;
     if (f.parityType !== "formula" || !f.formula) return false;
-    const ast = parseFormula(f.formula);
+    const ast = parseGateFormula(f.formula);
     if (typeof ast === "string") return false;
     const refsStored = formulaRefs(ast).every((l) => {
       const rf = byToken.get(table)?.fields.find((x) => x.label === l);
@@ -4985,7 +4880,7 @@ function validateTemplate(raw, options = {}) {
         say(fat, `"${f.label}" is a formula; write it in formula, naming fields in braces: {Total} - {Paid}.`);
         continue;
       }
-      const ast = parseFormula(f.formula);
+      const ast = parseGateFormula(f.formula);
       if (typeof ast === "string") {
         say(fat, `The formula "${f.formula}" cannot be read: ${ast}.`);
         continue;
@@ -7830,7 +7725,7 @@ export {
   DEFAULT_TEMPLATE_AGENT,
   DESIGNATED_REAL_NUMBERS,
   ENTITY_REFERENCE_KINDS,
-  FORMULA_FUNCTIONS,
+  FORMULA_FUNCTION_NAMES,
   GALLERY_ONLY,
   GOOD_OUTCOME,
   INDUSTRY_GROUPS,
@@ -7913,7 +7808,7 @@ export {
   numberedStreet,
   packageDescribeResult,
   parseAt,
-  parseFormula,
+  parseGateFormula,
   parseNumeric,
   pathOfAt,
   peopleOf,