Reference / command line
The commands that
show the work.
The CLI is the narrowest way to inspect Forge. Use it for local status, readiness, C0 verification, the submission loop, and exact ledger readback.
forge statusenvironment + ledgerReports the project root, Forge version, local ledger counts, and the observed AO health/readiness surface.
uv run forge statusforge harnessesreadiness gateReports supported, installed, authorized, and explicitly smoke-tested harnesses. Two ready harnesses are required before cross-harness transfer can pass.
uv run forge harnessesforge run-c0frozen verifierRuns the C0 fixture against an explicit candidate path. The verifier owns the tests and rejects missing or unsafe candidates.
uv run forge run-c0 \
--candidate path/to/c0_target.pyforge submission-mvp --reflectlearning pathRuns baseline → bounded repair → final verification → structured candidate reflection. It needs the configured provider for the reflection step.
uv run forge submission-mvp --reflectforge run <run_id>exact readbackReads the persisted run and its ledger events. Use the printed run ID from the submission command rather than inventing a new one.
uv run forge run submission-c0-82dffafcforge dashboard is a development scaffold, not a live public control plane. The public website intentionally does not present it as one.