Quantum systems · resilient computing · creative intelligence

Engineering systems for difficult failure modes.

Korelis Labs builds and studies software close to the layer where failure occurs—from compilers and kernels to hardware platforms, creative systems, and formal models.

Quantum execution-assurance researchMainline Linux on LumiaAvailable local-first product

Current portfolio

Work that begins where ordinary abstractions stop.

Quantum execution assurance, working software, platform architecture, experimental hardware, and an available privacy product.

Quantum systems

QSHL

Quantum Self-Healing Language

Quantum execution-assurance research investigating whether program intent survives compilation, provider transformation, and physical execution.

Creative intelligence

Callio

A creator-controlled music studio combining symbolic composition with selectable local and neural rendering paths.

Resilient & secure computing

RegenX

A Windows cyber-resilience prototype exploring monitoring, containment, trusted-state recovery, and measured integrity.

Resilient & secure computing

RegenX/OS

Research into a hardened Android architecture that moves selected trust and privacy controls below ordinary application boundaries.

Experimental computing

RegenX AE

RegenX Autonomous Edition

Modern Linux and subsystem bring-up research on the Nokia Lumia 1520/MSM8974 platform.

Privacy & security

DeadKey

An Android vault that keeps sensitive files and notes encrypted under the user's control.

Evidence in practice

Show the result. Keep the scope attached.

Measured results remain attached to the system tested and the limits of the observation.

Empirical / engineering evidence
DEMONSTRATED

Mainline Linux platform bring-up

The public repository documents these subsystems working on the tested device.

ScopeOne AT&T RM-940 device and the documented kernel/platform configuration.
Project: RegenX AE
Empirical / engineering evidence
DEMONSTRATED

Available on Google Play

DeadKey is listed as a $1.99 one-time-purchase Android app; the listing reports version 0.1.29 updated July 26, 2026.

ScopeUnited States listing observed September 13, 2026.
Project: DeadKey

Fundamental research

Phase-Tuned Relationalism

A computational framework investigating when geometric structure can emerge from relational graph dynamics. Its four claim tiers keep computational results distinct from conditional physical interpretation and aspirational goals.

Computational research programOpen the research program

Work with Korelis Labs

Bring difficult technical questions.

Technical review, collaboration, testing, funding, and investment conversations are welcome.

Start a conversation
Empirical / engineering evidence

What was tested
Measured result
Scope
Limitations
    Date