niceeval 0.12.2-canary.31 → 0.13.0

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

@@ -0,0 +1,77 @@
+import type { Schema } from "effect";
+import { type RecordBlobRef } from "../attachment/blob-ref.cjs";
+import type { RecordAttachmentBlobBudget, RecordAttachmentBlobRefs, RecordAttachmentMaterializedRefine } from "../attachment/blob-policy.cjs";
+import type { RecordAttachmentOwner } from "../model/core.cjs";
+import { type RecordSchemaCodec, type RecordSchemaLimits } from "./schema-codec.cjs";
+declare const recordAttachmentOwnerDefinitionTypeId: unique symbol;
+export type { RecordAttachmentOwner } from "../model/core.cjs";
+export interface RecordAttachmentOwnerInput<SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {
+    readonly schema: SourceSchema;
+    readonly limits: RecordSchemaLimits;
+    readonly blobs: Readonly<{
+        readonly refs: RecordAttachmentBlobRefs<Schema.Schema.Type<SourceSchema>>;
+        readonly budget: RecordAttachmentBlobBudget;
+        readonly verify: RecordAttachmentMaterializedRefine<Schema.Schema.Type<SourceSchema>>;
+    }>;
+}
+export type RecordAttachmentOwnerInputs = Readonly<Partial<Record<RecordAttachmentOwner, RecordAttachmentOwnerInput<Schema.Schema.AnyNoContext>>>>;
+/** One owner compiled exactly once from a fixed family declaration. */
+export interface RecordAttachmentOwnerDefinition<Owner extends RecordAttachmentOwner, Payload, SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {
+    readonly family: string;
+    readonly schemaVersion: number;
+    readonly owner: Owner;
+    readonly codec: RecordSchemaCodec<Payload, RecordBlobRef, SourceSchema>;
+    readonly refs: RecordAttachmentBlobRefs<Payload>;
+    readonly budget: RecordAttachmentBlobBudget;
+    readonly verify: RecordAttachmentMaterializedRefine<Payload>;
+    readonly [recordAttachmentOwnerDefinitionTypeId]: () => void;
+}
+type OwnerDefinitionFor<Owner extends RecordAttachmentOwner, Input> = Input extends RecordAttachmentOwnerInput<infer SourceSchema> ? RecordAttachmentOwnerDefinition<Owner, Schema.Schema.Type<SourceSchema>, SourceSchema> : never;
+export type RecordAttachmentOwnerDefinitions<Owners extends RecordAttachmentOwnerInputs> = Readonly<{
+    readonly [Owner in keyof Owners]: Owner extends RecordAttachmentOwner ? OwnerDefinitionFor<Owner, Owners[Owner]> : never;
+}>;
+/** Historical codecs stay opaque to the current import graph until maintenance asks for them. */
+export interface RecordAttachmentHistoricalCodec {
+    readonly schemaVersion: number;
+    readonly decode: (input: unknown) => unknown;
+}
+/** Only adjacent, package-owned migrations may be declared for a fixed family. */
+export interface RecordAttachmentAdjacentMigration {
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
+    readonly migrate: (input: unknown) => unknown;
+}
+/** Eager metadata only: implementation remains behind `maintenance`. */
+export interface RecordAttachmentAdjacentMigrationLink {
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
+}
+export interface RecordAttachmentMaintenanceFacet {
+    /** Historical codecs and adjacent migrations remain behind this lazy boundary. */
+    readonly historicalCodecs: readonly RecordAttachmentHistoricalCodec[];
+    readonly adjacentMigrations: readonly RecordAttachmentAdjacentMigration[];
+}
+export interface RecordAttachmentDefinition<out Family extends string = string, Owners extends RecordAttachmentOwnerInputs = RecordAttachmentOwnerInputs> {
+    readonly family: Family;
+    readonly current: Readonly<{
+        readonly schemaVersion: number;
+        readonly owners: RecordAttachmentOwnerDefinitions<Owners>;
+    }>;
+    readonly maintenance: (() => Promise<RecordAttachmentMaintenanceFacet>) | undefined;
+    readonly adjacentMigrationLinks: readonly RecordAttachmentAdjacentMigrationLink[];
+}
+/** @internal Runtime factories accept only owners minted by defineRecordAttachment. */
+export declare function isRecordAttachmentOwnerDefinition(value: unknown): value is RecordAttachmentOwnerDefinition<RecordAttachmentOwner, unknown>;
+/**
+ * NiceEval-only fixed-family declaration. It stores no registry and exposes no
+ * plugin hook: the static catalog is assembled by package code alone.
+ */
+export declare function defineRecordAttachment<const Family extends string, const Owners extends RecordAttachmentOwnerInputs>(input: {
+    readonly family: Family;
+    readonly current: {
+        readonly schemaVersion: number;
+        readonly owners: Owners;
+    };
+    readonly maintenance?: () => Promise<RecordAttachmentMaintenanceFacet>;
+    readonly adjacentMigrationLinks?: readonly RecordAttachmentAdjacentMigrationLink[];
+}): RecordAttachmentDefinition<Family, Owners>;

package/dist/record/definition/attachment.d.mts

