tmk241/mim
1
0
Fork 0
Code Issues 6 Pull Requests Actions Packages Projects Releases Wiki Activity

NS5 slice: Show LSP diagnostics through panels/status #30

New Issue
Closed
opened 2026-06-20 23:28:19 +00:00 by tmk241 · 1 comment
tmk241 commented 2026-06-20 23:28:19 +00:00
Owner
Copy Link
Copy Source

OBJECTIVE: Receive diagnostics and display them through the shared panel/status model with jump-to-location.

AUTHORITY: Parent #5 NS5: Syntax and LSP coding intelligence; PRODUCT.md; REQUIREMENTS.md (PRODUCT.md; req: coding/002-003; req: ui/002; req: governance/002).

AGENT AUTHORITY:

  • Delivery authority: local-commit
  • Tracker authority: this issue may be commented and closed when acceptance passes.
  • Handoff state: committed clean, tracker commented/closed.

PARENT: #5 via explicit issue link and parent checklist.

SCOPE: The smallest source/docs/tests needed to make this behavior real and verified.

BOUNDARIES: No separate diagnostics UI model.

ACCEPTANCE: Fake LSP diagnostics appear in a diagnostics panel and selecting one jumps to the correct location.

VERIFICATION: Run the cheapest command that proves acceptance. Include regular tests for the intended payoff and adversarial tests for realistic failure, boundary, or regression cases. If no implementation test command exists yet, create/record the canonical command in AGENTS.md as part of the slice.

BLOCKERS: none

GOAL: Implement this vertical slice to the ACCEPTANCE above, keep the repo clean, cite relevant req: anchors in code/tests where applicable, and close only after verification passes.

OBJECTIVE: Receive diagnostics and display them through the shared panel/status model with jump-to-location. AUTHORITY: Parent #5 `NS5: Syntax and LSP coding intelligence`; PRODUCT.md; REQUIREMENTS.md (PRODUCT.md; req: coding/002-003; req: ui/002; req: governance/002). AGENT AUTHORITY: - Delivery authority: local-commit - Tracker authority: this issue may be commented and closed when acceptance passes. - Handoff state: committed clean, tracker commented/closed. PARENT: #5 via explicit issue link and parent checklist. SCOPE: The smallest source/docs/tests needed to make this behavior real and verified. BOUNDARIES: No separate diagnostics UI model. ACCEPTANCE: Fake LSP diagnostics appear in a diagnostics panel and selecting one jumps to the correct location. VERIFICATION: Run the cheapest command that proves acceptance. Include regular tests for the intended payoff and adversarial tests for realistic failure, boundary, or regression cases. If no implementation test command exists yet, create/record the canonical command in AGENTS.md as part of the slice. BLOCKERS: none GOAL: Implement this vertical slice to the ACCEPTANCE above, keep the repo clean, cite relevant `req:` anchors in code/tests where applicable, and close only after verification passes.
tmk241 added this to the v1 milestone 2026-06-20 23:28:19 +00:00
tmk241 added the sliceready-for-agentgoal labels 2026-06-20 23:28:19 +00:00
tmk241 commented 2026-06-21 02:35:12 +00:00
Author
Owner
Copy Link
Copy Source

Implemented in commit 56975c3cf3 (Add LSP diagnostics panel).

Verification:

  • zig fmt src/lsp.zig src/tui.zig: pass
  • zig build test: pass
  • zig build: pass
  • zig build run -- --help: pass
  • redgate lint / health: pass

Regular tests: LSP publishDiagnostics JSON payloads parse into panel-safe rows with count, severity, 1-based line/column, URI preview, and sanitized message. TUI lsp_diagnostics <json> renders those rows in the shared panel, and lsp_diagnostics_open_selected jumps to the selected diagnostic location in the current buffer. Byte-offset mapping is covered separately for multi-line buffers.
Adversarial tests: malformed diagnostics, missing required fields, summary rows, impossible offsets, and malformed TUI diagnostic commands are rejected without corrupting the editor buffer.

Boundary: diagnostics extraction/display/jump only. No server-output stream parser, diagnostic persistence, hover/signature/jump UX, code actions, severity styling/theme, or background LSP server manager added.

Implemented in commit 56975c3cf39b (Add LSP diagnostics panel). Verification: - zig fmt src/lsp.zig src/tui.zig: pass - zig build test: pass - zig build: pass - zig build run -- --help: pass - redgate lint / health: pass Regular tests: LSP publishDiagnostics JSON payloads parse into panel-safe rows with count, severity, 1-based line/column, URI preview, and sanitized message. TUI `lsp_diagnostics <json>` renders those rows in the shared panel, and `lsp_diagnostics_open_selected` jumps to the selected diagnostic location in the current buffer. Byte-offset mapping is covered separately for multi-line buffers. Adversarial tests: malformed diagnostics, missing required fields, summary rows, impossible offsets, and malformed TUI diagnostic commands are rejected without corrupting the editor buffer. Boundary: diagnostics extraction/display/jump only. No server-output stream parser, diagnostic persistence, hover/signature/jump UX, code actions, severity styling/theme, or background LSP server manager added.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
goal
Issue has a Pi goal contract
 northstar
Parent outcome for v1 product work
 ready-for-agent
Scoped and unblocked for agent implementation
 slice
Executable vertical child issue
No Label goal ready-for-agent slice
Milestone
No items
No Milestone v1
Projects
Clear projects
No project
Assignees
Clear assignees
tmk241
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: tmk241/mim#30
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?