@misc{indiciae938f3a89d943, title = {Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes}, author = {Alfredo Metere}, year = {2026}, url = {https://arxiv.org/abs/2605.00424}, note = {Source identifier: 2605.00424} }