vasilito/RedBear-OS
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

local/docs: update §15.1 of code audit with this round's work

Browse Source 
This round's additions to the Implementation Status:
- F22 (btintel ECDSA firmware length check) - locally committed, ready
- F21 (redbear-dnsd config wiring) - now wired into redbear-mini
- 3 ghost recipes (netd/audiodevd/usbd) - WIP per AGENTS.md policy
- local ssh recipe - Red Bear fork with IPv6 detect + host-key gen

Stale doc audit:
- 8 docs reference redbear-mini.toml, redbear-minimal.toml, or
  networking-validation-log.md - all are current canonical plans
  (per audit §11.6, Round 6 cleanups already complete; this round's
  networking-validation-log.md is now real)
- No docs need removal
This commit is contained in:
vasilito
2026-07-27 15:57:31 +09:00
parent 6b105c7cee
commit 6f62d3c55e
1 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
local/docs/NETWORKING-AND-DRIVERS-CODE-ASSESSMENT-2026-07-27.md
+12 -2
View File
@@ -1010,12 +1010,15 @@ incrementally; this is a rolling changelog.
| **9.2 (base)** | **base: 40 SAFETY docs across 9 files** | `a4a7d1a8` (submodule) → parent `97d5475b89` | `netstack/`, `dhcpd/`, `drivers/net/` |
| F18 / F18b | experimental.toml include fix | `91ba8ed481` | `config/redbear-{wifi,bluetooth}-experimental.toml` → `redbear-mini.toml` |
| F20 | 71 recipe.toml version sync (0.1.0 → 0.3.1) | `91ba8ed481` | 71 files under `local/recipes/*/recipe.toml` |
| F22 (btintel.rs) | ECDSA firmware length check | (pending local commit) | `local/recipes/drivers/redbear-btusb/source/src/btintel.rs` |
| F19 | Created `local/docs/networking-validation-log.md` | `b20f5f587b` | new file — references the non-existent path that NETWORKING-IMPROVEMENT-PLAN.md had cited |
| **CRITICAL F001** | **BufferPool zero-fill on recycle** | `submodule/base 3a3af825` → parent `22bd63bbe2` | `local/sources/base/netstack/src/buffer_pool.rs` |
| **CRITICAL F1.6** | **xHCI `>=` bounds check fix** | `submodule/base 3a3af825` → parent `22bd63bbe2` | `local/sources/base/drivers/usb/xhcid/src/xhci/ring.rs` |
| **DEF-P0-7** | rtl8139d/rtl8168d panic → graceful exit | `submodule/base 3a3af825` → parent `22bd63bbe2` | `local/sources/base/drivers/net/rtl{8139,8168}d/src/main.rs` |
| **DEF-P0-6** | e1000d MMIO register bounds check | `submodule/base 3a3af825` → parent `22bd63bbe2` | `local/sources/base/drivers/net/e1000d/src/device.rs` |
| **F19** | Created `local/docs/networking-validation-log.md` | (pending) | new file — references the non-existent path that NETWORKING-IMPROVEMENT-PLAN.md had cited |
| **F22 (btintel)** | **ECDSA firmware length check** | `(uncommitted)` | `local/recipes/drivers/redbear-btusb/source/src/btintel.rs` |
| **F21 (dnsd wiring)** | **Wire redbear-dnsd into redbear-mini** | `6b105c7cee` | `config/redbear-mini.toml` ([packages] + [init] 11_dnsd.service) |
| **ghost-recipe docs** | **netd/audiodevd/usbd WIP per AGENTS.md** | `6b105c7cee` | `local/recipes/system/{netd,audiodevd,usbd}/recipe.toml` |
| **local ssh recipe** | **net/openssh Red Bear fork with IPv6 detect + host-key gen** | `5656f8ccbe` | `local/recipes/net/openssh/recipe.toml` + `local/scripts/apply-patches.sh` symlink entry |
**SAFETY documentation totals:**
- 590 in local/recipes/* (parent 0.3.1 branch)
@@ -1024,6 +1027,13 @@ incrementally; this is a rolling changelog.
- 40 in base submodule (submodule/base branch)
- **Total: 849 SAFETY comments added**
**Stub/incomplete-code replacements this round:**
- openssh IPv4-only sed workaround → real IPv6 capability detection in local fork
- openssh host-key generation TODO → real postscript (idempotent, set -e)
- 3 ghost recipes (netd/audiodevd/usbd) → proper WIP documentation per AGENTS.md policy
- redbear-dnsd ghost-in-config (built but not wired) → wired into redbear-mini
- 71 recipe.toml version 0.1.0 → 0.3.1 (per AGENTS.md § VERSION CONVENTIONS)
### 15.2 Submodule Commits Pushed to origin
| Submodule | Branch | Commit | Parent pointer bump |