v0.9.2

Changed

• Split example/tests/tasks.test.ts into one *.integration.test.ts file per operation, matching the existing per-operation split for auth, and renamed auth.test.ts to auth-login.integration.test.ts.
• README's quick start now leads with bun add -d specproof / bunx specproof dev and lists specproof --help's flags instead of prose.
• The marketing hero's report mockup is now generated from app/proof.generated.json by bun run generate:mockup instead of being hand-written, and gained the app's own tag and route accordions: every operation opens onto its status list, minus the stamp-to-side-panel step.

Fixed

• An operation's tally now counts every status row it prints, including synthesized and undocumented ones, so the fraction matches the marks beside it (the bundled example's total goes from 10/17 to 11/24).
• The report's assertion count now shows for any verdict with assertions, not just spec-documented ones.
• The "Built by Durable Quality" link now points at the studio's current handle (x.com/DurableQA).
• The marketing footer's version tag was hardcoded and had gone stale at v0.7.1; bun run generate:mockup now rewrites it from package.json's version on every run, so it can't drift again.