Source record

Published by arXiv cs.MA (T1 source). The original is at https://arxiv.org/abs/2608.02764.

Pipeline notes

The summary and note below are generated by the signal pipeline — they are Beyond Desk’s reading, not quotations from the source.

The paper identifies 'stale authorization' as a core failure mode in agentic systems where policies are evaluated at request time but effects occur later when underlying state may have changed. It defines policy-state serializability and presents Provenact, a runtime architecture with a PostgreSQL-backed prototype that keeps policies as reviewable programs.

A concrete correctness condition and runtime design for the often-ignored problem of policy staleness in concurrent agent workflows acting on shared resources.

Cited by

No citations on record.