lsp-max 26.7.3

Law-state LSP runtime: max LSP 3.18 coverage, process-mining conformance, receipt-chain admission
Documentation

lsp-max

Build Status License Rust 1.70+

A post-human LSP 3.18 runtime for autonomous agents. lsp-max enforces architectural laws via cryptographic receipt chains, three-valued conformance vectors, and deterministic gates. It is not an IDE helper; it is an admission controller for machine agent workflows.

Quick start

git clone https://github.com/seanchatmangpt/lsp-max.git
cd lsp-max
just setup            # fetch sibling repos
cargo test --workspace

Workspace setup: This repo depends on three siblings (../lsp-types-max, ../wasm4pm-compat, ../wasm4pm). Run just setup or bash scripts/bootstrap.sh to fetch them. In Claude Code, SessionStart hooks bootstrap automatically.

Using lsp-max

As a library:

[dependencies]
lsp-max = "26.7"  # CalVer: YY.M.D scheme

As a server:

cargo run --bin lsp-max -- --config lsp-max.toml

Extend with the RulePackServer trait (20 LOC) + a TOML rule file (50 LOC) instead of writing 400+ LOC of LSP boilerplate. See examples/ for reference implementations.

What is this?

lsp-max is a law-state runtime projected through LSP — it enforces invariants, maintains cryptographic receipts, and gates state transitions via formal predicates. Every LSP call is a state-transition attempt. Valid transitions produce receipts; invalid transitions emit ANDON (refusal) diagnostics.

Core features:

  • Law enforcement: Receipt chains prove every state transition; no mutation without cryptographic proof.
  • Conformance vectors: Three-axis tracking (admitted/refused/unknown) instead of binary support flags.
  • Multi-server composition: Fan-out diagnostics to multiple servers; tier-stratified routing (Primary/Secondary/DiagnosticsOnly).
  • Process mining: DFG fitness and Declare constraint validation over LSP event logs.
  • Specification-driven: Generate protocol types from LSP metaModel.json; extend via RulePackServer trait.
  • Agent integration: Hook lifecycle (SessionStart, PreToolUse, PostToolUse, SubagentStart/Stop) for agent discovery and analysis.
  • Automated gates: Conformance score calculated as max(0, 100 - ∑penalties). Release admitted only if score = 100.0.

Documentation

Start here: docs/README.md — Documentation overview using the Diataxis framework.

  • Tutorials — Learn lsp-max by building a complete agent loop
  • How-to Guides — Task-oriented recipes (blocking on ANDON, releasing, etc.)
  • Reference — Complete protocol spec, configuration, testing patterns
  • Explanation — Understand why LSP is the law-state substrate

Design decisions: See docs/rfcs/README.md for the Accepted RFCs that govern the architecture.

Architecture overview: docs/book/01-architecture.md — Comprehensive system overview.

Contributing: CONTRIBUTING.md — Coding standards, git workflow, and development setup.

Release process: docs/how-to/release.md — Version bumping, pre-release checklist, dry-run publish, and manual publish instructions.

Definition of Done: DEFINITION_OF_DONE.md — Release admission gates for the current version.

Changelog: CHANGELOG.md — Version history and release notes (CalVer: YY.M.D).

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.