You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
check --base REF assesses before/after changes under a valid-base assumption. It replaces --changed-since. Full checks also assess repository context, including missing required files.
check --snapshot DIR --patch FILE checks a copied repository without modifying the original.
eval FIXTURES runs repositories and patches against expected contract conclusions. Use --case to select a case and --validate to check fixtures offline. Reports are saved under .tenet/evals/.
Terminal output shows one result per contract with steady progress. Only failures include requirement snippets. Use --reporter verbose for file judgments.