truecourse 0.6.0-next.1 → 0.6.0-next.11

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,17 +256,22 @@ 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)
 truecourse verify                                 # Full run: stashes dirty tree (prompts), writes verifier/runs + LATEST + history
 truecourse verify --diff                          # Git diff: working-tree drifts vs committed baseline (added/resolved/unchanged)
 truecourse verify --stash / --no-stash            # Pre-approve / skip stashing on a full run
+truecourse drifts list                            # List drifts from the latest verify (paginated; reads LATEST, no re-run)
+truecourse drifts list --all                      # Show every drift (no pagination)
+truecourse drifts list --offset 20 / --severity critical,high  # Page through / filter by severity
 
 # 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)
 ```
 
 ---
@@ -359,7 +366,7 @@ Patterns are anchored to the file's location, so `src/generated/` matches the to
 
 ## Telemetry
 
-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.
+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.
 
 ```bash
 truecourse telemetry status           # Check telemetry status