А вот интересно, внешняя SRAM для видеобуфера считается соответствующей правилам?

Да, безусловно. Категорически приветствуются любые реализации. Мы не приемлем миропорядок, основанный на правилах

Что-нибудь попроще. Гоголь-дино с Ардуино, например:
https://github.com/flaki/arduboy-rund-ino/blob/master/rund/rund.ino - исходник
https://felipemanga.github.io/ProjectABE/?hex=https://raw.githubusercontent.com/eried/ArduboyCollection/master/Arcade%2FChrome%20Dino%2FChrome%20Dino.hex - в эмуляторе
Тут вообще можно почти не переделывать, т.к. исходник не слишком сильно обмазан объектно-ориентированным программированием.

В моем форт-процессоре на полутора мегагерцах отлично работает.
Можно поиграть в Starter Kit: http://totalvacuum.ru/BATTLE/dino.bit
Качество фоток по старой доброй традиции позорное, вживую намного лучше.

Ну и для Irbis Forth за компанию, т.к. другого Форта с графикой под рукой не оказалось: http://totalvacuum.ru/IRBIS/dino.zip
В архиве оригинал исходника с Ардуины (rund.ino), переделанный исходник для трансляции в Форт (dino.c, убрал из шапки все #include и добавил реализацию нужных функций и заглушки для не особо нужных), результат трансляции в Форт (dino.f), батник для перекомпиляции примера (rebuild.bat), а также зачаточный вариант препроцессора Си (ucp.exe) и сам транслятор (uc.exe)
Слова IMAGE.BOX и С, с наскока не заработали. Первое хотел использовать для очистки экрана, а второе для инициализации массивов, так что в коде рабоче-крестьянский вариант через попиксельную заливку и C!
Ах, да, подключаемый файл с реализацией сишных примитивов (c.f) должен лежать в одной папке с irbis.exe, иначе ругается и не работает. А прыгать пробелом.

Flappy Bird теперь тоже летает. Как в прямом, так и в переносном смысле.
Взято отсюда: https://github.com/ingegno/RetroGames/blob/master/ArduinoFlappyBird_NL/ArduinoFlappyBird_NL.ino

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

И забавное наблюдение: мой шрифт 6x8 (взято когда-то давно уже и не вспомню где), оказывается, в точности совпадает со шрифтами 6x8 для Dr.Mario под UzeBox и Dino под Arduboy