xeiaso.net
Proof of concept mechanical port of ircnet/ircd to Rust as part of a bit about C being insecure for network services
1[workspace]
2resolver = "2"
3members = [
4 "leveva",
5 "leveva-iauth",
6 "leveva-casemap",
7 "leveva-cidr",
8 "leveva-cloak",
9 "leveva-matching",
10 "leveva-message",
11 "leveva-patricia",
12 "leveva-string",
13]
14# The strangler is complete. The faithful mechanical port (`ircd-common`/`ircd-rs`),
15# its C-era auth scaffolding (`iauth-rs`), and the oracle differential crate
16# (`leveva-integration`) were deleted in P12 once `leveva` reached parity — the
17# final `cargo test -p leveva-integration` run was skeleton-green against the
18# oracle (2026-06-13). `leveva` is now the product; its self-contained golden +
19# proptest suite carries the behavioral guarantees forward.
20#
21# Earlier history (recoverable from git): the C tree was deleted at P8v, with its
22# frozen bindgen view committed in `ircd-common/src/bindings.rs`; the L1/L2 oracle
23# crates `ircd-testkit`/`ircd-golden` were mothballed then. All of it — the C
24# sources, the mechanical port, the oracles — lives on in git history; the P8 final
25# byte-identical reference-C run is the provenance anchor.