v0.12.0 — Cogency Restore Phase

13-prompt cogency phase (CR-0 through CR-12) closing eight regressions surfaced by the L9 LL_SMOKE_PLAYBOOK against v0.11.0/v0.11.1 plus three new findings (F13, F14, F15).

Project vocabulary restored — STS, P-SPR, Stem to Stern, Bucket, and "vocab clarifications are not build directives" (F13) live in a new Project conventions block in the contract.

Abort-safe rollback — when the multi-agent pipeline bails after the Coder mutated files (a stage threw or stalled), a role:'system' message names modified paths so the user has a clear git restore target. Includes StageInactivityWatchdog (F15) for the silent stall pattern.

Router decision logging — every routing decision now carries a matchedRule id, recorded in a 50-entry in-memory ring buffer. Confirms via test that the heuristic is correct.

Rigor predicate gated on mutation_attempted — proof-gate "Untrusted completion" pill no longer fires on multi-dispatch turns that didn't actually mutate. New rigorRequiresMutation setting (default true).

Reviewer terse exemplar — IDEAL_REVIEWER_EXEMPLAR (281 bytes) shows the desired review shape.

Coder operational rules — shell-syntax adapt after one failure (F7), never edit files via shell pipelines (F9 - apply_patch is the only safe edit path), default to the smallest correct fix (F13), escalate after 3 zero-match searches (F14).

No-ops per revision 3 — CR-6 and CR-7's scope-creep half: v0.11.1's Reviewer Packet Hotfix already closed F5 and F12.

Verify gate: tsc node + web clean, vitest 2332 passed / 123 skipped, verify:proof --no-tests exits 0. See PLANNING/LAMPREY_COGENCY_RESTORE_PLAN.md, PLANNING/CR_BASELINE.md, PLANNING/CR_AFTER.md.