🌊 Wave 2026-07-10 v2 · код-аудит routing/gf16/modem/router (P1 feasibility + 4×P2)#67
Draft
gHashTag wants to merge 1 commit into
Draft
🌊 Wave 2026-07-10 v2 · код-аудит routing/gf16/modem/router (P1 feasibility + 4×P2)#67gHashTag wants to merge 1 commit into
gHashTag wants to merge 1 commit into
Conversation
…6/modem/router) Audits the lightly-covered modules prior waves and PR #59 missed. New findings: - P1 routing.rs:158-185 — is_feasible is "strictly-better-than-installed", not RFC 8966 feasibility distance (no seqno/retraction/expiry); current-successor worse/inf update rejected -> route frozen at best-ever metric, never withdrawn (reproduced with a verbatim logic port). - P2 routing.rs:160 — is_feasible None-branch installs an inf-metric route. - P2 router.rs:411-423 — TTL checked pre-decrement (survives PR #59 split-horizon). - P2 modem.rs:293-317 — carrier recovery is first-order only (no Doppler-rate). - P2 gf16.rs:287-300 — complex butterfly single-fused-rounding != 4-mul RTL form. Honesty: main does NOT build from a clean clone (build.rs:29, reproduced); fix pending in PR #60. Counts grounded: 68 .t27 specs, 101 tests. All PHY -sim. Prescriptions only (.t27/algorithm), no Rust patches, draft PR only. Anchor: phi^2 + phi^-2 = 3 Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This was referenced Jul 10, 2026
Owner
Author
Triage — KEEPVerdict from cascade analysis: KEEP, awaiting caskade merge. Root cause of red CI ( Cascade to unblock (all three DRAFT):
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 phi^2 + phi^-2 = 3 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Wave 2026-07-10 v2 — код-аудит слабо-покрытых модулей
Draft. Добавляет только
docs/WAVE_REPORT_2026-07-10-v2.md. Ничего в коде не трогает, не мержит, не пушит в main. Закрывает-частично #66.Уходит туда, куда PR #59 и прошлые волны не заходили:
routing.rs,gf16.rs,modem.rs,router.rs. Каждая находка с file:line; два routing-дефекта воспроизведены отдельной программой (verbatim-порт логики).Честность
mainНЕ собирается из чистого клона — воспроизведено (build.rs:29, E0308/E0599). Фикс в PR build(pipeline): pinned-t27c gen/rust + physical drift-guard (запрет писать в репо неправильно) #60. Отчёт нигде не подразумевает зелёный main..t27, 101#[test](командами). PS-crypto на ARM hw; PL Zynq-7020 не прошита; кремний только AX7203; PHY-sim.Новые находки
routing.rs:158-185—is_feasibleне соответствует RFC 8966 feasibility distance (нет seqno/retraction/expiry): апдейт текущего next-hop с худшей (8.0) или inf метрикой отвергается → маршрут замерзает навсегда. Repro: оба апдейта → false, маршрут застыл на (2, 3.0).routing.rs:160— веткаNoneставит inf-маршрут (недостижимый по словам источника). Repro: ставит (5, inf).router.rs:411-423— TTL проверяется до декремента (RFC 1812 §5.3.1); переживает split-horizon из PR 🌊 Wave 2026-07-10 · fix(build): зелёная библиотека + отчёт волны (closes-partial #58) #59 (тот ловит только 2-узловой отскок).modem.rs:293-317— восстановление несущей только 1-го порядка; нет Doppler-rate → хвост фазы на длинном кадре при мобильности.gf16.rs:287-300— комплексная бабочка округляет однократно (fused) ≠ 4-множительная RTL-форма; sim↔RTL паритет провалится на bring-up. Скалярные ops корректны.Содержимое отчёта
Наука→прескрипшн (RFC 8966, RFC 1812, Moose 1994, GoldenFloat arXiv:2606.05017, IEEE 754-2019), 4 спринта с измеримыми критериями (E1.3/E2.4/E2.5/E4.2 — новые), 3 линии кооперации, «что дальше» (влить PR #60 первым), граница.
Все фиксы — прескрипшены (.t27/алгоритм), не патчи. Мердж и владелец — за человеком.
Anchor: phi^2 + phi^-2 = 3
🤖 Generated with Claude Code