Deterministic seeded PRNG verifies NavigationStack invariants across 200k+ operations: depth >= 1, push/pop identity, forward cleared, jump list only tracks detail screens, reset clears all, breadcrumbs match depth, no panic under arbitrary sequences.