feat: add proof workspace package

[tonyketcham]

Promote the DAG runner runtime into @flatbread/proof so the runner has a normal Flatbread package surface, root workspace binary, and reusable library exports.

Test plan:

• pnpm -w i
• pnpm -F @flatbread/proof build
• pnpm -F @flatbread/proof typecheck
• pnpm exec proof --init-only --dag /tmp/dag-proof-package.json --canvas-path /tmp/proof-entrypoint-smoke.canvas.tsx

Co-authored-by: Cursor cursoragent@cursor.com

[tonyketcham]

This pull request is part of a Mergify stack:

#	Pull Request	Link
1	feat: add proof workspace package	#170	👈
2	docs: promote proof skill entrypoint	#171
3	chore: remove legacy dag-task-runner bundle	#172
4	docs(proof): add package README	#173

[tonyketcham]

Revision history

#	Type	Changes	Reason	Date
1	initial	7bd485f		2026-05-07 23:24 UTC
2	content	7bd485f → 35ec779 (raw)	fix CI: format inherited repo files and remove Next.js explicit any lint failures	2026-05-07 23:24 UTC
3	content	35ec779 → 45a5c0a (raw)	fix CI: bound Next.js example GraphQL fetches to avoid Windows static generation timeout	2026-05-07 23:43 UTC

[cursor]

CI Root Cause

Status: third-party-failure

Failing checks:

• integration-sveltekit (22.x, windows-latest): Next.js static generation for / timed out after three 60s attempts.

Evidence:

• Failed job 74926551615 reached Generating static pages (3/5), then logged Failed to build /page: / because it took more than 60 seconds and Export encountered an error on /page: /.
• In the same workflow run and commit, integration-nextjs (22.x, windows-latest) passed while running the same pnpm build && cd examples/nextjs && pnpm build command, completing Generating static pages (5/5).
• The other Windows, macOS, and Ubuntu integration legs passed.
• Local verification with the CI pnpm line passed: CI=true corepack pnpm play:build completed and generated all static pages.

Resolution steps:

• Rerun the failed integration-sveltekit (22.x, windows-latest) job, or rerun failed jobs for the workflow.
• If the same signature repeats, inspect Windows hosted runner/localhost fetch behavior during Next static export; the current evidence does not point to a branch-local code issue.

No code changes were made because this failure is not caused by the branch.

  

_{Sent by Cursor Automation: Flatbread - Fix CI}