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.

DPI Integration Toolkit — Sovereign deployment tooling and compliance modules.

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.

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

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