A stream-based runtime-verification framework for generating hard real-time C code.

Trusted autonomy T&E runtime that links mission needs, hazards, scenarios, telemetry, evidence, verification reports, and hash-chained ledgers so AI/autonomous decisions can be reviewed instead of merely trusted.

A read-only SRE sentinel that detects system instability via variance, allocation rate, and amplification signals.

AI proposes. Humans decide. Source-available AI engineering OS/control plane for governed code change: policy gates, model routing, PR/CI evidence binding, replayable evidence bundles, chained receipts, multi-repo traceability, and human review.

Source-available research framework for measurable causal learning, reality-corrected cognition, and durable memory revision in AI systems. Human authority first. No AGI claims.

Governed cognition substrate for AI engineering agents: mission envelopes, evidence-bound belief/plan graphs, quarantined memory, model-role review, sentinel checks, and BlackFox handoffs under human authority.

Source-available, measurement-first pulsed-energy testbed for tri-sector storage/discharge control, derated storage, phase authority, sensor-truth checks, energy accounting, kill criteria, evidence bundles, and human-reviewed scale-up gates.

A governed world-model evidence layer for AI agents: simulate bounded scenarios, track assumptions, score prediction-vs-reality error, and produce human-reviewable execution evidence.

Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.

Geometric reachability-based safety filtering for air traffic control

Signal-Time-Authority (STA): a pre-commitment controllability framework for runtime AI oversight.

Sovereign Adversarial Simulation & Interdiction Engine for the 0.05V Standard.

IX-Style is an assured-autonomy reference architecture for aerospace systems: runtime assurance, FDIR, trust-aware degraded modes, recovery gating, operator decision support, and tamper-evident evidence for why safety-critical decisions were made.

Agent Incident Recorder for state-transition validation and forensic drift detection in agent workflows.

Mission assurance, runtime assurance, and reliability systems portfolio for Blackglass Continuum.

AOS — model-agnostic runtime assurance kernel for converting bounded AI-output signals into auditable PASS/WARN/BLOCK decisions before workflow use.