v0.7.2 — agent-terse workflow prompts + token-budget directive

Prompt-cost release. All 18 stage templates under docs/symphony-prompts/{file,linear}/ (base + 8 stages per tracker) were rewritten as terse agent-directives — the dispatch prompt is read by the worker LLM, not a human, so rationale prose was cut while every behavioral rule stayed.

Highlights

• ~12% smaller dispatch prompts: 282,009 → 247,942 chars (~70.5k → ~62.0k tokens) summed across the 28 tracker × language × stage combinations; Review stages −15%. Every section anchor, state-transition rule, command, table spec, env var, and liquid branch is preserved. Human-facing artefact templates (Plain-language header, caps table, wiki entry template, As-Is→To-Be report, Human Review handoff) are byte-identical.
• Soft token-budget directive (base.md, both trackers): when agent.max_total_tokens_by_state sets a budget, prompts now render Token budget: keep this turn under N completion tokens (stage EMA: M) from the previously unused C3 token_ema / token_budget template vars. Off by default; regression tests pin both states.
• Chore short-circuits ported to linear boards: Explore/Plan/Review/Learn chore-label fast paths now exist in the linear prompt set too, so metadata-only tickets skip the full stage contracts regardless of tracker.
• Tracker drift removed:
  • linear Learn no longer re-does the bulk dup/orphan/stale wiki sweep by hand — symphony wiki-sweep already runs it every wiki.sweep_every_n Done transitions for every tracker kind. Per-ticket integrity checks (invalidated-entry update, beginner-block shape, Wiki Conflict flag) stay in the prompt.
  • linear's wiki entry template gains the Observability hooks block, so file- and linear-authored docs/llm-wiki/ entries share one schema.

Verification

• pytest -q: 810 passed; the single failure (tests/test_service.py::test_start_cleans_live_viewer_from_stale_record_before_doctor) pre-exists this release (fails identically at c04d2ad) and is unrelated to prompts.
• Prompt contract suite (tests/test_workflow_pipeline_prompt.py): 51 passed, including 4 new tests anchoring the token-budget directive (proven red against the pre-change templates, green now).
• Independent critic audit compared every old/new template atom-by-atom: zero CRITICAL findings; the one MEDIUM finding (linear beginner-block shape check dropped collaterally) was restored before release.

Known follow-ups

The file tracker still has gates the linear set lacks: the Security Audit 7-row table, [no-test] marker scan, ## Acceptance Tests / ## Done Signals + AC Scorecard, and $SYMPHONY_REWIND_SCOPE rewind scoping. Porting them is a behavioral decision deferred to a future release. The OneShot skill's lane prompts (skills/symphony-oneshot/templates/WORKFLOW.oneshot.md) were intentionally left untouched.