Where are the comment permalinks generated?

It’s generated in comments.php near the bottom of the template wherein wrapper div per comment is made e.g. in stripped form – see <?php comment_ID() ?>

<div id="comment-<?php comment_ID() ?>">
<div class="commentdetails">
etc etc etc
<?php comment_text() ?>
</div>