@shivaedev/service 0.6.0 → 0.6.1

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## 0.6.1 - 2026-11-02
+
+### Fixed
+
+- Accept native `Context.Reference` keys in `defineService` requirements without treating their `never` identifier as caller-owned `Scope.Scope`.
+
 ## 0.6.0 - 2026-10-30
 
 ### Added

package/README.md

@@ -65,6 +65,8 @@ The Layer needs `Prefix`. After a caller resolves `Greetings`, `greet` needs no
 
 `initialize` and ordinary methods may require the listed services and `Scope.Scope`. The compiler rejects a definition that reads another service. Scope is supplied by the Layer or method caller, so `Scope.Scope` itself cannot appear in `requires`.
 
+Native `Context.Reference` keys can appear in `requires`. Their defaults make them requirement-free in Effect, so they add no Layer dependency, including when the reference's value is a scope.
+
 Return functions from the method factory, each producing an Effect. An Effect value placed directly in the method record is rejected. Keep the private state behind those functions; it is absent from the emitted public service declaration.
 
 ### 2. Annotate generators when inference needs help
@@ -174,6 +176,8 @@ const preserved = Effect.gen(function* () {
 
 The wrapped Effect still requires `Caller`, which the caller supplies separately. The generic service's Layer has no declared dependencies. The emitted declarations preserve the generic success and failure types as well as caller requirements.
 
+A generic method's remaining requirements follow native Effect rules: execution without them is a compile error. Composing the call into a Layer retains those dependencies until they are provided; an initializer cannot use the call unless its service declares those dependencies.
+
 Marked generic methods also work with declared initializer dependencies. Their signatures keep all caller requirements unchanged; unlike ordinary methods, they do not subtract declared dependencies from the public signature. The compiler rejects an unmarked generic that correlates its input and returned Effect, and a structurally distinct two-signature overload; it may not reject other generic or overloaded signatures. Use initialization state to close over bound dependencies in generic methods.
 
 Dependency binding wraps the method's outer returned Effect. A Stream returned as its value retains its own service requirements; provide them when running the Stream.

package/dist/RequirementProof.d.ts

@@ -1,9 +1,9 @@
 import type { Context, Scope } from "effect";
-import type { RequirementRecord } from "./ServiceRequirements.ts";
+import type { RequirementRecord } from "#ServiceRequirements.ts";
 interface ScopeCannotBeDeclaredAsServiceRequirement {
     readonly _serviceDefinitionError: "Scope.Scope is caller-owned and cannot be declared as a service requirement";
 }
-type ProveRequirement<TRequirement> = TRequirement extends Context.Service.Any ? Context.Service.Identifier<TRequirement> extends Scope.Scope ? ScopeCannotBeDeclaredAsServiceRequirement : TRequirement : never;
+type ProveRequirement<TRequirement> = TRequirement extends Context.Service.Any ? [Context.Service.Identifier<TRequirement>] extends [never] ? TRequirement : Context.Service.Identifier<TRequirement> extends Scope.Scope ? ScopeCannotBeDeclaredAsServiceRequirement : TRequirement : never;
 export type RequirementProof<TRequirements extends RequirementRecord> = {
     readonly [TIndex in keyof TRequirements]: ProveRequirement<TRequirements[TIndex]>;
 };

package/dist/RequirementProof.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RequirementProof.d.ts","sourceRoot":"","sources":["../src/RequirementProof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAElE,UAAU,yCAAyC;IAClD,QAAQ,CAAC,uBAAuB,EAAE,6EAA6E,CAAC;CAChH;AAED,KAAK,gBAAgB,CAAC,YAAY,IAAI,YAAY,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG,GAC3E,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,SAAS,KAAK,CAAC,KAAK,GAC3D,yCAAyC,GACzC,YAAY,GACb,KAAK,CAAC;AAET,MAAM,MAAM,gBAAgB,CAAC,aAAa,SAAS,iBAAiB,IAAI;IACvE,QAAQ,EAAE,MAAM,IAAI,MAAM,aAAa,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;CACjF,CAAC"}
+{"version":3,"file":"RequirementProof.d.ts","sourceRoot":"","sources":["../src/RequirementProof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,UAAU,yCAAyC;IAClD,QAAQ,CAAC,uBAAuB,EAAE,6EAA6E,CAAC;CAChH;AAED,KAAK,gBAAgB,CAAC,YAAY,IAAI,YAAY,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG,GAC3E,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzD,YAAY,GACZ,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,SAAS,KAAK,CAAC,KAAK,GAC3D,yCAAyC,GACzC,YAAY,GACd,KAAK,CAAC;AAET,MAAM,MAAM,gBAAgB,CAAC,aAAa,SAAS,iBAAiB,IAAI;IACvE,QAAQ,EAAE,MAAM,IAAI,MAAM,aAAa,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;CACjF,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shivaedev/service",
-  "version": "0.6.0",
+  "version": "0.6.1",
   "description": "Declared Effect services with scoped initialization and bound dependencies",
   "keywords": [
     "effect"
@@ -44,9 +44,9 @@
   ],
   "devDependencies": {
     "@effect/vitest": "4.0.6",
-    "@shivaedev/quality": "0.46.0",
-    "@shivaedev/test": "0.11.0",
-    "@shivaedev/test-story": "0.25.0",
+    "@shivaedev/quality": "0.55.0",
+    "@shivaedev/test": "0.12.1",
+    "@shivaedev/test-story": "0.33.0",
     "@types/node": "24.19.2",
     "effect": "4.0.6",
     "typescript": "7.0.2",

package/src/RequirementProof.ts

@@ -1,14 +1,16 @@
 import type { Context, Scope } from "effect";
-import type { RequirementRecord } from "./ServiceRequirements.ts";
+import type { RequirementRecord } from "#ServiceRequirements.ts";
 
 interface ScopeCannotBeDeclaredAsServiceRequirement {
 	readonly _serviceDefinitionError: "Scope.Scope is caller-owned and cannot be declared as a service requirement";
 }
 
 type ProveRequirement<TRequirement> = TRequirement extends Context.Service.Any
-	? Context.Service.Identifier<TRequirement> extends Scope.Scope
-		? ScopeCannotBeDeclaredAsServiceRequirement
-		: TRequirement
+	? [Context.Service.Identifier<TRequirement>] extends [never]
+		? TRequirement
+		: Context.Service.Identifier<TRequirement> extends Scope.Scope
+			? ScopeCannotBeDeclaredAsServiceRequirement
+			: TRequirement
 	: never;
 
 export type RequirementProof<TRequirements extends RequirementRecord> = {