niceeval 0.12.2-canary.31 → 0.13.0

package/dist/record/attachment/runtime.d.ts

@@ -1,33 +1,24 @@
-import { Effect, Either, Schema, Stream } from "effect";
+import { Either, Stream } from "effect";
+import { type RecordAttachmentOwnerDefinition } from "../definition/attachment.js";
 import type { RecordAttachmentOwner } from "../model/core.js";
-import { type RecordAttachmentName, type RecordAttachmentSchemaId } from "../model/identifiers.js";
-import { type RecordAttachmentClosureInvalid, type RecordAttachmentDefinitionError, type RecordAttachmentFamilyError, type RecordAttachmentMigrationDefinitionError, type RecordAttachmentPayloadInvalid, type RecordAttachmentRegistryError } from "./errors.js";
-import { type AnyRecordAttachmentFamily, type DeclareRecordAttachmentMigrationUnavailableInput, type DefineJsonRecordAttachmentInput, type DefineRecordAttachmentFamilyInput, type DefineRecordAttachmentMigrationInput, type JsonRecordAttachmentDefinition, type RecordAttachmentBlobBuild, type RecordAttachmentBlobBuilder, type RecordAttachmentFamily, type RecordAttachmentJson, type RecordAttachmentMigration, type RecordAttachmentMigrationEdge, type RecordAttachmentMigrationResolution, type RecordAttachmentRegistry, type RecordAttachmentValue, type RecordAttachmentWrite, type RecordBlobDrafts, type RecordBlobRef, type RecordBlobSource, type RecordBlobErrors, type RecordBlobRequirements } from "./types.js";
-/**
- * @internal Reader/storage integration mints hydrated refs without accepting a
- * disk key at the public API boundary.
- */
-export declare function makeRecordBlobRef(): RecordBlobRef;
+import { type RecordAttachmentClosureInvalid, type RecordAttachmentDefinitionError, type RecordAttachmentPayloadInvalid } from "./errors.js";
+import { type FixedAttachmentWriteSpec, type RecordAttachmentBlobBuild, type RecordAttachmentBlobBuilder, type RecordAttachmentBlobs, type RecordAttachmentMaterializedBlob, type RecordAttachmentPayloadSnapshot, type RecordAttachmentWrite, type RecordBlobDrafts, type RecordBlobErrors, type RecordBlobRef, type RecordBlobRequirements, type RecordBlobSource } from "./types.js";
+export { isRecordBlobRef, makeRecordBlobRef } from "./blob-ref.js";
 /** Build a source capability from an Effect stream; raw bytes never enter this API. */
 export declare function makeRecordBlobSource<E, R>(stream: Stream.Stream<Uint8Array, E, R>): RecordBlobSource<E, R>;
-/** Define a third-party JSON Attachment. `niceeval.*` remains package-reserved. */
-export declare function defineJsonRecordAttachment<const Owner extends RecordAttachmentOwner, S extends Schema.Schema.AnyNoContext>(input: DefineJsonRecordAttachmentInput<Owner, S>): Either.Either<JsonRecordAttachmentDefinition<Owner, Schema.Schema.Type<S>>, RecordAttachmentDefinitionError>;
-/** @internal Built-ins use the same validation but are the only `niceeval.*` authority. */
-export declare function defineBuiltinJsonRecordAttachment<const Owner extends RecordAttachmentOwner, S extends Schema.Schema.AnyNoContext>(input: DefineJsonRecordAttachmentInput<Owner, S>): Either.Either<JsonRecordAttachmentDefinition<Owner, Schema.Schema.Type<S>>, RecordAttachmentDefinitionError>;
-/** Exact decode at the JSON boundary. Registered in-memory refs are allowed only for integration hydration. */
-export declare function decodeJsonRecordAttachmentPayload<Owner extends RecordAttachmentOwner, Payload>(definition: JsonRecordAttachmentDefinition<Owner, Payload>, input: unknown): Either.Either<Payload, RecordAttachmentPayloadInvalid>;
-/** Exact encode at the JSON boundary. No Schema parse tree is leaked as public data. */
-export declare function encodeJsonRecordAttachmentPayload<Owner extends RecordAttachmentOwner, Payload>(definition: JsonRecordAttachmentDefinition<Owner, Payload>, payload: Payload): Either.Either<RecordAttachmentJson, RecordAttachmentPayloadInvalid>;
 /**
- * The only public generic writer builder. It captures its family, minted refs,
- * and sources; callers cannot provide a name, path, key, or raw bytes.
+ * Mint the sole owner-local primitive from a static declaration value. This is
+ * deliberately not a registration API: all identity comes from the caller's
+ * exact fixed declaration and no global table is kept here.
  */
-export declare function makeRecordAttachmentWrite<Owner extends RecordAttachmentOwner, Payload, const Blobs extends RecordBlobDrafts>(family: RecordAttachmentFamily<Owner, Payload>, build: (blobs: RecordAttachmentBlobBuilder) => RecordAttachmentBlobBuild<Payload, Blobs>): RecordAttachmentWrite<Owner, RecordBlobErrors<Blobs>, RecordBlobRequirements<Blobs>>;
-/** Pure closure check used by the writer before any Stream is consumed. */
+export declare function makeFixedAttachmentWriteSpec<Owner extends RecordAttachmentOwner, Payload>(ownerDefinition: RecordAttachmentOwnerDefinition<Owner, Payload>): Either.Either<FixedAttachmentWriteSpec<Owner, Payload>, RecordAttachmentDefinitionError>;
+/** Build one opaque write from a genuine fixed owner primitive. */
+export declare function makeFixedRecordAttachmentWrite<Owner extends RecordAttachmentOwner, Payload, const Blobs extends RecordBlobDrafts>(fixed: FixedAttachmentWriteSpec<Owner, Payload>, build: (blobs: RecordAttachmentBlobBuilder) => RecordAttachmentBlobBuild<Payload, Blobs>): RecordAttachmentWrite<Owner, RecordBlobErrors<Blobs>, RecordBlobRequirements<Blobs>>;
+/** Pure closure check used before any blob Stream is consumed. */
 export declare function validateRecordAttachmentWrite<Owner extends RecordAttachmentOwner, E, R>(write: RecordAttachmentWrite<Owner, E, R>): Either.Either<void, RecordAttachmentClosureInvalid>;
