Skip to content

feat(kernel): admit TCP protocol 6 - #189

Merged
kernalix7 merged 3 commits into
mainfrom
feature/tcp-admission-gate
Aug 16, 2026
Merged

feat(kernel): admit TCP protocol 6#189
kernalix7 merged 3 commits into
mainfrom
feature/tcp-admission-gate

Conversation

@kernalix7

Copy link
Copy Markdown
Owner

Summary

  • harden TCP header parsing for data offsets, options, reserved bits, and ECE/CWR flags
  • add allocation-free IPv4 TCP pseudo-header checksum verification
  • admit protocol 6 through a stateless fragment/framing/checksum gate with saturating counters and no replies

Validation

  • cargo fmt --all -- --check
  • cargo clippy --workspace -- -D warnings
  • cargo build --workspace
  • host unit tests: 4,794 passed
  • focused TCP tests: 90 passed
  • focused Miri tests: 59 passed
  • aarch64 and riscv64 kernel cross-builds
  • x86_64, aarch64, and riscv64 QEMU boot integration tests
  • parser, checksum, and dispatch mutation proofs
  • five-lane goal, QA, quality, security, and context review

@kernalix7
kernalix7 merged commit b5c125c into main Aug 16, 2026
3 checks passed
@kernalix7
kernalix7 deleted the feature/tcp-admission-gate branch August 16, 2026 13:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant