Build Information
Successful build of TabularCenter, reference 0.3.0 (30327f), with Swift 6.1 for macOS (SPM) on 9 Oct 2026 11:34:51 UTC.
Swift 6 data race errors: 15
Build Command
env DEVELOPER_DIR=/Applications/Xcode-16.3.0.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 5.1.1
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/tabula-center/tabular-center-swift.git
Reference: 0.3.0
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/tabula-center/tabular-center-swift
* tag 0.3.0 -> FETCH_HEAD
HEAD is now at 30327f1 fix swift context
Cloned https://github.com/tabula-center/tabular-center-swift.git
Revision (git rev-parse @):
30327f13fea5506a42c3fc37f9b2d996082806cd
SUCCESS checkout https://github.com/tabula-center/tabular-center-swift.git at 0.3.0
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.1
Building package at path: $PWD
https://github.com/tabula-center/tabular-center-swift.git
https://github.com/tabula-center/tabular-center-swift.git
{
"dependencies" : [
],
"manifest_display_name" : "TabularCenter",
"name" : "TabularCenter",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "TabularCenter",
"targets" : [
"TabularCenter"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "TabularCenterTesting",
"targets" : [
"TabularCenterTesting"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "TabularCenterCodegen",
"targets" : [
"TabularCenterCodegen"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "tabular-center-check",
"targets" : [
"TabularCenterCheck"
],
"type" : {
"executable" : null
}
},
{
"name" : "tabular-center-conformance",
"targets" : [
"TabularCenterConformance"
],
"type" : {
"executable" : null
}
},
{
"name" : "tabular-center-codegen-check",
"targets" : [
"TabularCenterCodegenCheck"
],
"type" : {
"executable" : null
}
}
],
"targets" : [
{
"c99name" : "TabularCenterTesting",
"module_type" : "SwiftTarget",
"name" : "TabularCenterTesting",
"path" : "Sources/TabularCenterTesting",
"product_memberships" : [
"TabularCenterTesting",
"tabular-center-conformance"
],
"sources" : [
"Spec.swift"
],
"target_dependencies" : [
"TabularCenter"
],
"type" : "library"
},
{
"c99name" : "TabularCenterConformance",
"module_type" : "SwiftTarget",
"name" : "TabularCenterConformance",
"path" : "Sources/TabularCenterConformance",
"product_memberships" : [
"tabular-center-conformance"
],
"sources" : [
"Compose.swift",
"ComposeAdapters.swift",
"Machines.swift",
"StepAlgebra.swift",
"main.swift"
],
"target_dependencies" : [
"TabularCenter",
"TabularCenterTesting"
],
"type" : "executable"
},
{
"c99name" : "TabularCenterCodegenCheck",
"module_type" : "SwiftTarget",
"name" : "TabularCenterCodegenCheck",
"path" : "Sources/TabularCenterCodegenCheck",
"product_memberships" : [
"tabular-center-codegen-check"
],
"sources" : [
"main.swift"
],
"target_dependencies" : [
"TabularCenterCodegen"
],
"type" : "executable"
},
{
"c99name" : "TabularCenterCodegen",
"module_type" : "SwiftTarget",
"name" : "TabularCenterCodegen",
"path" : "Sources/TabularCenterCodegen",
"product_memberships" : [
"TabularCenterCodegen",
"tabular-center-codegen-check"
],
"sources" : [
"Emit.swift",
"Model.swift",
"Raw.swift"
],
"type" : "library"
},
{
"c99name" : "TabularCenterCheck",
"module_type" : "SwiftTarget",
"name" : "TabularCenterCheck",
"path" : "Sources/TabularCenterCheck",
"product_memberships" : [
"tabular-center-check"
],
"sources" : [
"Assert.swift",
"ReferenceTimer.swift",
"StepAlgebra.swift",
"main.swift"
],
"target_dependencies" : [
"TabularCenter"
],
"type" : "executable"
},
{
"c99name" : "TabularCenter",
"module_type" : "SwiftTarget",
"name" : "TabularCenter",
"path" : "Sources/TabularCenter",
"product_memberships" : [
"TabularCenter",
"TabularCenterTesting",
"tabular-center-check",
"tabular-center-conformance"
],
"sources" : [
"Cell.swift",
"Driver.swift",
"Export.swift",
"Lint.swift",
"Step.swift",
"Store.swift",
"Table.swift"
],
"type" : "library"
}
],
"tools_version" : "5.9"
}
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-16.3.0.app xcrun swift build --arch arm64 -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete -Xswiftc -enable-upcoming-feature -Xswiftc StrictConcurrency -Xswiftc -enable-upcoming-feature -Xswiftc DisableOutwardActorInference -Xswiftc -enable-upcoming-feature -Xswiftc GlobalActorIsolatedTypesUsability -Xswiftc -enable-upcoming-feature -Xswiftc InferSendableFromCaptures
Building for debugging...
[0/19] Write sources
[5/19] Write tabular-center-codegen-check-entitlement.plist
[5/19] Write sources
[5/19] Write tabular-center-check-entitlement.plist
[5/19] Write tabular-center-conformance-entitlement.plist
[9/19] Write swift-version-2F0A5646E1D333AE.txt
[11/31] Compiling TabularCenterCodegen Model.swift
[12/31] Compiling TabularCenter Table.swift
[13/31] Compiling TabularCenter Store.swift
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Store.swift:98:26: warning: non-sendable result type 'Progress' cannot be sent from nonisolated context in call to instance method 'dispatch(_:step:perform:)'; this is an error in the Swift 6 language mode
96 | @discardableResult
97 | public func send(_ action: A) async throws -> Progress {
98 | try await driver.dispatch(action, step: stepFn, perform: performFn)
| `- warning: non-sendable result type 'Progress' cannot be sent from nonisolated context in call to instance method 'dispatch(_:step:perform:)'; this is an error in the Swift 6 language mode
99 | }
100 |
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Driver.swift:11:15: note: consider making struct 'Progress' conform to the 'Sendable' protocol
9 |
10 | /// What one drain accomplished.
11 | public struct Progress: Equatable {
| `- note: consider making struct 'Progress' conform to the 'Sendable' protocol
12 | public var steps = 0
13 | public var effects = 0
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Store.swift:107:26: warning: non-sendable result type 'Progress' cannot be sent from nonisolated context in call to instance method 'run(step:perform:)'; this is an error in the Swift 6 language mode
105 | @discardableResult
106 | public func drain() async throws -> Progress {
107 | try await driver.run(step: stepFn, perform: performFn)
| `- warning: non-sendable result type 'Progress' cannot be sent from nonisolated context in call to instance method 'run(step:perform:)'; this is an error in the Swift 6 language mode
108 | }
109 | }
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Driver.swift:11:15: note: consider making struct 'Progress' conform to the 'Sendable' protocol
9 |
10 | /// What one drain accomplished.
11 | public struct Progress: Equatable {
| `- note: consider making struct 'Progress' conform to the 'Sendable' protocol
12 | public var steps = 0
13 | public var effects = 0
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Store.swift:98:26: warning: sending 'action' risks causing data races; this is an error in the Swift 6 language mode
96 | @discardableResult
97 | public func send(_ action: A) async throws -> Progress {
98 | try await driver.dispatch(action, step: stepFn, perform: performFn)
| |- warning: sending 'action' risks causing data races; this is an error in the Swift 6 language mode
| `- note: sending 'self'-isolated 'action' to nonisolated callee risks causing data races between nonisolated and 'self'-isolated uses
99 | }
100 |
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Store.swift:98:26: warning: sending 'self.stepFn' risks causing data races; this is an error in the Swift 6 language mode
96 | @discardableResult
97 | public func send(_ action: A) async throws -> Progress {
98 | try await driver.dispatch(action, step: stepFn, perform: performFn)
| |- warning: sending 'self.stepFn' risks causing data races; this is an error in the Swift 6 language mode
| `- note: sending 'self'-isolated 'self.stepFn' to nonisolated callee risks causing data races between nonisolated and 'self'-isolated uses
99 | }
100 |
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Store.swift:98:26: warning: sending 'self.performFn' risks causing data races; this is an error in the Swift 6 language mode
96 | @discardableResult
97 | public func send(_ action: A) async throws -> Progress {
98 | try await driver.dispatch(action, step: stepFn, perform: performFn)
| |- warning: sending 'self.performFn' risks causing data races; this is an error in the Swift 6 language mode
| `- note: sending 'self'-isolated 'self.performFn' to nonisolated callee risks causing data races between nonisolated and 'self'-isolated uses
99 | }
100 |
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Store.swift:98:26: warning: sending 'self.driver' risks causing data races; this is an error in the Swift 6 language mode
96 | @discardableResult
97 | public func send(_ action: A) async throws -> Progress {
98 | try await driver.dispatch(action, step: stepFn, perform: performFn)
| |- warning: sending 'self.driver' risks causing data races; this is an error in the Swift 6 language mode
| `- note: sending 'self'-isolated 'self.driver' to nonisolated callee risks causing data races between nonisolated and 'self'-isolated uses
99 | }
100 |
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Store.swift:107:26: warning: sending 'self.stepFn' risks causing data races; this is an error in the Swift 6 language mode
105 | @discardableResult
106 | public func drain() async throws -> Progress {
107 | try await driver.run(step: stepFn, perform: performFn)
| |- warning: sending 'self.stepFn' risks causing data races; this is an error in the Swift 6 language mode
| `- note: sending 'self'-isolated 'self.stepFn' to nonisolated callee risks causing data races between nonisolated and 'self'-isolated uses
108 | }
109 | }
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Store.swift:107:26: warning: sending 'self.performFn' risks causing data races; this is an error in the Swift 6 language mode
105 | @discardableResult
106 | public func drain() async throws -> Progress {
107 | try await driver.run(step: stepFn, perform: performFn)
| |- warning: sending 'self.performFn' risks causing data races; this is an error in the Swift 6 language mode
| `- note: sending 'self'-isolated 'self.performFn' to nonisolated callee risks causing data races between nonisolated and 'self'-isolated uses
108 | }
109 | }
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Store.swift:107:26: warning: sending 'self.driver' risks causing data races; this is an error in the Swift 6 language mode
105 | @discardableResult
106 | public func drain() async throws -> Progress {
107 | try await driver.run(step: stepFn, perform: performFn)
| |- warning: sending 'self.driver' risks causing data races; this is an error in the Swift 6 language mode
| `- note: sending 'self'-isolated 'self.driver' to nonisolated callee risks causing data races between nonisolated and 'self'-isolated uses
108 | }
109 | }
[14/31] Compiling TabularCenter Step.swift
[15/31] Compiling TabularCenter Lint.swift
[16/31] Emitting module TabularCenter
[17/31] Compiling TabularCenter Driver.swift
[18/31] Compiling TabularCenter Export.swift
[19/31] Compiling TabularCenter Cell.swift
[20/31] Compiling TabularCenterCodegen Emit.swift
[21/31] Emitting module TabularCenterCodegen
[22/31] Compiling TabularCenterCodegen Raw.swift
[23/40] Emitting module TabularCenterTesting
[24/40] Compiling TabularCenterTesting Spec.swift
[25/46] Compiling TabularCenterCheck StepAlgebra.swift
<unknown>:0: note: a function type must be marked '@Sendable' to conform to 'Sendable'
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/StepAlgebra.swift:20:5: warning: let 'algebraContinuations' is not concurrency-safe because non-'Sendable' type '[(Int) -> AlgebraStep]' (aka 'Array<(Int) -> Step<Int, Character>>') may have shared mutable state; this is an error in the Swift 6 language mode
18 | }
19 |
20 | let algebraContinuations: [(Int) -> AlgebraStep] = [
| |- warning: let 'algebraContinuations' is not concurrency-safe because non-'Sendable' type '[(Int) -> AlgebraStep]' (aka 'Array<(Int) -> Step<Int, Character>>') may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'algebraContinuations' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
21 | { n in .go(n + 1, effects: []) },
22 | { n in .go(n, effects: ["x"]) },
[26/46] Compiling TabularCenterCheck Assert.swift
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/Assert.swift:8:16: warning: static property 'failures' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
6 | /// same reason.
7 | enum Assert {
8 | static var failures = 0
| |- warning: static property 'failures' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'failures' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make static property 'failures' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
9 | static var checks = 0
10 |
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/Assert.swift:9:16: warning: static property 'checks' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
7 | enum Assert {
8 | static var failures = 0
9 | static var checks = 0
| |- warning: static property 'checks' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'checks' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make static property 'checks' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
10 |
11 | static func eq<T: Equatable>(_ actual: T, _ expected: T, _ what: String) {
[27/46] Compiling TabularCenterCheck ReferenceTimer.swift
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/ReferenceTimer.swift:112:5: warning: let 'TIMER_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
110 | }
111 |
112 | let TIMER_TABLE = Table(
| `- warning: let 'TIMER_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
113 | machine: "Timer",
114 | states: ["Idle", "Running", "Done"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/ReferenceTimer.swift:28:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
26 | // Done [ GO(Running, StartClock) IGNORE, IGNORE ]
27 | // ```
28 | import TabularCenter
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
29 |
30 | enum S: Equatable {
:
110 | }
111 |
112 | let TIMER_TABLE = Table(
| |- note: add '@MainActor' to make let 'TIMER_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
113 | machine: "Timer",
114 | states: ["Idle", "Running", "Done"],
[28/46] Compiling TabularCenterCheck main.swift
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/main.swift:305:33: warning: non-sendable result type 'Progress' cannot be sent from actor-isolated context in call to instance method 'send'; this is an error in the Swift 6 language mode
303 |
304 | do {
305 | let p = try await store.send(.start)
| `- warning: non-sendable result type 'Progress' cannot be sent from actor-isolated context in call to instance method 'send'; this is an error in the Swift 6 language mode
306 | Assert.eq(p.steps, 2, "async store: the start, then the queued tick")
307 | Assert.eq(p.followUps, 1, "async store: one follow-up, through the mailbox")
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Driver.swift:11:15: note: struct 'Progress' does not conform to the 'Sendable' protocol
9 |
10 | /// What one drain accomplished.
11 | public struct Progress: Equatable {
| `- note: struct 'Progress' does not conform to the 'Sendable' protocol
12 | public var steps = 0
13 | public var effects = 0
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/main.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
1 | import TabularCenter
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
2 |
3 | #if canImport(Glibc)
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/main.swift:331:11: warning: non-sendable result type 'Progress' cannot be sent from actor-isolated context in call to instance method 'send'; this is an error in the Swift 6 language mode
329 | return nil
330 | }
331 | ).send(.start)
| `- warning: non-sendable result type 'Progress' cannot be sent from actor-isolated context in call to instance method 'send'; this is an error in the Swift 6 language mode
332 | Assert.eq(a, b, "the two colors of the loop report the same progress")
333 | } catch {
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Driver.swift:11:15: note: struct 'Progress' does not conform to the 'Sendable' protocol
9 |
10 | /// What one drain accomplished.
11 | public struct Progress: Equatable {
| `- note: struct 'Progress' does not conform to the 'Sendable' protocol
12 | public var steps = 0
13 | public var effects = 0
[29/46] Emitting module TabularCenterCheck
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/Assert.swift:8:16: warning: static property 'failures' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
6 | /// same reason.
7 | enum Assert {
8 | static var failures = 0
| |- warning: static property 'failures' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'failures' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make static property 'failures' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
9 | static var checks = 0
10 |
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/Assert.swift:9:16: warning: static property 'checks' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
7 | enum Assert {
8 | static var failures = 0
9 | static var checks = 0
| |- warning: static property 'checks' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'checks' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make static property 'checks' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
10 |
11 | static func eq<T: Equatable>(_ actual: T, _ expected: T, _ what: String) {
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/ReferenceTimer.swift:112:5: warning: let 'TIMER_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
110 | }
111 |
112 | let TIMER_TABLE = Table(
| `- warning: let 'TIMER_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
113 | machine: "Timer",
114 | states: ["Idle", "Running", "Done"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/ReferenceTimer.swift:28:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
26 | // Done [ GO(Running, StartClock) IGNORE, IGNORE ]
27 | // ```
28 | import TabularCenter
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
29 |
30 | enum S: Equatable {
:
110 | }
111 |
112 | let TIMER_TABLE = Table(
| |- note: add '@MainActor' to make let 'TIMER_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
113 | machine: "Timer",
114 | states: ["Idle", "Running", "Done"],
<unknown>:0: note: a function type must be marked '@Sendable' to conform to 'Sendable'
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCheck/StepAlgebra.swift:20:5: warning: let 'algebraContinuations' is not concurrency-safe because non-'Sendable' type '[(Int) -> AlgebraStep]' (aka 'Array<(Int) -> Step<Int, Character>>') may have shared mutable state; this is an error in the Swift 6 language mode
18 | }
19 |
20 | let algebraContinuations: [(Int) -> AlgebraStep] = [
| |- warning: let 'algebraContinuations' is not concurrency-safe because non-'Sendable' type '[(Int) -> AlgebraStep]' (aka 'Array<(Int) -> Step<Int, Character>>') may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'algebraContinuations' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
21 | { n in .go(n + 1, effects: []) },
22 | { n in .go(n, effects: ["x"]) },
[29/46] Write Objects.LinkFileList
[30/46] Linking tabular-center-check
[31/46] Applying tabular-center-check
[33/46] Emitting module TabularCenterCodegenCheck
[34/46] Compiling TabularCenterCodegenCheck main.swift
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCodegenCheck/main.swift:14:5: error: main actor-isolated var 'checks' can not be mutated from a nonisolated context
9 |
10 | var failures = 0
11 | var checks = 0
| `- note: mutation of this var is only permitted within the actor
12 |
13 | func check(_ what: String, _ condition: Bool) {
| `- note: add '@MainActor' to make global function 'check' part of global actor 'MainActor'
14 | checks += 1
| `- error: main actor-isolated var 'checks' can not be mutated from a nonisolated context
15 | if !condition {
16 | failures += 1
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCodegenCheck/main.swift:16:9: error: main actor-isolated var 'failures' can not be mutated from a nonisolated context
8 | import TabularCenterCodegen
9 |
10 | var failures = 0
| `- note: mutation of this var is only permitted within the actor
11 | var checks = 0
12 |
13 | func check(_ what: String, _ condition: Bool) {
| `- note: add '@MainActor' to make global function 'check' part of global actor 'MainActor'
14 | checks += 1
15 | if !condition {
16 | failures += 1
| `- error: main actor-isolated var 'failures' can not be mutated from a nonisolated context
17 | print("FAIL \(what)")
18 | }
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCodegenCheck/main.swift:22:5: error: main actor-isolated var 'checks' can not be mutated from a nonisolated context
9 |
10 | var failures = 0
11 | var checks = 0
| `- note: mutation of this var is only permitted within the actor
12 |
13 | func check(_ what: String, _ condition: Bool) {
:
19 | }
20 |
21 | func expectError(_ what: String, _ code: String, _ body: () throws -> Void) {
| `- note: add '@MainActor' to make global function 'expectError' part of global actor 'MainActor'
22 | checks += 1
| `- error: main actor-isolated var 'checks' can not be mutated from a nonisolated context
23 | do {
24 | try body()
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCodegenCheck/main.swift:25:9: error: main actor-isolated var 'failures' can not be mutated from a nonisolated context
8 | import TabularCenterCodegen
9 |
10 | var failures = 0
| `- note: mutation of this var is only permitted within the actor
11 | var checks = 0
12 |
:
19 | }
20 |
21 | func expectError(_ what: String, _ code: String, _ body: () throws -> Void) {
| `- note: add '@MainActor' to make global function 'expectError' part of global actor 'MainActor'
22 | checks += 1
23 | do {
24 | try body()
25 | failures += 1
| `- error: main actor-isolated var 'failures' can not be mutated from a nonisolated context
26 | print("FAIL \(what): expected \(code), got no error")
27 | } catch let e as TabularCenterError {
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCodegenCheck/main.swift:29:13: error: main actor-isolated var 'failures' can not be mutated from a nonisolated context
8 | import TabularCenterCodegen
9 |
10 | var failures = 0
| `- note: mutation of this var is only permitted within the actor
11 | var checks = 0
12 |
:
19 | }
20 |
21 | func expectError(_ what: String, _ code: String, _ body: () throws -> Void) {
| `- note: add '@MainActor' to make global function 'expectError' part of global actor 'MainActor'
22 | checks += 1
23 | do {
:
27 | } catch let e as TabularCenterError {
28 | if e.code != code {
29 | failures += 1
| `- error: main actor-isolated var 'failures' can not be mutated from a nonisolated context
30 | print("FAIL \(what): expected \(code), got \(e.code)")
31 | print(" \(e.message)")
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterCodegenCheck/main.swift:34:9: error: main actor-isolated var 'failures' can not be mutated from a nonisolated context
8 | import TabularCenterCodegen
9 |
10 | var failures = 0
| `- note: mutation of this var is only permitted within the actor
11 | var checks = 0
12 |
:
19 | }
20 |
21 | func expectError(_ what: String, _ code: String, _ body: () throws -> Void) {
| `- note: add '@MainActor' to make global function 'expectError' part of global actor 'MainActor'
22 | checks += 1
23 | do {
:
32 | }
33 | } catch {
34 | failures += 1
| `- error: main actor-isolated var 'failures' can not be mutated from a nonisolated context
35 | print("FAIL \(what): unexpected \(error)")
36 | }
[35/46] Compiling TabularCenterConformance Machines.swift
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:40:5: warning: let 'TIMER_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
38 | }
39 |
40 | let TIMER_TABLE = Table(
| `- warning: let 'TIMER_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
41 | machine: "Timer",
42 | states: ["Idle", "Running", "Done"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:6:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
4 | // a Kotlin one in `conformance/`. The three agreeing on these fixtures is the
5 | // only thing keeping the implementations from drifting.
6 | import TabularCenter
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
7 |
8 | enum TimerS: Equatable { case idle, running(since: Int), done }
:
38 | }
39 |
40 | let TIMER_TABLE = Table(
| |- note: add '@MainActor' to make let 'TIMER_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
41 | machine: "Timer",
42 | states: ["Idle", "Running", "Done"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:89:5: warning: let 'TOGGLE_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
87 | }
88 |
89 | let TOGGLE_TABLE = Table(
| |- warning: let 'TOGGLE_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'TOGGLE_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
90 | machine: "Toggle",
91 | states: ["Off", "On"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:138:5: warning: let 'GATE_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
136 | }
137 |
138 | let GATE_TABLE = Table(
| |- warning: let 'GATE_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'GATE_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
139 | machine: "Gate",
140 | states: ["Locked", "Open"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:209:5: warning: let 'CONN_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
207 | }
208 |
209 | let CONN_TABLE = Table(
| |- warning: let 'CONN_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'CONN_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
210 | machine: "Conn",
211 | states: ["Connecting", "Backoff", "Reconnecting", "Live"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:279:5: warning: let 'VEND_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
277 | }
278 |
279 | let VEND_TABLE = Table(
| |- warning: let 'VEND_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'VEND_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
280 | machine: "Vend",
281 | states: ["Idle", "Charged", "Dispensing"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:351:5: warning: let 'POLL_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
349 | }
350 |
351 | let POLL_TABLE = Table(
| |- warning: let 'POLL_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'POLL_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
352 | machine: "Poll",
353 | states: ["Idle", "Armed", "Firing", "Spent"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:407:5: warning: let 'BEACON_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
405 | }
406 |
407 | let BEACON_TABLE = Table(
| |- warning: let 'BEACON_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'BEACON_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
408 | machine: "Beacon",
409 | states: ["Idle", "Blinking", "Fault"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:460:5: warning: let 'DOOR_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
458 | }
459 |
460 | let DOOR_TABLE = Table(
| |- warning: let 'DOOR_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'DOOR_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
461 | machine: "Door",
462 | states: ["Closed", "Open", "Jammed"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:515:5: warning: let 'LINK_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
513 | }
514 |
515 | let LINK_TABLE = Table(
| |- warning: let 'LINK_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'LINK_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
516 | machine: "Link",
517 | states: ["Down", "Dialing", "Up"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
[36/46] Compiling TabularCenterConformance StepAlgebra.swift
[37/46] Compiling TabularCenterConformance Compose.swift
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Compose.swift:59:5: warning: let 'RETRY_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
57 | }
58 |
59 | let RETRY_TABLE = Table(
| `- warning: let 'RETRY_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
60 | machine: "Retry",
61 | states: ["Ready", "Waiting", "Exhausted"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Compose.swift:26:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
24 | // them. A language-shaped difference, like every other one recorded in
25 | // ARCHITECTURE §11.0.
26 | import TabularCenter
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
27 |
28 | enum RetryS: Equatable { case ready, waiting(attempt: Int), exhausted }
:
57 | }
58 |
59 | let RETRY_TABLE = Table(
| |- note: add '@MainActor' to make let 'RETRY_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
60 | machine: "Retry",
61 | states: ["Ready", "Waiting", "Exhausted"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Compose.swift:128:5: warning: let 'JOB_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
126 | }
127 |
128 | let JOB_TABLE = Table(
| |- warning: let 'JOB_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'JOB_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
129 | machine: "Job",
130 | states: ["Idle", "Retrying", "Done"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
[38/46] Compiling TabularCenterConformance ComposeAdapters.swift
[39/46] Emitting module TabularCenterConformance
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Compose.swift:59:5: warning: let 'RETRY_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
57 | }
58 |
59 | let RETRY_TABLE = Table(
| `- warning: let 'RETRY_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
60 | machine: "Retry",
61 | states: ["Ready", "Waiting", "Exhausted"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Compose.swift:26:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
24 | // them. A language-shaped difference, like every other one recorded in
25 | // ARCHITECTURE §11.0.
26 | import TabularCenter
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
27 |
28 | enum RetryS: Equatable { case ready, waiting(attempt: Int), exhausted }
:
57 | }
58 |
59 | let RETRY_TABLE = Table(
| |- note: add '@MainActor' to make let 'RETRY_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
60 | machine: "Retry",
61 | states: ["Ready", "Waiting", "Exhausted"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Compose.swift:128:5: warning: let 'JOB_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
126 | }
127 |
128 | let JOB_TABLE = Table(
| |- warning: let 'JOB_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'JOB_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
129 | machine: "Job",
130 | states: ["Idle", "Retrying", "Done"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:40:5: warning: let 'TIMER_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
38 | }
39 |
40 | let TIMER_TABLE = Table(
| `- warning: let 'TIMER_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
41 | machine: "Timer",
42 | states: ["Idle", "Running", "Done"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:6:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
4 | // a Kotlin one in `conformance/`. The three agreeing on these fixtures is the
5 | // only thing keeping the implementations from drifting.
6 | import TabularCenter
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'TabularCenter'
7 |
8 | enum TimerS: Equatable { case idle, running(since: Int), done }
:
38 | }
39 |
40 | let TIMER_TABLE = Table(
| |- note: add '@MainActor' to make let 'TIMER_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
41 | machine: "Timer",
42 | states: ["Idle", "Running", "Done"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:89:5: warning: let 'TOGGLE_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
87 | }
88 |
89 | let TOGGLE_TABLE = Table(
| |- warning: let 'TOGGLE_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'TOGGLE_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
90 | machine: "Toggle",
91 | states: ["Off", "On"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:138:5: warning: let 'GATE_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
136 | }
137 |
138 | let GATE_TABLE = Table(
| |- warning: let 'GATE_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'GATE_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
139 | machine: "Gate",
140 | states: ["Locked", "Open"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:209:5: warning: let 'CONN_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
207 | }
208 |
209 | let CONN_TABLE = Table(
| |- warning: let 'CONN_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'CONN_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
210 | machine: "Conn",
211 | states: ["Connecting", "Backoff", "Reconnecting", "Live"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:279:5: warning: let 'VEND_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
277 | }
278 |
279 | let VEND_TABLE = Table(
| |- warning: let 'VEND_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'VEND_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
280 | machine: "Vend",
281 | states: ["Idle", "Charged", "Dispensing"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:351:5: warning: let 'POLL_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
349 | }
350 |
351 | let POLL_TABLE = Table(
| |- warning: let 'POLL_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'POLL_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
352 | machine: "Poll",
353 | states: ["Idle", "Armed", "Firing", "Spent"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:407:5: warning: let 'BEACON_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
405 | }
406 |
407 | let BEACON_TABLE = Table(
| |- warning: let 'BEACON_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'BEACON_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
408 | machine: "Beacon",
409 | states: ["Idle", "Blinking", "Fault"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:460:5: warning: let 'DOOR_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
458 | }
459 |
460 | let DOOR_TABLE = Table(
| |- warning: let 'DOOR_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'DOOR_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
461 | machine: "Door",
462 | states: ["Closed", "Open", "Jammed"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenterConformance/Machines.swift:515:5: warning: let 'LINK_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
513 | }
514 |
515 | let LINK_TABLE = Table(
| |- warning: let 'LINK_TABLE' is not concurrency-safe because non-'Sendable' type 'Table' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make let 'LINK_TABLE' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
516 | machine: "Link",
517 | states: ["Down", "Dialing", "Up"],
/Users/admin/builder/spi-builder-workspace/Sources/TabularCenter/Table.swift:13:15: note: struct 'Table' does not conform to the 'Sendable' protocol
11 | /// - `staticallyUnreached`: States no cell can statically transition into, excluding the initial one.
12 | /// - `isFullyStatic`: Whether every cell is static, i.e.
13 | public struct Table: Equatable {
| `- note: struct 'Table' does not conform to the 'Sendable' protocol
14 | public let machine: String
15 | public let states: [String]
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-16.3.0.app xcrun swift build --arch arm64
[0/1] Planning build
Building for debugging...
[0/10] Write swift-version-2F0A5646E1D333AE.txt
[2/22] Emitting module TabularCenter
[3/22] Compiling TabularCenter Store.swift
[4/22] Compiling TabularCenter Lint.swift
[5/22] Compiling TabularCenter Step.swift
[6/22] Compiling TabularCenter Driver.swift
[7/22] Compiling TabularCenter Table.swift
[8/22] Compiling TabularCenter Export.swift
[9/22] Compiling TabularCenter Cell.swift
[10/22] Compiling TabularCenterCodegen Raw.swift
[11/22] Compiling TabularCenterCodegen Model.swift
[12/29] Compiling TabularCenterCodegen Emit.swift
[13/29] Emitting module TabularCenterCodegen
[14/31] Compiling TabularCenterCheck Assert.swift
[15/31] Emitting module TabularCenterCheck
[16/31] Compiling TabularCenterCheck ReferenceTimer.swift
[17/31] Compiling TabularCenterCheck main.swift
[18/31] Compiling TabularCenterCheck StepAlgebra.swift
[19/31] Emitting module TabularCenterTesting
[20/31] Compiling TabularCenterTesting Spec.swift
[20/31] Write Objects.LinkFileList
[21/37] Linking tabular-center-check
[22/37] Applying tabular-center-check
[24/37] Compiling TabularCenterCodegenCheck main.swift
[25/37] Emitting module TabularCenterCodegenCheck
[25/37] Write Objects.LinkFileList
[27/37] Emitting module TabularCenterConformance
[27/37] Linking tabular-center-codegen-check
[28/37] Applying tabular-center-codegen-check
[30/37] Compiling TabularCenterConformance StepAlgebra.swift
[31/37] Compiling TabularCenterConformance Machines.swift
[32/37] Compiling TabularCenterConformance ComposeAdapters.swift
[33/37] Compiling TabularCenterConformance Compose.swift
[34/37] Compiling TabularCenterConformance main.swift
[34/37] Write Objects.LinkFileList
[35/37] Linking tabular-center-conformance
[36/37] Applying tabular-center-conformance
Build complete! (1.92s)
Build complete.
{
"dependencies" : [
],
"manifest_display_name" : "TabularCenter",
"name" : "TabularCenter",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "TabularCenter",
"targets" : [
"TabularCenter"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "TabularCenterTesting",
"targets" : [
"TabularCenterTesting"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "TabularCenterCodegen",
"targets" : [
"TabularCenterCodegen"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "tabular-center-check",
"targets" : [
"TabularCenterCheck"
],
"type" : {
"executable" : null
}
},
{
"name" : "tabular-center-conformance",
"targets" : [
"TabularCenterConformance"
],
"type" : {
"executable" : null
}
},
{
"name" : "tabular-center-codegen-check",
"targets" : [
"TabularCenterCodegenCheck"
],
"type" : {
"executable" : null
}
}
],
"targets" : [
{
"c99name" : "TabularCenterTesting",
"module_type" : "SwiftTarget",
"name" : "TabularCenterTesting",
"path" : "Sources/TabularCenterTesting",
"product_memberships" : [
"TabularCenterTesting",
"tabular-center-conformance"
],
"sources" : [
"Spec.swift"
],
"target_dependencies" : [
"TabularCenter"
],
"type" : "library"
},
{
"c99name" : "TabularCenterConformance",
"module_type" : "SwiftTarget",
"name" : "TabularCenterConformance",
"path" : "Sources/TabularCenterConformance",
"product_memberships" : [
"tabular-center-conformance"
],
"sources" : [
"Compose.swift",
"ComposeAdapters.swift",
"Machines.swift",
"StepAlgebra.swift",
"main.swift"
],
"target_dependencies" : [
"TabularCenter",
"TabularCenterTesting"
],
"type" : "executable"
},
{
"c99name" : "TabularCenterCodegenCheck",
"module_type" : "SwiftTarget",
"name" : "TabularCenterCodegenCheck",
"path" : "Sources/TabularCenterCodegenCheck",
"product_memberships" : [
"tabular-center-codegen-check"
],
"sources" : [
"main.swift"
],
"target_dependencies" : [
"TabularCenterCodegen"
],
"type" : "executable"
},
{
"c99name" : "TabularCenterCodegen",
"module_type" : "SwiftTarget",
"name" : "TabularCenterCodegen",
"path" : "Sources/TabularCenterCodegen",
"product_memberships" : [
"TabularCenterCodegen",
"tabular-center-codegen-check"
],
"sources" : [
"Emit.swift",
"Model.swift",
"Raw.swift"
],
"type" : "library"
},
{
"c99name" : "TabularCenterCheck",
"module_type" : "SwiftTarget",
"name" : "TabularCenterCheck",
"path" : "Sources/TabularCenterCheck",
"product_memberships" : [
"tabular-center-check"
],
"sources" : [
"Assert.swift",
"ReferenceTimer.swift",
"StepAlgebra.swift",
"main.swift"
],
"target_dependencies" : [
"TabularCenter"
],
"type" : "executable"
},
{
"c99name" : "TabularCenter",
"module_type" : "SwiftTarget",
"name" : "TabularCenter",
"path" : "Sources/TabularCenter",
"product_memberships" : [
"TabularCenter",
"TabularCenterTesting",
"tabular-center-check",
"tabular-center-conformance"
],
"sources" : [
"Cell.swift",
"Driver.swift",
"Export.swift",
"Lint.swift",
"Step.swift",
"Store.swift",
"Table.swift"
],
"type" : "library"
}
],
"tools_version" : "5.9"
}
Done.