Swift Package IndexBuild Information
Successful build of hegel-swift, reference main (dca4d4), with Swift 6.3 for macOS (SPM) on 27 Sep 2026 07:34:17 UTC.
Swift 6 data race errors: 0
Build Command
env DEVELOPER_DIR=/Applications/Xcode-26.5.0.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 5.1.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/nassersala/hegel-swift.git
Reference: main
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/nassersala/hegel-swift
* branch main -> FETCH_HEAD
* [new branch] main -> origin/main
HEAD is now at dca4d43 AboveTheCode: the spinner polls through a child task, not Task.yield; the grace change in b30285b is reverted and its explanation was wrong
Cloned https://github.com/nassersala/hegel-swift.git
Revision (git rev-parse @):
dca4d4399508094592991be3b1e81b4588c377bf
SUCCESS checkout https://github.com/nassersala/hegel-swift.git at main
========================================
ResolveProductDependencies
========================================
Resolving dependencies ...
{
"identity": ".resolve-product-dependencies",
"name": "resolve-dependencies",
"url": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"traits": [
"default"
],
"dependencies": [
{
"identity": "hegel-swift",
"name": "hegel-swift",
"url": "https://github.com/nassersala/hegel-swift.git",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/hegel-swift",
"traits": [
"default"
],
"dependencies": [
]
}
]
}
Fetching https://github.com/nassersala/hegel-swift.git
[1/1416] Fetching hegel-swift
Fetched https://github.com/nassersala/hegel-swift.git from cache (1.65s)
Creating working copy for https://github.com/nassersala/hegel-swift.git
Working copy of https://github.com/nassersala/hegel-swift.git resolved at main (dca4d43)
warning: '.resolve-product-dependencies': dependency 'hegel-swift' is not used by any target
Found 0 product dependencies
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.3
Building package at path: $PWD
https://github.com/nassersala/hegel-swift.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-26.5.0.app xcrun swift build --arch arm64
Building for debugging...
[0/4] Write sources
[2/4] Copying CHegel.framework
[3/4] Write swift-version-69A768CDF2A0BEE1.txt
[5/25] Emitting module Hegel
[6/27] Compiling Hegel TemporalLogic.swift
[7/27] Compiling Hegel TestCase.swift
[8/27] Compiling Hegel BigIntegers.swift
[9/27] Compiling Hegel CategoryLaws.swift
[10/27] Compiling Hegel Enumeration.swift
[11/27] Compiling Hegel Gen.swift
[12/27] Compiling Hegel HegelError.swift
[13/27] Compiling Hegel Identifiers.swift
[14/27] Compiling Hegel Stuck.swift
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Syntax.swift:142:58: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
140 | settings: Settings = Settings(), file: StaticString = #fileID, line: UInt = #line
141 | ) throws {
142 | try forAll(f, is: law, on: gen, label: label, equal: ==, testCases: testCases, seed: seed,
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
143 | database: database, settings: settings, file: file, line: line)
144 | }
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Syntax.swift:162:59: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
160 | settings: Settings = Settings(), file: StaticString = #fileID, line: UInt = #line
161 | ) throws {
162 | try forAll(op, is: law, on: gen, label: label, equal: ==, testCases: testCases, seed: seed,
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
163 | database: database, settings: settings, file: file, line: line)
164 | }
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Syntax.swift:203:68: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
201 | settings: Settings = Settings(), file: StaticString = #fileID, line: UInt = #line
202 | ) throws {
203 | try forAll(to, from, are: law, on: gen, labels: labels, equal: ==, testCases: testCases, seed: seed,
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
204 | database: database, settings: settings, file: file, line: line)
205 | }
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
[15/27] Compiling Hegel Syntax.swift
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Syntax.swift:142:58: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
140 | settings: Settings = Settings(), file: StaticString = #fileID, line: UInt = #line
141 | ) throws {
142 | try forAll(f, is: law, on: gen, label: label, equal: ==, testCases: testCases, seed: seed,
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
143 | database: database, settings: settings, file: file, line: line)
144 | }
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Syntax.swift:162:59: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
160 | settings: Settings = Settings(), file: StaticString = #fileID, line: UInt = #line
161 | ) throws {
162 | try forAll(op, is: law, on: gen, label: label, equal: ==, testCases: testCases, seed: seed,
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
163 | database: database, settings: settings, file: file, line: line)
164 | }
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Syntax.swift:203:68: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
201 | settings: Settings = Settings(), file: StaticString = #fileID, line: UInt = #line
202 | ) throws {
203 | try forAll(to, from, are: law, on: gen, labels: labels, equal: ==, testCases: testCases, seed: seed,
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
204 | database: database, settings: settings, file: file, line: line)
205 | }
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
[16/27] Compiling Hegel ModelBased.swift
[17/27] Compiling Hegel Primitives.swift
[18/27] Compiling Hegel Settings.swift
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Signature.swift:50:37: warning: capture of non-Sendable type 'Wrapped.Type' in an isolated closure [#SendableMetatypes]
48 | /// `nil` first, so a counterexample shrinks toward it.
49 | public static var gen: Gen<Wrapped?> {
50 | oneOf([Gen<Wrapped?> { _ in nil }, Wrapped.gen.map { Optional.some($0) }])
| `- warning: capture of non-Sendable type 'Wrapped.Type' in an isolated closure [#SendableMetatypes]
51 | }
52 | }
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Signature.swift:50:71: warning: capture of non-Sendable type 'Wrapped.Type' in an isolated closure [#SendableMetatypes]
48 | /// `nil` first, so a counterexample shrinks toward it.
49 | public static var gen: Gen<Wrapped?> {
50 | oneOf([Gen<Wrapped?> { _ in nil }, Wrapped.gen.map { Optional.some($0) }])
| `- warning: capture of non-Sendable type 'Wrapped.Type' in an isolated closure [#SendableMetatypes]
51 | }
52 | }
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
[19/27] Compiling Hegel Signature.swift
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Signature.swift:50:37: warning: capture of non-Sendable type 'Wrapped.Type' in an isolated closure [#SendableMetatypes]
48 | /// `nil` first, so a counterexample shrinks toward it.
49 | public static var gen: Gen<Wrapped?> {
50 | oneOf([Gen<Wrapped?> { _ in nil }, Wrapped.gen.map { Optional.some($0) }])
| `- warning: capture of non-Sendable type 'Wrapped.Type' in an isolated closure [#SendableMetatypes]
51 | }
52 | }
/Users/admin/builder/spi-builder-workspace/Sources/Hegel/Signature.swift:50:71: warning: capture of non-Sendable type 'Wrapped.Type' in an isolated closure [#SendableMetatypes]
48 | /// `nil` first, so a counterexample shrinks toward it.
49 | public static var gen: Gen<Wrapped?> {
50 | oneOf([Gen<Wrapped?> { _ in nil }, Wrapped.gen.map { Optional.some($0) }])
| `- warning: capture of non-Sendable type 'Wrapped.Type' in an isolated closure [#SendableMetatypes]
51 | }
52 | }
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
[20/27] Compiling Hegel Replay.swift
[21/27] Compiling Hegel Runner.swift
[22/27] Compiling Hegel Stateful.swift
[23/27] Compiling Hegel Strings.swift
[24/27] Compiling Hegel Laws.swift
[25/27] Compiling Hegel Metamorphic.swift
[26/27] Compiling Hegel Target.swift
[27/27] Compiling Hegel Temporal.swift
[28/29] Compiling HegelTesting ExpectAll.swift
[29/29] Emitting module HegelTesting
Build complete! (6.80s)
Build complete.
{
"dependencies" : [
],
"manifest_display_name" : "hegel-swift",
"name" : "hegel-swift",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
{
"name" : "macos",
"version" : "14.0"
},
{
"name" : "ios",
"version" : "17.0"
}
],
"products" : [
{
"name" : "Hegel",
"targets" : [
"Hegel"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "HegelTesting",
"targets" : [
"HegelTesting"
],
"type" : {
"library" : [
"automatic"
]
}
}
],
"targets" : [
{
"c99name" : "HegelTests",
"module_type" : "SwiftTarget",
"name" : "HegelTests",
"path" : "Tests/HegelTests",
"sources" : [
"AbiMirrorTests.swift",
"AsyncTests.swift",
"CategoryLawsTests.swift",
"DenotationalTests.swift",
"DieHardTests.swift",
"EnumerationTests.swift",
"ErrorClassificationTests.swift",
"ExpectAllTests.swift",
"HegelTests.swift",
"LawsTests.swift",
"LifetimeTests.swift",
"MetamorphicTests.swift",
"ModelBasedTests.swift",
"OutputTests.swift",
"PrimitiveTests.swift",
"ReportedErrorTests.swift",
"SettingsTests.swift",
"SignatureTests.swift",
"SmokeTests.swift",
"StatefulTests.swift",
"StuckTests.swift",
"SyntaxTests.swift",
"TargetTests.swift",
"TemporalLogicTests.swift",
"UndoSubject.swift"
],
"target_dependencies" : [
"Hegel",
"HegelTesting",
"CHegel"
],
"type" : "test"
},
{
"c99name" : "HegelTesting",
"module_type" : "SwiftTarget",
"name" : "HegelTesting",
"path" : "Sources/HegelTesting",
"product_memberships" : [
"HegelTesting"
],
"sources" : [
"ExpectAll.swift"
],
"target_dependencies" : [
"Hegel"
],
"type" : "library"
},
{
"c99name" : "Hegel",
"module_type" : "SwiftTarget",
"name" : "Hegel",
"path" : "Sources/Hegel",
"product_memberships" : [
"Hegel",
"HegelTesting"
],
"sources" : [
"BigIntegers.swift",
"CategoryLaws.swift",
"Enumeration.swift",
"Gen.swift",
"HegelError.swift",
"Identifiers.swift",
"Laws.swift",
"Metamorphic.swift",
"ModelBased.swift",
"Primitives.swift",
"Replay.swift",
"Runner.swift",
"Settings.swift",
"Signature.swift",
"Stateful.swift",
"Strings.swift",
"Stuck.swift",
"Syntax.swift",
"Target.swift",
"Temporal.swift",
"TemporalLogic.swift",
"TestCase.swift"
],
"target_dependencies" : [
"CHegel"
],
"type" : "library"
},
{
"c99name" : "CHegel",
"module_type" : "BinaryTarget",
"name" : "CHegel",
"path" : "Vendor/CHegel.xcframework",
"product_memberships" : [
"Hegel",
"HegelTesting"
],
"sources" : [
],
"type" : "binary"
}
],
"tools_version" : "6.0"
}
Done.