@smthrs/flow 1.0.0-rc.12 → 1.0.0-rc.13

package/docs/installation.md

@@ -13,8 +13,8 @@ npm install @smthrs/flow@next effect
 
 The `next` tag carries the 1.0 release candidates.
 
-`effect` is a peer dependency of this package, in the range `^4.0.4`. Add one
-`effect` in that range to your own dependencies: your declarations import
+`effect` is a peer dependency of this package, at exactly `4.0.5`. Add one
+`effect` at that version to your own dependencies: your declarations import
 `effect/Schema` and your implementations import `effect/Effect` directly, and two
 copies of `effect` in one program are two sets of service tags.
 
@@ -28,7 +28,7 @@ from, and the canonical JSON checks applied to values.
 ## Use the libraries
 
 Every `@smthrs` library installs from npm the same way. Name each package your
-code imports with the `next` tag, and add one `effect` in the `^4.0.4` range
+code imports with the `next` tag, and add one `effect` in the `4.0.5` range
 the libraries peer. The [Quickstart](./quickstart.md) program needs these:
 
 ```bash

package/docs/quickstart.md

@@ -10,7 +10,7 @@ touches a database or the network, and the result arrives as a typed value
 decoded by the schema you declared.
 
 A runnable copy of this program is published in the Smithers examples,
-[`01-define-and-run.ts`](https://github.com/smithersai/smithers/blob/main/examples/src/01-define-and-run.ts).
+[`01-define-and-run.ts`](https://github.com/smithersai/smithers/blob/main/packages/smithers/flows/engine/examples/01-define-and-run.ts).
 
 ## Prerequisites
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@smthrs/flow",
   "type": "module",
-  "version": "1.0.0-rc.12",
+  "version": "1.0.0-rc.13",
   "license": "MIT",
   "smthrs": {
     "group": "engine"
@@ -289,21 +289,21 @@
     "tag": "next"
   },
   "dependencies": {
-    "@smthrs/crypto": "1.0.0-rc.12",
-    "@smthrs/keys": "1.0.0-rc.12",
-    "@smthrs/plan": "1.0.0-rc.12",
-    "@smthrs/canonical": "1.0.0-rc.12",
-    "@smthrs/capability": "1.0.0-rc.12"
+    "@smthrs/crypto": "1.0.0-rc.13",
+    "@smthrs/keys": "1.0.0-rc.13",
+    "@smthrs/plan": "1.0.0-rc.13",
+    "@smthrs/canonical": "1.0.0-rc.13",
+    "@smthrs/capability": "1.0.0-rc.13"
   },
   "devDependencies": {
     "@effect/language-service": "0.87.2",
-    "@effect/platform-node": "4.0.4",
-    "@effect/vitest": "4.0.4",
+    "@effect/platform-node": "4.0.5",
+    "@effect/vitest": "4.0.5",
     "@eslint/js": "9.39.5",
     "@types/node": "26.4.1",
     "@vitest/coverage-v8": "5.0.0",
     "dprint": "0.57.1",
-    "effect": "4.0.4",
+    "effect": "4.0.5",
     "esbuild": "0.28.2",
     "eslint": "9.39.5",
     "eslint-import-resolver-typescript": "4.4.5",
@@ -316,7 +316,7 @@
     "vitest": "5.0.0"
   },
   "peerDependencies": {
-    "effect": "^4.0.4"
+    "effect": "4.0.5"
   },
   "scripts": {
     "lint": "eslint src examples --max-warnings=0 && dprint check",

package/src/Flow/make.ts

@@ -84,6 +84,20 @@ interface MakeOptions<
    * reach.
    */
   readonly modelInvocable?: boolean | undefined
+  /**
+   * The tokens, milliseconds and dollars one run asks a control plane to
+   * approve, and what exceeding them does, as a literal.
+   *
+   * Discovery reads it from the source text onto the descriptor's budget,
+   * exactly as Markdown frontmatter's `budget` is read; the control plane, not
+   * this flow, enforces it.
+   */
+  readonly budget?: {
+    readonly tokens?: number | undefined
+    readonly milliseconds?: number | undefined
+    readonly usd?: number | undefined
+    readonly onExceeded?: "fail" | "warn" | "skip-remaining" | "park" | undefined
+  } | undefined
   readonly idempotencyKey?:
     | ((
       payload: Payload extends Schema.Struct.Fields ? Schema.Struct.Type<Payload>

package/src/HumanTask.ts

@@ -1004,4 +1004,18 @@ export const answer = (options: {
 export const decode =
   <S extends Schema.ConstraintDecoder<unknown>>(schema: S) =>
   <E, R>(self: Node.Node<typeof Schema.Json.Type, E, R>): Node.Node<S["Type"], E, R> =>
-    Node.map(self, Schema.decodeUnknownSync(schema))
+    Node.map(self, answerDecoder(schema))
+
+// Schema decoders are opaque callbacks. Reuse one per immutable schema so a
+// same-process rebuild preserves its identity without claiming portable
+// identity for arbitrary schema transformations or checks.
+const answerDecoders = new WeakMap<object, (input: unknown) => unknown>()
+
+const answerDecoder = <S extends Schema.ConstraintDecoder<unknown>>(schema: S): (input: unknown) => S["Type"] => {
+  let decoder = answerDecoders.get(schema)
+  if (decoder === undefined) {
+    decoder = Schema.decodeUnknownSync(schema)
+    answerDecoders.set(schema, decoder)
+  }
+  return decoder
+}

package/src/Interpreter.ts

@@ -1486,12 +1486,27 @@ export const layer = <
 
 // These layers only register handlers at construction. Crypto is supplied by
 // the executing interpreter (Services), not required to register a flow.
-const systemActions = Layer.mergeAll(HumanTask.layer, Sleep.layer, WaitFor.layer) as Layer.Layer<
+const systemHandlers = Layer.mergeAll(HumanTask.layer, Sleep.layer, WaitFor.layer) as Layer.Layer<
   never,
   never,
   FlowRuntime
 >
 
+// Independent module/refresh layer builds can share one implementation table.
+// Memoize the built-ins by that owner, with Layer retaining each live scope's
+// reference, rather than registering a second handler or overriding the first.
+const systemMemoMaps = new WeakMap<Implementations["Service"], Layer.MemoMap>()
+const systemActions = Layer.fromBuild((currentMemoMap, scope) =>
+  Effect.flatMap(Implementations, (table) => {
+    let memoMap = systemMemoMaps.get(table)
+    if (memoMap === undefined) {
+      memoMap = currentMemoMap
+      systemMemoMaps.set(table, memoMap)
+    }
+    return Layer.buildWithMemoMap(systemHandlers, memoMap, scope)
+  })
+)
+
 /** Registers the interpreter and reachable child flows under one policy. @private */
 const makeLayer = <
   Tag extends string,