[workspace]
resolver = "2"
members = [
	"leveva",
	"leveva-iauth",
	"leveva-casemap",
	"leveva-cidr",
	"leveva-cloak",
	"leveva-matching",
	"leveva-message",
	"leveva-patricia",
	"leveva-string",
]
# The strangler is complete. The faithful mechanical port (`ircd-common`/`ircd-rs`),
# its C-era auth scaffolding (`iauth-rs`), and the oracle differential crate
# (`leveva-integration`) were deleted in P12 once `leveva` reached parity — the
# final `cargo test -p leveva-integration` run was skeleton-green against the
# oracle (2026-06-13). `leveva` is now the product; its self-contained golden +
# proptest suite carries the behavioral guarantees forward.
#
# Earlier history (recoverable from git): the C tree was deleted at P8v, with its
# frozen bindgen view committed in `ircd-common/src/bindings.rs`; the L1/L2 oracle
# crates `ircd-testkit`/`ircd-golden` were mothballed then. All of it — the C
# sources, the mechanical port, the oracles — lives on in git history; the P8 final
# byte-identical reference-C run is the provenance anchor.