Skip to content

Harden durable runner long-run controls#10

Merged
HomenShum merged 1 commit into
mainfrom
codex/harden-runner-longrun-deltas
Jul 5, 2026
Merged

Harden durable runner long-run controls#10
HomenShum merged 1 commit into
mainfrom
codex/harden-runner-longrun-deltas

Conversation

@HomenShum

Copy link
Copy Markdown
Owner

Summary

  • port long-run runner hardening into the merged runner.ts path
  • fail closed on unknown plan keys and embedded token-shaped secrets
  • add explicit --clear-stale-lock, lock-held/stale UX, torn-tail ledger repair, runner report, exit code 3 for budget exhaustion, and stronger ledger redaction
  • bump package metadata to 0.3.0 for the next npm publish

Proof

  • npm test
  • npm pack + clean-temp npm exec --package <tarball> -- proofloop doctor --json
  • clean-temp packed proofloop runner report --run-id latest exits 2 with expected missing-run state

Not done

  • npm publish is blocked locally by npm whoami E401; this PR prepares 0.3.0, but registry publication still needs npm auth.

Closes #7 after merge and npm publish.

@HomenShum
HomenShum merged commit 8207583 into main Jul 5, 2026
2 checks passed
@HomenShum
HomenShum deleted the codex/harden-runner-longrun-deltas branch July 5, 2026 20:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Port longrun.ts (PR #3) deltas into the merged runner.ts, then retire PR #3

1 participant