(13) feat(cascade): in-memory LSM match-action store + real-shape ACL tests

[daniel-noland]

Stack (13), this PR (retargeted). Base: pr/daniel-noland/acl-dpdk.

In-memory LSM-shaped match-action storage primitive, plus tests that drive it
with a real ACL-shaped consumer.

• feat(cascade): in-memory LSM-shaped match-action storage primitive.
• test(cascade): real-shape ACL consumer + bolero + subscribe tests.

---

Review stack (merge bottom -> top):

• (7) (7) threading rewrite #1555 threading rewrite
• (8) (8) feat(dpdk): test EAL harness (with_eal macro + const fn) #1572 dpdk test EAL harness
• (9) (9) feat: fixed-size + lookup foundation trait crates #1573 fixed-size + lookup
• (10) (10) feat(match-action): MatchKey trait + derive + bolero generators #1574 match-action
• (11) (11) feat(acl): crate scaffolding + software reference backend #1575 acl reference backend
• (12) (12) feat(acl): rte_acl backend + differential-vs-reference + benches #1576 acl rte_acl backend
• (13) (13) feat(cascade): in-memory LSM match-action store + real-shape ACL tests #1567 cascade

[Copilot]

Pull request overview

The PR title explicitly says "(ignore for now) acl design test" — this is a large design-exploration PR introducing a new match-action / ACL framework spanning many new workspace crates, plus supporting changes to existing crates.

Changes:

• Introduces several new workspace crates: fixed-size, lookup, match-action, match-action-derive, cascade, acl, dpdk-test-macros, and a scratch ACL module under dpdk.
• Adds a MatchKey derive (with #[exact]/#[prefix]/#[mask]/#[range] field attributes), parallel <Name>Rule struct emission, and lowering into a reference and DPDK rte_acl backend, plus extensive property/differential tests and Criterion benches.
• Adds infrastructure: a dpdk::test_support EAL bootstrap + #[with_eal] attribute macro, a cascade crate (LSM-style match-action storage with Upsert/MergeInto/drain subscription), a bench-builder Nix target, and a compute_min_input_size const fn on AclBuildConfig.

Reviewed changes

Copilot reviewed 66 out of 67 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
Cargo.toml	Registers new workspace members, deps, and per-package miri/wasm metadata
fixed-size/**	New no_std crate defining FixedSize trait with primitive/IpAddr impls
lookup/**	New crate with Lookup/Projection traits and BTreeMap/HashMap impls
match-action/, match-action-derive/	New backend-agnostic match-key vocabulary + #[derive(MatchKey)]
net/src/fixed_size.rs, net/src/lib.rs, net/Cargo.toml	FixedSize impls for TcpPort/UdpPort/UnicastIpv4Addr/Vni
cascade/**	New LSM-style cascade primitive with Upsert/MergeInto/drain subscription
dpdk/Cargo.toml, dpdk/src/lib.rs, dpdk/src/test_support.rs	Optional test feature exposing shared EAL bootstrap + #[with_eal] macro
dpdk-test-macros/**	New proc-macro crate providing the #[with_eal] attribute
dpdk/src/acl/config.rs	Makes compute_min_input_size a public const fn; doc/spelling cleanup
dpdk/src/acl/scratch.rs	Scratch/sketch file with non-compiling design notes
acl/**	New crate: DPDK rte_acl backend, reference linear-scan oracle, tests, benches
default.nix, justfile	New benches Nix target and just bench recipe to build/run benches

[Copilot]

Pull request overview

Copilot reviewed 64 out of 65 changed files in this pull request and generated no new comments.

[coderabbitai]

Important

Review skipped

Draft detected.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro Plus

Run ID: 23556064-ef74-4732-91d6-3366b0cc2753

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}