{
  "description": "Minimal K-of-N body status. yes >= k → Yes; no >= n-k+1 → No; else NoDecision once the window closed, Pending before. Verified in test/ACDFVectors.t.sol.",
  "count": 83,
  "vectors": [
    {
      "n": 1,
      "k": 1,
      "yes": 0,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 1,
      "k": 1,
      "yes": 0,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 1,
      "k": 1,
      "yes": 1,
      "no": 0,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 1,
      "k": 1,
      "yes": 0,
      "no": 1,
      "closed": false,
      "expected": "No"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 0,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 0,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 1,
      "no": 0,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 0,
      "no": 1,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 0,
      "no": 1,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 1,
      "no": 1,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 0,
      "no": 2,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 0,
      "no": 2,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 1,
      "no": 2,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 3,
      "k": 1,
      "yes": 0,
      "no": 3,
      "closed": false,
      "expected": "No"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 0,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 0,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 1,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 1,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 2,
      "no": 0,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 0,
      "no": 1,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 0,
      "no": 1,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 1,
      "no": 1,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 1,
      "no": 1,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 2,
      "no": 1,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 3,
      "k": 2,
      "yes": 0,
      "no": 2,
      "closed": false,
      "expected": "No"
    },
    {
      "n": 3,
      "k": 3,
      "yes": 0,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 3,
      "yes": 0,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 3,
      "yes": 1,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 3,
      "yes": 1,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 3,
      "yes": 2,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 3,
      "k": 3,
      "yes": 2,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 3,
      "k": 3,
      "yes": 3,
      "no": 0,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 3,
      "k": 3,
      "yes": 0,
      "no": 1,
      "closed": false,
      "expected": "No"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 1,
      "no": 0,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 1,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 1,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 1,
      "no": 1,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 2,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 2,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 1,
      "no": 2,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 3,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 3,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 1,
      "no": 3,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 4,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 4,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 1,
      "no": 4,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 5,
      "k": 1,
      "yes": 0,
      "no": 5,
      "closed": false,
      "expected": "No"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 0,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 0,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 1,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 1,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 2,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 2,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 3,
      "no": 0,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 0,
      "no": 1,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 0,
      "no": 1,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 1,
      "no": 1,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 1,
      "no": 1,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 2,
      "no": 1,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 2,
      "no": 1,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 3,
      "no": 1,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 0,
      "no": 2,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 0,
      "no": 2,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 1,
      "no": 2,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 1,
      "no": 2,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 2,
      "no": 2,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 2,
      "no": 2,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 3,
      "no": 2,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 5,
      "k": 3,
      "yes": 0,
      "no": 3,
      "closed": false,
      "expected": "No"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 0,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 0,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 1,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 1,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 2,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 2,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 3,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 3,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 4,
      "no": 0,
      "closed": false,
      "expected": "Pending"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 4,
      "no": 0,
      "closed": true,
      "expected": "NoDecision"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 5,
      "no": 0,
      "closed": false,
      "expected": "Yes"
    },
    {
      "n": 5,
      "k": 5,
      "yes": 0,
      "no": 1,
      "closed": false,
      "expected": "No"
    }
  ]
}