Я герой. Я нашел опечатку в спецификации Action Script Message Format 3. Только это нахер никому не сдалось.

Цитирую:

Я был настолько хитер, что написал тестерам набор чисел из всех интервалов. (последний интервал, разумеется, к ошибке не приводит – просто передаю double instead of int)

Так вот,
1xxxxxxx 1xxxxxxx 1xxxxxxx xxxxxxxx имеет максимальное значение – 29 единиц. Это 1FFFFFFF, а не 3FFFFFFF!

А я-то думаю, пошто у меня precondition не срабатывает… а потому что никому нельзя верить.