-/** @internal The integration writer consumes this only after closure validation. */
+/** @internal Integration writer consumes this only after closure validation. */
 export interface RecordAttachmentWriteContents<Owner extends RecordAttachmentOwner, Payload, E, R> {
-    readonly definition: JsonRecordAttachmentDefinition<Owner, Payload>;
+    readonly fixed: FixedAttachmentWriteSpec<Owner, Payload>;
     readonly payload: Payload;
     readonly blobs: readonly {
         readonly ref: RecordBlobRef;
@@ -36,51 +27,17 @@ export interface RecordAttachmentWriteContents<Owner extends RecordAttachmentOwn
 }
 /** @internal Extract captured sources without exposing a raw write facade. */
 export declare function recordAttachmentWriteContents<Owner extends RecordAttachmentOwner, Payload, E, R>(write: RecordAttachmentWrite<Owner, E, R>): Either.Either<RecordAttachmentWriteContents<Owner, Payload, E, R>, RecordAttachmentClosureInvalid>;
-/** @internal Materialized owner-local bytes supplied by the reader integration. */
-export interface RecordAttachmentMaterializedBlob {
-    readonly ref: RecordBlobRef;
-    readonly bytes: Uint8Array;
+/** @internal The reader-only closure result; it never crosses the Host API. */
+export interface FixedMaterializedAttachment<Payload> {
+    readonly value: RecordAttachmentPayloadSnapshot<Payload>;
+    readonly blobs: RecordAttachmentBlobs;
 }
 /**
- * @internal Create the self-contained value returned by an available reader
- * state. It performs no I/O and defensively copies all supplied bytes.
- */
-export declare function makeRecordAttachmentValue<Owner extends RecordAttachmentOwner, Payload>(definition: JsonRecordAttachmentDefinition<Owner, Payload>, payload: Payload, blobs: readonly RecordAttachmentMaterializedBlob[]): Either.Either<RecordAttachmentValue<Payload>, RecordAttachmentPayloadInvalid | RecordAttachmentClosureInvalid>;
-/** @internal Rejects a forged value before storage/migration integration accesses it. */
-export declare function isRecordAttachmentValue(value: unknown): value is RecordAttachmentValue<unknown>;
-/** @internal Exact runtime accessor for migration and projection integration. */
-export declare function recordAttachmentValueDefinition<Payload>(value: RecordAttachmentValue<Payload>): JsonRecordAttachmentDefinition<RecordAttachmentOwner, Payload> | undefined;
-/** Define one lossless adjacent edge. The converter is stored but never run here. */
-export declare function defineRecordAttachmentMigration<Owner extends RecordAttachmentOwner, From, To, E, R>(input: DefineRecordAttachmentMigrationInput<Owner, From, To, E, R>): Either.Either<RecordAttachmentMigration<Owner, E, R>, RecordAttachmentMigrationDefinitionError>;
-/** Declare a settled, adjacent non-lossless edge. Family construction validates it. */
-export declare function declareRecordAttachmentMigrationUnavailable<Owner extends RecordAttachmentOwner, From, To>(input: DeclareRecordAttachmentMigrationUnavailableInput<Owner, From, To>): RecordAttachmentMigrationEdge<Owner>;
-/**
- * Define one complete family. Every historic version to the current definition
- * must be linked by exactly one adjacent edge; disconnected, duplicate, forked,
- * skipped, reverse, and future edges are all rejected before storage observes it.
- */
-export declare function defineRecordAttachmentFamily<Owner extends RecordAttachmentOwner, Current>(input: DefineRecordAttachmentFamilyInput<Owner, Current>): Either.Either<RecordAttachmentFamily<Owner, Current>, RecordAttachmentFamilyError>;
-/** Resolve a known historical schema against a genuine current family. */
-export declare function resolveRecordAttachmentMigration<Owner extends RecordAttachmentOwner, Payload>(family: RecordAttachmentFamily<Owner, Payload>, sourceSchemaId: RecordAttachmentSchemaId): RecordAttachmentMigrationResolution | undefined;
-/**
- * @internal Run one trusted converter at the integration boundary. `suspend`
- * turns a callback throw into an Effect defect while preserving its explicit E
- * failures and any fiber interruption without catch/recovery.
+ * Materialize a payload that the fixed owner's exact decoder has just accepted.
+ *
+ * The reader already performed bytes -> canonical JSON -> exact decode. Re-encoding,
+ * cloning, and decoding that same value here neither strengthens the disk trust
+ * boundary nor adds an owner check. Blob closure, budgets, owner verification, and
+ * the final immutable snapshot remain mandatory.
  */
-export declare function runRecordAttachmentMigration<Owner extends RecordAttachmentOwner, From, E, R>(migration: RecordAttachmentMigration<Owner, E, R>, source: RecordAttachmentValue<From>): Effect.Effect<RecordAttachmentWrite<Owner, E, R>, E, R>;
-/** Define a pure installed-family registry without touching storage or services. */
-export declare function defineRecordAttachmentRegistry(input: readonly AnyRecordAttachmentFamily[] | {
-    readonly families: readonly AnyRecordAttachmentFamily[];
-}): Either.Either<RecordAttachmentRegistry, RecordAttachmentRegistryError>;
-/** @internal Exact lookup used by reader/migration integration. */
-export declare function recordAttachmentRegistryFamily(registry: RecordAttachmentRegistry, owner: RecordAttachmentOwner, name: RecordAttachmentName): AnyRecordAttachmentFamily | undefined;
-/** @internal Runtime guard for package-private integration boundaries. */
-export declare function isJsonRecordAttachmentDefinition(value: unknown): value is JsonRecordAttachmentDefinition<RecordAttachmentOwner, unknown>;
-/** @internal Runtime guard for genuine family capabilities. */
-export declare function isRecordAttachmentFamily(value: unknown): value is RecordAttachmentFamily<RecordAttachmentOwner, unknown>;
-/** @internal Returns the exact registered current definition, never a field copy. */
-export declare function recordAttachmentFamilyCurrentDefinition<Owner extends RecordAttachmentOwner, Payload>(family: RecordAttachmentFamily<Owner, Payload>): JsonRecordAttachmentDefinition<Owner, Payload> | undefined;
-/** @internal Reads owner only from a genuine family registry record. */
-export declare function recordAttachmentFamilyOwner<Owner extends RecordAttachmentOwner, Payload>(family: RecordAttachmentFamily<Owner, Payload>): Owner | undefined;
-/** @internal Runtime guard for a genuine installed registry. */
-export declare function isRecordAttachmentRegistry(value: unknown): value is RecordAttachmentRegistry;
+export declare function makeFixedRecordAttachmentValueFromDecoded<Owner extends RecordAttachmentOwner, Payload>(fixed: FixedAttachmentWriteSpec<Owner, Payload>, payload: Payload, blobs: readonly RecordAttachmentMaterializedBlob[]): Either.Either<FixedMaterializedAttachment<Payload>, RecordAttachmentPayloadInvalid | RecordAttachmentClosureInvalid>;

package/dist/record/attachment/runtime.js

@@ -1,52 +1,20 @@
 import { createRequire as __niceevalCreateRequire } from "node:module";
 const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
 const __niceevalCanonical = __niceevalRequire("./runtime.cjs");
-const __niceevalExport0 = __niceevalCanonical["declareRecordAttachmentMigrationUnavailable"];
-export { __niceevalExport0 as declareRecordAttachmentMigrationUnavailable };
-const __niceevalExport1 = __niceevalCanonical["decodeJsonRecordAttachmentPayload"];
-export { __niceevalExport1 as decodeJsonRecordAttachmentPayload };
-const __niceevalExport2 = __niceevalCanonical["defineBuiltinJsonRecordAttachment"];
-export { __niceevalExport2 as defineBuiltinJsonRecordAttachment };
-const __niceevalExport3 = __niceevalCanonical["defineJsonRecordAttachment"];
-export { __niceevalExport3 as defineJsonRecordAttachment };
-const __niceevalExport4 = __niceevalCanonical["defineRecordAttachmentFamily"];
-export { __niceevalExport4 as defineRecordAttachmentFamily };
-const __niceevalExport5 = __niceevalCanonical["defineRecordAttachmentMigration"];
-export { __niceevalExport5 as defineRecordAttachmentMigration };
-const __niceevalExport6 = __niceevalCanonical["defineRecordAttachmentRegistry"];
-export { __niceevalExport6 as defineRecordAttachmentRegistry };
-const __niceevalExport7 = __niceevalCanonical["encodeJsonRecordAttachmentPayload"];
-export { __niceevalExport7 as encodeJsonRecordAttachmentPayload };
-const __niceevalExport8 = __niceevalCanonical["isJsonRecordAttachmentDefinition"];
-export { __niceevalExport8 as isJsonRecordAttachmentDefinition };
-const __niceevalExport9 = __niceevalCanonical["isRecordAttachmentFamily"];
-export { __niceevalExport9 as isRecordAttachmentFamily };
-const __niceevalExport10 = __niceevalCanonical["isRecordAttachmentRegistry"];
-export { __niceevalExport10 as isRecordAttachmentRegistry };
-const __niceevalExport11 = __niceevalCanonical["isRecordAttachmentValue"];
-export { __niceevalExport11 as isRecordAttachmentValue };
-const __niceevalExport12 = __niceevalCanonical["makeRecordAttachmentValue"];
-export { __niceevalExport12 as makeRecordAttachmentValue };
-const __niceevalExport13 = __niceevalCanonical["makeRecordAttachmentWrite"];
-export { __niceevalExport13 as makeRecordAttachmentWrite };
-const __niceevalExport14 = __niceevalCanonical["makeRecordBlobRef"];
-export { __niceevalExport14 as makeRecordBlobRef };
-const __niceevalExport15 = __niceevalCanonical["makeRecordBlobSource"];
-export { __niceevalExport15 as makeRecordBlobSource };
-const __niceevalExport16 = __niceevalCanonical["recordAttachmentFamilyCurrentDefinition"];
-export { __niceevalExport16 as recordAttachmentFamilyCurrentDefinition };
-const __niceevalExport17 = __niceevalCanonical["recordAttachmentFamilyOwner"];
-export { __niceevalExport17 as recordAttachmentFamilyOwner };
-const __niceevalExport18 = __niceevalCanonical["recordAttachmentRegistryFamily"];
-export { __niceevalExport18 as recordAttachmentRegistryFamily };
-const __niceevalExport19 = __niceevalCanonical["recordAttachmentValueDefinition"];
-export { __niceevalExport19 as recordAttachmentValueDefinition };
-const __niceevalExport20 = __niceevalCanonical["recordAttachmentWriteContents"];
-export { __niceevalExport20 as recordAttachmentWriteContents };
-const __niceevalExport21 = __niceevalCanonical["resolveRecordAttachmentMigration"];
-export { __niceevalExport21 as resolveRecordAttachmentMigration };
-const __niceevalExport22 = __niceevalCanonical["runRecordAttachmentMigration"];
-export { __niceevalExport22 as runRecordAttachmentMigration };
-const __niceevalExport23 = __niceevalCanonical["validateRecordAttachmentWrite"];
-export { __niceevalExport23 as validateRecordAttachmentWrite };
+const __niceevalExport0 = __niceevalCanonical["isRecordBlobRef"];
+export { __niceevalExport0 as isRecordBlobRef };
+const __niceevalExport1 = __niceevalCanonical["makeFixedAttachmentWriteSpec"];
+export { __niceevalExport1 as makeFixedAttachmentWriteSpec };
+const __niceevalExport2 = __niceevalCanonical["makeFixedRecordAttachmentValueFromDecoded"];
+export { __niceevalExport2 as makeFixedRecordAttachmentValueFromDecoded };
+const __niceevalExport3 = __niceevalCanonical["makeFixedRecordAttachmentWrite"];
+export { __niceevalExport3 as makeFixedRecordAttachmentWrite };
+const __niceevalExport4 = __niceevalCanonical["makeRecordBlobRef"];
+export { __niceevalExport4 as makeRecordBlobRef };
+const __niceevalExport5 = __niceevalCanonical["makeRecordBlobSource"];
+export { __niceevalExport5 as makeRecordBlobSource };
+const __niceevalExport6 = __niceevalCanonical["recordAttachmentWriteContents"];
+export { __niceevalExport6 as recordAttachmentWriteContents };
+const __niceevalExport7 = __niceevalCanonical["validateRecordAttachmentWrite"];
+export { __niceevalExport7 as validateRecordAttachmentWrite };
 //# sourceMappingURL=runtime.js.map

package/dist/record/attachment/types.cjs

@@ -1,25 +1,12 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.recordAttachmentValueBrand = exports.recordAttachmentRegistryBrand = exports.recordAttachmentMigrationBrand = exports.recordAttachmentMigrationEdgeBrand = exports.recordAttachmentFamilyBrand = exports.recordAttachmentDefinitionBrand = exports.recordAttachmentWriteBrand = exports.recordAttachmentBlobBuilderBrand = exports.recordAttachmentBlobDraftBrand = exports.recordAttachmentBlobSourceBrand = exports.recordAttachmentBlobRefBrand = void 0;
+exports.fixedAttachmentWriteSpecBrand = exports.recordAttachmentWriteBrand = exports.recordAttachmentBlobBuilderBrand = exports.recordAttachmentBlobDraftBrand = exports.recordAttachmentBlobSourceBrand = void 0;
 exports.recordAttachmentTypeWitness = recordAttachmentTypeWitness;
-/**
- * The symbols deliberately stay module-private. They make accidental structural
- * manufacture inconvenient at the type boundary; runtime authority lives in the
- * module-private WeakMaps in `runtime.ts`.
- */
-const recordBlobRefTypeId = Symbol("@niceeval/record/RecordBlobRef");
 const recordBlobSourceTypeId = Symbol("@niceeval/record/RecordBlobSource");
 const recordAttachmentBlobDraftTypeId = Symbol("@niceeval/record/RecordAttachmentBlobDraft");
 const recordAttachmentBlobBuilderTypeId = Symbol("@niceeval/record/RecordAttachmentBlobBuilder");
 const recordAttachmentWriteTypeId = Symbol("@niceeval/record/RecordAttachmentWrite");
-const recordAttachmentDefinitionTypeId = Symbol("@niceeval/record/JsonRecordAttachmentDefinition");
-const recordAttachmentFamilyTypeId = Symbol("@niceeval/record/RecordAttachmentFamily");
-const recordAttachmentMigrationEdgeTypeId = Symbol("@niceeval/record/RecordAttachmentMigrationEdge");
-const recordAttachmentMigrationTypeId = Symbol("@niceeval/record/RecordAttachmentMigration");
-const recordAttachmentRegistryTypeId = Symbol("@niceeval/record/RecordAttachmentRegistry");
-const recordAttachmentValueTypeId = Symbol("@niceeval/record/RecordAttachmentValue");
-/** @internal Runtime factories need these symbols; WeakMap membership is authority. */
-exports.recordAttachmentBlobRefBrand = recordBlobRefTypeId;
+const fixedAttachmentWriteSpecTypeId = Symbol("@niceeval/record/FixedAttachmentWriteSpec");
 /** @internal */
 exports.recordAttachmentBlobSourceBrand = recordBlobSourceTypeId;
 /** @internal */
@@ -29,17 +16,7 @@ exports.recordAttachmentBlobBuilderBrand = recordAttachmentBlobBuilderTypeId;
 /** @internal */
 exports.recordAttachmentWriteBrand = recordAttachmentWriteTypeId;
 /** @internal */
-exports.recordAttachmentDefinitionBrand = recordAttachmentDefinitionTypeId;
-/** @internal */
-exports.recordAttachmentFamilyBrand = recordAttachmentFamilyTypeId;
-/** @internal */
-exports.recordAttachmentMigrationEdgeBrand = recordAttachmentMigrationEdgeTypeId;
-/** @internal */
-exports.recordAttachmentMigrationBrand = recordAttachmentMigrationTypeId;
-/** @internal */
-exports.recordAttachmentRegistryBrand = recordAttachmentRegistryTypeId;
-/** @internal */
-exports.recordAttachmentValueBrand = recordAttachmentValueTypeId;
+exports.fixedAttachmentWriteSpecBrand = fixedAttachmentWriteSpecTypeId;
 /** @internal A runtime-only witness for nominal fields. It must never run. */
 function recordAttachmentTypeWitness() {
     throw new Error("RecordAttachment runtime type witnesses are never callable.");

package/dist/record/attachment/types.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":";;;AA2CA,kEAEC;AAzCD;;;;GAIG;AACH,MAAM,mBAAmB,GAAkB,MAAM,CAAC,gCAAgC,CAAC,CAAC;AACpF,MAAM,sBAAsB,GAAkB,MAAM,CAAC,mCAAmC,CAAC,CAAC;AAC1F,MAAM,+BAA+B,GAAkB,MAAM,CAAC,4CAA4C,CAAC,CAAC;AAC5G,MAAM,iCAAiC,GAAkB,MAAM,CAAC,8CAA8C,CAAC,CAAC;AAChH,MAAM,2BAA2B,GAAkB,MAAM,CAAC,wCAAwC,CAAC,CAAC;AACpG,MAAM,gCAAgC,GAAkB,MAAM,CAAC,iDAAiD,CAAC,CAAC;AAClH,MAAM,4BAA4B,GAAkB,MAAM,CAAC,yCAAyC,CAAC,CAAC;AACtG,MAAM,mCAAmC,GAAkB,MAAM,CAAC,gDAAgD,CAAC,CAAC;AACpH,MAAM,+BAA+B,GAAkB,MAAM,CAAC,4CAA4C,CAAC,CAAC;AAC5G,MAAM,8BAA8B,GAAkB,MAAM,CAAC,2CAA2C,CAAC,CAAC;AAC1G,MAAM,2BAA2B,GAAkB,MAAM,CAAC,wCAAwC,CAAC,CAAC;AACpG,uFAAuF;AAC1E,QAAA,4BAA4B,GAAG,mBAAmB,CAAC;AAChE,gBAAgB;AACH,QAAA,+BAA+B,GAAG,sBAAsB,CAAC;AACtE,gBAAgB;AACH,QAAA,8BAA8B,GAAG,+BAA+B,CAAC;AAC9E,gBAAgB;AACH,QAAA,gCAAgC,GAAG,iCAAiC,CAAC;AAClF,gBAAgB;AACH,QAAA,0BAA0B,GAAG,2BAA2B,CAAC;AACtE,gBAAgB;AACH,QAAA,+BAA+B,GAAG,gCAAgC,CAAC;AAChF,gBAAgB;AACH,QAAA,2BAA2B,GAAG,4BAA4B,CAAC;AACxE,gBAAgB;AACH,QAAA,kCAAkC,GAAG,mCAAmC,CAAC;AACtF,gBAAgB;AACH,QAAA,8BAA8B,GAAG,+BAA+B,CAAC;AAC9E,gBAAgB;AACH,QAAA,6BAA6B,GAAG,8BAA8B,CAAC;AAC5E,gBAAgB;AACH,QAAA,0BAA0B,GAAG,2BAA2B,CAAC;AACtE,8EAA8E;AAC9E,SAAgB,2BAA2B;IACvC,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;AACnF,CAAC","sourcesContent":["import type { Either, Effect, Schema, Stream } from \"effect\";\nimport type { RecordAttachmentOwner } from \"../model/core.ts\";\nimport type { RecordAttachmentName, RecordAttachmentSchemaId, } from \"../model/identifiers.ts\";\nimport type { RecordAttachmentDefinitionError, RecordAttachmentFamilyError, RecordAttachmentMigrationDefinitionError, RecordAttachmentRegistryError, RecordAttachmentPayloadInvalid, RecordAttachmentClosureInvalid, } from \"./errors.ts\";\n/**\n * The symbols deliberately stay module-private. They make accidental structural\n * manufacture inconvenient at the type boundary; runtime authority lives in the\n * module-private WeakMaps in `runtime.ts`.\n */\nconst recordBlobRefTypeId: unique symbol = Symbol(\"@niceeval/record/RecordBlobRef\");\nconst recordBlobSourceTypeId: unique symbol = Symbol(\"@niceeval/record/RecordBlobSource\");\nconst recordAttachmentBlobDraftTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentBlobDraft\");\nconst recordAttachmentBlobBuilderTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentBlobBuilder\");\nconst recordAttachmentWriteTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentWrite\");\nconst recordAttachmentDefinitionTypeId: unique symbol = Symbol(\"@niceeval/record/JsonRecordAttachmentDefinition\");\nconst recordAttachmentFamilyTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentFamily\");\nconst recordAttachmentMigrationEdgeTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentMigrationEdge\");\nconst recordAttachmentMigrationTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentMigration\");\nconst recordAttachmentRegistryTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentRegistry\");\nconst recordAttachmentValueTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentValue\");\n/** @internal Runtime factories need these symbols; WeakMap membership is authority. */\nexport const recordAttachmentBlobRefBrand = recordBlobRefTypeId;\n/** @internal */\nexport const recordAttachmentBlobSourceBrand = recordBlobSourceTypeId;\n/** @internal */\nexport const recordAttachmentBlobDraftBrand = recordAttachmentBlobDraftTypeId;\n/** @internal */\nexport const recordAttachmentBlobBuilderBrand = recordAttachmentBlobBuilderTypeId;\n/** @internal */\nexport const recordAttachmentWriteBrand = recordAttachmentWriteTypeId;\n/** @internal */\nexport const recordAttachmentDefinitionBrand = recordAttachmentDefinitionTypeId;\n/** @internal */\nexport const recordAttachmentFamilyBrand = recordAttachmentFamilyTypeId;\n/** @internal */\nexport const recordAttachmentMigrationEdgeBrand = recordAttachmentMigrationEdgeTypeId;\n/** @internal */\nexport const recordAttachmentMigrationBrand = recordAttachmentMigrationTypeId;\n/** @internal */\nexport const recordAttachmentRegistryBrand = recordAttachmentRegistryTypeId;\n/** @internal */\nexport const recordAttachmentValueBrand = recordAttachmentValueTypeId;\n/** @internal A runtime-only witness for nominal fields. It must never run. */\nexport function recordAttachmentTypeWitness<T>(): T {\n    throw new Error(\"RecordAttachment runtime type witnesses are never callable.\");\n}\n/** A package-minted, owner-local blob handle. It deliberately exposes no key. */\nexport interface RecordBlobRef {\n    readonly [recordBlobRefTypeId]: () => void;\n}\n/**\n * A source is an Effect Stream capability, never a raw bytes payload. The\n * runtime verifies the exact object created by `makeRecordBlobSource` before a\n * builder can retain it.\n */\nexport interface RecordBlobSource<out E, out R> {\n    readonly stream: Stream.Stream<Uint8Array, E, R>;\n    readonly [recordBlobSourceTypeId]: () => {\n        readonly error: E;\n        readonly requirements: R;\n    };\n}\n/** A definition owns one exact JSON schema and blob projection. */\nexport interface JsonRecordAttachmentDefinition<out Owner extends RecordAttachmentOwner, Payload> {\n    readonly owner: Owner;\n    readonly name: RecordAttachmentName;\n    readonly schemaId: RecordAttachmentSchemaId;\n    readonly blobRefs: (payload: Payload) => readonly RecordBlobRef[];\n    readonly [recordAttachmentDefinitionTypeId]: () => {\n        readonly owner: Owner;\n        readonly payload: Payload;\n    };\n}\n/** A draft is minted only by the builder that owns its source stream. */\nexport interface RecordAttachmentBlobDraft<out E, out R> {\n    readonly ref: RecordBlobRef;\n    readonly [recordAttachmentBlobDraftTypeId]: () => {\n        readonly error: E;\n        readonly requirements: R;\n    };\n}\nexport type RecordBlobDrafts = readonly RecordAttachmentBlobDraft<unknown, unknown>[];\nexport type RecordBlobErrors<Blobs extends RecordBlobDrafts> = [\n    Blobs[number]\n] extends [\n    never\n] ? never : Blobs[number] extends RecordAttachmentBlobDraft<infer E, unknown> ? E : never;\nexport type RecordBlobRequirements<Blobs extends RecordBlobDrafts> = [\n    Blobs[number]\n] extends [\n    never\n] ? never : Blobs[number] extends RecordAttachmentBlobDraft<unknown, infer R> ? R : never;\nexport interface RecordAttachmentBlobBuilder {\n    readonly add: <E, R>(source: RecordBlobSource<E, R>) => RecordAttachmentBlobDraft<E, R>;\n    readonly [recordAttachmentBlobBuilderTypeId]: () => void;\n}\nexport interface RecordAttachmentBlobBuild<Payload, Blobs extends RecordBlobDrafts> {\n    readonly payload: Payload;\n    readonly blobs: Blobs;\n}\n/** Opaque captured write consumed by the generic Record writer. */\nexport interface RecordAttachmentWrite<out Owner extends RecordAttachmentOwner, out E, out R> {\n    readonly [recordAttachmentWriteTypeId]: () => {\n        readonly owner: Owner;\n        readonly error: E;\n        readonly requirements: R;\n    };\n}\n/** The deep-frozen, self-contained part of an available Attachment read. */\nexport type RecordAttachmentPayloadSnapshot<Payload> = \n// Keep primitive brands intact before the object branch. In particular,\n// Effect/Brand strings must remain their original branded string types.\nPayload extends null | undefined | string | number | boolean | bigint | symbol ? Payload : Payload extends RecordBlobRef ? Payload : Payload extends readonly (infer Item)[] ? readonly RecordAttachmentPayloadSnapshot<Item>[] : Payload extends object ? {\n    readonly [Key in keyof Payload]: RecordAttachmentPayloadSnapshot<Payload[Key]>;\n} : Payload;\nexport interface RecordBlobHandleInvalid {\n    readonly code: \"record-blob-handle-invalid\";\n}\nexport interface RecordAttachmentBlobs {\n    readonly refs: () => readonly RecordBlobRef[];\n    readonly bytes: (ref: RecordBlobRef) => Either.Either<Uint8Array, RecordBlobHandleInvalid>;\n}\n/** A materialized value remains usable after the reader Scope has closed. */\nexport interface RecordAttachmentValue<out Payload> {\n    readonly payload: RecordAttachmentPayloadSnapshot<Payload>;\n    readonly blobs: RecordAttachmentBlobs;\n    readonly [recordAttachmentValueTypeId]: () => Payload;\n}\n/** Current schema plus its complete, adjacent evolution graph. */\nexport interface RecordAttachmentFamily<out Owner extends RecordAttachmentOwner, out Payload> {\n    readonly [recordAttachmentFamilyTypeId]: () => {\n        readonly owner: Owner;\n        readonly payload: Payload;\n    };\n}\nexport interface RecordAttachmentMigrationEdge<out Owner extends RecordAttachmentOwner> {\n    readonly [recordAttachmentMigrationEdgeTypeId]: () => Owner;\n}\nexport interface RecordAttachmentMigration<out Owner extends RecordAttachmentOwner, out E, out R> extends RecordAttachmentMigrationEdge<Owner> {\n    readonly [recordAttachmentMigrationTypeId]: () => {\n        readonly error: E;\n        readonly requirements: R;\n    };\n}\nexport interface RecordAttachmentMigrationTarget<Owner extends RecordAttachmentOwner, To> {\n    readonly create: <const Blobs extends RecordBlobDrafts>(build: (blobs: RecordAttachmentBlobBuilder) => RecordAttachmentBlobBuild<To, Blobs>) => RecordAttachmentWrite<Owner, RecordBlobErrors<Blobs>, RecordBlobRequirements<Blobs>>;\n}\n/** A pure lookup registry for the installed Attachment families. */\nexport interface RecordAttachmentRegistry {\n    readonly [recordAttachmentRegistryTypeId]: () => void;\n}\nexport type AnyRecordAttachmentFamily = RecordAttachmentFamily<\"run\", unknown> | RecordAttachmentFamily<\"attempt\", unknown>;\n/** JSON-compatible encoded values, with package-minted refs as the sole in-memory exception. */\nexport type RecordAttachmentJson = null | boolean | number | string | RecordBlobRef | readonly RecordAttachmentJson[] | {\n    readonly [key: string]: RecordAttachmentJson;\n};\n/**\n * Definition callbacks only observe a package-owned payload. Bivariance keeps\n * ordinary named interfaces ergonomic when Effect's Struct type is readonly;\n * the definition still stores Schema.Type<S> as its exact public payload type.\n */\nexport type RecordAttachmentBlobRefs<Payload> = {\n    bivarianceHack(payload: Payload): readonly RecordBlobRef[];\n}[\"bivarianceHack\"];\nexport type DefineJsonRecordAttachmentInput<Owner extends RecordAttachmentOwner, S extends Schema.Schema.AnyNoContext> = {\n    readonly owner: Owner;\n    readonly name: string;\n    readonly schemaId: string;\n    readonly schema: S;\n    readonly blobRefs: RecordAttachmentBlobRefs<Schema.Schema.Type<S>>;\n};\nexport type DefineRecordAttachmentMigrationInput<Owner extends RecordAttachmentOwner, From, To, E, R> = {\n    readonly from: JsonRecordAttachmentDefinition<Owner, From>;\n    readonly to: JsonRecordAttachmentDefinition<Owner, To>;\n    readonly convert: (source: RecordAttachmentValue<From>, target: RecordAttachmentMigrationTarget<Owner, To>) => Effect.Effect<RecordAttachmentWrite<Owner, E, R>, E, R>;\n};\nexport type DeclareRecordAttachmentMigrationUnavailableInput<Owner extends RecordAttachmentOwner, From, To> = {\n    readonly from: JsonRecordAttachmentDefinition<Owner, From>;\n    readonly to: JsonRecordAttachmentDefinition<Owner, To>;\n    readonly reason: string;\n};\nexport type DefineRecordAttachmentFamilyInput<Owner extends RecordAttachmentOwner, Current> = {\n    readonly current: JsonRecordAttachmentDefinition<Owner, Current>;\n    readonly migrations: readonly RecordAttachmentMigrationEdge<Owner>[];\n};\nexport type RecordAttachmentMigrationResolution = {\n    readonly state: \"current\";\n} | {\n    readonly state: \"migration-required\";\n    readonly from: RecordAttachmentSchemaId;\n    readonly to: RecordAttachmentSchemaId;\n    readonly edges: readonly RecordAttachmentMigrationEdge<RecordAttachmentOwner>[];\n} | {\n    readonly state: \"migration-unavailable\";\n    readonly from: RecordAttachmentSchemaId;\n    readonly to: RecordAttachmentSchemaId;\n    readonly reason: string;\n} | {\n    readonly state: \"unsupported\";\n};\n/** Kept here so public operation signatures retain their stable error unions. */\nexport type RecordAttachmentRuntimeErrors = RecordAttachmentDefinitionError | RecordAttachmentPayloadInvalid | RecordAttachmentClosureInvalid | RecordAttachmentMigrationDefinitionError | RecordAttachmentFamilyError | RecordAttachmentRegistryError;\n"]}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":";;;AAqBA,kEAEC;AAlBD,MAAM,sBAAsB,GAAkB,MAAM,CAAC,mCAAmC,CAAC,CAAC;AAC1F,MAAM,+BAA+B,GAAkB,MAAM,CAAC,4CAA4C,CAAC,CAAC;AAC5G,MAAM,iCAAiC,GAAkB,MAAM,CAAC,8CAA8C,CAAC,CAAC;AAChH,MAAM,2BAA2B,GAAkB,MAAM,CAAC,wCAAwC,CAAC,CAAC;AACpG,MAAM,8BAA8B,GAAkB,MAAM,CAAC,2CAA2C,CAAC,CAAC;AAC1G,gBAAgB;AACH,QAAA,+BAA+B,GAAG,sBAAsB,CAAC;AACtE,gBAAgB;AACH,QAAA,8BAA8B,GAAG,+BAA+B,CAAC;AAC9E,gBAAgB;AACH,QAAA,gCAAgC,GAAG,iCAAiC,CAAC;AAClF,gBAAgB;AACH,QAAA,0BAA0B,GAAG,2BAA2B,CAAC;AACtE,gBAAgB;AACH,QAAA,6BAA6B,GAAG,8BAA8B,CAAC;AAC5E,8EAA8E;AAC9E,SAAgB,2BAA2B;IACvC,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;AACnF,CAAC","sourcesContent":["import type { Either, Stream } from \"effect\";\nimport type { RecordAttachmentOwner } from \"../model/core.ts\";\nimport type { RecordAttachmentBlobBudget, RecordAttachmentBlobRefs, RecordAttachmentMaterializedBlob, RecordAttachmentMaterializedRefine, } from \"./blob-policy.ts\";\nimport type { RecordBlobRef } from \"./blob-ref.ts\";\nimport type { RecordAttachmentClosureInvalid, RecordAttachmentDefinitionError, RecordAttachmentIssue, RecordAttachmentPayloadInvalid, } from \"./errors.ts\";\nconst recordBlobSourceTypeId: unique symbol = Symbol(\"@niceeval/record/RecordBlobSource\");\nconst recordAttachmentBlobDraftTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentBlobDraft\");\nconst recordAttachmentBlobBuilderTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentBlobBuilder\");\nconst recordAttachmentWriteTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentWrite\");\nconst fixedAttachmentWriteSpecTypeId: unique symbol = Symbol(\"@niceeval/record/FixedAttachmentWriteSpec\");\n/** @internal */\nexport const recordAttachmentBlobSourceBrand = recordBlobSourceTypeId;\n/** @internal */\nexport const recordAttachmentBlobDraftBrand = recordAttachmentBlobDraftTypeId;\n/** @internal */\nexport const recordAttachmentBlobBuilderBrand = recordAttachmentBlobBuilderTypeId;\n/** @internal */\nexport const recordAttachmentWriteBrand = recordAttachmentWriteTypeId;\n/** @internal */\nexport const fixedAttachmentWriteSpecBrand = fixedAttachmentWriteSpecTypeId;\n/** @internal A runtime-only witness for nominal fields. It must never run. */\nexport function recordAttachmentTypeWitness<T>(): T {\n    throw new Error(\"RecordAttachment runtime type witnesses are never callable.\");\n}\nexport type { RecordBlobRef } from \"./blob-ref.ts\";\nexport type { RecordAttachmentBlobBudget, RecordAttachmentBlobRefs, RecordAttachmentMaterializedBlob, RecordAttachmentMaterializedRefine, } from \"./blob-policy.ts\";\nexport interface RecordBlobSource<out E, out R> {\n    readonly stream: Stream.Stream<Uint8Array, E, R>;\n    readonly [recordBlobSourceTypeId]: () => {\n        readonly error: E;\n        readonly requirements: R;\n    };\n}\nexport interface RecordAttachmentBlobDraft<out E, out R> {\n    readonly ref: RecordBlobRef;\n    readonly [recordAttachmentBlobDraftTypeId]: () => {\n        readonly error: E;\n        readonly requirements: R;\n    };\n}\nexport type RecordBlobDrafts = readonly RecordAttachmentBlobDraft<unknown, unknown>[];\nexport type RecordBlobErrors<Blobs extends RecordBlobDrafts> = [\n    Blobs[number]\n] extends [\n    never\n] ? never : Blobs[number] extends RecordAttachmentBlobDraft<infer E, unknown> ? E : never;\nexport type RecordBlobRequirements<Blobs extends RecordBlobDrafts> = [\n    Blobs[number]\n] extends [\n    never\n] ? never : Blobs[number] extends RecordAttachmentBlobDraft<unknown, infer R> ? R : never;\nexport interface RecordAttachmentBlobBuilder {\n    readonly add: <E, R>(source: RecordBlobSource<E, R>) => RecordAttachmentBlobDraft<E, R>;\n    readonly [recordAttachmentBlobBuilderTypeId]: () => void;\n}\nexport interface RecordAttachmentBlobBuild<Payload, Blobs extends RecordBlobDrafts> {\n    readonly payload: Payload;\n    readonly blobs: Blobs;\n}\n/** Opaque write captured by a fixed static family owner primitive. */\nexport interface RecordAttachmentWrite<out Owner extends RecordAttachmentOwner, out E, out R> {\n    readonly [recordAttachmentWriteTypeId]: () => {\n        readonly owner: Owner;\n        readonly error: E;\n        readonly requirements: R;\n    };\n}\nexport type RecordAttachmentJson = null | boolean | number | string | RecordBlobRef | readonly RecordAttachmentJson[] | {\n    readonly [key: string]: RecordAttachmentJson;\n};\n/**\n * A static owner codec and closure primitive, minted from exactly one\n * `defineRecordAttachment(...).current.owners[owner]` value. It contains no\n * lookup, registration, historic decoder, or migration chain.\n */\nexport interface FixedAttachmentWriteSpec<out Owner extends RecordAttachmentOwner, Payload> {\n    readonly owner: Owner;\n    readonly family: string;\n    readonly schemaVersion: number;\n    readonly encodePayload: (payload: Payload) => Either.Either<RecordAttachmentJson, RecordAttachmentPayloadInvalid>;\n    readonly decodePayload: (input: unknown) => Either.Either<Payload, RecordAttachmentPayloadInvalid>;\n    readonly refs: (payload: Payload) => readonly RecordBlobRef[];\n    readonly budget: RecordAttachmentBlobBudget;\n    readonly verify: RecordAttachmentMaterializedRefine<Payload>;\n    readonly [fixedAttachmentWriteSpecTypeId]: () => {\n        readonly owner: Owner;\n        readonly payload: Payload;\n    };\n}\nexport type RecordAttachmentPayloadSnapshot<Payload> = Payload extends null | undefined | string | number | boolean | bigint | symbol ? Payload : Payload extends RecordBlobRef ? Payload : Payload extends readonly (infer Item)[] ? readonly RecordAttachmentPayloadSnapshot<Item>[] : Payload extends object ? {\n    readonly [Key in keyof Payload]: RecordAttachmentPayloadSnapshot<Payload[Key]>;\n} : Payload;\nexport interface RecordBlobHandleInvalid {\n    readonly code: \"record-blob-handle-invalid\";\n}\nexport interface RecordAttachmentBlobs {\n    readonly refs: () => readonly RecordBlobRef[];\n    readonly bytes: (ref: RecordBlobRef) => Either.Either<Uint8Array, RecordBlobHandleInvalid>;\n}\n/** Kept so internal operation signatures retain their exact error union. */\nexport type RecordAttachmentRuntimeErrors = RecordAttachmentDefinitionError | RecordAttachmentPayloadInvalid | RecordAttachmentClosureInvalid;\n"]}

