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.

Universal AI Agent Kernel & Terminal Control Center. Rust-based hardened kernel with Vigils security, real-time observability, and tamper-evident audit ledger.

Pilot orchestration of Companies House API bridging Eckohaus Ltd (2015-2021 & 2024-present). An administrative ledger contextualizing R&D as unfunded liabilities against corporate law. It notes data extensibility via CH is limited to event analogues from statutory filings, rather than comprehensive corporate finance metrics.

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

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.

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

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.

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