@shivaedev/build 0.0.0 → 0.1.1

package/CHANGELOG.md

@@ -0,0 +1,19 @@
+# Changelog
+
+## 0.1.1 - 2026-11-11
+
+### Changed
+
+- The README's examples name a module file after its export, as in `src/modules/notes/Notes.ts` and `#generated/modules/notes/Notes.ts`, and import operations from the module's `server/` folder, as applications write them.
+
+### Fixed
+
+- Generating no longer leaves an empty `.<file>.XXXXXX` folder beside every file it writes, under `src/generated` and in `node_modules/.cache/@shivaedev/build`. Each write still replaces the file in one rename, and its temporary folder is removed when the write ends, also when it fails or is interrupted. Folders left by earlier versions stay until you delete them.
+
+## 0.1.0 - 2026-11-11
+
+### Added
+
+- The package is published. `appViteConfig` from `@shivaedev/build/adapters/appViteConfig.ts` and `appTestConfig` from `@shivaedev/build/adapters/appTestConfig.ts` give an application its Vite and Vitest configuration with the generator built in: `vite build` and the dev server generate first, and Vitest generates in its global setup before any test file loads.
+- `appViteConfig` runs the bundle check by default, so a build whose browser bundle reaches server code fails; its fourth argument names server-only packages with `serverOnly`. An application whose browser still imports old-form contracts or operation files passes `{ bundleCheck: false }`. The option is temporary: it exists for applications still on the old operation form and goes away with that form.
+- The `shivaedev-build` command runs from source inside a workspace before any build.

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 ShivaeDev
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,217 @@
 # @shivaedev/build
 
