Independent researcher at DEA Research & Development, working on formal verification and AI assurance. Current work concerns bounded-uncertainty output semantics for verification systems, grounded in impossibility results from computability theory, and the composition of bounded-risk certificates across federated computation. Working paper: https://doi.org/10.5281/zenodo.21341445 · Site: https://simondolera.com · GitHub: https://github.com/rockwayz