portable verifier extension check.json

{
  "status": "PASS",
  "scope": "Updated portable verifier and newly added merging-defect model; temporary copies only.",
  "checks": [
    {
      "name": "updated relocated packet with expanded source bindings and defect grammar",
      "expected_pass": true,
      "passed": true,
      "status": "PASS",
      "actions": 86,
      "checks": 917,
      "failed_labels": []
    },
    {
      "name": "detect altered merging defect",
      "expected_pass": false,
      "passed": true,
      "status": "FAIL",
      "actions": 86,
      "checks": 917,
      "failed_labels": [
        "model/merge_defect_grammar"
      ]
    },
    {
      "name": "restored extended packet",
      "expected_pass": true,
      "passed": true,
      "status": "PASS",
      "actions": 86,
      "checks": 917,
      "failed_labels": []
    }
  ]
}