Governments have long struggled to bridge the gap between legal text and digital implementation. Existing methods model processes, but not the logical structure of law itself. Besides, they do not correspond to the legal text directly, but are rather are a product of technical translation. Rulemapping maps the law: each precondition and exception is represented as a node in a rulemap graph, creating a deterministic, version-controlled, and fully auditable representation of the rule set.

This enables capabilities that are not possible with existing approaches: systematic quality assurance of rule sets before implementation; detection of internal inconsistencies and contradictions within the legal text and impact simulation of proposed legal changes using real or synthetic data. The methodology is grounded in legal reasoning rather than process logic - credible to legal experts and uniquely suited to the complexity of real legislative environments.

The BMF pilot is currently active: wage tax deduction rule sets are modelled as Rulemaps, test cases are developed to validate internal consistency, and impact simulations are run on proposed legislative amendments. In parallel, pilot results are evaluated and documented to assess feasibility and build the case for scaling the methodology across further rule-intensive domains of public administration.

This case is driven in partnership with Germany's Federal Ministry of Finance, which contributes by providing domain knowledge, legislative materials, and institutional validation.

Primary users are legal and administrative experts at the BMF, who use Rulemaps to model, test, and simulate tax legislation. A second direct user group are employers and software developers, who depend on accurate tax calculation rules and benefit from Rulemaps being machine-readable and directly convertible into programming languages. Citizens are the ultimate beneficiaries: Rulemapping increases legal certainty, reduces waiting times for decisions, and ensures that laws are applied consistently.

The pilot aimed to make German wage tax deduction rules transparent, understandable, and traceable - for the state authorities, employers and software developers who depend on them.

Results show that the methodology enables faster identification of required updates to tax calculation rules, more efficient implementation of legislative changes, and clearer documentation of both the content and rationale behind amendments.

Internal discussions on correct implementation of legislative amendments are better supported when changes are visualised and tested with rulemaps. Tax rules proved directly convertible into various programming languages.

Machine-readability was validated on the basis of 3,000 successful test cases.

The primary challenge was identifying which parts of the existing calculation rules required updating, given the complex legislative network affecting the taxation rules. No failures were encountered. To address this challenge, not only the existing tax calculation rules were mapped using Rulemapping, but also the broader legal norms that affect these calculations. This provided transparency whether new legislation would trigger the need to update existing rules - turning a previously opaque dependency into a traceable and manageable process.

Three conditions were decisive. First, the Rulemapping methodology itself: unlike other modelling approaches, it enables direct conversion of legal language and logic into a form that is both human-readable and machine-executable, allowing very complex legal rules to be developed, discussed, and tested within a short period of time. Second, the commitment from leadership in the BMF to modernise the system and make it more understandable and accessible was crucial. Third, a shared and clearly defined goal - to improve the process for all stakeholders, including employers, software developers, employees, the Ministry, and the interested public - created the alignment necessary for successful implementation.

Innovations in public administration cannot happen in a black box: cooperation of all stakeholders must be built into the process from the start. Innovative solutions should not only solve specific computational tasks but also enable transparency. Outputs should be directly usable to avoid additional overhead from required conversions. Transparency of rule-based systems enables not only ex-post traceability of how decisions are reached, but also the active participation of authorities responsible for legal content in the technical development process. That creates the necessary discourse for legal certainty.