Patent and IP

Patent and IP

GRDL is open-source (Apache 2.0). The underlying governance framework is covered by patent filings.

Open source (Apache 2.0)

Everything in cmd/, internal/, examples/, core/sandbox/: GRDL schema, loader, multi-backend compiler, CFAIS engine, sidecar, CLI, templates.

Source-available (BSL 1.1)

enterprise/ directory (not yet released): RITAM multi-law integrity, KLK.AI full auditor, Lean 4 bridge.

Patent filings

Patent	Filing	Covers
GRDL (NIYAM)	202641000868	Governance Rule Definition Language with constitutional hierarchy binding, mathematical verification binding
CFAIS	202641001109	Seven Governance Laws, deterministic evaluation
RITAM	IN202541121436	Multi-law mathematical integrity (Benford, entropy)
MLSC	IN202541113541	Cryptographic cooperative governance

9 MLSC theorems formally verified in Lean 4.

For users

Using GRDL to govern your agents: fully permitted under Apache 2.0. Writing templates: your IP. Forking and modifying: fully permitted.