{"admittedAuthoredSourceCount":2,"admittedGeneratedSourceCount":0,"admittedNativeHeaderCount":0,"admittedNativeSourceCount":0,"admittedSourceCount":2,"admittedSwiftSourceCount":2,"applicationPolicies":[],"conditions":[{"conditionID":"V-ASYNC-14","coverage":"degraded","executed":true,"findingCount":1,"notApplicableCount":0,"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":"completed","executed":true,"findingCount":1,"notApplicableCount":0,"observationCount":1,"observationIDs":["dc834195d051e2852871c5673581baf9b2dee8c0876877b8fd9e7d3cca5131fc"],"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":"no-observations","executed":true,"findingCount":0,"notApplicableCount":0,"observationCount":0,"observationIDs":[],"requested":true,"ruleID":"portfolio.exec.05","unknownObservationCount":0},{"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":1,"observationCount":2,"reasons":["execution-open-source:3847c87a2454def4c7c771c5dab3d19521a2f0d3f9aab052dc90a9c9236e8156"],"report":{"limitations":["execution-open-source:3847c87a2454def4c7c771c5dab3d19521a2f0d3f9aab052dc90a9c9236e8156"],"products":["5d1f56634a3c68804340cfd87d6633856963dfb61c3ee4408447bcdf298941b3"],"profileID":"apple-swift-6.3.3-macos-arm64","proofs":[{"anchors":[["Sources/Example/Execution.swift",67],["Sources/Example/Execution.swift",82],["Sources/Example/Execution.swift",93],["Sources/Example/Execution.swift",5],["Sources/Example/Execution.swift",31]],"conditionID":"dc834195d051e2852871c5673581baf9b2dee8c0876877b8fd9e7d3cca5131fc","evidenceIDs":["collection-source:d7f82e36336fe16a4ff4de61521643825b0639dcb6ec5cc8667343e1a550a56a:31","collection-source:d7f82e36336fe16a4ff4de61521643825b0639dcb6ec5cc8667343e1a550a56a:5","collection-source:d7f82e36336fe16a4ff4de61521643825b0639dcb6ec5cc8667343e1a550a56a:67","collection-source:d7f82e36336fe16a4ff4de61521643825b0639dcb6ec5cc8667343e1a550a56a:82","collection-source:d7f82e36336fe16a4ff4de61521643825b0639dcb6ec5cc8667343e1a550a56a:93","e-index","e-output-unit"],"explanation":"Explicit source/SDK proof: origin=mainActor, task=detached, continuation=sameSegment, MainActor required=true, mandatory TaskLocal read=false. Suspension does not prove a physical thread hop. Call subgraph omits unqualified async transitions.","graphID":"5d1f56634a3c68804340cfd87d6633856963dfb61c3ee4408447bcdf298941b3"}],"rows":[["3847c87a2454def4c7c771c5dab3d19521a2f0d3f9aab052dc90a9c9236e8156","unknown:thread-affinity-contract-unresolved"],["dc834195d051e2852871c5673581baf9b2dee8c0876877b8fd9e7d3cca5131fc","finding"]],"snapshotID":"sha256:a352133f1fb6c4cd501dd4cdfe4fc90e36140772a7d845e75dee2c8d8fb349f3"},"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":1},{"coverage":"degraded","executed":true,"family":"guard","findingCount":1,"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:d7f82e36336fe16a4ff4de61521643825b0639dcb6ec5cc8667343e1a550a56a:0","e-index","e-output-unit"],"id":"46c4b9405540ad0af58d96344a28cf5f6f465fad29d3164c14448311b818c464","sites":[["Sources/Example/Execution.swift",0]],"witness":"unknown"},{"decision":"finding","evidence":["collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:106","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:111","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:127","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:145","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:154","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:160","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:165","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:174","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:30","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:37","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:59","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:69","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5:74","collection-source:5c05ff30cca26bb2ce3932011940ea093c608ec779aa022f2071f0c3eeedd3e5: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",160],["Sources/Example/Guard.swift",165],["Sources/Example/Guard.swift",174]],"witness":"enter locks shared NSLock -> yield may suspend while held -> leave unlocks; resumed thread is not guaranteed to be the acquiring thread"}],"rule":"concurrency.guard-held-across-suspension","scope":"conditional thread-affine NSLock obligation across suspension; no observed or inevitable thread migration claim","snapshot":"sha256:a352133f1fb6c4cd501dd4cdfe4fc90e36140772a7d845e75dee2c8d8fb349f3"},"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:a352133f1fb6c4cd501dd4cdfe4fc90e36140772a7d845e75dee2c8d8fb349f3"},"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","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:a352133f1fb6c4cd501dd4cdfe4fc90e36140772a7d845e75dee2c8d8fb349f3","sourceInputDigest":"cfb965d44054b0d991ffa3a903cacbdd848b974a7ed1d6b13bc7e12b55ad1327","status":"degraded","targetSourceCounts":{"Example":2}}