-Placeholder. The first real version follows from the ShivaeDev Platform repository.
+An application's build setup: one import for its Vite configuration and one for its Vitest configuration. Its generator reads each defined module's `run` types and writes the wire the server encodes with and the browser decodes with, so an operation is written once, as its business logic, and the browser receives exactly what the type says. Its Vite plugin and Vitest setup run the generator wherever the files are read, and a build whose browser bundle reaches server code fails.
+
+## Why you want this
+
+An operation written as `payload` and `*run` has its success and rejections only as types, and types are erased. Without a generator, an application restates them as schemas by hand, and the copy drifts. With it, the module passes the generated wire and the browser imports the generated contract:
+
+```ts
+import { defineModule } from "@shivaedev/contract/defineModule.ts";
+import { notesWire } from "#generated/modules/notes/Notes.ts";
+import { Create } from "#modules/notes/server/Create.ts";
+import { List } from "#modules/notes/server/List.ts";
+import { NotesStore } from "#modules/notes/server/Store.ts";
+
+export const Notes = defineModule({ name: "notes", operations: [List, Create], requires: [NotesStore], wire: notesWire });
+```
+
+```sh
+shivaedev-build generate
+```
+
+```text
+src/generated/modules/notes/Notes.ts: written
+```
+
+## Using it
+
+### How to think about it
+
+`generate` finds every file of the project's tsconfig that calls `defineModule`, builds one TypeScript program for them and writes one file per module at `src/generated/<the module file's path under src>`. There is no list of modules to keep. The generated files are not committed, so a project runs `generate` before anything that reads them; a run whose inputs have not changed is cheap. Inside Vite and Vitest the plugin and the global setup run it; the command line covers everything else, such as a type check.
+
+The generator never guesses. Each type `run` returns maps to the one schema whose `Type` is exactly that type, or the run stops with a refusal that says what to write instead. The compiler then checks the generated wire against `run` on every type check, through [`@shivaedev/contract`'s module checks](https://github.com/ShivaeDev/platform/tree/main/packages/contract#the-wire-and-the-browsers-contract), so a file that went stale is usually a compile error on the module that names the operation, including a success type that gains or loses an optional property at any struct position the check walks. One change is not: an optional property that only one side has on a `Schema.Struct` behind another schema, such as a transformation, a brand or `Schema.suspend`, still type-checks and is dropped on the wire or never sent. `generate --check` is the guard against it.
+
+### Set up an application
+
+An application's `vite.config.ts` and `vitest.config.ts` each import one function and pass only what is the application's own, such as its Vite plugins and the host routes its dev server forwards:
+
+```ts
+import tailwindcss from "@tailwindcss/vite";
+import react from "@vitejs/plugin-react";
+import { appViteConfig } from "@shivaedev/build/adapters/appViteConfig.ts";
+
+export default appViteConfig([tailwindcss(), react()], [], ["/health"]);
+```
+
+```ts
+import { appTestConfig } from "@shivaedev/build/adapters/appTestConfig.ts";
+
+export default appTestConfig();
+```
+
+`appViteConfig` adds the generator's Vite plugin and the bundle check to the application's plugins, so `vite build` and the dev server generate first and a browser bundle that reaches server code fails the build. The dev server listens on `127.0.0.1` at the port in `VITE_PORT`, then 5173, and forwards `/api/auth`, `/rpc` and every path in the third argument to the application host on `127.0.0.1` at the port in `PORT`, then 3000, keeping the Host header the browser sent. The fourth argument overrides either port, as in `{ webPort: 5273, apiPort: 3100 }`, and names the packages the bundle check treats as server-only, as in `{ serverOnly: ["pg-boss"] }`. Path resolution follows the tsconfig.
+
+`appTestConfig` builds on Quality's [`testProjects`](https://github.com/ShivaeDev/platform/tree/main/packages/quality#readme), resolves imports for the browser and for the server, inlines the `@shivaedev` packages for the test server and generates as Vitest's global setup, before any test file loads. Its second argument goes to `testProjects`, so `appTestConfig([], { connectionBudget: 84, connectionsPerWorker: 14 })` or `appTestConfig([], { maxWorkers: 4 })` sizes the test workers. The second argument of `appViteConfig` and the first of `appTestConfig` add export conditions for development inside a workspace, such as `["@shivaedev/source"]`; a published application passes none.
+
+An application whose browser still imports contracts or operation files of the old operation form passes `{ bundleCheck: false }` in the fourth argument of `appViteConfig`, and its build then generates without checking the bundle. The option is temporary: it exists for applications still on the old operation form and goes away with that form.
+
+The application's `package.json` runs the generator before anything that reads the files without Vite, and `prepare` makes `pnpm install` write them in a fresh checkout:
+
+```json
+{
+	"scripts": {
+		"generate": "shivaedev-build generate",
+		"prepare": "pnpm generate",
+		"typecheck": "pnpm generate && tsc --noEmit"
+	}
+}
+```
+
+pnpm does not run `prepare` on a production install (`pnpm install --prod`), so a production install without development dependencies succeeds without the generator; the files must already be written, as `pnpm build` writes them through the Vite plugin. The folder's contents stay out of Git except a README that names the command, and `quality lint` runs the `generate` script before it reads the sources, so no configuration names the folder:
+
+```gitignore
+src/generated/*
+!src/generated/README.md
+```
+
+### Generate the files
+
+Run the command in the folder that holds the project's `tsconfig.json`:
+
+```sh
+shivaedev-build generate
+shivaedev-build generate --check
+```
+
+`generate` writes each file that is missing or differs, and reports every module as `written`, `current` (derived again and equal to the file) or `unchanged, from the cache`. A generated file whose first line names a module file that is gone or no longer defines a module, because it was renamed or deleted, is removed and reported as `removed`; a file under `src/generated` that the generator did not write is left alone. `--check` writes nothing and exits 1 listing each missing, stale or orphaned file with "run `pnpm generate`". A refusal exits 1 with its message, and the refused module's file is not written. For the same inputs the output is byte for byte the same.
+
+A workspace package can run the generator from source before anything is built:
+
+```sh
+node --conditions=@shivaedev/source packages/build/src/cli.ts generate
+```
+
+### Generate inside Vite and Vitest
+
+The dev server, the build and the tests read the generated files through Vite, so the plugin and the global setup generate before they do:
+
+```ts
+import { buildPlugin } from "@shivaedev/build/adapters/vitePlugin.ts";
+
+export default {
+	plugins: [buildPlugin({ serverOnly: ["pg-boss"] })],
+	test: { globalSetup: ["@shivaedev/build/adapters/vitest/setup.ts"] },
+};
+```
+
+`buildPlugin` generates when `vite build` or the dev server starts, in the folder Vite runs in. A refusal stops the build, or keeps the dev server from starting, with the generator's message. While the dev server runs, a change to a file that went into any module's last run, such as an operation's `run`, generates again: each rewritten file's importers are invalidated in Vite's module graph and the browser reloads. A file under `src` that calls `defineModule` and no run has read yet, such as a module file created while the dev server runs, generates too, and when the run writes a generated file that did not exist the browser reloads, so a page that failed to resolve its `#generated/...` import loads without a restart. A refusal then prints the generator's message in the terminal and shows it in the browser's error overlay, and the module's last file stays in place until the next run succeeds.
+
+The global setup generates once before Vitest loads any test file, and a refusal stops the run before a test starts. Runs that start at once, such as two Vitest processes on one project, each generate and leave the files correct, because every file is written whole through a rename.
+
+### Server code in the browser bundle
+
+With a generated client the browser never needs a module or its operations, so the plugin fails a client build whose module graph holds server code. It reads the bundler's module graph, from each client entry, and stops at the nearest module that is:
+
+- a module file, one that imports `defineModule` from `@shivaedev/contract/defineModule.ts`;
+- an operation file, one that imports `query` or `command` from `@shivaedev/contract/operation.ts`;
+- a file under a `server/` folder;
+- a Node builtin;
+- `effect/sql`, imported from outside Effect (Effect's own index re-exports modules that import it, which do not count);
+- part of a package listed in `serverOnly`.
+
+The build fails with the import chain from the client entry to that module:
+
+```text
+Server code reached the browser bundle: src/modules/notes/Notes.ts is a module file: it calls defineModule. The import chain from the client entry:
+  index.html
+  → src/client.ts
+  → src/screens/notes.ts
+  → src/modules/notes/Notes.ts
+The browser reaches a defined module through its generated client in src/generated and imports no server code.
+```
+
+The browser imports `Notes` from `#generated/modules/notes/Notes.ts` instead.
+
+### The generated file
+
+For the module above, the file starts with a line saying it is generated from `src/modules/notes/Notes.ts`, must not be edited and is not committed. It exports the module's wire, named after the module's `name`, the browser's contract under the module's own export name, built by `clientContract`, and a closing `ClientMatchesModule` assertion:
+
+```ts
+export const notesWire = {
+	create: { rejections: { TitleTaken }, success: NoteCard },
+	list: { rejections: { Unauthorized }, success: Schema.Array(Schema.Struct({ id: Schema.Number, title: Schema.String })) },
+} as const;
+
+export const Notes = clientContract({
+	commands: {
+		create: { invalidates: () => [notes.list] },
+	},
+	name: "notes",
+	payloads: {
+		create: NoteFields,
+	},
+	queries: {
+		list: { reads: () => [notes.list] },
+	},
+	wire: notesWire,
+});
+
+export const notesMatchModule: ClientMatchesModule<typeof Notes, typeof NotesModule> = true;
+```
+
+Payloads, `reads`, `readsCollections`, `invalidates` and the module's `middleware`, `subject` and `keyScope` are copied as written, with the imports they use. Two imports that share a name get distinct local names, so a `NoteMissing` from one file and a `NoteMissing` from another both fit. A value declared in the operation's own file, or imported there by a relative path, is refused, because the generated file cannot import it: move it to a module the operation imports through a package import such as `#modules/notes/model.ts`.
+
+### What `run` may return
+
+| `run` returns                                                        | The wire carries                                                                                                                |
+| -------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------- |
+| `string`, `number`, `boolean`, `bigint`, `null`, `undefined`, `void` | `Schema.String`, `Schema.Number`, `Schema.Boolean`, `Schema.BigInt`, `Schema.Null`, `Schema.Undefined`, `Schema.Void`           |
+| string, number and boolean literals and their unions                 | `Schema.Literal`, `Schema.Literals`                                                                                             |
+| `T[]` and `readonly T[]`                                             | `Schema.Array`, wrapped in `Schema.mutable` when mutable                                                                        |
+| tuples of required elements, readonly or mutable                     | `Schema.Tuple`, wrapped in `Schema.mutable` when mutable                                                                        |
+| plain objects, interfaces and type literals                          | `Schema.Struct`, with `Schema.optionalKey` for an optional property and `Schema.mutableKey` for a property that is not readonly |
+| string-keyed records                                                 | `Schema.Record(Schema.String, …)`                                                                                               |
+| a union of objects told apart by one literal property                | `Schema.Union`                                                                                                                  |
+| `T \| null`                                                          | `Schema.NullOr`                                                                                                                 |
+| `Date`, `DateTime.Utc`, `Option<T>`                                  | `Schema.Date`, `Schema.DateTimeUtc`, `Schema.Option`                                                                            |
+| an instance of an exported Schema class                              | that class, imported from its module                                                                                            |
+
+Effect RPC encodes with `Schema.toCodecJson`, so a `Date` travels as an ISO string and arrives as a `Date`, a `bigint` travels as a string, and `NaN` and the infinities travel as strings. Each of these arrives equal to what `run` returned and of the same class. One value does not: `-0` arrives as `0`, because JSON has no `-0`.
+
+A class instance and a same-shaped interface are told apart by declaration: a helper typed to return an interface with the fields of a Schema class is written as a struct, and an instance of the class as the class.
+
+An optional property is written with `?` under `exactOptionalPropertyTypes`, such as `flag?: boolean` or `reviewedAt?: Date | null`, and an absent key is the only way to leave it out.
+
+Anything else is refused, such as a `Map`, a class that is not a Schema class or not exported, a function, `any`, `string | number`, an enum, a branded type, a type that contains itself, a tuple with optional or rest elements, a record whose keys are not `string`, `null | undefined` (the wire would turn one into the other), a property typed `T | undefined`, or an optional property typed `T | undefined`:
+
+```text
+refused.returnsMap: run returns Map<string, number> at success, which has no exact wire form; return a plain object, an array or a string-keyed record
+```
+
+The path after `at` points into the returned value, such as `success.summary`.
+
+### Rejections
+
+An operation's rejections are the tagged failures of its `run` and, for a query, of its read policy, each the exported class it is raised as and imported from the module that declares it. Two classes of the same shape and tag are different rejections: the generated file imports the one `run` raises. A failure that states `isRetryable`, a `SchemaError`, a `QueryReadDenied` and the automatic `InternalServerError` and `ServiceUnavailable` are left out, and nothing adds a `Conflict`. Any failure class with an `isRetryable` property is infrastructure and reaches the browser as one of the two automatic failures, so never put `isRetryable` on a rejection the browser should receive. A failure without a `_tag`, whose class is not exported, or whose class is not a Schema class, such as a `Data.TaggedError`, is refused:
+
+```text
+refused.failsUntagged: run fails with string, which has no _tag; fail with an exported tagged error class instead
+```
+
+### Staying current
+
+Each module's inputs are the contents of every project file in its import graph, its tsconfig and the files it extends, the project's declaration files, which can declare global types, the lockfile, which stands in for installed packages, and the generator's own code and TypeScript's version. They are recorded under `node_modules/.cache/@shivaedev/build/`. A run whose inputs are unchanged builds no program and reports the module as unchanged; a generated file removed meanwhile comes back from the cache. Files are written only when their content differs, through a fresh file renamed into place, so a reader never sees half a file.
+
+A run in the dev server after a save that changes a module's inputs builds a program again, and later programs of one process reuse the declaration files the first one parsed. On a developer laptop, the first run takes about 0.8 s and each regeneration about 0.15 s for this package's fixture notes module of seven operations; for the starter's notes module written as a defined module, nine operations over SQL, identity and rate limiting, the first run takes about 1.4 s and each regeneration about 0.4 s.
+
+A run that builds a program takes the machine-wide [heavy lock](https://github.com/ShivaeDev/platform/tree/main/packages/heavy-lock), so it waits while another heavy run holds it; an unchanged run does not.
+
+`ClientMatchesModule` compares payloads, successes and rejections. A changed `invalidates`, `reads` or key scope changes the module's inputs, so `generate --check` reports the file stale and the next `generate` writes the change.
+
+### Limits
+
+- The plugin and the global setup take Vite's and Vitest's root as the project folder, the one that holds `tsconfig.json`.
+- It reads types through TypeScript 6's API, while this repository type-checks with TypeScript 7; a disagreement between the two shows as a compile error on the module.
+- An invalid `Date` cannot be encoded, so the caller gets `InternalServerError`.
+- A module file must lie under `src`, define exactly one module and export it as a const.

package/dist/BuildFailure.d.ts

@@ -0,0 +1,9 @@
+declare const BuildFailure_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "BuildFailure";
+} & Readonly<A>;
+export declare class BuildFailure extends BuildFailure_base<{
+    readonly message: string;
+}> {
+}
+export {};
+//# sourceMappingURL=BuildFailure.d.ts.map

package/dist/BuildFailure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"BuildFailure.d.ts","sourceRoot":"","sources":["../src/BuildFailure.ts"],"names":[],"mappings":";;;AAEA,qBAAa,YAAa,SAAQ,kBAAiC;IAClE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CACzB,CAAC;CAAG"}

package/dist/BuildFailure.js

@@ -0,0 +1,4 @@
+import { Data } from "effect";
+export class BuildFailure extends Data.TaggedError("BuildFailure") {
+}
+//# sourceMappingURL=BuildFailure.js.map

package/dist/BuildFailure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BuildFailure.js","sourceRoot":"","sources":["../src/BuildFailure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAAC,cAAc,CAE/D;CAAG"}

package/dist/adapters/appTestConfig.d.ts

@@ -0,0 +1,4 @@
+import type { ViteUserConfig } from "vitest/config";
+import { type TestProjectsOptions } from "@shivaedev/quality/adapters/testProjects.ts";
+export declare function appTestConfig(conditions?: string[], options?: TestProjectsOptions): ViteUserConfig;
+//# sourceMappingURL=appTestConfig.d.ts.map

package/dist/adapters/appTestConfig.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"appTestConfig.d.ts","sourceRoot":"","sources":["../../src/adapters/appTestConfig.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,KAAK,mBAAmB,EAAgB,MAAM,6CAA6C,CAAC;AAErG,wBAAgB,aAAa,CAAC,UAAU,GAAE,MAAM,EAAO,EAAE,OAAO,GAAE,mBAAwB,GAAG,cAAc,CAa1G"}

package/dist/adapters/appTestConfig.js

@@ -0,0 +1,17 @@
+import { fileURLToPath } from "node:url";
+import { testProjects } from "@shivaedev/quality/adapters/testProjects.ts";
+export function appTestConfig(conditions = [], options = {}) {
+    const server = { resolve: { conditions: [...conditions, "node", "development|production"] } };
+    return {
+        // Vitest loads the global setup in its own environment, which needs the application's conditions to find the generator's sources.
+        environments: { "__vitest__": server },
+        resolve: { conditions: [...conditions, "module", "browser", "development|production"] },
+        ssr: server,
+        test: {
+            ...testProjects(options),
+            globalSetup: [fileURLToPath(import.meta.resolve("#adapters/vitest/setup.ts"))],
+            server: { deps: { inline: [/^@shivaedev\//u] } },
+        },
+    };
+}
+//# sourceMappingURL=appTestConfig.js.map

package/dist/adapters/appTestConfig.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"appTestConfig.js","sourceRoot":"","sources":["../../src/adapters/appTestConfig.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAA4B,YAAY,EAAE,MAAM,6CAA6C,CAAC;AAErG,MAAM,UAAU,aAAa,CAAC,UAAU,GAAa,EAAE,EAAE,OAAO,GAAwB,EAAE;IACzF,MAAM,MAAM,GAAG,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,UAAU,EAAE,MAAM,EAAE,wBAAwB,CAAC,EAAE,EAAE,CAAC;IAC9F,OAAO;QACN,kIAAkI;QAClI,YAAY,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE;QACtC,OAAO,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,wBAAwB,CAAC,EAAE;QACvF,GAAG,EAAE,MAAM;QACX,IAAI,EAAE;YACL,GAAG,YAAY,CAAC,OAAO,CAAC;YACxB,WAAW,EAAE,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,CAAC;YAC9E,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE;SAChD;KACD,CAAC;AACH,CAAC"}

package/dist/adapters/appViteConfig.d.ts

@@ -0,0 +1,26 @@
+import type { PluginOption } from "vite";
+import { type BuildPluginOptions } from "#adapters/vitePlugin.ts";
+export interface AppViteOptions extends BuildPluginOptions {
+    readonly apiPort?: number;
+    readonly webPort?: number;
+}
+export declare function appViteConfig(plugins: PluginOption[], conditions?: string[], proxyPaths?: string[], { webPort, apiPort, ...build }?: AppViteOptions): {
+    plugins: PluginOption[];
+    resolve: {
+        conditions: string[];
+        tsconfigPaths: boolean;
+    };
+    server: {
+        host: string;
+        port: number;
+        proxy: {
+            [k: string]: {
+                changeOrigin: boolean;
+                target: string;
+                ws: boolean;
+            };
+        };
+        strictPort: boolean;
+    };
+};
+//# sourceMappingURL=appViteConfig.d.ts.map

package/dist/adapters/appViteConfig.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"appViteConfig.d.ts","sourceRoot":"","sources":["../../src/adapters/appViteConfig.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,MAAM,CAAC;AACzC,OAAO,EAAE,KAAK,kBAAkB,EAAe,MAAM,yBAAyB,CAAC;AAG/E,MAAM,WAAW,cAAe,SAAQ,kBAAkB;IACzD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAgB,aAAa,CAC5B,OAAO,EAAE,YAAY,EAAE,EACvB,UAAU,GAAE,MAAM,EAAO,EACzB,UAAU,GAAE,MAAM,EAAO,EACzB,EAAE,OAAqC,EAAE,OAAgC,EAAE,GAAG,KAAK,EAAE,GAAE,cAAmB;;;;;;;QAMxG,IAAI;QACJ,IAAI;QACJ,KAAK;;;;;;;QAML,UAAU;;EAGZ"}

package/dist/adapters/appViteConfig.js

@@ -0,0 +1,18 @@
+import { buildPlugin } from "#adapters/vitePlugin.ts";
+import { vitePort } from "#adapters/vitePort.ts";
+export function appViteConfig(plugins, conditions = [], proxyPaths = [], { webPort = vitePort("VITE_PORT", 5173), apiPort = vitePort("PORT", 3000), ...build } = {}) {
+    return {
+        plugins: [...plugins, ...buildPlugin(build)],
+        resolve: { conditions, tsconfigPaths: true },
+        server: {
+            host: "127.0.0.1",
+            port: webPort,
+            proxy: Object.fromEntries(["/api/auth", "/rpc", ...proxyPaths].map((path) => [
+                path,
+                { changeOrigin: false, target: `http://127.0.0.1:${apiPort}`, ws: path === "/rpc" },
+            ])),
+            strictPort: true,
+        },
+    };
+}
+//# sourceMappingURL=appViteConfig.js.map

package/dist/adapters/appViteConfig.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"appViteConfig.js","sourceRoot":"","sources":["../../src/adapters/appViteConfig.ts"],"names":[],"mappings":"AACA,OAAO,EAA2B,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAOjD,MAAM,UAAU,aAAa,CAC5B,OAAuB,EACvB,UAAU,GAAa,EAAE,EACzB,UAAU,GAAa,EAAE,EACzB,EAAE,OAAO,GAAG,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,GAAmB,EAAE;IAE1G,OAAO;QACN,OAAO,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC5C,OAAO,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,IAAI,EAAE;QAC5C,MAAM,EAAE;YACP,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,MAAM,CAAC,WAAW,CACxB,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBAClD,IAAI;gBACJ,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,OAAO,EAAE,EAAE,EAAE,EAAE,IAAI,KAAK,MAAM,EAAE;aACnF,CAAC,CACF;YACD,UAAU,EAAE,IAAI;SAChB;KACD,CAAC;AACH,CAAC"}

package/dist/adapters/bundleCheck.d.ts

@@ -0,0 +1,3 @@
+import type { Plugin } from "vite";
+export declare function bundleCheck(serverOnly: readonly string[]): Plugin;
+//# sourceMappingURL=bundleCheck.d.ts.map

package/dist/adapters/bundleCheck.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundleCheck.d.ts","sourceRoot":"","sources":["../../src/adapters/bundleCheck.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAU,MAAM,MAAM,CAAC;AAkC3C,wBAAgB,WAAW,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAmBjE"}

package/dist/adapters/bundleCheck.js

@@ -0,0 +1,53 @@
+import { isBuiltin } from "node:module";
+import { dirname, join } from "node:path";
+import { Option } from "effect";
+import { runNode } from "#adapters/runNode.ts";
+import { serverCodeIn } from "#serverCode.ts";
+const BROWSER_EXTERNAL = "__vite-browser-external:";
+function graphOf(context) {
+    const modules = new Map();
+    const entries = [];
+    for (const id of context.getModuleIds()) {
+        const info = context.getModuleInfo(id);
+        if (info !== null) {
+            if (info.isEntry) {
+                entries.push(id);
+            }
+            const bare = id.startsWith(BROWSER_EXTERNAL) ? id.slice(BROWSER_EXTERNAL.length) : id;
+            modules.set(id, { builtin: isBuiltin(bare), imports: [...info.importedIds, ...info.dynamicallyImportedIds] });
+        }
+    }
+    return { entries, modules };
+}
+async function markersFrom(context, root) {
+    const importer = join(root, "index.html");
+    async function resolved(specifier) {
+        return Option.fromNullishOr((await context.resolve(specifier, importer))?.id);
+    }
+    return {
+        defineModule: await resolved("@shivaedev/contract/defineModule.ts"),
+        operation: await resolved("@shivaedev/contract/operation.ts"),
+        sql: Option.map(await resolved("effect/sql"), dirname),
+    };
+}
+export function bundleCheck(serverOnly) {
+    let root = ".";
+    return {
+        apply: "build",
+        applyToEnvironment: (environment) => environment.config.consumer === "client",
+        async buildEnd(error) {
+            if (error !== undefined) {
+                return;
+            }
+            const found = await runNode(serverCodeIn(graphOf(this), await markersFrom(this, root), { root, serverOnly }));
+            if (Option.isSome(found)) {
+                this.error(found.value);
+            }
+        },
+        configResolved(resolved) {
+            root = resolved.root;
+        },
+        name: "shivaedev:build-bundle-check",
+    };
+}
+//# sourceMappingURL=bundleCheck.js.map

package/dist/adapters/bundleCheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundleCheck.js","sourceRoot":"","sources":["../../src/adapters/bundleCheck.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAA2D,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAEvG,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAEpD,SAAS,OAAO,CAAC,OAA6B;IAC7C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,CAAC;YACD,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtF,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC/G,CAAC;IACF,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,OAA6B,EAAE,IAAY;IACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC1C,KAAK,UAAU,QAAQ,CAAC,SAAiB;QACxC,OAAO,MAAM,CAAC,aAAa,CAAC,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO;QACN,YAAY,EAAE,MAAM,QAAQ,CAAC,qCAAqC,CAAC;QACnE,SAAS,EAAE,MAAM,QAAQ,CAAC,kCAAkC,CAAC;QAC7D,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;KACtD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,UAA6B;IACxD,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,OAAO;QACN,KAAK,EAAE,OAAO;QACd,kBAAkB,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QAC7E,KAAK,CAAC,QAAQ,CAA6B,KAAK;YAC/C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO;YACR,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;YAC9G,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACzB,CAAC;QACF,CAAC;QACD,cAAc,CAAC,QAAQ;YACtB,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;QACtB,CAAC;QACD,IAAI,EAAE,8BAA8B;KACpC,CAAC;AACH,CAAC"}

package/dist/adapters/copiedCode.d.ts

@@ -0,0 +1,9 @@
+import ts from "typescript";
+import type { CodePart } from "#facts.ts";
+export interface Copying {
+    readonly checker: ts.TypeChecker;
+    readonly label: string;
+    readonly refuse: (message: string) => void;
+}
+export declare function copiedCode(copying: Copying, node: ts.Node): readonly CodePart[];
+//# sourceMappingURL=copiedCode.d.ts.map

package/dist/adapters/copiedCode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"copiedCode.d.ts","sourceRoot":"","sources":["../../src/adapters/copiedCode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,QAAQ,EAAc,MAAM,WAAW,CAAC;AAEtD,MAAM,WAAW,OAAO;IACvB,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IAEjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CAC3C;AAwED,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,SAAS,QAAQ,EAAE,CAsB/E"}

package/dist/adapters/copiedCode.js

@@ -0,0 +1,84 @@
+import ts from "typescript";
+const LOCAL_DECLARATIONS = new Set([
+    ts.SyntaxKind.VariableDeclaration,
+    ts.SyntaxKind.FunctionDeclaration,
+    ts.SyntaxKind.ClassDeclaration,
+    ts.SyntaxKind.InterfaceDeclaration,
+    ts.SyntaxKind.TypeAliasDeclaration,
+    ts.SyntaxKind.EnumDeclaration,
+    ts.SyntaxKind.ModuleDeclaration,
+    ts.SyntaxKind.Parameter,
+    ts.SyntaxKind.BindingElement,
+]);
+function importBinding(declaration) {
+    return ts.isImportSpecifier(declaration) || ts.isImportClause(declaration) || ts.isNamespaceImport(declaration) ? declaration : undefined;
+}
+function clauseOf(binding) {
+    if (ts.isImportClause(binding)) {
+        return binding;
+    }
+    return ts.isNamespaceImport(binding) ? binding.parent : binding.parent.parent;
+}
+function importedName(binding) {
+    if (ts.isImportClause(binding)) {
+        return "default";
+    }
+    return ts.isNamespaceImport(binding) ? "*" : (binding.propertyName ?? binding.name).text;
+}
+function importFact(copying, binding, local) {
+    const clause = clauseOf(binding);
+    const declaration = clause.parent;
+    if (!ts.isStringLiteral(declaration.moduleSpecifier)) {
+        return undefined;
+    }
+    const specifier = declaration.moduleSpecifier.text;
+    const file = declaration.getSourceFile().fileName;
+    if (specifier.startsWith(".")) {
+        copying.refuse(`${copying.label} imports ${local} by the relative path "${specifier}" in ${file}; import it through a package import, such as a # specifier, so the generated file can import it too`);
+        return undefined;
+    }
+    const name = importedName(binding);
+    const target = copying.checker.getSymbolAtLocation(declaration.moduleSpecifier)?.valueDeclaration?.getSourceFile().fileName;
+    const typeOnly = clause.isTypeOnly || (ts.isImportSpecifier(binding) && binding.isTypeOnly);
+    return { local, name, specifier, target, typeOnly, writtenIn: file };
+}
+function referenceOf(copying, node, identifier) {
+    const symbol = ts.isShorthandPropertyAssignment(identifier.parent)
+        ? copying.checker.getShorthandAssignmentValueSymbol(identifier.parent)
+        : copying.checker.getSymbolAtLocation(identifier);
+    const declaration = symbol?.declarations?.[0];
+    if (declaration === undefined) {
+        return undefined;
+    }
+    const binding = importBinding(declaration);
+    if (binding !== undefined) {
+        return importFact(copying, binding, identifier.text);
+    }
+    const inside = declaration.pos >= node.pos && declaration.end <= node.end;
+    const sameFile = declaration.getSourceFile() === node.getSourceFile();
+    return sameFile && !inside && LOCAL_DECLARATIONS.has(declaration.kind) ? "local" : undefined;
+}
+// The code as written, with each imported name kept as its import, so the generated file can import and rename it.
+export function copiedCode(copying, node) {
+    const source = node.getSourceFile();
+    const parts = [];
+    let position = node.getStart(source);
+    function visit(child) {
+        if (ts.isIdentifier(child)) {
+            const reference = referenceOf(copying, node, child);
+            if (reference === "local") {
+                copying.refuse(`${copying.label} uses ${child.text}, which is declared in ${source.fileName}; move it to a module the operation imports it from, such as the module's model file`);
+            }
+            else if (reference !== undefined) {
+                const shorthand = ts.isShorthandPropertyAssignment(child.parent) ? `${child.text}: ` : "";
+                parts.push(source.text.slice(position, child.getStart(source)) + shorthand, reference);
+                position = child.end;
+            }
+        }
+        ts.forEachChild(child, visit);
+    }
+    visit(node);
+    parts.push(source.text.slice(position, node.end));
+    return parts.filter((part) => part !== "");
+}
+//# sourceMappingURL=copiedCode.js.map

package/dist/adapters/copiedCode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"copiedCode.js","sourceRoot":"","sources":["../../src/adapters/copiedCode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAU5B,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IAClC,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,oBAAoB;IAClC,EAAE,CAAC,UAAU,CAAC,oBAAoB;IAClC,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,SAAS;IACvB,EAAE,CAAC,UAAU,CAAC,cAAc;CAC5B,CAAC,CAAC;AAIH,SAAS,aAAa,CAAC,WAA2B;IACjD,OAAO,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3I,CAAC;AAED,SAAS,QAAQ,CAAC,OAAsB;IACvC,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;AAC/E,CAAC;AAED,SAAS,YAAY,CAAC,OAAsB;IAC3C,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,OAAO,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;AAC1F,CAAC;AAED,SAAS,UAAU,CAAC,OAAgB,EAAE,OAAsB,EAAE,KAAa;IAC1E,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,eAAe,CAAC,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC;IACnD,MAAM,IAAI,GAAG,WAAW,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC;IAClD,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,MAAM,CACb,GAAG,OAAO,CAAC,KAAK,YAAY,KAAK,0BAA0B,SAAS,QAAQ,IAAI,sGAAsG,CACtL,CAAC;QACF,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,WAAW,CAAC,eAAe,CAAC,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC;IAC5H,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5F,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AACtE,CAAC;AAED,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAa,EAAE,UAAyB;IAC9E,MAAM,MAAM,GAAG,EAAE,CAAC,6BAA6B,CAAC,UAAU,CAAC,MAAM,CAAC;QACjE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iCAAiC,CAAC,UAAU,CAAC,MAAM,CAAC;QACtE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,WAAW,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;IAC1E,MAAM,QAAQ,GAAG,WAAW,CAAC,aAAa,EAAE,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC;IACtE,OAAO,QAAQ,IAAI,CAAC,MAAM,IAAI,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9F,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,IAAa;IACzD,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACpC,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrC,SAAS,KAAK,CAAC,KAAc;QAC5B,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YACpD,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;gBAC3B,OAAO,CAAC,MAAM,CACb,GAAG,OAAO,CAAC,KAAK,SAAS,KAAK,CAAC,IAAI,0BAA0B,MAAM,CAAC,QAAQ,sFAAsF,CAClK,CAAC;YACH,CAAC;iBAAM,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,EAAE,CAAC,6BAA6B,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1F,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,EAAE,SAAS,CAAC,CAAC;gBACvF,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC;YACtB,CAAC;QACF,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC"}

package/dist/adapters/failuresOf.d.ts

@@ -0,0 +1,5 @@
+import ts from "typescript";
+import { type TypeReading } from "#adapters/typeReading.ts";
+import type { Failure } from "#facts.ts";
+export declare function failuresOf(reading: TypeReading, errors: readonly ts.Type[]): readonly Failure[];
+//# sourceMappingURL=failuresOf.d.ts.map

package/dist/adapters/failuresOf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"failuresOf.d.ts","sourceRoot":"","sources":["../../src/adapters/failuresOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAgC,KAAK,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC1F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AA0BzC,wBAAgB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,SAAS,OAAO,EAAE,CAE/F"}

package/dist/adapters/failuresOf.js

@@ -0,0 +1,29 @@
+import ts from "typescript";
+import { declaredClass, isSchemaClass } from "#adapters/typeReading.ts";
+function failureOf(reading, member) {
+    if (member.flags & ts.TypeFlags.Never) {
+        return undefined;
+    }
+    if (member.getProperty("isRetryable") !== undefined) {
+        return { kind: "retryable" };
+    }
+    const text = reading.checker.typeToString(member);
+    const tagProperty = member.getProperty("_tag");
+    const tag = tagProperty === undefined ? undefined : reading.checker.getTypeOfSymbol(tagProperty);
+    if (tag === undefined || !tag.isStringLiteral()) {
+        return { kind: "untagged", text };
+    }
+    // Object.assign(new NoteChanged(...), { cause }) raises a NoteChanged whose type is an intersection.
+    const parts = member.isIntersection() ? member.types : [member];
+    const symbol = parts.map((part) => part.getSymbol()).find((candidate) => candidate !== undefined && candidate.flags & ts.SymbolFlags.Class);
+    const declared = symbol === undefined ? undefined : declaredClass(reading, symbol);
+    if (symbol === undefined || declared?.exportName === undefined) {
+        return { kind: "unexported", tag: tag.value, text };
+    }
+    return { declared, kind: "class", schema: isSchemaClass(reading, symbol), tag: tag.value };
+}
+// A rejection is the class run raises, so each failure keeps the declaration it came from, never just its shape.
+export function failuresOf(reading, errors) {
+    return errors.flatMap((error) => (error.isUnion() ? error.types : [error])).flatMap((member) => failureOf(reading, member) ?? []);
+}
+//# sourceMappingURL=failuresOf.js.map

package/dist/adapters/failuresOf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"failuresOf.js","sourceRoot":"","sources":["../../src/adapters/failuresOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAE,aAAa,EAAoB,MAAM,0BAA0B,CAAC;AAG1F,SAAS,SAAS,CAAC,OAAoB,EAAE,MAAe;IACvD,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,KAAK,SAAS,EAAE,CAAC;QACrD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC9B,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;IACjG,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,eAAe,EAAE,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACnC,CAAC;IACD,qGAAqG;IACrG,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5I,MAAM,QAAQ,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACnF,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,EAAE,UAAU,KAAK,SAAS,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IACrD,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;AAC5F,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,UAAU,CAAC,OAAoB,EAAE,MAA0B;IAC1E,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AACnI,CAAC"}

package/dist/adapters/isReadonlyProperty.d.ts

@@ -0,0 +1,10 @@
+import ts from "typescript";
+declare module "typescript" {
+    function getCheckFlags(symbol: ts.Symbol): number;
+    function getDeclarationModifierFlagsFromSymbol(symbol: ts.Symbol): ts.ModifierFlags;
+    interface TypeChecker {
+        getExactOptionalProperties: (type: ts.Type) => ts.Symbol[];
+    }
+}
+export declare function isReadonlyProperty(property: ts.Symbol): boolean;
+//# sourceMappingURL=isReadonlyProperty.d.ts.map

package/dist/adapters/isReadonlyProperty.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isReadonlyProperty.d.ts","sourceRoot":"","sources":["../../src/adapters/isReadonlyProperty.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,OAAO,QAAQ,YAAY,CAAC;IAC3B,SAAS,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC;IAClD,SAAS,qCAAqC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC;IACpF,UAAU,WAAW;QACpB,0BAA0B,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC;KAC3D;CACD;AAID,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,GAAG,OAAO,CAK/D"}