[codex] Add quickstart verify local proofs

[slideep]

Summary

• Make quickstart-verify execute safe local proofs while keeping device-touching checks explicit.
• Write quickstart-plan.*, evaluation-proof-pack.*, and refreshed artifact indexes into the command artifact root.
• Report local_proof_count, passed_local_proof_count, and local_proofs in JSON/human output.
• Update README, command docs, website docs, and quickstart help for the new first-run proof behavior.

Validation

• dotnet test Luotsi.Cli.Tests/Luotsi.Cli.Tests.csproj --configuration Release --no-build
• dotnet build Luotsi.sln --configuration Release --no-restore --warnaserror
• git diff --check
• Runtime JSON/human quickstart-verify samples confirmed the handoff artifacts are written.
• npm ci and npm run build in website.

[Copilot]

Pull request overview

This PR enhances the quickstart-verify entry point so it can execute a small set of safe local proofs (non-device-touching), persist the quickstart plan / evaluation proof pack handoff artifacts into the command artifact root, and surface the new proof results in both JSON envelopes and human output. This aligns with Luotsi’s “first-five-minute” workflow by making the initial proof/evidence handoff more explicit and durable without implicitly running device-affecting checks.

Changes:

• Make quickstart-verify asynchronous and write quickstart-plan.*, evaluation-proof-pack.*, plus refreshed artifact indexes into the command artifact root.
• Add new envelope fields for local proof reporting: local_proof_count, passed_local_proof_count, and local_proofs[]; update human formatter accordingly.
• Update docs (README, command docs, website docs, help text) and extend tests to validate the new outputs and artifact writes.

Reviewed changes

Copilot reviewed 10 out of 10 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
website/src/content/docs/docs/reference/output-envelopes.mdx	Documents local_proofs[] in quickstart envelopes/verify behavior.
website/src/content/docs/docs/getting-started/quickstart.mdx	Updates quickstart guidance to reflect quickstart-verify writing local handoff artifacts + reporting local proofs.
website/src/content/docs/docs/getting-started/first-five-minutes.mdx	Updates first-five-minutes workflow text to include the new verify behavior.
README.md	Updates workflow quickstart section to describe local proof execution + artifact handoff from quickstart-verify.
Luotsi.Cli/Cli/Routing/QuickstartCommand.cs	Implements VerifyAsync(...), runs local proofs, writes handoff artifacts into the command artifact root, and extends verify result schema.
Luotsi.Cli/Cli/Routing/AppCommandDispatcher.cs	Switches dispatch to await QuickstartCommand.VerifyAsync(...).
Luotsi.Cli/Cli/Help.cs	Updates help text describing quickstart-verify producing handoff artifacts + local proof reporting.
Luotsi.Cli/Cli/Envelope/AppCommandHumanFormatter.cs	Adds local proof counts and summaries to human output for quickstart-verify.
Luotsi.Cli.Tests/CommandEnvelopeTests.cs	Adds/updates tests validating new verify envelope fields and that expected handoff files + index are written.
docs/commands.md	Updates command documentation to reflect the new quickstart-verify behavior.