Prax Shift

Prax Shift for Codex

Use Prax as the control and evidence layer. Treat Shift as one Prax operating mode, not as the whole product. Codex is a replaceable worker; it does not own completion criteria, durable state, or the autonomy boundary.

Map the user's intent

• Start / hand off: require a bounded goal, verifier, workspace, and budget; then run one Shift window.
• Test only: use the one-shot verification path below, not the coding repair loop. Preparing an integration or inspecting a plan does not authorize tests.
• Report / status: use prax shift status --run-id <id> to inspect saved .prax/harness-runs/<id>/ evidence. Do not start work or claim fresh verification.
• Continue / resume: for coding tasks, use the frozen contract and explicit resume command. One-shot verification cannot resume.
• Pause / stop: persist a pause request and preserve evidence. Remove a recurring cron job only when the user explicitly asks to cancel its schedule.
• Schedule: create recurring execution only when the user explicitly asks.

Operating contract

• Keep intent, irreversible decisions, production actions, and scope changes HITL.
• Execute AFK only inside the requested workspace and budget.
• Require an independent verifier for coding work. Without one, report the missing acceptance criterion without starting a coding worker or claiming success.
• Never use Codex --yolo. Keep the adapter at workspace-write.
• Do not auto-push, auto-merge, deploy, spend money, or widen permissions.
• Treat HARNESS-ERROR as an environment failure, not a product defect. Do not change tests, permissions, scope, or budget just to make a run pass.

Coding: run and continue

Use prax, or the active environment's python -m prax.

Prepare the contract for the user; do not make them hand-write CLI flags. Read existing files first, preserve unrelated work, and do not overwrite a frozen task. In .prax/harness.json, set schemaVersion: 1, worker: "codex", and policy_files to existing, relevant policy paths (or []). An optional model is frozen with the profile. Do not silently replace an existing worker choice.

Create a workspace-local .prax/task.json with these fields:

• schemaVersion: 1, a unique id, the agreed goal, kind: "code-check".
• repositories: explicit repository roots relative to the workspace; each has path, its actual current branch, and a narrow relative scope array.
• verifier: trusted argv array, workspace-relative cwd, and timeout_seconds. Use explicit pytest test paths; never a shell command hidden in the goal. Put extra fixtures/scripts in optional control_files (workspace-relative existing files) when acceptance depends on them.
• budget: max_iterations, wall_seconds, stuck_after; absent a user preference, use conservative limits 3, 600, 2 and disclose them.

Keep existing acceptance tests out of the editable scope. New goals, changed acceptance, or more budget require an explicit new task, not an automatic ID rotation. Validate first; a plan does not execute a verifier or worker.

prax shift plan --task .prax/task.json
prax shift run --task .prax/task.json

Continue from durable evidence:

prax shift status --run-id <id>
prax shift pause --run-id <id>
prax shift resume --run-id <id>

pause requests supervisor shutdown; inspect status to confirm it stopped. Resuming verifies contract and code identity, does not replenish budgets, and may require human inspection after a hard interruption. Never automatically delete a pause flag or edit run evidence to get past a blocker.

For an explicitly requested recurring run, use the host's supported scheduling tool and replay only this command in the fixed workspace:

prax shift run --task .prax/task.json --resume-existing

It cannot unpause or renew the task. Stay quiet on unchanged non-actionable state. Use prax cron add --run-mode shift --task .prax/task.json (plus explicit name/schedule) only when the user requests Prax-managed scheduling; never install two schedulers for the same task. Legacy goal/feature Shift commands remain compatibility interfaces, not substitutes for this guarded task path.