npm - @effect/language-service - Versions diffs - 0.84.3 → 0.85.0 - Mend

@effect/language-service 0.84.3 → 0.85.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (11) hide show

package/README.md +11 -0
package/cli.js +819 -165
package/cli.js.map +1 -1
package/effect-lsp-patch-utils.js +449 -44
package/effect-lsp-patch-utils.js.map +1 -1
package/index.js +459 -54
package/index.js.map +1 -1
package/package.json +1 -1
package/schema.json +132 -0
package/transform.js +449 -44
package/transform.js.map +1 -1

package/cli.js CHANGED Viewed

@@ -12333,7 +12333,7 @@ var require_dist3 = __commonJS({
   }
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Pipeable.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Pipeable.js
 var pipeArguments = (self, args3) => {
   switch (args3.length) {
     case 0:
@@ -12377,7 +12377,7 @@ var Class = /* @__PURE__ */ (function() {
   return PipeableBase;
 })();
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Function.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Function.js
 var dual = function(arity, body) {
   if (typeof arity === "function") {
     return function() {
@@ -12439,7 +12439,7 @@ function memoize(f) {
   };
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/equal.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/equal.js
 var getAllObjectKeys = (obj) => {
   const keys2 = new Set(Reflect.ownKeys(obj));
   if (obj.constructor === Object) return keys2;
@@ -12462,7 +12462,7 @@ var getAllObjectKeys = (obj) => {
 };
 var byReferenceInstances = /* @__PURE__ */ new WeakSet();
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Predicate.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Predicate.js
 function isString(input) {
   return typeof input === "string";
 }
@@ -12511,7 +12511,7 @@ function isIterable(input) {
   return hasProperty(input, Symbol.iterator) || isString(input);
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Hash.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Hash.js
 var symbol = "~effect/interfaces/Hash";
 var hash = (self) => {
   switch (typeof self) {
@@ -12630,7 +12630,7 @@ function withVisitedTracking(obj, fn4) {
   return result3;
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Equal.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Equal.js
 var symbol2 = "~effect/interfaces/Equal";
 function equals() {
   if (arguments.length === 1) {
@@ -12792,7 +12792,7 @@ var compareSets = /* @__PURE__ */ makeCompareSet(compareBoth);
 var isEqual = (u) => hasProperty(u, symbol2);
 var asEquivalence = () => equals;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Redactable.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Redactable.js
 var symbolRedactable = /* @__PURE__ */ Symbol.for("~effect/Inspectable/redactable");
 var isRedactable = (u) => hasProperty(u, symbolRedactable);
 function redact(u) {
@@ -12811,7 +12811,7 @@ var emptyServiceMap = {
   }
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Formatter.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Formatter.js
 function format(input, options) {
   const space = options?.space ?? 0;
   const seen = /* @__PURE__ */ new WeakSet();
@@ -12899,7 +12899,7 @@ function formatJson(input, options) {
   return out;
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Inspectable.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Inspectable.js
 var NodeInspectSymbol = /* @__PURE__ */ Symbol.for("nodejs.util.inspect.custom");
 var toJson = (input) => {
   try {
@@ -12959,7 +12959,7 @@ var Class2 = class {
   }
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Utils.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Utils.js
 var SingleShotGen = class _SingleShotGen {
   called = false;
   self;
@@ -13002,7 +13002,7 @@ var forced = {
 var isNotOptimizedAway = /* @__PURE__ */ standard[InternalTypeId](() => new Error().stack)?.includes(InternalTypeId) === true;
 var internalCall = isNotOptimizedAway ? standard[InternalTypeId] : forced[InternalTypeId];
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/core.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/core.js
 var EffectTypeId = `~effect/Effect`;
 var ExitTypeId = `~effect/Exit`;
 var effectVariance = {
@@ -13371,10 +13371,10 @@ var done = (value2) => {
   return exitFail(Done(value2));
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/array.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/array.js
 var isArrayNonEmpty = (self) => self.length > 0;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/option.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/option.js
 var TypeId = "~effect/data/Option";
 var CommonProto = {
   [TypeId]: {
@@ -13445,7 +13445,7 @@ var some = (value2) => {
   return a;
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/result.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/result.js
 var TypeId2 = "~effect/data/Result";
 var CommonProto2 = {
   [TypeId2]: {
@@ -13516,7 +13516,7 @@ var succeed = (success) => {
   return a;
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Order.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Order.js
 function make(compare) {
   return (self, that) => self === that ? 0 : compare(self, that);
 }
@@ -13540,7 +13540,7 @@ var combine2 = /* @__PURE__ */ dual(2, (self, that) => make((a1, a2) => {
 var mapInput = /* @__PURE__ */ dual(2, (self, f) => make((b1, b2) => self(f(b1), f(b2))));
 var isGreaterThan = (O) => dual(2, (self, that) => O(self, that) === 1);
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Option.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Option.js
 var none2 = () => none;
 var some2 = some;
 var isNone2 = isNone;
@@ -13559,7 +13559,7 @@ var flatMap = /* @__PURE__ */ dual(2, (self, f) => isNone2(self) ? none2() : f(s
 var filter = /* @__PURE__ */ dual(2, (self, predicate) => isNone2(self) ? none2() : predicate(self.value) ? some2(self.value) : none2());
 var liftPredicate = /* @__PURE__ */ dual(2, (b, predicate) => predicate(b) ? some2(b) : none2());
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Result.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Result.js
 var succeed2 = succeed;
 var fail2 = fail;
 var isFailure2 = isFailure;
@@ -13572,7 +13572,7 @@ var match2 = /* @__PURE__ */ dual(2, (self, {
 }) => isFailure2(self) ? onFailure(self.failure) : onSuccess(self.success));
 var getOrElse2 = /* @__PURE__ */ dual(2, (self, onFailure) => isFailure2(self) ? onFailure(self.failure) : self.success);
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Iterable.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Iterable.js
 var findFirst = /* @__PURE__ */ dual(2, (self, f) => {
   let i = 0;
   for (const a of self) {
@@ -13591,7 +13591,7 @@ var findFirst = /* @__PURE__ */ dual(2, (self, f) => {
   return none2();
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Record.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Record.js
 var map3 = /* @__PURE__ */ dual(2, (self, f) => {
   const out = {
     ...self
@@ -13603,7 +13603,7 @@ var map3 = /* @__PURE__ */ dual(2, (self, f) => {
 });
 var keys = (self) => Object.keys(self);
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Array.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Array.js
 var Array2 = globalThis.Array;
 var fromIterable = (collection) => Array2.isArray(collection) ? collection : Array2.from(collection);
 var match3 = /* @__PURE__ */ dual(2, (self, {
@@ -13742,7 +13742,7 @@ var dedupeWith = /* @__PURE__ */ dual(2, (self, isEquivalent) => {
 var dedupe = (self) => dedupeWith(self, asEquivalence());
 var join = /* @__PURE__ */ dual(2, (self, sep) => fromIterable(self).join(sep));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Duration.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Duration.js
 var TypeId3 = "~effect/time/Duration";
 var bigint0 = /* @__PURE__ */ BigInt(0);
 var bigint1e3 = /* @__PURE__ */ BigInt(1e3);
@@ -13973,7 +13973,7 @@ var Equivalence = (self, that) => matchPair(self, that, {
 });
 var equals2 = /* @__PURE__ */ dual(2, (self, that) => Equivalence(self, that));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Filter.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Filter.js
 var composePassthrough = /* @__PURE__ */ dual(2, (left, right) => (input) => {
   const leftOut = left(input);
   if (isFailure2(leftOut)) return fail2(input);
@@ -13986,7 +13986,7 @@ var toOption = (self) => (input) => {
   return isFailure2(result3) ? none2() : some2(result3.success);
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/ServiceMap.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/ServiceMap.js
 var ServiceTypeId = "~effect/ServiceMap/Service";
 var Service = function() {
   const prevLimit = Error.stackTraceLimit;
@@ -14020,10 +14020,7 @@ var Service = function() {
   };
 };
 var ServiceProto = {
-  [ServiceTypeId]: {
-    _Service: (_) => _,
-    _Identifier: (_) => _
-  },
+  [ServiceTypeId]: ServiceTypeId,
   ...PipeInspectableProto,
   ...YieldableProto,
   toJSON() {
@@ -14171,7 +14168,7 @@ var withMapUnsafe = (self, f) => {
 };
 var Reference = Service;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Scheduler.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Scheduler.js
 var Scheduler = /* @__PURE__ */ Reference("effect/Scheduler", {
   defaultValue: () => new MixedScheduler()
 });
@@ -14282,7 +14279,7 @@ var PreventSchedulerYield = /* @__PURE__ */ Reference("effect/Scheduler/PreventS
   defaultValue: () => false
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Tracer.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Tracer.js
 var ParentSpanKey = "effect/Tracer/ParentSpan";
 var ParentSpan = class extends (/* @__PURE__ */ Service()(ParentSpanKey)) {
 };
@@ -14362,7 +14359,10 @@ var randomHexString = /* @__PURE__ */ (function() {
   };
 })();
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/References.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/metric.js
+var FiberRuntimeMetricsKey = "effect/observability/Metric/FiberRuntimeMetricsKey";
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/references.js
 var CurrentConcurrency = /* @__PURE__ */ Reference("effect/References/CurrentConcurrency", {
   defaultValue: () => "unbounded"
 });
@@ -14394,10 +14394,7 @@ var CurrentLogSpans = /* @__PURE__ */ Reference("effect/References/CurrentLogSpa
   defaultValue: () => []
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/metric.js
-var FiberRuntimeMetricsKey = "effect/observability/Metric/FiberRuntimeMetricsKey";
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/tracer.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/tracer.js
 var makeStackCleaner = (line) => (stack) => {
   let cache;
   return () => {
@@ -14412,10 +14409,10 @@ var makeStackCleaner = (line) => (stack) => {
   };
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/version.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/version.js
 var version = "dev";
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/effect.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/effect.js
 var Interrupt = class extends ReasonBase {
   fiberId;
   constructor(fiberId2, annotations = constEmptyAnnotations) {
@@ -15343,7 +15340,7 @@ var exitPrimitive = /* @__PURE__ */ makePrimitive({
     return succeed3(exit3 ?? exitFailCause(cause));
   }
 });
-var timeoutOrElse = /* @__PURE__ */ dual(2, (self, options) => raceFirst(self, flatMap3(sleep(options.duration), options.onTimeout)));
+var timeoutOrElse = /* @__PURE__ */ dual(2, (self, options) => raceFirst(self, flatMap3(sleep(options.duration), options.orElse)));
 var ScopeTypeId = "~effect/Scope";
 var ScopeCloseableTypeId = "~effect/Scope/Closeable";
 var scopeTag = /* @__PURE__ */ Service("effect/Scope");
@@ -15699,6 +15696,9 @@ var runForkWith = (services3) => (effect2, options) => {
       fiber2.addObserver(() => options.signal.removeEventListener("abort", abort));
     }
   }
+  if (options?.onFiberStart) {
+    options.onFiberStart(fiber2);
+  }
   return fiber2;
 };
 var fiberRunIn = /* @__PURE__ */ dual(2, (self, scope3) => {
@@ -16129,7 +16129,7 @@ var tracerLogger = /* @__PURE__ */ loggerMake(({
   span.event(toStringUnknown(Array.isArray(message) && message.length === 1 ? message[0] : message), clock.currentTimeNanosUnsafe(), attributes);
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Cause.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Cause.js
 var fail4 = causeFail;
 var hasInterruptsOnly2 = hasInterruptsOnly;
 var squash = causeSquash;
@@ -16142,7 +16142,7 @@ var Done2 = Done;
 var done2 = done;
 var UnknownError2 = UnknownError;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Exit.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Exit.js
 var succeed4 = exitSucceed;
 var failCause2 = exitFailCause;
 var fail5 = exitFail;
@@ -16151,7 +16151,7 @@ var isSuccess3 = exitIsSuccess;
 var match6 = exitMatch;
 var getSuccess2 = exitGetSuccess;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Deferred.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Deferred.js
 var TypeId5 = "~effect/Deferred";
 var DeferredProto = {
   [TypeId5]: {
@@ -16193,7 +16193,10 @@ var doneUnsafe = (self, effect2) => {
   return true;
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Scope.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/References.js
+var MinimumLogLevel2 = MinimumLogLevel;
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Scope.js
 var Scope = scopeTag;
 var makeUnsafe3 = scopeMakeUnsafe;
 var provide = provideScope;
@@ -16202,7 +16205,7 @@ var addFinalizer2 = scopeAddFinalizer;
 var forkUnsafe2 = scopeForkUnsafe;
 var close = scopeClose;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Layer.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Layer.js
 var TypeId6 = "~effect/Layer";
 var MemoMapTypeId = "~effect/Layer/MemoMap";
 var LayerProto = {
@@ -16292,7 +16295,7 @@ var merge2 = /* @__PURE__ */ dual(2, (self, that) => mergeAll2(self, ...Array.is
 var provideWith = (self, that, f) => fromBuild((memoMap, scope3) => flatMap3(Array.isArray(that) ? mergeAllEffect(that, memoMap, scope3) : that.build(memoMap, scope3), (context) => self.build(memoMap, scope3).pipe(provideServices(context), map5((merged) => f(merged, context)))));
 var provideMerge = /* @__PURE__ */ dual(2, (self, that) => provideWith(self, that, (self2, that2) => merge(that2, self2)));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Data.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Data.js
 var Class3 = class extends Class {
   constructor(props) {
     super();
@@ -16328,15 +16331,15 @@ function taggedMatch() {
 var Error3 = Error2;
 var TaggedError2 = TaggedError;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Number.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Number.js
 var Number3 = globalThis.Number;
 var Order = Number2;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/String.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/String.js
 var String3 = globalThis.String;
 var Order2 = String2;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Pull.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Pull.js
 var catchDone = /* @__PURE__ */ dual(2, (effect2, f) => catchCauseFilter(effect2, filterDoneLeftover, (l) => f(l)));
 var isDoneCause = (cause) => cause.reasons.some(isDoneFailure);
 var isDoneFailure = (failure) => failure._tag === "Fail" && isDone2(failure.error);
@@ -16347,11 +16350,11 @@ var doneExitFromCause = (cause) => {
   return !isFailure2(halt) ? succeed4(halt.success.value) : failCause2(halt.failure);
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/layer.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/layer.js
 var provideLayer = (self, layer11, options) => scopedWith((scope3) => flatMap3(options?.local ? buildWithMemoMap(layer11, makeMemoMapUnsafe(), scope3) : buildWithScope(layer11, scope3), (context) => provideServices(self, context)));
 var provide2 = /* @__PURE__ */ dual((args3) => isEffect(args3[0]), (self, source, options) => isServiceMap(source) ? provideServices(self, source) : provideLayer(self, Array.isArray(source) ? mergeAll2(...source) : source, options));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Effect.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Effect.js
 var isEffect2 = isEffect;
 var forEach2 = forEach;
 var whileLoop2 = whileLoop;
@@ -16442,7 +16445,7 @@ var flatMapEager2 = flatMapEager;
 var catchEager2 = catchEager;
 var fnUntracedEager2 = fnUntracedEager;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Runtime.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Runtime.js
 var defaultTeardown = (exit3, onExit4) => {
   if (isSuccess3(exit3)) return onExit4(0);
   if (hasInterruptsOnly2(exit3.cause)) return onExit4(130);
@@ -16488,7 +16491,7 @@ var getErrorReported = (u) => {
   return true;
 };
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/NodeRuntime.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/NodeRuntime.js
 var runMain = /* @__PURE__ */ makeRunMain(({
   fiber: fiber2,
   teardown
@@ -16515,10 +16518,10 @@ var runMain = /* @__PURE__ */ makeRunMain(({
   process.on("SIGTERM", onSigint);
 });
-// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.38_effect@4.0.0-beta.38_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeRuntime.js
+// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.43_effect@4.0.0-beta.43_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeRuntime.js
 var runMain2 = runMain;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/record.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/record.js
 function set(self, key, value2) {
   if (key === "__proto__") {
     Object.defineProperty(self, key, {
@@ -16533,7 +16536,7 @@ function set(self, key, value2) {
   return self;
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/schema/annotations.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/schema/annotations.js
 function resolve(ast) {
   return ast.checks ? ast.checks[ast.checks.length - 1].annotations : ast.annotations;
 }
@@ -16547,11 +16550,11 @@ var getExpected = /* @__PURE__ */ memoize((ast) => {
   return ast.getExpected(getExpected);
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/RegExp.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/RegExp.js
 var RegExp2 = globalThis.RegExp;
 var escape = (string6) => string6.replace(/[/\\^$*+?.()|[\]{}]/g, "\\$&");
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Encoding.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Encoding.js
 var EncodingErrorTypeId = "~effect/encoding/EncodingError";
 var EncodingError = class extends (/* @__PURE__ */ TaggedError2("EncodingError")) {
   /**
@@ -16637,10 +16640,10 @@ function getBase64Code(charCode) {
 var base64abc = ["A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "Q", "R", "S", "T", "U", "V", "W", "X", "Y", "Z", "a", "b", "c", "d", "e", "f", "g", "h", "i", "j", "k", "l", "m", "n", "o", "p", "q", "r", "s", "t", "u", "v", "w", "x", "y", "z", "0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "+", "/"];
 var base64codes = [255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 62, 255, 255, 255, 63, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 255, 255, 255, 0, 255, 255, 255, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 255, 255, 255, 255, 255, 255, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51];
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/redacted.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/redacted.js
 var redactedRegistry = /* @__PURE__ */ new WeakMap();
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Redacted.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Redacted.js
 var TypeId7 = "~effect/data/Redacted";
 var isRedacted = (u) => hasProperty(u, TypeId7);
 var make5 = (value2, options) => {
@@ -16671,7 +16674,7 @@ var Proto2 = {
   }
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/SchemaIssue.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/SchemaIssue.js
 var TypeId8 = "~effect/SchemaIssue/Issue";
 function isIssue(u) {
   return hasProperty(u, TypeId8);
@@ -17005,7 +17008,7 @@ function formatOption(actual) {
   return format(actual.value);
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/SchemaGetter.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/SchemaGetter.js
 var Getter = class _Getter extends Class {
   run;
   constructor(run6) {
@@ -17079,7 +17082,7 @@ function decodeBase642() {
   })).asEffect());
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/SchemaTransformation.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/SchemaTransformation.js
 var TypeId9 = "~effect/SchemaTransformation/Transformation";
 var Transformation = class _Transformation {
   [TypeId9] = TypeId9;
@@ -17147,7 +17150,7 @@ var urlFromString = /* @__PURE__ */ transformOrFail2({
 var uint8ArrayFromBase64String = /* @__PURE__ */ new Transformation(/* @__PURE__ */ decodeBase642(), /* @__PURE__ */ encodeBase642());
 var fromJsonString = /* @__PURE__ */ new Transformation(/* @__PURE__ */ parseJson(), /* @__PURE__ */ stringifyJson());
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/SchemaAST.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/SchemaAST.js
 function makeGuard(tag2) {
   return (ast) => ast._tag === tag2;
 }
@@ -18408,7 +18411,7 @@ var StringTree = /* @__PURE__ */ new Declaration([], () => (input, ast) => isStr
 });
 var unknownToStringTree = /* @__PURE__ */ new Link(StringTree, /* @__PURE__ */ passthrough2());
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Brand.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Brand.js
 function nominal() {
   return Object.assign((input) => input, {
     option: (input) => some2(input),
@@ -18417,7 +18420,7 @@ function nominal() {
   });
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/PlatformError.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/PlatformError.js
 var TypeId11 = "~effect/platform/PlatformError";
 var BadArgument = class extends (/* @__PURE__ */ TaggedError2("BadArgument")) {
   /**
@@ -18459,15 +18462,15 @@ var PlatformError = class extends (/* @__PURE__ */ TaggedError2("PlatformError")
 var systemError = (options) => new PlatformError(new SystemError(options));
 var badArgument = (options) => new PlatformError(new BadArgument(options));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Fiber.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Fiber.js
 var TypeId12 = `~effect/Fiber/${version}`;
 var interrupt3 = fiberInterrupt;
 var runIn = fiberRunIn;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Latch.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Latch.js
 var makeUnsafe4 = makeLatchUnsafe;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/MutableList.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/MutableList.js
 var Empty = /* @__PURE__ */ Symbol.for("effect/MutableList/Empty");
 var make8 = () => ({
   head: void 0,
@@ -18538,7 +18541,7 @@ var take = (self) => {
   return message;
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/MutableRef.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/MutableRef.js
 var TypeId13 = "~effect/MutableRef";
 var MutableRefProto = {
   [TypeId13]: TypeId13,
@@ -18556,7 +18559,7 @@ var make9 = (value2) => {
   return ref;
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Queue.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Queue.js
 var TypeId14 = "~effect/Queue";
 var EnqueueTypeId = "~effect/Queue/Enqueue";
 var DequeueTypeId = "~effect/Queue/Dequeue";
@@ -18820,7 +18823,7 @@ var finalize = (self, exit3) => {
   openState.awaiters.clear();
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Semaphore.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Semaphore.js
 var makeUnsafe5 = (permits) => new SemaphoreImpl(permits);
 var SemaphoreImpl = class {
   waiters = /* @__PURE__ */ new Set();
@@ -18905,7 +18908,7 @@ var SemaphoreImpl = class {
   }
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Channel.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Channel.js
 var TypeId15 = "~effect/Channel";
 var isChannel = (u) => hasProperty(u, TypeId15);
 var ChannelProto = {
@@ -19068,7 +19071,7 @@ var runFold = /* @__PURE__ */ dual(3, (self, initial, f) => suspend2(() => {
 }));
 var toPullScoped = (self, scope3) => toTransform(self)(done2(), scope3);
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/stream.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/stream.js
 var TypeId16 = "~effect/Stream";
 var streamVariance = {
   _R: identity,
@@ -19087,7 +19090,7 @@ var fromChannel = (channel) => {
   return self;
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Sink.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Sink.js
 var TypeId17 = "~effect/Sink";
 var endVoid = /* @__PURE__ */ succeed6([void 0]);
 var sinkVariance = {
@@ -19124,7 +19127,7 @@ var forEachArray = (f) => fromTransform2((upstream) => upstream.pipe(flatMap4(f)
 }), catchDone(() => endVoid)));
 var unwrap2 = (effect2) => fromChannel2(unwrap(map6(effect2, toChannel)));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/rcRef.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/rcRef.js
 var TypeId18 = "~effect/RcRef";
 var stateEmpty = {
   _tag: "Empty"
@@ -19222,11 +19225,11 @@ var get3 = /* @__PURE__ */ fnUntraced2(function* (self_) {
   return state.value;
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/RcRef.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/RcRef.js
 var make12 = make11;
 var get4 = get3;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Stream.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Stream.js
 var TypeId19 = "~effect/Stream";
 var isStream = (u) => hasProperty(u, TypeId19);
 var fromChannel3 = fromChannel;
@@ -19278,7 +19281,7 @@ var runCollect = (self) => runFold(self.channel, () => [], (acc, chunk) => {
 });
 var mkString = (self) => runFold(self.channel, () => "", (acc, chunk) => acc + chunk.join(""));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/FileSystem.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/FileSystem.js
 var TypeId20 = "~effect/platform/FileSystem";
 var Size = (bytes) => typeof bytes === "bigint" ? bytes : BigInt(bytes);
 var bigint1024 = /* @__PURE__ */ BigInt(1024);
@@ -19340,7 +19343,7 @@ var FileDescriptor = /* @__PURE__ */ nominal();
 var WatchBackend = class extends (/* @__PURE__ */ Service()("effect/platform/FileSystem/WatchBackend")) {
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Path.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Path.js
 var TypeId21 = "~effect/platform/Path";
 var Path = /* @__PURE__ */ Service("effect/Path");
 function normalizeStringPosix(path4, allowAboveRoot) {
@@ -19808,7 +19811,7 @@ var posixImpl = /* @__PURE__ */ Path.of({
   toNamespacedPath: identity
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/process/ChildProcessSpawner.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/process/ChildProcessSpawner.js
 var ExitCode = /* @__PURE__ */ nominal();
 var ProcessId = /* @__PURE__ */ nominal();
 var HandleTypeId = "~effect/ChildProcessSpawner/ChildProcessHandle";
@@ -19838,7 +19841,7 @@ var make14 = (spawn2) => {
 var ChildProcessSpawner = class extends (/* @__PURE__ */ Service()("effect/process/ChildProcessSpawner")) {
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/process/ChildProcess.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/process/ChildProcess.js
 var TypeId22 = "~effect/unstable/process/ChildProcess";
 var Proto3 = {
   ...PipeInspectableProto,
@@ -19961,10 +19964,10 @@ var splitByWhitespaces = (template, rawTemplate) => {
 };
 var concatTokens = (prevTokens, nextTokens, isSeparated) => isSeparated || prevTokens.length === 0 || nextTokens.length === 0 ? [...prevTokens, ...nextTokens] : [...prevTokens.slice(0, -1), `${prevTokens.at(-1)}${nextTokens.at(0)}`, ...nextTokens.slice(1)];
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/NodeChildProcessSpawner.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/NodeChildProcessSpawner.js
 var NodeChildProcess = __toESM(require("child_process"), 1);
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/internal/utils.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/internal/utils.js
 var handleErrnoException = (module2, method) => (err, [path4]) => {
   let reason = "Unknown";
   switch (err.code) {
@@ -20000,7 +20003,7 @@ var handleErrnoException = (module2, method) => (err, [path4]) => {
   });
 };
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/NodeSink.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/NodeSink.js
 var fromWritable = (options) => fromChannel2(mapDone(fromWritableChannel(options), (_) => [_]));
 var fromWritableChannel = (options) => fromTransform((pull) => {
   const writable = options.evaluate();
@@ -20040,7 +20043,7 @@ var pullIntoWritable = (options) => options.pull.pipe(flatMap4((chunk) => {
   });
 }) : identity);
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/NodeStream.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/NodeStream.js
 var import_node_stream = require("stream");
 var fromReadable = (options) => fromChannel3(fromReadableChannel(options));
 var fromReadableChannel = (options) => fromTransform((_, scope3) => readableToPullUnsafe({
@@ -20098,7 +20101,7 @@ var readableToPullUnsafe = (options) => {
 };
 var defaultOnError = (error2) => new UnknownError2(error2);
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/NodeChildProcessSpawner.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/NodeChildProcessSpawner.js
 var toError = (error2) => error2 instanceof globalThis.Error ? error2 : new globalThis.Error(String(error2));
 var toPlatformError = (method, error2, command) => {
   const {
@@ -20342,7 +20345,7 @@ var make17 = /* @__PURE__ */ gen2(function* () {
     const killSignal = options?.killSignal ?? "SIGTERM";
     return isUndefined(options?.forceKillAfter) ? kill(command, childProcess, killSignal) : timeoutOrElse2(kill(command, childProcess, killSignal), {
       duration: options.forceKillAfter,
-      onTimeout: () => kill(command, childProcess, "SIGKILL")
+      orElse: () => kill(command, childProcess, "SIGKILL")
     });
   };
   const getSourceStream = (handle, from) => {
@@ -20510,7 +20513,7 @@ var flattenCommand = (command) => {
   };
 };
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/NodeFileSystem.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/NodeFileSystem.js
 var Crypto = __toESM(require("crypto"), 1);
 var NFS = __toESM(require("fs"), 1);
 var OS = __toESM(require("os"), 1);
@@ -20885,10 +20888,10 @@ var makeFileSystem = /* @__PURE__ */ map6(/* @__PURE__ */ serviceOption2(WatchBa
 }));
 var layer2 = /* @__PURE__ */ effect(FileSystem)(makeFileSystem);
-// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.38_effect@4.0.0-beta.38_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeFileSystem.js
+// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.43_effect@4.0.0-beta.43_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeFileSystem.js
 var layer3 = layer2;
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/NodePath.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/NodePath.js
 var NodePath = __toESM(require("path"), 1);
 var NodeUrl = __toESM(require("url"), 1);
 var fromFileUrl2 = (url) => try_2({
@@ -20926,10 +20929,10 @@ var layer4 = /* @__PURE__ */ succeed5(Path)({
   toFileUrl: toFileUrl2
 });
-// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.38_effect@4.0.0-beta.38_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodePath.js
+// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.43_effect@4.0.0-beta.43_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodePath.js
 var layer5 = layer4;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Stdio.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Stdio.js
 var TypeId23 = "~effect/Stdio";
 var Stdio = /* @__PURE__ */ Service(TypeId23);
 var make18 = (options) => ({
@@ -20937,7 +20940,7 @@ var make18 = (options) => ({
   ...options
 });
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/NodeStdio.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/NodeStdio.js
 var layer6 = /* @__PURE__ */ succeed5(Stdio, /* @__PURE__ */ make18({
   args: /* @__PURE__ */ sync2(() => process.argv.slice(2)),
   stdout: (options) => fromWritable({
@@ -20972,13 +20975,13 @@ var layer6 = /* @__PURE__ */ succeed5(Stdio, /* @__PURE__ */ make18({
   })
 }));
-// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.38_effect@4.0.0-beta.38_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeStdio.js
+// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.43_effect@4.0.0-beta.43_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeStdio.js
 var layer7 = layer6;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Struct.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Struct.js
 var lambda = (f) => f;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/SchemaParser.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/SchemaParser.js
 var recurDefaults = /* @__PURE__ */ memoize((ast) => {
   switch (ast._tag) {
     case "Declaration": {
@@ -21116,7 +21119,7 @@ var recur = /* @__PURE__ */ memoize((ast) => {
   };
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/schema/schema.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/schema/schema.js
 var TypeId24 = "~effect/Schema/Schema";
 var SchemaProto = {
   [TypeId24]: TypeId24,
@@ -21145,7 +21148,7 @@ function make19(ast, options) {
   return self;
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/internal/schema/to-codec.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/internal/schema/to-codec.js
 function makeReorder(getPriority) {
   return (types) => {
     const indexMap = /* @__PURE__ */ new Map();
@@ -21166,7 +21169,7 @@ function makeReorder(getPriority) {
   };
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Schema.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Schema.js
 var TypeId25 = TypeId24;
 function declareConstructor() {
   return (typeParameters, run6, annotations) => {
@@ -21267,7 +21270,7 @@ function makeTuple(ast, elements) {
 function Tuple(elements) {
   return makeTuple(tuple(elements), elements);
 }
-var Array3 = /* @__PURE__ */ lambda((schema) => make20(new Arrays(false, [], [schema.ast]), {
+var ArraySchema = /* @__PURE__ */ lambda((schema) => make20(new Arrays(false, [], [schema.ast]), {
   schema
 }));
 function makeUnion(ast, members) {
@@ -21556,7 +21559,7 @@ var FormData2 = /* @__PURE__ */ instanceOf(globalThis.FormData, {
     Type: `globalThis.FormData`
   },
   expected: "FormData",
-  toCodecJson: () => link3()(Array3(Tuple([String6, Union2([Struct({
+  toCodecJson: () => link3()(ArraySchema(Tuple([String6, Union2([Struct({
     _tag: tag("String"),
     value: String6
   }), Struct({
@@ -21838,7 +21841,7 @@ function onSerializerEnsureArray(ast) {
   }
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Terminal.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Terminal.js
 var TypeId26 = "~effect/platform/Terminal";
 var QuitErrorTypeId = "effect/platform/Terminal/QuitError";
 var QuitError = class extends (/* @__PURE__ */ ErrorClass("QuitError")({
@@ -21856,7 +21859,7 @@ var make21 = (impl) => Terminal.of({
   [TypeId26]: TypeId26
 });
-// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.38_effect@4.0.0-beta.38/node_modules/@effect/platform-node-shared/dist/NodeTerminal.js
+// ../../node_modules/.pnpm/@effect+platform-node-shared@4.0.0-beta.43_effect@4.0.0-beta.43/node_modules/@effect/platform-node-shared/dist/NodeTerminal.js
 var readline = __toESM(require("readline"), 1);
 var make22 = /* @__PURE__ */ fnUntraced2(function* (shouldQuit = defaultShouldQuit) {
   const stdin = process.stdin;
@@ -21927,13 +21930,13 @@ function defaultShouldQuit(input) {
   return input.key.ctrl && (input.key.name === "c" || input.key.name === "d");
 }
-// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.38_effect@4.0.0-beta.38_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeTerminal.js
+// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.43_effect@4.0.0-beta.43_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeTerminal.js
 var layer9 = layer8;
-// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.38_effect@4.0.0-beta.38_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeServices.js
+// ../../node_modules/.pnpm/@effect+platform-node@4.0.0-beta.43_effect@4.0.0-beta.43_ioredis@5.10.0/node_modules/@effect/platform-node/dist/NodeServices.js
 var layer10 = /* @__PURE__ */ provideMerge(layer, /* @__PURE__ */ mergeAll2(layer3, layer5, layer7, layer9));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Console.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Console.js
 var Console = ConsoleRef;
 var consoleWith = (f) => withFiber((fiber2) => f(fiber2.getRef(Console)));
 var error = (...args3) => consoleWith((console2) => sync(() => {
@@ -21943,7 +21946,7 @@ var log = (...args3) => consoleWith((console2) => sync(() => {
   console2.log(...args3);
 }));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/ConfigProvider.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/ConfigProvider.js
 var import_meta = {};
 function makeValue(value2) {
   return {
@@ -22036,7 +22039,7 @@ function trieNodeAt(root, path4) {
   return node;
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Config.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Config.js
 var TypeId27 = "~effect/Config";
 var ConfigError = class {
   _tag = "ConfigError";
@@ -22124,7 +22127,7 @@ function succeed8(value2) {
   return make24(() => succeed6(value2));
 }
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/CliError.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/CliError.js
 var CliError_exports = {};
 __export(CliError_exports, {
   DuplicateOption: () => DuplicateOption,
@@ -22142,8 +22145,8 @@ var isCliError = (u) => hasProperty(u, TypeId28);
 var UnrecognizedOption = class extends (/* @__PURE__ */ ErrorClass(`${TypeId28}/UnrecognizedOption`)({
   _tag: /* @__PURE__ */ tag("UnrecognizedOption"),
   option: String6,
-  command: /* @__PURE__ */ optional(/* @__PURE__ */ Array3(String6)),
-  suggestions: /* @__PURE__ */ Array3(String6)
+  command: /* @__PURE__ */ optional(/* @__PURE__ */ ArraySchema(String6)),
+  suggestions: /* @__PURE__ */ ArraySchema(String6)
 })) {
   /**
    * @since 4.0.0
@@ -22232,8 +22235,8 @@ var InvalidValue2 = class extends (/* @__PURE__ */ ErrorClass(`${TypeId28}/Inval
 var UnknownSubcommand = class extends (/* @__PURE__ */ ErrorClass(`${TypeId28}/UnknownSubcommand`)({
   _tag: /* @__PURE__ */ tag("UnknownSubcommand"),
   subcommand: String6,
-  parent: /* @__PURE__ */ optional(/* @__PURE__ */ Array3(String6)),
-  suggestions: /* @__PURE__ */ Array3(String6)
+  parent: /* @__PURE__ */ optional(/* @__PURE__ */ ArraySchema(String6)),
+  suggestions: /* @__PURE__ */ ArraySchema(String6)
 })) {
   /**
    * @since 4.0.0
@@ -22262,8 +22265,8 @@ var UserError = class extends (/* @__PURE__ */ ErrorClass(`${TypeId28}/UserError
 var NonShowHelpErrors = /* @__PURE__ */ Union2([UnrecognizedOption, DuplicateOption, MissingOption, MissingArgument, InvalidValue2, UnknownSubcommand, UserError]);
 var ShowHelp = class extends (/* @__PURE__ */ ErrorClass(`${TypeId28}/ShowHelp`)({
   _tag: /* @__PURE__ */ tag("ShowHelp"),
-  commandPath: /* @__PURE__ */ Array3(String6),
-  errors: /* @__PURE__ */ Array3(NonShowHelpErrors)
+  commandPath: /* @__PURE__ */ ArraySchema(String6),
+  errors: /* @__PURE__ */ ArraySchema(NonShowHelpErrors)
 })) {
   [TypeId28] = TypeId28;
   [errorExitCode] = this.errors.length ? 1 : 0;
@@ -22273,7 +22276,7 @@ var ShowHelp = class extends (/* @__PURE__ */ ErrorClass(`${TypeId28}/ShowHelp`)
   }
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/Primitive.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/Primitive.js
 var Ini = __toESM(require_ini(), 1);
 var Toml = __toESM(require_toml(), 1);
 var Yaml = __toESM(require_dist(), 1);
@@ -22424,7 +22427,7 @@ var getTypeName = (primitive) => {
 };
 var getChoiceKeys = (primitive) => primitive._tag === "Choice" ? primitive.choiceKeys : void 0;
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/ansi.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/ansi.js
 var ESC = "\x1B[";
 var BEL = "\x07";
 var SEP = ";";
@@ -22481,7 +22484,7 @@ var eraseLines = (rows) => {
   return command;
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/Prompt.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/Prompt.js
 var TypeId30 = "~effect/cli/Prompt";
 var defaultFigures = {
   arrowUp: "\u2191",
@@ -23178,7 +23181,7 @@ var renderMultiSelectChoices = (state, options, figures2, renderOptions) => {
       const isSelected = state.selectedIndices.has(choiceIndex);
       const checkbox = isSelected ? figures2.checkboxOn : figures2.checkboxOff;
       const annotatedCheckbox = isHighlighted && renderOptions?.plain !== true ? annotate2(checkbox, cyanBright) : checkbox;
-      const title = choice4.title;
+      const title = isHighlighted && renderOptions?.plain !== true ? annotate2(choice4.title, cyanBright) : choice4.title;
       const description = renderChoiceDescription(choice4, isHighlighted, renderOptions);
       documents.push(prefix + " " + annotatedCheckbox + " " + title + " " + description);
     }
@@ -23486,7 +23489,7 @@ var entriesToDisplay = (cursor, total, maxVisible) => {
   };
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/Param.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/Param.js
 var TypeId31 = "~effect/cli/Param";
 var argumentKind = "argument";
 var flagKind = "flag";
@@ -23914,7 +23917,7 @@ var getParamMetadata = (param) => {
   });
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/CliOutput.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/CliOutput.js
 var Formatter = /* @__PURE__ */ Reference("effect/cli/CliOutput", {
   defaultValue: () => defaultFormatter2()
 });
@@ -24106,7 +24109,7 @@ var formatHelpDocImpl = (doc, colors2) => {
   return sections.join("\n");
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/Command.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/Command.js
 var Command_exports = {};
 __export(Command_exports, {
   annotate: () => annotate3,
@@ -24129,7 +24132,7 @@ __export(Command_exports, {
   withSubcommands: () => withSubcommands
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/completions/bash.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/completions/bash.js
 var escapeForBash = (s) => s.replace(/'/g, "'\\''");
 var sanitizeFunctionName = (s) => s.replace(/[^a-zA-Z0-9_]/g, "_");
 var flagNamesForWordlist = (flag) => {
@@ -24291,7 +24294,7 @@ var generate = (executableName, descriptor) => {
   return lines2.join("\n");
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/completions/fish.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/completions/fish.js
 var escapeFishString = (s) => s.replace(/'/g, "\\'");
 var subcommandCondition = (parentPath, childSubcommandNames) => {
   if (parentPath.length === 0) {
@@ -24459,7 +24462,7 @@ var generate2 = (executableName, descriptor) => {
   return lines2.join("\n");
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/completions/zsh.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/completions/zsh.js
 var escapeZsh = (s) => s.replace(/\\/g, "\\\\").replace(/'/g, "'\\''").replace(/:/g, "\\:");
 var sanitize = (s) => s.replace(/[^a-zA-Z0-9_]/g, "_");
 var allForms = (flag) => {
@@ -24617,7 +24620,7 @@ var generate3 = (executableName, descriptor) => {
   return lines2.join("\n");
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/Completions.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/Completions.js
 var generate4 = (executableName, shell, descriptor) => {
   switch (shell) {
     case "bash":
@@ -24629,7 +24632,7 @@ var generate4 = (executableName, shell, descriptor) => {
   }
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/Flag.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/Flag.js
 var Flag_exports = {};
 __export(Flag_exports, {
   atLeast: () => atLeast2,
@@ -24702,7 +24705,7 @@ var orElse4 = /* @__PURE__ */ dual(2, (self, that) => orElse3(self, that));
 var orElseResult2 = /* @__PURE__ */ dual(2, (self, that) => orElseResult(self, that));
 var withSchema2 = /* @__PURE__ */ dual(2, (self, schema) => withSchema(self, schema));
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/config.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/config.js
 var ConfigInternalTypeId = "~effect/cli/Command/Config/Internal";
 var parseConfig = (config2) => {
   const orderedParams = [];
@@ -24806,7 +24809,7 @@ var reconstructTree = (tree, results) => {
   }
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/command.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/command.js
 var TypeId32 = "~effect/cli/Command";
 var toImpl = (self) => self;
 var Proto8 = {
@@ -24922,10 +24925,20 @@ var toFlagDoc = (single) => {
     name: single.name,
     aliases: formattedAliases,
     type: single.typeName ?? getTypeName(single.primitiveType),
-    description: single.description,
+    description: appendChoiceKeys(single.description, getChoiceKeys(single.primitiveType)),
     required: single.primitiveType._tag !== "Boolean"
   };
 };
+var appendChoiceKeys = (description, choiceKeys) => {
+  if (choiceKeys === void 0 || choiceKeys.length === 0) {
+    return description;
+  }
+  const choiceSuffix = `(choices: ${choiceKeys.join(", ")})`;
+  return match(description, {
+    onNone: () => some2(choiceSuffix),
+    onSome: (value2) => some2(`${value2} ${choiceSuffix}`)
+  });
+};
 var makeParser = (cfg) => fnUntraced2(function* (input) {
   const parsedArgs = {
     flags: input.flags,
@@ -24976,7 +24989,7 @@ var checkForDuplicateFlags = (parent, subcommands, options) => {
   }
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/completions/CommandDescriptor.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/completions/CommandDescriptor.js
 var toFlagType = (single) => {
   const tag2 = single.primitiveType._tag;
   switch (tag2) {
@@ -25099,7 +25112,7 @@ var fromCommand = (cmd) => {
   };
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/help.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/help.js
 var dedupeGlobalFlags = (flags) => {
   const seen = /* @__PURE__ */ new Set();
   const deduped = [];
@@ -25198,7 +25211,7 @@ var getHelpForCommandPath = (command, commandPath, builtIns) => gen2(function* (
   };
 });
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/GlobalFlag.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/GlobalFlag.js
 var action = (options) => ({
   _tag: "Action",
   flag: options.flag,
@@ -25250,7 +25263,7 @@ var LogLevel = /* @__PURE__ */ setting("log-level")({
 });
 var BuiltIns = [Help, Version, Completions, LogLevel];
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/lexer.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/lexer.js
 function lex(argv) {
   const endIndex = argv.indexOf("--");
   if (endIndex === -1) {
@@ -25311,7 +25324,7 @@ var lexTokens = (args3) => {
   return tokens;
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/auto-suggest.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/auto-suggest.js
 var levenshtein = (a, b) => {
   const m = a.length;
   const n = b.length;
@@ -25335,7 +25348,7 @@ var suggest = (input, candidates) => {
   return distances.filter(([d]) => d === minDistance).map(([, c]) => c);
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/internal/parser.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/internal/parser.js
 var getCommandPath = (parsedInput) => match(parsedInput.subcommand, {
   onNone: () => [],
   onSome: (subcommand) => [subcommand.name, ...getCommandPath(subcommand.parsedInput)]
@@ -25619,7 +25632,7 @@ var scanCommandLevel = (tokens, context) => {
   return toLeafResult(state);
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/unstable/cli/Command.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/unstable/cli/Command.js
 var isCommand = (u) => hasProperty(u, TypeId32);
 var make25 = (name, config2, handler) => {
   const parsedConfig = parseConfig(config2 ?? {});
@@ -25933,7 +25946,7 @@ var runWith2 = (command, config2) => {
     program = provideService2(program, LogLevel, logLevel);
     const services3 = match(logLevel, {
       onNone: () => empty2(),
-      onSome: (level) => make3(MinimumLogLevel, level)
+      onSome: (level) => make3(MinimumLogLevel2, level)
     });
     yield* provideServices2(program, services3);
   }, catchFilter2((error2) => isCliError(error2) && error2._tag === "ShowHelp" ? succeed2(error2) : fail2(error2), (error2) => andThen2(showHelp(command, error2), fail6(error2))), catchFilter2((e) => isQuitError(e) ? succeed2(e) : fail2(e), (_) => interrupt2));
@@ -25942,7 +25955,7 @@ var runWith2 = (command, config2) => {
 // package.json
 var package_default = {
   name: "@effect/language-service",
-  version: "0.84.3",
+  version: "0.85.0",
   publishConfig: {
     access: "public",
     directory: "dist"
@@ -25985,16 +25998,16 @@ var package_default = {
     perf: "tsx test/perf.ts"
   },
   devDependencies: {
-    "@effect/platform-node": "^4.0.0-beta.38",
+    "@effect/platform-node": "^4.0.0-beta.43",
     "@types/pako": "^2.0.4",
     "@typescript-eslint/project-service": "^8.52.0",
-    effect: "^4.0.0-beta.38",
+    effect: "^4.0.0-beta.43",
     pako: "^2.1.0",
     "ts-patch": "^3.3.0"
   }
 };
-// ../../node_modules/.pnpm/effect@4.0.0-beta.38/node_modules/effect/dist/Graph.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.43/node_modules/effect/dist/Graph.js
 var TypeId33 = "~effect/collections/Graph";
 var Edge = class extends Class3 {
 };
@@ -29664,33 +29677,33 @@ function make26(ts, tsUtils, typeChecker, typeCheckerUtils, program) {
     ),
     ([Identifier, Service2]) => ({ Identifier, Service: Service2 })
   );
-  const serviceVarianceStruct = (type, atLocation) => map12(
-    all3(
-      varianceStructInvariantType(type, atLocation, "_Identifier"),
-      varianceStructInvariantType(type, atLocation, "_Service")
-    ),
-    ([Identifier, Service2]) => ({ Identifier, Service: Service2 })
-  );
   const serviceType = cachedBy(
     fn3("TypeParser.serviceType")(function* (type, atLocation) {
+      if (supportedEffect() !== "v4") return yield* typeParserIssue("v4 only");
       yield* pipeableType(type, atLocation);
-      const propertiesSymbols = typeChecker.getPropertiesOfType(type).filter(
-        (_) => _.flags & ts.SymbolFlags.Property && !(_.flags & ts.SymbolFlags.Optional) && _.valueDeclaration
-      );
-      if (propertiesSymbols.length === 0) {
-        return yield* typeParserIssue("Type has no tag variance struct", type, atLocation);
+      const typeIdSymbol = typeChecker.getPropertyOfType(type, "~effect/ServiceMap/Service");
+      if (!typeIdSymbol) {
+        return yield* typeParserIssue("Type has no service key type id", type, atLocation);
       }
-      propertiesSymbols.sort((a, b) => ts.symbolName(b).indexOf("TypeId") - ts.symbolName(a).indexOf("TypeId"));
-      return yield* firstSuccessOf(propertiesSymbols.map((propertySymbol) => {
-        const propertyType = typeChecker.getTypeOfSymbolAtLocation(propertySymbol, atLocation);
-        return serviceVarianceStruct(propertyType, atLocation);
-      }));
+      const identifierSymbol = typeChecker.getPropertyOfType(type, "Identifier");
+      if (!identifierSymbol) {
+        return yield* typeParserIssue("Type has no 'Identifier' property", type, atLocation);
+      }
+      const serviceSymbol = typeChecker.getPropertyOfType(type, "Service");
+      if (!serviceSymbol) {
+        return yield* typeParserIssue("Type has no 'Service' property", type, atLocation);
+      }
+      return {
+        Identifier: typeChecker.getTypeOfSymbolAtLocation(identifierSymbol, atLocation),
+        Service: typeChecker.getTypeOfSymbolAtLocation(serviceSymbol, atLocation)
+      };
     }),
     "TypeParser.serviceType",
     (type) => type
   );
   const contextTag = cachedBy(
     fn3("TypeParser.contextTag")(function* (type, atLocation) {
+      if (supportedEffect() !== "v3") return yield* typeParserIssue("v3 only");
       yield* pipeableType(type, atLocation);
       const propertiesSymbols = typeChecker.getPropertiesOfType(type).filter(
         (_) => _.flags & ts.SymbolFlags.Property && !(_.flags & ts.SymbolFlags.Optional) && _.valueDeclaration
@@ -29831,6 +29844,19 @@ function make26(ts, tsUtils, typeChecker, typeCheckerUtils, program) {
     "TypeParser.promiseLike",
     (type) => type
   );
+  const promiseType = cachedBy(
+    function(type, atLocation) {
+      const promiseSymbol = typeChecker.resolveName("Promise", void 0, ts.SymbolFlags.Type, false);
+      if (!promiseSymbol) return typeParserIssue("global Promise type not found", type, atLocation);
+      const globalPromiseType = typeChecker.getDeclaredTypeOfSymbol(promiseSymbol);
+      if (type === globalPromiseType || "target" in type && type.target === globalPromiseType || typeChecker.isTypeAssignableTo(type, globalPromiseType)) {
+        return succeed9(type);
+      }
+      return typeParserIssue("type is not a Promise", type, atLocation);
+    },
+    "TypeParser.promiseType",
+    (type) => type
+  );
   const extendsSchemaClass = cachedBy(
     fn3("TypeParser.extendsSchemaClass")(function* (atLocation) {
       if (!atLocation.name) {
@@ -30850,6 +30876,7 @@ function make26(ts, tsUtils, typeChecker, typeCheckerUtils, program) {
     singleArgCall,
     scopeType,
     promiseLike,
+    promiseType,
     extendsEffectTag,
     extendsEffectService,
     extendsServiceMapService,
@@ -33433,6 +33460,37 @@ var anyUnknownInErrorContext = createDiagnostic({
   })
 });
+// src/diagnostics/asyncFunction.ts
+var asyncFunction = createDiagnostic({
+  name: "asyncFunction",
+  code: 69,
+  description: "Warns when declaring async functions and suggests using Effect values and Effect.gen for async control flow",
+  group: "effectNative",
+  severity: "off",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: fn3("asyncFunction.apply")(function* (sourceFile, report) {
+    const ts = yield* service2(TypeScriptApi);
+    const hasAsyncModifier = (node) => ts.getModifiers(node)?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) === true;
+    const visit = (node) => {
+      if (!ts.isFunctionDeclaration(node) && !ts.isFunctionExpression(node) && !ts.isArrowFunction(node) && !ts.isMethodDeclaration(node)) {
+        ts.forEachChild(node, visit);
+        return void 0;
+      }
+      if (hasAsyncModifier(node)) {
+        report({
+          location: node,
+          messageText: "This code declares an async function, consider representing this async control flow with Effect values and `Effect.gen`.",
+          fixes: []
+        });
+      }
+      ts.forEachChild(node, visit);
+      return void 0;
+    };
+    ts.forEachChild(sourceFile, visit);
+  })
+});
 // src/diagnostics/catchAllToMapError.ts
 var catchAllToMapError = createDiagnostic({
   name: "catchAllToMapError",
@@ -33661,6 +33719,59 @@ var classSelfMismatch = createDiagnostic({
   })
 });
+// src/diagnostics/cryptoRandomUUIDInEffect.ts
+var makeCryptoRandomUUIDApply = (checkInEffect) => fn3(`cryptoRandomUUID${checkInEffect ? "InEffect" : ""}.apply`)(function* (sourceFile, report) {
+  const ts = yield* service2(TypeScriptApi);
+  const typeChecker = yield* service2(TypeCheckerApi);
+  const typeCheckerUtils = yield* service2(TypeCheckerUtils);
+  const typeParser = yield* service2(TypeParser);
+  const cryptoSymbol = typeChecker.resolveName("crypto", void 0, ts.SymbolFlags.Value, false);
+  if (!cryptoSymbol) return;
+  const nodeToVisit = [];
+  const appendNodeToVisit = (node) => {
+    nodeToVisit.push(node);
+    return void 0;
+  };
+  ts.forEachChild(sourceFile, appendNodeToVisit);
+  while (nodeToVisit.length > 0) {
+    const node = nodeToVisit.shift();
+    ts.forEachChild(node, appendNodeToVisit);
+    if (!ts.isCallExpression(node) || !ts.isPropertyAccessExpression(node.expression) || ts.idText(node.expression.name) !== "randomUUID") continue;
+    const symbol4 = typeChecker.getSymbolAtLocation(node.expression.expression);
+    if (!symbol4) continue;
+    if (typeCheckerUtils.resolveToGlobalSymbol(symbol4) !== cryptoSymbol) continue;
+    const { inEffect } = yield* typeParser.findEnclosingScopes(node);
+    if (inEffect !== checkInEffect) continue;
+    report({
+      location: node,
+      messageText: checkInEffect ? "This Effect code uses `crypto.randomUUID()`, prefer the Effect `Random` module instead because it uses Effect-injected randomness rather than the `crypto` module behind the scenes." : "This code uses `crypto.randomUUID()`, prefer the Effect `Random` module instead because it uses Effect-injected randomness rather than the `crypto` module behind the scenes.",
+      fixes: []
+    });
+  }
+});
+var cryptoRandomUUIDInEffect = createDiagnostic({
+  name: "cryptoRandomUUIDInEffect",
+  code: 67,
+  description: "Warns when using crypto.randomUUID() inside Effect generators instead of the Effect Random module, which uses Effect-injected randomness rather than the crypto module behind the scenes",
+  group: "effectNative",
+  severity: "off",
+  fixable: false,
+  supportedEffect: ["v4"],
+  apply: makeCryptoRandomUUIDApply(true)
+});
+// src/diagnostics/cryptoRandomUUID.ts
+var cryptoRandomUUID = createDiagnostic({
+  name: "cryptoRandomUUID",
+  code: 66,
+  description: "Warns when using crypto.randomUUID() outside Effect generators instead of the Effect Random module, which uses Effect-injected randomness rather than the crypto module behind the scenes",
+  group: "effectNative",
+  severity: "off",
+  fixable: false,
+  supportedEffect: ["v4"],
+  apply: makeCryptoRandomUUIDApply(false)
+});
 // src/core/KeyBuilder.ts
 var makeKeyBuilder = fn3("KeyBuilder")(
   function* (sourceFile) {
@@ -33878,6 +33989,40 @@ ${versions.map((version2) => `- found ${version2} at ${resolvedPackages[packageN
   })
 });
+// src/diagnostics/effectDoNotation.ts
+var effectDoNotation = createDiagnostic({
+  name: "effectDoNotation",
+  code: 73,
+  description: "Suggests using Effect.gen or Effect.fn instead of the Effect.Do notation helpers",
+  group: "style",
+  severity: "off",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: fn3("effectDoNotation.apply")(function* (sourceFile, report) {
+    const ts = yield* service2(TypeScriptApi);
+    const typeParser = yield* service2(TypeParser);
+    const nodeToVisit = [];
+    const appendNodeToVisit = (node) => {
+      nodeToVisit.push(node);
+      return void 0;
+    };
+    ts.forEachChild(sourceFile, appendNodeToVisit);
+    while (nodeToVisit.length > 0) {
+      const node = nodeToVisit.shift();
+      const isReference2 = yield* orUndefined(typeParser.isNodeReferenceToEffectModuleApi("Do")(node));
+      if (isReference2) {
+        report({
+          location: node,
+          messageText: "This uses the Effect do emulation. `Effect.gen` or `Effect.fn` achieve the same result with native JS scopes.",
+          fixes: []
+        });
+        continue;
+      }
+      ts.forEachChild(node, appendNodeToVisit);
+    }
+  })
+});
 // src/diagnostics/effectFnIife.ts
 var effectFnIife = createDiagnostic({
   name: "effectFnIife",
@@ -34824,6 +34969,43 @@ var effectInVoidSuccess = createDiagnostic({
   })
 });
+// src/diagnostics/effectMapFlatten.ts
+var effectMapFlatten = createDiagnostic({
+  name: "effectMapFlatten",
+  code: 74,
+  description: "Suggests using Effect.flatMap instead of Effect.map followed by Effect.flatten in piping flows",
+  group: "style",
+  severity: "suggestion",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: fn3("effectMapFlatten.apply")(function* (sourceFile, report) {
+    const typeParser = yield* service2(TypeParser);
+    const flows = yield* typeParser.pipingFlows(false)(sourceFile);
+    for (const flow2 of flows) {
+      for (let index = 0; index < flow2.transformations.length - 1; index++) {
+        const mapTransformation = flow2.transformations[index];
+        const flattenTransformation = flow2.transformations[index + 1];
+        if (!mapTransformation || !flattenTransformation || !mapTransformation?.args || flattenTransformation?.args || mapTransformation.kind !== "pipe" && mapTransformation.kind !== "pipeable" || flattenTransformation.kind !== mapTransformation.kind) {
+          continue;
+        }
+        const isMapCall = yield* orUndefined(
+          typeParser.isNodeReferenceToEffectModuleApi("map")(mapTransformation.callee)
+        );
+        const isFlattenCall = yield* orUndefined(
+          typeParser.isNodeReferenceToEffectModuleApi("flatten")(flattenTransformation.callee)
+        );
+        if (isMapCall && isFlattenCall) {
+          report({
+            location: flattenTransformation.callee,
+            messageText: "`Effect.map` + `Effect.flatten` is the same as `Effect.flatMap` that expresses the same steps more directly.",
+            fixes: []
+          });
+        }
+      }
+    }
+  })
+});
 // src/diagnostics/effectMapVoid.ts
 var effectMapVoid = createDiagnostic({
   name: "effectMapVoid",
@@ -35091,6 +35273,7 @@ var genericEffectServices = createDiagnostic({
       for (const [type, reportAt] of typesToCheck) {
         yield* pipe(
           typeParser.contextTag(type, node),
+          orElse5(() => typeParser.serviceType(type, node)),
           map12(() => {
             report({
               location: reportAt,
@@ -35854,6 +36037,55 @@ var layerMergeAllWithDependencies = createDiagnostic({
   })
 });
+// src/diagnostics/lazyPromiseInEffectSync.ts
+var lazyPromiseInEffectSync = createDiagnostic({
+  name: "lazyPromiseInEffectSync",
+  code: 70,
+  description: "Warns when Effect.sync lazily returns a Promise instead of using an async Effect constructor",
+  group: "antipattern",
+  severity: "warning",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: fn3("lazyPromiseInEffectSync.apply")(function* (sourceFile, report) {
+    const ts = yield* service2(TypeScriptApi);
+    const typeChecker = yield* service2(TypeCheckerApi);
+    const typeCheckerUtils = yield* service2(TypeCheckerUtils);
+    const typeParser = yield* service2(TypeParser);
+    const nodeToVisit = [];
+    const appendNodeToVisit = (node) => {
+      nodeToVisit.push(node);
+      return void 0;
+    };
+    ts.forEachChild(sourceFile, appendNodeToVisit);
+    while (nodeToVisit.length > 0) {
+      const node = nodeToVisit.shift();
+      ts.forEachChild(node, appendNodeToVisit);
+      if (!ts.isCallExpression(node)) continue;
+      const isSyncCall = yield* orUndefined(
+        typeParser.isNodeReferenceToEffectModuleApi("sync")(node.expression)
+      );
+      if (!isSyncCall) continue;
+      const lazyArg = node.arguments[0];
+      if (!lazyArg) continue;
+      const lazyArgType = typeCheckerUtils.getTypeAtLocation(lazyArg);
+      if (!lazyArgType) continue;
+      const entries2 = typeCheckerUtils.unrollUnionMembers(lazyArgType).flatMap(
+        (member) => typeChecker.getSignaturesOfType(member, ts.SignatureKind.Call).map(
+          (signature) => typeParser.promiseType(typeChecker.getReturnTypeOfSignature(signature), lazyArg)
+        )
+      );
+      if (entries2.length === 0) continue;
+      const promiseReturn = yield* orUndefined(firstSuccessOf(entries2));
+      if (!promiseReturn) continue;
+      report({
+        location: lazyArg,
+        messageText: "This `Effect.sync` thunk returns a Promise. Use `Effect.promise` or `Effect.tryPromise` to represent async work.",
+        fixes: []
+      });
+    }
+  })
+});
 // src/diagnostics/leakingRequirements.ts
 var leakingRequirements = createDiagnostic({
   name: "leakingRequirements",
@@ -36787,6 +37019,74 @@ var multipleEffectProvide = createDiagnostic({
   })
 });
+// src/diagnostics/nestedEffectGenYield.ts
+var nestedEffectGenYield = createDiagnostic({
+  name: "nestedEffectGenYield",
+  code: 71,
+  description: "Warns when yielding a nested bare Effect.gen inside an existing Effect generator context",
+  group: "style",
+  severity: "off",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: fn3("nestedEffectGenYield.apply")(function* (sourceFile, report) {
+    const ts = yield* service2(TypeScriptApi);
+    const typeParser = yield* service2(TypeParser);
+    const nodeToVisit = [];
+    const appendNodeToVisit = (node) => {
+      nodeToVisit.push(node);
+      return void 0;
+    };
+    ts.forEachChild(sourceFile, appendNodeToVisit);
+    while (nodeToVisit.length > 0) {
+      const node = nodeToVisit.shift();
+      ts.forEachChild(node, appendNodeToVisit);
+      if (!ts.isYieldExpression(node) || !node.asteriskToken || !node.expression) continue;
+      const { inEffect } = yield* typeParser.findEnclosingScopes(node);
+      if (!inEffect) continue;
+      const bareNestedEffectGen = yield* orUndefined(typeParser.effectGen(node.expression));
+      if (!bareNestedEffectGen) continue;
+      report({
+        location: node.expression,
+        messageText: "This `yield*` is applied to a nested `Effect.gen(...)` that can be inlined in the parent Effect generator context.",
+        fixes: []
+      });
+    }
+  })
+});
+// src/diagnostics/newPromise.ts
+var newPromise = createDiagnostic({
+  name: "newPromise",
+  code: 68,
+  description: "Warns when constructing promises with new Promise instead of using Effect APIs",
+  group: "effectNative",
+  severity: "off",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: fn3("newPromise.apply")(function* (sourceFile, report) {
+    const ts = yield* service2(TypeScriptApi);
+    const typeChecker = yield* service2(TypeCheckerApi);
+    const typeCheckerUtils = yield* service2(TypeCheckerUtils);
+    const promiseSymbol = typeChecker.resolveName("Promise", void 0, ts.SymbolFlags.Value, false);
+    if (!promiseSymbol) return;
+    const visit = (node) => {
+      if (ts.isNewExpression(node)) {
+        const symbol4 = typeChecker.getSymbolAtLocation(node.expression);
+        if (symbol4 && typeCheckerUtils.resolveToGlobalSymbol(symbol4) === promiseSymbol) {
+          report({
+            location: node,
+            messageText: "This code constructs `new Promise(...)`, prefer Effect APIs such as `Effect.async`, `Effect.promise`, or `Effect.tryPromise` instead of manual Promise construction.",
+            fixes: []
+          });
+        }
+      }
+      ts.forEachChild(node, visit);
+      return void 0;
+    };
+    ts.forEachChild(sourceFile, visit);
+  })
+});
 // src/diagnostics/nodeBuiltinImport.ts
 var moduleAlternativesV3 = /* @__PURE__ */ new Map([
   ["fs", { alternative: "FileSystem", module: "fs", package: "@effect/platform" }],
@@ -37130,6 +37430,14 @@ var effectModuleMigrationDb = {
   "yieldNow": asUnchanged,
   "zip": asUnchanged,
   "zipWith": asUnchanged,
+  "annotateLogsScoped": asUnchanged,
+  "awaitAllChildren": asUnchanged,
+  "bind": asUnchanged,
+  "bindTo": asUnchanged,
+  "Do": asUnchanged,
+  "let": asUnchanged,
+  "partition": asUnchanged,
+  "validate": asUnchanged,
   // Renamed APIs (v3 name → v4 name)
   "catchAll": asRenamedSameBehaviour("catch"),
   "catchAllCause": asRenamedSameBehaviour("catchCause"),
@@ -37149,14 +37457,6 @@ var effectModuleMigrationDb = {
   "serviceOptional": asRenamedSameBehaviour("serviceOption"),
   "tapErrorCause": asRenamedSameBehaviour("tapCause"),
   // Removed APIs
-  "annotateLogsScoped": asUnchanged,
-  "awaitAllChildren": asUnchanged,
-  "bind": asUnchanged,
-  "bindTo": asUnchanged,
-  "Do": asUnchanged,
-  "let": asUnchanged,
-  "partition": asUnchanged,
-  "validate": asUnchanged,
   "catchSomeDefect": asRemoved(
     "Use Effect.catchDefect or Effect.matchCause to handle specific defects."
   ),
@@ -38021,6 +38321,63 @@ var preferSchemaOverJson = createDiagnostic({
   })
 });
+// src/diagnostics/processEnvInEffect.ts
+var isEnvPropertyAccess = (tsApi, node) => tsApi.isPropertyAccessExpression(node) && tsApi.idText(node.name) === "env";
+var isProcessEnvMemberAccess = (tsApi, node) => (tsApi.isPropertyAccessExpression(node) || tsApi.isElementAccessExpression(node)) && isEnvPropertyAccess(tsApi, node.expression);
+var makeProcessEnvApply = (checkInEffect) => fn3(`processEnv${checkInEffect ? "InEffect" : ""}.apply`)(function* (sourceFile, report) {
+  const ts = yield* service2(TypeScriptApi);
+  const typeChecker = yield* service2(TypeCheckerApi);
+  const typeCheckerUtils = yield* service2(TypeCheckerUtils);
+  const typeParser = yield* service2(TypeParser);
+  const processSymbol = typeChecker.resolveName("process", void 0, ts.SymbolFlags.Value, false);
+  if (!processSymbol) return;
+  const nodeToVisit = [];
+  const appendNodeToVisit = (node) => {
+    nodeToVisit.push(node);
+    return void 0;
+  };
+  ts.forEachChild(sourceFile, appendNodeToVisit);
+  while (nodeToVisit.length > 0) {
+    const node = nodeToVisit.shift();
+    ts.forEachChild(node, appendNodeToVisit);
+    if (!isProcessEnvMemberAccess(ts, node)) continue;
+    const processNode = node.expression.expression;
+    if (!ts.isIdentifier(processNode) || ts.idText(processNode) !== "process") continue;
+    const symbol4 = typeChecker.getSymbolAtLocation(processNode);
+    if (!symbol4) continue;
+    if (typeCheckerUtils.resolveToGlobalSymbol(symbol4) !== processSymbol) continue;
+    const { inEffect } = yield* typeParser.findEnclosingScopes(node);
+    if (inEffect !== checkInEffect) continue;
+    report({
+      location: node,
+      messageText: checkInEffect ? "This Effect code reads from `process.env`, environment configuration in Effect code is represented through `Config` from Effect." : "This code reads from `process.env`, environment configuration is represented through `Config` from Effect.",
+      fixes: []
+    });
+  }
+});
+var processEnvInEffect = createDiagnostic({
+  name: "processEnvInEffect",
+  code: 65,
+  description: "Warns when reading process.env inside Effect generators instead of using Effect Config",
+  group: "effectNative",
+  severity: "off",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: makeProcessEnvApply(true)
+});
+// src/diagnostics/processEnv.ts
+var processEnv = createDiagnostic({
+  name: "processEnv",
+  code: 64,
+  description: "Warns when reading process.env outside Effect generators instead of using Effect Config",
+  group: "effectNative",
+  severity: "off",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: makeProcessEnvApply(false)
+});
 // src/diagnostics/redundantSchemaTagIdentifier.ts
 var redundantSchemaTagIdentifier = createDiagnostic({
   name: "redundantSchemaTagIdentifier",
@@ -38958,6 +39315,56 @@ var unknownInEffectCatch = createDiagnostic({
   })
 });
+// src/diagnostics/unnecessaryArrowBlock.ts
+var unnecessaryArrowBlock = createDiagnostic({
+  name: "unnecessaryArrowBlock",
+  code: 72,
+  description: "Suggests using a concise arrow body when the block only returns an expression",
+  group: "style",
+  severity: "off",
+  fixable: true,
+  supportedEffect: ["v3", "v4"],
+  apply: fn3("unnecessaryArrowBlock.apply")(function* (sourceFile, report) {
+    const ts = yield* service2(TypeScriptApi);
+    const nodeToVisit = [];
+    const appendNodeToVisit = (node) => {
+      nodeToVisit.push(node);
+      return void 0;
+    };
+    ts.forEachChild(sourceFile, appendNodeToVisit);
+    while (nodeToVisit.length > 0) {
+      const node = nodeToVisit.shift();
+      ts.forEachChild(node, appendNodeToVisit);
+      if (!ts.isArrowFunction(node) || !ts.isBlock(node.body)) continue;
+      if (node.body.statements.length !== 1) continue;
+      const [statement] = node.body.statements;
+      if (!ts.isReturnStatement(statement) || !statement.expression) continue;
+      const returnedExpression = statement.expression;
+      report({
+        location: node.body,
+        messageText: "This arrow function block only returns an expression and can use a concise body.",
+        fixes: [{
+          fixName: "unnecessaryArrowBlock_fix",
+          description: "Use a concise arrow body",
+          apply: gen3(function* () {
+            const changeTracker = yield* service2(ChangeTracker);
+            const replacementNode = ts.factory.updateArrowFunction(
+              node,
+              node.modifiers,
+              node.typeParameters,
+              node.parameters,
+              node.type,
+              node.equalsGreaterThanToken,
+              ts.factory.createParenthesizedExpression(returnedExpression)
+            );
+            changeTracker.replaceNode(sourceFile, node, replacementNode);
+          })
+        }]
+      });
+    }
+  })
+});
 // src/diagnostics/unnecessaryEffectGen.ts
 var unnecessaryEffectGen = createDiagnostic({
   name: "unnecessaryEffectGen",
@@ -39258,12 +39665,17 @@ var unsupportedServiceAccessors = createDiagnostic({
 var diagnostics = [
   outdatedApi,
   anyUnknownInErrorContext,
+  asyncFunction,
   instanceOfSchema,
   catchAllToMapError,
   catchUnfailableEffect,
   classSelfMismatch,
+  cryptoRandomUUID,
+  cryptoRandomUUIDInEffect,
   duplicatePackage,
+  effectDoNotation,
   effectFnImplicitAny,
+  effectMapFlatten,
   effectGenUsesAdapter,
   missingEffectContext,
   missingEffectError,
@@ -39272,6 +39684,8 @@ var diagnostics = [
   floatingEffect,
   effectInFailure,
   missingStarInYieldEffectGen,
+  newPromise,
+  lazyPromiseInEffectSync,
   unnecessaryEffectGen,
   unnecessaryFailYieldableError,
   missingReturnYieldStar,
@@ -39280,6 +39694,8 @@ var diagnostics = [
   genericEffectServices,
   globalFetch,
   globalFetchInEffect,
+  processEnv,
+  processEnvInEffect,
   returnEffectInGen,
   tryCatchInEffectGen,
   importFromBarrel,
@@ -39297,6 +39713,8 @@ var diagnostics = [
   strictEffectProvide,
   unknownInEffectCatch,
   runEffectInsideEffect,
+  nestedEffectGenYield,
+  unnecessaryArrowBlock,
   schemaUnionOfLiterals,
   schemaStructWithTag,
   globalErrorInEffectCatch,
@@ -39351,9 +39769,15 @@ var metadata_default = {
       name: "effect-native",
       description: "Enable all Effect-native diagnostics at warning level.",
       diagnosticSeverity: {
+        asyncFunction: "warning",
         instanceOfSchema: "warning",
+        cryptoRandomUUID: "warning",
+        cryptoRandomUUIDInEffect: "warning",
+        newPromise: "warning",
         globalFetch: "warning",
         globalFetchInEffect: "warning",
+        processEnv: "warning",
+        processEnvInEffect: "warning",
         preferSchemaOverJson: "warning",
         extendsNativeError: "warning",
         nodeBuiltinImport: "warning",
@@ -39890,6 +40314,27 @@ var metadata_default = {
         ]
       }
     },
+    {
+      name: "lazyPromiseInEffectSync",
+      group: "antipattern",
+      description: "Warns when Effect.sync lazily returns a Promise instead of using an async Effect constructor",
+      defaultSeverity: "warning",
+      fixable: false,
+      supportedEffect: [
+        "v3",
+        "v4"
+      ],
+      preview: {
+        sourceText: 'import { Effect } from "effect"\n\nexport const preview = Effect.sync(() => Promise.resolve(1))\n',
+        diagnostics: [
+          {
+            start: 68,
+            end: 92,
+            text: "This `Effect.sync` thunk returns a Promise. Use `Effect.promise` or `Effect.tryPromise` to represent async work.    effect(lazyPromiseInEffectSync)"
+          }
+        ]
+      }
+    },
     {
       name: "leakingRequirements",
       group: "antipattern",
@@ -40077,6 +40522,67 @@ var metadata_default = {
         ]
       }
     },
+    {
+      name: "asyncFunction",
+      group: "effectNative",
+      description: "Warns when declaring async functions and suggests using Effect values and Effect.gen for async control flow",
+      defaultSeverity: "off",
+      fixable: false,
+      supportedEffect: [
+        "v3",
+        "v4"
+      ],
+      preview: {
+        sourceText: "\nexport const preview = async () => {\n  await Promise.resolve(1)\n}\n",
+        diagnostics: [
+          {
+            start: 24,
+            end: 66,
+            text: "This code declares an async function, consider representing this async control flow with Effect values and `Effect.gen`.    effect(asyncFunction)"
+          }
+        ]
+      }
+    },
+    {
+      name: "cryptoRandomUUID",
+      group: "effectNative",
+      description: "Warns when using crypto.randomUUID() outside Effect generators instead of the Effect Random module, which uses Effect-injected randomness rather than the crypto module behind the scenes",
+      defaultSeverity: "off",
+      fixable: false,
+      supportedEffect: [
+        "v4"
+      ],
+      preview: {
+        sourceText: "\nexport const preview = crypto.randomUUID()\n",
+        diagnostics: [
+          {
+            start: 24,
+            end: 43,
+            text: "This code uses `crypto.randomUUID()`, prefer the Effect `Random` module instead because it uses Effect-injected randomness rather than the `crypto` module behind the scenes.    effect(cryptoRandomUUID)"
+          }
+        ]
+      }
+    },
+    {
+      name: "cryptoRandomUUIDInEffect",
+      group: "effectNative",
+      description: "Warns when using crypto.randomUUID() inside Effect generators instead of the Effect Random module, which uses Effect-injected randomness rather than the crypto module behind the scenes",
+      defaultSeverity: "off",
+      fixable: false,
+      supportedEffect: [
+        "v4"
+      ],
+      preview: {
+        sourceText: 'import { Effect } from "effect"\n\nexport const preview = Effect.gen(function*() {\n  return crypto.randomUUID()\n})\n',
+        diagnostics: [
+          {
+            start: 90,
+            end: 109,
+            text: "This Effect code uses `crypto.randomUUID()`, prefer the Effect `Random` module instead because it uses Effect-injected randomness rather than the `crypto` module behind the scenes.    effect(cryptoRandomUUIDInEffect)"
+          }
+        ]
+      }
+    },
     {
       name: "extendsNativeError",
       group: "effectNative",
@@ -40323,6 +40829,27 @@ var metadata_default = {
         ]
       }
     },
+    {
+      name: "newPromise",
+      group: "effectNative",
+      description: "Warns when constructing promises with new Promise instead of using Effect APIs",
+      defaultSeverity: "off",
+      fixable: false,
+      supportedEffect: [
+        "v3",
+        "v4"
+      ],
+      preview: {
+        sourceText: "\nexport const preview = new Promise<number>((resolve) => resolve(1))\n",
+        diagnostics: [
+          {
+            start: 24,
+            end: 68,
+            text: "This code constructs `new Promise(...)`, prefer Effect APIs such as `Effect.async`, `Effect.promise`, or `Effect.tryPromise` instead of manual Promise construction.    effect(newPromise)"
+          }
+        ]
+      }
+    },
     {
       name: "nodeBuiltinImport",
       group: "effectNative",
@@ -40371,6 +40898,48 @@ export const preview = Effect.gen(function*() {
         ]
       }
     },
+    {
+      name: "processEnv",
+      group: "effectNative",
+      description: "Warns when reading process.env outside Effect generators instead of using Effect Config",
+      defaultSeverity: "off",
+      fixable: false,
+      supportedEffect: [
+        "v3",
+        "v4"
+      ],
+      preview: {
+        sourceText: '/// <reference types="node" />\n\nexport const preview = process.env.PORT\n',
+        diagnostics: [
+          {
+            start: 55,
+            end: 71,
+            text: "This code reads from `process.env`, environment configuration is represented through `Config` from Effect.    effect(processEnv)"
+          }
+        ]
+      }
+    },
+    {
+      name: "processEnvInEffect",
+      group: "effectNative",
+      description: "Warns when reading process.env inside Effect generators instead of using Effect Config",
+      defaultSeverity: "off",
+      fixable: false,
+      supportedEffect: [
+        "v3",
+        "v4"
+      ],
+      preview: {
+        sourceText: '/// <reference types="node" />\nimport { Effect } from "effect"\n\nexport const preview = Effect.gen(function*() {\n  return process.env.PORT\n})\n',
+        diagnostics: [
+          {
+            start: 121,
+            end: 137,
+            text: "This Effect code reads from `process.env`, environment configuration in Effect code is represented through `Config` from Effect.    effect(processEnvInEffect)"
+          }
+        ]
+      }
+    },
     {
       name: "catchAllToMapError",
       group: "style",
@@ -40413,6 +40982,27 @@ export const preview = Effect.gen(function*() {
         ]
       }
     },
+    {
+      name: "effectDoNotation",
+      group: "style",
+      description: "Suggests using Effect.gen or Effect.fn instead of the Effect.Do notation helpers",
+      defaultSeverity: "off",
+      fixable: false,
+      supportedEffect: [
+        "v3",
+        "v4"
+      ],
+      preview: {
+        sourceText: 'import { Effect } from "effect"\nimport { pipe } from "effect/Function"\n\nexport const preview = pipe(\n  Effect.Do,\n  Effect.bind("a", () => Effect.succeed(1)),\n  Effect.let("b", ({ a }) => a + 1),\n  Effect.bind("c", ({ b }) => Effect.succeed(b.toString()))\n)\n',
+        diagnostics: [
+          {
+            start: 103,
+            end: 112,
+            text: "This uses the Effect do emulation. `Effect.gen` or `Effect.fn` achieve the same result with native JS scopes.    effect(effectDoNotation)"
+          }
+        ]
+      }
+    },
     {
       name: "effectFnOpportunity",
       group: "style",
@@ -40434,6 +41024,27 @@ export const preview = Effect.gen(function*() {
         ]
       }
     },
+    {
+      name: "effectMapFlatten",
+      group: "style",
+      description: "Suggests using Effect.flatMap instead of Effect.map followed by Effect.flatten in piping flows",
+      defaultSeverity: "suggestion",
+      fixable: false,
+      supportedEffect: [
+        "v3",
+        "v4"
+      ],
+      preview: {
+        sourceText: 'import { Effect } from "effect"\n\nexport const preview = Effect.succeed(1).pipe(\n  Effect.map((n) => Effect.succeed(n + 1)),\n  Effect.flatten\n)\n',
+        diagnostics: [
+          {
+            start: 126,
+            end: 140,
+            text: "`Effect.map` + `Effect.flatten` is the same as `Effect.flatMap` that expresses the same steps more directly.    effect(effectMapFlatten)"
+          }
+        ]
+      }
+    },
     {
       name: "effectMapVoid",
       group: "style",
@@ -40538,6 +41149,27 @@ export const preview = Effect.gen(function*() {
         ]
       }
     },
+    {
+      name: "nestedEffectGenYield",
+      group: "style",
+      description: "Warns when yielding a nested bare Effect.gen inside an existing Effect generator context",
+      defaultSeverity: "off",
+      fixable: false,
+      supportedEffect: [
+        "v3",
+        "v4"
+      ],
+      preview: {
+        sourceText: 'import { Effect } from "effect"\n\nexport const preview = Effect.gen(function*() {\n  yield* Effect.gen(function*() {\n    return 1\n  })\n})\n',
+        diagnostics: [
+          {
+            start: 90,
+            end: 132,
+            text: "This `yield*` is applied to a nested `Effect.gen(...)` that can be inlined in the parent Effect generator context.    effect(nestedEffectGenYield)"
+          }
+        ]
+      }
+    },
     {
       name: "redundantSchemaTagIdentifier",
       group: "style",
@@ -40646,6 +41278,27 @@ export const preview = Effect.gen(function*() {
         ]
       }
     },
+    {
+      name: "unnecessaryArrowBlock",
+      group: "style",
+      description: "Suggests using a concise arrow body when the block only returns an expression",
+      defaultSeverity: "off",
+      fixable: true,
+      supportedEffect: [
+        "v3",
+        "v4"
+      ],
+      preview: {
+        sourceText: "export const preview = (value: string) => {\n  return value.trim()\n}\n",
+        diagnostics: [
+          {
+            start: 42,
+            end: 67,
+            text: "This arrow function block only returns an expression and can use a concise body.    effect(unnecessaryArrowBlock)"
+          }
+        ]
+      }
+    },
     {
       name: "unnecessaryEffectGen",
       group: "style",
@@ -42428,6 +43081,7 @@ function collectExportedItems(sourceFile, tsInstance, typeChecker, maxSymbolDept
       const declaration = declarations && declarations.length > 0 ? declarations[0] : sourceFile;
       const contextTagResult = yield* pipe(
         typeParser.contextTag(type, declaration),
+        orElse5(() => typeParser.serviceType(type, declaration)),
         option4
       );
       if (isSome2(contextTagResult)) {