{
  "title": "Reconcile two attributed-install lists without counting their overlap twice",
  "synthetic": true,
  "inputs": {
    "a": 600,
    "b": 500,
    "overlap": 150
  },
  "outputs": [
    {
      "label": "Distinct union",
      "actual": 950,
      "expected": 950,
      "passed": true
    },
    {
      "label": "Overlap share of summed claims %",
      "actual": 13.636363636363637,
      "expected": 13.636363636363637,
      "passed": true
    }
  ],
  "constraints": [
    "v.a+v.b>0",
    "v.overlap<=Math.min(v.a,v.b)"
  ],
  "formulas": [
    {
      "label": "Distinct union",
      "javascript": "v.a+v.b-v.overlap"
    },
    {
      "label": "Overlap share of summed claims %",
      "javascript": "100*v.overlap/(v.a+v.b)"
    }
  ],
  "limits": "The worksheet assumes exact, permitted matching. Probabilistic matching, re-installs and divergent conversion windows can invalidate that assumption and must be documented before using the union as an operational total."
}