@effect/language-service 0.84.2 → 0.85.0

package/cli.js

@@ -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.2",
+  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 {
 };
@@ -29024,6 +29037,14 @@ function make26(ts, tsUtils, typeChecker, typeCheckerUtils, program) {
     ),
     ([A, E, R]) => ({ A, E, R })
   );
+  const streamVarianceStruct = (type, atLocation) => map12(
+    all3(
+      varianceStructCovariantType(type, atLocation, "_A"),
+      varianceStructCovariantType(type, atLocation, "_E"),
+      varianceStructCovariantType(type, atLocation, "_R")
+    ),
+    ([A, E, R]) => ({ A, E, R })
+  );
   const layerVarianceStruct = (type, atLocation) => map12(
     all3(
       varianceStructContravariantType(type, atLocation, "_ROut"),
@@ -29070,6 +29091,21 @@ function make26(ts, tsUtils, typeChecker, typeCheckerUtils, program) {
     "TypeParser.strictEffectType",
     (type) => type
   );
+  const streamType = cachedBy(
+    fn3("TypeParser.streamType")(function* (type, atLocation) {
+      if (supportedEffect() === "v3") {
+        return yield* effectType(type, atLocation);
+      }
+      const typeIdSymbol = typeChecker.getPropertyOfType(type, "~effect/Stream");
+      if (!typeIdSymbol) {
+        return yield* typeParserIssue("Type is not a stream", type, atLocation);
+      }
+      const typeIdType = typeChecker.getTypeOfSymbolAtLocation(typeIdSymbol, atLocation);
+      return yield* streamVarianceStruct(typeIdType, atLocation);
+    }),
+    "TypeParser.streamType",
+    (type) => type
+  );
   const isEffectTypeSourceFile = cachedBy(
     fn3("TypeParser.isEffectTypeSourceFile")(function* (sourceFile) {
       const moduleSymbol = typeChecker.getSymbolAtLocation(sourceFile);
@@ -29641,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
@@ -29808,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) {
@@ -30805,6 +30854,7 @@ function make26(ts, tsUtils, typeChecker, typeCheckerUtils, program) {
     isServiceMapTypeSourceFile,
     isNodeReferenceToServiceMapModuleApi,
     effectType,
+    streamType,
     strictEffectType,
     layerType,
     fiberType,
@@ -30826,6 +30876,7 @@ function make26(ts, tsUtils, typeChecker, typeCheckerUtils, program) {
     singleArgCall,
     scopeType,
     promiseLike,
+    promiseType,
     extendsEffectTag,
     extendsEffectService,
     extendsServiceMapService,
@@ -33409,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",
@@ -33487,7 +33569,7 @@ var catchAllToMapError = createDiagnostic({
         const { failArg, failCall } = failCallInfo;
         report({
           location: transformation.callee,
-          messageText: `You can use Effect.mapError instead of Effect.${catchAllName} + Effect.fail to transform the error type.`,
+          messageText: `\`Effect.mapError\` expresses the same error-type transformation more directly than \`Effect.${catchAllName}\` followed by \`Effect.fail\`.`,
           fixes: [{
             fixName: "catchAllToMapError_fix",
             description: "Replace with Effect.mapError",
@@ -33551,7 +33633,7 @@ var catchUnfailableEffect = createDiagnostic({
           if (E.flags & ts.TypeFlags.Never) {
             report({
               location: transformation.callee,
-              messageText: `Looks like the previous effect never fails, so probably this error handling will never be triggered.`,
+              messageText: "The previous Effect does not fail, so this error-handling branch will never run.",
               fixes: []
             });
           }
@@ -33614,7 +33696,7 @@ var classSelfMismatch = createDiagnostic({
           if (actualName !== expectedName) {
             report({
               location: selfTypeNode,
-              messageText: `Self type parameter should be '${expectedName}'`,
+              messageText: `The \`Self\` type parameter for this class should be \`${expectedName}\`.`,
               fixes: [{
                 fixName: "classSelfMismatch_fix",
                 description: `Replace '${actualName}' with '${expectedName}'`,
@@ -33637,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) {
@@ -33804,7 +33939,7 @@ var deterministicKeys = createDiagnostic({
           if (actualIdentifier !== expectedKey) {
             report({
               location: keyStringLiteral,
-              messageText: `Key should be '${expectedKey}'`,
+              messageText: `This key does not match the deterministic key for this declaration. The expected key is \`${expectedKey}\`.`,
               fixes: [{
                 fixName: "deterministicKeys_fix",
                 description: `Replace '${actualIdentifier}' with '${expectedKey}'`,
@@ -33843,9 +33978,8 @@ var duplicatePackage = createDiagnostic({
         const versions = Object.keys(resolvedPackages[packageName]);
         report({
           location: sourceFile.statements[0],
-          messageText: `Package ${packageName} is referenced multiple times with different versions (${versions.join(", ")}) and may cause unexpected type errors.
-Cleanup your dependencies and your package lockfile to avoid multiple instances of this package and reload the project.
-If this is intended set the LSP config "allowedDuplicatedPackages" to ${JSON.stringify(options.allowedDuplicatedPackages.concat([packageName]))}.
+          messageText: `Multiple versions of package \`${packageName}\` were detected: ${versions.join(", ")}. Package duplication can change runtime identity and type equality across Effect modules.
+If this is intentional, set the LSP config \`allowedDuplicatedPackages\` to ${JSON.stringify(options.allowedDuplicatedPackages.concat([packageName]))}.
 
 ${versions.map((version2) => `- found ${version2} at ${resolvedPackages[packageName][version2]}`).join("\n")}`,
           fixes: []
@@ -33855,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",
@@ -33953,7 +34121,7 @@ var effectFnIife = createDiagnostic({
       const traceExpressionText = traceExpression ? sourceFile.text.slice(traceExpression.pos, traceExpression.end) : void 0;
       report({
         location: node,
-        messageText: `${effectModuleName}.${kind} returns a reusable function that can take arguments, but here it's called immediately. Use Effect.gen instead${traceExpressionText ? ` with Effect.withSpan(${traceExpressionText}) piped in the end to mantain tracing spans` : ``}.`,
+        messageText: `\`${effectModuleName}.${kind}\` returns a reusable function that can take arguments, but it is invoked immediately here. \`Effect.gen\` represents the immediate-use form for this pattern${traceExpressionText ? ` with \`Effect.withSpan(${traceExpressionText})\` piped at the end to maintain tracing spans` : ``}.`,
         fixes
       });
     }
@@ -34038,7 +34206,7 @@ var effectFnImplicitAny = createDiagnostic({
         const parameterName = getParameterName(ts, parameter.name);
         report({
           location: parameter.name,
-          messageText: `Parameter '${parameterName}' implicitly has an 'any' type in Effect.fn/Effect.fnUntraced. Add an explicit type annotation or provide a contextual function type.`,
+          messageText: `Parameter \`${parameterName}\` implicitly has type \`any\` in \`Effect.fn\`, \`Effect.fnUntraced\`, or \`Effect.fnUntracedEager\`. No parameter type is available from an explicit annotation or contextual function type.`,
           fixes: []
         });
       }
@@ -34634,7 +34802,7 @@ var effectFnOpportunity = createDiagnostic({
       const expectedSignature = generateExpectedSignature();
       report({
         location: nameIdentifier ?? targetNode,
-        messageText: `Can be rewritten as a reusable function: ${expectedSignature}`,
+        messageText: `This expression can be rewritten in the reusable function form \`${expectedSignature}\`.`,
         fixes
       });
     }
@@ -34801,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",
@@ -34846,7 +35051,7 @@ var effectMapVoid = createDiagnostic({
           if (isNone2(match9)) continue;
           report({
             location: node.expression,
-            messageText: "Effect.asVoid can be used instead to discard the success value",
+            messageText: "This expression discards the success value through mapping. `Effect.asVoid` represents that form directly.",
             fixes: [{
               fixName: "effectMapVoid_fix",
               description: "Replace with Effect.asVoid",
@@ -34901,7 +35106,7 @@ var effectSucceedWithVoid = createDiagnostic({
           if (!tsUtils.isVoidExpression(argument)) continue;
           report({
             location: node,
-            messageText: "Effect.void can be used instead of Effect.succeed(undefined) or Effect.succeed(void 0)",
+            messageText: "`Effect.void` represents the same outcome as `Effect.succeed(undefined)` or `Effect.succeed(void 0)`.",
             fixes: [{
               fixName: "effectSucceedWithVoid_fix",
               description: "Replace with Effect.void",
@@ -34963,7 +35168,7 @@ var extendsNativeError = createDiagnostic({
             if (isNativeError) {
               report({
                 location: node.name ?? typeExpression,
-                messageText: "Avoid extending the native 'Error' class directly. Consider using a tagged error (e.g. Data.TaggedError) to maintain type safety in the Effect failure channel.",
+                messageText: "This class extends the native `Error` type directly. Untagged native errors lose distinction in the Effect failure channel.",
                 fixes: []
               });
             }
@@ -35008,7 +35213,12 @@ var floatingEffect = createDiagnostic({
       if (!isFloatingExpression(node)) continue;
       const type = typeCheckerUtils.getTypeAtLocation(node.expression);
       if (!type) continue;
-      const effect2 = yield* option4(typeParser.effectType(type, node.expression));
+      const effect2 = yield* option4(
+        pipe(
+          typeParser.effectType(type, node.expression),
+          orElse5(() => typeParser.streamType(type, node.expression))
+        )
+      );
       if (isSome2(effect2)) {
         const allowedFloatingEffects = yield* pipe(
           typeParser.fiberType(type, node.expression),
@@ -35017,10 +35227,9 @@ var floatingEffect = createDiagnostic({
         );
         if (isNone2(allowedFloatingEffects)) {
           const isStrictEffect = yield* option4(typeParser.strictEffectType(type, node.expression));
-          const name = isSome2(isStrictEffect) ? "Effect" : "Effect-able " + typeChecker.typeToString(type);
           report({
             location: node,
-            messageText: `${name} must be yielded or assigned to a variable.`,
+            messageText: isSome2(isStrictEffect) ? "This Effect value is neither yielded nor used in an assignment." : `This Effect-able \`${typeChecker.typeToString(type)}\` value is neither yielded nor assigned to a variable.`,
             fixes: []
           });
         }
@@ -35064,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,
@@ -35115,7 +35325,7 @@ var makeGlobalConsoleApply = (checkInEffect) => fn3(`globalConsole${checkInEffec
     if (inEffect !== checkInEffect) continue;
     report({
       location: node,
-      messageText: checkInEffect ? `Prefer using ${alternative} instead of console.${method} inside Effect generators.` : `Prefer using ${alternative} instead of console.${method}.`,
+      messageText: checkInEffect ? `This Effect code uses \`console.${method}\`, logging in Effect code is represented through \`${alternative}\`.` : `This code uses \`console.${method}\`, the corresponding Effect logging API is \`${alternative}\`.`,
       fixes: []
     });
   }
@@ -35164,10 +35374,10 @@ var makeGlobalDateApply = (checkInEffect) => fn3(`globalDate${checkInEffect ? "I
     let objectNode;
     if (ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression) && ts.idText(node.expression.name) === "now") {
       objectNode = node.expression.expression;
-      messageText = checkInEffect ? "Prefer using Clock or DateTime from Effect instead of Date.now() inside Effect generators." : "Prefer using Clock or DateTime from Effect instead of Date.now().";
+      messageText = checkInEffect ? "This Effect code uses `Date.now()`, time access in Effect code is represented through `Clock` from Effect." : "This code uses `Date.now()`, time access is represented through `Clock` from Effect.";
     } else if (ts.isNewExpression(node)) {
       objectNode = node.expression;
-      messageText = checkInEffect ? "Prefer using DateTime from Effect instead of new Date() inside Effect generators." : "Prefer using DateTime from Effect instead of new Date().";
+      messageText = checkInEffect ? "This Effect code constructs `new Date()`, date values in Effect code are represented through `DateTime` from Effect." : "This code constructs `new Date()`, date values are represented through `DateTime` from Effect.";
     }
     if (!messageText || !objectNode) continue;
     const symbol4 = typeChecker.getSymbolAtLocation(objectNode);
@@ -35250,7 +35460,7 @@ var globalErrorInEffectCatch = createDiagnostic({
                     );
                     report({
                       location: node.expression,
-                      messageText: `The 'catch' callback in ${nodeText} returns global 'Error', which loses type safety as untagged errors merge together. Consider using a tagged error and optionally wrapping the original in a 'cause' property.`,
+                      messageText: `The \`catch\` callback in \`${nodeText}\` returns the global \`Error\` type. Untagged errors merge together in the Effect error channel and lose type-level distinction; a tagged error preserves that distinction and can wrap the original error in a \`cause\` property.`,
                       fixes: []
                     });
                   }
@@ -35330,7 +35540,7 @@ var makeGlobalFetchApply = (checkInEffect) => fn3(`globalFetch${checkInEffect ?
   if (!fetchSymbol) return;
   const effectVersion = typeParser.supportedEffect();
   const packageName = effectVersion === "v3" ? "@effect/platform" : "effect/unstable/http";
-  const messageText = checkInEffect ? `Prefer using HttpClient from ${packageName} instead of the global 'fetch' function inside Effect generators.` : `Prefer using HttpClient from ${packageName} instead of the global 'fetch' function.`;
+  const messageText = checkInEffect ? `This Effect code calls the global \`fetch\` function, HTTP requests in Effect code are represented through \`HttpClient\` from \`${packageName}\`.` : `This code uses the global \`fetch\` function, HTTP requests are represented through \`HttpClient\` from \`${packageName}\`.`;
   const nodeToVisit = [];
   const appendNodeToVisit = (node) => {
     nodeToVisit.push(node);
@@ -35403,7 +35613,7 @@ var makeGlobalRandomApply = (checkInEffect) => fn3(`globalRandom${checkInEffect
     if (inEffect !== checkInEffect) continue;
     report({
       location: node,
-      messageText: checkInEffect ? "Prefer using the Random service from Effect instead of Math.random() inside Effect generators." : "Prefer using the Random service from Effect instead of Math.random().",
+      messageText: checkInEffect ? "This Effect code uses `Math.random()`, randomness is represented through the Effect `Random` service." : "This code uses `Math.random()`, randomness is represented through the Effect `Random` service.",
       fixes: []
     });
   }
@@ -35434,12 +35644,12 @@ var globalRandom = createDiagnostic({
 // src/diagnostics/globalTimersInEffect.ts
 var timerAlternatives = {
   "setTimeout": {
-    inEffect: "Prefer using Effect.sleep or Schedule from Effect instead of setTimeout inside Effect generators.",
-    outsideEffect: "Prefer using Effect.sleep or Schedule from Effect instead of setTimeout."
+    inEffect: "This Effect code uses `setTimeout`, the corresponding timer API in this context is `Effect.sleep or Schedule` from Effect.",
+    outsideEffect: "This code uses `setTimeout`, the corresponding Effect timer API is `Effect.sleep or Schedule` from Effect."
   },
   "setInterval": {
-    inEffect: "Prefer using Schedule or Effect.repeat from Effect instead of setInterval inside Effect generators.",
-    outsideEffect: "Prefer using Schedule or Effect.repeat from Effect instead of setInterval."
+    inEffect: "This Effect code uses `setInterval`, the corresponding timer API in this context is `Schedule or Effect.repeat` from Effect.",
+    outsideEffect: "This code uses `setInterval`, the corresponding Effect timer API is `Schedule or Effect.repeat` from Effect."
   }
 };
 var makeGlobalTimersApply = (checkInEffect) => fn3(`globalTimers${checkInEffect ? "InEffect" : ""}.apply`)(function* (sourceFile, report) {
@@ -35681,7 +35891,7 @@ var instanceOfSchema = createDiagnostic({
         if (isSchemaType._tag === "Some") {
           report({
             location: node,
-            messageText: "Consider using Schema.is instead of instanceof for Effect Schema types.",
+            messageText: "This code uses `instanceof` with an Effect Schema type. `Schema.is` is the schema-aware runtime check for this case.",
             fixes: [{
               fixName: "instanceOfSchema_fix",
               description: "Replace with Schema.is",
@@ -35827,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",
@@ -35951,7 +36210,7 @@ var leakingRequirements = createDiagnostic({
         location: node,
         messageText: `Methods of this Service require \`${requirementsStr}\` from every caller.
 
-This leaks implementation details into the service's public type \u2014 callers shouldn't need to know *how* the service works internally, only *what* it provides.
+The requirement becomes part of the public service surface instead of remaining internal to Layer implementation.
 
 Resolve these dependencies at Layer creation and provide them to each method, so the service's type reflects its purpose, not its implementation.
 
@@ -36148,7 +36407,7 @@ var missedPipeableOpportunity = createDiagnostic({
           ).trim() : "";
           report({
             location: flow2.node,
-            messageText: `Nested function calls can be converted to pipeable style for better readability; consider using ${subjectText}.pipe(...) instead.`,
+            messageText: `This nested call structure has a pipeable form. \`${subjectText}.pipe(...)\` represents the same call sequence in pipe style and may be easier to read.`,
             fixes: [{
               fixName: "missedPipeableOpportunity_fix",
               description: "Convert to pipe style",
@@ -36229,7 +36488,7 @@ var missingEffectContext = createDiagnostic({
             (missingTypes) => missingTypes.length > 0 ? report(
               {
                 location: node,
-                messageText: `Missing '${sortTypes(missingTypes).map((_) => typeChecker.typeToString(_)).join(" | ")}' in the expected Effect context.`,
+                messageText: `This Effect requires a service that is missing from the expected Effect context: \`${sortTypes(missingTypes).map((_) => typeChecker.typeToString(_)).join(" | ")}\`.`,
                 fixes: []
               }
             ) : void 0
@@ -36580,7 +36839,7 @@ var missingReturnYieldStar = createDiagnostic({
       }];
       report({
         location: unwrapped,
-        messageText: `It is recommended to use return yield* for Effects that never succeed to signal a definitive exit point for type narrowing and tooling support.`,
+        messageText: "This Effect never succeeds; using `return yield*` preserves a definitive generator exit point for type narrowing and tooling support.",
         fixes: fix
       });
     }
@@ -36636,7 +36895,7 @@ var missingStarInYieldEffectGen = createDiagnostic({
     brokenGenerators.forEach(
       (pos) => report({
         location: { pos, end: pos + "function".length },
-        messageText: `Seems like you used yield instead of yield* inside this Effect.gen.`,
+        messageText: "This uses `yield` for an `Effect` value. `yield*` is the Effect-aware form in this context.",
         fixes: []
       })
     );
@@ -36658,7 +36917,7 @@ var missingStarInYieldEffectGen = createDiagnostic({
       }] : [];
       report({
         location: node,
-        messageText: `When yielding Effects inside Effect.gen, you should use yield* instead of yield.`,
+        messageText: "This uses `yield` for an `Effect` value. `yield*` is the Effect-aware form in this context.",
         fixes: fix
       });
     });
@@ -36726,7 +36985,7 @@ var multipleEffectProvide = createDiagnostic({
         if (chunk.length < 2) continue;
         report({
           location: chunk[0].node,
-          messageText: "Avoid chaining Effect.provide calls, as this can lead to service lifecycle issues. Instead, merge layers and provide them in a single call.",
+          messageText: "This expression chains multiple `Effect.provide` calls. Providing Layers in multiple calls in a chain can break service lifecycle behavior compared with a single combined provide with merged layers.",
           fixes: [{
             fixName: "multipleEffectProvide_fix",
             description: "Combine into a single provide",
@@ -36760,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" }],
@@ -36816,7 +37143,7 @@ var nodeBuiltinImport = createDiagnostic({
         if (match9) {
           report({
             location: statement.moduleSpecifier,
-            messageText: `Prefer using ${match9.alternative} from ${match9.package} instead of the Node.js '${match9.module}' module.`,
+            messageText: `This module reference uses the \`${match9.module}\` module, the corresponding Effect API is \`${match9.alternative}\` from \`${match9.package}\`.`,
             fixes: []
           });
         }
@@ -36829,7 +37156,7 @@ var nodeBuiltinImport = createDiagnostic({
             if (match9) {
               report({
                 location: arg,
-                messageText: `Prefer using ${match9.alternative} from ${match9.package} instead of the Node.js '${match9.module}' module.`,
+                messageText: `This module reference uses the \`${match9.module}\` module, the corresponding Effect API is \`${match9.alternative}\` from \`${match9.package}\`.`,
                 fixes: []
               });
             }
@@ -36883,7 +37210,7 @@ var nonObjectEffectServiceType = createDiagnostic({
             const propertyValue = property.initializer;
             const errorToReport = {
               location: property.name,
-              messageText: "Effect.Service requires the service type to be an object {} and not a primitive type. \nConsider wrapping the value in an object, or manually using Context.Tag or Effect.Tag if you want to use a primitive instead.",
+              messageText: "`Effect.Service` is declared with a primitive service type. `Effect.Service` models object-shaped services; primitive values use `Context.Tag` or `Effect.Tag` directly.",
               fixes: []
             };
             if (propertyName === "succeed") {
@@ -37103,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"),
@@ -37122,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."
   ),
@@ -37645,7 +37972,7 @@ var outdatedApi = createDiagnostic({
       hasReported = true;
       report({
         location: propertyAccess.name,
-        messageText: `${propertyName} is an Effect v3 API, but the project is using Effect v4.`,
+        messageText: `This project targets Effect v4, but this code uses the Effect v3 API \`${propertyName}\`. The referenced API belongs to the v3 surface rather than the configured v4 surface.`,
         fixes: []
       });
     }
@@ -37688,7 +38015,7 @@ var outdatedApi = createDiagnostic({
     if (hasReported) {
       report({
         location: { pos: 0, end: 0 },
-        messageText: "This project targets Effect v4, but is using Effect v3 APIs. To find the correct API to use, clone and consult the github.com/effect-ts/effect-smol repository for the corresponding v4 replacement.",
+        messageText: "This project targets Effect v4, but this code uses Effect v3 APIs. The referenced API belongs to the v3 surface rather than the configured v4 surface.",
         fixes: []
       });
     }
@@ -37864,7 +38191,7 @@ var overriddenSchemaConstructor = createDiagnostic({
               };
               report({
                 location: member,
-                messageText: "Classes extending Schema must not override the constructor; this is because it silently breaks the schema decoding behaviour. If that's needed, we recommend instead to use a static 'new' method that constructs the instance.",
+                messageText: "This Schema subclass defines its own constructor. For Schema classes, constructor overrides break decoding behavior for the class shape. Custom construction can be expressed through a static `new` method instead.",
                 fixes: (member.body ? [fixAsStaticNew] : []).concat([{
                   fixName: "overriddenSchemaConstructor_fix",
                   description: "Remove the constructor override",
@@ -37986,7 +38313,7 @@ var preferSchemaOverJson = createDiagnostic({
       if (isSome2(match9)) {
         report({
           location: match9.value,
-          messageText: "Consider using Effect Schema for JSON operations instead of JSON.parse/JSON.stringify",
+          messageText: "This code uses `JSON.parse` or `JSON.stringify`. Effect Schema provides Effect-aware APIs for JSON parsing and stringifying.",
           fixes: []
         });
       }
@@ -37994,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",
@@ -38104,9 +38488,7 @@ var returnEffectInGen = createDiagnostic({
                 }] : [];
                 report({
                   location: node,
-                  messageText: `You are returning an Effect-able type inside a generator function, and will result in nested Effect<Effect<...>>.
-Maybe you wanted to return yield* instead?
-Nested Effect-able types may be intended if you plan to later manually flatten or unwrap this Effect, if so you can safely disable this diagnostic for this line through quickfixes.`,
+                  messageText: "This generator returns an Effect-able value directly, which produces a nested `Effect<Effect<...>>`. If the intended result is the inner Effect value, `return yield*` represents that form.",
                   fixes: fix
                 });
               }),
@@ -38261,9 +38643,7 @@ var runEffectInsideEffect = createDiagnostic({
             );
           });
           const v4MethodName = `${isEffectRunCall.value.methodName}With`;
-          const messageText = supportedEffect === "v4" ? `Using ${nodeText} inside an Effect is not recommended. The same services should generally be used instead to run child effects.
-Consider extracting the current services by using for example Effect.services and then use Effect.${v4MethodName} with the extracted services instead.` : `Using ${nodeText} inside an Effect is not recommended. The same runtime should generally be used instead to run child effects.
-Consider extracting the Runtime by using for example Effect.runtime and then use Runtime.${isEffectRunCall.value.methodName} with the extracted runtime instead.`;
+          const messageText = supportedEffect === "v4" ? `\`${nodeText}\` is called inside an Effect with a separate services invocation. In this context, child Effects run with the surrounding services, which can be accessed through \`Effect.services\` and \`Effect.${v4MethodName}\`.` : `\`${nodeText}\` is called inside an Effect with a separate runtime invocation. In this context, run child Effects with the surrounding runtime, which can be accessed through \`Effect.runtime\` and \`Runtime.${isEffectRunCall.value.methodName}\`.`;
           report({
             location: node.expression,
             messageText,
@@ -38276,7 +38656,7 @@ Consider extracting the Runtime by using for example Effect.runtime and then use
         } else {
           report({
             location: node.expression,
-            messageText: `Using ${nodeText} inside an Effect is not recommended. Effects inside generators can usually just be yielded.`,
+            messageText: `\`${nodeText}\` is called inside an existing Effect context. Here, the inner Effect can be used directly.`,
             fixes: []
           });
         }
@@ -38331,7 +38711,7 @@ var schemaStructWithTag = createDiagnostic({
                   const otherProperties = arg.properties.filter((prop) => prop !== tagProperty);
                   report({
                     location: node,
-                    messageText: "Schema.Struct with a _tag field can be simplified to Schema.TaggedStruct to make the tag optional in the constructor.",
+                    messageText: "This `Schema.Struct` includes a `_tag` field. `Schema.TaggedStruct` is the tagged-struct form for this pattern and makes the tag optional in the constructor.",
                     fixes: [{
                       fixName: "schemaStructWithTag_fix",
                       description: "Replace with Schema.TaggedStruct",
@@ -38424,7 +38804,7 @@ var schemaSyncInEffect = createDiagnostic({
       const effectMethodName = syncToEffectMethod[isSchemaSyncCall.value.methodName];
       report({
         location: node.expression,
-        messageText: `Using ${nodeText} inside an Effect generator is not recommended. Use Schema.${effectMethodName} instead to get properly typed error channel.`,
+        messageText: `\`${nodeText}\` is used inside an Effect generator. \`Schema.${effectMethodName}\` preserves the typed Effect error channel for this operation without throwing.`,
         fixes: []
       });
     }
@@ -38484,7 +38864,7 @@ var schemaUnionOfLiterals = createDiagnostic({
                 const schemaLiteralExpression = firstLiteralCall.expression;
                 report({
                   location: node,
-                  messageText: "A Schema.Union of multiple Schema.Literal calls can be simplified to a single Schema.Literal call.",
+                  messageText: "This `Schema.Union` contains multiple `Schema.Literal` members and can be simplified to a single `Schema.Literal` call.",
                   fixes: [{
                     fixName: "schemaUnionOfLiterals_fix",
                     description: "Replace with a single Schema.Literal call",
@@ -38547,8 +38927,7 @@ var scopeInLayerEffect = createDiagnostic({
         map12(
           () => report({
             location: node,
-            messageText: `Seems like you are constructing a layer with a scope in the requirements.
-Consider using "scoped" instead to get rid of the scope in the requirements.`,
+            messageText: "This layer construction leaves `Scope` in the requirement set. The scoped API removes `Scope` from the resulting requirements.",
             fixes: methodIdentifier ? [{
               fixName: "scopeInLayerEffect_scoped",
               description: "Use scoped for Layer creation",
@@ -38648,7 +39027,7 @@ var serviceNotAsClass = createDiagnostic({
       const shapeText = typeArgs.length > 0 ? typeArgs.map((t) => sourceFile.text.substring(ts.getTokenPosOfNode(t, sourceFile), t.end)).join(", ") : "Shape";
       report({
         location: callExpr,
-        messageText: `ServiceMap.Service should be used in a class declaration instead of as a variable. Use: class ${variableName} extends ServiceMap.Service<${variableName}, ${shapeText}>()("${argsText.replace(/['"]/g, "")}") {}`,
+        messageText: `\`ServiceMap.Service\` is assigned to a variable here, but this API is intended for a class declaration shape such as \`class ${variableName} extends ServiceMap.Service<${variableName}, ${shapeText}>()("${argsText.replace(/['"]/g, "")}") {}\`.`,
         fixes: [{
           fixName: "serviceNotAsClass",
           description: `Convert to class declaration`,
@@ -38861,7 +39240,7 @@ var tryCatchInEffectGen = createDiagnostic({
             map12(() => {
               report({
                 location: node,
-                messageText: `Avoid using try/catch inside Effect generators. Use Effect's error handling mechanisms instead (e.g. ${alternatives.join(", ")}).`,
+                messageText: `This Effect generator contains \`try/catch\`; in this context, error handling is expressed with Effect APIs such as ${alternatives.join(", ")}).`,
                 fixes: []
               });
             }),
@@ -38922,8 +39301,7 @@ var unknownInEffectCatch = createDiagnostic({
                     );
                     report({
                       location: node.expression,
-                      messageText: `The 'catch' callback in ${nodeText} returns 'unknown'. The catch callback should be used to provide typed errors.
-Consider wrapping unknown errors into Effect's Data.TaggedError for example, or narrow down the type to the specific error raised.`,
+                      messageText: `The \`catch\` callback in \`${nodeText}\` returns \`unknown\`, so the Effect error type stays untyped. A specific typed error preserves error-channel information, for example by narrowing the value or wrapping it in \`Data.TaggedError\`.`,
                       fixes: []
                     });
                   }
@@ -38937,6 +39315,56 @@ Consider wrapping unknown errors into Effect's Data.TaggedError for example, or
   })
 });
 
+// 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",
@@ -39020,7 +39448,7 @@ var unnecessaryFailYieldableError = createDiagnostic({
                 map12(
                   () => report({
                     location: node,
-                    messageText: `This Effect.fail call uses a yieldable error type as argument. You can yield* the error directly instead.`,
+                    messageText: "This `yield* Effect.fail(...)` passes a yieldable error value. `yield*` represents that value directly without wrapping it in `Effect.fail`.",
                     fixes: [{
                       fixName: "unnecessaryFailYieldableError_fix",
                       description: "Replace yield* Effect.fail with yield*",
@@ -39125,7 +39553,7 @@ var unnecessaryPipeChain = createDiagnostic({
           map12(({ innerCall, pipeCall }) => {
             report({
               location: node,
-              messageText: `Chained pipe calls can be simplified to a single pipe call`,
+              messageText: "This expression contains chained `pipe` calls that can be simplified to a single `pipe` call.",
               fixes: [{
                 fixName: "unnecessaryPipeChain_fix",
                 description: "Rewrite as single pipe call",
@@ -39237,12 +39665,17 @@ var unsupportedServiceAccessors = createDiagnostic({
 var diagnostics = [
   outdatedApi,
   anyUnknownInErrorContext,
+  asyncFunction,
   instanceOfSchema,
   catchAllToMapError,
   catchUnfailableEffect,
   classSelfMismatch,
+  cryptoRandomUUID,
+  cryptoRandomUUIDInEffect,
   duplicatePackage,
+  effectDoNotation,
   effectFnImplicitAny,
+  effectMapFlatten,
   effectGenUsesAdapter,
   missingEffectContext,
   missingEffectError,
@@ -39251,6 +39684,8 @@ var diagnostics = [
   floatingEffect,
   effectInFailure,
   missingStarInYieldEffectGen,
+  newPromise,
+  lazyPromiseInEffectSync,
   unnecessaryEffectGen,
   unnecessaryFailYieldableError,
   missingReturnYieldStar,
@@ -39259,6 +39694,8 @@ var diagnostics = [
   genericEffectServices,
   globalFetch,
   globalFetchInEffect,
+  processEnv,
+  processEnvInEffect,
   returnEffectInGen,
   tryCatchInEffectGen,
   importFromBarrel,
@@ -39276,6 +39713,8 @@ var diagnostics = [
   strictEffectProvide,
   unknownInEffectCatch,
   runEffectInsideEffect,
+  nestedEffectGenYield,
+  unnecessaryArrowBlock,
   schemaUnionOfLiterals,
   schemaStructWithTag,
   globalErrorInEffectCatch,
@@ -39330,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",
@@ -39395,7 +39840,7 @@ var metadata_default = {
           {
             start: 154,
             end: 169,
-            text: "Self type parameter should be 'InvalidContextTag'    effect(classSelfMismatch)"
+            text: "The `Self` type parameter for this class should be `InvalidContextTag`.    effect(classSelfMismatch)"
           }
         ]
       }
@@ -39431,7 +39876,7 @@ var metadata_default = {
           {
             start: 86,
             end: 91,
-            text: "Parameter 'input' implicitly has an 'any' type in Effect.fn/Effect.fnUntraced. Add an explicit type annotation or provide a contextual function type.    effect(effectFnImplicitAny)"
+            text: "Parameter `input` implicitly has type `any` in `Effect.fn`, `Effect.fnUntraced`, or `Effect.fnUntracedEager`. No parameter type is available from an explicit annotation or contextual function type.    effect(effectFnImplicitAny)"
           }
         ]
       }
@@ -39452,7 +39897,7 @@ var metadata_default = {
           {
             start: 41,
             end: 64,
-            text: "Effect must be yielded or assigned to a variable.    effect(floatingEffect)"
+            text: "This Effect value is neither yielded nor used in an assignment.    effect(floatingEffect)"
           }
         ]
       }
@@ -39494,7 +39939,7 @@ var metadata_default = {
           {
             start: 160,
             end: 167,
-            text: "Missing 'Db' in the expected Effect context.    effect(missingEffectContext)"
+            text: "This Effect requires a service that is missing from the expected Effect context: `Db`.    effect(missingEffectContext)"
           }
         ]
       }
@@ -39557,7 +40002,7 @@ var metadata_default = {
           {
             start: 121,
             end: 147,
-            text: "It is recommended to use return yield* for Effects that never succeed to signal a definitive exit point for type narrowing and tooling support.    effect(missingReturnYieldStar)"
+            text: "This Effect never succeeds; using `return yield*` preserves a definitive generator exit point for type narrowing and tooling support.    effect(missingReturnYieldStar)"
           }
         ]
       }
@@ -39578,12 +40023,12 @@ var metadata_default = {
           {
             start: 75,
             end: 83,
-            text: "Seems like you used yield instead of yield* inside this Effect.gen.    effect(missingStarInYieldEffectGen)"
+            text: "This uses `yield` for an `Effect` value. `yield*` is the Effect-aware form in this context.    effect(missingStarInYieldEffectGen)"
           },
           {
             start: 105,
             end: 128,
-            text: "When yielding Effects inside Effect.gen, you should use yield* instead of yield.    effect(missingStarInYieldEffectGen)"
+            text: "This uses `yield` for an `Effect` value. `yield*` is the Effect-aware form in this context.    effect(missingStarInYieldEffectGen)"
           }
         ]
       }
@@ -39603,7 +40048,7 @@ var metadata_default = {
           {
             start: 142,
             end: 149,
-            text: "Effect.Service requires the service type to be an object {} and not a primitive type. \nConsider wrapping the value in an object, or manually using Context.Tag or Effect.Tag if you want to use a primitive instead.    effect(nonObjectEffectServiceType)"
+            text: "`Effect.Service` is declared with a primitive service type. `Effect.Service` models object-shaped services; primitive values use `Context.Tag` or `Effect.Tag` directly.    effect(nonObjectEffectServiceType)"
           }
         ]
       }
@@ -39623,12 +40068,12 @@ var metadata_default = {
           {
             start: 0,
             end: 0,
-            text: "This project targets Effect v4, but is using Effect v3 APIs. To find the correct API to use, clone and consult the github.com/effect-ts/effect-smol repository for the corresponding v4 replacement.    effect(outdatedApi)"
+            text: "This project targets Effect v4, but this code uses Effect v3 APIs. The referenced API belongs to the v3 surface rather than the configured v4 surface.    effect(outdatedApi)"
           },
           {
             start: 126,
             end: 133,
-            text: "runtime is an Effect v3 API, but the project is using Effect v4.    effect(outdatedApi)"
+            text: "This project targets Effect v4, but this code uses the Effect v3 API `runtime`. The referenced API belongs to the v3 surface rather than the configured v4 surface.    effect(outdatedApi)"
           }
         ]
       }
@@ -39670,7 +40115,7 @@ var metadata_default = {
           {
             start: 123,
             end: 185,
-            text: "Classes extending Schema must not override the constructor; this is because it silently breaks the schema decoding behaviour. If that's needed, we recommend instead to use a static 'new' method that constructs the instance.    effect(overriddenSchemaConstructor)"
+            text: "This Schema subclass defines its own constructor. For Schema classes, constructor overrides break decoding behavior for the class shape. Custom construction can be expressed through a static `new` method instead.    effect(overriddenSchemaConstructor)"
           }
         ]
       }
@@ -39712,7 +40157,7 @@ var metadata_default = {
           {
             start: 82,
             end: 94,
-            text: "Looks like the previous effect never fails, so probably this error handling will never be triggered.    effect(catchUnfailableEffect)"
+            text: "The previous Effect does not fail, so this error-handling branch will never run.    effect(catchUnfailableEffect)"
           }
         ]
       }
@@ -39733,7 +40178,7 @@ var metadata_default = {
           {
             start: 64,
             end: 137,
-            text: `Effect.fn returns a reusable function that can take arguments, but here it's called immediately. Use Effect.gen instead with Effect.withSpan("preview") piped in the end to mantain tracing spans.    effect(effectFnIife)`
+            text: '`Effect.fn` returns a reusable function that can take arguments, but it is invoked immediately here. `Effect.gen` represents the immediate-use form for this pattern with `Effect.withSpan("preview")` piped at the end to maintain tracing spans.    effect(effectFnIife)'
           }
         ]
       }
@@ -39822,7 +40267,7 @@ var metadata_default = {
           {
             start: 56,
             end: 73,
-            text: "The 'catch' callback in Effect.tryPromise returns global 'Error', which loses type safety as untagged errors merge together. Consider using a tagged error and optionally wrapping the original in a 'cause' property.    effect(globalErrorInEffectCatch)"
+            text: "The `catch` callback in `Effect.tryPromise` returns the global `Error` type. Untagged errors merge together in the Effect error channel and lose type-level distinction; a tagged error preserves that distinction and can wrap the original error in a `cause` property.    effect(globalErrorInEffectCatch)"
           }
         ]
       }
@@ -39869,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",
@@ -39885,7 +40351,7 @@ var metadata_default = {
           {
             start: 212,
             end: 217,
-            text: "Methods of this Service require `FileSystem` from every caller.\n\nThis leaks implementation details into the service's public type \u2014 callers shouldn't need to know *how* the service works internally, only *what* it provides.\n\nResolve these dependencies at Layer creation and provide them to each method, so the service's type reflects its purpose, not its implementation.\n\nTo suppress this diagnostic for specific dependency types that are intentionally passed through (e.g., HttpServerRequest), add `@effect-leakable-service` JSDoc to their interface declarations (e.g., the `FileSystem` interface), or to this service by adding a `@effect-expect-leaking FileSystem` JSDoc.\n\nMore info and examples at https://effect.website/docs/requirements-management/layers/#avoiding-requirement-leakage    effect(leakingRequirements)"
+            text: "Methods of this Service require `FileSystem` from every caller.\n\nThe requirement becomes part of the public service surface instead of remaining internal to Layer implementation.\n\nResolve these dependencies at Layer creation and provide them to each method, so the service's type reflects its purpose, not its implementation.\n\nTo suppress this diagnostic for specific dependency types that are intentionally passed through (e.g., HttpServerRequest), add `@effect-leakable-service` JSDoc to their interface declarations (e.g., the `FileSystem` interface), or to this service by adding a `@effect-expect-leaking FileSystem` JSDoc.\n\nMore info and examples at https://effect.website/docs/requirements-management/layers/#avoiding-requirement-leakage    effect(leakingRequirements)"
           }
         ]
       }
@@ -39906,7 +40372,7 @@ var metadata_default = {
           {
             start: 348,
             end: 373,
-            text: "Avoid chaining Effect.provide calls, as this can lead to service lifecycle issues. Instead, merge layers and provide them in a single call.    effect(multipleEffectProvide)"
+            text: "This expression chains multiple `Effect.provide` calls. Providing Layers in multiple calls in a chain can break service lifecycle behavior compared with a single combined provide with merged layers.    effect(multipleEffectProvide)"
           }
         ]
       }
@@ -39927,7 +40393,7 @@ var metadata_default = {
           {
             start: 91,
             end: 115,
-            text: "You are returning an Effect-able type inside a generator function, and will result in nested Effect<Effect<...>>.\nMaybe you wanted to return yield* instead?\nNested Effect-able types may be intended if you plan to later manually flatten or unwrap this Effect, if so you can safely disable this diagnostic for this line through quickfixes.    effect(returnEffectInGen)"
+            text: "This generator returns an Effect-able value directly, which produces a nested `Effect<Effect<...>>`. If the intended result is the inner Effect value, `return yield*` represents that form.    effect(returnEffectInGen)"
           }
         ]
       }
@@ -39948,7 +40414,7 @@ var metadata_default = {
           {
             start: 101,
             end: 115,
-            text: "Using Effect.runSync inside an Effect is not recommended. The same services should generally be used instead to run child effects.\nConsider extracting the current services by using for example Effect.services and then use Effect.runSyncWith with the extracted services instead.    effect(runEffectInsideEffect)"
+            text: "`Effect.runSync` is called inside an Effect with a separate services invocation. In this context, child Effects run with the surrounding services, which can be accessed through `Effect.services` and `Effect.runSyncWith`.    effect(runEffectInsideEffect)"
           }
         ]
       }
@@ -39968,7 +40434,7 @@ var metadata_default = {
           {
             start: 276,
             end: 293,
-            text: "Using Schema.decodeSync inside an Effect generator is not recommended. Use Schema.decode instead to get properly typed error channel.    effect(schemaSyncInEffect)"
+            text: "`Schema.decodeSync` is used inside an Effect generator. `Schema.decode` preserves the typed Effect error channel for this operation without throwing.    effect(schemaSyncInEffect)"
           }
         ]
       }
@@ -39988,7 +40454,7 @@ var metadata_default = {
           {
             start: 211,
             end: 338,
-            text: 'Seems like you are constructing a layer with a scope in the requirements.\nConsider using "scoped" instead to get rid of the scope in the requirements.    effect(scopeInLayerEffect)'
+            text: "This layer construction leaves `Scope` in the requirement set. The scoped API removes `Scope` from the resulting requirements.    effect(scopeInLayerEffect)"
           }
         ]
       }
@@ -40030,7 +40496,7 @@ var metadata_default = {
           {
             start: 91,
             end: 151,
-            text: "Avoid using try/catch inside Effect generators. Use Effect's error handling mechanisms instead (e.g. Effect.try, Effect.tryPromise, Effect.catch, Effect.catchTag).    effect(tryCatchInEffectGen)"
+            text: "This Effect generator contains `try/catch`; in this context, error handling is expressed with Effect APIs such as Effect.try, Effect.tryPromise, Effect.catch, Effect.catchTag).    effect(tryCatchInEffectGen)"
           }
         ]
       }
@@ -40051,7 +40517,68 @@ var metadata_default = {
           {
             start: 56,
             end: 73,
-            text: "The 'catch' callback in Effect.tryPromise returns 'unknown'. The catch callback should be used to provide typed errors.\nConsider wrapping unknown errors into Effect's Data.TaggedError for example, or narrow down the type to the specific error raised.    effect(unknownInEffectCatch)"
+            text: "The `catch` callback in `Effect.tryPromise` returns `unknown`, so the Effect error type stays untyped. A specific typed error preserves error-channel information, for example by narrowing the value or wrapping it in `Data.TaggedError`.    effect(unknownInEffectCatch)"
+          }
+        ]
+      }
+    },
+    {
+      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)"
           }
         ]
       }
@@ -40072,7 +40599,7 @@ var metadata_default = {
           {
             start: 14,
             end: 26,
-            text: "Avoid extending the native 'Error' class directly. Consider using a tagged error (e.g. Data.TaggedError) to maintain type safety in the Effect failure channel.    effect(extendsNativeError)"
+            text: "This class extends the native `Error` type directly. Untagged native errors lose distinction in the Effect failure channel.    effect(extendsNativeError)"
           }
         ]
       }
@@ -40093,7 +40620,7 @@ var metadata_default = {
           {
             start: 1,
             end: 23,
-            text: "Prefer using Effect.log or Logger instead of console.log.    effect(globalConsole)"
+            text: "This code uses `console.log`, the corresponding Effect logging API is `Effect.log or Logger`.    effect(globalConsole)"
           }
         ]
       }
@@ -40114,7 +40641,7 @@ var metadata_default = {
           {
             start: 83,
             end: 103,
-            text: "Prefer using Effect.log or Logger instead of console.log inside Effect generators.    effect(globalConsoleInEffect)"
+            text: "This Effect code uses `console.log`, logging in Effect code is represented through `Effect.log or Logger`.    effect(globalConsoleInEffect)"
           }
         ]
       }
@@ -40135,7 +40662,7 @@ var metadata_default = {
           {
             start: 24,
             end: 34,
-            text: "Prefer using Clock or DateTime from Effect instead of Date.now().    effect(globalDate)"
+            text: "This code uses `Date.now()`, time access is represented through `Clock` from Effect.    effect(globalDate)"
           }
         ]
       }
@@ -40156,7 +40683,7 @@ var metadata_default = {
           {
             start: 95,
             end: 105,
-            text: "Prefer using Clock or DateTime from Effect instead of Date.now() inside Effect generators.    effect(globalDateInEffect)"
+            text: "This Effect code uses `Date.now()`, time access in Effect code is represented through `Clock` from Effect.    effect(globalDateInEffect)"
           }
         ]
       }
@@ -40177,7 +40704,7 @@ var metadata_default = {
           {
             start: 24,
             end: 29,
-            text: "Prefer using HttpClient from @effect/platform instead of the global 'fetch' function.    effect(globalFetch)"
+            text: "This code uses the global `fetch` function, HTTP requests are represented through `HttpClient` from `@effect/platform`.    effect(globalFetch)"
           }
         ]
       }
@@ -40213,7 +40740,7 @@ var metadata_default = {
           {
             start: 24,
             end: 37,
-            text: "Prefer using the Random service from Effect instead of Math.random().    effect(globalRandom)"
+            text: "This code uses `Math.random()`, randomness is represented through the Effect `Random` service.    effect(globalRandom)"
           }
         ]
       }
@@ -40234,7 +40761,7 @@ var metadata_default = {
           {
             start: 93,
             end: 106,
-            text: "Prefer using the Random service from Effect instead of Math.random() inside Effect generators.    effect(globalRandomInEffect)"
+            text: "This Effect code uses `Math.random()`, randomness is represented through the Effect `Random` service.    effect(globalRandomInEffect)"
           }
         ]
       }
@@ -40255,7 +40782,7 @@ var metadata_default = {
           {
             start: 1,
             end: 26,
-            text: "Prefer using Effect.sleep or Schedule from Effect instead of setTimeout.    effect(globalTimers)"
+            text: "This code uses `setTimeout`, the corresponding Effect timer API is `Effect.sleep or Schedule` from Effect.    effect(globalTimers)"
           }
         ]
       }
@@ -40276,7 +40803,7 @@ var metadata_default = {
           {
             start: 83,
             end: 108,
-            text: "Prefer using Effect.sleep or Schedule from Effect instead of setTimeout inside Effect generators.    effect(globalTimersInEffect)"
+            text: "This Effect code uses `setTimeout`, the corresponding timer API in this context is `Effect.sleep or Schedule` from Effect.    effect(globalTimersInEffect)"
           }
         ]
       }
@@ -40297,7 +40824,28 @@ var metadata_default = {
           {
             start: 159,
             end: 180,
-            text: "Consider using Schema.is instead of instanceof for Effect Schema types.    effect(instanceOfSchema)"
+            text: "This code uses `instanceof` with an Effect Schema type. `Schema.is` is the schema-aware runtime check for this case.    effect(instanceOfSchema)"
+          }
+        ]
+      }
+    },
+    {
+      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)"
           }
         ]
       }
@@ -40318,7 +40866,7 @@ var metadata_default = {
           {
             start: 15,
             end: 24,
-            text: "Prefer using FileSystem from @effect/platform instead of the Node.js 'fs' module.    effect(nodeBuiltinImport)"
+            text: "This module reference uses the `fs` module, the corresponding Effect API is `FileSystem` from `@effect/platform`.    effect(nodeBuiltinImport)"
           }
         ]
       }
@@ -40345,7 +40893,49 @@ export const preview = Effect.gen(function*() {
           {
             start: 142,
             end: 158,
-            text: "Consider using Effect Schema for JSON operations instead of JSON.parse/JSON.stringify    effect(preferSchemaOverJson)"
+            text: "This code uses `JSON.parse` or `JSON.stringify`. Effect Schema provides Effect-aware APIs for JSON parsing and stringifying.    effect(preferSchemaOverJson)"
+          }
+        ]
+      }
+    },
+    {
+      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)"
           }
         ]
       }
@@ -40366,7 +40956,7 @@ export const preview = Effect.gen(function*() {
           {
             start: 150,
             end: 162,
-            text: "You can use Effect.mapError instead of Effect.catch + Effect.fail to transform the error type.    effect(catchAllToMapError)"
+            text: "`Effect.mapError` expresses the same error-type transformation more directly than `Effect.catch` followed by `Effect.fail`.    effect(catchAllToMapError)"
           }
         ]
       }
@@ -40387,7 +40977,28 @@ export const preview = Effect.gen(function*() {
           {
             start: 116,
             end: 134,
-            text: "Key should be '@effect/harness-effect-v4/examples/diagnostics/deterministicKeys_preview/RenamedService'    effect(deterministicKeys)"
+            text: "This key does not match the deterministic key for this declaration. The expected key is `@effect/harness-effect-v4/examples/diagnostics/deterministicKeys_preview/RenamedService`.    effect(deterministicKeys)"
+          }
+        ]
+      }
+    },
+    {
+      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)"
           }
         ]
       }
@@ -40408,7 +41019,28 @@ export const preview = Effect.gen(function*() {
           {
             start: 54,
             end: 61,
-            text: "Can be rewritten as a reusable function: Effect.fn(function*() { ... })    effect(effectFnOpportunity)"
+            text: "This expression can be rewritten in the reusable function form `Effect.fn(function*() { ... })`.    effect(effectFnOpportunity)"
+          }
+        ]
+      }
+    },
+    {
+      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)"
           }
         ]
       }
@@ -40429,7 +41061,7 @@ export const preview = Effect.gen(function*() {
           {
             start: 82,
             end: 92,
-            text: "Effect.asVoid can be used instead to discard the success value    effect(effectMapVoid)"
+            text: "This expression discards the success value through mapping. `Effect.asVoid` represents that form directly.    effect(effectMapVoid)"
           }
         ]
       }
@@ -40450,7 +41082,7 @@ export const preview = Effect.gen(function*() {
           {
             start: 56,
             end: 81,
-            text: "Effect.void can be used instead of Effect.succeed(undefined) or Effect.succeed(void 0)    effect(effectSucceedWithVoid)"
+            text: "`Effect.void` represents the same outcome as `Effect.succeed(undefined)` or `Effect.succeed(void 0)`.    effect(effectSucceedWithVoid)"
           }
         ]
       }
@@ -40492,7 +41124,7 @@ export const preview = Effect.gen(function*() {
           {
             start: 116,
             end: 172,
-            text: "Nested function calls can be converted to pipeable style for better readability; consider using Schema.decodeEffect(User)({ id: 1 }).pipe(...) instead.    effect(missedPipeableOpportunity)"
+            text: "This nested call structure has a pipeable form. `Schema.decodeEffect(User)({ id: 1 }).pipe(...)` represents the same call sequence in pipe style and may be easier to read.    effect(missedPipeableOpportunity)"
           }
         ]
       }
@@ -40517,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",
@@ -40554,7 +41207,7 @@ export const preview = Effect.gen(function*() {
           {
             start: 64,
             end: 136,
-            text: "Schema.Struct with a _tag field can be simplified to Schema.TaggedStruct to make the tag optional in the constructor.    effect(schemaStructWithTag)"
+            text: "This `Schema.Struct` includes a `_tag` field. `Schema.TaggedStruct` is the tagged-struct form for this pattern and makes the tag optional in the constructor.    effect(schemaStructWithTag)"
           }
         ]
       }
@@ -40574,7 +41227,7 @@ export const preview = Effect.gen(function*() {
           {
             start: 64,
             end: 118,
-            text: "A Schema.Union of multiple Schema.Literal calls can be simplified to a single Schema.Literal call.    effect(schemaUnionOfLiterals)"
+            text: "This `Schema.Union` contains multiple `Schema.Literal` members and can be simplified to a single `Schema.Literal` call.    effect(schemaUnionOfLiterals)"
           }
         ]
       }
@@ -40594,7 +41247,7 @@ export const preview = Effect.gen(function*() {
           {
             start: 60,
             end: 107,
-            text: 'ServiceMap.Service should be used in a class declaration instead of as a variable. Use: class Preview extends ServiceMap.Service<Preview, { port: number }>()("Preview") {}    effect(serviceNotAsClass)'
+            text: '`ServiceMap.Service` is assigned to a variable here, but this API is intended for a class declaration shape such as `class Preview extends ServiceMap.Service<Preview, { port: number }>()("Preview") {}`.    effect(serviceNotAsClass)'
           }
         ]
       }
@@ -40625,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",
@@ -40662,7 +41336,7 @@ export const preview = Effect.gen(function*() {
           {
             start: 178,
             end: 208,
-            text: "This Effect.fail call uses a yieldable error type as argument. You can yield* the error directly instead.    effect(unnecessaryFailYieldableError)"
+            text: "This `yield* Effect.fail(...)` passes a yieldable error value. `yield*` represents that value directly without wrapping it in `Effect.fail`.    effect(unnecessaryFailYieldableError)"
           }
         ]
       }
@@ -40704,7 +41378,7 @@ export const preview = Effect.gen(function*() {
           {
             start: 64,
             end: 125,
-            text: "Chained pipe calls can be simplified to a single pipe call    effect(unnecessaryPipeChain)"
+            text: "This expression contains chained `pipe` calls that can be simplified to a single `pipe` call.    effect(unnecessaryPipeChain)"
           }
         ]
       }
@@ -42407,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)) {