chore(test): подтвердить BFD и восстановление OSPF на стенде

docs/ux-ui-progress.md

@@ -1,6 +1,6 @@
 # UX/UI: журнал реализации
 
-Актуальное продолжение 2026-10-09: 12.5.84 принял реальную OSPFv2 Full adjacency и частные loopback routes через собственный GRE, Ping3/3 в обе стороны и4 live browser PC/320px URL-сценария. Все собственные объекты удалены, baseline7 коллекций×2 восстановлен. Runtime backend ux-routing83/frontend ux-ipsec77, без новой сборки. Следующий12.5.85 — BFD на собственной OSPF/GRE паре; этап12.5 открыт.
+Актуальное продолжение 2026-10-09: 12.5.85 принял BFD Up на своей OSPF/GRE паре,4 live PC/320px UI checks и loss/withdrawal/recovery. Exact baseline8 коллекций×2 восстановлен. Наблюдение route withdrawal5,245ms не доказывает sub-second detection; timing/failover остаются открытыми. Runtime backend ux-routing83/frontend ux-ipsec77. Следующий12.5.86 — точный разбор BFD/OSPF/SPF timing и оставшиеся optimizer/recursive diagnostics по плану. Квота контрольной точки96%, работа остановлена после сохранения результата; этап12.5 открыт.
 
 Общий план: [UX/UI по этапам и пятичасовым окнам](ux-ui-plan.md). План задаёт объём, этот журнал фиксирует выполненные блоки и ограничения. Записи расположены от новых к старым; подробная история этапа12 также сохранена в [ux-ui-stage-12.md](ux-ui-stage-12.md).
 
@@ -36,7 +36,23 @@
 | 10 | Маршрутизация, диагностика, карта и терминал | Завершён в границах локальной приёмки 2026-10-01; блоки 10.1–10.71, внешние ограничения в 10.71 |
 | 11А | Пользователи, контейнеры, сертификаты и резервные копии | Завершён в границах локальной приёмки 2026-10-01; 11А.1–11А.33, внешние ограничения в 11А.33 |
 | 11Б | Оповещения, сбор данных, интеграции, релизы и настройки | Завершён в границах локальной приёмки 2026-10-03; ограничения и evidence в11Б.7 |
-| 12 | Итоговая доступность, адаптивность, производительность и регрессия | Локальная приёмка завершена в границах12.3.83; внешняя12.5 в работе, выполненные блоки1–84 и ограничения ниже. Runtime backend ux-routing83/frontend ux-ipsec77. |
+| 12 | Итоговая доступность, адаптивность, производительность и регрессия | Локальная приёмка завершена в границах12.3.83; внешняя12.5 в работе, выполненные блоки1–85 и ограничения ниже. Runtime backend ux-routing83/frontend ux-ipsec77. |
+
+## 12.5.85 — BFD: реальные Up, потеря GRE и восстановление (2026-10-09)
+
+**Конфигурация.** Собственная GRE/OSPFv2 пара по шаблону84, link198.18.85.1/30↔2/30, loopback198.18.185.1/32↔2/32. Свои BFD configurations только для точного GRE и private subnet, min-rx/min-tx200ms/multiplier3; OSPF GRE template use-bfd=yes. Public/default routes/interfaces и foreign BFD config не менялись, default originate/redistribution не включались.
+
+**Native/API.** BFD state up, multihop=false, multiplier3 и packets-rx/tx растут на обоих CHR. Main catalog Up, интервалы/hold поля200/200/600ms и counters корректны; RX minimum — требуемый minimum, не измерение межпакетного времени. OSPF Full, own loopback route active, Ping3/3 в обе стороны. [Up отчёт](ux-ui/acceptance/ospf-bfd-2026-10-09.json).
+
+**Браузер.** Настоящий backend/frontend, Headless Edge, два устройства×1280/320:4/4 без pageerror. BFD/private peer DOM и selected button/URL, learned route и reload context проверены, document fits. Для BFD table screenshot выполнена внутренняя прокрутка к peer; просмотр mobile подтвердил видимую таблицу/Up и объяснение TX fact/RX minimum. [Browser отчёт](ux-ui/acceptance/browser-ospf-bfd-2026-10-09.json), экраны ospf-real-bfd-server1/2-1280/320-2026-10-09.png.
+
+**Loss/recovery.** Повторная собственная пара без browser wait: временно отключён только свой GRE наCHR1. НаCHR2 нет BFD Up/OSPF Full, remote private route больше не active; API согласован. Включение GRE восстановило Full и active route. Первая проверка требовала постоянную строку Down и отказалась: dynamic session удаляется после потери OSPF пользователя. Критерий исправлен на отсутствие Up + отсутствие Full + withdrawal, исчезновение записи не выдаётся за наблюдённый Down. [Loss/recovery отчёт](ux-ui/acceptance/ospf-bfd-loss-2026-10-09.json).
+
+HTTP sampling показал withdrawal за5245ms при OSPF dead interval4000ms; beforeDeadInterval=false. Это включает RPC/SPF/convergence и не подтверждает sub-second detection или преимущество перед Hello/Dead. Причину/latency требуется разбирать отдельно по событиям и SPF timing, не обещать BFD performance по nominal600ms hold. Alternate-path failover не тестировался.
+
+**Очистка и фиксация.** На каждом run exact returned ID и name/comment/address/interface/interfaces сверены до удаления. OSPF templates/areas/instances, own BFD config/IP/bridge/GRE удалены; затем bounded route convergence и исходные IDs8 коллекций×2 совпали. Loss run тоже cleanup passed/error=null. Credentials прежние;195.195.195.195/32/default routes сохранены. Production backend routing83/PG healthy, frontend ipsec77 Up; временных контейнеров/fixture DB записей не осталось. UI/source/dependencies не менялись, сборки/миграции не запускались. Один локальный commit без push.
+
+Продолжение86: проверить раздельно BFD event и SPF withdrawal timing, затем профильные optimizer/recursive diagnostics, routing failover/масштаб в согласованных границах. Сохраняются Portal SSO/browser auth, multi-instance/physical disconnect/durable retry, client OS/IPv6/сложные DN/maximum throughput/полный PKI-policy restore ограничения82. Контрольная квота96%, дальнейшие mutations в этом окне не начинать. [MikroTik BFD](https://help.mikrotik.com/docs/spaces/ROS/pages/191299691/BFD) подтверждает отдельную configuration и use-bfd; acceptance основана на настоящем API и native состояниях.
 
 ## 12.5.84 — OSPF: Full adjacency, GRE и реальная таблица (2026-10-09)