Mérida, Yucatán · est. 2026

Research that is
deterministic by design

We build auditable, bit-reproducible systems at the intersection of industrial engineering, computational physics, and spatial audio.

Rust
Language
SHA-256
Audit
0 warnings
Policy
AGPL / Commercial
License
Research Products

Technology derived from research — deployable today.

Live · v1.0.0

SAVFS

Spatial Audio Virtual Field System

The only spatial audio engine with deterministic, SHA-256 auditable, bit-reproducible renders. CLAP + VST3 plugin. Built in Rust.

In development

SYNTEX

Symbolic Derivation Engine

Deterministic formulation engine for pharmaceutical and cosmetic products. NOM-141 / FDA validated. SDL + SRE-LIVE architecture.

In development

OCTH

Open-CDM with Topological Hole

Modified ΛCDM cosmological model achieving H₀ tension resolution at 0.1σ from SH0ES. Computed with CLASS-OCTH in Rust.

In development

HumanBody2026

Computational Biology Framework

117-crate Rust framework for deterministic simulation of human physiological systems. Pharmacokinetics, SRE-LIVE integration.

Architecture principles

Every system we build follows the same foundational rules.

Determinism
Same inputs → identical bits. No randomness, no platform variance, no floating-point surprises. Every output is SHA-256 fingerprinted.
Zero warnings
Clippy pedantic mode on all crates. Denied: unused, dead_code, panic. The compiler is the first QA layer.
Auditability
Every render, every derivation, every simulation logs: config version, parameters, timestamp, algorithm ID, and output hash.
No black boxes
All algorithms are documented with the mathematical specification they implement. Every decision tree is exportable and readable.
Normative compliance
Systems validate against applicable standards at runtime: ITU-R BS.1770-4, NOM-141-SSA1, FDA CMC, ISO 226.
Rust-first
Memory safety without garbage collection. Zero-cost abstractions. Ships as standalone binaries — no runtimes, no installers.
Publications

33 papers in progress. Selected highlights:

Published MÖBIUS Universe — Topological Cosmology beyond ΛCDM Zenodo
PLDI 2026 LIRS: A LISP-in-Rust Deterministic Symbolic Engine Target
PLDI 2026 PIRS: Prolog-in-Rust for Industrial Regulatory Reasoning Target
Preprint OCTH: Resolving H₀ Tension via Ultra-Localized Topological Hole at z_tail=0.05 arXiv target
Preprint SAVFS: Deterministic Binaural Spatialization with SHA-256 Auditability AES target

Try our flagship product

SAVFS — professional spatial audio with full auditability. Available now for Windows.

Go to SAVFS → Research collaboration