Documenting native verification