@ultimat3/cli 19.3.2 → 19.3.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ultimat3/cli",
-  "version": "19.3.2",
+  "version": "19.3.3",
   "description": "The `x` binary: new, dev, build, verify, generate, db, mcp, doctor, deploy",
   "license": "MIT",
   "type": "module",
@@ -37,34 +37,34 @@
   },
   "dependencies": {
     "@babel/core": "^7.28.4",
-    "@ultimat3/action": "19.3.2",
-    "@ultimat3/admin": "19.3.2",
-    "@ultimat3/ai": "19.3.2",
-    "@ultimat3/auth": "19.3.2",
-    "@ultimat3/cache": "19.3.2",
-    "@ultimat3/core": "19.3.2",
-    "@ultimat3/db": "19.3.2",
-    "@ultimat3/entity": "19.3.2",
-    "@ultimat3/flags": "19.3.2",
-    "@ultimat3/http": "19.3.2",
-    "@ultimat3/i18n": "19.3.2",
-    "@ultimat3/jobs": "19.3.2",
-    "@ultimat3/mail": "19.3.2",
-    "@ultimat3/manifest": "19.3.2",
-    "@ultimat3/mcp": "19.3.2",
-    "@ultimat3/money": "19.3.2",
-    "@ultimat3/notify": "19.3.2",
-    "@ultimat3/policy": "19.3.2",
-    "@ultimat3/pwa": "19.3.2",
-    "@ultimat3/query": "19.3.2",
-    "@ultimat3/realtime": "19.3.2",
-    "@ultimat3/render": "19.3.2",
-    "@ultimat3/schema": "19.3.2",
-    "@ultimat3/scraping": "19.3.2",
-    "@ultimat3/seo": "19.3.2",
-    "@ultimat3/storage": "19.3.2",
-    "@ultimat3/testing": "19.3.2",
-    "@ultimat3/time": "19.3.2",
+    "@ultimat3/action": "19.3.3",
+    "@ultimat3/admin": "19.3.3",
+    "@ultimat3/ai": "19.3.3",
+    "@ultimat3/auth": "19.3.3",
+    "@ultimat3/cache": "19.3.3",
+    "@ultimat3/core": "19.3.3",
+    "@ultimat3/db": "19.3.3",
+    "@ultimat3/entity": "19.3.3",
+    "@ultimat3/flags": "19.3.3",
+    "@ultimat3/http": "19.3.3",
+    "@ultimat3/i18n": "19.3.3",
+    "@ultimat3/jobs": "19.3.3",
+    "@ultimat3/mail": "19.3.3",
+    "@ultimat3/manifest": "19.3.3",
+    "@ultimat3/mcp": "19.3.3",
+    "@ultimat3/money": "19.3.3",
+    "@ultimat3/notify": "19.3.3",
+    "@ultimat3/policy": "19.3.3",
+    "@ultimat3/pwa": "19.3.3",
+    "@ultimat3/query": "19.3.3",
+    "@ultimat3/realtime": "19.3.3",
+    "@ultimat3/render": "19.3.3",
+    "@ultimat3/schema": "19.3.3",
+    "@ultimat3/scraping": "19.3.3",
+    "@ultimat3/seo": "19.3.3",
+    "@ultimat3/storage": "19.3.3",
+    "@ultimat3/testing": "19.3.3",
+    "@ultimat3/time": "19.3.3",
     "babel-preset-solid": "^1.9.15"
   }
 }

package/src/verify-checks.ts

