gitdir: ../../.git/modules/lib/autonomous-verification
