truecourse 0.6.0-next.3 → 0.6.0-next.5

package/cli.mjs

@@ -128242,7 +128242,7 @@ function readToolVersion() {
   if (cachedVersion)
     return cachedVersion;
   if (true) {
-    cachedVersion = "0.6.0-next.3";
+    cachedVersion = "0.6.0-next.5";
     return cachedVersion;
   }
   try {
@@ -149105,12 +149105,16 @@ async function runContractsGenerate(options = {}) {
   const extractModel = resolveModel("contract.extract", void 0, repoRoot5);
   const repairModel = resolveModel("contract.repair", void 0, repoRoot5);
   const fallbackModel = resolveFallbackModel(repoRoot5) ?? void 0;
+  let totalSlices = 0;
+  let doneSlices = 0;
   const runner = spawnRunner2({
     concurrency,
     model: extractModel,
     fallbackModel,
-    onSliceStart: (s) => {
-      O2.step(`extracting  ${s.specPath} :: ${s.headingPath.join(" \u2192 ")}`);
+    onSliceDone: (s, ok) => {
+      O2.step(
+        `extracted  ${++doneSlices}/${totalSlices}  ${s.specPath} :: ${s.headingPath.join(" \u2192 ")}${ok ? "" : "  (failed)"}`
+      );
     }
   });
   let result;
@@ -149120,8 +149124,11 @@ async function runContractsGenerate(options = {}) {
       runner,
       models: { extract: extractModel, repair: repairModel, fallback: fallbackModel },
       dryRun: !!options.diff,
+      onSlicesReady: (t2) => {
+        totalSlices = t2;
+      },
       onSliceCacheHit: (s) => {
-        O2.message(`  cache hit  ${s.specPath} :: ${s.headingPath.join(" \u2192 ")}`, { symbol: "\xB7" });
+        O2.message(`  cache hit  ${++doneSlices}/${totalSlices}  ${s.specPath} :: ${s.headingPath.join(" \u2192 ")}`, { symbol: "\xB7" });
       }
     });
   } catch (e) {
@@ -149154,13 +149161,18 @@ async function runContractsGenerate(options = {}) {
   for (const d3 of result.mergeDiagnostics) {
     O2.warn(d3.message);
   }
+  const LIST_CAP = 20;
+  const printFileList = (files, marker) => {
+    for (const f2 of files.slice(0, LIST_CAP)) console.log(`  ${marker} ${path54.relative(repoRoot5, f2)}`);
+    if (files.length > LIST_CAP) console.log(`  \u2026 and ${files.length - LIST_CAP} more`);
+  };
   if (options.diff) {
     if (result.write.proposed.length === 0) {
       gt("No changes \u2014 every contract is already up to date.");
       return;
     }
     O2.info(`Would write ${result.write.proposed.length} file${result.write.proposed.length === 1 ? "" : "s"}:`);
-    for (const f2 of result.write.proposed) console.log(`  + ${path54.relative(repoRoot5, f2)}`);
+    printFileList(result.write.proposed, "+");
     gt("Run `truecourse contracts generate` to apply.");
     return;
   }
@@ -149170,7 +149182,7 @@ async function runContractsGenerate(options = {}) {
     return;
   }
   O2.success(`Wrote ${result.write.written.length} contract file${result.write.written.length === 1 ? "" : "s"}.`);
-  for (const f2 of result.write.written) console.log(`  \u2022 ${path54.relative(repoRoot5, f2)}`);
+  printFileList(result.write.written, "\u2022");
   syncShippedTcSyntax();
   gt(`Run \`truecourse verify\` to check code against the new contracts.`);
 }
@@ -152783,7 +152795,7 @@ async function runHooksRun() {
 
 // tools/cli/src/index.ts
 var program2 = new Command();
-program2.name("truecourse").version("0.6.0-next.3").description("TrueCourse CLI \u2014 analyze your repository and open the dashboard");
+program2.name("truecourse").version("0.6.0-next.5").description("TrueCourse CLI \u2014 analyze your repository and open the dashboard");
 var dashboardCmd = program2.command("dashboard").description("Start the TrueCourse dashboard and open it in your browser").option("--reconfigure", "Re-prompt for console vs background service mode").option("--service", "Run as a background service (skips mode prompt)").option("--console", "Run in this terminal (skips mode prompt)").action(async (options) => {
   if (options.service && options.console) {
     console.error("error: --service and --console are mutually exclusive");

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "truecourse",
-  "version": "0.6.0-next.3",
+  "version": "0.6.0-next.5",
   "description": "Visualize your codebase architecture as an interactive graph",
   "type": "module",
   "bin": {

package/server.mjs

@@ -156920,7 +156920,7 @@ function readToolVersion() {
   if (cachedVersion)
     return cachedVersion;
   if (true) {
-    cachedVersion = "0.6.0-next.3";
+    cachedVersion = "0.6.0-next.5";
     return cachedVersion;
   }
   try {