Identities, Distinctnesses, Truthmakers, and Indiscernibility Principles

After sketching some aspects of truthmaker doctrines and "truthmaker projects", and canvassing some prima facie objections to the latter, I turn to an issue which might seem to involve confusion about the nature of character of truthmakers if such there be, viz for statements of identity and (specially) distinctness. The real issue here is versions of the Identity of Indiscernibles. I discuss ways of discriminating versions, which are almost certainly true but trivial, which almost certainly substantive but false, and explore an interesting intermediate possibility which might if developed yield a plausibly true yet not-entirely-trivial version of the doctrine: it is equivalent to what I call "the Denial of Bare Distinctness".