Bylaws is an architectural linter for Swift, built for developers and coding agents.
https://github.com/user-attachments/assets/6e900ccc-5033-43ed-9179-19ce325ebe08
Read the documentation for guides and the API reference.
Every project has rules that the compiler cannot enforce. Some might concern individual declarations or API use, such as naming conventions, required protocols or which parts of the codebase can call an API. Others describe the wider project through its folder layout or the dependencies allowed between different parts of the codebase.
AI coding agents can help a team move faster, but the changes they produce can
also break project rules and be difficult to review line by line. Skill files
and AGENTS.md can provide useful context, but they cannot ensure that every
instruction is applied consistently.
With Bylaws, you can write your project rules using familiar Swift APIs and run them through Swift Testing or the CLI. If a change breaks a rule, Bylaws reports the relevant file and line so both developers and coding agents know what to fix.
A rule can inspect declarations, function calls and other Swift syntax. It can
check where files and types belong, compare a Package.swift manifest with the
imports in its source, find dependency cycles or restrict references between
files, folders or modules.
Most rules only need access to the source code and project files, so the CLI can run them without a build and Swift Testing compiles the test target as part of the usual test run. If a rule needs compiler resolved references then it can read the compiler index from the latest build.
Create Bylaws.swift with a rule that keeps console output inside the logging
layer:
import Bylaws
import Testing
let app = Codebase(root: .automatic(), including: ["Sources/**"])
let projectRules: [Rule] = [
Rule(
"central-logging",
"Console output goes through the logging layer"
) {
try await app.calls
.outside("Sources/Logging")
.violations(
matching: .references("print", "debugPrint", "NSLog")
)
},
]
Save the file at the project root to run it with the CLI, or place it in a test target to run it with Swift Testing.
Install bylaws, then run the rule from the project root:
brew install theblixguy/tap/bylaws
bylaws lint
If Sources/App.swift calls print, the command exits with status 1 and points
to the call and the rule that reported it:
/path/to/App/Sources/App.swift:2:3: error: print violates 'Console output goes through the logging layer' [central-logging]
/path/to/App/Bylaws.swift:7:3: note: rule 'central-logging' is declared here
Checked 1 rule: 1 violation.
Add the Bylaws product to a test target, then add this test. If you start with
Swift Testing, you can define projectRules in the same file and move them into
a shared Bylaws.swift later. In either location, .automatic() finds the
package root so Sources/** will select the same files.
import Bylaws
import Testing
@Test("Code follows project rules", arguments: projectRules)
func projectRule(_ rule: Rule) async throws {
try await rule.report()
}
The rule runs with the rest of your tests:
swift test
If the rule finds a violation, the test fails and the output points to the affected code. The getting started guide includes the package dependency and explains how to share one rules file between Swift Testing and the CLI.
If a new rule reports existing problems, you can keep it advisory while you review the results or record a baseline so new violations fail the check. The adopting rules guide covers both options.
These examples show some of the checks you can write. The rule cookbook and other guides cover more of the API, so you can choose the rules that fit your project.
Suppose Checkout reads stored data through an API declared in Domain, while
Persistence provides the implementation. Checkout and Persistence may
import Domain, but Checkout must use the Domain API to stay independent of
the storage implementation.
If Persistence is a target dependency of Checkout, the import compiles even
though it breaks this design. The following rule enforces the intended boundary:
let appLayers = Layering(
Layer("Domain", files: ["Sources/Domain/**"]),
Layer(
"Persistence",
files: ["Sources/Persistence/**"],
mayImport: ["Domain"]
),
Layer("Checkout", files: ["Sources/Checkout/**"], mayImport: ["Domain"])
)
Rule("feature-boundaries", "Modules follow their declared dependencies") {
try await app.checkLayering(appLayers)
}
The restrictions apply between the layers listed here. Imports of other
modules, such as Foundation, remain permitted. If Checkout imports
Persistence, bylaws lint will point to the import that crosses the boundary:
/path/to/App/Sources/Checkout/CheckoutViewModel.swift:2:8: error: import Persistence violates 'Modules follow their declared dependencies' [feature-boundaries]
Checked 1 rule: 1 violation.
If these folders live inside one app target, the compiler index can enforce the same boundary without module imports.
If your project uses NSLock.withLock, you can report direct lock() and
unlock() calls without writing a SwiftSyntax visitor:
let manualLocking = Matcher<SourceNode>("call lock or unlock directly") {
$0.call?.references("lock.lock") == true
|| $0.call?.references("lock.unlock") == true
}
Rule("scoped-locking", "Locks use withLock") {
try await app.syntaxNodes(of: .functionCall)
.violations(matching: manualLocking)
}
A rule can use the node's parent or ancestors to distinguish the same call in different contexts.
If your app keeps shared screen behaviour in BaseScreenModel, a class that
conforms to ScreenModel should inherit that behaviour. You can check this even
when the conformance comes from an extension or an intermediate class:
Rule("screen-model-base", "Screen models inherit BaseScreenModel") {
try await app.classes
.where(.conforms(to: "ScreenModel") && !.named("BaseScreenModel"))
.violations(of: .inherits(from: "BaseScreenModel"))
}
Distinct CustomerID and OrderID types let the compiler catch an order ID
passed where a customer ID is required. This rule reports properties under
Sources/Domain whose names end in ID and whose type annotations specify
String, Int or UUID:
Rule("domain-identifiers", "Identifiers use domain types") {
try await app.properties
.under("Sources/Domain")
.suffixed("ID")
.violations(matching: .hasType("String", "Int", "UUID"))
}
Renaming a string-backed enum case also changes its implicit raw value. If your
app saves those values, you can require explicit raw values so a rename can keep
the stored format unchanged. This rule checks Codable enums under
Sources/Storage:
Rule("stored-enum-values", "Stored enum cases declare explicit values") {
try await app.enums
.under("Sources/Storage")
.where(.declaresInheritance("String") && .conforms(to: "Codable"))
.violations(of: Matcher<Enum>("declare explicit raw values") { anEnum in
anEnum.cases.allSatisfy { $0.rawValue != nil }
})
}
You can keep functions that call UserDefaults inside PreferencesStore, where
the app manages its preference keys and default values:
Rule("preferences-access", "Functions that call UserDefaults belong to PreferencesStore") {
try await app.functions
.where(.calls("UserDefaults"))
.violations(of: Matcher<Function>("belong to PreferencesStore") { function in
function.enclosingTypeName == "PreferencesStore"
})
}
The declaration guide shows separate queries for calls in property initialisers and accessors.
You can require each feature to contain exactly Models, ViewModels and
Views as child folders, with a violation for any missing or extra folder:
Rule("feature-folders", "Features contain Models, ViewModels and Views") {
try await app.checkFolderLayout(
matching: "Sources/App/*",
containing: ["Models", "ViewModels", "Views"]
)
}
A separate rule checks where the types belong:
Rule("view-model-folders", "View models belong in ViewModels") {
try await app.types.under("Sources/App").suffixed("ViewModel")
.violations(outsidePaths: "Sources/App/*/ViewModels/**")
}
The folder guide includes checks for views and models with examples for a module that shares folders across features.
You can also set permitted references and check cycles between file groups or require corresponding types, such as a view model for each feature view and a test type for each repository.
You can check that dependencies between targets in the same Package.swift
match their imports. This rule reports a missing dependency when a target
imports a module it hasn't declared or an unused dependency when the target no
longer imports it.
Define a codebase beside app that includes both application and test sources:
let packageCodebase = Codebase(
root: .automatic(),
including: ["Sources/**", "Tests/**"]
)
If your targets use other directories, add those paths to including so their
imports are checked too. Then add this rule to projectRules:
Rule("package-dependencies", "Package.swift matches source imports") {
try await packageCodebase.checkPackageDependencies()
}
Bylaws reports warnings for targets it cannot check.
The rule cookbook also covers protocol requirements, SwiftUI state, lifecycle calls and compiler-resolved references.
| Workflow | Use it when | Result |
|---|---|---|
bylaws CLI |
The rules must run before a build or from CI | Violations in Xcode, GitHub, JSON or SARIF format |
| Swift Testing | The rules belong with the test suite or need the full Swift language | Test cases with source diagnostics in Xcode |
[!NOTE]
You can run the same rules from the CLI and a test target if they use the CLI's supported Swift subset. The getting started guide explains how to share them, while the SwiftPM plugins, Bazel target and editor integrations sections cover the requirements for those workflows.
The CLI setup guide covers installation on macOS and Linux. Put
Bylaws.swift at the project root, then run:
bylaws lint
If you want to start with warning-only rules instead, run bylaws init in a
project that has no Bylaws.swift file. You can also record a baseline to
permit existing violations while rejecting new ones.
In CI, you can pass the complete list of files changed since the previous run
with --changed-path. Bylaws reruns the rules affected by those files and uses
cached results for the rest. Running rules from the CLI covers this workflow,
discovery, shared rule packages, baselines and CI.
Add the package and the Bylaws product to a test target:
dependencies: [
.package(
url: "https://github.com/theblixguy/swift-bylaws.git",
from: "0.6.1",
traits: []
)
],
targets: [
.testTarget(
name: "AppTests",
dependencies: [
.product(name: "Bylaws", package: "swift-bylaws")
]
)
]
On macOS, Bylaws uses a prebuilt SwiftSyntax library when one matches your compiler, so SwiftPM can skip compiling SwiftSyntax during the first test build. SwiftPM uses the SwiftSyntax source package on Linux and for other compiler versions.
Set traits: [] if you only use Bylaws in tests or omit it if you also use the
plugins, CLI or language server.
Put the rules file from Try Bylaws in
Tests/AppTests/Bylaws.swift and put its parameterised test in
Tests/AppTests/ArchitectureTests.swift.
Run the rules with the rest of the tests:
swift test
Rule violations fail the test and report the affected file and line. If you mark
a rule as .advisory, its violations appear as warnings instead.
To run the same rules from the CLI, pass the rules file to bylaws lint:
bylaws lint --rules Tests/AppTests/Bylaws.swift
You can also create one test case per matching declaration, as shown in the
declaration guide. To keep a shared rules file at the project root for plugins
and editors, use test discovery instead of compiling the rules as part of the
test target. Use discovery for files created by bylaws init too, as those
files use CLI syntax that cannot compile unchanged in a test target.
You can use either plugin without installing bylaws separately, and your rules
file can import shared rules from other package dependencies.
Use the plugins for those imports, as the standalone CLI does not resolve the
package dependencies.
| Plugin | Use it when | How it runs |
|---|---|---|
Command plugin (BylawsPlugin) |
You want a separate local or CI check, need to record a baseline or run rules that use compiler data | You run swift package bylaws when needed |
Build plugin (BylawsBuildToolPlugin) |
Rule violations should stop a SwiftPM build | SwiftPM runs the check before compiling the attached target |
You can use both plugins to check rules during builds and record baselines
separately. For projects without a Swift package, use the standalone
bylaws lint command with local rules files.
Add Bylaws to your package dependencies and put Bylaws.swift at the package
root. The command plugin is available without attaching it to a target:
swift package --allow-writing-to-package-directory bylaws
The permission flag lets the plugin write a baseline when you request one. You
can pass lint options after bylaws, such as --only feature-boundaries. If
any of your rules use the compiler index, build the project before you run the
plugin.
Add Bylaws to your package dependencies, put Bylaws.swift at the package root
and attach BylawsBuildToolPlugin to one target that your build includes:
.target(
name: "App",
plugins: [
.plugin(name: "BylawsBuildToolPlugin", package: "swift-bylaws"),
]
)
Build with this flag so SwiftPM runs the checks on each build:
swift build --disable-build-manifest-caching
[!IMPORTANT]
The flag is required because SwiftPM can otherwise reuse a build plan and skip checks after a source edit.
The plugin checks rules against any recorded baselines and fails the build on enforced violations. Attaching it to several targets repeats the package-wide check, so attach it once per package. Use the command plugin to record baselines, see advisory warnings or run rules that need compiler data.
The build plugin works with SwiftPM command-line builds but cannot be attached directly to an Xcode project target. Build-tool plugin setup covers the supported builds and rule restrictions.
You can run Bylaws as a separate local or CI check with Bazel 7.1 or later on macOS and Linux.
Add the dependency from the Bazel Central Registry to MODULE.bazel:
bazel_dep(name = "swift-bylaws", version = "0.6.1")
Put Bylaws.swift at the workspace root, then run:
bazel run @swift-bylaws//:bylaws -- lint
To check rules during bazel build, add a Bazel lint target. It checks the
declared source files, including generated files, and produces a JSON report.
Bazel caches parsed source groups separately, so a rule change can reuse all of
them and a source change only reparses its group. You can also check Bazel
target dependencies using an exported graph, without a Package.swift.
Install the Bylaws integration for your editor and follow its setup guide: VS
Code or Cursor, Zed, Neovim or Emacs. The guides cover installation of
the bylaws-lsp executable as well as the editor settings.
Open a project with a Bylaws.swift file to see violations as you edit Swift
code, including changes you haven't saved. The editor uses the same rules and
baseline as the CLI.
Compiler-index rules check the code from a build rather than unsaved edits. After saving and rebuilding your project, restart the language server to refresh those results.
If you use SwiftLint for style and correctness checks, you can add Bylaws to enforce your project's architecture rules.
| Feature | Bylaws | Harmonize | SwiftLint |
|---|---|---|---|
| Run rules | Swift Testing or CLI | Swift Testing, XCTest or Quick | CLI |
| SwiftPM build | Prebuilt SwiftSyntax for matching macOS compilers, with a source fallback | SwiftSyntax builds from source | Plugins download a prebuilt tool |
| SwiftPM command plugin | swift package bylaws |
None | swift package plugin swiftlint |
| Build-tool plugin | SwiftPM (build flag required) | None | SwiftPM and Xcode |
| Bazel integration | bazel run and a cacheable lint target for source checks |
No bundled integration | bazel run |
| Editor integration | Xcode test diagnostics and live LSP checks in VS Code, Cursor, Zed, Neovim and Emacs | Test diagnostics in Xcode | Xcode build diagnostics and community editor extensions such as SwiftLint for VS Code |
| Share rules | Swift packages for tests and both plugins | Swift helpers in test dependencies | Shared YAML or a custom binary for Swift rules |
| Rules per folder or module | Automatic folder discovery, exclusions and overrides with a reason | Query filters and file exclusions | Nested configuration files |
| Accept existing violations | Recorded baseline, checked for entries that no longer apply | Hand-written list of names, checked for entries that no longer apply | Recorded JSON baseline |
| Warning-only rules | Advisory rules in tests and the CLI | Severity metadata with test failures by default | Configurable warning and error levels |
| Changed-file checks | Pass changed paths to skip unaffected rules and reuse cached results | None | Pass changed files or use the per-file cache |
| Report results | Test failures, Xcode, GitHub, JSON and SARIF with rule locations | Test failures and JSON | Xcode, GitHub, JSON, SARIF and other formats |
| Automatic fixes | None | None | --fix for supported rules |
| Feature | Bylaws | Harmonize | SwiftLint |
|---|---|---|---|
| Custom rules | Swift queries and matchers for source and syntax nodes | Swift queries and assertions | Regex in YAML or Swift rules in a custom build |
| Declarations, calls and type annotations | Source model and SwiftSyntax access | Source model and SwiftSyntax access | SwiftSyntax in Swift custom rules |
| Inheritance and conformance | Transitive source queries, including aliases and extensions | Direct and transitive source queries | Swift custom rules |
| Macro uses and call argument labels | Query APIs | SwiftSyntax access where query APIs do not cover a check | Swift custom rules |
| Allowed imports between layers | Declare layers and allowed imports | Write checks over imports | Swift custom rules |
| Layer boundaries within a module | Folder-based layers with compiler-resolved references | None | None |
| SwiftPM manifest | Query targets, products, platforms, traits and build settings | None | None |
| SwiftPM target dependencies | Find unused and undeclared target dependencies | None | Import rules without a local target-dependency check |
| Bazel target dependencies | Direct/transitive dependencies and build settings from configured cquery exports |
No built-in graph queries | No built-in graph queries |
| Import graph and dependency stability | Graph queries and stability checks | None | None |
| Compiler data | Optional index for resolved references and conformances | Source syntax model | analyze with a clean build log |
These benchmarks compare how long Bylaws and SwiftLint take to check ten corresponding source properties in the same files across five open-source Swift projects. The times below are in seconds and exclude compilation.
| Project | Swift files | Lines | Bylaws | SwiftLint | |||
|---|---|---|---|---|---|---|---|
bylaws lint (s) |
swift test uncached (s) |
swift test cached (s) |
--no-cache (s) |
Cached (s) | |||
| RxSwift | 264 | 30,294 | 0.07 | 1.07 | 0.91 | 0.14 | 0.10 |
| Realm | 130 | 76,507 | 0.19 | 1.50 | 1.13 | 0.34 | 0.10 |
| Kickstarter | 1,631 | 261,712 | 0.33 | 2.40 | 1.43 | 0.68 | 0.33 |
| WordPress | 3,260 | 428,267 | 0.50 | 3.58 | 1.71 | 0.99 | 0.40 |
| Firefox | 3,013 | 407,427 | 0.53 | 3.72 | 1.82 | 1.45 | 0.91 |
Use GitHub Issues for bugs, questions and proposed rules.
Bylaws is available under the MIT licence. See LICENSE.