Phase 3b: native rebase audit

Ready for deterministic paired audit.