verification

Verification-first development approach - Australian-enhanced