Forlais Research
Ariadne
We asked whether an earlier achievement would still hold once it left the setting that made it. It did, and where it stops holding mattered just as much.
The question
Dependable continuity beyond the original setting
The idea was continuity. An achievement that only works where it was born is a curiosity, not a capability. We wanted to know whether assessed machine knowledge could stay exact beyond its original setting while access and integrity remained accountable to evidence rather than to assurances.
Research journey
How the work unfolded
Ariadne preserved every assessed decision and recovered the corresponding machine knowledge exactly after separation. That was the result we were hoping for, and it arrived.
Then we took the required access information away. Recall fell close to its recorded floor and exact recovery failed, while authorised use carried on unaffected. Seeing the failure happen exactly where it should was as valuable as seeing the success.
Both the primary result and a separate review declined altered retained evidence rather than accepting it. We wanted refusal to be observed behaviour, not a promise in a document.
The separate review confirmed selected integrity, continuity and refusal properties. It confirmed those properties and no others, and we have been careful never to describe that narrower assurance as complete validation.
Turning point
What changed the direction
The turn was watching recovery change the moment access information became unavailable while authorised use stayed intact. That is what made custody an observed result instead of an assumption we were carrying.
Achievement
What Forlais established
Ariadne established durable and inspectable continuity with exact assessed recovery, meaningful access safeguards, refusal of altered evidence, and selected independent assurance.
Significance
Why it matters for AI
Ariadne shows that useful machine knowledge can outlive the setting it was made in, so long as continuity, access and integrity stay bounded to what was actually tested.
Public scope
Forlais Research is the public research surface for Forlais Group. Related official routes include the company site, EvaEsi overview, Project Eve, and selected research programme pages.