{
  "@context": "https://schema.org",
  "@type": "TechArticle",
  "name": "Property-Based Tests",
  "dateModified": "2026-06-02T09:39:35.503Z",
  "framework": "fast-check 3.20 (TS) + Hypothesis 6.111 (Py)",
  "properties": [
    "quote.total === sum(line.subtotal) + tax (idempotent)",
    "receipt.verify(sign(x)) === true ∀ x",
    "replay(capture(exec)) === exec (deterministic)",
    "dsar.export ⊇ user.allData (completeness)",
    "dp.noise.variance ≤ ε⁻² (privacy bound)"
  ],
  "shrink": "enabled, seed-recorded"
}