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
- Confirm repo path + commit
- git rev-parse --short HEAD
- Record tool versions
- aiken --version
- Run checks
- aiken check - aiken build
- If tests fail: capture failing test/property name, file/line, and minimal repro info.
- Feed outputs into the audit report evidence section.