Use Forge, VM, Swarm, Coda gates, and publish a course for one real feature.
This lab connects every execution layer. Pick a real, bounded feature — for example "add a /health endpoint to the API" or "create a CLI subcommand that lists runs". You will:
alembic doctor to verify the environment.alembic forge "<feature>" --offline to generate GOAL.md, validation-contract.md, and alembic.plan.ts.alembic run --goal GOAL.md --plan alembic.plan.ts --yes --offline.alembic tui or the web cockpit.Think of it like… cooking a meal from recipe writing to grocery shopping, cooking, tasting, photographing, and posting the result.
The exercise forces you to touch @alembic/forge (scope generation), @alembic/vm (plan execution), @alembic/swarm (task draining), @alembic/coda (gates), @alembic/loop-engineering (course generation), and apps/cli (the human interface). Offline mode keeps it deterministic and free; use --online only after you trust the flow.
# 1. verify alembic doctor # 2. plan + forge alembic forge "Add a /health endpoint" --offline # 3. run with gates alembic run --goal GOAL.md --plan alembic.plan.ts --yes --offline # 4. observe alembic tui <run-id>
The CLI validates the goal and plan paths, loads the scope, calls runPlan, drains the swarm, runs coda gates, and invokes the loop-engineering course generator. If the proof gate fails, the run directory contains proof-results.jsonl with exit codes and stdout/stderr for debugging.
Run the feature lab now. If it fails at a gate, read the failure file and re-run with --resume if supported, or start a new Forge scope after fixing the plan.