WhaleFlow: typed workflow IR and TraceStore state migrations

[Hmbown]

Problem

WhaleFlow needs a typed canonical IR before any authoring syntax, executor, or UI can be reliable. Starlark, generated plans, and future formats must compile into the same Rust-owned representation.

Scope

• Add WorkflowSpec, WorkflowNode, BranchSpec, LeafSpec, BudgetSpec, PermissionSpec, ModelPolicy, PromotionPolicy.
• Include BranchSet, Leaf, Sequence, Reduce, TeacherReview, LoopUntil, Cond, and Expand.
• Add TraceStore migrations for workflow_runs, branch_runs, leaf_runs, control_node_runs, and teacher_candidates.
• Add serialization/roundtrip tests.
• No behavior change beyond data model and migrations.

Acceptance criteria

• workflow_ir_roundtrip passes.
• branch_result_serialization and leaf_result_serialization pass.
• control_node_result_serialization passes.
• Migrations follow existing state-store patterns and use SQLite WAL where appropriate.

Source: /Users/huntermbown/Downloads/CodeWhale_v0_9_0_BranchLeafTeacher_Workflows_UPDATED.md and the Claude workflow-mode observation from June 3, 2026.

[Hmbown]

v0.9 stewardship status update: this is now materially advanced, but I am leaving it open because the full issue scope is not completely satisfied yet.

Landed pieces on codex/v0.9.0-stewardship:

• feat(whaleflow): add typed workflow foundation #2810 (ef239df) added the first pure codewhale-whaleflow crate with typed WorkflowConfig / WorkflowPlan validation, deterministic phase ordering, task dependency checks, concurrency bounds, isolation/task-mode enums, and no runtime workflow_run exposure.
• feat(whaleflow): add serializable run result records #2815 (f8b26b4) added serializable BranchResult, LeafResult, ControlNodeResult, WorkflowRunStatus, and ControlNodeKind records, including BranchSet, Leaf, Sequence, Reduce, TeacherReview, LoopUntil, Cond, and Expand.
• feat(whaleflow): add trace store schema migration #2816 (a2cc6bd) added the state-store v2 WhaleFlow TraceStore migration for workflow_runs, branch_runs, leaf_runs, control_node_runs, and teacher_candidates.

Verification refreshed today:

• cargo test -p codewhale-whaleflow --locked — 19 passed, including branch_result_serialization, leaf_result_serialization, control_node_result_serialization, and enum JSON roundtrip coverage.
• cargo test -p codewhale-state --locked — 6 passed, including fresh_schema_includes_workflow_trace_tables and v1_schema_migrates_workflow_trace_tables.
• v0.9.0 stewardship integration #2762 is green on head 5d491bc6832eb4c887af3af159d21d6ff2123d33 after these WhaleFlow slices and later stewardship merges.

What remains before I would close this issue: the current crate intentionally uses a reduced Rust-owned foundation (WorkflowConfig, Phase, Task, WorkflowPlan) rather than the full named WorkflowSpec, WorkflowNode, BranchSpec, LeafSpec, BudgetSpec, PermissionSpec, ModelPolicy, and PromotionPolicy surface listed here. So the data model and migrations are in place enough for the v0.9 foundation, but the complete canonical IR taxonomy still needs a follow-up slice before this issue is fully done.

Credit trail: the landed WhaleFlow foundation preserves @AdityaVG13's #2482/#2486 direction in the changelog/README, while keeping executor/runtime exposure deferred until replay, cancellation, and worktree semantics are proven.

[Hmbown]

Additional v0.9 stewardship update: I opened #2821 as a narrow maintainer PR for the remaining typed IR-name portion of this issue.

#2821 adds explicit WorkflowSpec, WorkflowNode, BranchSpec, LeafSpec, BudgetSpec, PermissionSpec, ModelPolicy, and PromotionPolicy structs/enums in crates/whaleflow, plus a workflow_ir_roundtrip serde test. It remains metadata/schema-only: no workflow_run runtime tool, no executor, no replay, no worktree application, and no model routing changes.

Local verification for the PR branch:

• cargo fmt --all -- --check
• cargo test -p codewhale-whaleflow --locked
• ./scripts/release/check-versions.sh
• git diff --check

Credit is preserved for @AdityaVG13's #2482/#2486 WhaleFlow direction in the commit trailer, changelog, and PR body.