I have been thinking about this a lot lately. How do you capture key factors succinctly, and even harder, keep it succinct as it evolves?

The shrinking that property based testing does when it finds an issue is kind of what we need for specs/context.