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.

See all products → Research collaboration
Rust
Language
SHA-256
Audit
0 warnings
Policy
AGPL / Commercial
License

Research Products

Technology derived from research.

Deployable today. Each product implements its complete mathematical specification.

Live · v1.0.0 · VST3 + CLAP

SAVFS

Spatial Audio Virtual Field System

The only spatial audio engine with SHA-256 auditable, bit-reproducible renders. Binaural HRTF, Ambisonics FOA/HOA up to order 7, WOLA, ITU-R BS.1770-4. Pure Rust.

Pricing & download →
Live · v1.0.0 · TIER 4+ · 96.2/100

SASVFS

Scalable Audio Synthesis & Visualization Framework

Complete platform for acoustic frequency synthesis and 3D visualization. C++17 engine, real-time OpenGL, 78,484-frequency DB, REST API with 85+ endpoints.

Pricing & download →
In development

SYNTEX

Symbolic Derivation Engine

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

Coming soon
In development

OCTH

Open-CDM with Topological Hole

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

Coming soon
In development

HumanBody2026

Computational Biology Framework

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

Coming soon

Architecture principles

The same standards in every system.

Not aspirational — these are compiler invariants.

Determinism
Same inputs → identical bits. No randomness, no platform variance, no floating-point surprises. Every output carries a SHA-256 fingerprint.
Zero warnings
Clippy pedantic on all crates. Denied: unused, dead_code, panic. The compiler is the first QA layer.
Auditability
Every render, derivation, and 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 human-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.

2 published. Selected highlights:

PublishedMÖBIUS Universe — Topological Cosmology beyond ΛCDMZenodo
PLDI 2026LIRS: A LISP-in-Rust Deterministic Symbolic EngineTarget
PLDI 2026PIRS: Prolog-in-Rust for Industrial Regulatory ReasoningTarget
PreprintOCTH: Resolving H₀ Tension via Ultra-Localized Topological Hole at z_tail=0.05arXiv target
PreprintSAVFS: Deterministic Binaural Spatialization with SHA-256 AuditabilityAES target

Try our products

SAVFS and SASVFS — available now for Windows, macOS and Linux. Direct license, no middlemen.

Browse all products → Research collaboration