truecourse 0.6.0-next.5 → 0.6.0-next.7
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.
- package/README.md +3 -0
- package/cli.mjs +581 -477
- package/package.json +1 -1
- package/server.mjs +25 -8
package/README.md
CHANGED
|
@@ -261,6 +261,9 @@ truecourse contracts validate # Parse + resolve TC files; re
|
|
|
261
261
|
truecourse verify # Full run: stashes dirty tree (prompts), writes verifier/runs + LATEST + history
|
|
262
262
|
truecourse verify --diff # Git diff: working-tree drifts vs committed baseline (added/resolved/unchanged)
|
|
263
263
|
truecourse verify --stash / --no-stash # Pre-approve / skip stashing on a full run
|
|
264
|
+
truecourse drifts list # List drifts from the latest verify (paginated; reads LATEST, no re-run)
|
|
265
|
+
truecourse drifts list --all # Show every drift (no pagination)
|
|
266
|
+
truecourse drifts list --offset 20 / --severity critical,high # Page through / filter by severity
|
|
264
267
|
|
|
265
268
|
# Inference (code → inferred contracts) — reverse-engineer undocumented decisions
|
|
266
269
|
truecourse infer # Write inferred .tc files to contracts/_inferred/
|