RFCs

Design decisions in RegelRecht are documented through RFCs. Each RFC captures the problem, the considered alternatives, and the chosen approach.

See RFC-000 for the process and template. An accepted RFC is not rewritten: a changed design gets a new RFC, and the old one is marked superseded.

The position paper Rules as Executed sets out the constitutional case behind these decisions: why law execution should be published, and what that demands of the format. Individual RFCs link to the sections that bear on them.

Start here

Law language and format

The YAML format, its operations and types, and what a rulework may say.AcceptedImplementedAcceptedImplementedAcceptedImplementedAcceptedImplementedAcceptedImplementedAcceptedImplementedDraftNot implementedAcceptedImplementedProposedImplementedProposedImplementedProposedImplementedProposedImplementedProposedImplementedProposedImplementedProposedImplementedProposedImplementedProposedImplemented

Execution

How an engine runs laws, calls other laws, and who executes what.AcceptedImplementedAcceptedPartially implementedAcceptedPartially implementedProposedNot implementedAcceptedPartially implementedProposedNot implementedProposedImplementedProposedNot implementedAcceptedImplementedProposedPartially implementedProposedPartially implementedProposedPartially implementedProposedPartially implementedDraftPartially implementedDraftImplemented

Time and versions

Which version of a law applies on a given date, and how laws end.AcceptedImplementedDraftNot implementedDraftNot implementedDraftNot implemented

Corpus and pipeline

Where laws come from, and how the harvester and enricher fill the corpus.AcceptedImplementedProposedPartially implementedProposedPartially implementedProposedNot implementedProposedNot implementedProposedImplementedDraftNot implemented

Trust and provenance

Receipts, traces and notes: how a result can be checked afterwards.AcceptedImplementedAcceptedPartially implementedAcceptedImplementedDraftNot implementedAcceptedPartially implemented

Process

How decisions in this project are proposed and recorded.AcceptedImplementedProposedPartially implemented

Superseded and rejected

Kept as the record of what was decided at the time. They do not describe the current design.

Reserved numbers

Numbers held for a pull request that has not landed an RFC under them. They hold no design.

RegelRecht

An exploration into transparent, executable legislation, and one of the three projects in the starting selection of the Nederlandse Digitale Dienst.

Links

GitHub repository
How it works
Stay informed
Roadmap (Dutch)
Documentation
Research

Contact

regelrecht@minbzk.nl

Part of

Nederlandse Digitale Dienst
Ministry of Economic Affairs and Climate Policy