4 papers
Authority at Commit Time: Reject-and-Rerun Semantics for Governed Agentic Systems
Jesus Salas
Enterprise agents can compute for seconds or hours from a snapshot of policy, facts, task state, models, tools, and verifiers that may change before their work reaches the world. C…
Change-Provenant Supervision: Governing Learned Artifacts Under Policy Change
Jesus Salas
A recorded dependency graph cannot certify that it contains no omitted edge. For learned artifacts, graph-scoped invalidation therefore cannot by itself justify admission after aut…
Governance Records as Supervision: Verifier-Selected Self-Training for Structured Workflow Repair
Jesus Salas
Machine-verifiable workflows produce governance records linking a task contract, model attempt, verifier decision, accepted output, and target origin. We test whether verifier-admi…
Correct Is Not Governed: Provenance Integrity in Agentic Workflows
Jesus Salas
Agentic workflows are commonly evaluated by whether they reach the correct outcome. That is insufficient in institutional settings, where a correct action may rely on the wrong aut…