irq: фикс Phase 1 после отладки — DSS работает в IM 1, чейн всегда на 0x0038

Первая версия висла на первом прерывании. Две причины (verified по
docs/samples/sprinterIntLib.asm, SIO_CTC_KEY.asm и исходникам MAME):

- DSS работает в IM 1 (обработчик 0x0038); I=0x3F — наследие Spectrum
  ROM, НЕ таблица: чтение [I<<8|0xFF] давало мусор (0x00BF) и прыжок в
  никуда. Чейн из трамплина теперь ВСЕГДА jp 0x0038 (interrupted-PC на
  стеке = имитация RST 38); irq_remove безусловно восстанавливает IM 1
- CBL-фильтр по биту 7 порта 0xFE убран: при выключенном CBL бит
  подтянут к 1 (MAME kbd_fe_r: data |= 0xE0) — каждый кадр ложно
  уходил в чейн, user-handler не вызывался бы. Вернуть в Phase 2
  вместе с поддержкой CBL

Попутно подтверждено: порт 0x19 = SIO-A RR0 (Z84C015), бит 0 = Rx
Available; вектора встроенной периферии SIO 0x10..0x1E / CTC 0x06
(заливка 257×H ловит любые); внешний вектор 0xFF.

irqtest: диагностика I до установки + фаза без ESTEX; прогон в MAME:
~49 Гц, клавиатура жива, remove останавливает тики, чистый выход.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Makefile

@@ -16,7 +16,7 @@
 TESTS := hello hello2 simple banked bankedbg banktest strtest cat seek \
          malloc mem_test argv errno rt_test openenv ls conio conio2 \
          attrprob timedir mouse banklocl stdlib assrtest ptime stattest \
-         filetest fdmax fbench solidt dec_test gets stest2 winrest \
+         filetest fdmax fbench solidt irqtest dec_test gets stest2 winrest \
          bios_text text_palette \
          gfx_demo gfx_d16 gfx_text gfx_mous gfx_dbuf
 

docs/TODO.md

@@ -35,13 +35,14 @@ imagesize/getimage/putimage (COPY/XOR/AND/OR/NOT_PUT), setviewport/
 Acceptance: типичная BGI-программа переносится без существенных
 правок.  Референс: Turbo C 2.x BGIDEMO.
 
-### IM2 Interrupt Handlers
+### IM2 Interrupt Handlers — Phase 1 ГОТОВ (2026-07-06, libc/irq, tests/irqtest; Phase 2: CBL/ISA/цепочки)
 
 User-ISR через IM 2 — timer ticks, музыка (AY/COVOX), real-time
-игры, async input.  Решение: отдельный memory mode `--memory im2`.
+игры, async input.  Phase 1 реализован БЕЗ отдельного memory mode:
-Полный research/design: docs/im2_isr_design.md (vector 0xFF общий,
+libc/irq (<irq.h>: irq_install/irq_remove), таблица в BSS с runtime-
-disambiguation по портам 0x19/0xFE; таблица/ISR/стек в W2; chain к
+выравниванием, jp-заглушка внутри таблицы, чейн к DSS всегда;
-DSS-хендлеру обязателен).
+работает в tiny/big, в small/huge — EINVAL.  Детали и отличия от
+исходного плана: docs/im2_isr_design.md.
 
 ### Прочее v2
 

docs/im2_isr_design.md

@@ -1,6 +1,60 @@
 # IM2 Interrupt Handlers — Design Document
 