package/dist/record/attachment/types.d.cts

@@ -1,25 +1,13 @@
-import type { Either, Effect, Schema, Stream } from "effect";
+import type { Either, Stream } from "effect";
 import type { RecordAttachmentOwner } from "../model/core.cjs";
-import type { RecordAttachmentName, RecordAttachmentSchemaId } from "../model/identifiers.cjs";
-import type { RecordAttachmentDefinitionError, RecordAttachmentFamilyError, RecordAttachmentMigrationDefinitionError, RecordAttachmentRegistryError, RecordAttachmentPayloadInvalid, RecordAttachmentClosureInvalid } from "./errors.cjs";
-/**
- * The symbols deliberately stay module-private. They make accidental structural
- * manufacture inconvenient at the type boundary; runtime authority lives in the
- * module-private WeakMaps in `runtime.ts`.
- */
-declare const recordBlobRefTypeId: unique symbol;
+import type { RecordAttachmentBlobBudget, RecordAttachmentMaterializedRefine } from "./blob-policy.cjs";
+import type { RecordBlobRef } from "./blob-ref.cjs";
+import type { RecordAttachmentClosureInvalid, RecordAttachmentDefinitionError, RecordAttachmentPayloadInvalid } from "./errors.cjs";
 declare const recordBlobSourceTypeId: unique symbol;
 declare const recordAttachmentBlobDraftTypeId: unique symbol;
 declare const recordAttachmentBlobBuilderTypeId: unique symbol;
 declare const recordAttachmentWriteTypeId: unique symbol;
