Core Specification for the Audit-by-Design DSL - Human- and machine-readable domain-specific language (DSL) for defining, validating, and auditing atomic requirements (AFOs) in regulated software environments. Open specification, free to use and extend.

Control-plane architecture for AI & agentic systems: governance as admission control, decision admissibility, and audit-grade evidence.

Formal normative specification defining the admissibility invariants, failure modes, and certification law for deterministic governance systems. This repository is the authoritative legal and epistemic substrate for DGK certification.

Proof-based marketing operations for governed systems. Publishes verifiable artifacts via OMEGA's Federation Core to enable evidence-driven discovery instead of promotion.

Public, governed documentation for Keon Systems. Defines claims, architecture, and verification paths for governing AI and automated decisions.