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.

Merkle Chained Event Ledger: a deterministic tamper-evident event ledger for audit trails, evidence systems, and verifiable state history.

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.

Three local-first demos that reconstruct operational trust from existing logs, receipts, and records. These are narrow reproducible slices of the broader Razorglint proof/governance architecture — designed to demonstrate trust continuity reconstruction, decision provenance tracing, and compliance drift detection under degraded environments.

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