-declare const recordAttachmentDefinitionTypeId: unique symbol;
-declare const recordAttachmentFamilyTypeId: unique symbol;
-declare const recordAttachmentMigrationEdgeTypeId: unique symbol;
-declare const recordAttachmentMigrationTypeId: unique symbol;
-declare const recordAttachmentRegistryTypeId: unique symbol;
-declare const recordAttachmentValueTypeId: unique symbol;
-/** @internal Runtime factories need these symbols; WeakMap membership is authority. */
-export declare const recordAttachmentBlobRefBrand: symbol;
+declare const fixedAttachmentWriteSpecTypeId: unique symbol;
 /** @internal */
 export declare const recordAttachmentBlobSourceBrand: symbol;
 /** @internal */
@@ -29,28 +17,11 @@ export declare const recordAttachmentBlobBuilderBrand: symbol;
 /** @internal */
 export declare const recordAttachmentWriteBrand: symbol;
 /** @internal */
-export declare const recordAttachmentDefinitionBrand: symbol;
-/** @internal */
-export declare const recordAttachmentFamilyBrand: symbol;
-/** @internal */
-export declare const recordAttachmentMigrationEdgeBrand: symbol;
-/** @internal */
-export declare const recordAttachmentMigrationBrand: symbol;
-/** @internal */
-export declare const recordAttachmentRegistryBrand: symbol;
-/** @internal */
-export declare const recordAttachmentValueBrand: symbol;
+export declare const fixedAttachmentWriteSpecBrand: symbol;
 /** @internal A runtime-only witness for nominal fields. It must never run. */
 export declare function recordAttachmentTypeWitness<T>(): T;
