Arbiter

Repositories Projects Packages

@arbiter/evidence-dsl-lsp (1.0.1)

Published 2026-10-01 03:06:07 +00:00 by Dvorak

Installation

Set up this registry in your project .npmrc file:

@arbiter:registry=https://hub.kl1.tenere.ai/api/packages/Arbiter/npm/

To install the package using npm, run the following command:

npm install @arbiter/evidence-dsl-lsp@1.0.1

or add it to the package.json file:

"@arbiter/evidence-dsl-lsp": "1.0.1"

For more information on the npm registry, see the documentation.

About this package

@arbiter/evidence-dsl-lsp

Language Server Protocol implementation for the Evidence DSL. The parse authority runs INSIDE the server: diagnostics come from the real compiler (@arbiter/evidence-dsl's validateDslText — syntax and semantic, each with a rule and a fix), so the editor's red squiggles are the same verdicts that gate production pushes.

Capabilities

• Diagnostics — full compiler validation (syntax + semantic) with rule and fix per finding; warnings ride at severity 2.
• Completion — contextual: in a type position (id: ▏) the built-in types and declared definitions; elsewhere grammar keywords, statement snippets, and the document's own statement names.
• Hover — statement signature markdown (**fact enrolled(learner: Learner, course: Course)**), definition fields for type hovers.
• Definition — jump from any use to the declaration.
• References — all word-boundary occurrences.
• Document symbols — the statement outline, fields nested.

Run

npm install -g @arbiter/evidence-dsl-lsp
evidence-dsl-lsp --stdio        # the server (any LSP client)
evidence-dsl-lsp check file.evi # batch diagnostics — CI / agent mode

check prints file:line:col: severity: message per finding and exits 1 on any error — wire it into pipelines that author DSL (the same analysis the server publishes).

Editor wiring

Any LSP-capable editor launches the stdio server. VS Code / Neovim / Helix all accept a command-based server config; the language id is evidence-dsl. A packaged VS Code extension (textmate grammar + client) can be generated with peggylex-ide's generateVSCodeExtension — the grammar JSON and language config ship in @arbiter/evidence-dsl-editor.

Trust boundary

The server embeds the compiler — it does NOT consult a remote service. A document that validates here will validate at push time (same grammar, same checks), and a document that fails here fails closed before any network round trip.

Dependencies

Dependencies

ID	Version
@arbiter/evidence-dsl	^1.14.4
@arbiter/evidence-dsl-editor	^1.1.1
vscode-languageserver	^9.0.1
vscode-languageserver-textdocument	^1.0.15

Details

npm

2026-10-01 03:06:07 +00:00

5

ISC

latest

5.3 KiB

Assets (1)

evidence-dsl-lsp-1.0.1.tgz 5.3 KiB

Versions (2) View all

1.0.1 2026-10-01

1.0.0 2026-10-01