Commits on Oct 26, 2026

1. Keep the stepper and View error when a state error cannot be marked …

   When the verifier cannot tell which states allow the call, the diagram has
   no marks and the error summary was not shown, so the state errors could not
   be stepped through or opened in the Verification tab.
   
   Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

   

   CatarinaGamboa and claude committed Oct 26, 2026
   Configuration menu

   • View commit details
   • Copy full SHA for cb2febc
   • Browse repository at this point

   Copy the full SHA

   cb2febc View commit details

   Browse the repository at this point in the history

2. Put the State Machine tab next to Verification (#162) …

   ## Description
   Stacked on #159; merge that first. Independent of #161.
   
   The tabs are now **Verification · State Machine · Context**.
   Verification and State Machine link to each other through **Show in
   state machine** and **View error**, so they now sit side by side.
   Context shows the variables at the cursor for any file and works fine at
   the end.
   
   The walkthrough steps and the README sentence that lists them follow the
   same order.
   
   ## Screenshots
   `E_OSS_A1_19_AccessKeyGenerator` from the C-stars proposal in
   building-examples-liquidjava.
   
   **Before**
   
   <img width="560" alt="Tabs: Verification, Context, State Machine"
   src="https://raw.githubusercontent.com/liquid-java/vscode-liquidjava/pr-screenshots/tab-order/before.png"
   />
   
   **After**
   
   <img width="560" alt="Tabs: Verification, State Machine, Context"
   src="https://raw.githubusercontent.com/liquid-java/vscode-liquidjava/pr-screenshots/tab-order/after.png"
   />
   
   ## Tests
   - `npm run lint` and `npm run test:typecheck`: clean.
   - `npm run test:unit`: 90 passed. New test in `script.spec.ts` for the
   tab order.
   - `npm test` (VS Code): passed; the walkthrough test now expects the new
   step order.
   - Server `mvn test` and the local smoke test: passed.
   
   🤖 Generated with [Claude Code](https://claude.com/claude-code)
   
   Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

   

   CatarinaGamboa and claude committed Oct 26, 2026
   Configuration menu

   • View commit details
   • Copy full SHA for 523d7c3
   • Browse repository at this point

   Copy the full SHA

   523d7c3 View commit details

   Browse the repository at this point in the history

3. Put the error actions on the title line and collapse hints (#164) …

   ## Description
   Stacked on #161; merge that first.
   
   - **Actions on the title line.** **Show in state machine** now sits on
   the line of the error title, before the View related context and copy
   icons. When the side bar is too narrow, the actions wrap below the
   title, aligned right. Warnings get the same title line for their copy
   icon.
   - **Hints start closed.** A hint is a `Hint` section the user can open.
   A hint the user opens stays open after a new verification, so editing
   the code does not close it. Hints are matched across verifications by
   the diagnostic's position, the same key the state errors already use,
   now shared as `getDiagnosticKey`.
   
   ## Screenshots
   `E_OSS_A1_17_InterruptManager` from the C-stars proposal in
   building-examples-liquidjava.
   
   **Before**
   
   <img width="560" alt="Error card with Show in state machine below the
   title and the hint open"
   src="https://raw.githubusercontent.com/liquid-java/vscode-liquidjava/pr-screenshots/error-card/before.png"
   />
   
   **After**, with the hint closed and then opened.
   
   <img width="560" alt="Error card with Show in state machine on the title
   line and a closed hint"
   src="https://raw.githubusercontent.com/liquid-java/vscode-liquidjava/pr-screenshots/error-card/after-closed.png"
   /> <img width="560" alt="Error card with the hint opened"
   src="https://raw.githubusercontent.com/liquid-java/vscode-liquidjava/pr-screenshots/error-card/after-open.png"
   />
   
   **A narrow side bar**: the actions wrap below the title.
   
   <img width="360" alt="Narrow side bar with the actions below the title"
   src="https://raw.githubusercontent.com/liquid-java/vscode-liquidjava/pr-screenshots/error-card/after-narrow.png"
   />
   
   ## Tests
   - `npm run lint` and `npm run test:typecheck`: clean.
   - `npm run test:unit`: 95 passed. In `script.spec.ts`, the state machine
   button test now checks that it is the first action on the title line,
   and a new test checks that hints start closed and stay open or closed
   after a new verification.
   - `npm test` (VS Code): 9 + 1 passing. Server `mvn test` and the local
   smoke test: passed.
   
   🤖 Generated with [Claude Code](https://claude.com/claude-code)
   
   Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

   

   CatarinaGamboa and claude authored Oct 26, 2026
   Configuration menu

   • View commit details
   • Copy full SHA for d4dd7bb
   • Browse repository at this point

   Copy the full SHA

   d4dd7bb View commit details

   Browse the repository at this point in the history