-/** A package-minted, owner-local blob handle. It deliberately exposes no key. */
-export interface RecordBlobRef {
-    readonly [recordBlobRefTypeId]: () => void;
-}
-/**
- * A source is an Effect Stream capability, never a raw bytes payload. The
- * runtime verifies the exact object created by `makeRecordBlobSource` before a
- * builder can retain it.
- */
+export type { RecordBlobRef } from "./blob-ref.cjs";
+export type { RecordAttachmentBlobBudget, RecordAttachmentBlobRefs, RecordAttachmentMaterializedBlob, RecordAttachmentMaterializedRefine, } from "./blob-policy.cjs";
 export interface RecordBlobSource<out E, out R> {
     readonly stream: Stream.Stream<Uint8Array, E, R>;
     readonly [recordBlobSourceTypeId]: () => {
@@ -58,18 +29,6 @@ export interface RecordBlobSource<out E, out R> {
         readonly requirements: R;
     };
 }
-/** A definition owns one exact JSON schema and blob projection. */
-export interface JsonRecordAttachmentDefinition<out Owner extends RecordAttachmentOwner, Payload> {
-    readonly owner: Owner;
-    readonly name: RecordAttachmentName;
-    readonly schemaId: RecordAttachmentSchemaId;
-    readonly blobRefs: (payload: Payload) => readonly RecordBlobRef[];
-    readonly [recordAttachmentDefinitionTypeId]: () => {
-        readonly owner: Owner;
-        readonly payload: Payload;
-    };
-}
-/** A draft is minted only by the builder that owns its source stream. */
 export interface RecordAttachmentBlobDraft<out E, out R> {
     readonly ref: RecordBlobRef;
     readonly [recordAttachmentBlobDraftTypeId]: () => {
@@ -92,7 +51,7 @@ export interface RecordAttachmentBlobBuild<Payload, Blobs extends RecordBlobDraf
     readonly payload: Payload;
     readonly blobs: Blobs;
 }
-/** Opaque captured write consumed by the generic Record writer. */
+/** Opaque write captured by a fixed static family owner primitive. */
 export interface RecordAttachmentWrite<out Owner extends RecordAttachmentOwner, out E, out R> {
     readonly [recordAttachmentWriteTypeId]: () => {
         readonly owner: Owner;
@@ -100,7 +59,28 @@ export interface RecordAttachmentWrite<out Owner extends RecordAttachmentOwner,
         readonly requirements: R;
     };
 }
-/** The deep-frozen, self-contained part of an available Attachment read. */
+export type RecordAttachmentJson = null | boolean | number | string | RecordBlobRef | readonly RecordAttachmentJson[] | {
+    readonly [key: string]: RecordAttachmentJson;
+};
+/**
+ * A static owner codec and closure primitive, minted from exactly one
+ * `defineRecordAttachment(...).current.owners[owner]` value. It contains no
+ * lookup, registration, historic decoder, or migration chain.
+ */
+export interface FixedAttachmentWriteSpec<out Owner extends RecordAttachmentOwner, Payload> {
+    readonly owner: Owner;
+    readonly family: string;
+    readonly schemaVersion: number;
+    readonly encodePayload: (payload: Payload) => Either.Either<RecordAttachmentJson, RecordAttachmentPayloadInvalid>;
+    readonly decodePayload: (input: unknown) => Either.Either<Payload, RecordAttachmentPayloadInvalid>;
+    readonly refs: (payload: Payload) => readonly RecordBlobRef[];
+    readonly budget: RecordAttachmentBlobBudget;
+    readonly verify: RecordAttachmentMaterializedRefine<Payload>;
+    readonly [fixedAttachmentWriteSpecTypeId]: () => {
+        readonly owner: Owner;
+        readonly payload: Payload;
+    };
+}
 export type RecordAttachmentPayloadSnapshot<Payload> = Payload extends null | undefined | string | number | boolean | bigint | symbol ? Payload : Payload extends RecordBlobRef ? Payload : Payload extends readonly (infer Item)[] ? readonly RecordAttachmentPayloadSnapshot<Item>[] : Payload extends object ? {
     readonly [Key in keyof Payload]: RecordAttachmentPayloadSnapshot<Payload[Key]>;
 } : Payload;
@@ -111,84 +91,5 @@ export interface RecordAttachmentBlobs {
     readonly refs: () => readonly RecordBlobRef[];
     readonly bytes: (ref: RecordBlobRef) => Either.Either<Uint8Array, RecordBlobHandleInvalid>;
 }
-/** A materialized value remains usable after the reader Scope has closed. */
-export interface RecordAttachmentValue<out Payload> {
-    readonly payload: RecordAttachmentPayloadSnapshot<Payload>;
-    readonly blobs: RecordAttachmentBlobs;
-    readonly [recordAttachmentValueTypeId]: () => Payload;
-}
-/** Current schema plus its complete, adjacent evolution graph. */
-export interface RecordAttachmentFamily<out Owner extends RecordAttachmentOwner, out Payload> {
-    readonly [recordAttachmentFamilyTypeId]: () => {
-        readonly owner: Owner;
-        readonly payload: Payload;
-    };
-}
-export interface RecordAttachmentMigrationEdge<out Owner extends RecordAttachmentOwner> {
-    readonly [recordAttachmentMigrationEdgeTypeId]: () => Owner;
-}
-export interface RecordAttachmentMigration<out Owner extends RecordAttachmentOwner, out E, out R> extends RecordAttachmentMigrationEdge<Owner> {
-    readonly [recordAttachmentMigrationTypeId]: () => {
-        readonly error: E;
-        readonly requirements: R;
-    };
-}
-export interface RecordAttachmentMigrationTarget<Owner extends RecordAttachmentOwner, To> {
-    readonly create: <const Blobs extends RecordBlobDrafts>(build: (blobs: RecordAttachmentBlobBuilder) => RecordAttachmentBlobBuild<To, Blobs>) => RecordAttachmentWrite<Owner, RecordBlobErrors<Blobs>, RecordBlobRequirements<Blobs>>;
-}
-/** A pure lookup registry for the installed Attachment families. */
-export interface RecordAttachmentRegistry {
-    readonly [recordAttachmentRegistryTypeId]: () => void;
-}
-export type AnyRecordAttachmentFamily = RecordAttachmentFamily<"run", unknown> | RecordAttachmentFamily<"attempt", unknown>;
-/** JSON-compatible encoded values, with package-minted refs as the sole in-memory exception. */
-export type RecordAttachmentJson = null | boolean | number | string | RecordBlobRef | readonly RecordAttachmentJson[] | {
-    readonly [key: string]: RecordAttachmentJson;
-};
-/**
- * Definition callbacks only observe a package-owned payload. Bivariance keeps
- * ordinary named interfaces ergonomic when Effect's Struct type is readonly;
- * the definition still stores Schema.Type<S> as its exact public payload type.
- */
-export type RecordAttachmentBlobRefs<Payload> = {
-    bivarianceHack(payload: Payload): readonly RecordBlobRef[];
-}["bivarianceHack"];
-export type DefineJsonRecordAttachmentInput<Owner extends RecordAttachmentOwner, S extends Schema.Schema.AnyNoContext> = {
-    readonly owner: Owner;
-    readonly name: string;
-    readonly schemaId: string;
-    readonly schema: S;
-    readonly blobRefs: RecordAttachmentBlobRefs<Schema.Schema.Type<S>>;
-};
-export type DefineRecordAttachmentMigrationInput<Owner extends RecordAttachmentOwner, From, To, E, R> = {
-    readonly from: JsonRecordAttachmentDefinition<Owner, From>;
-    readonly to: JsonRecordAttachmentDefinition<Owner, To>;
-    readonly convert: (source: RecordAttachmentValue<From>, target: RecordAttachmentMigrationTarget<Owner, To>) => Effect.Effect<RecordAttachmentWrite<Owner, E, R>, E, R>;
-};
-export type DeclareRecordAttachmentMigrationUnavailableInput<Owner extends RecordAttachmentOwner, From, To> = {
-    readonly from: JsonRecordAttachmentDefinition<Owner, From>;
-    readonly to: JsonRecordAttachmentDefinition<Owner, To>;
-    readonly reason: string;
-};
-export type DefineRecordAttachmentFamilyInput<Owner extends RecordAttachmentOwner, Current> = {
-    readonly current: JsonRecordAttachmentDefinition<Owner, Current>;
-    readonly migrations: readonly RecordAttachmentMigrationEdge<Owner>[];
-};
-export type RecordAttachmentMigrationResolution = {
-    readonly state: "current";
-} | {
-    readonly state: "migration-required";
-    readonly from: RecordAttachmentSchemaId;
-    readonly to: RecordAttachmentSchemaId;
-    readonly edges: readonly RecordAttachmentMigrationEdge<RecordAttachmentOwner>[];
-} | {
-    readonly state: "migration-unavailable";
-    readonly from: RecordAttachmentSchemaId;
-    readonly to: RecordAttachmentSchemaId;
-    readonly reason: string;
-} | {
-    readonly state: "unsupported";
-};
-/** Kept here so public operation signatures retain their stable error unions. */
-export type RecordAttachmentRuntimeErrors = RecordAttachmentDefinitionError | RecordAttachmentPayloadInvalid | RecordAttachmentClosureInvalid | RecordAttachmentMigrationDefinitionError | RecordAttachmentFamilyError | RecordAttachmentRegistryError;
-export {};
+/** Kept so internal operation signatures retain their exact error union. */
+export type RecordAttachmentRuntimeErrors = RecordAttachmentDefinitionError | RecordAttachmentPayloadInvalid | RecordAttachmentClosureInvalid;