build(deps): bump effect from 4.0.0-rc.112 to 4.0.0-rc.113

[dependabot]

Bumps effect from 4.0.0-rc.112 to 4.0.0-rc.113.

Release notes

Sourced from effect's releases.

effect@4.0.0-rc.113

Patch Changes

• #7738 49e3901 Thanks @​kitlangton! - Retain completed tool approval results in non-streaming responses so Chat records them and does not replay approved tools on later turns.

• #7483 b945ded Thanks @​tim-smart! - Align runtime type IDs with their module paths. Effect markers now omit legacy grouping prefixes and the unstable path segment, while OpenTelemetry spans use the OtelTracer module path. Custom implementations that copy these marker strings must adopt the corrected IDs.

• #8014 d6422f4 Thanks @​kitlangton! - Fix Effect.all to retain errors and required services from every branch of a union of record inputs.

• #8095 5a80204 Thanks @​gcanti! - Fix Arbitrary.schema to respect applicable index signatures when generating and shrinking object properties, including fixed fields in Schema.StructWithRest and overlapping records.

  Combine compatible string, number, and bigint constraints during generation so cases such as a String field constrained by a NonEmptyString record remain productive at size zero. Other intersections are validated and may exhaust the discard budget.

• #7796 53511ef Thanks @​kitlangton! - Fix Schema.ArrayEnsure to preserve array-valued element branches and outer-array encoding cardinality.

• #8067 79ae49f Thanks @​purwasadr! - Fix AtomRpc.query returning never for RPCs whose middleware declares service requires. The return-type conditional now infers all six Rpc type parameters, matching mutation and every utility in Rpc.

• #7463 0d083ba Thanks @​tim-smart! - Remove the mime runtime dependency. The new effect/unstable/http/Mime module provides top-level lookup functions backed by a vendored standard MIME registry.

• #7477 be0f822 Thanks @​candrewlee14! - Allow sockets to use browser, Bun, and Node WebSocket implementations without consumer casts. Platform constructors now support typed opening-handshake headers where available.

• #7587 debe8fd Thanks @​kitlangton! - Fix Cache.invalidateWhen and ScopedCache.invalidateWhen deleting a replacement entry while waiting for an earlier lookup.

• #7585 a8588f9 Thanks @​kitlangton! - Fix interruption of Cache.refresh for a missing key removing a newer value written by Cache.set.

• #7596 f17eb0a Thanks @​kitlangton! - Fix Cache.refresh and ScopedCache.refresh exceeding capacity when an existing key is evicted while its refresh is in progress. Publishing the refreshed entry now evicts older entries as needed, releasing their resources in ScopedCache.

• #7595 f30cbfe Thanks @​kitlangton! - Fix Cache.refresh for an initially missing key deleting a newer cached value when the refresh completes with zero time to live.

• #7614 78cc9c0 Thanks @​kitlangton! - Prevent Cache from retaining synchronously interrupted lookups.

• #7563 ccbdbd5 Thanks @​alvarosevilla95! - Respect custom HTTP header redaction when recording server span attributes.

• #7254 a63dcbf Thanks @​gcanti! - Add the experimental Schema-first effect/unstable/arbitrary/Arbitrary module for native generation without fast-check. Arbitrary.schema derives an opaque arbitrary from the decoded Schema Type, Arbitrary.sampleEffect provides interruptible sampling with typed exhaustion, and Arbitrary.checkEffect returns structured property results. The initial implementation supports bounded discards, shrinking, replay, and recursive and mutually recursive Schemas. SampleError and Exhausted include the effective seed so discarded runs remain reproducible even when the caller did not provide one. Arbitrary.isArbitrary identifies values through the module's nominal protocol. Numeric constraints retain NaN when it is accepted by their supported Order.Number bounds. Union derivation validates oneOf exclusivity and isolates lazy cross-member shrinking from unrelated random generation. Object derivation keeps optional-property selection constructive when candidate fields have different recursive costs. Struct, Record, JSON-object, and record-shaped Arbitrary.all outputs periodically use a null prototype as an edge case, preserving that prototype throughout shrinking and replay without perturbing structural PRNG choices. The change adds 0.01–0.03 KB gzip to representative Arbitrary fixtures and leaves production-only bundle sentinels unchanged.

  Add Arbitrary.map, Arbitrary.flatMap, Arbitrary.filter, Arbitrary.filterMap, and Arbitrary.all for composing derived Arbitraries without exposing a second catalog of primitive constructors. Filtering remains bounded and

... (truncated)

Changelog

Sourced from effect's changelog.

4.0.0-rc.113

Patch Changes

• #7738 49e3901 Thanks @​kitlangton! - Retain completed tool approval results in non-streaming responses so Chat records them and does not replay approved tools on later turns.