-**Status:** РЕАЛИЗАЦИЯ ОТЛОЖЕНА (до пост-релизной версии). Обязательная фича для v2.
+**Status: Phase 1 РЕАЛИЗОВАН 2026-07-06, ИСПРАВЛЕН после отладки**
+(libc/irq: irq_install/irq_remove + трамплин; тест tests/irqtest).
+
+## Результаты verification (2026-07-06, по docs/samples и исходникам MAME)
+
+Первая версия зависала на первом же прерывании после irq_install.
+Причины и проверенные факты:
+
+- **DSS работает в IM 1** (обработчик на 0x0038).  I=0x3F — наследие
+  Spectrum ROM, НЕ признак IM 2-таблицы.  Доказательства:
+  `docs/samples/sprinterIntLib.asm` (intRestoreDefaultInterrupt: `ld i,a`
+  + `im 1` безусловно, «обязательно перед функциями дос и биос») и
+  `docs/samples/SIO_CTC_KEY.asm` (выход: `LD I,A` + `IM 1`).  Чтение
+  «таблицы DSS» по [I<<8+0xFF] давало мусор (0x00BF) и было причиной
+  зависания.  Фикс: чейн из трамплина ВСЕГДА на 0x0038 (jp с
+  interrupted-PC на стеке = имитация RST 38); irq_remove всегда
+  восстанавливает IM 1 (I — только регистр).
+- **CBL-фильтр по биту 7 порта 0xFE убран из трамплина**: в MAME при
+  выключенном CBL бит 7 всегда = 1 (sprinter.cpp kbd_fe_r:
+  `data |= 0xE0`), и каждое кадровое прерывание ложно классифицировалось
+  как CBL — user-handler не вызывался бы никогда.  Признак «#fe.bit7=1»
+  (sprinterIntLib.asm) имеет смысл только при активном CBL — вернуть в
+  Phase 2 вместе с поддержкой CBL.
+- **Порт 0x19 = SIO-A RR0 (Z84C015), бит 0 = «Rx Character Available»** —
+  семантика клавиатурного пробника верна (подтверждено
+  sprinterIntLib.asm: `in a,(COM_A); bit 0,a; Z → кадровое`).
+- **Вектора встроенной периферии Z84C015**: SIO — 0x10..0x1E, CTC — 0x06
+  (базовые вектора задаются записью в WR2 SIO-B / CTC ch0).  Штатно их
+  прерывания выключены (сэмплы включают/выключают их сами); наша
+  заливка 257×H перехватывает любой вектор на трамплин, а чейн на
+  0x0038 безопасен для любого источника.
+- Внешний вектор действительно 0xFF (MAME sprinter.cpp:
+  `set_irq_acknowledge_callback` → 0xff).
+
+Отличия реализации от плана ниже:
+
+- **отдельный `--memory im2` НЕ понадобился**: таблица — статический
+  буфер 513 Б в BSS с выравниванием в рантайме; т.к. внешний вектор —
+  только 0xFF, значимы лишь байты [0xFF]/[0x100], и 3-байтовый
+  `jp _irq_tramp` лежит ВНУТРИ таблицы по смещению H (H = старший
+  байт её адреса, < 0xC0 — не пересекается).  Никаких linker-областей
+  и правок crt0;
+- работает в tiny/big (код и данные в W2); в small/huge irq_install
+  возвращает EINVAL (проверка адресов трамплина/буфера);
+- **чейн к DSS — ВСЕГДА и всегда на 0x0038** (и клавиатура, и кадр):
+  не нужно знать, что DSS делает в своём ISR — SYSTIME/клавиатура/мышь
+  живут.  User-handler зовётся только на кадровых (фильтр: бит 0
+  порта 0x19 → мимо); финальный jp — SMC-операнд;
+- W3-порт в трамплине НЕ сохраняется: gfx держит DI на время свопов,
+  а user-handler'у banking запрещён; DSS свои окна сохраняет сам;
+- irq_remove вешается на atexit (выход без снятия = IM 2/I указывают в
+  память умершего процесса = крах шелла); восстановление — всегда IM 1.
+
+Phase 2 (CBL/COVOX handler, ISA, цепочка нескольких хендлеров) — ниже
+по плану, не реализовано.
 
 Этот документ собирает всё, что мы знаем о прерываниях Sprinter и план реализации user-задаваемых ISR через Z80 IM 2 mode. Когда возьмёмся за реализацию — читать этот файл, чтобы не повторять research.
 

docs/libc-reference.md

