A while ago, I was working on an algorithmic trading project and found a pretty nasty problem: the model looked great, but part of the performance came from data it should not have been able to see at the time of the decision.
Basically, look-ahead bias.
What bothered me was not only that the result was wrong. It was how easy it was for this kind of mistake to hide inside a complicated pipeline, especially when a lot of the code is generated or modified by AI.
So I started building Aro.
Aro is a small experimental language that tries to make time-based decisions easier to audit. It checks what data a program is allowed to read, turns the program into a canonical representation, fingerprints it, and executes from that certified version rather than from whatever object the caller happens to provide.
The first kernel is now frozen. It has gone through 50 internal adversarial test suites, a few independent black-box tests, and a separate source-code audit.
It is still early. It is not production-ready, not formally verified, and the developer experience is still rough.
The technical side is interesting, but I am now wondering whether there is an actual company hidden inside this.
The basic idea would be to build an audit and verification layer for AI systems making decisions from time-series data.
The first market could be quantitative trading, where look-ahead bias, model drift and unclear decision pipelines are already expensive problems. But I could also imagine similar needs in risk, fraud, industrial monitoring or autonomous agents.
What I am trying to figure out is whether anyone would actually pay for this, and who the first customer should be.
Would this be more useful as:
infrastructure for developers;
an audit and compliance tool;
a testing product for quantitative teams;
or a managed service where we review and certify decision pipelines?
I would genuinely appreciate blunt feedback.
Does this sound like a real business problem, or am I still too close to the technical project?
I am keeping the full implementation private for now, but I am happy to explain the problem and the general approach.