{
  "version": 1,
  "generatedAt": "2026-05-25T11:41:33.166Z",
  "fileId": "file:2eckht:verifygroundednesscommand-cs",
  "executableScope": true,
  "executableSymbolCount": 2,
  "executableSymbolsWithControlFlowCount": 2,
  "controlFlowFragmentCount": 2,
  "unresolvedJumpCount": 1,
  "unsupportedConstructCount": 0,
  "controlFlowCoverage": 1,
  "requiredDiagramCount": 2,
  "generatedDiagramCount": 3,
  "status": "warn",
  "errors": [],
  "warnings": [
    "Control-flow extraction left 1 unresolved jumps."
  ]
}