truecourse 0.6.0-next.8 → 0.6.0-next14

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (4) hide show
  1. package/README.md +4 -2
  2. package/cli.mjs +2067 -915
  3. package/package.json +1 -1
  4. package/server.mjs +2128 -1012
package/README.md CHANGED
@@ -256,7 +256,8 @@ truecourse spec docs uninclude <path>
256
256
 
257
257
  # Contract extraction (canonical spec → .tc artifacts)
258
258
  truecourse contracts generate # Extract / re-extract TC contract files
259
- truecourse contracts list # List generated contracts
259
+ truecourse contracts list # List artifacts (kind · identity · location)
260
+ truecourse contracts list --inferred / --authored # Only reverse-engineered (_inferred/) / only authored
260
261
  truecourse contracts validate # Parse + resolve TC files; report unresolved refs
261
262
 
262
263
  # Verification (code against contracts)
@@ -270,6 +271,7 @@ truecourse drifts list --offset 20 / --severity critical,high # Page through /
270
271
  # Inference (code → inferred contracts) — reverse-engineer undocumented decisions
271
272
  truecourse infer # Write inferred .tc files to contracts/_inferred/
272
273
  truecourse infer --dry-run # Report what would be written, touch nothing
274
+ truecourse contracts list --inferred # Review what infer produced (kind · confidence · code location)
273
275
  ```
274
276
 
275
277
  ---
@@ -364,7 +366,7 @@ Patterns are anchored to the file's location, so `src/generated/` matches the to
364
366
 
365
367
  ## Telemetry
366
368
 
367
- TrueCourse collects anonymous usage data (event type, language, file count range, OS) to improve the product. No source code, file paths, or violation details are collected. It is automatically disabled in CI environments.
369
+ TrueCourse collects anonymous usage data to improve the product — one event per command (`analyze`, `spec_scan`, `contracts_generate`, `verify`, `infer`), each carrying only coarse, bucketed counts (file/artifact/drift/decision *ranges*, duration range), the surface (CLI vs dashboard), OS, and tool version. No source code, file paths, identities, or violation/drift details are collected. It is automatically disabled in CI environments.
368
370
 
369
371
  ```bash
370
372
  truecourse telemetry status # Check telemetry status