@@ -0,0 +1,77 @@
+import type { Schema } from "effect";
+import { type RecordBlobRef } from "../attachment/blob-ref.mjs";
+import type { RecordAttachmentBlobBudget, RecordAttachmentBlobRefs, RecordAttachmentMaterializedRefine } from "../attachment/blob-policy.mjs";
+import type { RecordAttachmentOwner } from "../model/core.mjs";
+import { type RecordSchemaCodec, type RecordSchemaLimits } from "./schema-codec.mjs";
+declare const recordAttachmentOwnerDefinitionTypeId: unique symbol;
+export type { RecordAttachmentOwner } from "../model/core.mjs";
+export interface RecordAttachmentOwnerInput<SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {
+    readonly schema: SourceSchema;
+    readonly limits: RecordSchemaLimits;
+    readonly blobs: Readonly<{
+        readonly refs: RecordAttachmentBlobRefs<Schema.Schema.Type<SourceSchema>>;
+        readonly budget: RecordAttachmentBlobBudget;
+        readonly verify: RecordAttachmentMaterializedRefine<Schema.Schema.Type<SourceSchema>>;
+    }>;
+}
+export type RecordAttachmentOwnerInputs = Readonly<Partial<Record<RecordAttachmentOwner, RecordAttachmentOwnerInput<Schema.Schema.AnyNoContext>>>>;
+/** One owner compiled exactly once from a fixed family declaration. */
+export interface RecordAttachmentOwnerDefinition<Owner extends RecordAttachmentOwner, Payload, SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {
+    readonly family: string;
+    readonly schemaVersion: number;
+    readonly owner: Owner;
+    readonly codec: RecordSchemaCodec<Payload, RecordBlobRef, SourceSchema>;
+    readonly refs: RecordAttachmentBlobRefs<Payload>;
+    readonly budget: RecordAttachmentBlobBudget;
+    readonly verify: RecordAttachmentMaterializedRefine<Payload>;
+    readonly [recordAttachmentOwnerDefinitionTypeId]: () => void;
+}
+type OwnerDefinitionFor<Owner extends RecordAttachmentOwner, Input> = Input extends RecordAttachmentOwnerInput<infer SourceSchema> ? RecordAttachmentOwnerDefinition<Owner, Schema.Schema.Type<SourceSchema>, SourceSchema> : never;
+export type RecordAttachmentOwnerDefinitions<Owners extends RecordAttachmentOwnerInputs> = Readonly<{
+    readonly [Owner in keyof Owners]: Owner extends RecordAttachmentOwner ? OwnerDefinitionFor<Owner, Owners[Owner]> : never;
+}>;
+/** Historical codecs stay opaque to the current import graph until maintenance asks for them. */
+export interface RecordAttachmentHistoricalCodec {
+    readonly schemaVersion: number;
+    readonly decode: (input: unknown) => unknown;
+}
+/** Only adjacent, package-owned migrations may be declared for a fixed family. */
+export interface RecordAttachmentAdjacentMigration {
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
+    readonly migrate: (input: unknown) => unknown;
+}
+/** Eager metadata only: implementation remains behind `maintenance`. */
+export interface RecordAttachmentAdjacentMigrationLink {
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
+}
+export interface RecordAttachmentMaintenanceFacet {
+    /** Historical codecs and adjacent migrations remain behind this lazy boundary. */
+    readonly historicalCodecs: readonly RecordAttachmentHistoricalCodec[];
+    readonly adjacentMigrations: readonly RecordAttachmentAdjacentMigration[];
+}
+export interface RecordAttachmentDefinition<out Family extends string = string, Owners extends RecordAttachmentOwnerInputs = RecordAttachmentOwnerInputs> {
+    readonly family: Family;
+    readonly current: Readonly<{
+        readonly schemaVersion: number;
+        readonly owners: RecordAttachmentOwnerDefinitions<Owners>;
+    }>;
+    readonly maintenance: (() => Promise<RecordAttachmentMaintenanceFacet>) | undefined;
+    readonly adjacentMigrationLinks: readonly RecordAttachmentAdjacentMigrationLink[];
+}
+/** @internal Runtime factories accept only owners minted by defineRecordAttachment. */
+export declare function isRecordAttachmentOwnerDefinition(value: unknown): value is RecordAttachmentOwnerDefinition<RecordAttachmentOwner, unknown>;
+/**
+ * NiceEval-only fixed-family declaration. It stores no registry and exposes no
+ * plugin hook: the static catalog is assembled by package code alone.
+ */
+export declare function defineRecordAttachment<const Family extends string, const Owners extends RecordAttachmentOwnerInputs>(input: {
+    readonly family: Family;
+    readonly current: {
+        readonly schemaVersion: number;
+        readonly owners: Owners;
+    };
+    readonly maintenance?: () => Promise<RecordAttachmentMaintenanceFacet>;
+    readonly adjacentMigrationLinks?: readonly RecordAttachmentAdjacentMigrationLink[];
+}): RecordAttachmentDefinition<Family, Owners>;

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

@@ -0,0 +1,77 @@
+import type { Schema } from "effect";
+import { type RecordBlobRef } from "../attachment/blob-ref.js";
+import type { RecordAttachmentBlobBudget, RecordAttachmentBlobRefs, RecordAttachmentMaterializedRefine } from "../attachment/blob-policy.js";
+import type { RecordAttachmentOwner } from "../model/core.js";
+import { type RecordSchemaCodec, type RecordSchemaLimits } from "./schema-codec.js";
+declare const recordAttachmentOwnerDefinitionTypeId: unique symbol;
+export type { RecordAttachmentOwner } from "../model/core.js";
+export interface RecordAttachmentOwnerInput<SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {
+    readonly schema: SourceSchema;
+    readonly limits: RecordSchemaLimits;
+    readonly blobs: Readonly<{
+        readonly refs: RecordAttachmentBlobRefs<Schema.Schema.Type<SourceSchema>>;
+        readonly budget: RecordAttachmentBlobBudget;
+        readonly verify: RecordAttachmentMaterializedRefine<Schema.Schema.Type<SourceSchema>>;
+    }>;
+}
+export type RecordAttachmentOwnerInputs = Readonly<Partial<Record<RecordAttachmentOwner, RecordAttachmentOwnerInput<Schema.Schema.AnyNoContext>>>>;
+/** One owner compiled exactly once from a fixed family declaration. */
+export interface RecordAttachmentOwnerDefinition<Owner extends RecordAttachmentOwner, Payload, SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {
+    readonly family: string;
+    readonly schemaVersion: number;
+    readonly owner: Owner;
+    readonly codec: RecordSchemaCodec<Payload, RecordBlobRef, SourceSchema>;
+    readonly refs: RecordAttachmentBlobRefs<Payload>;
+    readonly budget: RecordAttachmentBlobBudget;
+    readonly verify: RecordAttachmentMaterializedRefine<Payload>;
+    readonly [recordAttachmentOwnerDefinitionTypeId]: () => void;
+}
+type OwnerDefinitionFor<Owner extends RecordAttachmentOwner, Input> = Input extends RecordAttachmentOwnerInput<infer SourceSchema> ? RecordAttachmentOwnerDefinition<Owner, Schema.Schema.Type<SourceSchema>, SourceSchema> : never;
+export type RecordAttachmentOwnerDefinitions<Owners extends RecordAttachmentOwnerInputs> = Readonly<{
+    readonly [Owner in keyof Owners]: Owner extends RecordAttachmentOwner ? OwnerDefinitionFor<Owner, Owners[Owner]> : never;
+}>;
+/** Historical codecs stay opaque to the current import graph until maintenance asks for them. */
+export interface RecordAttachmentHistoricalCodec {
+    readonly schemaVersion: number;
+    readonly decode: (input: unknown) => unknown;
+}
+/** Only adjacent, package-owned migrations may be declared for a fixed family. */
+export interface RecordAttachmentAdjacentMigration {
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
+    readonly migrate: (input: unknown) => unknown;
+}
+/** Eager metadata only: implementation remains behind `maintenance`. */
+export interface RecordAttachmentAdjacentMigrationLink {
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
+}
+export interface RecordAttachmentMaintenanceFacet {
+    /** Historical codecs and adjacent migrations remain behind this lazy boundary. */
+    readonly historicalCodecs: readonly RecordAttachmentHistoricalCodec[];
+    readonly adjacentMigrations: readonly RecordAttachmentAdjacentMigration[];
+}
+export interface RecordAttachmentDefinition<out Family extends string = string, Owners extends RecordAttachmentOwnerInputs = RecordAttachmentOwnerInputs> {
+    readonly family: Family;
+    readonly current: Readonly<{
+        readonly schemaVersion: number;
+        readonly owners: RecordAttachmentOwnerDefinitions<Owners>;
+    }>;
+    readonly maintenance: (() => Promise<RecordAttachmentMaintenanceFacet>) | undefined;
+    readonly adjacentMigrationLinks: readonly RecordAttachmentAdjacentMigrationLink[];
+}
+/** @internal Runtime factories accept only owners minted by defineRecordAttachment. */
+export declare function isRecordAttachmentOwnerDefinition(value: unknown): value is RecordAttachmentOwnerDefinition<RecordAttachmentOwner, unknown>;
+/**
+ * NiceEval-only fixed-family declaration. It stores no registry and exposes no
+ * plugin hook: the static catalog is assembled by package code alone.
+ */
+export declare function defineRecordAttachment<const Family extends string, const Owners extends RecordAttachmentOwnerInputs>(input: {
+    readonly family: Family;
+    readonly current: {
+        readonly schemaVersion: number;
+        readonly owners: Owners;
+    };
+    readonly maintenance?: () => Promise<RecordAttachmentMaintenanceFacet>;
+    readonly adjacentMigrationLinks?: readonly RecordAttachmentAdjacentMigrationLink[];
+}): RecordAttachmentDefinition<Family, Owners>;

