Rohan Paul (@rohanpaul_ai)T2·78 pts
- Current agent logs often fail to prove policy violations automatically because permissions are embedded in unstructured chat text.
- The proposed 'verifiable agent insurance' mechanism uses neutral verifiers to compare tool-call logs with on-chain hashes for low-cost automated auditing.
- Experiments show only 10-30% of violating runs require human judgment; optimizing log structure can raise automatic verifiability to 83%.