I’m the OP. I am not a computer scientist; I am a German "Bürokaufmann" (Business Administrator).
The Problem: I work with the implementation of the German Online Access Act (OZG). We wanted to automate complex bureaucratic decisions, but standard LLMs hallucinate. In German administrative law, a hallucination isn't a "glitch" – it’s illegal.
The Solution (CausaNova): I built a runtime engine in C#/.NET 8 that forces the LLM to act as a "translator" for a strict logic schema, rather than a creative writer.
Schema-First: The logic (laws) are defined in strict JSON structures (dsl.json), not vectors.
Deterministic Rendering: I wrote a custom DslRenderer using Regex/Recursion to build the UI/Logic graph. The LLM only fills the permitted slots.
Verification: If the LLM output violates a constraint (e.g., validations: "min:18" defined in the template), the system rejects it before execution.
Core: ASP.NET Core 8
Infrastructure: Kubernetes (deployed on Ionos Cloud)
Logic: Custom JSON-DSL & Recursive Solver
The repo contains the source code (it's "battle-code", be gentle!), a whitepaper, and demo videos showing the engine solving math and bureaucratic forms.
Happy to answer questions about the architecture or the madness of German bureaucracy!