TY - RPRT TI - Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes AU - Alfredo Metere PY - 2026 UR - https://arxiv.org/abs/2605.00424 ID - 2605.00424 ER -