The Swift Package Index logo.Swift Package Index

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 arm64

Build 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.