@@ -155,6 +155,17 @@ rect fill_rect` — через акселератор (hline/vline burst до 25
 font[row*256+char]).
 Палитра: `gfx_pal_load/set/get/get_color/reset` (страницы 0..3).
 
+## <irq.h> — user-ISR кадрового прерывания (IM 2)
+
+| Сигнатура | Описание |
+|---|---|
+| `int irq_install(isr_t h)` | h зовётся ~50 Гц на кадровых прерываниях; DSS-обработчик чейнится всегда (клавиатура/SYSTIME/мышь живы). 0 / -1+errno (EBUSY повтор, EINVAL — код не в W2: только tiny/big) |
+| `void irq_remove(void)` | вернуть таблицу DSS; идемпотентно; висит на atexit |
+| `IRQ_DISABLE()/IRQ_ENABLE()` | di/ei — скобки для чтения shared-переменных из main |
+
+Handler'у нельзя: ESTEX/BIOS-вызовы, gfx_*/своп окон, акселератор,
+banked-функции; только volatile-глобалы и быстрая работа (<1 мс).
+
 ## <palette.h> — низкий уровень (BIOS $A4/$A6)
 
 `pal_load pal_get pal_set_color pal_get_color` (страница 0..7,

docs/libc-roadmap.md

@@ -84,7 +84,7 @@ fgetpos/fsetpos (хвост П2).  bdos/brk/ioctl — отказ решение
 - [x] Размерный регресс: toolchain/size_check.py + docs/size_baseline.tsv;
       `make size-check` (выход 1 при росте) / `make size-baseline`
 
-## П6. Верификация после сплита
+## П6. Верификация после сплита — ЗАКРЫТ 2026-07-06 (MAME; железо — отдельно)
 
 - [ ] `make floppy` + прогон в MAME ключевых тестов (conio, filetest, ptime,
       stattest, mouse, gfx_demo) — линковка прошла, но поведение надо

docs/size_baseline.tsv

@@ -23,6 +23,7 @@ gfx_mous	5542
 gfx_text	2560
 hello	4176
 hello2	4251
+irqtest	4818
 ls	4919
 malloc	4462
 mdview	19122

libc/include/irq.h

@@ -0,0 +1,43 @@
+/*
+ * irq.h — пользовательский обработчик кадрового прерывания (IM 2).
+ *
+ * Sprinter шлёт вектор 0xFF от трёх источников: кадр (50 Гц),
+ * клавиатура (бит 0 порта 0x19), CBL/COVOX.  Штатно DSS работает в
+ * IM 1 (обработчик 0x0038).  irq_install() переключает CPU в IM 2 со
+ * своей таблицей и зовёт handler ТОЛЬКО на кадровых прерываниях;
+ * после него (и на всех прочих источниках) управление всегда
+ * передаётся штатному обработчику DSS на 0x0038 — клавиатура,
+ * SYSTIME и курсор мыши продолжают работать.  irq_remove()
+ * возвращает IM 1/I как было (и вызывается автоматически из exit).
+ *
+ * ТРЕБОВАНИЕ ПАМЯТИ: код и данные программы должны быть в W2
+ * (0x8000-0xBFFF) — режимы tiny и big.  В small/huge (CODE в W1)
+ * irq_install вернёт -1/EINVAL: во время прерывания W1 может быть
+ * перемаплен.  Дизайн: docs/im2_isr_design.md.
+ *
+ * Правила для handler'а (вызывается ~50 раз/с, все регистры
+ * сохраняются снаружи):
+ *   МОЖНО:  volatile-глобалы, арифметика, короткая работа (<1 мс);
+ *   НЕЛЬЗЯ: ESTEX/BIOS-вызовы (printf/malloc/файлы), gfx_* и любой
+ *           своп W1/W3, акселератор, banked-функции, longjmp наружу.
+ */
+
+#ifndef IRQ_H
+#define IRQ_H
+
+typedef void (*isr_t)(void);
+
+/* Установить обработчик кадрового прерывания.
+ * 0 — OK; -1 + errno: EBUSY (уже установлен), EINVAL (код/данные
+ * не в W2 — неподходящий memory mode). */
+int  irq_install(isr_t handler);
+
+/* Снять обработчик и вернуть IM2-таблицу DSS.  Безопасно звать
+ * повторно; вызывается автоматически при exit(). */
+void irq_remove(void);
+
+/* Скобки для доступа main-кода к данным, разделяемым с ISR. */
+#define IRQ_DISABLE()  __asm__("di")
+#define IRQ_ENABLE()   __asm__("ei")
+
+#endif

libc/irq/_irq.h

@@ -0,0 +1,37 @@
+/*
+ * _irq.h — внутренности IM2-модуля (НЕ публичный заголовок).
+ *
+ * Механика (docs/im2_isr_design.md):
+ *  - таблица векторов: 257 байт с выравниванием 256 внутри статического
+ *    буфера 513 байт (_irq_state.c), заполняется байтом H = старший
+ *    байт её же адреса; CPU по вектору V читает адрес (H<<8|H) —
+ *    трёхбайтовый `jp _irq_tramp` лежит ВНУТРИ таблицы по смещению H
+ *    (безопасно: внешний вектор — 0xFF, а H < 0xC0; заливка H
+ *    перехватывает и вектора SIO/CTC, если их кто-то включит);
+ *  - трамплин (_irq_tramp.c): AF-пробник порта 0x19 (SIO-A RR0);
+ *    кадровое прерывание → полный save → user handler → restore;
+ *    затем ВСЕГДА jp на обработчик DSS 0x0038 (DSS работает в IM 1;
+ *    SMC-операнд патчится при install) — EI/RETI делает DSS;
+ *  - install: I := H, IM 2; remove: I := старое, IM 1 (штатный режим DSS).
+ */
+#ifndef _IRQ_INTERNAL_H
+#define _IRQ_INTERNAL_H
+
+#include <stdint.h>
+#include <irq.h>
+
+/* Буфер под таблицу: 256 (выравнивание) + 257 (таблица). */
+#define _IRQ_VEC_BUF_SIZE (256 + 257)
+
+extern uint8_t _irq_vec_buf[_IRQ_VEC_BUF_SIZE];
+extern isr_t   _irq_user;        /* NULL = не установлен */
+extern uint8_t _irq_old_i;       /* I до install */
+
+/* Вход трамплина (asm, _irq_tramp.c). */
+void _irq_tramp(void);
+
+/* SMC-операнд `jp` на старый DSS-обработчик — метка внутри трамплина,
+ * пишется из irq_install (16-битный адрес). */
+extern uint16_t _irq_dss_target;
+
+#endif

libc/irq/_irq_state.c

@@ -0,0 +1,10 @@
+/*
+ * _irq_state — данные IM2-модуля: буфер вектор-таблицы, указатель на
+ * user-handler, сохранённый регистр I.  Только данные.
+ */
+
+#include "_irq.h"
+
+uint8_t _irq_vec_buf[_IRQ_VEC_BUF_SIZE];
+isr_t   _irq_user;
+uint8_t _irq_old_i;

libc/irq/_irq_tramp.c

@@ -0,0 +1,75 @@
+/*
+ * _irq_tramp — вход IM2-прерывания (вектор 0xFF, все источники).
+ *
+ * До выяснения источника трогаем только AF: клавиатура (бит 0 порта
+ * 0x19 = SIO-A RR0 «Rx Character Available») уходит напрямую в DSS.
+ * Кадровое прерывание: полный сейв обоих наборов + IX/IY, вызов
+ * user-handler'а, симметричный restore.  В конце ВСЕГДА jp на
+ * обработчик DSS 0x0038 (DSS работает в IM 1; jp с interrupted-PC на
+ * стеке имитирует RST 38) — он делает свой save/restore и завершает
+ * EI/RETI: клавиатурный FIFO, SYSTIME и курсор мыши живут.
+ *
+ * CBL-фильтр по биту 7 порта 0xFE УБРАН: при выключенном CBL бит
+ * подтянут к 1 (MAME kbd_fe_r: data |= 0xE0), и каждое кадровое
+ * прерывание ложно уходило бы в чейн — user-handler не вызывался бы
+ * никогда.  Вернуть вместе с поддержкой CBL в Phase 2.
+ *
+ * Операнд финального jp (_irq_dss_target) — SMC, патчится из
+ * irq_install; модуль в _CODE (RAM на Sprinter, W2 в tiny/big).
+ */
+
+#include "_irq.h"
+
+void _irq_tramp(void) __naked
+{
+    __asm
+        push  af
+        in    a, (#0x19)
+        rrca                        ; бит 0 — клавиатурный байт принят?
+        jr    C, _irq_chain
+
+        ;; --- кадровое прерывание ---
+        push  bc
+        push  de
+        push  hl
+        ld    hl, (__irq_user)
+        ld    a, h
+        or    a, l
+        jr    Z, _irq_pop3          ; handler не установлен
+
+        ;; Сохранить теневой набор и индексные — user-код клобберит всё.
+        .db   0x08                  ; ex af,af (теневой AF)
+        push  af
+        exx
+        push  bc
+        push  de
+        push  hl
+        push  ix
+        push  iy
+
+        ld    hl, (__irq_user)
+        call  _irq_call_hl
+
+        pop   iy
+        pop   ix
+        pop   hl
+        pop   de
+        pop   bc
+        exx
+        pop   af
+        .db   0x08                  ; ex af,af (теневой AF)
+    _irq_pop3:
+        pop   hl
+        pop   de
+        pop   bc
+    _irq_chain:
+        pop   af
+        ;; Всегда к DSS (IM 1, обработчик 0x0038) — EI/RETI за ним.
+        .db   0xC3                  ; jp nn
+    __irq_dss_target::
+        .dw   0x0038                ; SMC: подтверждается в irq_install
+
+    _irq_call_hl:
+        jp    (hl)
+    __endasm;
+}

libc/irq/irq_install.c

@@ -0,0 +1,96 @@
+/*
+ * irq_install — установить user-handler кадрового прерывания (IM 2).
+ *
+ * Строит 257-байтную вектор-таблицу (выравнивание 256 в рантайме,
+ * заполнение байтом H = старший байт адреса таблицы; `jp _irq_tramp`
+ * лежит внутри таблицы по смещению H — читаются лишь байты
+ * [0xFF]/[0x100] для внешнего вектора 0xFF; вектора встроенной
+ * периферии Z84C015 (SIO 0x10..0x1E, CTC 0x06) штатно выключены, но
+ * заливка H перехватывает и их — чейн на 0x0038 валиден для всех).
+ *
+ * ВАЖНО (проверено по docs/samples/sprinterIntLib.asm и
+ * SIO_CTC_KEY.asm): DSS работает в IM 1 — его обработчик живёт на
+ * 0x0038, а I=0x3F — наследие Spectrum ROM, НЕ признак IM 2-таблицы.
+ * Поэтому чейн из трамплина ВСЕГДА идёт на 0x0038 (jp 0x0038 с
+ * interrupted-PC на стеке в точности имитирует вход IM 1 / RST 38),
+ * а старое I сохраняется только чтобы вернуть регистр при remove.
+ *
+ * irq_remove вешается на atexit — выход без снятия оставил бы I/IM2
+ * на памяти умершего процесса.
+ */
+
+#include <string.h>
+#include <errno.h>
+#include <sprinter_exit.h>
+#include "_irq.h"
+
+/* Прочитать регистр I. */
+static uint8_t irq_get_i(void) __naked
+{
+    __asm
+        ld    a, i
+        ret
+    __endasm;
+}
+
+/* I := A, режим IM 2. */
+static void irq_set_i_im2(uint8_t i_val) __naked
+{
+    (void)i_val;
+    __asm
+        ;; __sdcccall(1): uint8_t-аргумент уже в A.
+        ld    i, a
+        im    2
+        ret
+    __endasm;
+}
+
+int irq_install(isr_t handler)
+{
+    if (!handler) { errno = EINVAL; return -1; }
+    if (_irq_user) { errno = EBUSY; return -1; }
+
+    /* Трамплин и таблица обязаны жить в W2 (0x8000-0xBFFF): во время
+     * прерывания W1/W3 могут быть перемаплены.  CODE вне W2 =
+     * неподходящий memory mode (small/huge). */
+    uint16_t tramp = (uint16_t)&_irq_tramp;
+    uint16_t buf   = (uint16_t)_irq_vec_buf;
+    if (tramp < 0x8000 || tramp >= 0xC000 ||
+        buf   < 0x8000 || buf + _IRQ_VEC_BUF_SIZE > 0xC000) {
+        errno = EINVAL;
+        return -1;
+    }
+
+    uint8_t *table = (uint8_t *)(((uint16_t)(buf + 255u)) & 0xFF00u);
+    uint8_t  h     = (uint8_t)((uint16_t)table >> 8);
+
+    IRQ_DISABLE();
+
+    /* Старое I — только для восстановления регистра в irq_remove. */
+    _irq_old_i = irq_get_i();
+
+    /* DSS работает в IM 1 — чейн всегда на его обработчик 0x0038.
+     * НЕ читать «таблицу по I»: I=0x3F — мусорное наследие Spectrum
+     * ROM, чтение [0x3FFF]/[0x4000] даёт случайный адрес (0x00BF) и
+     * зависание на первом же прерывании. */
+    _irq_dss_target = 0x0038;
+
+    memset(table, h, 257);
+    uint8_t *stub = table + h;         /* h < 0xC0 — с [0xFF] не пересекается */
+    stub[0] = 0xC3;                    /* jp _irq_tramp */
+    stub[1] = (uint8_t)(tramp & 0xFF);
+    stub[2] = (uint8_t)(tramp >> 8);
+
+    _irq_user = handler;
+    irq_set_i_im2(h);
+
+    IRQ_ENABLE();
+
+    /* Выход без снятия = крах шелла (I указывает в память процесса). */
+    static uint8_t atexit_armed;
+    if (!atexit_armed) {
+        atexit_armed = 1;
+        atexit(irq_remove);
+    }
+    return 0;
+}

libc/irq/irq_remove.c

@@ -0,0 +1,30 @@
+/*
+ * irq_remove — снять user-handler и вернуть систему в штатный режим
+ * DSS: I := сохранённое значение (наследие Spectrum ROM, обычно 0x3F)
+ * и ВСЕГДА IM 1 — DSS работает в IM 1, его обработчик на 0x0038
+ * (так же делают сэмплы сообщества: sprinterIntLib.asm
+ * intRestoreDefaultInterrupt, SIO_CTC_KEY.asm).  Идемпотентно;
+ * вызывается и из atexit.
+ */
+
+#include "_irq.h"
+
+static void irq_restore(uint8_t i_val) __naked
+{
+    (void)i_val;
+    __asm
+        ;; A = старое I (только регистр; режим DSS — всегда IM 1).
+        ld    i, a
+        im    1
+        ret
+    __endasm;
+}
+
+void irq_remove(void)
+{
+    if (!_irq_user) return;
+    IRQ_DISABLE();
+    _irq_user = 0;
+    irq_restore(_irq_old_i);
+    IRQ_ENABLE();
+}

tests/irqtest/Makefile

@@ -0,0 +1,5 @@
+# Build irqtest.exe — smoke IM2 user-ISR (tiny mode: код/данные в W2).
+
+PROJ_ROOT := $(abspath $(CURDIR)/../..)
+EXAMPLE   := irqtest
+include $(PROJ_ROOT)/app.mk

tests/irqtest/irqtest.c

@@ -0,0 +1,93 @@
+/*
+ * irqtest — smoke-тест IM2-модуля (Phase 1, docs/im2_isr_design.md).
+ *
+ * Проверяет:
+ *   1. тикает ~50 Гц (сверка с time() за 3 секунды);
+ *   2. клавиатура/SYSTIME живы при установленном handler'е (чейн к DSS);
+ *   3. irq_remove останавливает тики;
+ *   4. чистый выход в шелл (I восстановлен).
+ */
+
+#include <stdio.h>
+#include <time.h>
+#include <conio.h>
+#include <errno.h>
+#include <irq.h>
+
+static volatile uint16_t ticks;
+
+static void on_tick(void)
+{
+    ticks++;
+}
+
+/* Диагностика: регистр I до установки (что за режим у DSS?). */
+static uint8_t get_i(void) __naked
+{
+    __asm
+        ld    a, i
+        ret
+    __endasm;
+}
+
+/* Busy-пауза без единого ESTEX-вызова (~симв. полсекунды). */
+static void busy_wait(void)
+{
+    for (volatile uint16_t i = 0; i < 30000u; i++) ;
+}
+
+/* Атомарное чтение 16-битного счётчика, разделяемого с ISR. */
+static uint16_t read_ticks(void)
+{
+    uint16_t v;
+    IRQ_DISABLE();
+    v = ticks;
+    IRQ_ENABLE();
+    return v;
+}
+
+int main(void)
+{
+    /* --- диагностика ДО установки --- */
+    uint8_t old_i = get_i();
+    const uint8_t *vec = (const uint8_t *)(((uint16_t)old_i << 8) + 0xFF);
+    printf("I=%02x, [I:FF]=%02x%02x (DSS isr cand: %04x)\n",
+           old_i, vec[1], vec[0],
+           (unsigned)(vec[0] | ((uint16_t)vec[1] << 8)));
+
+    if (irq_install(on_tick) != 0) {
+        printf("irq_install failed: errno=%d\n", errno);
+        return 1;
+    }
+    puts("irq installed");
+
+    /* Фаза 1: busy-пауза БЕЗ ESTEX — жив ли трамплин/чейн вообще. */
+    busy_wait();
+    printf("phase1: ticks=%u (expect >0)\n", read_ticks());
+
+    puts("phase2: measuring 3 s vs time()...");
+
+    /* Выровняться на границу секунды (time() зовёт ESTEX SYSTIME в
+     * цикле — заодно стресс чейна к DSS). */
+    time_t t0 = time(0);
+    while (time(0) == t0) ;
+    uint16_t start = read_ticks();
+    time_t t1 = time(0);
+    while (time(0) < t1 + 3) ;
+    uint16_t got = read_ticks() - start;
+
+    printf("ticks: %u in 3 s (~%u Hz, expect ~50)\n", got, got / 3);
+
+    puts("press any key (keyboard must work)...");
+    getch();
+
+    irq_remove();
+    uint16_t frozen = read_ticks();
+    time_t t2 = time(0);
+    while (time(0) < t2 + 1) ;
+    if (read_ticks() == frozen) puts("remove: ticks frozen, OK");
+    else                        puts("remove: FAIL, still ticking");
+
+    puts("irqtest done.");
+    return 0;
+}