{
  "checks": [
    {
      "name": "fifteen current models and obligations preserved",
      "passed": true
    },
    {
      "name": "selected table badge does not cover separate flow claim",
      "passed": true
    },
    {
      "name": "four changed models require bridges",
      "passed": true
    },
    {
      "name": "five excluded extensions flagged",
      "passed": true
    },
    {
      "name": "ten unknown engineering/source obligations flagged",
      "passed": true
    },
    {
      "name": "complete synthetic source record grants no certification",
      "passed": true
    },
    {
      "name": "independent badge denied even on synthetic complete record",
      "passed": true
    }
  ],
  "passed": 7,
  "failed": 0,
  "scope": "Seven documentary/registry controls. Evidence contents, model applicability, actual software claims and source proof/program remain unverified."
}
