{
  "caseCount": 4,
  "checksRun": 12,
  "consistentChecks": 9,
  "exercise": "synthetic-audit-evidence-consistency-v1",
  "fixtureSha256": "1cefbf107a8bd0f01fb64056bd91618fcc62ead847537e1447407179a991fa53",
  "limits": [
    "Invented teaching data, not an audit of a real protocol.",
    "Commit labels are not Git objects; source strings are non-executable teaching notes.",
    "Bytecode strings are hand-authored; no compilation or blockchain read occurs.",
    "Retest records are read, not executed or authenticated.",
    "Consistency does not establish complete scope, source authenticity or absence of vulnerabilities.",
    "No proxy, linked library, immutable, initialization, governance or economic-model verification is performed."
  ],
  "matchesExpectedControls": true,
  "mismatchedChecks": 3,
  "results": [
    {
      "case": "reference",
      "checks": {
        "deployed_artifact": {
          "consistent": true,
          "reasons": []
        },
        "findings_retest": {
          "consistent": true,
          "reasons": []
        },
        "scope_commit": {
          "consistent": true,
          "reasons": []
        }
      },
      "runtimeBytesCompared": 10
    },
    {
      "case": "different-release-commit",
      "checks": {
        "deployed_artifact": {
          "consistent": true,
          "reasons": []
        },
        "findings_retest": {
          "consistent": true,
          "reasons": []
        },
        "scope_commit": {
          "consistent": false,
          "reasons": [
            "release_commit_not_final_reviewed_commit"
          ]
        }
      },
      "runtimeBytesCompared": 10
    },
    {
      "case": "stale-retest-record",
      "checks": {
        "deployed_artifact": {
          "consistent": true,
          "reasons": []
        },
        "findings_retest": {
          "consistent": false,
          "reasons": [
            "EXAMPLE-01:retest_commit_differs_from_fix",
            "EXAMPLE-01:retest_not_on_final_reviewed_commit"
          ]
        },
        "scope_commit": {
          "consistent": true,
          "reasons": []
        }
      },
      "runtimeBytesCompared": 10
    },
    {
      "case": "different-runtime-bytes",
      "checks": {
        "deployed_artifact": {
          "consistent": false,
          "reasons": [
            "runtime_bytes_missing_invalid_or_different"
          ]
        },
        "findings_retest": {
          "consistent": true,
          "reasons": []
        },
        "scope_commit": {
          "consistent": true,
          "reasons": []
        }
      },
      "runtimeBytesCompared": 10
    }
  ],
  "synthetic": true
}