package/dist/record/definition/attachment.js

@@ -0,0 +1,8 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./attachment.cjs");
+const __niceevalExport0 = __niceevalCanonical["defineRecordAttachment"];
+export { __niceevalExport0 as defineRecordAttachment };
+const __niceevalExport1 = __niceevalCanonical["isRecordAttachmentOwnerDefinition"];
+export { __niceevalExport1 as isRecordAttachmentOwnerDefinition };
+//# sourceMappingURL=attachment.js.map

package/dist/record/definition/attachment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attachment.js","sources":[],"names":[],"mappings":""}

package/dist/record/definition/canonical.cjs

@@ -0,0 +1,271 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.canonicalizeRecordValue = canonicalizeRecordValue;
+exports.canonicalizeRecordJson = canonicalizeRecordJson;
+exports.canonicalRecordJsonText = canonicalRecordJsonText;
+const effect_1 = require("effect");
+const encoder = new TextEncoder();
+/**
+ * Blob refs are intentionally opaque to the generic canonicalizer. Their
+ * bounded, deterministic projection makes them count toward the generic JSON
+ * budget; the low-level Attachment writer still verifies its actual envelope
+ * bytes before persistence.
+ */
+const blobBudgetProjection = Object.freeze({
+    "$niceeval.record.blob-ref": true,
+});
+function failure(state, code, path) {
+    if (state.failure === undefined) {
+        state.failure = Object.freeze({
+            code,
+            path: Object.freeze([...path]),
+        });
+    }
+    return undefined;
+}
+function compareUtf8(left, right) {
+    if (left === right)
+        return 0;
+    const leftBytes = encoder.encode(left);
+    const rightBytes = encoder.encode(right);
+    const length = Math.min(leftBytes.byteLength, rightBytes.byteLength);
+    for (let index = 0; index < length; index += 1) {
+        const difference = leftBytes[index] - rightBytes[index];
+        if (difference !== 0)
+            return difference;
+    }
+    return leftBytes.byteLength - rightBytes.byteLength;
+}
+/** UTF-8 replacement would make identity bytes ambiguous, so reject lone UTF-16 surrogates first. */
+function isUnicodeScalarString(value) {
+    for (let index = 0; index < value.length; index += 1) {
+        const unit = value.charCodeAt(index);
+        if (unit >= 0xd800 && unit <= 0xdbff) {
+            const next = value.charCodeAt(index + 1);
+            if (index + 1 >= value.length || next < 0xdc00 || next > 0xdfff)
+                return false;
+            index += 1;
+        }
+        else if (unit >= 0xdc00 && unit <= 0xdfff) {
+            return false;
+        }
+    }
+    return true;
+}
+function isPlainRecord(value) {
+    const prototype = Object.getPrototypeOf(value);
+    return prototype === Object.prototype || prototype === null;
+}
+function enumerableDataProperty(value, key) {
+    const descriptor = Object.getOwnPropertyDescriptor(value, key);
+    if (descriptor === undefined || !("value" in descriptor) || descriptor.enumerable !== true) {
+        return undefined;
+    }
+    return Object.freeze({ value: descriptor.value });
+}
+function dataProperty(value, key) {
+    const descriptor = Object.getOwnPropertyDescriptor(value, key);
+    if (descriptor === undefined || !("value" in descriptor))
+        return undefined;
+    return Object.freeze({ value: descriptor.value });
+}
+function enter(value, depth, path, limits, state) {
+    if (depth > limits.maximumDepth) {
+        failure(state, "record-json-limit-exceeded", path);
+        return false;
+    }
+    state.nodes += 1;
+    if (state.nodes > limits.maximumNodes) {
+        failure(state, "record-json-limit-exceeded", path);
+        return false;
+    }
+    if (typeof value === "string") {
+        if (!isUnicodeScalarString(value)) {
+            failure(state, "record-json-invalid", path);
+            return false;
+        }
+        if (encoder.encode(value).byteLength > limits.maximumStringUtf8Bytes) {
+            failure(state, "record-json-limit-exceeded", path);
+            return false;
+        }
+    }
+    return true;
+}
+function sortedObjectKeys(value, path, limits, state) {
+    const keys = Reflect.ownKeys(value);
+    if (keys.some((key) => typeof key !== "string")) {
+        return failure(state, "record-json-invalid", path);
+    }
+    if (keys.length > limits.maximumObjectKeys) {
+        return failure(state, "record-json-limit-exceeded", path);
+    }
+    const textKeys = keys;
+    for (const key of textKeys) {
+        if (!isUnicodeScalarString(key)) {
+            return failure(state, "record-json-invalid", [...path, key]);
+        }
+        if (key.length === 0 || encoder.encode(key).byteLength > limits.maximumKeyUtf8Bytes) {
+            return failure(state, "record-json-limit-exceeded", [...path, key]);
+        }
+    }
+    return Object.freeze([...textKeys].sort(compareUtf8));
+}
+function frozenObject(entries) {
+    const output = Object.create(null);
+    for (const [key, value] of entries) {
+        Object.defineProperty(output, key, {
+            configurable: false,
+            enumerable: true,
+            value,
+            writable: false,
+        });
+    }
+    return Object.freeze(output);
+}
+function canonicalArray(value, depth, path, limits, options, state) {
+    if (value.length > limits.maximumArrayItems) {
+        return failure(state, "record-json-limit-exceeded", path);
+    }
+    const expected = new Set(["length"]);
+    for (let index = 0; index < value.length; index += 1)
+        expected.add(String(index));
+    const keys = Reflect.ownKeys(value);
+    if (keys.length !== expected.size ||
+        keys.some((key) => typeof key !== "string" || !expected.has(key))) {
+        return failure(state, "record-json-invalid", path);
+    }
+    const length = dataProperty(value, "length");
+    if (length === undefined || length.value !== value.length) {
+        return failure(state, "record-json-invalid", path);
+    }
+    const output = [];
+    for (let index = 0; index < value.length; index += 1) {
+        const property = enumerableDataProperty(value, String(index));
+        if (property === undefined) {
+            return failure(state, "record-json-invalid", [...path, String(index)]);
+        }
+        const item = canonicalizeValue(property.value, depth + 1, [...path, String(index)], limits, options, state);
+        if (item === undefined)
+            return undefined;
+        output.push(item);
+    }
+    return Object.freeze(output);
+}
+function canonicalObject(value, depth, path, limits, options, state) {
+    const keys = sortedObjectKeys(value, path, limits, state);
+    if (keys === undefined)
+        return undefined;
+    const entries = [];
+    for (const key of keys) {
+        const property = enumerableDataProperty(value, key);
+        if (property === undefined) {
+            return failure(state, "record-json-invalid", [...path, key]);
+        }
+        const child = canonicalizeValue(property.value, depth + 1, [...path, key], limits, options, state);
+        if (child === undefined)
+            return undefined;
+        entries.push([key, child]);
+    }
+    return frozenObject(entries);
+}
+function canonicalizeValue(input, depth, path, limits, options, state) {
+    if (!enter(input, depth, path, limits, state))
+        return undefined;
+    if (input === null || typeof input === "boolean" || typeof input === "string")
+        return input;
+    if (typeof input === "number") {
+        return Number.isFinite(input) && !Object.is(input, -0)
+            ? input
+            : failure(state, "record-json-invalid", path);
+    }
+    if (typeof input !== "object")
+        return failure(state, "record-json-invalid", path);
+    try {
+        if (options.isBlobRef?.(input))
+            return input;
+        if (state.ancestors.has(input))
+            return failure(state, "record-json-invalid", path);
+        state.ancestors.add(input);
+        try {
+            if (Array.isArray(input))
+                return canonicalArray(input, depth, path, limits, options, state);
+            return isPlainRecord(input)
+                ? canonicalObject(input, depth, path, limits, options, state)
+                : failure(state, "record-json-invalid", path);
+        }
+        finally {
+            state.ancestors.delete(input);
+        }
+    }
+    catch {
+        return failure(state, "record-json-invalid", path);
+    }
+}
+function projectBlobRefsForBudget(value, options) {
+    if (value === null || typeof value === "boolean" || typeof value === "number" || typeof value === "string") {
+        return value;
+    }
+    if (typeof value !== "object")
+        return undefined;
+    if (options.isBlobRef?.(value))
+        return blobBudgetProjection;
+    if (Array.isArray(value)) {
+        const items = [];
+        for (const item of value) {
+            const projected = projectBlobRefsForBudget(item, options);
+            if (projected === undefined)
+                return undefined;
+            items.push(projected);
+        }
+        return Object.freeze(items);
+    }
+    if (!isPlainRecord(value))
+        return undefined;
+    const entries = [];
+    for (const key of Object.keys(value).sort(compareUtf8)) {
+        const projected = projectBlobRefsForBudget(value[key], options);
+        if (projected === undefined)
+            return undefined;
+        entries.push([key, projected]);
+    }
+    return frozenObject(entries);
+}
+function jsonBytes(value) {
+    const text = JSON.stringify(value);
+    return text === undefined ? undefined : encoder.encode(text).byteLength;
+}
+/**
+ * The only generic JSON normalizer. It intentionally knows no durable field
+ * names or domain types: exact shape belongs to Effect Schema, and Core-only
+ * relationships belong to the definition's refine callback.
+ */
+function canonicalizeRecordValue(input, limits, options = {}) {
+    const state = {
+        nodes: 0,
+        ancestors: new WeakSet(),
+        failure: undefined,
+    };
+    const value = canonicalizeValue(input, 0, [], limits, options, state);
+    if (value === undefined) {
+        return effect_1.Either.left(state.failure ?? Object.freeze({ code: "record-json-invalid", path: Object.freeze([]) }));
+    }
+    const projected = projectBlobRefsForBudget(value, options);
+    const bytes = projected === undefined ? undefined : jsonBytes(projected);
+    if (bytes === undefined || bytes > limits.maximumJsonBytes) {
+        return effect_1.Either.left(Object.freeze({ code: "record-json-limit-exceeded", path: Object.freeze([]) }));
+    }
+    return effect_1.Either.right(value);
+}
+function canonicalizeRecordJson(input, limits) {
+    const result = canonicalizeRecordValue(input, limits);
+    return effect_1.Either.isLeft(result)
+        ? effect_1.Either.left(result.left)
+        : effect_1.Either.right(result.right);
+}
+function canonicalRecordJsonText(value) {
+    const text = JSON.stringify(value);
+    if (text === undefined)
+        throw new Error("Canonical Record JSON must be serializable");
+    return text;
+}
+//# sourceMappingURL=canonical.cjs.map

