truecourse 0.6.0-next.7 → 0.6.0-next.9

package/README.md

@@ -193,6 +193,8 @@ truecourse verify                       # Check code against the contracts → d
 
 Resolve conflicts and review drifts visually in the [dashboard](#dashboard-web-ui)'s BL Drift section, or drive every step from the CLI.
 
+> Like `analyze`, the spec → contracts → verify track requires a **git repository** — TrueCourse's baselines are commit-anchored (committable `LATEST.json`, diff vs HEAD, stashing the committed state). On a non-git folder these commands stop with a clear message and the dashboard hides their actions.
+
 ## How it works
 
 Three stages run in order, each producing artifacts the next consumes:
@@ -254,7 +256,8 @@ truecourse spec docs uninclude <path>
 
 # Contract extraction (canonical spec → .tc artifacts)
 truecourse contracts generate                     # Extract / re-extract TC contract files
-truecourse contracts list                         # List generated contracts
+truecourse contracts list                         # List artifacts (kind · identity · location)
+truecourse contracts list --inferred / --authored # Only reverse-engineered (_inferred/) / only authored
 truecourse contracts validate                     # Parse + resolve TC files; report unresolved refs
 
 # Verification (code against contracts)
@@ -268,6 +271,7 @@ truecourse drifts list --offset 20 / --severity critical,high  # Page through /
 # Inference (code → inferred contracts) — reverse-engineer undocumented decisions
 truecourse infer                                  # Write inferred .tc files to contracts/_inferred/
 truecourse infer --dry-run                        # Report what would be written, touch nothing
+truecourse contracts list --inferred              # Review what infer produced (kind · confidence · code location)
 ```
 
 ---

package/cli.mjs

@@ -10077,15 +10077,17 @@ async function getGit(repoPath) {
   const git = simpleGit(repoPath);
   const isRepo = await isGitRepo(repoPath);
   if (!isRepo) {
-    throw createAppError("The selected folder is not a git repository. Please select a folder that has been initialized with git.", 400);
+    throw createAppError(NOT_A_GIT_REPO_MESSAGE, 400);
   }
   return git;
 }
+var NOT_A_GIT_REPO_MESSAGE;
 var init_git = __esm({
   "packages/core/dist/lib/git.js"() {
     "use strict";
     init_esm();
     init_errors();
+    NOT_A_GIT_REPO_MESSAGE = "The selected folder is not a git repository. Please select a folder that has been initialized with git.";
   }
 });
 
@@ -128242,7 +128244,7 @@ function readToolVersion() {
   if (cachedVersion)
     return cachedVersion;
   if (true) {
-    cachedVersion = "0.6.0-next.7";
+    cachedVersion = "0.6.0-next.9";
     return cachedVersion;
   }
   try {
@@ -149108,9 +149110,21 @@ function removeManualInclude(repoRoot6, docPath) {
 
 // tools/cli/src/commands/contracts.ts
 init_helpers();
+
+// tools/cli/src/commands/git-guard.ts
+init_dist4();
+init_git();
+async function requireGitRepo(root) {
+  if (await isGitRepo(root)) return;
+  pt(NOT_A_GIT_REPO_MESSAGE);
+  process.exit(1);
+}
+
+// tools/cli/src/commands/contracts.ts
 async function runContractsGenerate(options = {}) {
   const repoRoot6 = options.cwd ?? process.cwd();
   mt(options.diff ? "Contracts (dry run)" : "Contracts");
+  await requireGitRepo(repoRoot6);
   if (!hasCanonicalSpec(repoRoot6)) {
     O2.error(
       "No .truecourse/specs/claims.json found. Run `truecourse spec scan` first to build the canonical claim set."
@@ -149216,23 +149230,51 @@ async function runContractsList(options = {}) {
     O2.info("No contracts found. Run `truecourse contracts generate` first.");
     return;
   }
-  const files = [];
+  const { parser: parser4, resolver } = await Promise.resolve().then(() => (init_dist8(), dist_exports3));
+  const fileNodes = [];
+  let parseErrors = 0;
   const visit = (dir) => {
     for (const entry of fs47.readdirSync(dir, { withFileTypes: true })) {
       const full = path54.join(dir, entry.name);
       if (entry.isDirectory()) visit(full);
-      else if (entry.isFile() && entry.name.endsWith(".tc")) files.push(full);
+      else if (entry.isFile() && entry.name.endsWith(".tc")) {
+        try {
+          fileNodes.push(parser4.parseFile(full, fs47.readFileSync(full, "utf-8")));
+        } catch {
+          parseErrors += 1;
+        }
+      }
     }
   };
   visit(contractsDir);
-  files.sort();
-  if (files.length === 0) {
-    O2.info("No .tc files in .truecourse/contracts/.");
+  const filter2 = options.inferred && !options.authored ? "inferred" : options.authored && !options.inferred ? "authored" : null;
+  const resolution = resolver.resolve(fileNodes);
+  const artifacts = [...resolution.index.values()].filter((a) => filter2 ? a.provenance === filter2 : true).sort(
+    (a, b) => a.ref.type === b.ref.type ? a.ref.identity.localeCompare(b.ref.identity) : a.ref.type.localeCompare(b.ref.type)
+  );
+  if (artifacts.length === 0) {
+    if (filter2 === "inferred") {
+      O2.info("No inferred contracts. Run `truecourse infer` to reverse-engineer undocumented decisions.");
+    } else if (filter2 === "authored") {
+      O2.info("No authored contracts. Run `truecourse contracts generate` first.");
+    } else {
+      O2.info("No .tc files in .truecourse/contracts/.");
+    }
     return;
   }
-  mt(`Contracts (${files.length})`);
-  for (const f2 of files) console.log(`  ${path54.relative(repoRoot6, f2)}`);
-  gt("`truecourse contracts validate` then `truecourse verify`.");
+  const scope = filter2 ? `${filter2} ` : "";
+  mt(`Contracts \u2014 ${artifacts.length} ${scope}artifact${artifacts.length === 1 ? "" : "s"}`);
+  for (const a of artifacts) {
+    const conf = a.confidence ? `[${a.confidence}] ` : "";
+    const loc = a.origin ? a.origin.lines[0] >= 0 ? `${a.origin.source}:${a.origin.lines[0]}` : a.origin.source : `${path54.relative(repoRoot6, a.declarationLoc.filePath)}:${a.declarationLoc.lineStart}`;
+    console.log(`  ${conf}${a.ref.type}:${a.ref.identity}  ${loc}`);
+  }
+  if (parseErrors > 0) {
+    O2.warn(`${parseErrors} file${parseErrors === 1 ? "" : "s"} could not be parsed \u2014 run \`truecourse contracts validate\`.`);
+  }
+  gt(
+    filter2 ? "`truecourse verify`." : "Filter with `--inferred` / `--authored`. `truecourse contracts validate` then `truecourse verify`."
+  );
 }
 async function runContractsValidate(options = {}) {
   const repoRoot6 = options.cwd ?? process.cwd();
@@ -149361,6 +149403,7 @@ function withTracker(stepDefs) {
 async function runSpecScan(opts = {}) {
   const root = repoRoot(opts);
   mt("Spec scan");
+  await requireGitRepo(root);
   const { renderer, tracker } = withTracker(SCAN_STEPS);
   try {
     const { consolidate: consolidate2 } = await scanInProcess(root, { tracker });
@@ -149408,6 +149451,7 @@ async function runSpecResolve(opts = {}) {
     return;
   }
   mt("Spec resolve \u2014 accepting all defaults");
+  await requireGitRepo(root);
   const { renderer, tracker } = withTracker(RESOLVE_STEPS);
   try {
     const { additions } = await resolveAllDefaultsInProcess(root, { tracker });
@@ -149456,6 +149500,7 @@ async function runVerify(opts = {}) {
   const root = repoRoot(opts);
   const { skipStash } = await resolveStashDecision({ stash: opts.stash }, root);
   mt("Verify");
+  await requireGitRepo(root);
   const { renderer, tracker } = withTracker(VERIFY_STEPS);
   try {
     const { verify: verify2 } = await verifyInProcess(root, { tracker, codeDir: opts.codeDir, skipStash });
@@ -149494,6 +149539,7 @@ async function runVerify(opts = {}) {
 async function runVerifyDiff(opts) {
   const root = repoRoot(opts);
   mt("Verify diff");
+  await requireGitRepo(root);
   const { renderer, tracker } = withTracker(VERIFY_STEPS);
   try {
     const { diff } = await verifyDiffInProcess(root, { tracker, codeDir: opts.codeDir });
@@ -149524,6 +149570,7 @@ async function runVerifyDiff(opts) {
 async function runInfer(opts = {}) {
   const root = repoRoot(opts);
   mt("Infer");
+  await requireGitRepo(root);
   const { renderer, tracker } = withTracker(INFER_STEPS);
   try {
     const { infer: infer2, written, proposed } = await inferInProcess(root, {
@@ -149549,7 +149596,7 @@ async function runInfer(opts = {}) {
     }
     const wrote = opts.dryRun ? proposed.length : written.length;
     gt(
-      infer2.decisions.length === 0 ? "No undocumented decisions found." : opts.dryRun ? `${wrote} inferred contract${wrote === 1 ? "" : "s"} would be written to _inferred/ (dry run).` : `${wrote} inferred contract${wrote === 1 ? "" : "s"} written to _inferred/.`
+      infer2.decisions.length === 0 ? "No undocumented decisions found." : opts.dryRun ? `${wrote} inferred contract${wrote === 1 ? "" : "s"} would be written to _inferred/ (dry run).` : `${wrote} inferred contract${wrote === 1 ? "" : "s"} written to _inferred/ \u2014 review with \`truecourse contracts list --inferred\`.`
     );
   } catch (e) {
     renderer.dispose();
@@ -152888,7 +152935,7 @@ async function runHooksRun() {
 
 // tools/cli/src/index.ts
 var program2 = new Command();
-program2.name("truecourse").version("0.6.0-next.7").description("TrueCourse CLI \u2014 analyze your repository and open the dashboard");
+program2.name("truecourse").version("0.6.0-next.9").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");
@@ -152945,8 +152992,8 @@ var contractsCmd = program2.command("contracts").description("Manage spec-driven
 contractsCmd.command("generate").description("Extract .tc artifacts from prose specs (LLM, cached)").option("--diff", "Dry run \u2014 show what would change without writing").action(async (options) => {
   await runContractsGenerate({ diff: !!options.diff });
 });
-contractsCmd.command("list").description("List the .tc artifacts in this repo").action(async () => {
-  await runContractsList();
+contractsCmd.command("list").description("List the .tc artifacts in this repo (kind \xB7 identity \xB7 location)").option("--inferred", "Only inferred artifacts (reverse-engineered, in _inferred/)").option("--authored", "Only authored artifacts (exclude _inferred/)").action(async (options) => {
+  await runContractsList({ inferred: !!options.inferred, authored: !!options.authored });
 });
 contractsCmd.command("validate").description("Parse and resolve all .tc files, report any issues").action(async () => {
   await runContractsValidate();

package/package.json

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