Ster/Docs

ster onboarding

Run or reset first use, optionally accepting an existing pair set.

Invocation#

sh
ster onboarding [--reset] [--import-pairs <SOURCE>] [--name <ID>]

Without an input, onboarding prints the import-first walkthrough and leaves an empty usable workspace. --reset replays it. With --import-pairs, it calls the same workspace operation as ster workspace import-pairs; --name has the same identifier rules.

Completion#

The contrastive_pair_set_imported completion fact is recorded only for imported or unchanged, after the destination and workspace state exist. rejected and conflicting remain incomplete and return their structured reasons.