В двух словах на данную кучу вопросов не ответить, но попробую бегло.
1. ProPhoto профиль абстрактный и теоретический. Выходить за HVS имеет право. Но не за куб XYZ PCS (впрочем, и не выходит).
2. -127+128 это ограничение не самого PCS Lab в ICC, а CLUT Lab с таким кодированием. В v4 ICC есть CLUT безграничный по сути. Либо, как уже отмечал ранее, в XYZ.
3. Выход за HVS не ошибки, а "вспоможение" для некоторых нужд. Как пример, ProPhoto. Чтобы охватить HVS трихроматом, приходится сдвигать primaries за HVS. И все равно оный ProPhoto не охватывает весь HVS.
4. Да, HVS описан монохроматами на краях. Далее ничего для зрительной системы быть не может в принципе. Но математически может. Оно там ничего не означает, просто цифири.
5. HVS не вписывается в Lab -127+128 в "синей" области.
6. Да, ProPhoto выходит кое-где за Lab -127+128. Это не ошибка, это фича.
Ошибка, на мой взгляд, это Lab -127+128. В v4 ICC исправили, но инерция велика.