v5.3.2

Added

• Status column in Decisions tab — board now shows Shipped/Pending status per decision.

Fixed

• Drift scan requires diff review before action — FormatDriftResponse adds a guard: "REQUIRED: read git diff on modified files before taking action." Classification rubric (cosmetic/material/incidental) presented to agent.
• Drift output uses raw signals instead of interpretive labels — "likely implemented" / "not yet implemented" replaced with "git activity detected / not detected after decision date". Tool outputs observable facts; agent performs all interpretation.
• quint_problem(action="select") returns deprecated problems (#38) — SelectProblems and FindActiveProblem applied status filter in Go after SQL LIMIT, so deprecated rows could push active ones out of the result window. Added ListActiveByKind with SQL-level status='active' filter.

Changed

• Board no longer reloads data on tab switch — 3-second periodic refresh provides sufficient data freshness.
• CI: remove duplicate push trigger on dev branch — push trigger now only fires on main (post-merge), preventing double CI runs on PRs.