What 14.8 Billion Fuzz

Executions Revealed About My Rust Kernel Layer

Over the past few days, I ran a long adversarial fuzzing campaign against the minimal kernel layer of my Rust __infrastructure stack.

The target was intentionally small:

deterministic primitives

zero-allocation design

no_std compatibility

stable binary serialization

overflow-safe arithmetic

invariant-preserving types

The fuzzing campaign executed approximately 14.8 billion iterations.

Focus Areas

The testing focused on validating:

ABI stability

serialization roundtrips

algebraic correctness

normalization logic

overflow behavior

ordering consistency

mutation resistance

Results

The campaign successfully exposed:

2 crash cases

several edge-condition inconsistencies

missing algebraic symmetry in temporal primitives

All issues were discovered before public release.

One particularly interesting result was identifying an incomplete temporal algebra implementation:

"Timestamp + Duration"

"Timestamp - Timestamp"

were…