• #7483 b945ded Thanks @​tim-smart! - Align runtime type IDs with their module paths. Effect markers now omit legacy grouping prefixes and the unstable path segment, while OpenTelemetry spans use the OtelTracer module path. Custom implementations that copy these marker strings must adopt the corrected IDs.

• #8014 d6422f4 Thanks @​kitlangton! - Fix Effect.all to retain errors and required services from every branch of a union of record inputs.

• #8095 5a80204 Thanks @​gcanti! - Fix Arbitrary.schema to respect applicable index signatures when generating and shrinking object properties, including fixed fields in Schema.StructWithRest and overlapping records.

  Combine compatible string, number, and bigint constraints during generation so cases such as a String field constrained by a NonEmptyString record remain productive at size zero. Other intersections are validated and may exhaust the discard budget.

• #7796 53511ef Thanks @​kitlangton! - Fix Schema.ArrayEnsure to preserve array-valued element branches and outer-array encoding cardinality.

• #8067 79ae49f Thanks @​purwasadr! - Fix AtomRpc.query returning never for RPCs whose middleware declares service requires. The return-type conditional now infers all six Rpc type parameters, matching mutation and every utility in Rpc.

• #7463 0d083ba Thanks @​tim-smart! - Remove the mime runtime dependency. The new effect/unstable/http/Mime module provides top-level lookup functions backed by a vendored standard MIME registry.

• #7477 be0f822 Thanks @​candrewlee14! - Allow sockets to use browser, Bun, and Node WebSocket implementations without consumer casts. Platform constructors now support typed opening-handshake headers where available.

• #7587 debe8fd Thanks @​kitlangton! - Fix Cache.invalidateWhen and ScopedCache.invalidateWhen deleting a replacement entry while waiting for an earlier lookup.

• #7585 a8588f9 Thanks @​kitlangton! - Fix interruption of Cache.refresh for a missing key removing a newer value written by Cache.set.

• #7596 f17eb0a Thanks @​kitlangton! - Fix Cache.refresh and ScopedCache.refresh exceeding capacity when an existing key is evicted while its refresh is in progress. Publishing the refreshed entry now evicts older entries as needed, releasing their resources in ScopedCache.

• #7595 f30cbfe Thanks @​kitlangton! - Fix Cache.refresh for an initially missing key deleting a newer cached value when the refresh completes with zero time to live.

• #7614 78cc9c0 Thanks @​kitlangton! - Prevent Cache from retaining synchronously interrupted lookups.

• #7563 ccbdbd5 Thanks @​alvarosevilla95! - Respect custom HTTP header redaction when recording server span attributes.

• #7254 a63dcbf Thanks @​gcanti! - Add the experimental Schema-first effect/unstable/arbitrary/Arbitrary module for native generation without fast-check. Arbitrary.schema derives an opaque arbitrary from the decoded Schema Type, Arbitrary.sampleEffect provides interruptible sampling with typed exhaustion, and Arbitrary.checkEffect returns structured property results. The initial implementation supports bounded discards, shrinking, replay, and recursive and mutually recursive Schemas. SampleError and Exhausted include the effective seed so discarded runs remain reproducible even when the caller did not provide one. Arbitrary.isArbitrary identifies values through the module's nominal protocol. Numeric constraints retain NaN when it is accepted by their supported Order.Number bounds. Union derivation validates oneOf exclusivity and isolates lazy cross-member shrinking from unrelated random generation. Object derivation keeps optional-property selection constructive when candidate fields have different recursive costs. Struct, Record, JSON-object, and record-shaped Arbitrary.all outputs periodically use a null prototype as an edge case, preserving that prototype throughout shrinking and replay without perturbing structural PRNG choices. The change adds 0.01–0.03 KB gzip to representative Arbitrary fixtures and leaves production-only bundle sentinels unchanged.

  Add Arbitrary.map, Arbitrary.flatMap, Arbitrary.filter, Arbitrary.filterMap, and Arbitrary.all for composing

... (truncated)

Commits

• d3b837a Version Packages (rc) (#8125)
• 5a77084 Declare Reactivity, LanguageModel, EmbeddingModel, and Chat as interface + Co...
• 7999b07 Fix Content-Type preservation during HTTP compression (#8148)
• 53909a9 feat(Schema): improve JSON Schema generation (#8147)
• c8349ed refactor(Schema): rename transformOrFail to transformEffect (#8143)
• 45c88f9 docs(Logger): fix JSDoc link tag order (#8141)
• f3cf1e6 fix(Types): preserve opaque values in DeepMutable, closes #7523 (#8140)
• 88093b5 fix(workflow): make activity counter acquisition interruption-safe (#8132)
• 10d2c98 Backport Schema interpreter behavior (#8131)
• addeaea dispatch websocket events directly (#8127)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)