Mark Polyak

Contraction Contracts: Enforced Progress Guarantees for Black-Box Agent Loops

The verify-and-revert loop -- propose, apply, keep only if a measured quantity improved, otherwise roll back -- is folk practice in agent engineering, with no design methodology and no guarantees. We adapt Kolesnikov's Analytical Design of Aggregated Regulators to plants that adm...