🌊 Wave 2026-07-11 v3 · аудит 9 never-audited модулей — anomaly spike-sentinel глушит все spike (P1) + flow_control credit underflow (P1) + quarantine 8-bit таймер (P2)

[gHashTag]

Волна разобрала 9 сгенерированных модулей, впаянных в src/lib.rs:21-46 и не смотренных ни одной прошлой волной: mesh_routing, etx, adaptive_routing, multipath_routing, frame_buffer, flow_control, health_dashboard, anomaly_detector, quarantine_manager + их specs/*.t27.

Отчёт: docs/WAVE_REPORT_2026-07-11-v3.md на ветке feat/wave-report-2026-07-11-v3. Draft PR прилагается.

Честность

main красный (build.rs, трек PR #60) — не переотчитывается. Codegen-дефект (dropped-let, as→(), [T;N]→Vec<>), из-за которого 8/9 модулей не собираются, УЖЕ трекается: PR #44, issue #61, t27#1401/#1456/#1457 — тоже НЕ переотчитывается. rustc 1.95.0, каждый файл собран отдельно: mesh_routing компилируется; etx/frame_buffer — E0308/E0369; остальные 6 не парсятся (176 битых let;).

Новое (спек-уровень, переживёт фикс codegen; НЕ входит в issue #61)

#	Sev	Файл:строка	Суть
W1	P1	anomaly_detector.t27:62,249,266	TYPE_SPIKE=0 == sentinel «нет аномалии»; гейт if (anomaly_type != 0) глушит ВСЕ spike-аномалии
W2	P1	flow_control.t27:149,37,85,99,171	MSG_CREDIT_UPDATE→update_credits без клампа к window; window-credits u32-underflow → ложный вечный backpressure + мусорный credit_grant; триггер удалённый
W3	P2	quarantine_manager.t27:16,29,90	start_time в 8 бит vs QUARANTINE_DURATION=1000 → таймер релиза неверен / underflow. Класс как известный self_healing cooldown, но другой модуль
W4	P2	adaptive_routing.t27:82,87,101	255/x целочисленный score → грубые ступени → сдвиг выбора к path index 0
W5	P2	multipath_routing.t27:154,164	distribute_load: % total_paths старт vs % 4 ретрай — несогласованный модуль

Наука → предписание (кратко)

• W1: 3σ Shewhart (NIST/SEMATECH 6.3.2) — баг в in-band sentinel; зарезервировать out-of-band «none» / отдельный флаг.
• W2: инвариант credits<=window (Kung&Morris, IEEE Network 1995, DOI 10.1109/65.372658) — кламп в update_credits, saturating-вычитание.
• W3: RFC 1982 — расширить поле/дельта-таймер, wrap-safe сравнение.
• W4: ETX, MobiCom 2003, DOI 10.1145/938985.938995 — score в Q8.8.

Граница

Audit + plan только. Ничего не имплементировано, PR — draft, в main не пушить, железо/owner-gated crypto не трогали.

phi^2 + phi^-2 = 3