  - **Data-global move.** `conf`/`kconf`/`networkname` flip from `use ircd_sys::bindings::{…}` to `#[no_mangle] pub static mut` defs in s_conf.rs (the `tkconf`/`classes`/`msgtab` pattern). list.rs + s_serv.rs keep importing them from bindings — those externs resolve to the new Rust defs at link. Only s_conf.rs had to stop importing them (can't import + define the same name); also removed its now-conflicting `ipv6_convert` import + the P6f `extern { fn lookup_confhost }` decl + the P6f `networkname` import.
  - **Config-resolved bodies.** `rehash` (s_conf.c:1231): ULTRIX off (no fork/pidfile), USE_SYSLOG off, TKLINE on (the `sig=='t'` → `tkline_expire(1)` block compiles). The two `aConfItem**` walk loops (the in-use/ILLEGAL marking pass + the post-initconf flush) are rendered as raw `*mut *mut aConfItem` `loop`s preserving C's `*tmp = tmp2->next` vs `tmp = &tmp2->next` branch exactly; `IsMe(acptr)` = `status == STAT_ME` inline; `NextClass(FirstClass())` = `(*classes).next`, `MaxLinks(x)=-1` = `(*x).maxLinks=-1`; `mysrand(timeofday)` casts to `u32`; the `read_motd(IRCDMOTD_PATH)` path comes from `ircd_sys::MOTD_PATH`. `ipv6_convert` (s_conf.c:1444): faithful pointer arithmetic — the `user@` copy-with-'@', the `/cidr` NUL-off before `inetpton`, the `j=len-1`/`buf+j` splice, the `*(s-1)='/'` restore (C's post-incremented `s` = my `slash.add(1)`), non-IP passthrough (`t=orig`). `lookup_confhost` (s_conf.c:2101): `BadPtr` guards, `@`-tail, `isalpha||isdigit` first-char gate, `inetpton` (nonzero=stored) else `gethost_byname` (still-C) `h_addr_list[0]` copy else `minus_one` fill + badlookup; `AND16(ipnum)==255` (all 0xff) → `bzero` 16 bytes.
  - **IRCDMOTD_PATH plumbing.** `read_motd` is already Rust (s_misc.rs) but `IRCDMOTD_PATH` is a recursively-expanded Makefile path var, not a header `#define` (absent from bindgen). build.rs expands it via `make --eval=__ircd_print_motd` and emits `cargo:rustc-env=IRCD_MOTD_PATH=…`; ircd-sys/src/lib.rs re-exports it as `pub const MOTD_PATH = env!("IRCD_MOTD_PATH")` (rustc-env applies only to the emitting crate, so the const bridges it to ircd-common). The Rust `rehash` builds a temporary `CString` from it — `read_motd` only opens the path, never retains it.
  - **Classification.** Utility/callees — none in `msgtab`. `rehash` is reached from Rust `m_rehash` (oper REHASH) + still-C `ircd.c` (SIGHUP); `ipv6_convert`/`lookup_confhost` from the Rust `initconf` at boot/rehash. → **L1 (ipv6_convert) + L2 (existing REHASH + initconf goldens), NO S2S** — none has an `IsServer` branch or formats remote-user fields (REHASH server propagation is `m_rehash`'s concern, ported in P5rr).
  - **L1** (`ircd-testkit/tests/s_conf_rehash_diff.rs`): `c_ipv6_convert` vs `cref_ipv6_convert` over bare-v6 (`::1`), `2001:db8::1`, v4-mapped (`::ffff:127.0.0.1`), `user@v6`, `v6/cidr`, `user@v6/cidr`, and non-IP passthrough (`*@*`, `notanip`, `notanip/24`, `bob@notanip`) on independent input copies, asserting byte-identical output **and** that the in-place `@`/`/` poke was restored. `lookup_confhost` is `static` in the unguarded oracle (the symbol-rename only renames globals → no `cref_lookup_confhost`) so it has no L1 shape → covered by the initconf/boot golden (`initconf` calls it on every conf host). `rehash` reopens listeners / forks iauth / resets the resolver fd → no isolated-L1 shape → covered by the L2 REHASH transcript.
  - **L2** (`golden_s_serv_maint` REHASH: `rehash_success_matches_reference` 382 + `rehash_reject_matches_reference` 481 now drive the Rust `rehash`, byte-identical; `golden_s_conf_initconf` STATS y/i/o over the boot-parsed config exercises `lookup_confhost`/`ipv6_convert`). Regression: `golden_registration`, `golden_s2s_link`, `golden_s2s_s_conf_find_conf`, `golden_s_conf_iline`/`attach` + all s_conf L1 diffs stay green (the conf/kconf data-global move touches every conf consumer).
  - **No S2S** — none of the three has an `IsServer` branch or remote-field formatting. The REHASH command's server-to-server propagation lives in `m_rehash` (P5rr); `rehash` itself only reloads local config + the resolver/iauth fds.

- **2026-06-05 — P6n (`res_comp.c` — BIND DNS wire-format primitives) merged.** The pure wire-format leaf of the resolver, ported outright to `ircd-common/res_comp.rs`; `res_comp.o` added to `PORTED` and dropped (no partial `_link.o` — every symbol is portable).
  - **Cluster choice** — `res_comp.c` is the foundation the rest of the resolver builds on: `res_mkquery.c` (`ircd_dn_comp`/`ircd__putshort`/`ircd__putlong`) and `res.c` proper (`ircd_dn_expand`/`ircd_getshort`/`ircd_getlong`/`__ircd_dn_skipname`) both call into it. It is the natural first DNS bite — fully self-contained, pure, no event-loop entanglement. The remaining resolver TUs (`res_mkquery.c`, `res_init.c`, `res.c` proper) stay C for a later P6 cluster.
  - **Config** — no gates touch this TU. The `#if 0` block (`res_hnok`/`res_ownok`/`res_mailok`/`res_dnok`) is dead code (not compiled); the `NEXT`-gated `res_getshort` is absent. `nm --undefined-only cbuild/res_comp.o` = only libc (`memcpy`/`strchr`/`__errno_location`) → zero ircd-internal deps.
  - **Classification** — utility/leaf TU: none of its 7 public symbols appear in `msgtab`. The seven are global (`T`) so each has a `cref_` oracle → fully L1-diffable. The 7 BIND `static` helpers (`ns_name_ntop`/`_pton`/`_unpack`/`_pack`/`_uncompress`/`_compress`/`_skip`, `special`/`printable`/`mklower`/`dn_find`) have no oracle → ported as private Rust fns, covered transitively through the public entry points.
  - **Faithfulness** — faithful raw-pointer/`unsafe` port mirroring the C pointer arithmetic exactly (label-length bytes, the `0xc0` compression-pointer encode/decode, the `dnptrs`/`lastdnptr` table walk + mutation in `dn_find`/`ns_name_pack`, `dn_comp`'s post-increment `*dnptrs++` so `dn_find` sees `dnptrs[1..]`). `errno` set via `*libc::__errno_location()` to `EMSGSIZE`/`ENOENT` on every error path so callers observe the identical side effect. The `goto next` in `dn_find` became a labelled `'outer` loop. Constants `NS_CMPRSFLGS=0xc0`/`NS_MAXCDNAME=255`/`MAXCDNAME=255` from `nameser_def.h`.
  - **L1** (`ircd-testkit/tests/res_comp_diff.rs`, 9 tests, zero diff) — get/put value match + big-endian byte order + put→get round-trip; `dn_comp`→`dn_expand` pack/expand round-trip (incl. root `.`); the compression-pointer reuse (two suffix-sharing names) diffed as buffer-relative `dnptrs` offsets + the emitted wire bytes against `cref_`; a hand-built compressed-pointer message (`0xc0` indirection) → identical decoded string + consumed-octet count; `dn_skipname` over plain/compressed/truncated names; and the inverse error paths — dstsiz-too-small (expand + comp), malformed out-of-range pointer — each returning `-1` from both with matching `errno`.
  - **L2 / S2S** — none. Pure wire-format leaf with no client- or server-reachable command path under the locked config (the resolver proper that uses these is still C; `m_dns` debug output does not surface compression internals). End-to-end DNS coverage arrives when the resolver proper is ported under a fixture nameserver.
  - **Plan** — `docs/superpowers/plans/2026-06-05-p6n-res_comp.md`.

- **2026-06-05 — P6o (`res_mkquery.c` → `res_mkquery.rs`) merged.** The BIND-derived DNS query-packet builder `ircd_res_mkquery`, the second resolver leaf after P6n. **`res_mkquery.o` dropped outright** (added to `PORTED`; no `_link.o`).
  - **Cluster choice** — `nm cbuild/res_mkquery.o`: one defined symbol (`ircd_res_mkquery`); undefined deps are `ircd_dn_comp`/`ircd__putshort`/`ircd__putlong` (Rust, P6n), `ircd_res`/`ircd_res_init` (stay C, res_init.o), `memmove`/`__h_errno_location`/libc. Dropping it leaves every dep defined, so it's a clean single-function bite.
  - **Layout hazard / HEADER bitfields** — the function writes the 12-byte DNS header through a `HEADER *` bitfield struct (`nameser_def.h:249`: `id:16`/`opcode:4`/`rd:1`/`rcode:4`/`qdcount:16`/`ancount:16`/`arcount:16`). Rather than hand-reproduce gcc's little-endian bitfield packing, the port uses the **bindgen `HEADER`** type (`ircd_sys::bindings`, asserted size 12) and its `set_*` accessors, which are byte-identical to the C layout by construction. `htons` reproduced as `u16::to_be`; `h_errno = NETDB_INTERNAL` via an `extern "C" { fn __h_errno_location() }`. `bzero`→`ptr::write_bytes`, `bcopy`→`ptr::copy`.
  - **Config-resolved body** — `DEBUG` off → the `RES_DEBUG` `printf` block is not compiled (not ported). Three op cases: QUERY/NS_NOTIFY_OP (shared question-section path + the optional additional-record branch when `data != NULL`), IQUERY (answer section), default → `-1`.
  - **Classification** — utility/leaf, not in `msgtab`; callers are the still-C `res.c` resolver (`query_name`/`do_query_name`/`do_query_number`). No client/server command path under NO_DNS_LOOKUP ⇒ **L1 only**, like P6n.
  - **L1** (`ircd-testkit/tests/res_mkquery_diff.rs`) — `c_res_mkquery` (`#[link_name]` → Rust) vs `cref_ircd_res_mkquery`, byte-identical packets (return length + emitted bytes) over: QUERY with/without RES_RECURSE (the `rd` bit), NS_NOTIFY_OP with `data==NULL` (matches QUERY) and `data!=NULL` (the additional-record `dn_comp`+T_NULL+ttl+rdlength+arcount path), IQUERY with `datalen>0` and `==0`; plus the `-1` inverses — unknown op, NULL buf, `buflen<HFIXEDSZ`, and the question-section `buflen -= QFIXEDSZ < 0` / `dn_comp < 0` overflow at several small buflens. Both resolver-state globals (`ircd_res`, `cref_ircd_res`) are pinned identically with `RES_INIT` set (skips the nondeterministic `ircd_res_init`/`res_randomid` gettimeofday+getpid path) and the shared `++id` side effect is diffed after every call. A process-global `RES_LOCK` serializes the parallel `#[test]` threads (the globals are shared across threads in the one test process — without the lock the `id` races and the header bytes diverge). Zero diff over 7 tests.
  - **No S2S/L2** — pure wire-format leaf, no `IsServer`/remote-field/command path. End-to-end DNS coverage lands with the resolver proper (`res.c` + `res_init.c`) under a fixture nameserver.

- **2026-06-05 — P6p (`res_init.c` resolver-state bootstrap) merged.** Ported `ircd/res_init.c` outright to `ircd-common/res_init.rs` → `res_init.o` dropped; only `res.c` (the resolver proper) is still C in P6.
  - **Cluster choice.** The smaller, self-contained of the two remaining DNS files. `nm cbuild/res_init.o` defines `ircd_res` (B), `ircd_res_init`/`ircd_res_randomid` (T), and the file-static `res_setoptions` (`.isra.0`); `nm --undefined-only` shows zero ircd-internal deps — only libc + `inetpton` (the P1 `support.rs` symbol). Same self-contained-leaf shape as P6n/P6o → drop the `.o` (add to `PORTED`), no `_link.o`.
  - **Config-resolved body.** Verified `DEBUG`/`NEXT`/`RESOLVSORT`/`RFC1535`/`HAVE_GETIPNODEBYNAME`/`USELOOPBACK`/`__BIND_RES_TEXT` all OFF in `cbuild/{setup,config}.h` + `build.rs` defines. So: `ircd_res` is a plain zero-init BSS global (no `= {RES_TIMEOUT,}`); `ircd_res_init` is the simple path only (defaults → `LOCALDOMAIN` block → `/etc/resolv.conf` parse loop with the `MATCH` macro + `inetpton(AF_INET6,…)` nameservers → `gethostname` fallback → the `#ifndef RFC1535` default-`dnsrch` derivation `LOCALDOMAINPARTS=2`/`MAXDFLSRCH=3` → `RES_OPTIONS` env → `options |= RES_INIT`), no NetInfo/`ircd_netinfo_res_init`, no sortlist; `res_setoptions` handles `ndots:` (clamp to `RES_MAXNDOTS=15`), `inet6` (→`RES_USE_INET6=0x2000`), `debug` (no-op, DEBUG off); `res_randomid` = `0xffff & (tv_sec ^ tv_usec ^ getpid())`.
  - **Faithfulness.** Raw-pointer port mirroring the C: `strncpyzt`→`strncpy`+NUL; the two near-identical search-list tokenizers inlined faithfully (the `LOCALDOMAIN` one breaks on `\n`, the file `search` one doesn't); `dnsrch[]` pointers walk into `defdname`; nsaddr `sin6_addr`=in6addr_any (16 zero bytes) / `sin6_family`=AF_INET6 / `sin6_port`=htons(53); `ndots` written via the bindgen `set_ndots` bitfield accessor. `ircd_res` defined as `#[no_mangle] static mut` via `MaybeUninit::zeroed().assume_init()` (the `s_misc.rs::ircst` idiom); `res_mkquery.rs`/`res.c`/`s_bsd.c` keep importing `ircd_res`/`ircd_res_init` from bindgen and resolve to the Rust defs at link (the conf/kconf-globals mechanism).
  - **Classification.** Utility/leaf (none in `msgtab`); no `IsServer`/remote-field path.
  - **L1.** `ircd-testkit/tests/res_init_diff.rs`: zero diff vs `cref_ircd_res_init`. Both `ircd_res`/`cref_ircd_res` zeroed + `.id` pinned `0x4321` per test (skip the nondeterministic `res_randomid`); env-set + both inits + env-restore under a process-global `RES_LOCK` (parallel `#[test]` threads share the env + globals). The result structs diffed field-by-field (scalars/bitfields, 3× `nsaddr_list` `sockaddr_in6` bytes, `defdname` bytes, `dnsrch[]` as offsets into `defdname`). The differential makes the `/etc/resolv.conf`+`inetpton` path host-robust (both read the same file → identical, or both skip it); the host-independent branches run on every CI host via env — `plain` (default-`dnsrch`), `LOCALDOMAIN` (search tokenizer), `RES_OPTIONS` `ndots:3 inet6` and `ndots:99` (the `RES_MAXNDOTS` clamp). `res_randomid` nondeterministic → only `& 0xffff` smoke-tested (the one symbol with no L1 diff).
  - **L2/S2S.** None — pure leaf, no client/server command path under `NO_DNS_LOOKUP`. Boot+registration (`golden_registration`) and the resolver-adjacent `golden_s_dns` goldens stay byte-identical, confirming the Rust `ircd_res_init`/`ircd_res` (called from `s_bsd.c` at startup) boot the server identically to reference-C. End-to-end DNS coverage (L2/L4) arrives when the resolver proper `res.c` is ported under a fixture nameserver.

- **2026-06-05 — P6q (`res.c` cache-hash leaves) merged.** First bite of the `res.c` port — the last C file. `res.c` is one large connected cluster (resolver socket + request queue + hostent cache) over file-statics with only 11 `_ext.h`-exported entry points; the dependency floor is the **hostent cache**, whose foundation is the two pure hash leaves `hash_number`/`hash_name`. Ported bottom-up so the cache core (`make_cache`/`update_list`/`find_cache_*`/`rem_cache`, P6r+) can build on Rust hashes.
  - **Cluster choice** — only `hash_number`/`hash_name` (pure: read solely their argument, touch no module state → zero data-global exposure), keeping this bite about establishing the new `res.c` static seam on a trivially verifiable pair before the gnarly cache core.
  - **Guard / seam** — new three-way `RES_CACHE_LINKAGE` macro in `res.c`: `extern` under `-DPORT_RES_CACHE_P6q` (res_link.o LINK build: bodies `#ifndef`'d out → Rust defines them, still-C walkers resolve to Rust at link), empty under `-DRES_CACHE_EXPOSE` (cref oracle res.o: GLOBAL → `cref_hash_*` for L1), else `static` (plain). `build.rs`: res_link.o gains `-DPORT_RES_CACHE_P6q`; a new step recompiles the cref `res.o` with `-DRES_CACHE_EXPOSE` (overwrites the plain one — res.o is consumed only by `libcref.a`, the link set uses res_link.o, so the real binary is untouched). RED confirmed: dropping the C bodies left 8 undefined `hash_name`/`hash_number` refs from the still-C walkers (res.c:1084/1088/1282/1316/1337/1382/1583/1600) — the exact port checklist.
  - **Config-resolved body** — neither function is config-gated; `ARES_CACSIZE`=1009.
  - **Faithfulness** — `hash_number`: `hashv = ip[0]; for i in 1..16 { hashv = 2*hashv + ip[i] }` over a **wrapping `u_int`** (the doubling overflows 32 bits for large addresses — `% ARES_CACSIZE` applied only at the end), reads exactly 16 bytes (sizeof struct in6_addr; AFINET=AF_INET6) → `wrapping_add`/wrapping double. `hash_name`: sum bytes until the first `.`/NUL, `% 1009`; `char` is **signed** on x86-64, so a high-bit byte promotes to a negative `int` before the unsigned `+=` — replicated via `*p as i32 as u32` + `wrapping_add` for 8-bit-clean parity. Mutable `*mut` args (C `u_char*`/`char*`). Returns `c_int` in `[0,1009)`.
  - **Classification** — utility/leaf, **not in `msgtab`**, no client/server command path (the resolver is inert under `NO_DNS_LOOKUP`; the cache never populates at runtime).
  - **L1** — `ircd-testkit/tests/res_hash_diff.rs`: Rust `hash_number`/`hash_name` (`#[link_name]` → the only def once res_link.o drops the C bodies) vs `cref_` over crafted corpora — 16-byte v6 addrs (zero, all-0xff overflow, single-bit, ::ffff: v4-mapped, every-byte-high-bit, random), names (empty, dot-first, no-dot, embedded-dot, case-sensitive, UTF-8/0xff high-bit, long label); each result range-checked `[0,1009)`. Zero diff. Both pure → no global state / no `RES_LOCK`.
  - **L2 / S2S** — none. No client/server command reaches these under the locked config; `golden_s_dns` + the registration/boot goldens (which boot the full ircd + still-C resolver, exercising the C cache walkers that now call the Rust hashes) confirm no regression. End-to-end DNS coverage arrives when the resolver proper is ported under a fixture nameserver.

- **2026-06-05 — P6r (`res.c` cache removal/expiry core) merged.** Second bite of the `res.c` port (after P6q's `hash_number`/`hash_name`). Ported the **removal/expiry** connected component — the half of the hostent cache that *deletes* entries — to `ircd-common/res.rs`, built directly on the P6q Rust hashes. `res.c`'s only remaining strands are the resolver proper (socket + request queue + answer parser) and the cache **build/insert/lookup** half.
  - **Cluster choice.** Bottom-up from the cache floor: `rem_list` (static), `rem_cache` (static), `expire_cache` (global, res_ext.h), `flush_cache` (global, res_ext.h). They form a clean connected component — `expire_cache`/`flush_cache` both call `rem_cache`; `rem_cache`/`rem_list` call only the P6q hashes + touch the cache data structures — with no dependency on the still-C build/insert/lookup half (`add_to_cache`/`update_list`/`find_cache_*`/`make_cache`). The two public entry points give clean `cref_` L1 symbols; the two statics are exposed via the generalized `RES_CACHE_LINKAGE`.
  - **Seam.** `-DPORT_RES_CACHE_REM_P6r` added to the `res_link.o` recipe. `RES_CACHE_LINKAGE` now fires `extern` under either `PORT_RES_CACHE_P6q` **or** `PORT_RES_CACHE_REM_P6r` (res_link.o defines both), so the `rem_cache`/`rem_list` forward decls + definitions de-static; their bodies (+ `expire_cache`/`flush_cache`) are wrapped in `#ifndef PORT_RES_CACHE_REM_P6r`. RED (after fixing a static-vs-non-static decl mismatch on the definitions) was the four undefined refs: `flush_cache` (Rust `s_conf.rs` rehash), `expire_cache` (C `ircd.c:1195`), `rem_list` (C `res.c:1379` find_cache_number), `rem_cache` (C `res.c:1119` add_to_cache) — the exact port checklist. GREEN confirmed via `nm target/debug/ircd` (all four `T` from Rust).
  - **Data-global exposure.** The Rust removal core + the L1 live world need `cachetop`/`cainfo` (already `RES_DNS_STATIC`-exposed for m_dns) **plus** `hashtable[]`/`incache`. `RES_DNS_STATIC` now also blanks `static` under `RES_CACHE_EXPOSE` (so the cref oracle res.o exposes `cref_cachetop`/`cref_cainfo`/`cref_hashtable`/`cref_incache`/`cref_reinfo` for the L1 isolated worlds), and `hashtable`/`incache` moved onto it. In res_link.o (which has `PORT_DNS_M_DNS`) all four stay **defined-global** — C owns the storage, the Rust core + the L1 live world extern them, same as P6k's `conf`. No extern/definition split needed (so no `= NULL`/array-initializer churn). `res.rs` adds `static mut hashtable: [CacheTable; 1009]` + `static mut incache: c_int` to its extern block + `local_base()`/`hashtable_base()` helpers.
  - **Faithfulness.** Raw-pointer walks mirroring the C `aCache **` chains exactly. `rem_list` captures `cp->list_next` first, unlinks from `cachetop` only, `MyFree`s, returns the saved successor — and (the C quirk preserved) does **not** decrement `incache`, touch `cainfo`, or unlink the hash buckets (leaving the freed entry's bucket refs dangling). `rem_cache`'s hostp-clearing loop walks `local[]` from `highest_fd` down; the bucket-by-`hash_name`/`hash_number` unlinks use `hp->h_addr` = `h_addr_list[0]`; `MyFree(x)` → guarded `libc::free` (the macro's re-NULL is moot — the struct is freed; `*h_addr_list` is one contiguous block freed once, then the pointer array). `expire_cache` captures `list_next` before the possible free and returns `(next > now) ? next : now + AR_TTL`.
  - **Classification.** Utility/leaf — none in `msgtab`. **L1 only** — the resolver is inert under `NO_DNS_LOOKUP`, the cache never populates at runtime, so no client/server command path reaches these. No S2S (no `IsServer`/remote-field path).
  - **L1** (`ircd-testkit/tests/res_cache_rem_diff.rs`): the P6k two-isolated-worlds pattern. A `World` bundles fn-pointers + global base pointers (`cachetop`/`hashtable`/`incache`/`cainfo` **and** `local`/`highest_fd` — the hostp loop reads s_bsd globals, which are renamed to `cref_local`/`cref_highest_fd` in the archive, so each world must own its own). Entries are hand-built mimicking `add_to_cache` (one contiguous 16×n address block with `h_addr_list[i]` pointing into it + per-name strdup'd aliases, so `rem_cache`'s frees match `make_cache`'s layout), then the public fns are driven and `Vec<i64>` observations asserted equal. 4 tests, zero diff: **flush_cache** (3 mixed single/multi-alias/multi-addr entries → `cachetop`/buckets empty, `incache` delta 0, `ca_dels`==3; round-trip re-insert + re-flush clean), **expire_cache** (two past + two future at `now=5000` → past removed, survivors kept in order, `incache` -=2, `ca_expires` delta 2, return = min-future 7000; the all-future inverse returns min expireat not `now+AR_TTL`; empty-cache returns `now+AR_TTL`), **rem_cache hostp** (a per-world `local[0]->hostp` at the doomed entry is NULLed, an unrelated `local[1]->hostp` untouched), **rem_list** (returns the successor, unlinks the middle from `cachetop`, `incache` **unchanged** — the leak-by-design quirk — then head + last removal empties the list). A process-global `Mutex` (poison-tolerant) serializes the `#[test]`s (shared cache + s_bsd globals).
  - **No L2/S2S.** Resolver inert under `NO_DNS_LOOKUP`; `golden_s_dns` (oper DNS stats + empty `DNS l` cache dump) + `golden_registration` stay byte-identical, confirming the still-C `add_to_cache`/`find_cache_number` now call the Rust `rem_cache`/`rem_list` (+ the P6q hashes) without regression. End-to-end DNS coverage arrives when the resolver proper is ported under a fixture nameserver.
  - **Plan** — `docs/superpowers/plans/2026-06-05-p6r-res-cache-rem.md`.

- **2026-06-05 — P6s (`res.c` cache lookup/reorder half) merged.** Third bite of the `res.c` port (after P6q's hashes + P6r's removal core). Ported the **lookup/reorder** connected component — the half of the hostent cache that *finds* entries and *reorders/merges* them — to `ircd-common/res.rs`. `res.c`'s only remaining strands are the resolver proper (socket + request queue + answer parser) and the cache **build/insert** half (`make_cache`/`add_to_cache`, → P6t).
  - **Cluster choice.** Bottom-up from the cache floor: `update_list` (static) is the shared leaf both finders call; `find_cache_name`/`find_cache_number` (static) are the lookup entry points. A clean connected component — the finders call `update_list` (+ the already-Rust P6r `rem_list` in `find_cache_number`'s degenerate branch) and touch only `cachetop`/`hashtable`/`cainfo` + `mycmp`/`MyRealloc`/`mystrdup`; no dependency on the still-C build/insert half. Splitting the cache "build/insert/lookup" remainder into lookup (P6s) then build/insert (P6t) keeps the bite small, matching the P6q/P6r cadence.
  - **Seam.** `-DPORT_RES_CACHE_LOOKUP_P6s` added to the `res_link.o` recipe; the three-way `RES_CACHE_LINKAGE` now fires `extern` under `PORT_RES_CACHE_P6q` **or** `PORT_RES_CACHE_REM_P6r` **or** `PORT_RES_CACHE_LOOKUP_P6s` (res_link.o defines all three guards), GLOBAL under `RES_CACHE_EXPOSE` (cref oracle), else static. The three forward decls (res.c:84/85/91) + definitions flip `static` → `RES_CACHE_LINKAGE`; the bodies (update_list … find_cache_number, res.c:1140–1406) wrap in `#ifndef PORT_RES_CACHE_LOOKUP_P6s`. RED was the undefined-symbol link error for `find_cache_name`/`find_cache_number` (still-C callers `gethost_byname_type`:410, `proc_answer`:776, `gethost_byaddr`:440, `make_cache`:1440/1456 — the exact port checklist; `update_list` had no still-C reference once the finders dropped, but Rust defines it for the finders to call). GREEN via `nm target/debug/ircd | grep -E ' T (update_list|find_cache_name|find_cache_number)$'`. (A C-comment gotcha: `gethost_*/proc` and `find_cache_*/cref` each contain a literal `*/` that prematurely closed the seam comment → reworded.)
  - **Config-resolved bodies.** No gates touch these (`DEBUG` off → the `Debug(...)` blocks vanish). `IN_ADDR`=`in6_addr` (sizeof 16, AFINET=AF_INET6); `WHOSTENTP(x)`=OR of the 16 `s6_addr` bytes; `S_ADDR`=`s6_addr`. `ResRQ.he` is the inline `hent` (`h_addr_list:[in6_addr;35]`, `h_aliases:[*char;35]`); `aCache.he` is the libc `hostent` (`**char` lists). Constants T_A=1/T_PTR=12/T_AAAA=28, MAXALIASES/MAXADDRS=35, FLG_*.
  - **Faithfulness.** Raw-pointer translation of the C for-loops with post-increment index walks (`for (i=0,s=h_name; s; s=h_aliases[i++])` → `s = *aliases.offset(i); i+=1` at the loop tail), incl. the `find_cache_name` full-list fallback's **fixed-`s`=alias[0] quirk** (`s` set only in the init, never in the increment → it only ever compares alias[0]). `update_list`'s T_PTR alias-merge reallocs `h_aliases` by one + `mystrdup`s the new name; the T_A/T_AAAA addr-merge reproduces the double-`MyRealloc` exactly — realloc the contiguous IP block (`*h_addr_list[0]`) to `addrcount*16`, realloc the pointer array to `addrcount+1`, repoint each pointer into the (possibly moved) block, NULL-terminate, `bcopy` the new IP into the last slot (`*--ab`) — then the `addrcount>1` → clear `FLG_PTR_FWD|VALID` vs the single-addr `FLG_PTR_PEND_REV`/`FLG_PTR_PEND_FWD` logic. `find_cache_number`'s second loop preserves the C for-loop `continue`→increment semantics (every guard incl. the `cp = rem_list(cp)` degenerate-reap falls through to the trailing `cp = cp->list_next`). `bcmp`→16-byte slice compare; `MyRealloc`/`mystrdup`/`mycmp` are the Rust ports resolved at link.
  - **Classification.** Utility/leaf — none in `msgtab`. → **L1 only.** No `IsServer`/remote-field path; the resolver is inert under `NO_DNS_LOOKUP` so no client/server command populates the cache at runtime.
  - **L1** (`ircd-testkit/tests/res_cache_lookup_diff.rs`): the P6k/P6r two-isolated-`World`s pattern (fn-pointers + global base pointers: `cachetop`/`hashtable`/`cainfo` + `find_cache_*`/`update_list`/`hash_*`). `insert()` builds entries à la `add_to_cache` (contiguous addr block); `make_rptr()` builds a `ResRQ` per world (each owns its pointers → compare CONTENTS not pointers). 6 tests, zero diff: **update_list reorder-only** (rptr=NULL: head move keeping relative order, `ca_updates` bump, repeat on the head = no-op); **find_cache_name** hashed hit + reorder + `ca_na_hits` / name-miss (counter unchanged, order kept) / flags-gate miss / the alias full-list fallback (h_name & alias[0] in distinct hash buckets); **find_cache_number** hashed hit + `ca_nu_hits` / absent-addr miss / FLG_PTR_VALID gate miss / the multi-addr fallback (lookup the 2nd of two addresses, found only via the full-list scan); **update_list T_PTR alias merge** (append a new name) + the already-present (= cached h_name) no-growth inverse; **update_list T_A addr merge** (append a new IP, addrcount→2 flag clear) + the already-present no-growth inverse (single-addr `FLG_PTR_PEND_FWD` set). A process-global `Mutex` serializes the `#[test]`s; each scenario `reset()`s its world's cache + buckets and snapshots counter deltas.
  - **No L2/S2S.** Resolver inert under `NO_DNS_LOOKUP`; `golden_s_dns` (oper DNS stats + empty `DNS l`) + `golden_registration` stay byte-identical, confirming the still-C `proc_answer`/`gethost_*`/`make_cache` now call the Rust lookup/reorder core (+ the P6q hashes + P6r removal) without regression. End-to-end DNS coverage arrives when the resolver proper is ported under a fixture nameserver.
  - **Plan** — `docs/superpowers/plans/2026-06-05-p6s-res-cache-lookup.md`.

- **2026-06-05 — P6t (`res.c` cache build/insert half `add_to_cache`/`make_cache`) merged.** The fourth and final bite of the `res.c` hostent-cache cluster — the two functions that *create* and *link in* cache entries — closing the cache out: with this **`res.c`'s hostent cache is now FULLY Rust**, and only the resolver proper (request queue + answer parser + socket I/O) remains C.
  - **Cluster choice / why now.** The dependency floor was already in place: P6q (the `hash_number`/`hash_name` leaves), P6r (the `rem_list`/`rem_cache`/`expire_cache`/`flush_cache` removal core), P6s (the `update_list`/`find_cache_name`/`find_cache_number` lookup/reorder half). `add_to_cache`/`make_cache` are the *only* remaining cache functions and form a tight connected component (`make_cache`→`find_cache_*`/`MyMalloc`→`add_to_cache`→`rem_cache`), every callee already Rust → the natural last bite.
  - **Guard / partial port.** `#ifndef PORT_RES_CACHE_BUILD_P6t` wraps both C bodies (res.c:1086 `add_to_cache`, res.c:1416 `make_cache`); `-DPORT_RES_CACHE_BUILD_P6t` added to the `res_link.o` compile in `build.rs` alongside the P6q/r/s defines. Both functions' decl+def flipped from `static` to the existing three-way `RES_CACHE_LINKAGE` macro (→ `extern` under any `PORT_RES_CACHE_*` in res_link.o so the still-C `proc_answer` caller of `make_cache` resolves to the Rust def; → GLOBAL under `-DRES_CACHE_EXPOSE` in the cref oracle res.o so `cref_add_to_cache`/`cref_make_cache` exist for L1). `make_cache`'s forward decl at res.c:88 updated to match.
  - **Config-resolved body.** `DEBUG` off → all `Debug((…))` blocks drop out (no `inetntop`/`ipv6string` debug formatting in `add_to_cache`). `AFINET=AF_INET6` → `struct IN_ADDR` = `in6_addr` (16 bytes); `WHOSTENTP` tests all 16 `s6_addr` bytes; `make_cache`'s address-count loop + contiguous-block fill use `sizeof(struct IN_ADDR)` = 16. `MAXCACHED 512`, `MAXADDRS`/`MAXALIASES 35`.
  - **Faithfulness notes.** `make_cache` **steals** the ResRQ's alias pointers (`rptr->he.h_aliases[n]` → cache, source nulled) and `h_name` (nulled after copy) — preserved exactly, so the L1 asserts the source ResRQ fields go NULL. The `*t++ = s; s += sizeof(IN_ADDR)` two-array block-fill is reproduced with raw-pointer `t.add(1)`/`s.add(IN_ADDR_SIZE)` walks; `bzero` → `write_bytes(_,0,_)`. The `ttl < 600` clamp bumps `reinfo.re_shortttl` and forces 600; `expireat = timeofday + ttl`. `add_to_cache`'s `++incache > MAXCACHED` LRU evict walks `cachetop` to the tail (`while !(*cp).list_next.is_null()`) and `rem_cache`s it. `MyMalloc` declared returning `*mut c_char` to match dbuf.rs's decl (avoids the redeclared-signature warning), cast at each use.
  - **Classification.** Utility/leaf — not in `msgtab`. → **L1 only**: no client/server command path under the locked config (`NO_DNS_LOOKUP` on → the resolver is inert, the cache never populates at runtime). End-to-end DNS coverage arrives when the resolver proper is ported under a fixture nameserver.
  - **L1.** `ircd-testkit/tests/res_cache_build_diff.rs` — two fully-isolated `World`s of fn-pointers + global base pointers (`cachetop`/`hashtable`/`incache`/`cainfo`/`reinfo`/`timeofday`), copying `res_cache_lookup_diff.rs`: LIVE (`#[link_name]` → the Rust port over the res_link.o globals) vs CREF (`cref_*` over the renamed oracle). 8 tests with inverse/round-trip invariants — build-by-name T_A (entry contents + linkage + `ca_adds`/`incache` deltas + the steal inverse) and T_AAAA (flag), the short-ttl clamp (`ttl<600`→600 + `re_shortttl`) with the ≥600 inverse, dedup-by-name (T_A HIT → existing entry, no add) and dedup-by-addr (T_PTR HIT via `find_cache_number` → name merged as alias, no add), multi-addr contiguous-block build (distinct pointers, correct bytes), `add_to_cache` LRU boundary at MAXCACHED (incache pre-set near the cap; evict observed via `ca_dels` delta + list length) with the under-cap inverse, and both-bucket linkage (a single add is findable via both `find_cache_name` and `find_cache_number`). `timeofday` pinned to a fixed value per scenario so `expireat` is deterministic; process-global `LOCK` serializes the parallel `#[test]` threads. Zero diff. `make_cache`/`add_to_cache` confirmed `T` (Rust-defined) in `target/debug/ircd`.
  - **No L2/S2S.** Resolver inert under `NO_DNS_LOOKUP` (cache never populates at runtime); no `IsServer`/remote-field path. `golden_s_dns` (oper DNS stats / `DNS l` empty dump / non-oper 481) + `golden_registration` confirm the still-C resolver calls the Rust build/insert core without regression.

- **2026-06-05 — P6u (res.c request-queue management core) merged.** First bite into the `res.c` resolver proper — the only DNS file still in C after the P6q–P6t hostent-cache cluster — ported bottom-up from the outstanding-DNS-request queue floor.
  - **Cluster choice.** `add_request`/`rem_request`/`make_request`/`find_id`: the connected component over the file-statics `first`/`last` (the request queue heads) + `reinfo.re_requests`. No socket I/O, no answer parsing (none call `resend_query`/`query_name`/`do_query_*`/`proc_answer`), so it isolates cleanly as the floor the rest of the resolver builds on. The public queue walkers `del_queries`/`timeout_query_list` stay C this bite (`timeout_query_list` pulls in `resend_query` → the socket half).
  - **Guard / seam.** `res_link.o` gains `-DPORT_RES_REQ_P6u`. A new three-way `RES_REQ_LINKAGE` macro (parallel to `RES_CACHE_LINKAGE`): `extern` under `PORT_RES_REQ_P6u` (res_link.o — the four bodies `#ifdef`'d out, Rust defines them, the still-C callers `del_queries`/`timeout_query_list`/`gethost_*`/`do_query_*`/`get_res` resolve at link), blank under `RES_CACHE_EXPOSE` (cref oracle — GLOBAL so `cref_add_request`/`cref_rem_request`/`cref_make_request`/`cref_find_id` exist for L1), else `static`. The `first`/`last` queue heads flip from `static ResRQ *last, *first;` to `RES_DNS_STATIC` (already exposed in res_link.o via `PORT_DNS_M_DNS` + the cref oracle via `RES_CACHE_EXPOSE`) so the Rust port and the still-C walkers share one storage — exactly the P6r/P6t cache-globals pattern.
  - **Config-resolved body.** AFINET=AF_INET6 → `he.h_addrtype = AF_INET6`; DEBUG off → the `Debug(...)` traces in `rem_request`/`timeout_query_list` drop out; `MyFree` is a macro → `libc::free`; `MyMalloc`+`bzero` → `MyMalloc` + `ptr::write_bytes(…,0,…)`; the `bcopy(lp, &cinfo, sizeof(Link))` → `ptr::copy_nonoverlapping` (or a zero-fill when `lp==NULL`).
  - **Faithfulness notes.** `rem_request`'s `for (rptr=&first; *rptr; r2ptr=*rptr, rptr=&(*rptr)->next)` rendered as a raw `*mut *mut reslist` walk advancing `r2ptr`/`rptr` at the bottom so the `last==old → last=r2ptr` tail fix-up matches; the post-loop free order (`he.h_name`, the `MAXALIASES` `h_aliases[]`, `name`, the node) preserved. `make_request` sets `next=NULL` before `add_request` (which sets it again) verbatim. `add_request(NULL)` returns -1 (the C no-op) before touching the queue.
  - **Classification.** Utility/callees — neither in `msgtab`. → **L1 only, NO L2, NO S2S.** The resolver is inert under `NO_DNS_LOOKUP` (no client/server command path populates the queue at runtime; end-to-end queue coverage arrives under a fixture nameserver when the socket/answer half lands).
  - **L1.** `res_request_diff` — two fully-isolated `World`s of fn-pointers + `first`/`last`/`reinfo` base pointers (LIVE `#[link_name]` → the Rust port over the res_link.o globals; CREF `cref_*` over `cref_first`/`cref_last`/`cref_reinfo`). Positive + inverse/round-trip: `make_request` seeds every default field & appends (NULL `lp` zeroes `cinfo`); `add_request` arrival ordering + `re_requests` increments, and `add_request(NULL)` → -1 with the queue untouched; `find_id` hit (first/middle/tail) / miss / misses-after-its-target-is-`rem_request`'d; `rem_request` head/middle/tail unlink with `last` repointed on tail removal + the node freed; a drained queue is `first==last==NULL` and reusable by a fresh `make_request`. `timeofday` pinned (deterministic `sentat`); a process-global `LOCK` serializes the parallel `#[test]` threads over the shared queue. Zero diff over 8 tests.
  - **L2/S2S.** None (see Classification). `cargo test -p ircd-golden` `golden_s_dns` (2) + `golden_registration` (2) green — the still-C resolver `init_resolver`/walkers call the Rust queue primitives at boot without regression. 0 warnings.
  - **Still C in `res.c`.** `del_queries`/`timeout_query_list` (the public queue walkers) + the resolver socket/answer half: `send_res_msg`, `do_query_name`/`do_query_number`, `query_name`, `resend_query`, `proc_answer`, `get_res`, `gethost_byname`/`gethost_byname_type`/`gethost_byaddr`, `init_resolver`, `cres_mem`, `bad_hostname`.