package/dist/record/definition/canonical.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["canonical.ts"],"names":[],"mappings":";;AA0RA,0DAgBC;AACD,wDAKC;AACD,0DAKC;AAtTD,mCAAgC;AA8BhC,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;AAClC;;;;;GAKG;AACH,MAAM,oBAAoB,GAAqB,MAAM,CAAC,MAAM,CAAC;IACzD,2BAA2B,EAAE,IAAI;CACpC,CAAC,CAAC;AASH,SAAS,OAAO,CAAC,KAA4B,EAAE,IAA2C,EAAE,IAAuB;IAC/G,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC9B,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC1B,IAAI;YACJ,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;SACjC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC5C,IAAI,IAAI,KAAK,KAAK;QACd,OAAO,CAAC,CAAC;IACb,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IACrE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAE,GAAG,UAAU,CAAC,KAAK,CAAE,CAAC;QAC1D,IAAI,UAAU,KAAK,CAAC;YAChB,OAAO,UAAU,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;AACxD,CAAC;AACD,qGAAqG;AACrG,SAAS,qBAAqB,CAAC,KAAa;IACxC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,GAAG,MAAM;gBAC3D,OAAO,KAAK,CAAC;YACjB,KAAK,IAAI,CAAC,CAAC;QACf,CAAC;aACI,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACxC,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AACD,SAAS,aAAa,CAAC,KAAa;IAChC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAChE,CAAC;AACD,SAAS,sBAAsB,CAAC,KAAa,EAAE,GAAoB;IAC/D,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACzF,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;AACtD,CAAC;AACD,SAAS,YAAY,CAAC,KAAa,EAAE,GAAoB;IACrD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;QACpD,OAAO,SAAS,CAAC;IACrB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;AACtD,CAAC;AACD,SAAS,KAAK,CAAC,KAAc,EAAE,KAAa,EAAE,IAAuB,EAAE,MAA0B,EAAE,KAA4B;IAC3H,IAAI,KAAK,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QAC9B,OAAO,CAAC,KAAK,EAAE,4BAA4B,EAAE,IAAI,CAAC,CAAC;QACnD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IACjB,IAAI,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACpC,OAAO,CAAC,KAAK,EAAE,4BAA4B,EAAE,IAAI,CAAC,CAAC;QACnD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;YAC5C,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAC;YACnE,OAAO,CAAC,KAAK,EAAE,4BAA4B,EAAE,IAAI,CAAC,CAAC;YACnD,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AACD,SAAS,gBAAgB,CAAC,KAAa,EAAE,IAAuB,EAAE,MAA0B,EAAE,KAA4B;IACtH,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACzC,OAAO,OAAO,CAAC,KAAK,EAAE,4BAA4B,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,QAAQ,GAAG,IAAgB,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,GAAG,MAAM,CAAC,mBAAmB,EAAE,CAAC;YAClF,OAAO,OAAO,CAAC,KAAK,EAAE,4BAA4B,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;AAC1D,CAAC;AACD,SAAS,YAAY,CAAsB,OAGvC;IACA,MAAM,MAAM,GAAiD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAiD,CAAC;IACjI,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QACjC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE;YAC/B,YAAY,EAAE,KAAK;YACnB,UAAU,EAAE,IAAI;YAChB,KAAK;YACL,QAAQ,EAAE,KAAK;SAClB,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,SAAS,cAAc,CAAsB,KAAyB,EAAE,KAAa,EAAE,IAAuB,EAAE,MAA0B,EAAE,OAA4C,EAAE,KAA4B;IAClN,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC1C,OAAO,OAAO,CAAC,KAAK,EAAE,4BAA4B,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC;QAChD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI;QAC7B,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACxD,OAAO,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5G,IAAI,IAAI,KAAK,SAAS;YAClB,OAAO,SAAS,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,SAAS,eAAe,CAAsB,KAA8B,EAAE,KAAa,EAAE,IAAuB,EAAE,MAA0B,EAAE,OAA4C,EAAE,KAA4B;IACxN,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAC1D,IAAI,IAAI,KAAK,SAAS;QAClB,OAAO,SAAS,CAAC;IACrB,MAAM,OAAO,GAGR,EAAE,CAAC;IACR,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACnG,IAAI,KAAK,KAAK,SAAS;YACnB,OAAO,SAAS,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AACD,SAAS,iBAAiB,CAAsB,KAAc,EAAE,KAAa,EAAE,IAAuB,EAAE,MAA0B,EAAE,OAA4C,EAAE,KAA4B;IAC1M,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC;QACzC,OAAO,SAAS,CAAC;IACrB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzE,OAAO,KAAK,CAAC;IACjB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC;YAC1B,OAAO,KAAK,CAAC;QACjB,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;YAC1B,OAAO,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;QACvD,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACpB,OAAO,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACtE,OAAO,aAAa,CAAC,KAAK,CAAC;gBACvB,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;gBAC7D,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;gBACO,CAAC;YACL,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;IACL,CAAC;IACD,MAAM,CAAC;QACH,OAAO,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;AACL,CAAC;AACD,SAAS,wBAAwB,CAAsB,KAAiC,EAAE,OAA4C;IAClI,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACzG,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,SAAS,CAAC;IACrB,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC;QAC1B,OAAO,oBAAoB,CAAC;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAiB,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC1D,IAAI,SAAS,KAAK,SAAS;gBACvB,OAAO,SAAS,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QACrB,OAAO,SAAS,CAAC;IACrB,MAAM,OAAO,GAGR,EAAE,CAAC;IACR,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,wBAAwB,CAAC,KAAK,CAAC,GAAG,CAA+B,EAAE,OAAO,CAAC,CAAC;QAC9F,IAAI,SAAS,KAAK,SAAS;YACvB,OAAO,SAAS,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,YAAY,CAAC,OAAO,CAAqB,CAAC;AACrD,CAAC;AACD,SAAS,SAAS,CAAC,KAAiB;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC;AAC5E,CAAC;AACD;;;;GAIG;AACH,SAAgB,uBAAuB,CAA8B,KAAc,EAAE,MAA0B,EAAE,UAA+C,EAAE;IAC9J,MAAM,KAAK,GAA0B;QACjC,KAAK,EAAE,CAAC;QACR,SAAS,EAAE,IAAI,OAAO,EAAE;QACxB,OAAO,EAAE,SAAS;KACrB,CAAC;IACF,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACtE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,eAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,qBAA8B,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1H,CAAC;IACD,MAAM,SAAS,GAAG,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACzE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACzD,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,4BAAqC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AACD,SAAgB,sBAAsB,CAAC,KAAc,EAAE,MAA0B;IAC7E,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtD,OAAO,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACxB,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAC1B,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAmB,CAAC,CAAC;AACnD,CAAC;AACD,SAAgB,uBAAuB,CAAC,KAAiB;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QAClB,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAClE,OAAO,IAAI,CAAC;AAChB,CAAC","sourcesContent":["import { Either } from \"effect\";\n/** JSON object values are represented by an interface to keep recursion finite to TypeScript. */\nexport interface RecordJsonObject {\n    readonly [key: string]: RecordJson;\n}\nexport type RecordJson = null | boolean | number | string | readonly RecordJson[] | RecordJsonObject;\n/** The Attachment-only durable shape: JSON plus package-owned opaque blob references. */\nexport interface RecordJsonWithBlobRefsObject<Blob extends object> {\n    readonly [key: string]: RecordJsonWithBlobRefs<Blob>;\n}\nexport type RecordJsonWithBlobRefs<Blob extends object> = null | boolean | number | string | Blob | readonly RecordJsonWithBlobRefs<Blob>[] | RecordJsonWithBlobRefsObject<Blob>;\n/** Every durable value declares all of these budgets at its definition site. */\nexport interface RecordSchemaLimits {\n    readonly maximumJsonBytes: number;\n    readonly maximumDepth: number;\n    readonly maximumNodes: number;\n    readonly maximumObjectKeys: number;\n    readonly maximumArrayItems: number;\n    readonly maximumKeyUtf8Bytes: number;\n    readonly maximumStringUtf8Bytes: number;\n}\nexport interface RecordCanonicalizationFailure {\n    readonly code: \"record-json-invalid\" | \"record-json-limit-exceeded\";\n    readonly path: readonly string[];\n}\nexport interface RecordCanonicalizationOptions<Blob extends object = never> {\n    /** Only the Attachment leaf supplies this package-owned opaque-ref guard. */\n    readonly isBlobRef?: (value: object) => value is Blob;\n}\nexport type CanonicalRecordValue<Blob extends object = never> = RecordJsonWithBlobRefs<Blob>;\nconst encoder = new TextEncoder();\n/**\n * Blob refs are intentionally opaque to the generic canonicalizer. Their\n * bounded, deterministic projection makes them count toward the generic JSON\n * budget; the low-level Attachment writer still verifies its actual envelope\n * bytes before persistence.\n */\nconst blobBudgetProjection: RecordJsonObject = Object.freeze({\n    \"$niceeval.record.blob-ref\": true,\n});\ninterface CanonicalizationState {\n    nodes: number;\n    readonly ancestors: WeakSet<object>;\n    failure: RecordCanonicalizationFailure | undefined;\n}\ninterface DataProperty {\n    readonly value: unknown;\n}\nfunction failure(state: CanonicalizationState, code: RecordCanonicalizationFailure[\"code\"], path: readonly string[]): undefined {\n    if (state.failure === undefined) {\n        state.failure = Object.freeze({\n            code,\n            path: Object.freeze([...path]),\n        });\n    }\n    return undefined;\n}\nfunction compareUtf8(left: string, right: string): number {\n    if (left === right)\n        return 0;\n    const leftBytes = encoder.encode(left);\n    const rightBytes = encoder.encode(right);\n    const length = Math.min(leftBytes.byteLength, rightBytes.byteLength);\n    for (let index = 0; index < length; index += 1) {\n        const difference = leftBytes[index]! - rightBytes[index]!;\n        if (difference !== 0)\n            return difference;\n    }\n    return leftBytes.byteLength - rightBytes.byteLength;\n}\n/** UTF-8 replacement would make identity bytes ambiguous, so reject lone UTF-16 surrogates first. */\nfunction isUnicodeScalarString(value: string): boolean {\n    for (let index = 0; index < value.length; index += 1) {\n        const unit = value.charCodeAt(index);\n        if (unit >= 0xd800 && unit <= 0xdbff) {\n            const next = value.charCodeAt(index + 1);\n            if (index + 1 >= value.length || next < 0xdc00 || next > 0xdfff)\n                return false;\n            index += 1;\n        }\n        else if (unit >= 0xdc00 && unit <= 0xdfff) {\n            return false;\n        }\n    }\n    return true;\n}\nfunction isPlainRecord(value: object): value is Record<string, unknown> {\n    const prototype = Object.getPrototypeOf(value);\n    return prototype === Object.prototype || prototype === null;\n}\nfunction enumerableDataProperty(value: object, key: string | symbol): DataProperty | undefined {\n    const descriptor = Object.getOwnPropertyDescriptor(value, key);\n    if (descriptor === undefined || !(\"value\" in descriptor) || descriptor.enumerable !== true) {\n        return undefined;\n    }\n    return Object.freeze({ value: descriptor.value });\n}\nfunction dataProperty(value: object, key: string | symbol): DataProperty | undefined {\n    const descriptor = Object.getOwnPropertyDescriptor(value, key);\n    if (descriptor === undefined || !(\"value\" in descriptor))\n        return undefined;\n    return Object.freeze({ value: descriptor.value });\n}\nfunction enter(value: unknown, depth: number, path: readonly string[], limits: RecordSchemaLimits, state: CanonicalizationState): boolean {\n    if (depth > limits.maximumDepth) {\n        failure(state, \"record-json-limit-exceeded\", path);\n        return false;\n    }\n    state.nodes += 1;\n    if (state.nodes > limits.maximumNodes) {\n        failure(state, \"record-json-limit-exceeded\", path);\n        return false;\n    }\n    if (typeof value === \"string\") {\n        if (!isUnicodeScalarString(value)) {\n            failure(state, \"record-json-invalid\", path);\n            return false;\n        }\n        if (encoder.encode(value).byteLength > limits.maximumStringUtf8Bytes) {\n            failure(state, \"record-json-limit-exceeded\", path);\n            return false;\n        }\n    }\n    return true;\n}\nfunction sortedObjectKeys(value: object, path: readonly string[], limits: RecordSchemaLimits, state: CanonicalizationState): readonly string[] | undefined {\n    const keys = Reflect.ownKeys(value);\n    if (keys.some((key) => typeof key !== \"string\")) {\n        return failure(state, \"record-json-invalid\", path);\n    }\n    if (keys.length > limits.maximumObjectKeys) {\n        return failure(state, \"record-json-limit-exceeded\", path);\n    }\n    const textKeys = keys as string[];\n    for (const key of textKeys) {\n        if (!isUnicodeScalarString(key)) {\n            return failure(state, \"record-json-invalid\", [...path, key]);\n        }\n        if (key.length === 0 || encoder.encode(key).byteLength > limits.maximumKeyUtf8Bytes) {\n            return failure(state, \"record-json-limit-exceeded\", [...path, key]);\n        }\n    }\n    return Object.freeze([...textKeys].sort(compareUtf8));\n}\nfunction frozenObject<Blob extends object>(entries: readonly (readonly [\n    string,\n    RecordJsonWithBlobRefs<Blob>\n])[]): RecordJsonWithBlobRefsObject<Blob> {\n    const output: Record<string, RecordJsonWithBlobRefs<Blob>> = Object.create(null) as Record<string, RecordJsonWithBlobRefs<Blob>>;\n    for (const [key, value] of entries) {\n        Object.defineProperty(output, key, {\n            configurable: false,\n            enumerable: true,\n            value,\n            writable: false,\n        });\n    }\n    return Object.freeze(output);\n}\nfunction canonicalArray<Blob extends object>(value: readonly unknown[], depth: number, path: readonly string[], limits: RecordSchemaLimits, options: RecordCanonicalizationOptions<Blob>, state: CanonicalizationState): readonly RecordJsonWithBlobRefs<Blob>[] | undefined {\n    if (value.length > limits.maximumArrayItems) {\n        return failure(state, \"record-json-limit-exceeded\", path);\n    }\n    const expected = new Set<string>([\"length\"]);\n    for (let index = 0; index < value.length; index += 1)\n        expected.add(String(index));\n    const keys = Reflect.ownKeys(value);\n    if (keys.length !== expected.size ||\n        keys.some((key) => typeof key !== \"string\" || !expected.has(key))) {\n        return failure(state, \"record-json-invalid\", path);\n    }\n    const length = dataProperty(value, \"length\");\n    if (length === undefined || length.value !== value.length) {\n        return failure(state, \"record-json-invalid\", path);\n    }\n    const output: RecordJsonWithBlobRefs<Blob>[] = [];\n    for (let index = 0; index < value.length; index += 1) {\n        const property = enumerableDataProperty(value, String(index));\n        if (property === undefined) {\n            return failure(state, \"record-json-invalid\", [...path, String(index)]);\n        }\n        const item = canonicalizeValue(property.value, depth + 1, [...path, String(index)], limits, options, state);\n        if (item === undefined)\n            return undefined;\n        output.push(item);\n    }\n    return Object.freeze(output);\n}\nfunction canonicalObject<Blob extends object>(value: Record<string, unknown>, depth: number, path: readonly string[], limits: RecordSchemaLimits, options: RecordCanonicalizationOptions<Blob>, state: CanonicalizationState): RecordJsonWithBlobRefsObject<Blob> | undefined {\n    const keys = sortedObjectKeys(value, path, limits, state);\n    if (keys === undefined)\n        return undefined;\n    const entries: Array<readonly [\n        string,\n        RecordJsonWithBlobRefs<Blob>\n    ]> = [];\n    for (const key of keys) {\n        const property = enumerableDataProperty(value, key);\n        if (property === undefined) {\n            return failure(state, \"record-json-invalid\", [...path, key]);\n        }\n        const child = canonicalizeValue(property.value, depth + 1, [...path, key], limits, options, state);\n        if (child === undefined)\n            return undefined;\n        entries.push([key, child]);\n    }\n    return frozenObject(entries);\n}\nfunction canonicalizeValue<Blob extends object>(input: unknown, depth: number, path: readonly string[], limits: RecordSchemaLimits, options: RecordCanonicalizationOptions<Blob>, state: CanonicalizationState): CanonicalRecordValue<Blob> | undefined {\n    if (!enter(input, depth, path, limits, state))\n        return undefined;\n    if (input === null || typeof input === \"boolean\" || typeof input === \"string\")\n        return input;\n    if (typeof input === \"number\") {\n        return Number.isFinite(input) && !Object.is(input, -0)\n            ? input\n            : failure(state, \"record-json-invalid\", path);\n    }\n    if (typeof input !== \"object\")\n        return failure(state, \"record-json-invalid\", path);\n    try {\n        if (options.isBlobRef?.(input))\n            return input;\n        if (state.ancestors.has(input))\n            return failure(state, \"record-json-invalid\", path);\n        state.ancestors.add(input);\n        try {\n            if (Array.isArray(input))\n                return canonicalArray(input, depth, path, limits, options, state);\n            return isPlainRecord(input)\n                ? canonicalObject(input, depth, path, limits, options, state)\n                : failure(state, \"record-json-invalid\", path);\n        }\n        finally {\n            state.ancestors.delete(input);\n        }\n    }\n    catch {\n        return failure(state, \"record-json-invalid\", path);\n    }\n}\nfunction projectBlobRefsForBudget<Blob extends object>(value: CanonicalRecordValue<Blob>, options: RecordCanonicalizationOptions<Blob>): RecordJson | undefined {\n    if (value === null || typeof value === \"boolean\" || typeof value === \"number\" || typeof value === \"string\") {\n        return value;\n    }\n    if (typeof value !== \"object\")\n        return undefined;\n    if (options.isBlobRef?.(value))\n        return blobBudgetProjection;\n    if (Array.isArray(value)) {\n        const items: RecordJson[] = [];\n        for (const item of value) {\n            const projected = projectBlobRefsForBudget(item, options);\n            if (projected === undefined)\n                return undefined;\n            items.push(projected);\n        }\n        return Object.freeze(items);\n    }\n    if (!isPlainRecord(value))\n        return undefined;\n    const entries: Array<readonly [\n        string,\n        RecordJson\n    ]> = [];\n    for (const key of Object.keys(value).sort(compareUtf8)) {\n        const projected = projectBlobRefsForBudget(value[key] as CanonicalRecordValue<Blob>, options);\n        if (projected === undefined)\n            return undefined;\n        entries.push([key, projected]);\n    }\n    return frozenObject(entries) as RecordJsonObject;\n}\nfunction jsonBytes(value: RecordJson): number | undefined {\n    const text = JSON.stringify(value);\n    return text === undefined ? undefined : encoder.encode(text).byteLength;\n}\n/**\n * The only generic JSON normalizer. It intentionally knows no durable field\n * names or domain types: exact shape belongs to Effect Schema, and Core-only\n * relationships belong to the definition's refine callback.\n */\nexport function canonicalizeRecordValue<Blob extends object = never>(input: unknown, limits: RecordSchemaLimits, options: RecordCanonicalizationOptions<Blob> = {}): Either.Either<CanonicalRecordValue<Blob>, RecordCanonicalizationFailure> {\n    const state: CanonicalizationState = {\n        nodes: 0,\n        ancestors: new WeakSet(),\n        failure: undefined,\n    };\n    const value = canonicalizeValue(input, 0, [], limits, options, state);\n    if (value === undefined) {\n        return Either.left(state.failure ?? Object.freeze({ code: \"record-json-invalid\" as const, path: Object.freeze([]) }));\n    }\n    const projected = projectBlobRefsForBudget(value, options);\n    const bytes = projected === undefined ? undefined : jsonBytes(projected);\n    if (bytes === undefined || bytes > limits.maximumJsonBytes) {\n        return Either.left(Object.freeze({ code: \"record-json-limit-exceeded\" as const, path: Object.freeze([]) }));\n    }\n    return Either.right(value);\n}\nexport function canonicalizeRecordJson(input: unknown, limits: RecordSchemaLimits): Either.Either<RecordJson, RecordCanonicalizationFailure> {\n    const result = canonicalizeRecordValue(input, limits);\n    return Either.isLeft(result)\n        ? Either.left(result.left)\n        : Either.right(result.right as RecordJson);\n}\nexport function canonicalRecordJsonText(value: RecordJson): string {\n    const text = JSON.stringify(value);\n    if (text === undefined)\n        throw new Error(\"Canonical Record JSON must be serializable\");\n    return text;\n}\n"]}

