Swift Package Index

Build Information

Successful build of SwiftPropertyLaws, reference v4.10.0 (9e774f), with Swift 6.2 for Linux on 13 Oct 2026 06:15:22 UTC.

Swift 6 data race errors: 0

Build Command

bash -c docker run --pull=always --rm -v "checkouts-54344847-1":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/saguaro1/spi-images:basic-6.2-latest swift build --triple x86_64-unknown-linux-gnu 2>&1

Build Log

========================================
RunAll
========================================
Builder version: 5.1.1
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Reference: v4.10.0
Initialized empty Git repository in /host/spi-builder-workspace/.git/
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: 	git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: 	git branch -m <name>
From https://github.com/Joseph-Cursio/SwiftPropertyLaws
 * tag               v4.10.0    -> FETCH_HEAD
HEAD is now at 9e774fb Merge pull request #69 from Joseph-Cursio/scope-chain-type-lookup
Cloned https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Revision (git rev-parse @):
9e774fb84293658d9d0c4620f8cfcff26a8bfbb5
SUCCESS checkout https://github.com/Joseph-Cursio/SwiftPropertyLaws.git at v4.10.0
========================================
Build
========================================
Selected platform:         linux
Swift version:             6.2
Building package at path:  $PWD
https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-54344847-1":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/saguaro1/spi-images:basic-6.2-latest swift build --triple x86_64-unknown-linux-gnu 2>&1
basic-6.2-latest: Pulling from saguaro1/spi-images
Digest: sha256:24009fa1488c01937630ee3297a7a7a1872c773069724929dff85071fefc3743
Status: Image is up to date for registry.gitlab.com/saguaro1/spi-images:basic-6.2-latest
Fetching https://github.com/apple/swift-collections.git
Fetching https://github.com/x-sheep/swift-property-based.git
Fetching https://github.com/apple/swift-async-algorithms.git
Fetching https://github.com/swiftlang/swift-syntax.git
Fetching https://github.com/apple/swift-numerics.git
[1/6743] Fetching swift-numerics
[2/13564] Fetching swift-numerics, swift-async-algorithms
[13565/14899] Fetching swift-numerics, swift-async-algorithms, swift-property-based
Fetched https://github.com/x-sheep/swift-property-based.git from cache (0.68s)
[1/28744] Fetching swift-collections
Fetched https://github.com/apple/swift-async-algorithms.git from cache (1.44s)
Fetched https://github.com/apple/swift-collections.git from cache (1.45s)
[1/80467] Fetching swift-syntax
Fetched https://github.com/apple/swift-numerics.git from cache (3.70s)
Fetched https://github.com/swiftlang/swift-syntax.git from cache (3.72s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (4.68s)
Computing version for https://github.com/x-sheep/swift-property-based.git
Computed https://github.com/x-sheep/swift-property-based.git at 2.0.1 (0.14s)
Computing version for https://github.com/apple/swift-numerics.git
Computed https://github.com/apple/swift-numerics.git at 1.1.1 (0.14s)
Computing version for https://github.com/apple/swift-collections.git
Computed https://github.com/apple/swift-collections.git at 1.7.3 (0.23s)
Computing version for https://github.com/apple/swift-async-algorithms.git
Computed https://github.com/apple/swift-async-algorithms.git at 1.1.7 (0.20s)
Creating working copy for https://github.com/x-sheep/swift-property-based.git
Working copy of https://github.com/x-sheep/swift-property-based.git resolved at 2.0.1
Creating working copy for https://github.com/apple/swift-async-algorithms.git
Working copy of https://github.com/apple/swift-async-algorithms.git resolved at 1.1.7
Creating working copy for https://github.com/apple/swift-numerics.git
Working copy of https://github.com/apple/swift-numerics.git resolved at 1.1.1
Creating working copy for https://github.com/apple/swift-collections.git
Working copy of https://github.com/apple/swift-collections.git resolved at 1.7.3
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 602.0.0
Downloading package prebuilt https://download.swift.org/prebuilts/swift-syntax/602.0.0/swift-6.2.4-RELEASE-MacroSupport-ubuntu_noble_x86_64.tar.gz
Downloaded https://download.swift.org/prebuilts/swift-syntax/602.0.0/swift-6.2.4-RELEASE-MacroSupport-ubuntu_noble_x86_64.tar.gz (0.30s)
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:36:59: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
 34 |         let tool = try context.tool(named: "PropertyLawDiscoveryTool")
 35 |         let process = Process()
 36 |         process.executableURL = URL(fileURLWithPath: tool.path.string)
    |                                                           |- warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
    |                                                           `- note: use 'url' instead
 37 |         var toolArgs: [String] = [
 38 |             "--target", target,
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:36:64: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
 34 |         let tool = try context.tool(named: "PropertyLawDiscoveryTool")
 35 |         let process = Process()
 36 |         process.executableURL = URL(fileURLWithPath: tool.path.string)
    |                                                                `- warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
 37 |         var toolArgs: [String] = [
 38 |             "--target", target,
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:77:40: warning: 'directory' is deprecated: renamed to 'directoryURL' [#DeprecatedDeclaration]
 75 |     /// doesn't exist; commit 5 will create the dir if missing.
 76 |     private func defaultOutputPath(for target: Target, in context: PluginContext) -> String {
 77 |         let testsDir = context.package.directory
    |                                        |- warning: 'directory' is deprecated: renamed to 'directoryURL' [#DeprecatedDeclaration]
    |                                        `- note: use 'directoryURL' instead
 78 |             .appending(["Tests", "\(target.name)Tests"])
 79 |         return testsDir.appending(["PropertyLawTests.generated.swift"]).string
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:78:14: warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
 76 |     private func defaultOutputPath(for target: Target, in context: PluginContext) -> String {
 77 |         let testsDir = context.package.directory
 78 |             .appending(["Tests", "\(target.name)Tests"])
    |              `- warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
 79 |         return testsDir.appending(["PropertyLawTests.generated.swift"]).string
 80 |     }
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:79:25: warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
 77 |         let testsDir = context.package.directory
 78 |             .appending(["Tests", "\(target.name)Tests"])
 79 |         return testsDir.appending(["PropertyLawTests.generated.swift"]).string
    |                         `- warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
 80 |     }
 81 |
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:79:73: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
 77 |         let testsDir = context.package.directory
 78 |             .appending(["Tests", "\(target.name)Tests"])
 79 |         return testsDir.appending(["PropertyLawTests.generated.swift"]).string
    |                                                                         `- warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
 80 |     }
 81 |
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:129:26: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
127 |         guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
128 |         return sourceModuleTarget.sourceFiles
129 |             .filter { $0.path.extension == "swift" }
    |                          |- warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
    |                          `- note: use 'url' instead
130 |             .map { $0.path.string }
131 |             .sorted()
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:129:31: warning: 'extension' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
127 |         guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
128 |         return sourceModuleTarget.sourceFiles
129 |             .filter { $0.path.extension == "swift" }
    |                               `- warning: 'extension' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
130 |             .map { $0.path.string }
131 |             .sorted()
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:130:23: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
128 |         return sourceModuleTarget.sourceFiles
129 |             .filter { $0.path.extension == "swift" }
130 |             .map { $0.path.string }
    |                       |- warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
    |                       `- note: use 'url' instead
131 |             .sorted()
132 |     }
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:130:28: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
128 |         return sourceModuleTarget.sourceFiles
129 |             .filter { $0.path.extension == "swift" }
130 |             .map { $0.path.string }
    |                            `- warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
131 |             .sorted()
132 |     }
[#DeprecatedDeclaration]: <https://docs.swift.org/compiler/documentation/diagnostics/deprecated-declaration>
[1/1] Compiling plugin PropertyLawDiscoveryPlugin
Building for debugging...
[1/108] Write sources
[67/108] Compiling _NumericsShims _NumericsShims.c
[69/108] Compiling _SwiftSyntaxCShims PlatformMutex.c
[71/108] Write swift-version-24593BA9C3E375BF.txt
[73/124] Emitting module SwiftSyntax601
[74/124] Compiling SwiftSyntax602 Empty.swift
[75/124] Emitting module SwiftSyntax602
[76/125] Compiling SwiftSyntax600 Empty.swift
[77/125] Emitting module SwiftSyntax600
[78/125] Emitting module SwiftSyntax601
[79/125] Compiling SwiftSyntax601 Empty.swift
[83/127] Emitting module SwiftSyntax510
[84/127] Compiling SwiftSyntax510 Empty.swift
[85/139] Compiling SwiftSyntax601 Empty.swift
[87/144] Compiling SwiftSyntax509 Empty.swift
[88/144] Emitting module SwiftSyntax509
[89/145] Compiling SwiftSyntax509 Empty.swift
[90/145] Emitting module SwiftSyntax509
[94/147] Compiling RealModule RealFunctions.swift
[95/178] Compiling SwiftSyntax600 Empty.swift
[96/178] Emitting module SwiftSyntax600
[97/199] Compiling SwiftSyntax510 Empty.swift
[98/199] Emitting module SwiftSyntax510
[100/200] Compiling RealModule RealFunctions.swift
[102/207] Compiling RealModule RelaxedArithmetic.swift
[103/232] Compiling PropertyBased Gen+Collection.swift
[104/232] Compiling PropertyBased Gen+Color.swift
[105/232] Compiling RealModule RelaxedArithmetic.swift
[106/232] Compiling RealModule Real.swift
[107/263] Compiling RealModule Float16+Real.swift
[108/277] Compiling RealModule Real.swift
[109/291] Compiling InternalCollectionsUtilities BorrowingIteratorProtocol+Equality.swift
[110/291] Compiling InternalCollectionsUtilities BorrowingIteratorProtocol+Extras.swift
[111/291] Compiling RealModule Float16+Real.swift
[112/291] Compiling InternalCollectionsUtilities String+Padding.swift
[113/291] Compiling InternalCollectionsUtilities TemporaryAllocation.swift
[114/291] Compiling RealModule Float80+Real.swift
[115/293] Emitting module SwiftSyntax602
[116/293] Compiling SwiftSyntax602 Empty.swift
[119/294] Compiling InternalCollectionsUtilities Debugging.swift
[120/294] Compiling InternalCollectionsUtilities Descriptions.swift
[124/296] Compiling RealModule Float80+Real.swift
[125/296] Compiling PropertyLawCore TypeShape.swift
[126/296] Compiling InternalCollectionsUtilities UnsafeMutableRawBufferPointer+Extras.swift
[127/296] Compiling InternalCollectionsUtilities UnsafePointer+Extras.swift
[128/296] Compiling InternalCollectionsUtilities Span+Extras.swift
[129/296] Compiling InternalCollectionsUtilities Strideable+LimitHelpers.swift
[130/296] Emitting module RealModule
[133/300] Compiling InternalCollectionsUtilities FixedWidthInteger+roundUpToPowerOfTwo.swift
[134/300] Compiling InternalCollectionsUtilities Integer rank.swift
[135/300] Compiling InternalCollectionsUtilities MutableSpan+Extras.swift
[136/300] Compiling InternalCollectionsUtilities OutputSpan+Extras.swift
[138/363] Compiling SwiftSyntax SyntaxChildren.swift
[139/363] Compiling SwiftSyntax SyntaxCollection.swift
[140/363] Compiling SwiftSyntax SyntaxHashable.swift
[141/363] Emitting module PropertyLawCore
[142/363] Compiling SwiftSyntax Identifier.swift
[143/363] Compiling SwiftSyntax MemoryLayout.swift
[144/363] Compiling SwiftSyntax MissingNodeInitializers.swift
[145/363] Compiling SwiftSyntax RawSyntax.swift
[146/363] Compiling SwiftSyntax RawSyntaxArena.swift
[147/364] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[148/364] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[149/364] Compiling SwiftSyntax RawSyntaxTokenView.swift
[153/426] Compiling SwiftSyntax ChildNameForKeyPath.swift
[154/426] Compiling SwiftSyntax Keyword.swift
[155/426] Compiling SwiftSyntax RenamedChildrenCompatibility.swift
[156/426] Emitting module RealModule
[158/427] Compiling SwiftSyntax Assert.swift
[159/427] Compiling SwiftSyntax BumpPtrAllocator.swift
[160/427] Compiling SwiftSyntax CommonAncestor.swift
[161/427] Compiling SwiftSyntax AbsolutePosition.swift
[162/427] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[163/427] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[167/448] Compiling InternalCollectionsUtilities LifetimeOverride.swift
[168/448] Compiling InternalCollectionsUtilities MutableRef.swift
[169/448] Compiling InternalCollectionsUtilities FixedWidthInteger+roundUpToPowerOfTwo.swift
[170/448] Compiling InternalCollectionsUtilities Descriptions.swift
[171/448] Compiling InternalCollectionsUtilities Iterable+CopyContents.swift
[172/448] Compiling InternalCollectionsUtilities Iterable+Equality.swift
[173/455] Emitting module PropertyLawCore
[174/455] Compiling InternalCollectionsUtilities BorrowingIteratorProtocol+Equality.swift
[175/455] Compiling InternalCollectionsUtilities BorrowingIteratorProtocol+Extras.swift
[176/455] Compiling InternalCollectionsUtilities Debugging.swift
[187/458] Compiling InternalCollectionsUtilities Span+Extras.swift
[188/458] Compiling InternalCollectionsUtilities Strideable+LimitHelpers.swift
[190/459] Compiling InternalCollectionsUtilities Integer rank.swift
[191/459] Compiling InternalCollectionsUtilities UInt+first and last set bit.swift
[192/459] Compiling InternalCollectionsUtilities UInt+reversed.swift
[193/459] Compiling InternalCollectionsUtilities UnsafeMutablePointer+Extras.swift
[194/459] Compiling InternalCollectionsUtilities UnsafeMutableRawBufferPointer+Extras.swift
[195/459] Compiling InternalCollectionsUtilities UnsafePointer+Extras.swift
[197/459] Compiling InternalCollectionsUtilities UnsafeRawBufferPointer+Extras.swift
[198/459] Compiling InternalCollectionsUtilities _SortedCollection.swift
[199/459] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[203/471] Compiling ComplexModule Complex+StringConvertible.swift
[204/483] Compiling ComplexModule Complex+Hashable.swift
[205/483] Compiling ComplexModule Complex+IntegerLiteral.swift
[206/483] Compiling ComplexModule Complex+Numeric.swift
[207/483] Compiling ComplexModule Complex+AdditiveArithmetic.swift
[208/483] Compiling ComplexModule Complex+AlgebraicField.swift
[209/483] Compiling ComplexModule Complex+Codable.swift
[210/483] Compiling ComplexModule Complex+ElementaryFunctions.swift
[211/483] Compiling ComplexModule Polar.swift
[213/483] Compiling ComplexModule Complex.swift
[214/484] Compiling ComplexModule Scale.swift
[217/484] Compiling ComplexModule Complex+Numeric.swift
[222/484] Compiling ComplexModule Complex+StringConvertible.swift
[223/484] Compiling ComplexModule Complex.swift
[224/484] Compiling ComplexModule Scale.swift
[225/484] Emitting module InternalCollectionsUtilities
[226/484] Compiling InternalCollectionsUtilities _UnsafeBitSet+_Word.swift
[227/484] Compiling InternalCollectionsUtilities _UnsafeBitSet.swift
[228/484] Compiling InternalCollectionsUtilities UnsafeBufferPointer+Extras.swift
[229/484] Compiling InternalCollectionsUtilities UnsafeMutableBufferPointer+Extras.swift
[230/484] Compiling InternalCollectionsUtilities _UnsafeBitSet+Index.swift
[234/484] Compiling InternalCollectionsUtilities MutableSpan+Extras.swift
[235/484] Compiling InternalCollectionsUtilities OutputSpan+Extras.swift
[236/484] Compiling InternalCollectionsUtilities RandomAccessCollection+Offsets.swift
[238/485] Wrapping AST for SwiftSyntax602 for debugging
[242/489] Emitting module ComplexModule
[246/490] Compiling SpanPreview InputSpan.swift
[247/490] Emitting module SpanPreview
[248/490] Compiling SpanPreview MutableSpan+InputSpanHelpers.swift
[249/490] Compiling SpanPreview OutputSpan+InputSpanHelpers.swift
[251/491] Emitting module InternalCollectionsUtilities
[254/491] Emitting module ComplexModule
[258/557] Compiling HeapModule Heap+Invariants.swift
[259/557] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[260/591] Compiling HashTreeCollections _HashNode+Structural mapValues.swift
[261/591] Compiling HashTreeCollections _HashNode+Structural merge.swift
[262/591] Compiling HashTreeCollections _HashNode+Structural subtracting.swift
[263/591] Compiling HashTreeCollections _HashNode+Structural symmetricDifference.swift
[264/594] Compiling HashTreeCollections _HashNode+Structural intersection.swift
[265/594] Compiling HashTreeCollections _HashNode+Structural isDisjoint.swift
[266/594] Compiling HashTreeCollections _HashNode+Structural isEqualSet.swift
[267/594] Compiling HashTreeCollections _HashNode+Structural isSubset.swift
[268/594] Compiling HashTreeCollections _HashNode+Primitive Replacement.swift
[269/594] Compiling HashTreeCollections _HashNode+Storage.swift
[270/594] Compiling HashTreeCollections _HashNode+Structural compactMapValues.swift
[271/594] Compiling HashTreeCollections _HashNode+Structural filter.swift
[272/601] Compiling HeapModule Heap+Descriptions.swift
[274/634] Compiling HeapModule _HeapNode.swift
[275/634] Compiling HeapModule Heap.swift
[276/672] Compiling HeapModule Heap+Testing.swift
[277/672] Compiling HeapModule Heap+UnsafeHandle.swift
[278/676] Emitting module HeapModule
[280/677] Compiling HashTreeCollections TreeDictionary+Initializers.swift
[281/677] Compiling HashTreeCollections TreeDictionary+Keys.swift
[282/677] Compiling HashTreeCollections TreeDictionary+MapValues.swift
[283/677] Compiling HashTreeCollections TreeDictionary+Merge.swift
[284/677] Compiling HashTreeCollections TreeDictionary+Sendable.swift
[285/677] Compiling HashTreeCollections TreeDictionary+Sequence.swift
[286/677] Compiling HashTreeCollections TreeDictionary+Values.swift
[287/677] Compiling HashTreeCollections TreeDictionary.swift
[288/688] Compiling DequeModule UniqueDeque+Removals.swift
[289/688] Compiling HashTreeCollections TreeDictionary+CustomReflectable.swift
[290/688] Compiling HashTreeCollections TreeDictionary+Debugging.swift
[291/688] Compiling HashTreeCollections TreeDictionary+Descriptions.swift
[292/688] Compiling HashTreeCollections TreeDictionary+Equatable.swift
[293/688] Compiling HashTreeCollections TreeDictionary+ExpressibleByDictionaryLiteral.swift
[294/688] Compiling HashTreeCollections TreeDictionary+Filter.swift
[295/688] Compiling HashTreeCollections TreeDictionary+Hashable.swift
[296/688] Compiling SpanPreview InputSpan.swift
[297/688] Compiling SpanPreview OutputSpan+InputSpanHelpers.swift
[298/688] Compiling SpanPreview MutableSpan+InputSpanHelpers.swift
[299/688] Emitting module SpanPreview
[300/689] Compiling DequeModule UniqueDeque+Consumption.swift
[301/689] Compiling DequeModule UniqueDeque+ContainerOperations.swift
[302/689] Compiling DequeModule UniqueDeque+Deprecations.swift
[303/689] Compiling DequeModule UniqueDeque+Descriptions.swift
[304/689] Compiling DequeModule UniqueDeque+Equatable.swift
[305/689] Compiling DequeModule UniqueDeque+Hashable.swift
[307/694] Compiling HashTreeCollections TreeSet+Hashable.swift
[308/694] Compiling HashTreeCollections TreeSet+Sendable.swift
[309/694] Compiling HashTreeCollections TreeSet+Sequence.swift
[310/694] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[311/694] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[312/694] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[313/694] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[314/694] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[315/694] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[316/694] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[317/703] Compiling DequeModule UniqueDeque+Initializers.swift
[318/703] Compiling DequeModule UniqueDeque+Insertions.swift
[319/703] Compiling DequeModule UniqueDeque+Iterable.swift
[320/704] Compiling DequeModule UniqueDeque+Prepend.swift
[322/704] Compiling DequeModule RigidDeque+ContainerOperations.swift
[323/704] Compiling DequeModule RigidDeque+Deprecations.swift
[324/704] Compiling DequeModule RigidDeque+Descriptions.swift
[325/704] Compiling DequeModule RigidDeque+Equatable.swift
[326/704] Compiling DequeModule RigidDeque+Hashable.swift
[327/704] Compiling DequeModule RigidDeque+Initializers.swift
[328/704] Compiling DequeModule RigidDeque+Insertions.swift
[329/704] Compiling DequeModule RigidDeque+Iterable.swift
[331/704] Compiling OrderedCollections OrderedSet+Sendable.swift
[332/704] Compiling OrderedCollections OrderedSet+SubSequence.swift
[333/704] Compiling OrderedCollections OrderedSet+Testing.swift
[334/704] Compiling OrderedCollections OrderedSet+UnorderedView.swift
[335/704] Compiling OrderedCollections OrderedSet+UnstableInternals.swift
[336/704] Compiling OrderedCollections OrderedSet.swift
[337/704] Compiling OrderedCollections _UnsafeBitset.swift
[338/704] Compiling HashTreeCollections TreeSet+Extras.swift
[339/704] Compiling HashTreeCollections TreeSet+Filter.swift
[340/761] Compiling OrderedCollections OrderedDictionary+Partial MutableCollection.swift
[341/761] Compiling OrderedCollections OrderedDictionary+Partial RangeReplaceableCollection.swift
[342/761] Compiling OrderedCollections OrderedDictionary+Sendable.swift
[343/761] Compiling OrderedCollections OrderedDictionary+Sequence.swift
[344/761] Compiling OrderedCollections _HashTable+Bucket.swift
[345/761] Compiling OrderedCollections _HashTable+BucketIterator.swift
[346/761] Compiling OrderedCollections OrderedDictionary+Hashable.swift
[347/761] Compiling OrderedCollections OrderedDictionary+Initializers.swift
[348/761] Compiling OrderedCollections OrderedDictionary+Invariants.swift
[349/761] Compiling OrderedCollections OrderedDictionary+Move.swift
[354/761] Compiling OrderedCollections OrderedDictionary+Values.swift
[355/761] Compiling OrderedCollections OrderedDictionary.swift
[356/761] Compiling OrderedCollections OrderedSet+Codable.swift
[357/761] Compiling OrderedCollections OrderedSet+CustomReflectable.swift
[358/761] Compiling OrderedCollections OrderedSet+Descriptions.swift
[359/761] Compiling OrderedCollections OrderedSet+Diffing.swift
[360/761] Compiling OrderedCollections _HashTable+Constants.swift
[361/761] Compiling OrderedCollections _HashTable+CustomStringConvertible.swift
[362/761] Compiling OrderedCollections _HashTable+Testing.swift
[363/761] Compiling OrderedCollections _HashTable+UnsafeHandle.swift
[364/761] Compiling OrderedCollections _HashTable.swift
[365/761] Compiling OrderedCollections _Hashtable+Header.swift
[366/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isEqualSet.swift
[367/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSubset.swift
[368/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSuperset.swift
[369/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSubset.swift
[370/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSuperset.swift
[371/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtract.swift
[372/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtracting.swift
[373/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra symmetricDifference.swift
[374/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra union.swift
[375/761] Compiling OrderedCollections OrderedSet+Partial SetAlgebra+Basics.swift
[376/761] Compiling OrderedCollections OrderedSet+RandomAccessCollection.swift
[381/765] Compiling HashTreeCollections TreeSet+SetAlgebra isEqualSet.swift
[382/765] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSubset.swift
[383/765] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSuperset.swift
[384/765] Compiling HashTreeCollections TreeSet+SetAlgebra isSubset.swift
[385/765] Compiling HashTreeCollections TreeSet+SetAlgebra isSuperset.swift
[386/765] Compiling HashTreeCollections TreeSet+SetAlgebra subtract.swift
[387/765] Compiling HashTreeCollections TreeSet+SetAlgebra subtracting.swift
[388/765] Compiling HashTreeCollections TreeSet+SetAlgebra symmetricDifference.swift
[389/765] Compiling HashTreeCollections TreeSet+SetAlgebra union.swift
[390/765] Compiling HashTreeCollections TreeSet.swift
[402/769] Compiling OrderedCollections OrderedSet+ReserveCapacity.swift
[403/769] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formSymmetricDifference.swift
[404/769] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formUnion.swift
[405/769] Compiling OrderedCollections OrderedSet+Partial SetAlgebra intersection.swift
[406/769] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isDisjoint.swift
[417/776] Compiling PropertyBased Shrink+Tuple.swift
[418/776] Compiling PropertyBased Shrink.swift
[419/776] Compiling PropertyBased Xoshiro.swift
[420/776] Compiling PropertyBased Zip.swift
[421/776] Compiling OrderedCollections OrderedSet+Insertions.swift
[422/776] Compiling OrderedCollections OrderedSet+Invariants.swift
[423/776] Compiling OrderedCollections OrderedSet+Move.swift
[424/776] Compiling OrderedCollections OrderedSet+Partial MutableCollection.swift
[425/776] Compiling OrderedCollections OrderedSet+Partial RangeReplaceableCollection.swift
[426/776] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formIntersection.swift
[427/776] Compiling OrderedCollections OrderedDictionary+Codable.swift
[428/776] Compiling OrderedCollections OrderedDictionary+CustomReflectable.swift
[429/776] Compiling OrderedCollections OrderedDictionary+Deprecations.swift
[430/776] Compiling OrderedCollections OrderedDictionary+Descriptions.swift
[431/776] Compiling OrderedCollections OrderedDictionary+Elements.SubSequence.swift
[432/776] Compiling OrderedCollections OrderedDictionary+Elements.swift
[433/776] Compiling OrderedCollections OrderedDictionary+Equatable.swift
[434/776] Compiling OrderedCollections OrderedDictionary+ExpressibleByDictionaryLiteral.swift
[463/776] Compiling OrderedCollections OrderedSet+Sendable.swift
[464/776] Compiling OrderedCollections OrderedSet+SubSequence.swift
[465/776] Compiling OrderedCollections OrderedSet+Testing.swift
[466/776] Compiling OrderedCollections OrderedSet+UnorderedView.swift
[467/776] Compiling OrderedCollections OrderedSet+UnstableInternals.swift
[468/776] Compiling OrderedCollections OrderedSet.swift
[469/776] Compiling OrderedCollections _UnsafeBitset.swift
[560/792] Emitting module PropertyBased
[625/792] Emitting module OrderedCollections
[655/801] Compiling SwiftSyntax SyntaxNodesC.swift
[656/801] Compiling HeapModule Heap+Invariants.swift
[657/801] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[658/801] Compiling HeapModule Heap+Descriptions.swift
[664/801] Compiling HeapModule _HeapNode.swift
[665/801] Compiling HeapModule Heap.swift
[666/801] Emitting module OrderedCollections
[667/802] Emitting module HeapModule
[669/802] Compiling HeapModule Heap+Testing.swift
[670/802] Compiling HeapModule Heap+UnsafeHandle.swift
[672/805] Emitting module DequeModule
[674/976] Compiling BitCollections BitSet+Extras.swift
[675/976] Compiling BitCollections BitSet+Hashable.swift
[676/976] Compiling BitCollections BitSet+Initializers.swift
[677/976] Compiling BitCollections BitSet+Invariants.swift
[678/976] Compiling BitCollections BitSet+Random.swift
[679/976] Compiling BitCollections BitSet+SetAlgebra basics.swift
[680/981] Compiling BitCollections BitSet+SetAlgebra conformance.swift
[681/981] Compiling BitCollections BitSet+SetAlgebra formIntersection.swift
[682/981] Compiling BitCollections BitSet+SetAlgebra formSymmetricDifference.swift
[683/981] Compiling BitCollections BitSet+SetAlgebra formUnion.swift
[684/981] Compiling BitCollections BitSet+SetAlgebra intersection.swift
[685/981] Compiling BitCollections BinaryInteger extensions.swift
[686/981] Compiling BitCollections BitArray+BitwiseOperations.swift
[687/981] Compiling BitCollections BitArray+ChunkedBitsIterators.swift
[688/981] Compiling BitCollections BitArray+Codable.swift
[689/981] Compiling BitCollections BitArray+Collection.swift
[690/981] Compiling BitCollections BitArray+Copy.swift
[691/981] Emitting module HashTreeCollections
[693/982] Compiling HashTreeCollections TreeSet+Hashable.swift
[694/982] Compiling HashTreeCollections TreeSet+Sendable.swift
[695/982] Compiling HashTreeCollections TreeSet+Sequence.swift
[696/982] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[697/982] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[698/982] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[699/982] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[700/982] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[701/982] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[702/982] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[703/1009] Compiling BitCollections BitSet+Codable.swift
[704/1009] Compiling BitCollections BitSet+CustomDebugStringConvertible.swift
[705/1009] Compiling BitCollections BitSet+CustomReflectable.swift
[706/1009] Compiling BitCollections BitSet+CustomStringConvertible.swift
[707/1009] Compiling BitCollections BitSet+Equatable.swift
[708/1009] Compiling BitCollections BitSet+ExpressibleByArrayLiteral.swift
[709/1015] Compiling BitCollections BitArray+Fill.swift
[710/1015] Compiling BitCollections BitArray+Hashable.swift
[711/1015] Compiling BitCollections BitArray+Initializers.swift
[712/1015] Compiling BitCollections BitArray+Invariants.swift
[713/1015] Compiling BitCollections BitArray+LosslessStringConvertible.swift
[714/1015] Compiling BitCollections BitArray+RandomBits.swift
[719/1046] Compiling BitCollections BitArray+RangeReplaceableCollection.swift
[720/1046] Compiling BitCollections BitArray+Shifts.swift
[721/1046] Compiling BitCollections BitArray+Testing.swift
[722/1046] Compiling BitCollections BitArray._UnsafeHandle.swift
[727/1046] Compiling BitCollections BitArray.swift
[728/1046] Compiling BitCollections BitSet+BidirectionalCollection.swift
[729/1046] Compiling BitCollections BitSet+Codable.swift
[730/1046] Compiling BitCollections BitSet+CustomDebugStringConvertible.swift
[731/1048] Compiling BitCollections BitSet+Initializers.swift
[732/1048] Compiling BitCollections BitSet+Invariants.swift
[733/1048] Compiling BitCollections BitSet+Random.swift
[734/1048] Compiling BitCollections BitSet+SetAlgebra basics.swift
[735/1048] Compiling BitCollections BitSet+SetAlgebra conformance.swift
[736/1048] Compiling BitCollections BitSet+SetAlgebra formIntersection.swift
[737/1048] Compiling BitCollections BitSet+SetAlgebra formSymmetricDifference.swift
[740/1048] Compiling BitCollections BitSet+CustomReflectable.swift
[741/1048] Compiling BitCollections BitSet+CustomStringConvertible.swift
[742/1048] Compiling BitCollections BitSet+Equatable.swift
[743/1048] Compiling BitCollections BitSet+ExpressibleByArrayLiteral.swift
[744/1048] Compiling BitCollections BitSet+Extras.swift
[745/1048] Compiling BitCollections BitSet+Hashable.swift
[748/1055] Compiling BitCollections BitSet+SetAlgebra isStrictSuperset.swift
[749/1055] Compiling BitCollections BitSet+SetAlgebra isSubset.swift
[750/1055] Compiling BitCollections BitSet+SetAlgebra isSuperset.swift
[751/1055] Compiling BitCollections BitSet+SetAlgebra subtract.swift
[752/1055] Compiling BitCollections BitSet+SetAlgebra subtracting.swift
[753/1055] Compiling BitCollections BitSet+SetAlgebra symmetricDifference.swift
[754/1055] Compiling BitCollections BitSet+SetAlgebra union.swift
[755/1055] Compiling BitCollections BitSet+Sorted Collection APIs.swift
[756/1055] Compiling BitCollections BitSet.Counted.swift
[757/1055] Compiling BitCollections BitSet.Index.swift
[758/1055] Compiling BitCollections BitArray+Equatable.swift
[759/1055] Compiling BitCollections BitArray+ExpressibleByArrayLiteral.swift
[760/1055] Compiling BitCollections BitArray+ExpressibleByStringLiteral.swift
[761/1055] Compiling BitCollections BitArray+Extras.swift
[766/1127] Compiling AsyncAlgorithms FlatMapLatestStorage.swift
[767/1127] Compiling AsyncAlgorithms Disconnected.swift
[768/1127] Compiling AsyncAlgorithms _TinyArray.swift
[769/1127] Compiling AsyncAlgorithms AsyncInterspersedSequence.swift
[770/1127] Compiling AsyncAlgorithms Locking.swift
[771/1127] Compiling AsyncAlgorithms AsyncCombineLatest3Sequence.swift
[772/1127] Compiling AsyncAlgorithms CombineLatestStateMachine.swift
[773/1127] Compiling AsyncAlgorithms CombineLatestStorage.swift
[774/1127] Compiling AsyncAlgorithms AsyncDebounceSequence.swift
[775/1127] Compiling AsyncAlgorithms DebounceStateMachine.swift
[776/1127] Compiling AsyncAlgorithms DebounceStorage.swift
[777/1167] Compiling PropertyLawKit AggregateDriver.swift
[778/1167] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[779/1167] Compiling PropertyLawKit CheckPreflight.swift
[780/1167] Compiling PropertyLawKit CoverageAccumulator.swift
[781/1167] Compiling PropertyLawKit DrawPoolDriver.swift
[782/1167] Compiling PropertyLawKit EnumerationDriver.swift
[783/1167] Compiling PropertyLawKit EqualValueLawBuilders.swift
[784/1167] Compiling PropertyLawKit InheritedLawCollector.swift
[785/1171] Emitting module BitCollections
[786/1207] Compiling PropertyLawKit Group.swift
[787/1207] Compiling PropertyLawKit GroupLaws.swift
[788/1207] Compiling PropertyLawKit HashableLaws.swift
[789/1207] Compiling PropertyLawKit IdentifiableLaws.swift
[790/1207] Compiling PropertyLawKit InteractionInvariant.swift
[791/1207] Compiling PropertyLawKit InteractionInvariantLaws+Async.swift
[792/1207] Compiling PropertyLawKit BinaryIntegerLaws.swift
[793/1207] Compiling PropertyLawKit EquatableLaws.swift
[794/1207] Compiling PropertyLawKit EveryCarrierLaws.swift
[795/1207] Compiling PropertyLawKit EveryCaseLaws.swift
[796/1207] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
[797/1207] Compiling PropertyLawKit FloatingPointCommutativityLaws.swift
[798/1207] Compiling PropertyLawKit FloatingPointLaws.swift
[799/1207] Compiling PropertyLawKit FoundationGenerators.swift
[800/1207] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[801/1207] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[802/1207] Compiling PropertyLawKit RawRepresentableLaws.swift
[803/1207] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[804/1207] Compiling PropertyLawKit Ring.swift
[805/1207] Compiling PropertyLawKit RingLaws.swift
[806/1207] Compiling PropertyLawKit SameResult.swift
[807/1207] Compiling PropertyLawKit Semigroup.swift
[808/1207] Compiling PropertyLawKit SemigroupLaws.swift
[809/1207] Compiling PropertyLawKit Semilattice.swift
[812/1207] Compiling PropertyLawKit LawCheckBuilders.swift
[813/1207] Compiling PropertyLawKit LawSuppressionPolicy.swift
[814/1207] Compiling PropertyLawKit NearMissCollector.swift
[815/1207] Compiling PropertyLawKit PerLawDriver.swift
[816/1207] Compiling PropertyLawKit CodableLawConfig.swift
[817/1207] Compiling PropertyLawKit CodableRoundTripMode.swift
[818/1207] Compiling PropertyLawKit EnforcementMode.swift
[819/1207] Compiling PropertyLawKit Environment.swift
[820/1207] Compiling PropertyLawKit EqualValuePairing.swift
[821/1207] Compiling PropertyLawKit InputSource.swift
[829/1207] Compiling PropertyLawKit StrictnessTier.swift
[830/1207] Compiling PropertyLawKit TrialBudget.swift
[831/1207] Compiling PropertyLawKit PropertyLawKit.swift
[832/1207] Compiling PropertyLawKit ActionSequenceFactory.swift
[833/1207] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[834/1207] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[835/1207] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[836/1207] Compiling PropertyLawKit LawCheckOptions.swift
[837/1207] Compiling PropertyLawKit LawIdentifier.swift
[838/1207] Compiling PropertyLawKit LawSelection.swift
[839/1207] Compiling PropertyLawKit LawSuppression.swift
[840/1207] Compiling PropertyLawKit PropertyLawViolation.swift
[841/1207] Compiling PropertyLawKit Seed.swift
[842/1207] Compiling PropertyLawKit SequenceLawOptions.swift
[843/1207] Compiling PropertyLawKit SpaceCoverage.swift
[862/1207] Compiling PropertyLawKit CaseIterableLaws.swift
[863/1207] Compiling PropertyLawKit CodableLaws.swift
[864/1207] Compiling PropertyLawKit CollectionLaws.swift
[865/1207] Compiling PropertyLawKit CommutativeMonoid.swift
[866/1207] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[867/1207] Compiling PropertyLawKit ComparableLaws.swift
[868/1207] Compiling PropertyLawKit CoverageClassifier.swift
[876/1207] Emitting module BitCollections
[885/1207] Compiling PropertyLawKit CheckResult.swift
[886/1207] Compiling PropertyLawKit CodableCodec.swift
[897/1207] Compiling PropertyLawKit PropertyLawSuiteRunner.swift
[898/1207] Compiling PropertyLawKit ReplayEnvironmentValidator.swift
[899/1207] Compiling PropertyLawKit SpaceSampling.swift
[900/1207] Compiling PropertyLawKit ViolationFormatter.swift
[902/1300] Compiling PropertyLawKit AggregateDriver.swift
[903/1300] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[904/1300] Compiling PropertyLawKit CheckPreflight.swift
[905/1300] Compiling PropertyLawKit CoverageAccumulator.swift
[906/1300] Compiling PropertyLawKit DrawPoolDriver.swift
[907/1300] Compiling PropertyLawKit EnumerationDriver.swift
[908/1300] Compiling PropertyLawKit EqualValueLawBuilders.swift
[909/1300] Compiling PropertyLawKit InheritedLawCollector.swift
[910/1307] Compiling PropertyLawKit CheckResult.swift
[911/1307] Compiling PropertyLawKit CodableCodec.swift
[912/1307] Compiling PropertyLawKit CodableLawConfig.swift
[913/1307] Compiling PropertyLawKit CodableRoundTripMode.swift
[914/1307] Compiling PropertyLawKit EnforcementMode.swift
[915/1307] Compiling PropertyLawKit Environment.swift
[916/1307] Compiling PropertyLawKit EqualValuePairing.swift
[917/1307] Compiling PropertyLawKit InputSource.swift
[927/1310] Emitting module AsyncAlgorithms
[928/1310] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[929/1310] Emitting module PropertyLawComplex
[931/1311] Compiling PropertyLawKit LawCheckOptions.swift
[932/1311] Compiling PropertyLawKit LawIdentifier.swift
[933/1311] Compiling PropertyLawKit LawSelection.swift
[934/1311] Compiling PropertyLawKit LawSuppression.swift
[935/1311] Compiling PropertyLawKit PropertyLawViolation.swift
[936/1311] Compiling PropertyLawKit Seed.swift
[937/1311] Compiling PropertyLawKit SequenceLawOptions.swift
[938/1313] Emitting module HashTreeCollections
[947/1313] Compiling PropertyLawKit LawCheckBuilders.swift
[948/1313] Compiling PropertyLawKit LawSuppressionPolicy.swift
[949/1313] Compiling PropertyLawKit NearMissCollector.swift
[950/1313] Compiling PropertyLawKit PerLawDriver.swift
[951/1313] Compiling PropertyLawKit PropertyLawSuiteRunner.swift
[952/1313] Compiling PropertyLawKit ReplayEnvironmentValidator.swift
[953/1313] Compiling PropertyLawKit SpaceSampling.swift
[954/1313] Compiling PropertyLawKit ViolationFormatter.swift
[961/1313] Compiling AsyncAlgorithms UnsafeTransfer.swift
[962/1313] Compiling AsyncAlgorithms AsyncZip2Sequence.swift
[963/1313] Compiling AsyncAlgorithms AsyncZip3Sequence.swift
[964/1313] Compiling AsyncAlgorithms ZipStateMachine.swift
[965/1313] Compiling AsyncAlgorithms ZipStorage.swift
[966/1313] Compiling PropertyLawKit Group.swift
[967/1313] Compiling PropertyLawKit GroupLaws.swift
[968/1313] Compiling PropertyLawKit HashableLaws.swift
[969/1313] Compiling PropertyLawKit IdentifiableLaws.swift
[970/1313] Compiling PropertyLawKit InteractionInvariant.swift
[971/1313] Compiling PropertyLawKit InteractionInvariantLaws+Async.swift
[972/1314] Emitting module PropertyLawComplex
[973/1314] Wrapping AST for SwiftSyntax602 for debugging
[975/1314] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[975/1315] Wrapping AST for SwiftSyntax601 for debugging
[986/1315] Wrapping AST for SwiftSyntax600 for debugging
[987/1315] Wrapping AST for SwiftSyntax510 for debugging
[988/1315] Wrapping AST for SwiftSyntax600 for debugging
[989/1315] Wrapping AST for SwiftSyntax510 for debugging
[991/1315] Compiling PropertyLawKit CodableLaws.swift
[992/1315] Compiling PropertyLawKit CollectionLaws.swift
[993/1315] Compiling PropertyLawKit CommutativeMonoid.swift
[994/1315] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[995/1315] Compiling PropertyLawKit ComparableLaws.swift
[995/1315] Wrapping AST for SwiftSyntax509 for debugging
[997/1315] Wrapping AST for PropertyLawCore for debugging
[1005/1315] Compiling PropertyLawKit SpaceCoverage.swift
[1006/1315] Compiling PropertyLawKit StrictnessTier.swift
[1007/1315] Compiling PropertyLawKit TrialBudget.swift
[1008/1315] Compiling PropertyLawKit PropertyLawKit.swift
[1009/1315] Compiling PropertyLawKit ActionSequenceFactory.swift
[1010/1315] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[1011/1315] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[1012/1315] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[1013/1315] Compiling PropertyLawKit BinaryIntegerLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
[1014/1315] Compiling PropertyLawKit CaseIterableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
[1020/1315] Compiling PropertyLawKit CoverageClassifier.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
[1021/1315] Compiling PropertyLawKit DefensiveCopy.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
[1022/1315] Compiling PropertyLawKit DefensiveCopyLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
[1023/1315] Compiling PropertyLawKit Enumeration.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
[1024/1315] Compiling PropertyLawKit EnumerationCombinators.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
[1025/1315] Compiling PropertyLawKit EnumerationProduct.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
[1039/1327] Compiling PropertyLawKit InteractionInvariantLaws.swift
[1047/1327] Compiling PropertyLawKit InvariantFalsifiabilityLaw.swift
[1048/1327] Compiling PropertyLawKit IteratorProtocolLaws.swift
[1049/1327] Compiling PropertyLawKit LosslessStringConvertibleLaws.swift
[1050/1327] Compiling PropertyLawKit Monoid.swift
[1051/1327] Compiling PropertyLawKit MonoidLaws.swift
[1052/1327] Compiling PropertyLawKit MutableCollectionLaws.swift
[1053/1327] Compiling PropertyLawKit NumericGenerators.swift
[1054/1327] Compiling PropertyLawKit NumericLaws.swift
[1055/1327] Compiling PropertyLawKit PropertyBackend.swift
[1056/1327] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[1057/1327] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[1058/1327] Compiling PropertyLawKit RawRepresentableLaws.swift
[1059/1327] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[1060/1327] Compiling PropertyLawKit Ring.swift
[1061/1327] Compiling PropertyLawKit RingLaws.swift
[1062/1327] Compiling PropertyLawKit SameResult.swift
[1063/1327] Compiling PropertyLawKit Semigroup.swift
[1064/1327] Compiling PropertyLawKit SemigroupLaws.swift
[1065/1327] Compiling PropertyLawKit Semilattice.swift
[1066/1327] Compiling PropertyLawKit SemilatticeLaws.swift
[1067/1327] Compiling PropertyLawKit SequenceLaws.swift
[1068/1327] Compiling PropertyLawKit SetAlgebraLaws.swift
[1069/1327] Compiling PropertyLawKit SignedIntegerLaws.swift
[1070/1327] Compiling PropertyLawKit SignedNumericLaws.swift
[1071/1327] Compiling PropertyLawKit StableIdentity.swift
[1072/1327] Compiling AsyncAlgorithms Rethrow.swift
[1073/1327] Compiling AsyncAlgorithms SetAlgebra.swift
[1079/1327] Emitting module DequeModule
[1081/1328] Emitting module PropertyLawKit
[1108/1393] Emitting module SwiftSyntax
[1109/1393] Emitting module PropertyLawKit
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1123/1393] Compiling AsyncAlgorithms AsyncMapErrorSequence.swift
[1124/1393] Compiling AsyncAlgorithms AsyncRemoveDuplicatesSequence.swift
[1125/1393] Compiling AsyncAlgorithms AsyncShareSequence.swift
[1126/1393] Compiling AsyncAlgorithms UnboundedBufferStateMachine.swift
[1127/1393] Compiling AsyncAlgorithms UnboundedBufferStorage.swift
[1128/1393] Compiling AsyncAlgorithms AsyncChannel.swift
[1129/1393] Compiling AsyncAlgorithms AsyncThrowingChannel.swift
[1130/1393] Compiling AsyncAlgorithms ChannelStateMachine.swift
[1131/1393] Compiling AsyncAlgorithms ChannelStorage.swift
[1132/1393] Compiling AsyncAlgorithms AsyncCombineLatest2Sequence.swift
[1133/1393] Compiling AsyncAlgorithms AsyncSyncSequence.swift
[1134/1393] Compiling AsyncAlgorithms AsyncThrottleSequence.swift
[1135/1393] Compiling AsyncAlgorithms AsyncThrowingExclusiveReductionsSequence.swift
[1136/1393] Compiling AsyncAlgorithms AsyncThrowingInclusiveReductionsSequence.swift
[1137/1393] Compiling AsyncAlgorithms AsyncTimerSequence.swift
[1138/1393] Compiling AsyncAlgorithms AsyncBufferSequence.swift
[1139/1393] Compiling AsyncAlgorithms BoundedBufferStateMachine.swift
[1140/1393] Compiling AsyncAlgorithms BoundedBufferStorage.swift
[1141/1393] Compiling AsyncAlgorithms AsyncCombineLatest3Sequence.swift
[1142/1393] Compiling AsyncAlgorithms CombineLatestStateMachine.swift
[1143/1393] Compiling AsyncAlgorithms CombineLatestStorage.swift
[1144/1393] Compiling AsyncAlgorithms AsyncDebounceSequence.swift
[1145/1393] Compiling AsyncAlgorithms DebounceStateMachine.swift
[1146/1393] Compiling AsyncAlgorithms DebounceStorage.swift
[1147/1393] Compiling AsyncAlgorithms Dictionary.swift
[1148/1393] Compiling AsyncAlgorithms AsyncFlatMapLatestSequence.swift
[1149/1393] Compiling AsyncAlgorithms FlatMapLatestStateMachine.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1150/1393] Compiling AsyncAlgorithms FlatMapLatestStorage.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1151/1393] Compiling AsyncAlgorithms Disconnected.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1152/1393] Compiling AsyncAlgorithms _TinyArray.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1153/1393] Compiling AsyncAlgorithms AsyncInterspersedSequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1154/1393] Compiling AsyncAlgorithms Locking.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1155/1393] Compiling AsyncAlgorithms AsyncMerge2Sequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1156/1393] Compiling AsyncAlgorithms AsyncMerge3Sequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1157/1393] Compiling AsyncAlgorithms MergeStateMachine.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1158/1393] Compiling AsyncAlgorithms MergeStorage.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1159/1393] Compiling AsyncAlgorithms MultiProducerSingleConsumerAsyncChannel+Internal.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1160/1393] Compiling AsyncAlgorithms MultiProducerSingleConsumerAsyncChannel.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
[1161/1393] Compiling AsyncAlgorithms RangeReplaceableCollection.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 |     let applications = Applications()
104 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
105 |         "Comparable.antisymmetry",
106 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 |     let applications = Applications()
124 |     return await reportingApplications(applications, of: await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
125 |         "Comparable.transitivity",
126 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 |     let applications = Applications()
132 |     return await reportingApplications(applications, of: await runEqualityChainLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
133 |         "Equatable.transitivity",
134 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
 85 | ) async -> CheckResult {
 86 |     let applications = Applications()
 87 |     return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
 88 |         "Hashable.equalityConsistency",
 89 |         source: source,
[1216/1394] Emitting module SwiftSyntax
[1224/1401] Compiling PropertyLawKit StableIdentityLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1225/1401] Compiling PropertyLawKit StatefulGuard.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1226/1401] Compiling PropertyLawKit StdlibGenerators.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1227/1401] Compiling PropertyLawKit StrictWeakOrderingLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1228/1401] Compiling PropertyLawKit StrictWeakOrderingVacuity.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1229/1401] Compiling PropertyLawKit StrideableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1230/1401] Compiling PropertyLawKit StringProtocolLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1231/1401] Compiling PropertyLawKit TransformationFunctionLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1232/1401] Compiling PropertyLawKit TransformationLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1233/1401] Compiling PropertyLawKit UnsignedIntegerLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1234/1401] Compiling PropertyLawKit ValueSemantic.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1235/1401] Compiling PropertyLawKit ValueSemanticLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1237/1428] Compiling PropertyLawCollections OrderedSetGenerators.swift
[1238/1429] Compiling PropertyLawCollections OrderedDictionaryGenerators.swift
[1239/1429] Compiling PropertyLawMinimalTypes MinimalIndex.swift
[1240/1429] Compiling PropertyLawMinimalTypes MinimalGenerators.swift
[1241/1429] Compiling PropertyLawCollections PropertyLawCollections.swift
[1242/1429] Compiling PropertyLawAsync GlobalEnqueueHook.swift
[1243/1429] Emitting module PropertyLawAsync
[1244/1429] Emitting module PropertyLawCollections
[1245/1429] Compiling PropertyLawCollections DequeLayouts.swift
[1246/1429] Compiling PropertyLawCollections DequeSymmetryLaws.swift
[1247/1429] Compiling PropertyLawCollections BitSetGenerators.swift
[1248/1429] Compiling PropertyLawCollections DequeGenerators.swift
[1249/1429] Compiling PropertyLawCollections OrderPreservationLaws.swift
[1250/1429] Emitting module PropertyLawMinimalTypes
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 |     return try await runPropertyLawSuite(options: options) {
175 |         [
176 |             await requiringApplicableCases(await runBinaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
177 |                 "StrictWeakOrdering.discrimination",
178 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 |     return try await runPropertyLawSuite(options: options) {
270 |         [
271 |             await requiringApplicableCases(await runTernaryLaw(
    |             `- warning: no 'async' operations occur within 'await' expression
272 |                 "StrictWeakOrdering.congruence",
273 |                 tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 |     let applications = Applications()
334 |     return await requiringApplicableCases(await runTernaryLaw(
    |            `- warning: no 'async' operations occur within 'await' expression
335 |         "StrictWeakOrdering.transitivity",
336 |         source: source,
[1263/1430] Compiling PropertyLawMinimalTypes MinimalCollections.swift
[1264/1430] Compiling PropertyLawMinimalTypes MinimalCodec.swift
[1265/1430] Compiling PropertyLawCollections HashTreeGenerators.swift
[1266/1430] Compiling PropertyLawCollections HeapGenerators.swift
[1267/1430] Compiling PropertyLawCollections HeapLaws.swift
[1268/1431] Compiling PropertyLawAsync VirtualClock.swift
[1269/1431] Compiling PropertyLawAsync VirtualTimeScheduler.swift
[1272/1431] Compiling AsyncAlgorithms AsyncCompactedSequence.swift
[1273/1431] Compiling AsyncAlgorithms AsyncExclusiveReductionsSequence.swift
[1274/1431] Compiling AsyncAlgorithms AsyncInclusiveReductionsSequence.swift
[1275/1431] Compiling AsyncAlgorithms AsyncJoinedBySeparatorSequence.swift
[1276/1431] Compiling AsyncAlgorithms AsyncJoinedSequence.swift
[1286/1431] Compiling AsyncAlgorithms AsyncChunksOfCountOrSignalSequence.swift
[1287/1431] Compiling AsyncAlgorithms AsyncChunksOfCountSequence.swift
[1288/1431] Emitting module AsyncAlgorithms
[1289/1450] Compiling PropertyLawMinimalTypes MinimalEncoder.swift
[1290/1450] Compiling PropertyLawMinimalTypes MinimalCodableValue.swift
[1291/1450] Compiling PropertyLawMinimalTypes MinimalIndex.swift
[1292/1450] Compiling PropertyLawMinimalTypes MinimalDecoder.swift
[1293/1451] Compiling PropertyLawAsync AsyncOrderLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:27:26: warning: no calls to throwing functions occur within 'try' expression
25 |             // concatenation asserts no element is dropped, invented, or
26 |             // duplicated — while deliberately saying nothing about order.
27 |             let merged = try await collect(merge(first.async, second.async))
   |                          `- warning: no calls to throwing functions occur within 'try' expression
28 |             return merged.sorted() == (first + second).sorted()
29 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:51:26: warning: no calls to throwing functions occur within 'try' expression
49 |             // Unlike merge, zip IS order-deterministic: pairwise correspondence
50 |             // and length (min of the inputs) match Swift.zip exactly.
51 |             let zipped = try await collect(zip(first.async, second.async))
   |                          `- warning: no calls to throwing functions occur within 'try' expression
52 |             let model = Array(Swift.zip(first, second))
53 |             return zipped.count == Swift.min(first.count, second.count)
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:80:19: warning: no calls to throwing functions occur within 'try' expression
78 |             // exhaustion behavior of the wrapper types is covered too.
79 |             var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 |             while try await iterator.next() != nil { continue }
   |                   `- warning: no calls to throwing functions occur within 'try' expression
81 |             let afterFirstNil = try await iterator.next()
82 |             let afterSecondNil = try await iterator.next()
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:81:33: warning: no calls to throwing functions occur within 'try' expression
79 |             var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 |             while try await iterator.next() != nil { continue }
81 |             let afterFirstNil = try await iterator.next()
   |                                 `- warning: no calls to throwing functions occur within 'try' expression
82 |             let afterSecondNil = try await iterator.next()
83 |             return afterFirstNil == nil && afterSecondNil == nil
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:82:34: warning: no calls to throwing functions occur within 'try' expression
80 |             while try await iterator.next() != nil { continue }
81 |             let afterFirstNil = try await iterator.next()
82 |             let afterSecondNil = try await iterator.next()
   |                                  `- warning: no calls to throwing functions occur within 'try' expression
83 |             return afterFirstNil == nil && afterSecondNil == nil
84 |         },
[1294/1451] Compiling PropertyLawAsync AsyncSequenceLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:98:27: warning: no calls to throwing functions occur within 'try' expression
 96 |         property: { sample in
 97 |             let size = sample.count % 4 + 1
 98 |             let chunked = try await collect(sample.async.chunks(ofCount: size))
    |                           `- warning: no calls to throwing functions occur within 'try' expression
 99 |             return chunked == syncChunks(sample, size: size)
100 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:120:27: warning: no calls to throwing functions occur within 'try' expression
118 |         property: { sample in
119 |             let size = sample.count % 4 + 1
120 |             let chunked = try await collect(sample.async.chunks(ofCount: size))
    |                           `- warning: no calls to throwing functions occur within 'try' expression
121 |             return chunked.flatMap { $0 } == sample
122 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:141:25: warning: no calls to throwing functions occur within 'try' expression
139 |         options: options,
140 |         property: { sample in
141 |             let pairs = try await collect(sample.async.adjacentPairs())
    |                         `- warning: no calls to throwing functions occur within 'try' expression
142 |             let model = Array(zip(sample, sample.dropFirst()))
143 |             return pairs.count == model.count
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:164:32: warning: no calls to throwing functions occur within 'try' expression
162 |         options: options,
163 |         property: { sample in
164 |             let deduplicated = try await collect(sample.async.removeDuplicates())
    |                                `- warning: no calls to throwing functions occur within 'try' expression
165 |             return deduplicated == syncRemoveConsecutiveDuplicates(sample)
166 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:190:32: warning: no calls to throwing functions occur within 'try' expression
188 |             // with and no separator to derive.
189 |             guard let separator = sample.first else { return true }
190 |             let interspersed = try await collect(sample.async.interspersed(with: separator))
    |                                `- warning: no calls to throwing functions occur within 'try' expression
191 |             return interspersed == syncInterspersed(sample, separator: separator)
192 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:216:29: warning: no calls to throwing functions occur within 'try' expression
214 |                 pair.offset % 3 == 0 ? nil : pair.element
215 |             }
216 |             let compacted = try await collect(optionals.async.compacted())
    |                             `- warning: no calls to throwing functions occur within 'try' expression
217 |             return compacted == optionals.compactMap { $0 }
218 |         },
[1296/1451] Compiling PropertyLawCollections OrderedSetGenerators.swift
[1297/1452] Emitting module PropertyLawCollections
[1298/1452] Compiling PropertyLawCollections OrderedDictionaryGenerators.swift
[1299/1452] Compiling PropertyLawCollections PropertyLawCollections.swift
[1300/1452] Compiling PropertyLawAsync TimedAsyncLaws.swift
[1317/1453] Compiling PropertyLawCollections BitSetGenerators.swift
[1318/1453] Compiling PropertyLawCollections DequeGenerators.swift
[1319/1453] Compiling PropertyLawCollections OrderPreservationLaws.swift
[1320/1453] Compiling PropertyLawCollections HeapLaws.swift
[1321/1453] Compiling PropertyLawCollections DequeLayouts.swift
[1322/1453] Compiling PropertyLawCollections DequeSymmetryLaws.swift
[1323/1453] Compiling PropertyLawCollections HashTreeGenerators.swift
[1324/1453] Compiling PropertyLawCollections HeapGenerators.swift
[1326/1454] Compiling PropertyLawMinimalTypes MinimalGenerators.swift
[1327/1454] Compiling PropertyLawMinimalTypes MinimalEncoder.swift
[1328/1454] Compiling AsyncAlgorithms Rethrow.swift
[1329/1454] Compiling AsyncAlgorithms SetAlgebra.swift
[1330/1454] Compiling AsyncAlgorithms UnsafeTransfer.swift
[1331/1454] Compiling AsyncAlgorithms AsyncZip2Sequence.swift
[1332/1454] Compiling AsyncAlgorithms AsyncZip3Sequence.swift
[1333/1454] Compiling AsyncAlgorithms ZipStateMachine.swift
[1334/1454] Compiling AsyncAlgorithms ZipStorage.swift
[1335/1454] Compiling PropertyLawMinimalTypes MinimalDecoder.swift
[1336/1454] Compiling PropertyLawMinimalTypes MinimalCollections.swift
[1337/1454] Compiling PropertyLawMinimalTypes MinimalCodec.swift
[1338/1454] Compiling PropertyLawMinimalTypes MinimalCodableValue.swift
[1339/1454] Emitting module PropertyLawMinimalTypes
[1356/1463] Emitting module PropertyLawAsync
[1357/1463] Compiling PropertyLawAsync AsyncOrderLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:27:26: warning: no calls to throwing functions occur within 'try' expression
25 |             // concatenation asserts no element is dropped, invented, or
26 |             // duplicated — while deliberately saying nothing about order.
27 |             let merged = try await collect(merge(first.async, second.async))
   |                          `- warning: no calls to throwing functions occur within 'try' expression
28 |             return merged.sorted() == (first + second).sorted()
29 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:51:26: warning: no calls to throwing functions occur within 'try' expression
49 |             // Unlike merge, zip IS order-deterministic: pairwise correspondence
50 |             // and length (min of the inputs) match Swift.zip exactly.
51 |             let zipped = try await collect(zip(first.async, second.async))
   |                          `- warning: no calls to throwing functions occur within 'try' expression
52 |             let model = Array(Swift.zip(first, second))
53 |             return zipped.count == Swift.min(first.count, second.count)
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:80:19: warning: no calls to throwing functions occur within 'try' expression
78 |             // exhaustion behavior of the wrapper types is covered too.
79 |             var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 |             while try await iterator.next() != nil { continue }
   |                   `- warning: no calls to throwing functions occur within 'try' expression
81 |             let afterFirstNil = try await iterator.next()
82 |             let afterSecondNil = try await iterator.next()
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:81:33: warning: no calls to throwing functions occur within 'try' expression
79 |             var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 |             while try await iterator.next() != nil { continue }
81 |             let afterFirstNil = try await iterator.next()
   |                                 `- warning: no calls to throwing functions occur within 'try' expression
82 |             let afterSecondNil = try await iterator.next()
83 |             return afterFirstNil == nil && afterSecondNil == nil
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:82:34: warning: no calls to throwing functions occur within 'try' expression
80 |             while try await iterator.next() != nil { continue }
81 |             let afterFirstNil = try await iterator.next()
82 |             let afterSecondNil = try await iterator.next()
   |                                  `- warning: no calls to throwing functions occur within 'try' expression
83 |             return afterFirstNil == nil && afterSecondNil == nil
84 |         },
[1358/1463] Compiling PropertyLawAsync VirtualClock.swift
[1359/1463] Compiling PropertyLawAsync AsyncSequenceLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:98:27: warning: no calls to throwing functions occur within 'try' expression
 96 |         property: { sample in
 97 |             let size = sample.count % 4 + 1
 98 |             let chunked = try await collect(sample.async.chunks(ofCount: size))
    |                           `- warning: no calls to throwing functions occur within 'try' expression
 99 |             return chunked == syncChunks(sample, size: size)
100 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:120:27: warning: no calls to throwing functions occur within 'try' expression
118 |         property: { sample in
119 |             let size = sample.count % 4 + 1
120 |             let chunked = try await collect(sample.async.chunks(ofCount: size))
    |                           `- warning: no calls to throwing functions occur within 'try' expression
121 |             return chunked.flatMap { $0 } == sample
122 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:141:25: warning: no calls to throwing functions occur within 'try' expression
139 |         options: options,
140 |         property: { sample in
141 |             let pairs = try await collect(sample.async.adjacentPairs())
    |                         `- warning: no calls to throwing functions occur within 'try' expression
142 |             let model = Array(zip(sample, sample.dropFirst()))
143 |             return pairs.count == model.count
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:164:32: warning: no calls to throwing functions occur within 'try' expression
162 |         options: options,
163 |         property: { sample in
164 |             let deduplicated = try await collect(sample.async.removeDuplicates())
    |                                `- warning: no calls to throwing functions occur within 'try' expression
165 |             return deduplicated == syncRemoveConsecutiveDuplicates(sample)
166 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:190:32: warning: no calls to throwing functions occur within 'try' expression
188 |             // with and no separator to derive.
189 |             guard let separator = sample.first else { return true }
190 |             let interspersed = try await collect(sample.async.interspersed(with: separator))
    |                                `- warning: no calls to throwing functions occur within 'try' expression
191 |             return interspersed == syncInterspersed(sample, separator: separator)
192 |         },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:216:29: warning: no calls to throwing functions occur within 'try' expression
214 |                 pair.offset % 3 == 0 ? nil : pair.element
215 |             }
216 |             let compacted = try await collect(optionals.async.compacted())
    |                             `- warning: no calls to throwing functions occur within 'try' expression
217 |             return compacted == optionals.compactMap { $0 }
218 |         },
[1360/1463] Compiling PropertyLawAsync VirtualTimeScheduler.swift
[1361/1463] Compiling PropertyLawAsync TimedAsyncLaws.swift
[1362/1463] Compiling PropertyLawAsync GlobalEnqueueHook.swift
[1441/1475] Wrapping AST for SwiftSyntax for debugging
[1444/1512] Compiling PropertyLawSyntaxSupport InitializerPreconditionDetector.swift
[1445/1512] Compiling PropertyLawSyntaxSupport SequenceInitializerNormalizer.swift
[1446/1512] Emitting module PropertyLawSyntaxSupport
[1447/1512] Compiling PropertyLawSyntaxSupport MemberBlockInspector.swift
[1448/1513] Wrapping AST for PropertyLawSyntaxSupport for debugging
[1449/1540] Wrapping AST for SwiftSyntax for debugging
[1451/1576] Emitting module PropertyLawSyntaxSupport
[1452/1576] Compiling SwiftDiagnostics Message.swift
[1453/1577] Compiling PropertyLawSyntaxSupport SequenceInitializerNormalizer.swift
[1454/1577] Compiling SwiftBasicFormat Syntax+Extensions.swift
[1455/1577] Compiling SwiftBasicFormat Trivia+FormatExtensions.swift
[1456/1577] Compiling SwiftBasicFormat SyntaxProtocol+Formatted.swift
[1457/1577] Compiling SwiftDiagnostics Note.swift
[1458/1577] Compiling SwiftParser Directives.swift
[1459/1577] Compiling SwiftParser ExpressionInterpretedAsVersionTuple.swift
[1460/1577] Compiling PropertyLawSyntaxSupport MemberBlockInspector.swift
[1461/1577] Compiling SwiftParser Expressions.swift
[1462/1577] Compiling SwiftParser IncrementalParseTransition.swift
[1463/1577] Emitting module SwiftDiagnostics
[1464/1577] Compiling PropertyLawSyntaxSupport InitializerPreconditionDetector.swift
[1466/1578] Compiling SwiftParser LoopProgressCondition.swift
[1467/1578] Compiling SwiftParser Modifiers.swift
[1468/1578] Compiling SwiftParser Names.swift
[1469/1578] Compiling SwiftParser Nominals.swift
[1470/1578] Compiling SwiftParser Parameters.swift
[1471/1578] Compiling SwiftParser ParseSourceFile.swift
[1471/1583] Wrapping AST for PropertyLawSyntaxSupport for debugging
[1473/1583] Compiling SwiftDiagnostics GroupedDiagnostics.swift
[1474/1583] Compiling SwiftDiagnostics FixIt.swift
[1475/1583] Compiling SwiftDiagnostics DiagnosticDecorator.swift
[1476/1583] Compiling SwiftDiagnostics DiagnosticsFormatter.swift
[1477/1584] Compiling SwiftBasicFormat InferIndentation.swift
[1478/1584] Compiling SwiftBasicFormat Indenter.swift
[1480/1584] Compiling SwiftParser Attributes.swift
[1481/1584] Compiling SwiftParser Availability.swift
[1482/1584] Compiling SwiftParser CharacterInfo.swift
[1483/1584] Compiling SwiftParser CollectionNodes+Parsable.swift
[1484/1584] Compiling SwiftParser CompilerFiles.swift
[1485/1584] Compiling SwiftParser Declarations.swift
[1485/1584] Wrapping AST for SwiftDiagnostics for debugging
[1487/1584] Compiling SwiftBasicFormat BasicFormat.swift
[1488/1584] Emitting module SwiftBasicFormat
[1489/1585] Wrapping AST for SwiftBasicFormat for debugging
[1491/1585] Emitting module SwiftParser
[1492/1585] Compiling SwiftParser Lexeme.swift
[1493/1585] Compiling SwiftParser LexemeSequence.swift
[1494/1585] Compiling SwiftParser Lexer.swift
[1495/1585] Compiling SwiftParser RegexLiteralLexer.swift
[1496/1585] Compiling SwiftParser UnicodeScalarExtensions.swift
[1497/1585] Compiling SwiftParser Lookahead.swift
[1498/1590] Compiling SwiftParser TokenSpec.swift
[1499/1590] Compiling SwiftParser TokenSpecSet.swift
[1500/1590] Compiling SwiftParser TopLevel.swift
[1501/1590] Compiling SwiftParser TriviaParser.swift
[1502/1590] Compiling SwiftParser Types.swift
[1508/1590] Compiling SwiftParser Parser.swift
[1509/1590] Compiling SwiftParser Patterns.swift
[1510/1590] Compiling SwiftParser Recovery.swift
[1511/1590] Compiling SwiftParser Specifiers.swift
[1512/1590] Compiling SwiftParser Statements.swift
[1513/1590] Compiling SwiftParser StringLiteralRepresentedLiteralValue.swift
[1514/1590] Compiling SwiftParser StringLiterals.swift
[1515/1590] Compiling SwiftParser SwiftParserCompatibility.swift
[1516/1590] Compiling SwiftParser SwiftVersion.swift
[1517/1590] Compiling SwiftParser SyntaxUtils.swift
[1518/1590] Compiling SwiftParser TokenConsumer.swift
[1519/1590] Compiling SwiftParser TokenPrecedence.swift
[1524/1590] Compiling SwiftParser IsValidIdentifier.swift
[1525/1590] Compiling SwiftParser Cursor.swift
[1556/1590] Emitting module SwiftParser
[1563/1590] Compiling SwiftParser ExperimentalFeatures.swift
[1564/1590] Compiling SwiftParser IsLexerClassified.swift
[1565/1590] Compiling SwiftParser LayoutNodes+Parsable.swift
[1566/1590] Compiling SwiftParser Parser+TokenSpecSet.swift
[1567/1590] Compiling SwiftParser TokenSpecStaticMembers.swift
[1568/1591] Wrapping AST for SwiftParser for debugging
[1570/1610] Compiling PropertyLawDiscoveryTool ScaffoldFileEmitter.swift
[1571/1610] Compiling PropertyLawDiscoveryTool SendableProtocols.swift
[1572/1610] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[1573/1610] Compiling PropertyLawDiscoveryTool ToolInvocation.swift
[1574/1611] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[1575/1611] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[1576/1611] Compiling PropertyLawDiscoveryTool GeneratedFileEmitter.swift
[1577/1611] Compiling PropertyLawDiscoveryTool ModuleScanner+Declarations.swift
[1578/1611] Emitting module PropertyLawSyntax
[1579/1611] Compiling PropertyLawSyntax SyntaxGenerators.swift
[1580/1611] Compiling PropertyLawSyntax SyntaxGenConformances.swift
[1581/1611] Compiling PropertyLawSyntax SyntaxNodeGenerators.swift
[1582/1611] Emitting module PropertyLawDiscoveryTool
[1583/1611] Compiling PropertyLawDiscoveryTool AdvisorySuggester.swift
[1584/1611] Compiling PropertyLawDiscoveryTool ConformanceMap.swift
[1585/1612] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[1587/1612] Compiling PropertyLawDiscoveryTool ModuleScanner+Shapes.swift
[1588/1612] Compiling PropertyLawDiscoveryTool ModuleScanner+Skipping.swift
[1589/1612] Compiling PropertyLawDiscoveryTool ModuleScanner.swift
[1590/1612] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[1591/1613] Wrapping AST for PropertyLawDiscoveryTool for debugging
[1592/1613] Write Objects.LinkFileList
[1599/1617] Wrapping AST for SwiftParser for debugging
[1601/1656] Compiling SwiftParserDiagnostics SyntaxKindNameForDiagnostics.swift
[1602/1657] Compiling SwiftOperators PrecedenceGroup.swift
[1603/1658] Compiling SwiftParserDiagnostics TokenNameForDiagnostics.swift
[1604/1658] Compiling PropertyLawSyntax SyntaxNodeGenerators.swift
[1605/1658] Compiling PropertyLawSyntax SyntaxGenConformances.swift
[1606/1658] Emitting module PropertyLawSyntax
[1607/1658] Compiling PropertyLawSyntax SyntaxGenerators.swift
[1608/1658] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[1609/1658] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[1610/1658] Compiling SwiftOperators PrecedenceGraph.swift
[1611/1659] Emitting module PropertyLawDiscoveryTool
[1612/1659] Compiling SwiftOperators OperatorTable.swift
[1613/1659] Compiling SwiftOperators SyntaxSynthesis.swift
[1614/1660] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[1615/1660] Compiling PropertyLawDiscoveryTool ScaffoldFileEmitter.swift
[1616/1660] Compiling PropertyLawDiscoveryTool SendableProtocols.swift
[1617/1660] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[1618/1660] Compiling PropertyLawDiscoveryTool ToolInvocation.swift
[1620/1660] Compiling SwiftOperators OperatorTable+Semantics.swift
[1621/1660] Emitting module SwiftOperators
[1622/1660] Compiling PropertyLawDiscoveryTool AdvisorySuggester.swift
[1623/1660] Compiling PropertyLawDiscoveryTool ConformanceMap.swift
[1624/1660] Compiling SwiftOperators OperatorTable+Folding.swift
[1625/1660] Compiling PropertyLawDiscoveryTool GeneratedFileEmitter.swift
[1626/1660] Compiling PropertyLawDiscoveryTool ModuleScanner+Declarations.swift
[1627/1661] Wrapping AST for SwiftOperators for debugging
[1630/1661] Linking PropertyLawDiscoveryTool
[1632/1661] Compiling PropertyLawDiscoveryTool ModuleScanner+Shapes.swift
[1633/1661] Compiling PropertyLawDiscoveryTool ModuleScanner+Skipping.swift
[1636/1661] Compiling PropertyLawDiscoveryTool ModuleScanner.swift
[1637/1661] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[1643/1662] Compiling SwiftParserDiagnostics ChildNameForDiagnostics.swift
[1643/1662] Wrapping AST for PropertyLawDiscoveryTool for debugging
[1644/1662] Write Objects.LinkFileList
[1649/1662] Linking PropertyLawDiscoveryTool-tool
[1653/1662] Emitting module SwiftParserDiagnostics
[1654/1663] Wrapping AST for SwiftParserDiagnostics for debugging
[1656/1678] Compiling SwiftSyntaxBuilder WithTrailingCommaSyntax+EnsuringTrailingComma.swift
[1657/1678] Compiling SwiftSyntaxBuilder BuildableNodes.swift
[1658/1679] Emitting module SwiftSyntaxBuilder
[1659/1679] Compiling SwiftSyntaxBuilder ConvenienceInitializers.swift
[1660/1679] Compiling SwiftSyntaxBuilder DeclSyntaxParseable.swift
[1661/1679] Compiling SwiftSyntaxBuilder ResultBuilderExtensions.swift
[1662/1679] Compiling SwiftSyntaxBuilder SwiftSyntaxBuilderCompatibility.swift
[1663/1679] Compiling SwiftSyntaxBuilder Syntax+StringInterpolation.swift
[1664/1679] Compiling SwiftSyntaxBuilder SyntaxNodeWithBody.swift
[1665/1679] Compiling SwiftSyntaxBuilder SyntaxParsable+ExpressibleByStringInterpolation.swift
[1666/1679] Compiling SwiftSyntaxBuilder ValidatingSyntaxNodes.swift
[1667/1679] Compiling SwiftSyntaxBuilder SyntaxExpressibleByStringInterpolationConformances.swift
[1668/1679] Compiling SwiftSyntaxBuilder Indenter.swift
[1669/1679] Compiling SwiftSyntaxBuilder ListBuilder.swift
[1670/1679] Compiling SwiftSyntaxBuilder RenamedChildrenBuilderCompatibility.swift
[1671/1679] Compiling SwiftSyntaxBuilder ResultBuilders.swift
[1672/1680] Wrapping AST for SwiftSyntaxBuilder for debugging
[1674/1697] Compiling SwiftSyntaxMacros Macro.swift
[1675/1697] Compiling SwiftSyntaxMacros MemberAttributeMacro.swift
[1676/1699] Compiling SwiftSyntaxMacros ExpressionMacro.swift
[1677/1699] Compiling SwiftSyntaxMacros ExtensionMacro.swift
[1678/1699] Compiling SwiftSyntaxMacros MemberMacro.swift
[1679/1699] Compiling SwiftSyntaxMacros PeerMacro.swift
[1680/1699] Compiling SwiftSyntaxMacros CodeItemMacro.swift
[1681/1699] Compiling SwiftSyntaxMacros DeclarationMacro.swift
[1682/1699] Compiling SwiftSyntaxMacros FreestandingMacro.swift
[1683/1699] Compiling SwiftSyntaxMacros Macro+Format.swift
[1684/1699] Emitting module SwiftSyntaxMacros
[1685/1699] Compiling SwiftSyntaxMacros AbstractSourceLocation.swift
[1686/1699] Compiling SwiftSyntaxMacros MacroExpansionContext.swift
[1687/1699] Compiling SwiftSyntaxMacros MacroExpansionDiagnosticMessages.swift
[1688/1699] Compiling SwiftSyntaxMacros AccessorMacro.swift
[1689/1699] Compiling SwiftSyntaxMacros AttachedMacro.swift
[1690/1699] Compiling SwiftSyntaxMacros BodyMacro.swift
[1691/1699] Compiling SwiftSyntaxMacros PreambleMacro.swift
[1692/1699] Compiling SwiftSyntaxMacros Syntax+LexicalContext.swift
[1693/1700] Wrapping AST for SwiftSyntaxMacros for debugging
[1695/1709] Compiling SwiftSyntaxMacroExpansion MacroSpec.swift
[1696/1710] Compiling SwiftSyntaxMacroExpansion MacroExpansionDiagnosticMessages.swift
[1697/1710] Emitting module SwiftSyntaxMacroExpansion
[1698/1710] Compiling SwiftSyntaxMacroExpansion MacroArgument.swift
[1699/1710] Compiling SwiftSyntaxMacroExpansion MacroExpansion.swift
[1700/1710] Compiling SwiftSyntaxMacroExpansion IndentationUtils.swift
[1701/1710] Compiling SwiftSyntaxMacroExpansion BasicMacroExpansionContext.swift
[1702/1710] Compiling SwiftSyntaxMacroExpansion FunctionParameterUtils.swift
[1703/1710] Compiling SwiftSyntaxMacroExpansion MacroReplacement.swift
[1704/1710] Compiling SwiftSyntaxMacroExpansion MacroSystem.swift
[1705/1711] Wrapping AST for SwiftSyntaxMacroExpansion for debugging
[1707/1723] Compiling SwiftCompilerPluginMessageHandling PluginMacroExpansionContext.swift
[1708/1724] Compiling SwiftCompilerPluginMessageHandling StandardIOMessageConnection.swift
[1709/1724] Compiling SwiftCompilerPluginMessageHandling PluginMessages.swift
[1710/1724] Compiling SwiftCompilerPluginMessageHandling PluginMessageCompatibility.swift
[1711/1724] Compiling SwiftCompilerPluginMessageHandling LRUCache.swift
[1712/1724] Compiling SwiftCompilerPluginMessageHandling Macros.swift
[1713/1724] Compiling SwiftCompilerPluginMessageHandling JSONDecoding.swift
[1714/1724] Compiling SwiftCompilerPluginMessageHandling JSONEncoding.swift
[1715/1724] Compiling SwiftCompilerPluginMessageHandling CompilerPluginMessageHandler.swift
[1716/1724] Compiling SwiftCompilerPluginMessageHandling Diagnostics.swift
[1717/1724] Emitting module SwiftCompilerPluginMessageHandling
[1718/1724] Compiling SwiftCompilerPluginMessageHandling CodingUtilities.swift
[1719/1724] Compiling SwiftCompilerPluginMessageHandling JSON.swift
[1720/1725] Wrapping AST for SwiftCompilerPluginMessageHandling for debugging
[1722/1727] Compiling SwiftCompilerPlugin CompilerPlugin.swift
[1723/1727] Emitting module SwiftCompilerPlugin
[1724/1728] Wrapping AST for SwiftCompilerPlugin for debugging
[1726/1735] Compiling PropertyLawMacroImpl Plugin.swift
[1727/1735] Compiling PropertyLawMacroImpl DiscoverableMacro.swift
[1728/1735] Compiling PropertyLawMacroImpl InteractionInvariantTestsMacro.swift
[1729/1735] Compiling PropertyLawMacroImpl LawTestPeerMacros.swift
[1730/1735] Compiling PropertyLawMacroImpl Diagnostics.swift
[1731/1735] Emitting module PropertyLawMacroImpl
[1732/1735] Compiling PropertyLawMacroImpl PropertyLawSuiteMacro.swift
[1733/1736] Wrapping AST for PropertyLawMacroImpl for debugging
[1734/1736] Write Objects.LinkFileList
[1735/1736] Linking PropertyLawMacroImpl-tool
[1737/1740] Compiling PropertyLawMacro PropertyLawMacro.swift
[1738/1740] Emitting module PropertyLawMacro
[1740/1740] Compiling PropertyLawMacro PropertyLawMacro.swift
Build complete! (66.88s)
Build complete.
{
  "dependencies" : [
    {
      "identity" : "swift-property-based",
      "requirement" : {
        "range" : [
          {
            "lower_bound" : "2.0.0",
            "upper_bound" : "3.0.0"
          }
        ]
      },
      "type" : "sourceControl",
      "url" : "https://github.com/x-sheep/swift-property-based.git"
    },
    {
      "identity" : "swift-syntax",
      "requirement" : {
        "range" : [
          {
            "lower_bound" : "602.0.0",
            "upper_bound" : "603.0.0"
          }
        ]
      },
      "type" : "sourceControl",
      "url" : "https://github.com/swiftlang/swift-syntax.git"
    },
    {
      "identity" : "swift-numerics",
      "requirement" : {
        "range" : [
          {
            "lower_bound" : "1.0.0",
            "upper_bound" : "2.0.0"
          }
        ]
      },
      "type" : "sourceControl",
      "url" : "https://github.com/apple/swift-numerics.git"
    },
    {
      "identity" : "swift-collections",
      "requirement" : {
        "range" : [
          {
            "lower_bound" : "1.2.0",
            "upper_bound" : "2.0.0"
          }
        ]
      },
      "type" : "sourceControl",
      "url" : "https://github.com/apple/swift-collections.git"
    },
    {
      "identity" : "swift-async-algorithms",
      "requirement" : {
        "range" : [
          {
            "lower_bound" : "1.0.0",
            "upper_bound" : "2.0.0"
          }
        ]
      },
      "type" : "sourceControl",
      "url" : "https://github.com/apple/swift-async-algorithms.git"
    }
  ],
  "manifest_display_name" : "SwiftPropertyLaws",
  "name" : "SwiftPropertyLaws",
  "path" : "/host/spi-builder-workspace",
  "platforms" : [
    {
      "name" : "macos",
      "version" : "14.0"
    },
    {
      "name" : "ios",
      "version" : "17.0"
    },
    {
      "name" : "tvos",
      "version" : "17.0"
    },
    {
      "name" : "watchos",
      "version" : "10.0"
    },
    {
      "name" : "visionos",
      "version" : "1.0"
    }
  ],
  "products" : [
    {
      "name" : "PropertyLawKit",
      "targets" : [
        "PropertyLawKit"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "PropertyLawMacro",
      "targets" : [
        "PropertyLawMacro"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "PropertyLawSyntaxSupport",
      "targets" : [
        "PropertyLawSyntaxSupport"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "PropertyLawCore",
      "targets" : [
        "PropertyLawCore"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "PropertyLawComplex",
      "targets" : [
        "PropertyLawComplex"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "PropertyLawSyntax",
      "targets" : [
        "PropertyLawSyntax"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "PropertyLawCollections",
      "targets" : [
        "PropertyLawCollections"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "PropertyLawMinimalTypes",
      "targets" : [
        "PropertyLawMinimalTypes"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "PropertyLawAsync",
      "targets" : [
        "PropertyLawAsync"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "PropertyLawDiscoveryTool",
      "targets" : [
        "PropertyLawDiscoveryTool"
      ],
      "type" : {
        "executable" : null
      }
    },
    {
      "name" : "PropertyLawMacroImpl",
      "targets" : [
        "PropertyLawMacroImpl"
      ],
      "type" : {
        "macro" : null
      }
    }
  ],
  "targets" : [
    {
      "c99name" : "PropertyLawSyntaxTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawSyntaxTests",
      "path" : "Tests/PropertyLawSyntaxTests",
      "product_dependencies" : [
        "PropertyBased",
        "SwiftSyntax"
      ],
      "sources" : [
        "DownstreamNodeDemandTests.swift",
        "SyntaxGenConformanceTests.swift",
        "SyntaxGeneratorTests.swift",
        "SyntaxNodeGeneratorTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawSyntax",
        "PropertyLawKit"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawSyntaxSupportTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawSyntaxSupportTests",
      "path" : "Tests/PropertyLawSyntaxSupportTests",
      "product_dependencies" : [
        "SwiftParser"
      ],
      "sources" : [
        "InitializerPreconditionDetectorTests.swift",
        "SequenceInitializerNormalizerTests.swift",
        "StoredMemberAccessLevelTests.swift",
        "StoredMemberRecognitionTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawSyntaxSupport",
        "PropertyLawCore"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawSyntaxSupport",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawSyntaxSupport",
      "path" : "Sources/PropertyLawSyntaxSupport",
      "product_dependencies" : [
        "SwiftSyntax"
      ],
      "product_memberships" : [
        "PropertyLawMacro",
        "PropertyLawSyntaxSupport",
        "PropertyLawDiscoveryTool",
        "PropertyLawMacroImpl"
      ],
      "sources" : [
        "InitializerPreconditionDetector.swift",
        "MemberBlockInspector.swift",
        "SequenceInitializerNormalizer.swift"
      ],
      "target_dependencies" : [
        "PropertyLawCore"
      ],
      "type" : "library"
    },
    {
      "c99name" : "PropertyLawSyntax",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawSyntax",
      "path" : "Sources/PropertyLawSyntax",
      "product_dependencies" : [
        "PropertyBased",
        "SwiftSyntax",
        "SwiftParser"
      ],
      "product_memberships" : [
        "PropertyLawSyntax"
      ],
      "sources" : [
        "SyntaxGenConformances.swift",
        "SyntaxGenerators.swift",
        "SyntaxNodeGenerators.swift"
      ],
      "type" : "library"
    },
    {
      "c99name" : "PropertyLawMinimalTypesTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawMinimalTypesTests",
      "path" : "Tests/PropertyLawMinimalTypesTests",
      "product_dependencies" : [
        "PropertyBased"
      ],
      "sources" : [
        "MinimalCodableTests.swift",
        "MinimalTypesTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawMinimalTypes",
        "PropertyLawKit"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawMinimalTypes",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawMinimalTypes",
      "path" : "Sources/PropertyLawMinimalTypes",
      "product_dependencies" : [
        "PropertyBased"
      ],
      "product_memberships" : [
        "PropertyLawMinimalTypes"
      ],
      "sources" : [
        "MinimalCodableValue.swift",
        "MinimalCodec.swift",
        "MinimalCollections.swift",
        "MinimalDecoder.swift",
        "MinimalEncoder.swift",
        "MinimalGenerators.swift",
        "MinimalIndex.swift"
      ],
      "target_dependencies" : [
        "PropertyLawKit"
      ],
      "type" : "library"
    },
    {
      "c99name" : "PropertyLawMacroTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawMacroTests",
      "path" : "Tests/PropertyLawMacroTests",
      "product_dependencies" : [
        "PropertyBased",
        "SwiftSyntaxMacros",
        "SwiftSyntaxMacrosTestSupport"
      ],
      "sources" : [
        "DiagnosticsTests.swift",
        "DiscoverableMacroTests.swift",
        "EndToEndTests.swift",
        "InteractionInvariantTestsMacroTests.swift",
        "MacroExpansionMultiTypeTests.swift",
        "MacroExpansionTests.swift",
        "ReferenceTypeLawTestsMacroTests.swift",
        "ValueSemanticTestsMacroTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawMacro",
        "PropertyLawMacroImpl",
        "PropertyLawKit",
        "PropertyLawCore"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawMacroImpl",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawMacroImpl",
      "path" : "Sources/PropertyLawMacroImpl",
      "product_dependencies" : [
        "SwiftSyntax",
        "SwiftSyntaxMacros",
        "SwiftCompilerPlugin",
        "SwiftDiagnostics"
      ],
      "product_memberships" : [
        "PropertyLawMacro",
        "PropertyLawMacroImpl"
      ],
      "sources" : [
        "Diagnostics.swift",
        "DiscoverableMacro.swift",
        "InteractionInvariantTestsMacro.swift",
        "LawTestPeerMacros.swift",
        "Plugin.swift",
        "PropertyLawSuiteMacro.swift"
      ],
      "target_dependencies" : [
        "PropertyLawCore",
        "PropertyLawSyntaxSupport"
      ],
      "type" : "macro"
    },
    {
      "c99name" : "PropertyLawMacro",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawMacro",
      "path" : "Sources/PropertyLawMacro",
      "product_memberships" : [
        "PropertyLawMacro"
      ],
      "sources" : [
        "PropertyLawMacro.swift"
      ],
      "target_dependencies" : [
        "PropertyLawKit",
        "PropertyLawMacroImpl"
      ],
      "type" : "library"
    },
    {
      "c99name" : "PropertyLawKitTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawKitTests",
      "path" : "Tests/PropertyLawKitTests",
      "product_dependencies" : [
        "PropertyBased"
      ],
      "sources" : [
        "ActionSequenceFactoryTests.swift",
        "AdditiveArithmeticLawsTests.swift",
        "AlgebraicWalkedLawsTests.swift",
        "AsciiScalarGeneratorTests.swift",
        "BackendShrinkingTests.swift",
        "BidirectionalCollectionLawsTests.swift",
        "BinaryFloatingPointLawsTests.swift",
        "BinaryIntegerLawsTests.swift",
        "BudgetTests.swift",
        "CaseIterableLawsTests.swift",
        "CodableLawsTests.swift",
        "CollectionLawsTests.swift",
        "CommutativeMonoidLawsTests.swift",
        "ComparableLawsTests.swift",
        "CompositeGeneratorCompileTests.swift",
        "CoverageHintsTests.swift",
        "DefensiveCopyLawsTests.swift",
        "DownstreamPropertyBackendSmokeTests.swift",
        "ElementEquivalenceSequenceLawsTests.swift",
        "EnforcementTests.swift",
        "EnumerationBucketSearchTests.swift",
        "EnumerationGeneratorBridgeTests.swift",
        "EnumerationProductTests.swift",
        "EnumerationReportingTests.swift",
        "EnumerationSequenceTests.swift",
        "EnumerationTests.swift",
        "EqualValuePairingMeasurements.swift",
        "EqualValuePairingTests.swift",
        "EquatableLawsTests.swift",
        "ErrorBoxTests.swift",
        "EveryCarrierLawsTests.swift",
        "EveryCaseLawsTests.swift",
        "FixedWidthIntegerLawsTests.swift",
        "FloatingPointLawsTests.swift",
        "FoundationGeneratorsTests.swift",
        "GroupLawsTests.swift",
        "HashableLawsTests.swift",
        "Helpers/Generators.swift",
        "Helpers/RecordedWarnings.swift",
        "Helpers/SeededValueType.swift",
        "IdentifiableLawsTests.swift",
        "InteractionInvariantAsyncLawsTests.swift",
        "InteractionInvariantLawsTests.swift",
        "InteractionInvariantTests.swift",
        "InvariantFalsifiabilityTests.swift",
        "IteratorProtocolLawsTests.swift",
        "LawIdentifierTests.swift",
        "LosslessStringConvertibleLawsTests.swift",
        "MonoidLawsTests.swift",
        "MutableCollectionLawsTests.swift",
        "NaNGeneratorSeedingTests.swift",
        "NearMissTests.swift",
        "NumericLawsTests.swift",
        "PlantedBugs/PlantedAdditiveArithmeticViolators.swift",
        "PlantedBugs/PlantedBinaryIntegerViolators.swift",
        "PlantedBugs/PlantedBugCollectionRefinementsDetectionTests.swift",
        "PlantedBugs/PlantedBugCollectionsDetectionTests.swift",
        "PlantedBugs/PlantedBugDetectionTests.swift",
        "PlantedBugs/PlantedBugFloatingPointDetectionTests.swift",
        "PlantedBugs/PlantedBugIntegerDetectionTests.swift",
        "PlantedBugs/PlantedBugMonoidDetectionTests.swift",
        "PlantedBugs/PlantedBugNumericDetectionTests.swift",
        "PlantedBugs/PlantedBugRoundTripDetectionTests.swift",
        "PlantedBugs/PlantedBugSemigroupDetectionTests.swift",
        "PlantedBugs/PlantedCaseIterableViolators.swift",
        "PlantedBugs/PlantedCodableViolators.swift",
        "PlantedBugs/PlantedCollectionRefinementsViolators.swift",
        "PlantedBugs/PlantedCollectionViolators.swift",
        "PlantedBugs/PlantedComparableViolators.swift",
        "PlantedBugs/PlantedEquatableViolators.swift",
        "PlantedBugs/PlantedFixedWidthIntegerViolators.swift",
        "PlantedBugs/PlantedFloatingPointViolators.swift",
        "PlantedBugs/PlantedHashableViolators.swift",
        "PlantedBugs/PlantedIdentifiableViolators.swift",
        "PlantedBugs/PlantedIteratorViolators.swift",
        "PlantedBugs/PlantedLosslessStringConvertibleViolators.swift",
        "PlantedBugs/PlantedMonoidViolators.swift",
        "PlantedBugs/PlantedNumericViolators.swift",
        "PlantedBugs/PlantedRawRepresentableViolators.swift",
        "PlantedBugs/PlantedSemigroupViolators.swift",
        "PlantedBugs/PlantedSequenceViolators.swift",
        "PlantedBugs/PlantedSetAlgebraSubtractingViolators.swift",
        "PlantedBugs/PlantedSetAlgebraViolators.swift",
        "PlantedBugs/PlantedSignedIntegerViolators.swift",
        "PlantedBugs/PlantedSignedNumericViolators.swift",
        "PlantedBugs/PlantedStrideableViolators.swift",
        "PlantedBugs/PlantedUnsignedIntegerViolators.swift",
        "RandomAccessCollectionLawsTests.swift",
        "RangeReplaceableCollectionLawsTests.swift",
        "RareAntecedentTests.swift",
        "RawRepresentableLawsTests.swift",
        "ReplayValidationTests.swift",
        "RingLawsTests.swift",
        "SameResultTests.swift",
        "SampledSpaceTests.swift",
        "SeedTests.swift",
        "SemigroupLawsTests.swift",
        "SemilatticeLawsTests.swift",
        "SequenceLawsTests.swift",
        "SetAlgebraLawsTests.swift",
        "SignedNumericLawsTests.swift",
        "StableIdentityLawsTests.swift",
        "StrictWeakOrderingLawsTests.swift",
        "StrideableLawsTests.swift",
        "StringProtocolCounterexampleFormatterTests.swift",
        "StringProtocolLawsTests.swift",
        "SuppressionTests.swift",
        "TransformationFunctionLawsTests.swift",
        "TransformationLawsTests.swift",
        "UnicodeScalarGeneratorTests.swift",
        "ValueSemanticLawsTests.swift",
        "WalkedActionSequenceTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawKit"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawKit",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawKit",
      "path" : "Sources/PropertyLawKit",
      "product_dependencies" : [
        "PropertyBased"
      ],
      "product_memberships" : [
        "PropertyLawKit",
        "PropertyLawMacro",
        "PropertyLawCollections",
        "PropertyLawMinimalTypes",
        "PropertyLawAsync"
      ],
      "sources" : [
        "Internal/AggregateDriver.swift",
        "Internal/Backends/SwiftPropertyBasedBackend.swift",
        "Internal/CheckPreflight.swift",
        "Internal/CoverageAccumulator.swift",
        "Internal/DrawPoolDriver.swift",
        "Internal/EnumerationDriver.swift",
        "Internal/EqualValueLawBuilders.swift",
        "Internal/InheritedLawCollector.swift",
        "Internal/LawCheckBuilders.swift",
        "Internal/LawSuppressionPolicy.swift",
        "Internal/NearMissCollector.swift",
        "Internal/PerLawDriver.swift",
        "Internal/PropertyLawSuiteRunner.swift",
        "Internal/ReplayEnvironmentValidator.swift",
        "Internal/SpaceSampling.swift",
        "Internal/ViolationFormatter.swift",
        "Model/CheckResult.swift",
        "Model/CodableCodec.swift",
        "Model/CodableLawConfig.swift",
        "Model/CodableRoundTripMode.swift",
        "Model/EnforcementMode.swift",
        "Model/Environment.swift",
        "Model/EqualValuePairing.swift",
        "Model/InputSource.swift",
        "Model/LawCheckOptions.swift",
        "Model/LawIdentifier.swift",
        "Model/LawSelection.swift",
        "Model/LawSuppression.swift",
        "Model/PropertyLawViolation.swift",
        "Model/Seed.swift",
        "Model/SequenceLawOptions.swift",
        "Model/SpaceCoverage.swift",
        "Model/StrictnessTier.swift",
        "Model/TrialBudget.swift",
        "PropertyLawKit.swift",
        "Public/ActionSequenceFactory.swift",
        "Public/AdditiveArithmeticLaws.swift",
        "Public/BidirectionalCollectionLaws.swift",
        "Public/BinaryFloatingPointLaws.swift",
        "Public/BinaryIntegerLaws.swift",
        "Public/CaseIterableLaws.swift",
        "Public/CodableLaws.swift",
        "Public/CollectionLaws.swift",
        "Public/CommutativeMonoid.swift",
        "Public/CommutativeMonoidLaws.swift",
        "Public/ComparableLaws.swift",
        "Public/CoverageClassifier.swift",
        "Public/DefensiveCopy.swift",
        "Public/DefensiveCopyLaws.swift",
        "Public/Enumeration.swift",
        "Public/EnumerationCombinators.swift",
        "Public/EnumerationProduct.swift",
        "Public/EquatableLaws.swift",
        "Public/EveryCarrierLaws.swift",
        "Public/EveryCaseLaws.swift",
        "Public/FixedWidthIntegerLaws.swift",
        "Public/FloatingPointCommutativityLaws.swift",
        "Public/FloatingPointLaws.swift",
        "Public/FoundationGenerators.swift",
        "Public/Group.swift",
        "Public/GroupLaws.swift",
        "Public/HashableLaws.swift",
        "Public/IdentifiableLaws.swift",
        "Public/InteractionInvariant.swift",
        "Public/InteractionInvariantLaws+Async.swift",
        "Public/InteractionInvariantLaws.swift",
        "Public/InvariantFalsifiabilityLaw.swift",
        "Public/IteratorProtocolLaws.swift",
        "Public/LosslessStringConvertibleLaws.swift",
        "Public/Monoid.swift",
        "Public/MonoidLaws.swift",
        "Public/MutableCollectionLaws.swift",
        "Public/NumericGenerators.swift",
        "Public/NumericLaws.swift",
        "Public/PropertyBackend.swift",
        "Public/RandomAccessCollectionLaws.swift",
        "Public/RangeReplaceableCollectionLaws.swift",
        "Public/RawRepresentableLaws.swift",
        "Public/ReplayEnvironmentMismatch.swift",
        "Public/Ring.swift",
        "Public/RingLaws.swift",
        "Public/SameResult.swift",
        "Public/Semigroup.swift",
        "Public/SemigroupLaws.swift",
        "Public/Semilattice.swift",
        "Public/SemilatticeLaws.swift",
        "Public/SequenceLaws.swift",
        "Public/SetAlgebraLaws.swift",
        "Public/SignedIntegerLaws.swift",
        "Public/SignedNumericLaws.swift",
        "Public/StableIdentity.swift",
        "Public/StableIdentityLaws.swift",
        "Public/StatefulGuard.swift",
        "Public/StdlibGenerators.swift",
        "Public/StrictWeakOrderingLaws.swift",
        "Public/StrictWeakOrderingVacuity.swift",
        "Public/StrideableLaws.swift",
        "Public/StringProtocolLaws.swift",
        "Public/TransformationFunctionLaws.swift",
        "Public/TransformationLaws.swift",
        "Public/UnsignedIntegerLaws.swift",
        "Public/ValueSemantic.swift",
        "Public/ValueSemanticLaws.swift"
      ],
      "type" : "library"
    },
    {
      "c99name" : "PropertyLawDiscoveryToolTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawDiscoveryToolTests",
      "path" : "Tests/PropertyLawDiscoveryToolTests",
      "product_dependencies" : [
        "SwiftSyntax",
        "SwiftParser"
      ],
      "sources" : [
        "AdvisorySuggesterTests.swift",
        "ContextFileTests.swift",
        "EmittedFileParsesTests.swift",
        "EmitterGoldenTests.swift",
        "ExtensionOnlyAndSendableTests.swift",
        "ImportEmissionTests.swift",
        "ModuleImportEmissionTests.swift",
        "ModuleProvenanceTests.swift",
        "ModuleScannerRoundTripTests.swift",
        "ModuleScannerTests.swift",
        "NestedTypeScanningTests.swift",
        "RoundTripSuggesterTests.swift",
        "ScaffoldFileEmitterTests.swift",
        "SkippedTypeTests.swift",
        "SuppressionParserTests.swift",
        "TodoCategoryTests.swift",
        "ToolInvocationTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawDiscoveryTool",
        "PropertyLawCore"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawDiscoveryTool",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawDiscoveryTool",
      "path" : "Sources/PropertyLawDiscoveryTool",
      "product_dependencies" : [
        "SwiftSyntax",
        "SwiftParser"
      ],
      "product_memberships" : [
        "PropertyLawDiscoveryTool"
      ],
      "sources" : [
        "AdvisorySuggester.swift",
        "ConformanceMap.swift",
        "GeneratedFileEmitter.swift",
        "ModuleScanner+Declarations.swift",
        "ModuleScanner+Shapes.swift",
        "ModuleScanner+Skipping.swift",
        "ModuleScanner.swift",
        "PropertyLawDiscoveryTool.swift",
        "RoundTripFinder.swift",
        "RoundTripSuggester.swift",
        "ScaffoldFileEmitter.swift",
        "SendableProtocols.swift",
        "SuppressionParser.swift",
        "ToolInvocation.swift",
        "WitnessFinder.swift"
      ],
      "target_dependencies" : [
        "PropertyLawCore",
        "PropertyLawSyntaxSupport"
      ],
      "type" : "executable"
    },
    {
      "c99name" : "PropertyLawDiscoveryPlugin",
      "module_type" : "PluginTarget",
      "name" : "PropertyLawDiscoveryPlugin",
      "path" : "Plugins/PropertyLawDiscoveryPlugin",
      "plugin_capability" : {
        "intent" : {
          "description" : "Generate PropertyLawKit test files by walking a target's source files and detecting stdlib protocol conformances.",
          "type" : "custom",
          "verb" : "propertylawcheck"
        },
        "permissions" : [
          {
            "network_scope" : {
              "none" : {
              }
            },
            "reason" : "PropertyLawDiscoveryPlugin writes a generated test file (default: Tests/<Target>Tests/PropertyLawTests.generated.swift) listing the checkXxxPropertyLaws calls for each detected conformance.",
            "type" : "writeToPackageDirectory"
          }
        ],
        "type" : "command"
      },
      "sources" : [
        "plugin.swift"
      ],
      "target_dependencies" : [
        "PropertyLawDiscoveryTool"
      ],
      "type" : "plugin"
    },
    {
      "c99name" : "PropertyLawCoreTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawCoreTests",
      "path" : "Tests/PropertyLawCoreTests",
      "product_dependencies" : [
        "PropertyBased"
      ],
      "sources" : [
        "AccessLevelDerivationTests.swift",
        "CapacityHintDerivationTests.swift",
        "CollectionInitializerPreferenceTests.swift",
        "CompositeMemberDerivationTests.swift",
        "DerivationStrategistTests.swift",
        "EdgeBiasedStringGeneratorTests.swift",
        "EmittedExpressionCompilesTests.swift",
        "EnumPayloadDerivationTests.swift",
        "EnumTodoReasonTests.swift",
        "GeneratorExpressionEmitterTests.swift",
        "GeneratorPlanTests.swift",
        "GeneratorResolverTests.swift",
        "HostileStringGeneratorTests.swift",
        "InitializerAccessDerivationTests.swift",
        "InitializerBasedDerivationTests.swift",
        "InitializerTodoReasonTests.swift",
        "KnownValueTypeDerivationTests.swift",
        "LabelNarrowedGeneratorTests.swift",
        "MemberwiseEmitterTests.swift",
        "ModuleQualifiedSpellingTests.swift",
        "RecursiveGeneratorTests.swift",
        "ResolutionFailureTests.swift",
        "ScaffoldEmitterTests.swift",
        "ScopedTypeLookupTests.swift",
        "SendableClassDerivationTests.swift",
        "StatelessDerivationTests.swift",
        "SubjectTokenGeneratorTests.swift",
        "TextLiteralInitializerDerivationTests.swift",
        "UnresolvedLeafNamingTests.swift",
        "UnsoundInitializerDerivationTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawCore"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawCore",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawCore",
      "path" : "Sources/PropertyLawCore",
      "product_memberships" : [
        "PropertyLawMacro",
        "PropertyLawSyntaxSupport",
        "PropertyLawCore",
        "PropertyLawDiscoveryTool",
        "PropertyLawMacroImpl"
      ],
      "sources" : [
        "AccessLevel.swift",
        "CompositeMemberParser.swift",
        "DerivationStrategy.swift",
        "EnumPayloadDerivation.swift",
        "GeneratorExpressionEmitter.swift",
        "GeneratorPlan.swift",
        "GeneratorResolver.swift",
        "InitializerBasedDerivation+CollectionPreference.swift",
        "InitializerBasedDerivation.swift",
        "KnownProtocol.swift",
        "LabelNarrowedGenerators.swift",
        "MemberwiseEmitter.swift",
        "PropertyLawTestStub.swift",
        "QualifiedTypeName.swift",
        "RawType.swift",
        "RecursiveGeneratorEmitter.swift",
        "ResolutionFailure.swift",
        "Scaffold.swift",
        "StatelessDerivation.swift",
        "TodoReason.swift",
        "TypeShape.swift"
      ],
      "type" : "library"
    },
    {
      "c99name" : "PropertyLawComplexTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawComplexTests",
      "path" : "Tests/PropertyLawComplexTests",
      "product_dependencies" : [
        "PropertyBased",
        "ComplexModule",
        "RealModule"
      ],
      "sources" : [
        "EdgeCaseBiasedGeneratorsTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawComplex"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawComplex",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawComplex",
      "path" : "Sources/PropertyLawComplex",
      "product_dependencies" : [
        "PropertyBased",
        "ComplexModule",
        "RealModule"
      ],
      "product_memberships" : [
        "PropertyLawComplex"
      ],
      "sources" : [
        "EdgeCaseBiasedGenerators.swift"
      ],
      "type" : "library"
    },
    {
      "c99name" : "PropertyLawCollectionsTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawCollectionsTests",
      "path" : "Tests/PropertyLawCollectionsTests",
      "product_dependencies" : [
        "PropertyBased",
        "DequeModule",
        "OrderedCollections",
        "HeapModule",
        "BitCollections",
        "HashTreeCollections"
      ],
      "sources" : [
        "BitSetLawsTests.swift",
        "ConformanceAuditTests.swift",
        "DequeLawsTests.swift",
        "DequeLayoutTests.swift",
        "DequeSymmetryLawsTests.swift",
        "HashTreeLawsTests.swift",
        "HeapGeneratorTests.swift",
        "HeapLawsTests.swift",
        "OrderPreservationLawsTests.swift",
        "OrderedDictionaryLawsTests.swift",
        "OrderedSetLawsTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawCollections",
        "PropertyLawKit"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawCollections",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawCollections",
      "path" : "Sources/PropertyLawCollections",
      "product_dependencies" : [
        "PropertyBased",
        "DequeModule",
        "OrderedCollections",
        "HeapModule",
        "BitCollections",
        "HashTreeCollections"
      ],
      "product_memberships" : [
        "PropertyLawCollections"
      ],
      "sources" : [
        "BitSetGenerators.swift",
        "DequeGenerators.swift",
        "DequeLayouts.swift",
        "DequeSymmetryLaws.swift",
        "HashTreeGenerators.swift",
        "HeapGenerators.swift",
        "HeapLaws.swift",
        "OrderPreservationLaws.swift",
        "OrderedDictionaryGenerators.swift",
        "OrderedSetGenerators.swift",
        "PropertyLawCollections.swift"
      ],
      "target_dependencies" : [
        "PropertyLawKit"
      ],
      "type" : "library"
    },
    {
      "c99name" : "PropertyLawAsyncTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawAsyncTests",
      "path" : "Tests/PropertyLawAsyncTests",
      "product_dependencies" : [
        "PropertyBased",
        "AsyncAlgorithms"
      ],
      "sources" : [
        "AsyncSequenceLawsTests.swift",
        "TimedAsyncLawsTests.swift",
        "VirtualTimeTests.swift"
      ],
      "target_dependencies" : [
        "PropertyLawAsync",
        "PropertyLawKit"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyLawAsync",
      "module_type" : "SwiftTarget",
      "name" : "PropertyLawAsync",
      "path" : "Sources/PropertyLawAsync",
      "product_dependencies" : [
        "PropertyBased",
        "AsyncAlgorithms"
      ],
      "product_memberships" : [
        "PropertyLawAsync"
      ],
      "sources" : [
        "AsyncOrderLaws.swift",
        "AsyncSequenceLaws.swift",
        "GlobalEnqueueHook.swift",
        "TimedAsyncLaws.swift",
        "VirtualClock.swift",
        "VirtualTimeScheduler.swift"
      ],
      "target_dependencies" : [
        "PropertyLawKit"
      ],
      "type" : "library"
    }
  ],
  "tools_version" : "6.1"
}
basic-6.2-latest: Pulling from saguaro1/spi-images
Digest: sha256:24009fa1488c01937630ee3297a7a7a1872c773069724929dff85071fefc3743
Status: Image is up to date for registry.gitlab.com/saguaro1/spi-images:basic-6.2-latest
Done.