likely-invariants

This post implements a Daikon-style runtime invariant miner in Python, including instrumentation, trace collection, candidate invariant checking, and implication-based suppression, providing an approximate oracle for regression testing.