package/dist/record/definition/canonical.d.cts

@@ -0,0 +1,38 @@
+import { Either } from "effect";
+/** JSON object values are represented by an interface to keep recursion finite to TypeScript. */
+export interface RecordJsonObject {
+    readonly [key: string]: RecordJson;
+}
+export type RecordJson = null | boolean | number | string | readonly RecordJson[] | RecordJsonObject;
+/** The Attachment-only durable shape: JSON plus package-owned opaque blob references. */
+export interface RecordJsonWithBlobRefsObject<Blob extends object> {
+    readonly [key: string]: RecordJsonWithBlobRefs<Blob>;
+}
+export type RecordJsonWithBlobRefs<Blob extends object> = null | boolean | number | string | Blob | readonly RecordJsonWithBlobRefs<Blob>[] | RecordJsonWithBlobRefsObject<Blob>;
+/** Every durable value declares all of these budgets at its definition site. */
+export interface RecordSchemaLimits {
+    readonly maximumJsonBytes: number;
+    readonly maximumDepth: number;
+    readonly maximumNodes: number;
+    readonly maximumObjectKeys: number;
+    readonly maximumArrayItems: number;
+    readonly maximumKeyUtf8Bytes: number;
+    readonly maximumStringUtf8Bytes: number;
+}
+export interface RecordCanonicalizationFailure {
+    readonly code: "record-json-invalid" | "record-json-limit-exceeded";
+    readonly path: readonly string[];
+}
+export interface RecordCanonicalizationOptions<Blob extends object = never> {
+    /** Only the Attachment leaf supplies this package-owned opaque-ref guard. */
+    readonly isBlobRef?: (value: object) => value is Blob;
+}
+export type CanonicalRecordValue<Blob extends object = never> = RecordJsonWithBlobRefs<Blob>;
+/**
+ * The only generic JSON normalizer. It intentionally knows no durable field
+ * names or domain types: exact shape belongs to Effect Schema, and Core-only
+ * relationships belong to the definition's refine callback.
+ */
+export declare function canonicalizeRecordValue<Blob extends object = never>(input: unknown, limits: RecordSchemaLimits, options?: RecordCanonicalizationOptions<Blob>): Either.Either<CanonicalRecordValue<Blob>, RecordCanonicalizationFailure>;
+export declare function canonicalizeRecordJson(input: unknown, limits: RecordSchemaLimits): Either.Either<RecordJson, RecordCanonicalizationFailure>;
+export declare function canonicalRecordJsonText(value: RecordJson): string;

