The thesis is written before the code
Each line starts with a falsifiable specification: what we claim, the metric that measures it, and the result that would refute it. If it cannot be refuted, it is not research.
R&D
We work on the border between what technique allows and what regulation demands. Each line is born from a real client problem or a real market failure, and dies if it does not pass its own experiment.
How we work
Each line starts with a falsifiable specification: what we claim, the metric that measures it, and the result that would refute it. If it cannot be refuted, it is not research.
No experimental capability — quantum, generative or heuristic — enters a product without a deterministic reference path that always runs.
The cortex that proposes is separate from the core that certifies. A result without a verifier is a hypothesis, and is communicated as such.
The hypothesis, the metric and the criterion that would refute it are written down before the experiment is launched, in a log that only accepts additions and is never rewritten. A result that contradicts our own thesis enters the file with the same weight as a favourable one, and several have.
Every delivery is cryptographically signed and every experiment fixes its seed, so that anyone granted access in a due-diligence process can repeat the run and obtain exactly the same result. Runs on third-party hardware are approved one by one, with the quota capped in advance.
Active lines
01 · Governed cryptographic agility
Changing algorithm is not enough: you must be able to change it again, hot, without downgrading what is already signed, leaving evidence verifiable years later. This is the shared thesis of Moeris, Éter and Nova.
02 · Sovereign, traceable AI
Models trained in-house on versioned, signed data, runnable locally with no data egress. It answers the regulatory question almost nobody can: exactly what was this model trained on.
03 · Certified computation and structural honesty
Separating a cortex that speculates from a core that only certifies the provable. Active research lives in EVA: competing heterogeneous planes, a monotone blackboard and independent verification before any result is emitted.
04 · Proprietary power-flow solver
A power-flow engine with no commercial dependencies, ten to fifty times faster than the conventional tool, turning grid operation from reactive into anticipatory.
05 · Regulatory knowledge agents
Experts specialised by autonomous region and jurisdiction, able to support a due diligence report or an expert opinion with the specific regulation and case law that applies.
06 · Similarity between genetic conditions
Given the genetic and observed-trait profile of a case, propose which other conditions resemble it and why, with the source cited at every step and without the data leaving the machine it runs on. It does not diagnose and does not replace a clinician: it orders hypotheses so a specialist can rule them out sooner. It is at pilot stage, with a single condition covered end to end.
07 · Applied quantum computing, without the hype
Quantum-ready operators with a mandatory classical fallback from day one: the reference classical algorithm always runs, and the availability of a quantum backend is never presented as demonstrated advantage.
Quantum programme
They share experimental infrastructure and discipline — hypothesis pre-registered before running, averaging over many seeds, negative results published all the same — but each has its own physics and its own intellectual property line. For each we publish the question, the method and the status; never the mechanism.
None of these lines is communicated with numerical results, parameters or mechanisms. The reason is explicit: disclosing a mechanism before securing its priority date destroys any possibility of protecting it. That is why only public-domain characterisation sequences are sent to a third-party processor, while our own mechanism runs locally. What is public is the discipline: if an experiment fails, it is recorded and published.
There is execution on real quantum hardware: several jobs submitted to an IBM processor, using standard characterisation sequences under a pre-registered quota budget. What we do not claim is demonstrated advantage on device: our own mechanism runs locally as a deliberate intellectual-property decision, and having a quantum backend is never, on its own, an advantage. Some of those runs returned a negative result that qualifies one of our starting premises: it is recorded exactly like the favourable results. EVA is at specification stage and its central thesis may not hold; that is why the controlled experiment exists before investing in infrastructure. When something fails, we say so.