[CatarinaGamboa]

Description

Built on #165, so until #165 is merged this PR also shows its two commits; only the last commit is new. It targets main so it cannot be stranded on the #165 branch.

• Dimmed parts in light themes. Dimmed states, transitions, and methods had opacity: 0.25, which on white left the method names barely readable. The opacity is now --lj-dimmed-opacity: 0.25 as before, and 0.5 in light themes. Dark themes are unchanged.
• Error count on Verification. The Verification tab shows the number of errors in the current file, the same number as Current file in its header, in the red badge. So that the two badges do not compete, the State Machine badge now uses VS Code's neutral badge colour: its state errors are already among the errors counted on Verification. Both counts stay up to date while the State Machine tab is open.

Screenshots

The UDP chat client with three state errors (receive after a possible close, bind on a bound socket, connect after close), so both badges show.

Light theme, before and after

The badges, light and dark

Dark theme, after (the dimming is unchanged)

Tests

• npm run lint and npm run test:typecheck: clean.
• npm run test:unit: 99 passed. New tests:
  • script.spec.ts: the Verification badge counts the current file's errors in red, the State Machine badge is neutral, and both update on the State Machine tab and disappear when the errors are fixed;
  • styles.spec.ts: the dimmed opacity is 0.25, and 0.5 in light themes.
• npm test (VS Code): 9 + 1 passing. Server mvn test and the local smoke test: passed.

🤖 Generated with Claude Code