aiken-dex-security-audit-operator

name	aiken-dex-security-audit-operator
description	Operator skill: run local Aiken build/test commands and capture evidence for the audit. Manual invoke only.
metadata	{"manual":"true"}

aiken-dex-security-audit-operator

Rule

This is for "hands-on-keyboard" runs (aiken check/build) and collecting logs. Only run commands the user explicitly requests.

Procedure

1. Confirm repo path + commit
   • git rev-parse --short HEAD
2. Record tool versions
   • aiken --version
3. Run checks
   • aiken check
   • aiken build
4. If tests fail: capture failing test/property name, file/line, and minimal repro info.
5. Feed outputs into the audit report evidence section.