prop_test.nx

prop_test.nx -- property-based testing infrastructure. Verify that a property holds across a LARGE random sample of inputs instead of enumerating hand-picked cases. Catches bugs that manual test cases miss. Inspired by QuickCheck (Haskell, 2000), Hypothesis (Python), proptest (Rust). Pattern: 1. Define a property P(x) that should be true for all x of some type T. 2. Write a generator that produces random T values from a seeded PRNG. 3. Run P(gen()) for N iterations (default 1000). 4. On failure, record the first counter-example + shrink it to a minimal case. This scaffold ships the GENERATOR + RUNNER primitives. Each property test lives in its own .nx file (see prop_*_test.nx). Reference: Claessen & Hughes 2000 "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs"; MacIver 2019 "Hypothesis: A new approach to property-based testing" (particularly the shrinking algorithm).