Arca executes language-model-based verifications to inspect every database write action triggered by an agent tool