Function verify_app_migration_state 

fn verify_app_migration_state(app: &AppRuntime) -> Result<(), &'static str>

Verifies the manifest-selected logical migration contract without exporting app data.