Application performance monitor (APM) for energy logging and carbon estimation in Python applications with uncertainty-aware marginal emissions.

Append-only local audit ledger for deterministic record storage, scoped queries, retention policies, and exportable audit bundles.

Operator surface for building access events, credential control gaps, controller drift, revocation pressure, and audit posture.

Rust control plane for clause obligation ledgers, append-only review events, and renewal-safe evidence posture.

Streaming ML inference verification: split conformal prediction + LTLf property automata + drift detection + tamper-evident audit ledger. Pre-alpha engineering prototype, not a formal verifier.

Certified Memory Governance Layer for long-running AI agents: strict receipts, append-only ledgers, authority gates, retrieval filtering, telemetry replay, and safe adapters for Mem0, Graphiti, LangMem, and LangGraph.

An Agentic ERP Operating System orchestrated with .NET Aspire. Decouples business logic into Neo4j graph workflows and Qdrant vector compliance policies, executing through a secure FastAPI SQL sandbox with an append-only cryptographic audit ledger and dynamic React JSX dashboard generation.