package/dist/record/definition/canonical.d.mts

@@ -0,0 +1,38 @@
+import { Either } from "effect";
+/** JSON object values are represented by an interface to keep recursion finite to TypeScript. */
+export interface RecordJsonObject {
+    readonly [key: string]: RecordJson;
+}
+export type RecordJson = null | boolean | number | string | readonly RecordJson[] | RecordJsonObject;
+/** The Attachment-only durable shape: JSON plus package-owned opaque blob references. */
+export interface RecordJsonWithBlobRefsObject<Blob extends object> {
+    readonly [key: string]: RecordJsonWithBlobRefs<Blob>;
+}
+export type RecordJsonWithBlobRefs<Blob extends object> = null | boolean | number | string | Blob | readonly RecordJsonWithBlobRefs<Blob>[] | RecordJsonWithBlobRefsObject<Blob>;
+/** Every durable value declares all of these budgets at its definition site. */
+export interface RecordSchemaLimits {
+    readonly maximumJsonBytes: number;
+    readonly maximumDepth: number;
+    readonly maximumNodes: number;
+    readonly maximumObjectKeys: number;
+    readonly maximumArrayItems: number;
+    readonly maximumKeyUtf8Bytes: number;
+    readonly maximumStringUtf8Bytes: number;
+}
+export interface RecordCanonicalizationFailure {
+    readonly code: "record-json-invalid" | "record-json-limit-exceeded";
+    readonly path: readonly string[];
+}
+export interface RecordCanonicalizationOptions<Blob extends object = never> {
+    /** Only the Attachment leaf supplies this package-owned opaque-ref guard. */
+    readonly isBlobRef?: (value: object) => value is Blob;
+}
+export type CanonicalRecordValue<Blob extends object = never> = RecordJsonWithBlobRefs<Blob>;
+/**
+ * The only generic JSON normalizer. It intentionally knows no durable field
+ * names or domain types: exact shape belongs to Effect Schema, and Core-only
+ * relationships belong to the definition's refine callback.
+ */
+export declare function canonicalizeRecordValue<Blob extends object = never>(input: unknown, limits: RecordSchemaLimits, options?: RecordCanonicalizationOptions<Blob>): Either.Either<CanonicalRecordValue<Blob>, RecordCanonicalizationFailure>;
+export declare function canonicalizeRecordJson(input: unknown, limits: RecordSchemaLimits): Either.Either<RecordJson, RecordCanonicalizationFailure>;
+export declare function canonicalRecordJsonText(value: RecordJson): string;