@avi2dg/checks 0.21.0 → 0.23.0

package/CHANGELOG.md

@@ -2,13 +2,39 @@
 
 Every release of `@avi2dg/checks`, newest first, written by the release from its conventional commits.
 
+## 0.23.0
+
+Released 2026-09-26.
+
+### Breaking changes
+
+- move cognitive-complexity into its own readability oxlint plugin [#74](https://github.com/avi2d/checks/pull/74)
+
+## 0.22.0
+
+Released 2026-09-26.
+
+### Breaking changes
+
+- replace quality.json with native configs and workflow gates [#72](https://github.com/avi2d/checks/pull/72)
+- declare test skips inline and add live and pixel test tiers [#71](https://github.com/avi2d/checks/pull/71)
+
+### Features
+
+- create GitHub releases with linked changelogs [#70](https://github.com/avi2d/checks/pull/70)
+
+### Fixes
+
+- **scripts:** run generated commitlint through bun so the runner needs no node [#69](https://github.com/avi2d/checks/pull/69)
+- **test:** allow npm pack enough time on release runners [#68](https://github.com/avi2d/checks/pull/68)
+
 ## 0.21.0
 
 Released 2026-09-26.
 
 ### Features
 
-- **scripts:** let quality.json set the runs-on of generated workflows (#66)
+- **scripts:** let quality.json set the runs-on of generated workflows [#66](https://github.com/avi2d/checks/pull/66)
 
 ## 0.20.0
 
@@ -16,12 +42,12 @@ Released 2026-09-26.
 
 ### Features
 
-- **scripts:** pin node from .node-version in the generated CI workflow (#64)
-- **scripts:** add checks-subsumed-tests to report tests another test subsumes in a (#62)
+- **scripts:** pin node from .node-version in the generated CI workflow [#64](https://github.com/avi2d/checks/pull/64)
+- **scripts:** add checks-subsumed-tests to report tests another test subsumes in a [#62](https://github.com/avi2d/checks/pull/62)
 
 ### Fixes
 
-- **scripts:** lint a PR title that starts with # in the generated commitlint workflow (#63)
+- **scripts:** lint a PR title that starts with # in the generated commitlint workflow [#63](https://github.com/avi2d/checks/pull/63)
 
 ## 0.19.0
 
@@ -29,9 +55,9 @@ Released 2026-09-26.
 
 ### Features
 
-- **scripts:** judge checks-mutation-compare mutant by mutant instead of by score (#58)
-- **scripts:** fail a test left in tests/quarantine past 30 days (#59)
-- **scripts:** pin shared read-only library clones with checks-vendor (#57)
+- **scripts:** judge checks-mutation-compare mutant by mutant instead of by score [#58](https://github.com/avi2d/checks/pull/58)
+- **scripts:** fail a test left in tests/quarantine past 30 days [#59](https://github.com/avi2d/checks/pull/59)
+- **scripts:** pin shared read-only library clones with checks-vendor [#57](https://github.com/avi2d/checks/pull/57)
 
 ## 0.18.0
 
@@ -39,11 +65,11 @@ Released 2026-09-26.
 
 ### Features
 
-- **scripts:** generate commitlint and CI workflows with checks-quality (#54)
+- **scripts:** generate commitlint and CI workflows with checks-quality [#54](https://github.com/avi2d/checks/pull/54)
 
 ### Fixes
 
-- **scripts:** make checks-quality refuse a config that drops the kit's extends (#55)
+- **scripts:** make checks-quality refuse a config that drops the kit's extends [#55](https://github.com/avi2d/checks/pull/55)
 
 ## 0.17.0
 
@@ -51,9 +77,9 @@ Released 2026-09-25.
 
 ### Features
 
-- **effect-channel:** add a cognitive complexity rule and make it the size budget's (#50)
-- **scripts:** export the refused directive names from comment-matchers (#49)
-- refuse undeclared package imports and deprecated symbol use (#48)
+- **effect-channel:** add a cognitive complexity rule and make it the size budget's [#50](https://github.com/avi2d/checks/pull/50)
+- **scripts:** export the refused directive names from comment-matchers [#49](https://github.com/avi2d/checks/pull/49)
+- refuse undeclared package imports and deprecated symbol use [#48](https://github.com/avi2d/checks/pull/48)
 
 ## 0.16.0
 
@@ -61,8 +87,8 @@ Released 2026-09-25.
 
 ### Features
 
-- **scripts:** add checks-repetition to hold new repetition in production code (#46)
-- **scripts:** add the recommended size limits, a tests budget and an overrun ratchet (#45)
+- **scripts:** add checks-repetition to hold new repetition in production code [#46](https://github.com/avi2d/checks/pull/46)
+- **scripts:** add the recommended size limits, a tests budget and an overrun ratchet [#45](https://github.com/avi2d/checks/pull/45)
 
 ## 0.15.0
 
@@ -70,7 +96,7 @@ Released 2026-09-25.
 
 ### Features
 
-- **scripts:** hold living docs to prose rules and resolvable references in checks-docs (#42)
+- **scripts:** hold living docs to prose rules and resolvable references in checks-docs [#42](https://github.com/avi2d/checks/pull/42)
 
 ## 0.14.0
 
@@ -78,8 +104,8 @@ Released 2026-09-25.
 
 ### Features
 
-- **scripts:** generate README blocks, check CONTRIBUTING.md, and give each bin a page (#39)
-- **scripts:** generate CHANGELOG.md from conventional commits and ship it in the package (#40)
+- **scripts:** generate README blocks, check CONTRIBUTING.md, and give each bin a page [#39](https://github.com/avi2d/checks/pull/39)
+- **scripts:** generate CHANGELOG.md from conventional commits and ship it in the package [#40](https://github.com/avi2d/checks/pull/40)
 
 ## 0.13.0
 
@@ -87,7 +113,7 @@ Released 2026-09-25.
 
 ### Features
 
-- **scripts:** add checks-docs gate holding doc files to shared templates (#37)
+- **scripts:** add checks-docs gate holding doc files to shared templates [#37](https://github.com/avi2d/checks/pull/37)
 
 ## 0.12.0
 
@@ -95,11 +121,11 @@ Released 2026-09-24.
 
 ### Features
 
-- **scripts:** add size budget, feature-owner rules and change-signal gates (#35)
+- **scripts:** add size budget, feature-owner rules and change-signal gates [#35](https://github.com/avi2d/checks/pull/35)
 
 ### Fixes
 
-- release 0.12.0 and read local exports in checks-feature-owners (#36)
+- release 0.12.0 and read local exports in checks-feature-owners [#36](https://github.com/avi2d/checks/pull/36)
 
 ## 0.11.0
 
@@ -107,7 +133,7 @@ Released 2026-09-24.
 
 ### Features
 
-- **scripts:** add quality.json with schema, loader and checks-quality fragment generator (#33)
+- **scripts:** add quality.json with schema, loader and checks-quality fragment generator [#33](https://github.com/avi2d/checks/pull/33)
 
 ## 0.10.0
 
@@ -115,7 +141,7 @@ Released 2026-09-24.
 
 ### Features
 
-- **scripts:** add checks-test skip gate and checks-flake seed recorder (#31)
+- **scripts:** add checks-test skip gate and checks-flake seed recorder [#31](https://github.com/avi2d/checks/pull/31)
 
 ## 0.9.0
 
@@ -123,14 +149,14 @@ Released 2026-09-24.
 
 ### Features
 
-- **scripts:** let ciWiring.lintGates select the gates checks-lint runs (#29)
-- **oxlintrc:** turn on no-unsafe-type-assertion and no-non-null-assertion (#26)
+- **scripts:** let ciWiring.lintGates select the gates checks-lint runs [#29](https://github.com/avi2d/checks/pull/29)
+- **oxlintrc:** turn on no-unsafe-type-assertion and no-non-null-assertion [#26](https://github.com/avi2d/checks/pull/26)
 
 ### Fixes
 
-- **scripts:** split Effect-free comment matchers out for hosts without node_modules (#30)
-- **scripts:** judge a repository's first commit against the empty tree in the range gates (#28)
-- **lint:** cruise the whole repo; lint-coverage counts skips and exits 2 on a failed walk (#27)
+- **scripts:** split Effect-free comment matchers out for hosts without node_modules [#30](https://github.com/avi2d/checks/pull/30)
+- **scripts:** judge a repository's first commit against the empty tree in the range gates [#28](https://github.com/avi2d/checks/pull/28)
+- **lint:** cruise the whole repo; lint-coverage counts skips and exits 2 on a failed walk [#27](https://github.com/avi2d/checks/pull/27)
 
 ## 0.8.0
 
@@ -138,8 +164,8 @@ Released 2026-09-24.
 
 ### Features
 
-- **scripts:** add checks-lint to run every kit lint gate over one resolved range (#25)
-- **scripts:** run the bins on Effect and hold scripts/ to Effect-native IO (#22)
+- **scripts:** add checks-lint to run every kit lint gate over one resolved range [#25](https://github.com/avi2d/checks/pull/25)
+- **scripts:** run the bins on Effect and hold scripts/ to Effect-native IO [#22](https://github.com/avi2d/checks/pull/22)
 
 ## 0.6.0
 
@@ -147,7 +173,7 @@ Released 2026-09-24.
 
 ### Features
 
-- add checks-suppressions-ratchet to refuse a raised oxlint suppression count (#21)
+- add checks-suppressions-ratchet to refuse a raised oxlint suppression count [#21](https://github.com/avi2d/checks/pull/21)
 
 ## 0.5.0
 
@@ -155,7 +181,7 @@ Released 2026-09-24.
 
 ### Features
 
-- **effect-channel:** add opt-in no-throw and no-try-catch rules (#20)
+- **effect-channel:** add opt-in no-throw and no-try-catch rules [#20](https://github.com/avi2d/checks/pull/20)
 
 ## 0.4.0
 
@@ -163,11 +189,11 @@ Released 2026-09-24.
 
 ### Features
 
-- add checks-ci-wiring to confirm CI runs each declared gate on pull requests (#19)
+- add checks-ci-wiring to confirm CI runs each declared gate on pull requests [#19](https://github.com/avi2d/checks/pull/19)
 
 ### Fixes
 
-- pin the quarantine pathIgnorePatterns in the test-layout bunfig check (#18)
+- pin the quarantine pathIgnorePatterns in the test-layout bunfig check [#18](https://github.com/avi2d/checks/pull/18)
 
 ## 0.3.0
 
@@ -175,8 +201,8 @@ Released 2026-09-23.
 
 ### Features
 
-- add checks-mutation-compare no-regression gate for Stryker reports (#17)
-- ship a shared Stryker mutation-testing preset (#16)
+- add checks-mutation-compare no-regression gate for Stryker reports [#17](https://github.com/avi2d/checks/pull/17)
+- ship a shared Stryker mutation-testing preset [#16](https://github.com/avi2d/checks/pull/16)
 
 ## 0.2.0
 
@@ -184,11 +210,11 @@ Released 2026-09-23.
 
 ### Features
 
-- expose runnable scripts as checks- bins for consumer package scripts (#15)
-- rename npm package from @avi2d/checks to @avi2dg/checks (#14)
-- add a shared comment gate and backtest command (#12)
-- publish @avi2d/checks to the public npm registry (#11)
+- expose runnable scripts as checks- bins for consumer package scripts [#15](https://github.com/avi2d/checks/pull/15)
+- rename npm package from @avi2d/checks to @avi2dg/checks [#14](https://github.com/avi2d/checks/pull/14)
+- add a shared comment gate and backtest command [#12](https://github.com/avi2d/checks/pull/12)
+- publish @avi2d/checks to the public npm registry [#11](https://github.com/avi2d/checks/pull/11)
 
 ### Fixes
 
-- count violation lines from file top, drop dead moduleStart (#10)
+- count violation lines from file top, drop dead moduleStart [#10](https://github.com/avi2d/checks/pull/10)

package/CONTRIBUTING.md

@@ -16,7 +16,9 @@ To check a change the way CI does:
 1. Run `bun run typecheck`.
 1. Run `bun run test`, which runs the suite through `scripts/test.ts`.
 
-CI runs the commands `gates.ci` lists in `quality.json`, which include `git diff --exit-code` over the whole tree after the build and the commit lint on the pull request title.
+Declare each skip with `skipReason(reason, name)` beside the native Bun test call, as [checks-test](docs/gates/checks-test.md) says.
+
+CI runs the commands in `.github/workflows/ci.yml` and lints the pull request title in `.github/workflows/commitlint.yml`.
 
 ## Regenerate what is committed
 
@@ -24,9 +26,8 @@ Each generated file is committed, and lint, the suite or CI's diff after the bui
 
 To regenerate after an edit:
 
-1. After editing `sources.effect` in `quality.json` or a file in `presets/`, run `bun scripts/quality.ts generate`, which rewrites `oxlintrc.quality.json` and `tsconfig.quality.json`.
-1. After editing `effect-channel/`, `scripts/feature-rules.ts`, the schema in `scripts/quality-file.ts` or the templates in `scripts/doc-templates.ts`, run `bun run build`.
-   It rewrites `dist/index.js`, `dist/feature-rules.js`, `quality.schema.json` and `templates/`.
+1. After editing `effect-channel/`, `readability/` or the templates in `scripts/doc-templates.ts`, run `bun run build`.
+   It rewrites `dist/` and `templates/`.
 1. After editing anything a generated block names as its source in its opening marker, run `bun run build`, which rewrites every generated block.
 1. Commit what the command rewrote in the same commit as the edit.
 
@@ -49,7 +50,9 @@ To release a version:
    ```
 
 1. Watch the `release` workflow.
-   It refuses a tag off `main` or one that disagrees with `package.json`, and reruns the build, the check that the build changed no committed file, lint, typecheck and the suite before it publishes.
+   It refuses a tag off `main` or one that disagrees with `package.json`.
+   It reruns the build, the check that the build changed no committed file, lint, typecheck and the suite before it publishes to npm.
+   After npm publish succeeds, the workflow creates or updates the GitHub release with the matching `CHANGELOG.md` section.
 
 `publishConfig.access` in `package.json` is what makes the scoped package public.
 npm attaches a trusted publisher only to a package that already exists, so a package's first version goes out by hand.
@@ -65,22 +68,23 @@ To place a change:
    | Path | What it holds |
    | --- | --- |
    | `scripts/` | every bin, and the modules they share |
-   | `effect-channel/` | the oxlint plugin with the Effect error-channel and cognitive complexity rules |
-   | `dist/` | the committed bundles of the plugin and of `featureRules` |
-   | `presets/` | the Effect presets `checks-quality` builds its fragments from |
+   | `effect-channel/` | the oxlint plugin with the Effect error-channel rules |
+   | `readability/` | the oxlint plugin with the readability rules |
+   | `dist/` | the committed oxlint plugin bundles |
+   | `presets/` | the Effect rule blocks consumers copy into native configs |
    | `templates/` | one template per kind of doc file, which `bun run build` renders |
    | `CHANGELOG.md` | every release, which `bun run build` writes from the conventional commits |
    | `tests/` | the suite, with the tests that spawn a process under `tests/e2e/` |
    | `docs/gates/` | one reference page per bin |
    | `docs/configs/` | one reference page per shipped config a bin does not own |
    | `docs/design.md` | why the kit is shaped the way it is |
-   | the root configs | `oxlintrc.json`, `tsconfig.effect.json`, `bunfig.toml`, `commitlint.config.js`, `dependency-cruiser.config.js`, `stryker.preset.js` and `quality.schema.json`, which a consuming repository extends or copies |
+   | the root configs | `oxlintrc.json`, `tsconfig.effect.json`, `bunfig.toml`, `commitlint.config.js`, `dependency-cruiser.config.js`, `stryker.preset.js`, which a consuming repository extends or copies |
 
 1. Change the page under `docs/` that describes the behaviour in the same commit as the behaviour.
    A new bin gets its page under `docs/gates/`, and the suite fails until it has one.
 
 This repository holds itself to the kit, with two exceptions of its own.
-Its `.dependency-cruiser.cjs` redeclares `no-orphans` with the plugin entry added to its `pathNot`.
+Its `.dependency-cruiser.cjs` redeclares `no-orphans` with each plugin entry added to its `pathNot`.
 Its `.oxlintrc.json` lifts `effect-channel/no-throw` from `scripts/comment-matchers.ts`, whose synchronous `refused()` a host loads without `node_modules`.
 
 ## Related topics

package/README.md

@@ -2,7 +2,7 @@
 
 `@avi2dg/checks` is the kit of deterministic checks a TypeScript repository installs to hold its code, tests, commits, CI wiring and docs to one shared standard.
 It ships the lint gates `checks-lint` runs over each pull request, the test runners, and the configs a repository extends for oxlint, tsc, dependency-cruiser, commitlint, bun and Stryker.
-A repository declares what it opts into once, in `quality.json`, and each check decides its constraint the same way on every run.
+Each repository owns its workflows and native tool configs, as [Native settings](docs/configs/native-settings.md) maps.
 
 ## Before you begin
 
@@ -59,30 +59,22 @@ To consume the kit from a repository:
    }
    ```
 
-1. Declare the commands CI runs in `quality.json` at the repository root:
-
-   ```json
-   {
-     "$schema": "./node_modules/@avi2dg/checks/quality.schema.json",
-     "gates": { "ci": ["bun run lint", "bun run typecheck", "bun run test"] }
-   }
-   ```
-
 1. Copy the bunfig preset:
 
    ```sh
    cp node_modules/@avi2dg/checks/bunfig.toml bunfig.toml
    ```
 
-1. Add three scripts to `package.json`:
+1. Add scripts to `package.json`, replacing the build entry with the repository's own build command:
 
    ```json
+   "build": "bun build src/index.ts --outdir dist --target node",
    "lint": "oxlint --type-aware && checks-lint",
    "typecheck": "tsc --noEmit && effect-tsgo diagnostics --project tsconfig.json --format text --strict",
    "test": "checks-test"
    ```
 
-1. Run the three on every pull request in `.github/workflows/ci.yml`, fetching the whole history the range needs:
+1. Run the scripts on every pull request in `.github/workflows/ci.yml`, fetching the whole history the range needs:
 
    ```yaml
    on:
@@ -96,17 +88,20 @@ To consume the kit from a repository:
              fetch-depth: 0
          - uses: oven-sh/setup-bun@v2
          - run: bun install --frozen-lockfile
+         - run: bun run build
+         - run: git diff --exit-code
          - run: bun run lint
          - run: bun run typecheck
          - run: bun run test
    ```
 
+Add a pull request title lint step in another workflow using `./node_modules/.bin/commitlint`.
 `bun run lint` then ends with `checks-lint: <count> gate(s) pass`.
 
 ## What runs
 
 `checks-lint` runs these gates in this order, each over the working tree or over the range it resolves, and names every one that fails.
-A repository leaves out a gate that does not apply to it through `gates.lint`, as [Gate selection](docs/gates/checks-lint.md#gate-selection) says.
+`checks-lint` runs every applicable gate, including the TypeScript gates once the repository tracks TypeScript.
 
 <!-- generated gates: bun run build writes it from KIT_GATES in scripts/gates.ts and scripts/doc-blocks.ts -->
 
@@ -119,22 +114,19 @@ A repository leaves out a gate that does not apply to it through `gates.lint`, a
 | [`checks-suppressions-ratchet`](docs/gates/checks-suppressions-ratchet.md) | the range | every repository |
 | [`checks-ci-wiring`](docs/gates/checks-ci-wiring.md) | the working tree | every repository |
 | [`checks-docs`](docs/gates/checks-docs.md) | the range | every repository |
-| [`checks-quality`](docs/gates/checks-quality.md) | the working tree | a repository tracking `quality.json` |
-| [`checks-size-budget`](docs/gates/checks-size-budget.md) | the range | a repository tracking `*.ts` or `*.tsx` |
 | [`checks-repetition`](docs/gates/checks-repetition.md) | the range | a repository tracking `*.ts` or `*.tsx` |
-| [`checks-feature-owners`](docs/gates/checks-feature-owners.md) | the range | a repository tracking `*.ts` or `*.tsx` |
 | [`checks-quarantine-clock`](docs/gates/checks-quarantine-clock.md) | the range | every repository |
 
 <!-- end generated gates -->
 
 These bins run on their own:
 
-- [`checks-test`](docs/gates/checks-test.md) runs the suite as `scripts.test` and refuses a skip the repository has not declared.
+- [`checks-test`](docs/gates/checks-test.md) runs the suite as `scripts.test` and refuses a skip without a reason at its test site.
 - [`checks-flake`](docs/gates/checks-flake.md) runs the suite on a schedule and records the seeds a flaky test fails with.
 - [`checks-mutation-compare`](docs/gates/checks-mutation-compare.md) holds every mutant in a pull request to no regression.
 - [`checks-subsumed-tests`](docs/gates/checks-subsumed-tests.md) lists each test another test subsumes in a mutation run.
 - [`checks-backtest`](docs/gates/checks-backtest.md) reports what the comment check would have refused in recent history.
-- [`checks-vendor`](docs/gates/checks-vendor.md) pins each library `quality.json` declares to a shared read-only clone and links it under `repos/`.
+- [`checks-vendor`](docs/gates/checks-vendor.md) pins each library its `prepare` arguments name to a shared read-only clone and links it under `repos/`.
 
 `checks-lint` has [its own page](docs/gates/checks-lint.md), which says which range it resolves.
 The oxlint base, the dependency-cruiser base and the commitlint config run through their own tools, as the pages under Related topics say.
@@ -144,13 +136,13 @@ The oxlint base, the dependency-cruiser base and the commitlint config run throu
 To move a repository to a newer release of the kit:
 
 1. Run the install line again, which moves the kit to its newest release and the peers to the versions it pins.
-1. Run `bun run checks-quality generate` when `quality.json` declares `sources.effect`, since a release that changes a preset reaches the fragments only through it.
+1. Review the Effect overrides in `.oxlintrc.json` and `tsconfig.json` when a release changes their presets.
 1. Copy `node_modules/@avi2dg/checks/bunfig.toml` over `bunfig.toml` again, since `checks-test-layout` compares the copy with the installed preset.
 1. Run `bun run lint`, `bun run typecheck` and `bun run test`.
 
 The repository's lockfile pins the kit, so a repository moves only when it runs these steps.
 [CHANGELOG.md](CHANGELOG.md), shipped in the package, lists what each release changed.
-A repository that still declares `ciWiring` or `commitIdentity` in `package.json` moves them into `quality.json`, as [Keys moved from package.json](docs/configs/quality-file.md#keys-moved-from-packagejson) maps.
+A repository that tracks `quality.json` moves its settings as [Native settings](docs/configs/native-settings.md#consumer-migration) maps.
 
 ## Where things are
 
@@ -168,18 +160,17 @@ Every path is relative to the installed package, `node_modules/@avi2dg/checks/`.
 | `dependency-cruiser.config.js` | the shared dependency-cruiser base |
 | `scripts/` | every bin, which a package script calls by its `checks-` name |
 | `templates/` | one template per kind of doc file, which a new doc file starts from |
-| `presets/` | the Effect rule blocks `checks-quality generate` writes into the fragments |
-| `quality.schema.json` | the schema of `quality.json`, which its `$schema` line names |
+| `presets/` | the Effect rule blocks a repository copies into its native config |
 | `oxlintrc.json` | the oxlint base config `.oxlintrc.json` extends |
 | `stryker.preset.js` | the Stryker mutation-testing preset |
 | `tsconfig.effect.json` | the tsconfig fragment with the Effect language-service block |
-| `dist/` | the compiled oxlint plugin with the Effect error-channel and cognitive complexity rules, and `featureRules` |
+| `dist/` | the compiled oxlint plugins, one per purpose |
 
 <!-- end generated shipped -->
 
 ## Related topics
 
-- [The quality file](docs/configs/quality-file.md)
+- [Native settings](docs/configs/native-settings.md)
 - [The Effect rules](docs/configs/effect-rules.md)
 - [The TypeScript rules](docs/configs/typescript-rules.md)
 - [The dependency rules](docs/configs/dependency-rules.md)

package/bunfig.toml

@@ -1,2 +1,2 @@
 [test]
-pathIgnorePatterns = ["**/tests/quarantine/**", "repos/**"]
+pathIgnorePatterns = ["**/tests/quarantine/**", "**/tests/live/**", "**/tests/pixel/**", "repos/**"]

package/dist/effect-channel/index.js

@@ -0,0 +1,122 @@
+// effect-channel/no-error-channel-escape.ts
+var EFFECT_SOURCES = new Set(["effect", "effect/Effect"]);
+var INSTEAD = {
+  drops: "it drops the failure and the success together, so no caller can tell one from the other. Handle the error by tag, or keep it as a value with Effect.result or Effect.exit",
+  swallows: "a Cause is the typed error plus defects plus interruption, so this swallows the bugs and the cancellations along with it. Catch the errors you named, with Effect.catchTag or Effect.catchTags",
+  blind: "the handler cannot see what it is recovering from, so every error in the channel collapses into one fallback. Name the errors with Effect.catchTag, or take the error and use it"
+};
+var REFUSED = new Map([
+  ["ignore", INSTEAD.drops],
+  ["ignoreCause", INSTEAD.drops],
+  ["catchCause", INSTEAD.swallows],
+  ["catchCauseIf", INSTEAD.swallows],
+  ["catchCauseFilter", INSTEAD.swallows]
+]);
+var blindToTheError = (handler) => {
+  if (!handler)
+    return false;
+  if (handler.type !== "ArrowFunctionExpression" && handler.type !== "FunctionExpression")
+    return false;
+  return handler.params.every((param) => param.type === "Identifier" && /^_+$/.test(param.name));
+};
+var rule = {
+  meta: {
+    type: "problem",
+    docs: { description: "Disallow the combinators that erase Effect's error channel" }
+  },
+  create(context) {
+    const effect = new Set;
+    const named = (node) => {
+      if (!node || node.type !== "MemberExpression" || node.computed)
+        return null;
+      if (node.object.type !== "Identifier" || !effect.has(node.object.name))
+        return null;
+      return node.property.type === "Identifier" ? node.property.name : null;
+    };
+    const refuse = (node, combinator, instead) => {
+      context.report({ node, message: `Effect.${combinator} erases the error channel: ${instead}` });
+    };
+    return {
+      ImportDeclaration(node) {
+        if (!EFFECT_SOURCES.has(node.source.value))
+          return;
+        const module = node.source.value === "effect/Effect";
+        for (const specifier of node.specifiers) {
+          if (specifier.type === "ImportSpecifier") {
+            if (specifier.imported.type === "Identifier" && specifier.imported.name === "Effect")
+              effect.add(specifier.local.name);
+          } else if (module)
+            effect.add(specifier.local.name);
+        }
+      },
+      MemberExpression(node) {
+        const combinator = named(node);
+        if (combinator === null)
+          return;
+        const instead = REFUSED.get(combinator);
+        if (instead !== undefined)
+          refuse(node, combinator, instead);
+      },
+      CallExpression(node) {
+        if (named(node.callee) !== "catch")
+          return;
+        if (!blindToTheError(node.arguments[node.arguments.length - 1]))
+          return;
+        refuse(node, "catch", INSTEAD.blind);
+      }
+    };
+  }
+};
+var no_error_channel_escape_default = rule;
+
+// effect-channel/no-throw.ts
+var rule2 = {
+  meta: {
+    type: "problem",
+    docs: { description: "Disallow throw, which fails outside Effect's error channel" }
+  },
+  create(context) {
+    return {
+      ThrowStatement(node) {
+        context.report({
+          node,
+          message: "throw escapes the error channel: no type records the failure, so no caller has to answer for it. Define the failure with Schema.TaggedError and fail with it through Effect.fail, so it stays in E for Effect.catchTag to handle"
+        });
+      }
+    };
+  }
+};
+var no_throw_default = rule2;
+
+// effect-channel/no-try-catch.ts
+var rule3 = {
+  meta: {
+    type: "problem",
+    docs: { description: "Disallow a try statement with a catch clause, which recovers outside Effect's error channel" }
+  },
+  create(context) {
+    return {
+      CatchClause(node) {
+        context.report({
+          node,
+          message: "catch recovers outside the error channel: it takes whatever was thrown as unknown, bugs included. Wrap the throwing call in Effect.try or Effect.tryPromise, whose catch maps the cause to a Schema.TaggedError, and recover by tag with Effect.catchTag"
+        });
+      }
+    };
+  }
+};
+var no_try_catch_default = rule3;
+
+// effect-channel/index.ts
+var plugin = {
+  meta: { name: "effect-channel" },
+  rules: {
+    "no-error-channel-escape": no_error_channel_escape_default,
+    "no-throw": no_throw_default,
+    "no-try-catch": no_try_catch_default
+  }
+};
+var effect_channel_default = plugin;
+export {
+  effect_channel_default as default
+};