easement
Architecture quality gate for polyglot codebases.
Declare the components of your system and which of them may depend on which. easement extracts the real dependencies from the code, builds the graph and fails the build when the code drifts from the declared architecture.
easement — a legal right to cross someone else's land. In
easement, every allowed dependency between components is an explicit easement; everything else is trespassing.
Install
easement runs a SCIP indexer for each indexed language it finds, so install those too, see Indexers.
Homebrew works on macOS and Linux. Other options:
-
the install script for macOS and Linux, which checks the archive against the checksums of the release and installs to
/usr/local/bin:|Pass
-b <dir>to install elsewhere and-v <version>to pin a release:... | sh -s -- -b ~/.local/bin -v 0.1.0; -
.deband.rpmpackages for amd64 and arm64 on each GitHub release:sudo apt install ./easement_<version>-1_amd64.deborsudo dnf install ./easement-<version>-1.x86_64.rpm; -
cargo install easement; -
prebuilt binaries for macOS, Linux and Windows, with a PowerShell installer for Windows, on each release.
Windows binaries are built, but Windows is not tested and its support is not guaranteed: some indexers do not work there.
Status
Early. Go, TypeScript/JavaScript, Python, Rust, PHP, Java and C# are resolved by SCIP indexers, so they need the indexers installed; Kotlin and Swift are read with tree-sitter.
Usage
The text report is coloured on a terminal. --color auto|always|never overrides that, and auto honours NO_COLOR and CLICOLOR_FORCE; the structured formats are never coloured. To install completions for zsh, write the script to a directory on your fpath: easement completions zsh > ~/.zfunc/_easement.
easement suggest reads the real graph against the config and lists the may_depend_on entries no import uses, the imports that nothing allows, and the components whose instances never import each other and so could be isolated (only * patterns, never **). An entry next to files no indexer covered is listed apart as unreliable, because the import it would remove may be in a file that was never read: check those by hand before removing anything. easement suggest --patch prints the removals as a patch (easement suggest --patch | git apply): it edits the text of easement.yml, so comments and because reasons stay, and it never touches an entry next to unindexed files. An entry it cannot place in the file (a rule that comes from extends or an alias, a list written over several lines) is named on stderr to remove by hand.
easement doctor looks at the languages the project has and says, for each, whether its indexer is on the PATH, which version, and whether what it needs is in place (node_modules for TypeScript, composer install for PHP). For a missing indexer it prints how to install it and, where mise can, the lines for the [tools] of a mise.toml. It exits 1 when something is missing, so a script or an agent can run it first and read --format json.
easement init finds the components in the layout of the project (the subdirectories of internal/, src/, app/, … or the top-level directories) and allows every dependency it finds between them. The first easement check passes; remove the dependencies that should not exist, and add because: reasons.
easement.yml lives in the project root; all paths are relative to it.
version: 1
components:
handler:
service:
repository:
model:
common:
rules:
handler:
service:
may_depend_on:
because: services never talk HTTP
exclude:
- components: an
inpattern (a glob or a list of globs) names a module, whether it is a directory or a file:src/app/clicovers thecli/directory with everything below it and a filecli.py.*stays within one directory,**crosses directories. When several components match a file, the one with the higherprioritywins (default 0), then the longest pattern, so a single file can be carved out of a larger component.exceptlists patterns a component gives up: its files matching them belong to the next component that matches, if any. - rules: an allow-list. A component may depend on itself, on
commoncomponents and on whatmay_depend_onlists — nothing else.becauseis printed with every violation of the rule, so the reader (or an agent) learns where the code should go instead. - Files outside every component are not checked, unless
strict: trueturns them intoorphanviolations. External modules are checked only where a rule says so, see External modules. - exclude: globs to skip, for the whole project.
.gitignoreis honoured andnode_modulesis always skipped. Excluded files are not checked at all. To hold tests to rules of their own, see Tests.
$ easement check
internal/handlers/books.go:6: handler -> repository is not allowed (imports example.com/shop/internal/repository) [dependency]
easement failed: 1 violation(s), 0 stale, 0 legalized; 5 files, 6 internal deps
Rules
Every violation carries a rule id, used in the JSON report, the baseline and suppressions.
| Rule | Fails when |
|---|---|
dependency |
a component imports one that its may_depend_on does not list |
privacy |
a component imports a path of another component outside that component's public API |
cycle |
components covered by no_cycles depend on each other in a cycle |
external |
a component uses an external module its rule does not allow |
metric |
a component exceeds max_fan_out or max_instability |
orphan |
with strict: true, a checked file belongs to no component |
isolation |
an instance of an isolated component imports another instance |
required |
a directory of a component lacks an import, a file or a directive its rule requires |
file |
a component holds a file its forbid_file rule forbids |
symbol |
a component uses a name its forbid_symbol rule forbids, or one outside the public_symbols of another component |
suppression-reason |
an inline suppression has no reason |
unused-suppression |
an inline suppression matches no violation, or names a rule that cannot be suppressed (dependency, privacy, external, isolation and symbol can be) |
Public API
components:
billing:
in: src/billing
public:
because: billing internals change without notice
Other components may import only the public paths (src/billing/index.ts, anything under src/billing/api); code inside billing reaches its own internals freely. A component without public is open.
Instances of one component
components:
pages:
in: "src/pages/*"
isolated: true
because: pages ship as separate bundles
Each directory that src/pages/* matches is an instance, and instances of an isolated component must not import each other: src/pages/contacts cannot import src/pages/segments. A file contacts.tsx and a directory contacts/ are the same instance. Every in pattern of an isolated component needs a * to tell the instances apart, and no **. Violations are the isolation rule and can be suppressed inline; because of the component is printed with them.
Who may import a component
components:
ee:
in: internal/ee
allow_importers:
because: ee is licensed separately
Only the listed components (and ee itself) may import ee, even when common or layers would let everyone in. This is the other side of may_depend_on: write it where the rule is about the one being imported. The violation reads pages -> ee: ee may be imported only from wiring.
Layers and forbidden dependencies
layers: # top to bottom
rules:
handler:
must_not_depend_on:
because: handlers go through services
A layer may depend on every layer below it and never on one above. must_not_depend_on wins over everything that would allow the dependency: may_depend_on, common and layers. Its violations read handler -> repository is forbidden.
An item of must_not_depend_on and forbid_external can carry a reason of its own, which is printed instead of the because of the rule:
rules:
core:
must_not_depend_on:
-
forbid_external:
-
- lodash
because: core stays dependency-free # printed for lodash
may_depend_on, may_use_external, must_depend_on, must_use_external, requires_file, forbid_file, requires_directive and forbid_symbol take the same items. For the allow-lists the reason says why the dependency is allowed and is shown by easement explain.
Quote a reason that contains a comma or a colon.
External modules
rules:
domain:
forbid_external:
ui:
may_use_external:
forbid_external lists modules the component must not use. may_use_external is an allow-list: everything else is a violation; without it any external module is fine. A pattern covers submodules, split at /, ., :: and \: lodash covers lodash/fp, @mantine/core covers @mantine/core/styles.css, java.util covers java.util.List, serde covers serde::Deserialize. The standard library counts as external in Go, Python, Java and Rust, so an allow-list has to name it. The reason of the matching item is printed with a violation, else the because of the rule.
Required imports and files
rules:
resources:
must_depend_on:
must_use_external:
-
requires_file:
The other side of may_depend_on: what a component must do rather than may. Every directory that holds checked files of the component is a unit, and some file in the unit has to import each listed component and external module (a pattern covers submodules, as in forbid_external) and the directory has to contain each listed file name or glob (*_test.go demands a test). A unit that falls short is one required violation per missing item, reported at the first file of the directory. With src/api/*/resources as the component, each resources directory is checked on its own. The rule cannot be suppressed inline; use the baseline for old debt.
Files and directives
rules:
ui:
forbid_file:
-
resources:
requires_directive:
-
forbid_file fails on every file of the component whose name or path matches a glob (file violation, one per file). requires_directive is for dependencies that are written as comments rather than imports (// goverter:converter, //go:generate, //go:embed): some file in every directory of the component has to match each regular expression, like requires_file does for names. A directory that does not is one required violation per missing expression.
Symbols
components:
db:
in: internal/db
public_symbols:
because: handlers get a scoped client, never the raw one
rules:
handler:
forbid_symbol:
-
forbid_symbol names what a component must not use, as package.Name or import/path.Name. public_symbols is the other side: other components may use only these names from the component's packages (only Scoped and Tx). Both are symbol violations at the line of the use and can be suppressed inline.
The indexer resolves every name to its definition, so db.Client is matched by what it is, not by how it is spelled: an import alias or a local variable that shadows the package name makes no difference, and a method call on a value of that type (c.Query()) counts as a use of Client. For Go the qualifier is the import path or its package name; for TypeScript it is the npm package (lodash.debounce) or the file without extension (src/db/client.Client). Symbol rules are read for the indexed languages (Go and TypeScript); in the others they say nothing.
Tests
tests: auto
rules:
tests:
may_depend_on:
because: tests reach the database only through testhelper
tests: auto puts the test files of every language into a component named tests (*_test.go, *.test.* and *.spec.* for TypeScript and JavaScript, test_*.py and *_test.py, *Test.java, *Tests.java, *Test.kt, *Test.cs, *Tests.cs, *Test.php, *Tests.swift, __tests__/). It beats every other component for those files. Without a tests rule tests may import anything, which is the same as not checking them; with one, may_depend_on is their allow-list. Name the component tests yourself and tests: auto refuses to run.
Coupling limits
rules:
core:
max_fan_out: 4 # components it depends on
max_instability: 0.7 # out / (in + out), 0 is stable and 1 is unstable
Both count dependencies between components, so common components are counted too. A violation names the limit and the components behind it.
Strict mode
strict: true fails on every checked file that belongs to no component, so a new directory cannot slip past the gate unnoticed. unowned lists the files and directories that are allowed to belong to none:
strict: true
unowned:
Unlike exclude, files in unowned are still read, so components can depend on them. exclude hides files from the check altogether.
Cycles
no_cycles: true # or a list: [billing, orders, catalog]
A group of components that all reach each other is reported once, with the shortest cycle to break:
src/billing/charge.ts:1: component dependency cycle among 3 components: billing, catalog, orders (shortest: billing -> orders -> billing) [cycle]
In diff mode a cycle is reported when any import inside it was added by the change.
Suppressions
An exception for one import, in a comment of any language, always with a reason after --:
// easement:disable-next-line dependency -- legacy admin export, remove with #123
import { exportAll } from "../admin/export";
import { client } from "../billing/generated"; // easement:disable-line privacy -- generated client
A suppression without a reason does not suppress and fails as suppression-reason. One that no longer matches a violation fails as unused-suppression, so exceptions do not outlive the code they excused. Prefer the baseline for old debt; suppressions are for deliberate, reviewed exceptions.
Reporting on a part of the project
--component <name> and --scope <path> narrow the report to the files of a component or the files under a path; given together, a file has to satisfy both. The whole project is still read, because cycles, limits and every edge need all of it, so the run is not faster, but the violations, the baseline's stale entries and the counters (1358 files, 4183 deps becomes the numbers of the part) are those of the part. With --watch the cache makes the reruns fast.
Monorepos
All paths are relative to the directory of easement.yml, so a package of a monorepo gets its own config and easement check -c packages/api/easement.yml. Packages share rules with extends:
# packages/api/easement.yml
extends: ../../easement.base.yml # a path or a list of paths, relative to this file
components:
api:
components and rules merge by name, and a definition in the extending file replaces the one it extends as a whole; common and exclude are joined; any other key is replaced. Patterns in the extended file stay relative to the config being loaded.
The same part of a rule in several components is written once with a YAML anchor and merged with <<. A top-level key that starts with x- is only a place for such an anchor, easement ignores it:
x-no-raw-client:
forbid_symbol:
-
rules:
api-site:
api-external:
A key given next to << wins over the merged one, and a list is replaced, not joined.
In CI
--format picks the report: text (default), json, sarif (GitHub Code Scanning), github (annotations on the changed files) and junit (a failed test case per violation).
The repository is a GitHub Action:
- uses: actions/checkout@v4
with:
- uses: mokevnin/easement@main
with:
diff: origin/main # optional: judge only what the pull request adds
Inputs: version, config, working-directory, diff and format (github by default). With SARIF:
- run: easement check --format sarif > easement.sarif
- uses: github/codeql-action/upload-sarif@v3
with:
For git hooks we recommend mise to install easement and hk to run it:
# mise.toml
[]
= "latest"
= "latest"
// hk.pkl
hooks {
["pre-push"] {
steps {
["easement"] { check = "easement check" }
}
}
}
Run it on pre-push rather than pre-commit: the check reads the whole project.
easement schema prints the JSON Schema of easement.yml; easement init adds it to the file for editors that read a yaml-language-server comment. easement check --watch runs again after every change and re-reads only the files that changed; the cache lives in memory, so every run of the command starts cold.
Baseline: adopting on an existing project
easement baseline writes current violations to easement.baseline.yml (path configurable with baseline:). After that the gate is a ratchet:
- violations in the baseline are legalized;
- any new violation fails;
- a baseline entry that no longer occurs also fails, so fixed debt has to be removed from the file with
easement baseline. The baseline can only shrink.
Entries are keyed by rule, file, target and components, not by line, so unrelated edits do not invalidate them. A cycle is keyed by its components. Every use is a violation of its own, at its own line, so a file that uses a forbidden name three times is reported three times; one baseline entry legalizes all the uses of its key, and a use added next to a legalized one is legalized with it.
Diff mode: judging a pull request
easement check --diff <base> reports only violations whose import line was added or changed since the merge-base with <base>, including uncommitted and untracked files. Old violations elsewhere do not fail the change, so the gate can be turned on without a baseline. In CI fetch the base branch (actions/checkout with fetch-depth: 0).
The report ends with the new dependencies between components that the change brings: app -> ui is listed when every import behind that edge is on a changed line, so a reviewer sees the change to the graph and not only the violations. --format github adds it as a notice and --format json as stats.new_dependencies.
The baseline still applies, and stale entries are still reported. A rule change in easement.yml does not touch the importing lines, so it shows up only in a full easement check; run both on pull requests if the config changes often.
Languages
| Language | Extracts | Resolves |
|---|---|---|
| Go | everything scip-go resolves |
per go.mod, as the Go toolchain does |
| TypeScript / JavaScript | everything scip-typescript resolves: import, export … from, import(), typeof import(), require() in JavaScript files |
the TypeScript compiler's own rules: tsconfig paths, package exports, workspaces, .js → .ts |
| Python | everything scip-python resolves |
the interpreter's rules, as pyright sees them: absolute and relative imports, packages, the installed environment |
| Java | everything scip-java resolves: a class named in an import or used by its qualified name |
the compiler's, through the Maven or Gradle build |
| Rust | everything rust-analyzer scip resolves |
the crate graph from cargo metadata: crate::, self::, super::, workspace members, mod x; |
| C# | everything scip-dotnet resolves: a type named in a using or used by its qualified name |
the compiler's (Roslyn), through the project or solution |
| Kotlin | import, import … as, import ….* |
top-level declarations indexed by the package of their file, like Java; a file may hold several classes |
| PHP | everything scip-php resolves: a class used in a use statement or by its qualified name |
the Composer autoloader: PSR-4 and classmap, installed packages from vendor/ |
| Swift | import |
modules in the SwiftPM layout: Sources/<Module> next to a Package.swift |
Go, TypeScript, Python and Rust come from a SCIP index, which is exact but has its own limits: only files that a tsconfig.json includes are indexed, and easement says how many source files no index covered (N files not covered by an indexer); require() in a .ts file is invisible unless @types/node is installed (JavaScript files are fine); a violation names the target file (imports src/db/d.ts) rather than the specifier as written; vi.mock('./x') and similar string arguments are not imports to the compiler, so they are not seen. Imports computed at run time are not reported at all. For Java and C# a method call or a constructor counts as a use of its class, and a package or namespace named on its own is not a dependency. In PHP only classes (and interfaces, traits, enums) count as dependencies: functions and constants brought in with use function or use const do not, and scip-php writes index.scip into the project directory for a moment, so easement refuses to run when one is already there. In Python third-party modules have to be installed in the environment the indexer sees, or their imports are not seen (there is no check for that yet, unlike node_modules), and a module reference is matched to its file by the end of its dotted name, so an import that two modules could satisfy is skipped. In Rust the dependency of a line is the deepest module it names, std, core and alloc all count as std, and rust-analyzer must be installed (rustup component add rust-analyzer).
Kotlin is still read with tree-sitter: scip-java's Kotlin plugin fails with a NoClassDefFoundError on every Kotlin compiler from 1.9 to 2.3 that I tried, so there is no indexer to use yet. Known limits of the languages that tree-sitter reads: references by fully qualified name without an import (Kotlin) are not seen. A C# namespace that spans several components resolves to the first of its directories, so keep a namespace in one component. Swift modules declared with a custom path: in Package.swift are not found.
Adding a language to the indexed set means naming its indexer and the marker file it runs in (src/indexer.rs) and mapping its symbols to module names (src/scip.rs). A language that has no indexer can still be read with a tree-sitter adapter (src/lang/mod.rs): extract imports from a file, resolve a specifier to a project path or an external module. Rules, baseline and reports are language-agnostic.
Index cache
Indexers are slow (a second or two for a small project, ten or more for a big one), so easement keeps what they write. The cache lives in the user's cache directory (~/Library/Caches/easement on macOS, ~/.cache/easement on Linux; set EASEMENT_CACHE_DIR to move it) with one index per project directory and indexer. An index is reused while the indexer binary and the name, size and modification time of every project file under its directory (build output such as target/ left out) stay the same; any change runs the indexer again. Dependencies that live outside the project (node_modules, vendor/, the Go module cache, the Python environment) are not looked at, so after changing them without touching a lock file run easement check --no-cache. --format json reports stats.indexed and stats.from_cache.
Indexers
| Language | Indexer | Needs |
|---|---|---|
| Go | scip-go |
a go.mod; the Go toolchain and the module dependencies |
| TypeScript, JavaScript | scip-typescript |
a tsconfig.json (with allowJs for JavaScript); npm install (or pnpm, yarn) done |
| Python | scip-python |
Python and Node; the dependencies installed in the environment |
| Rust | rust-analyzer scip |
a Cargo.toml (the outermost one holds the workspace); rustup component add rust-analyzer |
| PHP | scip-php |
a composer.json with composer.lock and vendor/ from composer install; installed with composer global require |
| Java | scip-java |
a pom.xml or build.gradle(.kts) (the outermost one holds the modules); the JDK and the build tool; it builds the project, and needs bash 4.4 or newer (not the macOS one) |
| C# | scip-dotnet |
a .csproj or .sln; the .NET SDK; dotnet tool install --global scip-dotnet; it restores packages |
The released scip-php (v0.0.2) cannot be installed any more, because every protobuf version it accepts has a security advisory, so the line above pins a commit of its main branch.
easement check finds the go.mod, tsconfig.json and Cargo.toml files (Java: pom.xml, build.gradle; C#: *.csproj, *.sln; PHP: composer.json; Python projects: pyproject.toml, setup.py, setup.cfg, requirements.txt, or else the project root), runs the indexer in each of those directories and reads the result. A missing indexer, a failed run (add a directory that is not part of the project to exclude), or a package.json with dependencies but no node_modules is an error (exit code 2), never a quiet gap; source files that no go.mod, tsconfig.json, Cargo.toml or other project file covers are counted in the report as files not covered by an indexer: without installed packages the indexer cannot see third-party modules, so forbid_external would silently pass.
For Go, a file behind a build constraint (//go:build race) is built, and so indexed, only for the tags the indexer is given; the others are listed as not covered. go.tags names the tags to index with (they are passed as -tags through GOFLAGS, and are part of the key the cached index is stored under):
go:
tags:
For TypeScript a file is covered when a tsconfig.json includes it, so generated code outside include is listed as not covered: add it to include. A tsconfig.json in a subdirectory is indexed as a project of its own, and an import from there into a file of another project is not seen, so prefer one tsconfig.json that includes what should be checked together.
Those files are named in the text report (the first twenty; all of them in --format json, stats.uncovered), and the JSON report says "confidence": "partial" with the reasons in confidence_reasons: a green verdict then covers only the code an indexer read, and whoever acts on it has to treat the rest as unchecked. The same field is partial for a run that judges a part by design (--diff, --component, --scope) and names the part: passed then says nothing about the rest of the project. Files that are meant to stay outside an indexer (build helpers, generated code) are accepted with uncovered_ok, each with the reason, and then no longer count:
uncovered_ok:
-
Languages whose dependencies are not visible from imports (Ruby, Elixir) are out of scope.
How it works
- Walk the project. For Go and TypeScript run the SCIP indexer and read the index; for the other languages parse each file with tree-sitter and collect imports.
- Turn every reference to a module into a dependency on a file inside the project, or on an external module.
- Map both ends to components and check each edge against the rules.
- Compare violations with the baseline and report.
Comparison with other tools
Most architecture checkers are tied to one language. easement is not a replacement for them where they go deeper; it is for projects that want one model across several languages.
| Tool | Languages | Level of analysis | Rules are written as |
|---|---|---|---|
easement |
Go, TypeScript/JavaScript, Python, Java, Rust, C#, Kotlin, PHP, Swift | imports between files and packages | one YAML file |
| ArchUnit | Java (and other JVM languages through bytecode) | classes, methods, annotations, inheritance | JUnit tests in code |
| dependency-cruiser | JavaScript, TypeScript | imports between modules | JS or JSON config |
| import-linter | Python | imports between modules | INI or TOML contracts |
| Deptrac | PHP | classes, collected into layers | YAML |
| arch-go | Go | packages, functions, naming | YAML |
| depguard | Go | import allow and deny lists | golangci-lint config |
Where easement differs:
- One config, one baseline, one report. A repository with a Go backend and a TypeScript frontend gets the same component model, the same suppressions and the same CI output (
sarif,github,junit) for both. - The compiler's view, through SCIP. Go, TypeScript, Python and Rust are resolved by their SCIP indexers, so aliases,
tsconfigpaths and re-exports are what the compiler sees; for the other languages files are read with tree-sitter and nothing has to build. The price of the indexers is that dependencies have to be installed, which ArchUnit, working on compiled classes, also asks for. - Adoption and review features built in. A baseline for existing violations,
--diffto judge only what a pull request adds,--scopefor a part of the project, andextendsfor shared policy in a monorepo. - One static binary. No runtime to install in CI.
Where the others are stronger:
- Depth.
easementsees imports and, for Go, the names used through them, but it does not resolve types. Rules about classes, methods, annotations, naming or call chains (ArchUnit, arch-go) are out of its reach. - Resolution. A tool built for one ecosystem knows its build system better than a general adapter does: dependency-cruiser and its TypeScript options, import-linter and Python packaging, ArchUnit and the classpath.
- Maturity. The tools above have years of use behind them.
easementis early.
Using both is reasonable: keep a language-specific tool for the deep rules of one codebase and let easement hold the boundaries between components and languages.
Inspired by
easement builds on ideas from these tools, each of which covers one language or ecosystem:
- ArchUnit: architecture rules as tests for Java.
- dependency-cruiser: dependency rules for JavaScript and TypeScript.
- import-linter: import contracts between Python modules.
- Deptrac: layers and allowed dependencies for PHP.
- arch-go: architecture checks for Go.
- depguard: import allow and deny lists for Go.
easement puts one component model, one config and one baseline over all of them.
Development
Tools are pinned in mise.toml: mise install, mise run setup for the git hooks, then mise run check (every lint, the same set CI runs) and cargo test. Commits follow Conventional Commits; releases are cut by merging the release-please pull request.
License
MIT