Add HT compressed Block Ack support

[mgonzalezlopezudc]

Summary

This PR adds one-TID HT Compressed Block Ack support to the IEEE 802.11 QoS MAC while retaining Basic Block Ack as the default behavior.

It implements the complete originator and recipient exchange path, corrects the on-wire BAR/BA representation, adds deterministic unit and runtime coverage, and updates the affected wireless fingerprints after explaining their first trajectory divergence.

Motivation

The existing QoS MAC contained partial Compressed Block Ack scaffolding, but the feature could not be used end to end:

• the originator's compressed BAR builder was unsupported and compressed selection was hardcoded off;
• HCF and recipient dispatch handled only Basic Block Ack variants;
• the recipient could not construct the required one-TID 64-bit compressed bitmap or null response;
• accepted immediate/delayed ADDBA policy was not retained consistently;
• BAR/BA Control and Starting Sequence Control serialization did not match the wire layout;
• the Basic BAR chunk length was 38 bytes before FCS instead of the standard 20-byte MAC header.

The implementation follows IEEE Std 802.11-2024 sections 9.3.1.7.2, 9.3.1.8.2, 10.25.6.1, and 10.25.6.5, together with the HT-immediate constraints in Table 11-8.

Changes

Wire representation

• Correct the Basic and Compressed BAR chunk length to 20 bytes before FCS.
• Add the 28-byte pre-FCS Compressed Block Ack representation.
• Serialize and deserialize BAR/BA Control as little-endian fields.
• Pack and unpack Starting Sequence Control as a 12-bit sequence number and 4-bit fragment number.
• Preserve byte-exact Basic Block Ack serialization coverage.

MAC exchange

• Build and select Ieee80211CompressedBlockAckReq for eligible one-TID immediate agreements.
• Dispatch compressed BAR and BA frames through HCF, frame sequences, rate selection, protection timing, reordering, and originator acknowledgment processing.
• Generate the non-HE 64-bit compressed bitmap at the recipient.
• Return the mandatory all-zero compressed Block Ack when no matching recipient partial state exists.
• Retain the accepted immediate/delayed ADDBA response policy on both sides.
• Reject compressed exchanges for delayed agreements, nonzero fragment numbers, fragmented MPDUs, and More Fragments frames.
• Track the recipient's maintained acknowledgment range so missing leading MPDUs remain unacknowledged, including across the 4095-to-0 sequence wrap.

Capability model

Compressed selection is default-off behind assumePeerSupportsCompressedBlockAck on both endpoint policies. The parameter explicitly represents the peer-capability fact missing from the current baseline agreement/management model and must only be enabled on an HT-or-later local STA after peer support is established.

This is station-wide rather than per-peer capability state, so heterogeneous legacy/HT peer selection is not modeled by this PR. The default configuration and existing Basic Block Ack behavior remain unchanged apart from the corrected Basic BAR wire size.

Tests and fingerprints

• Add byte-exact compressed BAR and BA serializer round-trip tests.
• Cover null and empty recipient state, bitmap holes, leading holes, 4095-to-0 wraparound, agreement policy, capability assumptions, and fragmentation gates.
• Add a deterministic HT module test for ADDBA, compressed BAR transmission, and compressed BA reception.
• Update seven affected wireless fingerprint rows. The first divergence is the same Basic BAR transmission changing from the previous 42-byte MPDU to the correct 24-byte MPDU, shortening PHY airtime by 4 microseconds and shifting subsequent timing ingredients. Existing graphical tyf ingredients are preserved where the focused campaign excludes them.

Validation

• make MODE=release -j$(nproc)
• inet_run_unit_tests -m release -f '(Ieee80211CompressedBlockAck_1|Ieee80211OnWireBitCompliance_1)\.test' — 2/2 passed
• inet_run_module_tests -m release -f 'Ieee80211CompressedBlockAckRuntime\.test' — passed
• Focused debug fingerprint campaign with -F tyf — all seven affected rows passed
• Direct HT runtime, run 0/seed 0 — 36 compressed BAR/BA exchanges; the first response starts after the modeled SIFS interval
• git diff --check — passed

Scope

This PR intentionally excludes TXOP behavior changes, HT Greenfield support, HE/EHT or multi-user Block Ack variants, and broader peer-capability management.

Commits

• 4b34eeec14 — feat(ieee80211): add HT compressed Block Ack
• 84916eb164 — test(fingerprint): update Block Ack trajectories

[devin-ai-integration]

Devin Review found 1 potential issue.

View 1 additional finding in Devin Review.

[mgonzalezlopezudc]

@levy I've addressed all Devin's comments throughout the commits. There are only two for which I didn't perform any changes:

• Runtime configuration: Devin missed the included setting at examples/wireless/qos/omnetpp.ini (line 24), which pins the AP to 10:00:00:00:00:00. The client peer lists are therefore correct.

• Map → vector: uniqueness and cyclic order remain guaranteed by construction. ReceiveBuffer is still map-backed; the collectors probe each cyclic sequence number once; preceding excludes the SSN while following starts at it. Existing tests cover 4095 → 0 ordering and duplicate input.