{
  "type": "failure-mode",
  "name": "Reading 'formally verified' as unconditional",
  "slug": "reading-formally-verified-as-unconditional",
  "section": {
    "id": "frameworks",
    "number": "02",
    "title": "Choosing a framework",
    "url": "https://zkpick.com/frameworks/"
  },
  "url": "https://zkpick.com/frameworks/failure-modes/reading-formally-verified-as-unconditional/",
  "markdown": "https://zkpick.com/md/frameworks/failure-modes/reading-formally-verified-as-unconditional.md",
  "detail": "A project advertises formal verification and the claim is real but scoped — bounded by stated hypotheses, covering some components and not others. Bugs have been found by conformance testing in exactly the areas a verification effort did not cover.",
  "mitigation": "Ask what was verified, against which specification, under what hypotheses, and what was explicitly out of scope. A precise, bounded claim is a good sign; an unqualified one is not.",
  "relatedOptions": [],
  "updated": "2026-09-12",
  "version": "1.3",
  "canonical": "https://zkpick.com/frameworks/failure-modes/reading-formally-verified-as-unconditional/",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "authors": [
    "MarketComp"
  ]
}