tsconfig.json

{
  "compilerOptions": {
    "strict": true,
    "noUncheckedIndexedAccess": true,
    "noFallthroughCasesInSwitch": true,
    "noImplicitOverride": true,
    "noPropertyAccessFromIndexSignature": true,
    "target": "ESNext",
    "module": "ESNext",
    "moduleResolution": "bundler",
    "moduleDetection": "force",
    "skipLibCheck": true,
    "stripInternal": true,
    "types": ["bun"],
    "noEmit": true,
    "plugins": [
      {
        "name": "@effect/language-service",
        "diagnostics": true,
        "diagnosticsName": true,
        "includeSuggestionsInTsc": true,
        "ignoreEffectSuggestionsInTscExitCode": false,
        "ignoreEffectWarningsInTscExitCode": false,
        "ignoreEffectErrorsInTscExitCode": false,
        "allowedDuplicatedPackages": ["effect"],
        "diagnosticSeverity": {
          "anyUnknownInErrorContext": "error",
          "asyncFunction": "off",
          "catchAllToMapError": "error",
          "catchToIgnore": "error",
          "catchToOrElseSucceed": "error",
          "catchUnfailableEffect": "error",
          "classSelfMismatch": "error",
          "cryptoRandomUUID": "off",
          "cryptoRandomUUIDInEffect": "off",
          "deterministicKeys": "error",
          "duplicatePackage": "error",
          "effectDoNotation": "error",
          "effectFnIife": "error",
          "effectFnImplicitAny": "error",
          "effectFnOpportunity": "error",
          "effectGenUsesAdapter": "error",
          "effectInFailure": "error",
          "effectInVoidSuccess": "error",
          "effectMapFlatten": "off",
          "effectMapVoid": "error",
          "effectSucceedWithVoid": "error",
          "extendsNativeError": "error",
          "flatMapToMap": "error",
          "floatingEffect": "error",
          "genericEffectServices": "error",
          "globalConsole": "off",
          "globalConsoleInEffect": "off",
          "globalDate": "off",
          "globalDateInEffect": "off",
          "globalErrorInEffectCatch": "error",
          "globalErrorInEffectFailure": "error",
          "globalFetch": "off",
          "globalFetchInEffect": "off",
          "globalRandom": "off",
          "globalRandomInEffect": "off",
          "globalTimers": "off",
          "globalTimersInEffect": "off",
          "instanceOfSchema": "error",
          "layerMergeAllWithDependencies": "error",
          "lazyEffect": "error",
          "lazyPromiseInEffectSync": "error",
          "leakingRequirements": "error",
          "missedPipeableOpportunity": "off",
          "missingEffectContext": "error",
          "missingEffectError": "error",
          "missingEffectServiceDependency": "error",
          "missingLayerContext": "error",
          "missingPipeableSignature": "error",
          "missingReturnYieldStar": "error",
          "missingStarInYieldEffectGen": "error",
          "multipleCatchTag": "error",
          "multipleEffectProvide": "error",
          "nestedEffectGenYield": "error",
          "newPromise": "off",
          "newSchemaClass": "error",
          "nodeBuiltinImport": "off",
          "nonObjectEffectServiceType": "error",
          "outdatedApi": "error",
          "overriddenSchemaConstructor": "error",
          "preferSchemaOverJson": "off",
          "processEnv": "off",
          "processEnvInEffect": "off",
          "redundantMapError": "error",
          "redundantOrDie": "error",
          "redundantSchemaTagIdentifier": "error",
          "returnEffectInGen": "error",
          "runEffectInsideEffect": "error",
          "schemaNumber": "error",
          "schemaOpaqueInstanceMember": "error",
          "schemaStructWithTag": "error",
          "schemaSyncInEffect": "error",
          "schemaUnionOfLiterals": "error",
          "scopeInLayerEffect": "error",
          "serviceNotAsClass": "error",
          "strictBooleanExpressions": "off",
          "strictEffectProvide": "off",
          "syncToSucceed": "error",
          "tryCatchInEffectGen": "off",
          "unknownInEffectCatch": "error",
          "unnecessaryArrowBlock": "error",
          "unnecessaryEffectGen": "error",
          "unnecessaryFailYieldableError": "error",
          "unnecessaryPipe": "off",
          "unnecessaryPipeChain": "off",
          "unnecessaryTypeofType": "error",
          "unsafeEffectTypeAssertion": "error"
        },
        "keyPatterns": [
          {
            "target": "service",
            "pattern": "default",
            "skipLeadingPath": ["src/"]
          },
          {
            "target": "error",
            "pattern": "default",
            "skipLeadingPath": ["src/"]
          }
        ],
        "overrides": [
          {
            "include": ["test/**/*.ts", "**/test/**/*.ts", "**/*.test.ts"],
            "options": {
              "diagnosticSeverity": {
                "missingEffectContext": "off",
                "schemaSyncInEffect": "off"
              }
            }
          },
          {
            // Data-first constructors and internal helpers. Machine.spawn,
            // Machine.replay, toEntity, and the transition
            // helpers take a machine plus options as fixed arity — they are not
            // data-last operators, so a pipeable overload would be dead API.
            // The public shape is documented as Machine.spawn(machine, {...}).
            "include": [
              "src/actor.ts",
              "src/machine.ts",
              "src/cluster/entity-actor-ref.ts",
              "src/cluster/to-entity.ts",
              "src/internal/transition.ts",
              "src/internal/utils.ts"
            ],
            "options": {
              "diagnosticSeverity": {
                "missingPipeableSignature": "off"
              }
            }
          },
          {
            // Runtime/actor plumbing that narrows an Effect or Deferred channel
            // the checker cannot prove locally: createRuntime and the event loop
            // run only after MachineContextTag and Scope are provided, and the
            // ask Deferred is created wide enough for settlePendingReplies to
            // fail ActorStoppedError into it while the queue sees NoReplyError.
            // FOLLOW-UP: thread R through wrapProcess and split the reply
            // Deferred by phase so these narrowings become provable.
            "include": ["src/actor.ts", "src/internal/runtime.ts"],
            "options": {
              "diagnosticSeverity": {
                "unsafeEffectTypeAssertion": "off"
              }
            }
          }
        ]
      }
    ]
  },
  "include": ["src", "test", "benchmark"],
  "exclude": ["node_modules"]
}