Skip to content

Skip watch and dev scripts in ProofLoop runner plans#16

Merged
HomenShum merged 1 commit into
mainfrom
codex/proofloop-skip-watch-tasks
Jul 7, 2026
Merged

Skip watch and dev scripts in ProofLoop runner plans#16
HomenShum merged 1 commit into
mainfrom
codex/proofloop-skip-watch-tasks

Conversation

@HomenShum

Copy link
Copy Markdown
Owner

Summary

  • skip watch/dev/start/preview/server scripts when generating layered runner plans
  • prevent proofloop target --write-runner-plan from emitting non-terminating proof tasks such as est:watch
  • document the boundary and pin it in layered-plan and target-plan tests

Verification

pm run build

pm test

ode dist\cli.js target --url https://www.proofloop.live --write-runner-plan --json confirmed capability.test and arget.url-reachable, no est-watch

Honest boundary

Long-running services should be started by app-specific harnesses; they should not be treated as proof tasks that never terminate.

@vercel

vercel Bot commented Jul 7, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
proofloop Ready Ready Preview, Comment Jul 7, 2026 12:39am

Request Review

@HomenShum
HomenShum merged commit 1b4decb into main Jul 7, 2026
4 checks passed
@HomenShum
HomenShum deleted the codex/proofloop-skip-watch-tasks branch July 7, 2026 00:39
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.

1 participant