ddlint

Linter for Differential Datalog. A Logos tokenizer, an error-recovering Chumsky parser, and a Rowan syntax tree – lints that survive broken input.

Introduction

What is available now

Parse a program

Run lint rules

Rule authorship (high level)

Logging and diagnostics output

Relation declarations

Relation diagnostics

Source

Source material

Contents

Introduction
- Introduction
What is available now
- What is available now
Parse a program
- Parse a program
Run lint rules
- Run lint rules
Rule authorship (high level)
- Rule authorship (high level)
Logging and diagnostics output
- Logging and diagnostics output
Relation declarations
- Relation declarations
Relation diagnostics
- Relation diagnostics

Rule authorship (high level)

Updated Jul 23, 2026

Implement Rule for metadata (name, group, docs) and CstRule for CST targeting.
Register one rule per implementation with CstRuleStore.
Rule execution is deterministic regardless of parallel scheduling.