• Rust 66.4%
  • JavaScript 14%
  • Vue 11.1%
  • Gherkin 2.6%
  • CSS 1.9%
  • Other 3.9%
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Anne Schuth 568fd69fa5
fix(landing): correct Prins/Wolswinkel link and add Lokin/Passchier factsheet (#597)
The Prins/Wolswinkel WRR factsheet (23 jan 2025) linked to a PDF that
actually contains the Lokin/Passchier factsheet (29 nov 2024). Both
documents share the same theme and live on eerstekamer.nl, which made
the swap easy to miss.

Fixes:
- Point Prins/Wolswinkel reference to the WRR landing page
- Add Wolswinkel's Tilburg University affiliation
- Add Lokin/Passchier factsheet as a separate reference (the original
  PDF link is preserved here, where it belongs)
- Canonicalize the Raad van State URL (/actueel/nieuws/ prefix)

Reported by Arjan Widlak.
2026-05-01 12:43:10 +00:00
.claude feat: add local-stack skill for running a branch locally (#594) 2026-04-30 10:29:53 +00:00
.github chore(deps): bump anthropics/claude-code-action (#598) 2026-05-01 11:04:54 +02:00
conformance/v0.5.0 docs: rfc-014 engine conformance test suite (#434) 2026-04-03 17:37:57 +00:00
corpus feat(corpus): add zorgtoeslag editor scenarios (#499) 2026-04-07 12:00:58 +02:00
dev feat(dev): local dev stack with hot reload (#274) 2026-03-18 16:40:42 +01:00
docs fix: support schema v0.5.2 + force light mode in editor (#593) 2026-04-30 13:59:37 +02:00
features feat(engine): multi-output evaluation with output provenance (#293) 2026-04-03 23:19:43 +00:00
frontend perf(editor): index edges/nodes once per trace enrichment (#596) 2026-05-01 09:48:18 +02:00
frontend-lawmaking fix(ci): resolve remaining medium-severity security findings (#476) (#488) 2026-04-05 17:03:54 +02:00
landing fix(landing): correct Prins/Wolswinkel link and add Lokin/Passchier factsheet (#597) 2026-05-01 12:43:10 +00:00
packages chore(deps): bump cucumber from 0.22.1 to 0.23.0 in /packages (#600) 2026-05-01 09:15:48 +00:00
schema feat(schema): add WATERSCHAPS_VERORDENING regulatory layer (#558) 2026-04-16 17:34:00 +02:00
script chore: remove stale files and fix outdated references (#302) 2026-03-21 12:13:37 +01:00
tests/fixtures/federation feat(schema): v0.5.0 operation set with engine, corpus migration, and WOO (#312) 2026-03-30 21:59:09 +02:00
.dockerignore refactor: move regulation/nl/ to corpus/central/ (#280) 2026-03-20 14:19:30 +01:00
.env.example feat(admin): add API key authentication and bulk job deletion (#491) 2026-04-07 12:17:58 +02:00
.gitignore feat(engine): add trace output to BDD test runner (#469) 2026-04-03 21:41:19 +00:00
.pre-commit-config.yaml ci: add conventional commit message linting to pre-commit (#435) 2026-04-03 16:45:24 +02:00
.yamllint chore: remove beads issue tracker (#131) 2026-02-18 20:44:44 +01:00
CLAUDE.md feat(editor): add feature flags for panel visibility (#429) 2026-04-21 17:31:03 +02:00
corpus-registry.yaml feat(editor-api): fetch only favorite laws from GitHub sources (#335) 2026-03-24 17:59:33 +01:00
deny.toml fix(pipeline): propagate original date through harvest chain and fix job dedup (#490) 2026-04-07 09:30:23 +00:00
docker-compose.dev.yml feat: consolidate harvest into pipeline-api service (#552) 2026-04-21 09:49:30 +02:00
Justfile feat(engine): add trace output to BDD test runner (#469) 2026-04-03 21:41:19 +00:00
LICENSE Add license 2025-11-10 14:14:42 +01:00
README.md feat(docs): overhaul README with current project state (#419) 2026-04-01 23:00:37 +00:00
REVIEW.md chore: repo rename regelrecht-mvp → regelrecht (#339) 2026-03-26 11:12:44 +01:00
rust-toolchain.toml feat(engine): implement execution provenance (RFC-013) (#433) 2026-04-03 16:46:49 +00:00

regelrecht

CI License: EUPL-1.2 Rust 2021 Mutation Testing Docs

Machine-readable Dutch law execution. regelrecht takes legal texts, encodes them as structured YAML, and runs them as deterministic decision logic.

What does it do

  • The engine takes a regulation and a set of inputs, evaluates the decision logic, and returns a result with a full explanation trail
  • Laws are tested against real-world scenarios using BDD (Gherkin) tests, many derived from legislative explanatory memoranda
  • A harvester downloads and tracks Dutch legislation from the official BWB repository
  • Regulations can be edited through a web UI with live execution preview

Components

Rust packages

Package Description
packages/engine/ Law execution engine (also compiles to WASM)
packages/harvester/ Downloads Dutch legislation from BWB
packages/pipeline/ PostgreSQL job queue for law processing
packages/admin/ Admin dashboard API (Axum)
packages/editor-api/ Backend API for the law editor
packages/corpus/ Git integration for the regulation corpus
packages/shared/ Shared domain types across crates
packages/tui/ Terminal dashboard (Ratatui)

Frontends and sites

Directory Description
frontend/ Law editor UI (Vue 3 + Vite)
frontend-lawmaking/ Law-making process visualization (Vue 3 + Vite)
landing/ Landing page
docs/ Documentation site (VitePress)

Data and testing

Directory Description
corpus/regulation/ Dutch regulations in machine-readable YAML
schema/ Versioned JSON schema for the law format (current: v0.5.1)
features/ Gherkin BDD scenarios for law execution
packages/grafana/ Grafana monitoring dashboards

Deployed services

Service URL
Editor https://editor.regelrecht.rijks.app
Landing page https://regelrecht.rijks.app
Documentation https://docs.regelrecht.rijks.app
Law-making https://lawmaking.regelrecht.rijks.app
Harvester admin https://harvester-admin.regelrecht.rijks.app
Grafana https://grafana.regelrecht.rijks.app

PR preview environments are deployed automatically and cleaned up when the PR is closed.

Getting started

Prerequisites: Rust (stable) and just.

just check    # run all quality checks (format, lint, build, validate, tests)
just test     # unit tests only
just bdd      # BDD tests only

See the docs site for full development instructions.

License

EUPL-1.2