chore(release): 0.7.12#35

Merged

pbean merged 10 commits into

mainfrom

Jul 2, 2026

Commits on Jul 1, 2026

fix(engine): keep resumed runs in scope + stop deferring resolved escalations

pbean
and
claude
committed
release: 0.7.12

pbean
and
claude
committed
fix(engine): preserve an attempt's uncommitted work before auto-rollback reset

pbean
and
claude
committed

Commits on Jul 2, 2026

feat(tui): show weighted token total, add raw token column

pbean
and
claude
committed
chore(release): 0.7.12 — **The TUI dashboard now shows the cost-proportional weighted…

pbean
and
claude
committed
fix(engine): harden attempt-worktree preservation (PR #35 review)

pbean
and
claude
committed
fix(verify): treat None baseline_untracked as unknown, not empty

pbean
and
claude
committed
fix(engine,tui): journal preserve-failure git error; show 0 weighted tokens

pbean
and
claude
committed
fix(tui): drop dashboard poll-apply after the screen is torn down

pbean
and
claude
committed
refactor(tui): dedupe the token-cell total gate

pbean
and
claude
committed