ic-mops 2.15.1 → 2.16.0

package/CHANGELOG.md

@@ -2,6 +2,16 @@
 
 ## Next
 
+## 2.16.0
+
+- `mops bench` now compiles benchmark canisters under **enhanced orthogonal persistence** (moc's default) instead of forcing `--legacy-persistence` — measuring the persistence mode real canisters run. Pass `--legacy-persistence` to opt back into legacy persistence.
+- `mops bench --query` measures each cell in a **query** call instead of an update call. Queries run no GC on the IC, so the instruction counts exclude GC work an update would incur — for benchmarking `query`/read-only workloads realistically. Only for synchronous benchmark runners (no inter-canister `await`).
+- `[requirements].lintoko` declares a minimum lintoko version for package consumers. `mops install` (and `mops add`, `mops toolchain use`) warn when the project's lintoko is below a dependency's requirement, same as `moc` (#597).
+
+## 2.15.2
+
+- `mops check-stable` (and the stable check inside `mops check`) reports when `[canisters.<name>.migrations].check-limit` is set but more migrations are pending than the limit allows. If the compatibility check failed, the check-limit diagnostic replaces the misleading `moc` error; if it passed anyway, a warning is shown. Compares the deployed `.most` baseline against the local chain; use `--no-check-limit` to suppress.
+
 ## 2.15.1
 
 - `mops check --fix` no longer aborts when a fixable file is read-only (e.g. a frozen migration chain file deliberately `chmod`'d to remove write access). The autofixer now skips such files with a warning and continues fixing the rest, instead of crashing the whole run on `EACCES`/`EPERM`.

package/check-requirements.ts

@@ -5,47 +5,69 @@ import chalk from "chalk";
 import { getDependencyType, getRootDir, readConfig } from "./mops.js";
 import { resolvePackages } from "./resolve-packages.js";
 import { getMocSemVer } from "./helpers/get-moc-version.js";
+import { getLintokoSemVer } from "./helpers/get-lintoko-version.js";
 import { getPackageId } from "./helpers/get-package-id.js";
+import type { Requirements } from "./types.js";
+
+type ToolRequirement = keyof Requirements;
+
+const TOOL_REQUIREMENTS: {
+  tool: ToolRequirement;
+  getInstalled: () => SemVer | null;
+}[] = [
+  { tool: "moc", getInstalled: getMocSemVer },
+  { tool: "lintoko", getInstalled: getLintokoSemVer },
+];
 
 export async function checkRequirements({ verbose = false } = {}) {
-  let installedMoc = getMocSemVer();
-  if (!installedMoc) {
-    return;
-  }
-  let highestRequiredMoc = new SemVer("0.0.0");
-  let highestRequiredMocPkgId = "";
   let rootDir = getRootDir();
-
   let resolvedPackages = await resolvePackages();
-  for (let [name, version] of Object.entries(resolvedPackages)) {
-    if (getDependencyType(version) === "mops") {
-      let pkgId = getPackageId(name, version);
-      let depConfig = readConfig(
-        path.join(rootDir, ".mops", pkgId, "mops.toml"),
-      );
-      let moc = depConfig.requirements?.moc;
-
-      if (moc) {
-        let requiredMoc = new SemVer(moc);
-        if (highestRequiredMoc.compare(requiredMoc) < 0) {
-          highestRequiredMoc = requiredMoc;
-          highestRequiredMocPkgId = pkgId;
+
+  for (let { tool, getInstalled } of TOOL_REQUIREMENTS) {
+    let installed = getInstalled();
+    if (!installed) {
+      continue;
+    }
+
+    let highestRequired = new SemVer("0.0.0");
+    let highestRequiredPkgId = "";
+
+    for (let [name, version] of Object.entries(resolvedPackages)) {
+      if (getDependencyType(version) === "mops") {
+        let pkgId = getPackageId(name, version);
+        let depConfig = readConfig(
+          path.join(rootDir, ".mops", pkgId, "mops.toml"),
+        );
+        let required = depConfig.requirements?.[tool];
+
+        if (required) {
+          let requiredVersion = new SemVer(required);
+          if (highestRequired.compare(requiredVersion) < 0) {
+            highestRequired = requiredVersion;
+            highestRequiredPkgId = pkgId;
+          }
+          verbose && _check(tool, pkgId, installed, requiredVersion);
         }
-        verbose && _check(pkgId, installedMoc, requiredMoc);
       }
     }
-  }
 
-  verbose || _check(highestRequiredMocPkgId, installedMoc, highestRequiredMoc);
+    verbose || _check(tool, highestRequiredPkgId, installed, highestRequired);
+  }
 }
 
-function _check(pkgId: string, installedMoc: SemVer, requiredMoc: SemVer) {
-  let comp = installedMoc.compare(requiredMoc);
-  if (comp < 0) {
-    console.log(
-      chalk.yellow(`moc version does not meet the requirements of ${pkgId}`),
-    );
-    console.log(chalk.yellow(`  Required: >= ${requiredMoc.format()}`));
-    console.log(chalk.yellow(`  Installed:   ${installedMoc.format()}`));
+function _check(
+  tool: ToolRequirement,
+  pkgId: string,
+  installed: SemVer,
+  required: SemVer,
+) {
+  if (!pkgId || installed.compare(required) >= 0) {
+    return;
   }
+
+  console.log(
+    chalk.yellow(`${tool} version does not meet the requirements of ${pkgId}`),
+  );
+  console.log(chalk.yellow(`  Required: >= ${required.format()}`));
+  console.log(chalk.yellow(`  Installed:   ${installed.format()}`));
 }

package/cli.ts

@@ -102,14 +102,26 @@ function parseExtraArgs(variadicArgs?: string[]): {
 // Shared `--help` section describing the enhanced migration `check-limit`
 // trimming and its override flag, so the limit behaviour is discoverable
 // from `--help`. `withFix` appends the `--fix` hint for commands that support it.
-function enhancedMigrationHelp(withFix: boolean): string {
-  const example = withFix ? " (e.g. to --fix older migrations)" : "";
-  return (
+// `withPendingWarning` adds the stable-check pending-migration warning (check / check-stable only).
+function enhancedMigrationHelp(
+  options: {
+    withFix?: boolean;
+    withPendingWarning?: boolean;
+  } = {},
+): string {
+  const example = options.withFix ? " (e.g. to --fix older migrations)" : "";
+  let text =
     "\nEnhanced migration ([canisters.<name>.migrations]):\n" +
     "  The canister is checked against its migration chain. [migrations].check-limit\n" +
     "  trims it to the last N migrations (older ones are skipped). Pass --no-check-limit\n" +
-    `  to use the full chain${example}.`
-  );
+    `  to use the full chain${example}.`;
+  if (options.withPendingWarning) {
+    text +=
+      "\n  When check-limit is set, the stable check reports if more migrations are pending\n" +
+      "  (relative to the deployed .most baseline) than the limit allows — as an error if\n" +
+      "  compat failed, otherwise a warning.";
+  }
+  return text;
 }
 
 program.name("mops");
@@ -372,14 +384,17 @@ program
   .addOption(
     new Option(
       "--no-check-limit",
-      "Check the full migration chain, ignoring [migrations].check-limit",
+      "Use the full migration chain, ignoring [migrations].check-limit; also suppresses the pending-migration warning",
     ),
   )
   .addHelpText(
     "after",
     "\nArguments after -- are forwarded directly to moc, e.g.:\n  $ mops check -- -Werror",
   )
-  .addHelpText("after", enhancedMigrationHelp(true))
+  .addHelpText(
+    "after",
+    enhancedMigrationHelp({ withFix: true, withPendingWarning: true }),
+  )
   .allowUnknownOption(true)
   .action(async (args, options) => {
     checkConfigFile(true);
@@ -419,14 +434,14 @@ program
   .addOption(
     new Option(
       "--no-check-limit",
-      "Check the full migration chain, ignoring [migrations].check-limit",
+      "Use the full migration chain, ignoring [migrations].check-limit; also suppresses the pending-migration warning",
     ),
   )
   .addHelpText(
     "after",
     "\nArguments after -- are forwarded directly to moc, e.g.:\n  $ mops check-stable -- -Werror",
   )
-  .addHelpText("after", enhancedMigrationHelp(false))
+  .addHelpText("after", enhancedMigrationHelp({ withPendingWarning: true }))
   .allowUnknownOption(true)
   .action(async (args, options) => {
     checkConfigFile(true);
@@ -543,6 +558,18 @@ program
     ),
   )
   // .addOption(new Option('--force-gc', 'Force GC'))
+  .addOption(
+    new Option(
+      "--query",
+      "Measure each cell in a query call (how `query` methods run on the IC: no GC). Only for benchmarks whose runner is synchronous (no inter-canister calls)",
+    ),
+  )
+  .addOption(
+    new Option(
+      "--legacy-persistence",
+      "Compile benchmark canisters under legacy persistence instead of enhanced orthogonal persistence (the default)",
+    ),
+  )
   .addOption(
     new Option(
       "--verbose",
@@ -979,7 +1006,7 @@ program
     "after",
     "\nArguments after -- are forwarded directly to lintoko, e.g.:\n  $ mops lint -- --severity warning",
   )
-  .addHelpText("after", enhancedMigrationHelp(true))
+  .addHelpText("after", enhancedMigrationHelp({ withFix: true }))
   .allowUnknownOption(true)
   .action(async (filter, options) => {
     checkConfigFile(true);

package/commands/bench.ts

@@ -40,6 +40,8 @@ type BenchOptions = {
   compilerVersion: string;
   gc: "copying" | "compacting" | "generational" | "incremental";
   forceGc: boolean;
+  query: boolean;
+  legacyPersistence: boolean;
   save: boolean;
   compare: boolean;
   verbose: boolean;
@@ -61,6 +63,8 @@ export async function bench(
     compilerVersion: getMocVersion(true),
     gc: "copying",
     forceGc: true,
+    query: false,
+    legacyPersistence: false,
     save: false,
     compare: false,
     verbose: false,
@@ -120,6 +124,14 @@ export async function bench(
         `  gc:        ${options.gc}${options.forceGc ? " (forced)" : ""}`,
       ),
     );
+    console.log(
+      chalk.gray(`  context:   ${options.query ? "query" : "update"}`),
+    );
+    console.log(
+      chalk.gray(
+        `  persistence: ${options.legacyPersistence ? "legacy" : "enhanced"}`,
+      ),
+    );
     console.log(chalk.gray(`  profile:   ${options.profile}`));
     console.log(chalk.gray(`  optimize:  ${optimize}`));
   }
@@ -270,7 +282,12 @@ function computeDiffAll(
 function getMocArgs(options: BenchOptions): string {
   let args = "";
 
+  // Benchmarks compile under enhanced orthogonal persistence (moc's default
+  // since 0.15) — the mode real canisters run. Pass `--legacy-persistence`
+  // only when the user opts in, and only where moc supports the flag (>= 0.15;
+  // legacy is already the default below it).
   if (
+    options.legacyPersistence &&
     options.compilerVersion &&
     new SemVer(options.compilerVersion).compare("0.15.0") >= 0
   ) {
@@ -533,13 +550,14 @@ async function runBenchFile(
     log();
   }
 
-  // run all cells
+  // run all cells. `--query` measures in query context (how `query` methods
+  // actually run on the IC: no GC), at the cost of not supporting benches whose
+  // runner performs async calls. Otherwise use the update path.
   for (let [rowIndex, row] of schema.rows.entries()) {
     for (let [colIndex, col] of schema.cols.entries()) {
-      let res = await actor.runCellUpdateAwait(
-        BigInt(rowIndex),
-        BigInt(colIndex),
-      );
+      let res = options.query
+        ? await actor.runCellQuery(BigInt(rowIndex), BigInt(colIndex))
+        : await actor.runCellUpdateAwait(BigInt(rowIndex), BigInt(colIndex));
       results.set(`${row}:${col}`, res);
 
       // @ts-ignore

package/commands/check-stable.ts

@@ -4,9 +4,13 @@ import { rm } from "node:fs/promises";
 import chalk from "chalk";
 import { execa } from "execa";
 import { cliError } from "../error.js";
-import { prepareMigrationArgs } from "../helpers/migrations.js";
+import {
+  getCheckLimitPendingIssue,
+  prepareMigrationArgs,
+  reportCheckLimitPendingIssue,
+} from "../helpers/migrations.js";
 import { getGlobalMocArgs, readConfig, resolveConfigPath } from "../mops.js";
-import { CanisterConfig } from "../types.js";
+import { CanisterConfig, MigrationsConfig } from "../types.js";
 import {
   filterCanisters,
   looksLikeFile,
@@ -103,6 +107,7 @@ export async function checkStable(
         mocPath,
         globalMocArgs,
         canisterArgs: [...migration.migrationArgs, ...(canister.args ?? [])],
+        migrations: canister.migrations,
         options,
       });
     } finally {
@@ -146,6 +151,7 @@ export async function checkStable(
         globalMocArgs,
         canisterArgs: [...migration.migrationArgs, ...(canister.args ?? [])],
         sources,
+        migrations: canister.migrations,
         options,
       });
     } finally {
@@ -173,6 +179,7 @@ export interface RunStableCheckParams {
   globalMocArgs: string[];
   canisterArgs: string[];
   sources?: string[];
+  migrations?: MigrationsConfig;
   options?: Partial<CheckStableOptions>;
 }
 
@@ -240,7 +247,17 @@ export async function runStableCheck(
       reject: false,
     });
 
-    if (result.exitCode !== 0) {
+    const issue = getCheckLimitPendingIssue(
+      params.migrations,
+      canisterName,
+      oldMostPath,
+      options.checkLimit === false,
+      isOldMostFile,
+    );
+
+    if (issue) {
+      reportCheckLimitPendingIssue(issue, result.exitCode !== 0);
+    } else if (result.exitCode !== 0) {
       if (result.stderr) {
         console.error(result.stderr);
       }

package/commands/check.ts

@@ -230,7 +230,12 @@ async function checkCanisters(
           globalMocArgs,
           canisterArgs: [...migration.migrationArgs, ...(canister.args ?? [])],
           sources,
-          options: { verbose: options.verbose, extraArgs: options.extraArgs },
+          migrations: canister.migrations,
+          options: {
+            verbose: options.verbose,
+            extraArgs: options.extraArgs,
+            checkLimit: options.checkLimit,
+          },
         });
       }
     } finally {

package/commands/toolchain/index.ts

@@ -337,9 +337,7 @@ async function update(tool?: Tool) {
     config.toolchain[tool] = version;
     writeConfig(config);
 
-    if (tool === "moc") {
-      await checkRequirements();
-    }
+    await checkRequirements();
 
     if (oldVersion === version) {
       console.log(`Latest ${tool} ${version} is already installed`);

package/dist/check-requirements.js

@@ -4,38 +4,45 @@ import chalk from "chalk";
 import { getDependencyType, getRootDir, readConfig } from "./mops.js";
 import { resolvePackages } from "./resolve-packages.js";
 import { getMocSemVer } from "./helpers/get-moc-version.js";
+import { getLintokoSemVer } from "./helpers/get-lintoko-version.js";
 import { getPackageId } from "./helpers/get-package-id.js";
+const TOOL_REQUIREMENTS = [
+    { tool: "moc", getInstalled: getMocSemVer },
+    { tool: "lintoko", getInstalled: getLintokoSemVer },
+];
 export async function checkRequirements({ verbose = false } = {}) {
-    let installedMoc = getMocSemVer();
-    if (!installedMoc) {
-        return;
-    }
-    let highestRequiredMoc = new SemVer("0.0.0");
-    let highestRequiredMocPkgId = "";
     let rootDir = getRootDir();
     let resolvedPackages = await resolvePackages();
-    for (let [name, version] of Object.entries(resolvedPackages)) {
-        if (getDependencyType(version) === "mops") {
-            let pkgId = getPackageId(name, version);
-            let depConfig = readConfig(path.join(rootDir, ".mops", pkgId, "mops.toml"));
-            let moc = depConfig.requirements?.moc;
-            if (moc) {
-                let requiredMoc = new SemVer(moc);
-                if (highestRequiredMoc.compare(requiredMoc) < 0) {
-                    highestRequiredMoc = requiredMoc;
-                    highestRequiredMocPkgId = pkgId;
+    for (let { tool, getInstalled } of TOOL_REQUIREMENTS) {
+        let installed = getInstalled();
+        if (!installed) {
+            continue;
+        }
+        let highestRequired = new SemVer("0.0.0");
+        let highestRequiredPkgId = "";
+        for (let [name, version] of Object.entries(resolvedPackages)) {
+            if (getDependencyType(version) === "mops") {
+                let pkgId = getPackageId(name, version);
+                let depConfig = readConfig(path.join(rootDir, ".mops", pkgId, "mops.toml"));
+                let required = depConfig.requirements?.[tool];
+                if (required) {
+                    let requiredVersion = new SemVer(required);
+                    if (highestRequired.compare(requiredVersion) < 0) {
+                        highestRequired = requiredVersion;
+                        highestRequiredPkgId = pkgId;
+                    }
+                    verbose && _check(tool, pkgId, installed, requiredVersion);
                 }
-                verbose && _check(pkgId, installedMoc, requiredMoc);
             }
         }
+        verbose || _check(tool, highestRequiredPkgId, installed, highestRequired);
     }
-    verbose || _check(highestRequiredMocPkgId, installedMoc, highestRequiredMoc);
 }
-function _check(pkgId, installedMoc, requiredMoc) {
-    let comp = installedMoc.compare(requiredMoc);
-    if (comp < 0) {
-        console.log(chalk.yellow(`moc version does not meet the requirements of ${pkgId}`));
-        console.log(chalk.yellow(`  Required: >= ${requiredMoc.format()}`));
-        console.log(chalk.yellow(`  Installed:   ${installedMoc.format()}`));
+function _check(tool, pkgId, installed, required) {
+    if (!pkgId || installed.compare(required) >= 0) {
+        return;
     }
+    console.log(chalk.yellow(`${tool} version does not meet the requirements of ${pkgId}`));
+    console.log(chalk.yellow(`  Required: >= ${required.format()}`));
+    console.log(chalk.yellow(`  Installed:   ${installed.format()}`));
 }

package/dist/cli.js

@@ -65,12 +65,20 @@ function parseExtraArgs(variadicArgs) {
 // Shared `--help` section describing the enhanced migration `check-limit`
 // trimming and its override flag, so the limit behaviour is discoverable
 // from `--help`. `withFix` appends the `--fix` hint for commands that support it.
-function enhancedMigrationHelp(withFix) {
-    const example = withFix ? " (e.g. to --fix older migrations)" : "";
-    return ("\nEnhanced migration ([canisters.<name>.migrations]):\n" +
+// `withPendingWarning` adds the stable-check pending-migration warning (check / check-stable only).
+function enhancedMigrationHelp(options = {}) {
+    const example = options.withFix ? " (e.g. to --fix older migrations)" : "";
+    let text = "\nEnhanced migration ([canisters.<name>.migrations]):\n" +
         "  The canister is checked against its migration chain. [migrations].check-limit\n" +
         "  trims it to the last N migrations (older ones are skipped). Pass --no-check-limit\n" +
-        `  to use the full chain${example}.`);
+        `  to use the full chain${example}.`;
+    if (options.withPendingWarning) {
+        text +=
+            "\n  When check-limit is set, the stable check reports if more migrations are pending\n" +
+                "  (relative to the deployed .most baseline) than the limit allows — as an error if\n" +
+                "  compat failed, otherwise a warning.";
+    }
+    return text;
 }
 program.name("mops");
 // --version
@@ -286,9 +294,9 @@ program
     .description("Check Motoko canisters or files for syntax errors and type issues. Arguments can be canister names or file paths. If no arguments are given, checks all canisters from mops.toml. Also runs stable compatibility checks for canisters with [check-stable] configured, and runs linting if lintoko is configured in [toolchain]")
     .option("--verbose", "Verbose console output")
     .addOption(new Option("--fix", "Apply autofixes to all files, including transitively imported ones"))
-    .addOption(new Option("--no-check-limit", "Check the full migration chain, ignoring [migrations].check-limit"))
+    .addOption(new Option("--no-check-limit", "Use the full migration chain, ignoring [migrations].check-limit; also suppresses the pending-migration warning"))
     .addHelpText("after", "\nArguments after -- are forwarded directly to moc, e.g.:\n  $ mops check -- -Werror")
-    .addHelpText("after", enhancedMigrationHelp(true))
+    .addHelpText("after", enhancedMigrationHelp({ withFix: true, withPendingWarning: true }))
     .allowUnknownOption(true)
     .action(async (args, options) => {
     checkConfigFile(true);
@@ -321,9 +329,9 @@ program
     .command("check-stable [args...]")
     .description("Check stable variable compatibility. With no arguments, checks all canisters with [check-stable] configured. Arguments can be canister names or an old file path followed by an optional canister name")
     .option("--verbose", "Verbose console output")
-    .addOption(new Option("--no-check-limit", "Check the full migration chain, ignoring [migrations].check-limit"))
+    .addOption(new Option("--no-check-limit", "Use the full migration chain, ignoring [migrations].check-limit; also suppresses the pending-migration warning"))
     .addHelpText("after", "\nArguments after -- are forwarded directly to moc, e.g.:\n  $ mops check-stable -- -Werror")
-    .addHelpText("after", enhancedMigrationHelp(false))
+    .addHelpText("after", enhancedMigrationHelp({ withPendingWarning: true }))
     .allowUnknownOption(true)
     .action(async (args, options) => {
     checkConfigFile(true);
@@ -393,6 +401,8 @@ program
     .addOption(new Option("--save", "Save benchmark results to .bench/<filename>.json"))
     .addOption(new Option("--compare", "Run benchmark and compare results with .bench/<filename>.json"))
     // .addOption(new Option('--force-gc', 'Force GC'))
+    .addOption(new Option("--query", "Measure each cell in a query call (how `query` methods run on the IC: no GC). Only for benchmarks whose runner is synchronous (no inter-canister calls)"))
+    .addOption(new Option("--legacy-persistence", "Compile benchmark canisters under legacy persistence instead of enhanced orthogonal persistence (the default)"))
     .addOption(new Option("--verbose", "Print the benchmark pipeline (compiler, replica, GC, optimization) and stream compiler/replica output, including dfx optimization warnings"))
     .action(async (filter, options) => {
     checkConfigFile(true);
@@ -693,7 +703,7 @@ program
     .addOption(new Option("-r, --rules <directory...>", "Directories containing rules (can be used multiple times)"))
     .addOption(new Option("--no-check-limit", "Lint the full migration chain, ignoring [migrations].check-limit"))
     .addHelpText("after", "\nArguments after -- are forwarded directly to lintoko, e.g.:\n  $ mops lint -- --severity warning")
-    .addHelpText("after", enhancedMigrationHelp(true))
+    .addHelpText("after", enhancedMigrationHelp({ withFix: true }))
     .allowUnknownOption(true)
     .action(async (filter, options) => {
     checkConfigFile(true);

package/dist/commands/bench.d.ts

@@ -7,6 +7,8 @@ type BenchOptions = {
     compilerVersion: string;
     gc: "copying" | "compacting" | "generational" | "incremental";
     forceGc: boolean;
+    query: boolean;
+    legacyPersistence: boolean;
     save: boolean;
     compare: boolean;
     verbose: boolean;

package/dist/commands/bench.js

@@ -31,6 +31,8 @@ export async function bench(filter = "", optionsArg = {}) {
         compilerVersion: getMocVersion(true),
         gc: "copying",
         forceGc: true,
+        query: false,
+        legacyPersistence: false,
         save: false,
         compare: false,
         verbose: false,
@@ -71,6 +73,8 @@ export async function bench(filter = "", optionsArg = {}) {
         console.log(chalk.gray(`  compiler:  moc ${options.compilerVersion}`));
         console.log(chalk.gray(`  replica:   ${replicaType}${options.replicaVersion ? ` ${options.replicaVersion}` : ""}`));
         console.log(chalk.gray(`  gc:        ${options.gc}${options.forceGc ? " (forced)" : ""}`));
+        console.log(chalk.gray(`  context:   ${options.query ? "query" : "update"}`));
+        console.log(chalk.gray(`  persistence: ${options.legacyPersistence ? "legacy" : "enhanced"}`));
         console.log(chalk.gray(`  profile:   ${options.profile}`));
         console.log(chalk.gray(`  optimize:  ${optimize}`));
     }
@@ -188,7 +192,12 @@ function computeDiffAll(currentResults, prevResults, rows, cols) {
 }
 function getMocArgs(options) {
     let args = "";
-    if (options.compilerVersion &&
+    // Benchmarks compile under enhanced orthogonal persistence (moc's default
+    // since 0.15) — the mode real canisters run. Pass `--legacy-persistence`
+    // only when the user opts in, and only where moc supports the flag (>= 0.15;
+    // legacy is already the default below it).
+    if (options.legacyPersistence &&
+        options.compilerVersion &&
         new SemVer(options.compilerVersion).compare("0.15.0") >= 0) {
         args += " --legacy-persistence";
     }
@@ -386,10 +395,14 @@ async function runBenchFile(file, options, replica) {
     if (canUpdateLog) {
         log();
     }
-    // run all cells
+    // run all cells. `--query` measures in query context (how `query` methods
+    // actually run on the IC: no GC), at the cost of not supporting benches whose
+    // runner performs async calls. Otherwise use the update path.
     for (let [rowIndex, row] of schema.rows.entries()) {
         for (let [colIndex, col] of schema.cols.entries()) {
-            let res = await actor.runCellUpdateAwait(BigInt(rowIndex), BigInt(colIndex));
+            let res = options.query
+                ? await actor.runCellQuery(BigInt(rowIndex), BigInt(colIndex))
+                : await actor.runCellUpdateAwait(BigInt(rowIndex), BigInt(colIndex));
             results.set(`${row}:${col}`, res);
             // @ts-ignore
             instructionsCells[rowIndex][colIndex] = res.instructions;

package/dist/commands/check-stable.d.ts

@@ -1,4 +1,4 @@
-import { CanisterConfig } from "../types.js";
+import { CanisterConfig, MigrationsConfig } from "../types.js";
 export interface CheckStableOptions {
     verbose: boolean;
     extraArgs: string[];
@@ -17,6 +17,7 @@ export interface RunStableCheckParams {
     globalMocArgs: string[];
     canisterArgs: string[];
     sources?: string[];
+    migrations?: MigrationsConfig;
     options?: Partial<CheckStableOptions>;
 }
 export declare function runStableCheck(params: RunStableCheckParams): Promise<void>;

package/dist/commands/check-stable.js

@@ -4,7 +4,7 @@ import { rm } from "node:fs/promises";
 import chalk from "chalk";
 import { execa } from "execa";
 import { cliError } from "../error.js";
-import { prepareMigrationArgs } from "../helpers/migrations.js";
+import { getCheckLimitPendingIssue, prepareMigrationArgs, reportCheckLimitPendingIssue, } from "../helpers/migrations.js";
 import { getGlobalMocArgs, readConfig, resolveConfigPath } from "../mops.js";
 import { filterCanisters, looksLikeFile, resolveCanisterConfigs, resolveSingleCanister, validateCanisterArgs, } from "../helpers/resolve-canisters.js";
 import { sourcesArgs } from "./sources.js";
@@ -61,6 +61,7 @@ export async function checkStable(args, options = {}) {
                 mocPath,
                 globalMocArgs,
                 canisterArgs: [...migration.migrationArgs, ...(canister.args ?? [])],
+                migrations: canister.migrations,
                 options,
             });
         }
@@ -95,6 +96,7 @@ export async function checkStable(args, options = {}) {
                 globalMocArgs,
                 canisterArgs: [...migration.migrationArgs, ...(canister.args ?? [])],
                 sources,
+                migrations: canister.migrations,
                 options,
             });
         }
@@ -136,7 +138,11 @@ export async function runStableCheck(params) {
             stdio: "pipe",
             reject: false,
         });
-        if (result.exitCode !== 0) {
+        const issue = getCheckLimitPendingIssue(params.migrations, canisterName, oldMostPath, options.checkLimit === false, isOldMostFile);
+        if (issue) {
+            reportCheckLimitPendingIssue(issue, result.exitCode !== 0);
+        }
+        else if (result.exitCode !== 0) {
             if (result.stderr) {
                 console.error(result.stderr);
             }

package/dist/commands/check.js

@@ -144,7 +144,12 @@ async function checkCanisters(config, canisters, options) {
                     globalMocArgs,
                     canisterArgs: [...migration.migrationArgs, ...(canister.args ?? [])],
                     sources,
-                    options: { verbose: options.verbose, extraArgs: options.extraArgs },
+                    migrations: canister.migrations,
+                    options: {
+                        verbose: options.verbose,
+                        extraArgs: options.extraArgs,
+                        checkLimit: options.checkLimit,
+                    },
                 });
             }
         }

package/dist/commands/toolchain/index.js

@@ -259,9 +259,7 @@ async function update(tool) {
         let oldVersion = config.toolchain[tool];
         config.toolchain[tool] = version;
         writeConfig(config);
-        if (tool === "moc") {
-            await checkRequirements();
-        }
+        await checkRequirements();
         if (oldVersion === version) {
             console.log(`Latest ${tool} ${version} is already installed`);
         }

package/dist/helpers/get-lintoko-version.d.ts

@@ -0,0 +1,3 @@
+import { type SemVer } from "semver";
+export declare function getLintokoSemVer(): SemVer | null;
+export declare function getLintokoVersion(throwOnError?: boolean): string;