Specifications Are Hard

From YAML eating Norway to NASA losing $327 million, specification gaps cause failures at every scale. Same problem shows up in prompting.