@@ -50,14 +50,21 @@ export const VERIFY_STEPS: readonly VerifyStep[] = [
   {
     name: 'typecheck',
     summary: 'tsc -b across every project the root references',
+    // `typecheckBin` (`x.verify.json`, beside `agentsMdMaxBytes`) swaps the binary and nothing
+    // else: same `-b --pretty false` invocation, same output format to parse, same `X_TYPECHECK_
+    // FAILED` finding either way. Absent means `tsc` — the only checker every app already has,
+    // since `typescript` is a framework dependency and a drop-in replacement is the app's own
+    // devDependency to add, never a default this step could assume.
     async run(ctx) {
-      const result = await ctx.runner(['bunx', 'tsc', '-b', '--pretty', 'false'], {
+      const floor = await readVerifyFloor(ctx.root);
+      const bin = floor?.typecheckBin ?? 'tsc';
+      const result = await ctx.runner(['bunx', bin, '-b', '--pretty', 'false'], {
         cwd: ctx.root,
       });
       return fromExec(result, {
         code: 'X_TYPECHECK_FAILED',
         cause: 'the project does not typecheck',
-        fix: 'bunx tsc -b --pretty false',
+        fix: `bunx ${bin} -b --pretty false`,
       });
     },
   },

package/src/verify-floor.ts

@@ -29,6 +29,18 @@ export interface VerifyFloor {
    * sees, which is the whole safeguard: the number is small, visible, and argued for in one place.
    */
   readonly agentsMdMaxBytes?: number;
+  /**
+   * The binary the `typecheck` step invokes in place of `tsc` — `bunx <typecheckBin> -b --pretty
+   * false`, unchanged otherwise. Absent means `tsc`, which is the only binary every app already
+   * has: `typescript` is a framework dependency, not one this file can assume an app added.
+   *
+   * Here for the same reason `agentsMdMaxBytes` is: this is the file that configures the GATE,
+   * and it is read by the very step the key names. A drop-in `tsc -b` compatible checker (Microsoft's
+   * `tsgo`, `@typescript/native-preview`) is a devDependency + a one-line commit here, never a
+   * hardcoded default — an app that has not installed the binary this names gets `command not
+   * found` from its own shell, not a framework opinion about which compiler is correct.
+   */
+  readonly typecheckBin?: string;
   /** Why part of the file is not a floor. The `manifest` step reports these; nothing swallows them. */
   readonly problems: readonly string[];
 }
@@ -36,6 +48,9 @@ export interface VerifyFloor {
 /** The floor's budget key. Named once: the problem quotes it and the fix repairs it. */
 export const BUDGET_FIELD = 'agentsMdMaxBytes';
 
+/** The floor's typecheck-binary key. Named once: the problem quotes it and the fix repairs it. */
+export const TYPECHECK_BIN_FIELD = 'typecheckBin';
+
 /**
  * `agentsMdMaxBytes`, or a reason it is not one. A budget that is not a positive whole number is
  * the caller's bug and must not silently fall back to the default: a floor file that says
@@ -57,6 +72,27 @@ function readBudget(payload: Record<string, unknown> | undefined): {
   return { budget: raw, problems: [] };
 }
 
+/**
+ * `typecheckBin`, or a reason it is not one. A non-string value must not silently fall back to
+ * `tsc`: a floor that names `"typecheckBin": 7` and gets `tsc` anyway is a repository that
+ * believes the `typecheck` step is running a checker it is not, which is the same false green
+ * `readBudget` above already refuses for the byte count. An empty string is refused for the same
+ * reason `-b`'s own project argument may not be empty — `bunx '' -b …` is not a step that failed
+ * to typecheck, it is a step that never ran a compiler at all.
+ */
+function readTypecheckBin(payload: Record<string, unknown> | undefined): {
+  bin?: string;
+  problems: readonly string[];
+} {
+  const raw = payload?.[TYPECHECK_BIN_FIELD];
+  if (raw === undefined) return { problems: [] };
+  if (typeof raw !== 'string' || raw.trim().length === 0)
+    return {
+      problems: [`"${TYPECHECK_BIN_FIELD}" is ${JSON.stringify(raw)}, which is not a binary name`],
+    };
+  return { bin: raw, problems: [] };
+}
+
 const asRecord = (value: unknown): Record<string, unknown> | undefined =>
   typeof value === 'object' && value !== null && !Array.isArray(value)
     ? (value as Record<string, unknown>)
@@ -86,12 +122,18 @@ export function parseVerifyFloor(
   }
   const record = asRecord(payload);
   const budget = readBudget(record);
+  const typecheckBin = readTypecheckBin(record);
   const steps = record?.['steps'];
   if (!Array.isArray(steps)) {
     return {
       steps: [],
       ...(budget.budget === undefined ? {} : { agentsMdMaxBytes: budget.budget }),
-      problems: ['it has no "steps" array of step names', ...budget.problems],
+      ...(typecheckBin.bin === undefined ? {} : { typecheckBin: typecheckBin.bin }),
+      problems: [
+        'it has no "steps" array of step names',
+        ...budget.problems,
+        ...typecheckBin.problems,
+      ],
     };
   }
   const named = steps.filter((step): step is string => typeof step === 'string');
@@ -99,8 +141,10 @@ export function parseVerifyFloor(
   return {
     steps: named.filter((step) => declared.includes(step)),
     ...(budget.budget === undefined ? {} : { agentsMdMaxBytes: budget.budget }),
+    ...(typecheckBin.bin === undefined ? {} : { typecheckBin: typecheckBin.bin }),
     problems: [
       ...(named.length === steps.length ? [] : ['"steps" holds an entry that is not a string']),
+      ...typecheckBin.problems,
       ...(unknown.length === 0
         ? []
         : [`"steps" names ${unknown.join(', ')}, which x verify does not run`]),
@@ -185,7 +229,10 @@ export const floorProblemFindings = (floor: VerifyFloor | undefined): readonly F
  * does not fix it is the failure `packages/cli/CLAUDE.md` names, and the budget is the first
  * problem this file can report that is not about `steps` at all.
  */
-const fixFor = (problem: string): string =>
-  problem.includes(`"${BUDGET_FIELD}"`)
-    ? `x verify --json   # then set "${BUDGET_FIELD}" in ${VERIFY_FLOOR_FILE} to a positive whole number of bytes, or drop the key for the ${AGENTS_MD_MAX_BYTES}B default`
-    : `x verify --json   # then write ${VERIFY_FLOOR_FILE} as {"steps":["unit","contract"]}, naming only steps it ran`;
+const fixFor = (problem: string): string => {
+  if (problem.includes(`"${BUDGET_FIELD}"`))
+    return `x verify --json   # then set "${BUDGET_FIELD}" in ${VERIFY_FLOOR_FILE} to a positive whole number of bytes, or drop the key for the ${AGENTS_MD_MAX_BYTES}B default`;
+  if (problem.includes(`"${TYPECHECK_BIN_FIELD}"`))
+    return `x verify --json   # then set "${TYPECHECK_BIN_FIELD}" in ${VERIFY_FLOOR_FILE} to a non-empty binary name, or drop the key to run tsc`;
+  return `x verify --json   # then write ${VERIFY_FLOOR_FILE} as {"steps":["unit","contract"]}, naming only steps it ran`;
+};