Hyphaeic
Provable, auditable, deterministic and self-healing control
systems for the physical world, running on bare metal.
Every modern control system and autonomous machine — across factories,
marine, aerospace, drones, and robotics — lives or dies on its control
layer. That layer routes a system's sensing through decisions to drive
actuation and deliver outcomes. The modern world increasingly runs on
automated systems that are unpredictable, fragile, and struggle with
repeatable precision. Industry maintains rigorous, provable quality
regimes for hardware; software is a growing fissure — a tower of Babel
of dependencies nobody fully audits or understands, under increasingly
sophisticated low-level cyberattack, and often not fully deterministic,
so its outcomes cannot be guaranteed to replicate.
What we are building
Provable, auditable control systems for the physical world that are
fully deterministic and self-healing, running on bare metal. The system
carries systems through a fault and degrades gracefully rather than
stopping — a common failure mode that costs industrial operators six
figures an hour, millions in marine and automotive, and potentially
lives in aerospace and pharma. It already runs on x86 and ARM, drives
IO controllers directly, with FPGA and RISC-V next. Outputs are fully
replicable and platform-agnostic from silicon to behaviour.
Core operator-algebraic foundations are formally verified in Lean 4,
with a supporting runtime substrate — including a logical clock and a
deterministic memory allocator — implemented within a hybrid exokernel
design. This provides at-runtime mutability and containerised control
of the silicon while remaining portable to any platform that can host a
WASM runtime. No third-party dependencies in the control loop, and
nothing inherited in the trust-critical path: there is nothing
downstream to infect into, no supply chain to poison, and only one
point to audit.
The wider industrial and manufacturing economies are converging on
supply-chain-agnostic, auditable control that does exactly the same
thing every time — a guarantee almost no modern software can make.
Secure-by-design and memory-safety are now baseline expectations
globally. In Europe the CRA is tightening SBOM and security obligations
even as US federal mandates shift to operator discretion. Either way,
the liability lands on the operator, who must stay compliant with
global regimes moving toward auditable, provable verification of every
constituent component.
Who we are, where we're going
We set out to build a fundamentally better control substrate and
accidentally solved a problem everyone is now terrified of. We are
working toward broader applicability of our control schemes, policy
mechanisms and computational substrate for all autonomous systems in
the real world. Longer term, we are building toward autonomous systems
that don't execute instructions or rules, but unfold intent, persist,
and own themselves — structured to keep cooperating with the living
systems of this pale blue dot we all inherit.
Topological compute and agency for ecological systems.
This page is an interactive, browser-based environment. Enable
JavaScript to enter it, or read more at
github.com/Hyphaeic.