truecourse 0.6.0-next.6 → 0.6.0-next.8
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 +5 -0
- package/cli.mjs +571 -471
- package/package.json +1 -1
- package/public/assets/{index-CkKIAyL2.js → index-BABCLoif.js} +3 -3
- package/public/index.html +1 -1
- package/server.mjs +15 -2
package/README.md
CHANGED
|
@@ -193,6 +193,8 @@ truecourse verify # Check code against the contracts → d
|
|
|
193
193
|
|
|
194
194
|
Resolve conflicts and review drifts visually in the [dashboard](#dashboard-web-ui)'s BL Drift section, or drive every step from the CLI.
|
|
195
195
|
|
|
196
|
+
> 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.
|
|
197
|
+
|
|
196
198
|
## How it works
|
|
197
199
|
|
|
198
200
|
Three stages run in order, each producing artifacts the next consumes:
|
|
@@ -261,6 +263,9 @@ truecourse contracts validate # Parse + resolve TC files; re
|
|
|
261
263
|
truecourse verify # Full run: stashes dirty tree (prompts), writes verifier/runs + LATEST + history
|
|
262
264
|
truecourse verify --diff # Git diff: working-tree drifts vs committed baseline (added/resolved/unchanged)
|
|
263
265
|
truecourse verify --stash / --no-stash # Pre-approve / skip stashing on a full run
|
|
266
|
+
truecourse drifts list # List drifts from the latest verify (paginated; reads LATEST, no re-run)
|
|
267
|
+
truecourse drifts list --all # Show every drift (no pagination)
|
|
268
|
+
truecourse drifts list --offset 20 / --severity critical,high # Page through / filter by severity
|
|
264
269
|
|
|
265
270
|
# Inference (code → inferred contracts) — reverse-engineer undocumented decisions
|
|
266
271
|
truecourse infer # Write inferred .tc files to contracts/_inferred/
|