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

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

End-to-end credit risk ML pipeline with CatBoost, SHAP & LIME explainability, fairness monitoring, and auto-generated PDF reports built for auditability over accuracy.

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

CDE Lite v0.2 is a local Python/CLI tool for bounded transcript drift analysis and narrow reply correction on direct-answer cases. It emphasizes deterministic, inspectable behavior over broad conversational coverage.

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.

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