[CatarinaGamboa]

Three changes asked for by the error-message study's first pilot (2026-11-12).

The Problems entry says what is wrong. It was the title alone ("State Refinement Error"), so the Problems tab said which kind of error there was and not what. The language server now sends the title and the headline as plain text, e.g. State Refinement Error: kettle.boil() needs .... VS Code shows that text in the Problems tab and in its own part of the hover, so the extension's part of the hover no longer repeats the headline: it shows the details only (the origin notes, the counterexample, the hints).

liquidjava.hover.showDetails replaces liquidjava.hover.showHints of 0.1.1. Off, the hover is the message alone and every detail is in the LiquidJava view (where the hints stay closed until opened). A hover that named the hints without showing them, which 0.1.1 did, was neither one thing nor the other.

liquidjava.showView(diagnostic?, tab?, from?). Without a diagnostic and with a tab, the command opens that tab of the view (the study's tour opens the State Machine tab this way). from names the caller in the usage log; the code lenses stay the default.

Tests: the server test pins the new Problems text; the markdown spec pins the hover's part without the headline; the webview spec covers the selectTab message. Lint, type checks and the unit tests pass.

🤖 Generated with Claude Code

Screenshots (study build, 0.1.2)

The Problems entry with the headline:

The hover with liquidjava.hover.showDetails off, the message alone; the details stay in the view:

[CatarinaGamboa]

Codex review (codex exec, read-only, on the diff against main), two findings:

1. High: a tab-only showView call can be lost for a hidden view, because pendingTab is only sent on the webview's ready. Not changed: the view is registered without retainContextWhenHidden, so a hidden view's webview is destroyed and re-resolved when it is shown, and the script posts ready again. That is the path pendingDiagnosticReveal (the code lenses) has used all along; pendingTab follows it.
2. Medium: a settings file with liquidjava.hover.showHints: false from 0.1.1 would show the details again. Fixed: the hover honours the old key when it is set to false (one line in hover.ts).

Clean-code pass: the two pending fields (pendingDiagnosticReveal, pendingTab) are the same pattern twice; a queue of pending messages drained on ready would be the one abstraction. Left as is: two fields read more plainly than a queue for two cases, and nothing else is pending.