(мой котик после причащения Куличом)

Паттерн test-specific equality (проверка равенства двух объектов не через универсальное сравнение, а с помощью правил, важных только для конкретного теста) подразумевает, что например экземпляры класса Dwarf в некотором контексте достаточно проверять только по Id и Name (что это тот же гном, и его имя не изменилось).

Может показаться, что это унивалентность HoTT (структурный изоморфизм с точностью до забывания структуры), но по сути это просто применение функтора проекции (факторизация по отношению эквивалентности).

И что? И ничего. Разберём с ментатами в СИ, почему этот паттерн на самом деле -- анти-паттерн, тест с запашком.