truecourse 0.6.0-next.8 → 0.6.0-next.9

package/README.md

@@ -256,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)
@@ -270,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

@@ -128244,7 +128244,7 @@ function readToolVersion() {
   if (cachedVersion)
     return cachedVersion;
   if (true) {
-    cachedVersion = "0.6.0-next.8";
+    cachedVersion = "0.6.0-next.9";
     return cachedVersion;
   }
   try {
@@ -149230,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();
@@ -149568,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();
@@ -152907,7 +152935,7 @@ async function runHooksRun() {
 
 // tools/cli/src/index.ts
 var program2 = new Command();
-program2.name("truecourse").version("0.6.0-next.8").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");
@@ -152964,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.8",
+  "version": "0.6.0-next.9",
   "description": "Visualize your codebase architecture as an interactive graph",
   "type": "module",
   "bin": {

package/server.mjs

@@ -156921,7 +156921,7 @@ function readToolVersion() {
   if (cachedVersion)
     return cachedVersion;
   if (true) {
-    cachedVersion = "0.6.0-next.8";
+    cachedVersion = "0.6.0-next.9";
     return cachedVersion;
   }
   try {