Reference

Everything the tools promise, arranged for lookup rather than for reading through.

Group Contents
Commands Switch names, accepted values, and what each tool does with them.
Code Generation What each target language emits, and the ordering contract the emitters hold to.
Language Server dsdld's rule catalog, index schema, ranking, logging, and AI surface.
Guarantees What holds across languages, what happens on malformed input, what is reproducible, and what you can verify about a downloaded artifact.
Showroom Real definitions compiled into every language and profile, with their wire layout.

Commands

  • dsdlc — the compiler and codegen driver
  • dsdl-opt — dialect and pass-pipeline work
  • dsdld — the language server

Code generation

  • Backends — the target languages and what each produces
  • Object Backend — compiled .o/.a output, ABI, and endianness
  • Emit Order — the canonical serialize/deserialize step order every backend renders

Language server

  • Lint Rules — the rule catalog and suppression schema
  • Index Schema — what the workspace index stores
  • Ranking Model — how completions and symbol results are ordered
  • Logging — the structured log channel
  • AI Operation — modes, policy gates, and configuration
  • AI Data Flow — what enters the AI surface, what leaves it, what is retained

Guarantees

  • Cross-Language Parity — which backends are covered for which behaviours
  • Malformed Input — what each backend does with input it should reject
  • Determinism — what is byte-reproducible, and across which axes
  • Supply Chain — the LLVM version lock, SBOM, and what you can verify about a release

The guarantee pages are generated

parity-matrix, malformed-input, and determinism, along with the Consistency Lint under Development, are written by the report generators under tools/convergence/ and rebuilt whenever the site is published.

Each page carries a gating mode banner.