{
  "checks": [
    {
      "name": "expected documentary boundary 01",
      "passed": true
    },
    {
      "name": "expected documentary boundary 02",
      "passed": true
    },
    {
      "name": "expected documentary boundary 03",
      "passed": true
    },
    {
      "name": "expected documentary boundary 04",
      "passed": true
    },
    {
      "name": "expected documentary boundary 05",
      "passed": true
    },
    {
      "name": "expected documentary boundary 06",
      "passed": true
    },
    {
      "name": "expected documentary boundary 07",
      "passed": true
    },
    {
      "name": "expected documentary boundary 08",
      "passed": true
    },
    {
      "name": "expected documentary boundary 09",
      "passed": true
    },
    {
      "name": "complete control does not certify 09",
      "passed": true
    },
    {
      "name": "expected documentary boundary 10",
      "passed": true
    },
    {
      "name": "complete control does not certify 10",
      "passed": true
    },
    {
      "name": "source file pointers 103-logspace-language-equality",
      "passed": true
    },
    {
      "name": "source file pointers 110-uniform-kserver",
      "passed": true
    },
    {
      "name": "source file pointers 374-brenier-stability",
      "passed": true
    },
    {
      "name": "source file pointers 131-lazy-switch-chain",
      "passed": true
    },
    {
      "name": "source file pointers 365-joint-same-patch",
      "passed": true
    },
    {
      "name": "source file pointers 372-static-elasticity",
      "passed": true
    },
    {
      "name": "source file pointers 281-qaoa-energy",
      "passed": true
    },
    {
      "name": "source file pointers 266-three-bases",
      "passed": true
    },
    {
      "name": "source file pointers 276-gad-capacity",
      "passed": true
    },
    {
      "name": "source file pointers 245-pts-beta-normalization",
      "passed": true
    },
    {
      "name": "source file pointers 254-artin-membership",
      "passed": true
    },
    {
      "name": "source file pointers 279-exact-quantum-factoring",
      "passed": true
    },
    {
      "name": "source file pointers 314-chromatic-cyclic-length",
      "passed": true
    }
  ],
  "passed": 25,
  "failed": 0,
  "scope": "Ten self-authored expected-code controls, two documentary/verification distinctions and thirteen grouped source-path controls; no expert, accuracy or workflow-benefit measurement."
}