{"admittedAuthoredSourceCount":2,"admittedGeneratedSourceCount":0,"admittedNativeHeaderCount":0,"admittedNativeSourceCount":0,"admittedSourceCount":2,"admittedSwiftSourceCount":2,"applicationPolicies":[],"conditions":[{"conditionID":"V-ASYNC-14","coverage":"degraded","executed":true,"findingCount":0,"notApplicableCount":1,"observationCount":2,"observationIDs":["46c4b9405540ad0af58d96344a28cf5f6f465fad29d3164c14448311b818c464","95c61c01ef81fcdae20aeb68b202ebb510c96fa7039170edfed1fe88dbfa64be"],"requested":true,"ruleID":"concurrency.guard-held-across-suspension","unknownObservationCount":1},{"conditionID":"V-EXEC-01","coverage":"no-observations","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":0,"observationIDs":[],"requested":true,"ruleID":"concurrency.incompatible-isolation","unknownObservationCount":0},{"conditionID":"V-EXEC-02","coverage":"no-observations","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":0,"observationIDs":[],"requested":true,"ruleID":"concurrency.unproven-mainactor-entry","unknownObservationCount":0},{"conditionID":"V-EXEC-03","coverage":"no-observations","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":0,"observationIDs":[],"requested":true,"ruleID":"concurrency.detached-task-context-loss","unknownObservationCount":0},{"conditionID":"V-EXEC-04","coverage":"no-observations","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":0,"observationIDs":[],"requested":true,"ruleID":"concurrency.dispatch-isolation-mismatch","unknownObservationCount":0},{"conditionID":"V-EXEC-05","coverage":"degraded","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":1,"observationIDs":["4c4f8ec7e766040eb257b3ee4682ef6d689cfa06ca439c61c0826f58a793c3ca"],"requested":true,"ruleID":"portfolio.exec.05","unknownObservationCount":1},{"conditionID":"V-EXEC-06","coverage":"no-observations","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":0,"observationIDs":[],"requested":true,"ruleID":"portfolio.exec.06","unknownObservationCount":0},{"conditionID":"V-EXEC-07","coverage":"degraded","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":1,"observationIDs":["3847c87a2454def4c7c771c5dab3d19521a2f0d3f9aab052dc90a9c9236e8156"],"requested":true,"ruleID":"portfolio.exec.07","unknownObservationCount":1},{"conditionID":"V-EXEC-08","coverage":"no-observations","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":0,"observationIDs":[],"requested":true,"ruleID":"portfolio.exec.08","unknownObservationCount":0},{"conditionID":"V-LIFE-09","coverage":"no-observations","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":0,"observationIDs":[],"requested":true,"ruleID":"lifetime.undischarged-resource-obligation","unknownObservationCount":0},{"conditionID":"V-LIFE-10","coverage":"no-observations","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":0,"observationIDs":[],"requested":true,"ruleID":"portfolio.life.10","unknownObservationCount":0}],"discoveredDependencyPackageCount":0,"discoveredNativeHeaderCount":0,"discoveredResourceCount":0,"discoveredSourceCount":2,"discoveredSources":["Sources/Example/Execution.swift","Sources/Example/Guard.swift"],"discoveryScope":"selected authored source closure (Swift and native translation units), including filesystem and locked source-control packages","expectedGeneratedSourceCount":0,"families":[{"coverage":"degraded","executed":true,"family":"execution","findingCount":0,"observationCount":2,"reasons":["execution-open-source:3847c87a2454def4c7c771c5dab3d19521a2f0d3f9aab052dc90a9c9236e8156","execution-open-source:4c4f8ec7e766040eb257b3ee4682ef6d689cfa06ca439c61c0826f58a793c3ca"],"report":{"limitations":["execution-open-source:3847c87a2454def4c7c771c5dab3d19521a2f0d3f9aab052dc90a9c9236e8156","execution-open-source:4c4f8ec7e766040eb257b3ee4682ef6d689cfa06ca439c61c0826f58a793c3ca"],"products":[],"profileID":"apple-swift-6.3.3-macos-arm64","proofs":[],"rows":[["3847c87a2454def4c7c771c5dab3d19521a2f0d3f9aab052dc90a9c9236e8156","unknown:thread-affinity-contract-unresolved"],["4c4f8ec7e766040eb257b3ee4682ef6d689cfa06ca439c61c0826f58a793c3ca","unknown:assumed-isolation-context-unresolved"]],"snapshotID":"sha256:5b074351706532aa9fcb6d02c77a8dbc949d293043cf715f56dcf4b1f56ebfd4"},"requestedConditions":["V-EXEC-01","V-EXEC-02","V-EXEC-03","V-EXEC-04","V-EXEC-05","V-EXEC-06","V-EXEC-07","V-EXEC-08"],"unknownObservationCount":2},{"coverage":"degraded","executed":true,"family":"guard","findingCount":0,"observationCount":2,"reasons":["guard-suspension-source-incomplete"],"report":{"open":true,"profile":"apple-swift-6.3.3-macos-arm64","rows":[{"decision":"unknown:incomplete-guard-trace","evidence":["collection-source:470cf57fa5fbec5faab1feb55ccd256adf2576cbc1b820cf3c097b103f4e5bd1:0","e-index","e-output-unit"],"id":"46c4b9405540ad0af58d96344a28cf5f6f465fad29d3164c14448311b818c464","sites":[["Sources/Example/Execution.swift",0]],"witness":"unknown"},{"decision":"not-applicable","evidence":["collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:106","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:111","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:127","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:145","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:154","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:163","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:169","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:174","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:30","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:37","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:59","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:69","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:74","collection-source:375ba3f5523f9b865c20604f7c6cb939affcb91df5aeb002e94e483bc1e519f2:96","e-index","e-output-unit"],"id":"95c61c01ef81fcdae20aeb68b202ebb510c96fa7039170edfed1fe88dbfa64be","sites":[["Sources/Example/Guard.swift",30],["Sources/Example/Guard.swift",37],["Sources/Example/Guard.swift",59],["Sources/Example/Guard.swift",69],["Sources/Example/Guard.swift",74],["Sources/Example/Guard.swift",96],["Sources/Example/Guard.swift",106],["Sources/Example/Guard.swift",111],["Sources/Example/Guard.swift",127],["Sources/Example/Guard.swift",145],["Sources/Example/Guard.swift",154],["Sources/Example/Guard.swift",163],["Sources/Example/Guard.swift",169],["Sources/Example/Guard.swift",174]],"witness":"no admitted suspension occurs within the lock acquisition-to-release region"}],"rule":"concurrency.guard-held-across-suspension","scope":"conditional thread-affine NSLock obligation across suspension; no observed or inevitable thread migration claim","snapshot":"sha256:5b074351706532aa9fcb6d02c77a8dbc949d293043cf715f56dcf4b1f56ebfd4"},"requestedConditions":["V-ASYNC-14"],"unknownObservationCount":1},{"coverage":"no-observations","executed":true,"family":"stdio","findingCount":0,"observationCount":0,"reasons":[],"report":{"limitations":[],"profileID":"apple-swift-6.3.3-macos-arm64","rows":[],"snapshotID":"sha256:5b074351706532aa9fcb6d02c77a8dbc949d293043cf715f56dcf4b1f56ebfd4"},"requestedConditions":["V-LIFE-09","V-LIFE-10"],"unknownObservationCount":0}],"kind":"swift-analyzer.source-scan","maturity":"experimental","policyRequirement":"none-for-selected-eleven-conditions","product":"FirstAnalysis","reasons":["execution-open-source:3847c87a2454def4c7c771c5dab3d19521a2f0d3f9aab052dc90a9c9236e8156","execution-open-source:4c4f8ec7e766040eb257b3ee4682ef6d689cfa06ca439c61c0826f58a793c3ca","guard-suspension-source-incomplete","no-observations-in-one-or-more-requested-families"],"requestedConditions":["V-EXEC-01","V-EXEC-02","V-EXEC-03","V-EXEC-04","V-EXEC-05","V-EXEC-06","V-EXEC-07","V-EXEC-08","V-ASYNC-14","V-LIFE-09","V-LIFE-10"],"schemaVersion":"1.0.0","scope":"SwiftPM filesystem/locked Git package closure; bounded execution/guard/stdio source grammars","snapshot":"sha256:5b074351706532aa9fcb6d02c77a8dbc949d293043cf715f56dcf4b1f56ebfd4","sourceInputDigest":"e2f285081a9dc000c2c04b6fffbb40e17e6ac4403a7e9e8787424ed902ae0e3b","status":"degraded","targetSourceCounts":{"Example":2}}