#correctness
A set of research notes and deep dives focused on correctness, security, and operational evidence.
Best starting points
Spec-Driven Development: Making the Spec the Center of Gravity
Design memo (December 2020): Spec-Driven Development: Making the Spec the Center of Gravity.
Differential Testing: Using Other Implementations as Oracles
Spec-driven research note (June 2020): Differential Testing: Using Other Implementations as Oracles.
Model Checking at Scale: State Explosion and How to Cheat
Adversarial-first deep dive (March 2020): Model Checking at Scale: State Explosion and How to Cheat.
Security vs Reliability: When the Same Bug Has Two Names
Correctness-focused deep dive (December 2016): Security vs Reliability: When the Same Bug Has Two Names.
Reproducible Builds: Trusting Artifacts in a Hostile World
Threat-model-first analysis (November 2016): Reproducible Builds: Trusting Artifacts in a Hostile World.
Roadmap
- Start with assumptions and invariants
- Enumerate failure modes and attack surfaces
- Define what to monitor and how to roll back