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

[gHashTag]

Draft. Только docs/WAVE_REPORT_2026-07-11-v3.md. Не мёрджить (docs/AUTONOMOUS.md). Закрывает-частично issue #72.

Разобраны 9 сгенерированных модулей (src/lib.rs:21-46), не смотренных прошлыми волнами, + specs/*.t27.

Честность (проверено, не по памяти)

• main красный: cargo build падает в build.rs (E0308/E0599) — трек PR build(pipeline): pinned-t27c gen/rust + physical drift-guard (запрет писать в репо неправильно) #60, НЕ переотчитывается.
• rustc 1.95.0 по файлам: mesh_routing собирается; etx/frame_buffer E0308/E0369; 6 остальных не парсятся (176 let;). Корневой codegen-дефект уже трекается (PR W7.1 investigation — E0425 root cause is dropped let statements in t27c Rust emitter (findings-only) #44, issue Spec bugs surfaced by t27 #1456+#1457 codegen fixes (were masked while modules never compiled) #61, t27#1401/#1456/#1457) — НЕ переотчитывается. Пункты issue Spec bugs surfaced by t27 #1456+#1457 codegen fixes (were masked while modules never compiled) #61 (multipath:128, etx:45, is_multipath_viable, let-vs-var, dead-code) тоже НЕ дублируются.
• Заземление: 68 спеков, 101 #[test], 640 test-блоков в спеках, 17 pub mod.

Новые находки (спек-уровень, переживут фикс codegen)

• 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 без клампа → window-credits u32-underflow → ложный backpressure + мусорный credit_grant (удалённый триггер).
• W3 P2 quarantine_manager.t27:16,29,90 — 8-бит start_time vs QUARANTINE_DURATION=1000 → таймер релиза сломан/underflow.
• W4 P2 adaptive_routing.t27:82,87,101 — 255/x целочисленный score → сдвиг к path index 0.
• W5 P2 multipath_routing.t27:154,164 — несогласованный модуль round-robin.

Heatmap, наука→предписание (Kung&Morris 1995, RFC 1982, ETX MobiCom 2003, NIST 3σ), план на 4 спринта, 3 линии кооперации, граница — в отчёте.

Граница

Audit + plan; без имплементации; без железа; без owner-gated crypto.

phi^2 + phi^-2 = 3

[gHashTag]

Triage — KEEP

Verdict from cascade analysis: KEEP, awaiting caskade merge.

Root cause of red CI (build + test (-sim baseline)): committed gen/rust/ on feature branches with expanded module set contains E0425 defects from three optimizer scan bugs in t27c (const_propagate, copy_propagate, dead_store_elim not recursing into control-flow bodies). Not a defect in this PR — this PR is docs-only and has no code paths affected.

Cascade to unblock (all three DRAFT):

1. t27#1461 — mut-inference (base t27/master)
2. t27#1462 — recursive optimizer scan (stacked on #1461), verified −182 errors cross-env (linux sandbox 28 / macOS arm64 26, ±2 epsilon)
3. tri-net#80 — regen gen/rust/ on feat branches with new t27c

Once #80 lands, baseline CI on this PR goes green automatically. No action required on this PR — it stays DRAFT until human merge.

Realm-check discipline: numbers above measured on commit SHA bbaaa4a1 in t27, cargo check --lib grep count ^error\[E. Not fabricated.

phi^2 + phi^-2 = 3