Pure Inference Software studio
Atlanta, Georgia

Four properties have to hold together, and most of an app fails one

Four properties have to hold together, and most of an app fails one
Take it
Share it
Engage with it
Four properties have to hold together, and most of an app fails one
Take it
Share it
Engage with it

Miss any one and the pattern degrades rather than breaking, which is why it gets applied to things it does not suit. The other seventy per cent is fine on conventions.

Related post

Where Specs Work and Where They Don't

Full spec-driven verification only earns its cost where four properties hold at once: deterministic, calculable, enumerable, and objectively provable. That's roughly 30% of a typical app — compliance math, financial calculations, state machines — where a wrong answer is expensive. Everything else is better served by conventions and gems than by a golden-values spec.

Read it →