@czap/core 0.1.0

package/dist/capsules/token-buffer.js

@@ -0,0 +1,53 @@
+/**
+ * Capsule declaration wrapping TokenBuffer as a stateMachine.
+ * Proves the factory kernel against a stateful LLM-token primitive
+ * with bounded-allocation discipline.
+ *
+ * @module
+ */
+import { Schema } from 'effect';
+import { defineCapsule } from '../assembly.js';
+const TokenEventSchema = Schema.Union([
+    Schema.Struct({ _tag: Schema.Literal('push'), token: Schema.String }),
+    Schema.Struct({ _tag: Schema.Literal('flush') }),
+    Schema.Struct({ _tag: Schema.Literal('reset') }),
+]);
+const PhaseSchema = Schema.Union([Schema.Literal('idle'), Schema.Literal('buffering'), Schema.Literal('draining')]);
+const BufferStateSchema = Schema.Struct({
+    phase: PhaseSchema,
+    tokens: Schema.Array(Schema.String),
+    totalBytes: Schema.Number,
+});
+/**
+ * Declared capsule for TokenBuffer. Registered in the module-level
+ * catalog at import time; walked by the factory compiler.
+ */
+export const tokenBufferCapsule = defineCapsule({
+    _kind: 'stateMachine',
+    name: 'core.token-buffer',
+    input: TokenEventSchema,
+    output: BufferStateSchema,
+    capabilities: { reads: [], writes: ['buffer.tokens'] },
+    invariants: [
+        {
+            name: 'phase-matches-content',
+            check: (_i, o) => {
+                const out = o;
+                return out.tokens.length === 0 ? out.phase !== 'buffering' : true;
+            },
+            message: 'empty buffer cannot be in buffering phase',
+        },
+        {
+            name: 'totalBytes-tracks-tokens',
+            check: (_i, o) => {
+                const out = o;
+                const expected = out.tokens.reduce((s, t) => s + t.length, 0);
+                return out.totalBytes === expected;
+            },
+            message: 'totalBytes must equal sum of token byte lengths',
+        },
+    ],
+    budgets: { p95Ms: 0.5, allocClass: 'bounded' },
+    site: ['node', 'browser'],
+});
+//# sourceMappingURL=token-buffer.js.map

package/dist/capsules/token-buffer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-buffer.js","sourceRoot":"","sources":["../../src/capsules/token-buffer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACrE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;IAChD,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;CACjD,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AAEpH,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,KAAK,EAAE,WAAW;IAClB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC,MAAM;CAC1B,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,aAAa,CAAC;IAC9C,KAAK,EAAE,cAAc;IACrB,IAAI,EAAE,mBAAmB;IACzB,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,iBAAiB;IACzB,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE;IACtD,UAAU,EAAE;QACV;YACE,IAAI,EAAE,uBAAuB;YAC7B,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;gBACf,MAAM,GAAG,GAAG,CAAiD,CAAC;gBAC9D,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;YACpE,CAAC;YACD,OAAO,EAAE,2CAA2C;SACrD;QACD;YACE,IAAI,EAAE,0BAA0B;YAChC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;gBACf,MAAM,GAAG,GAAG,CAAsD,CAAC;gBACnE,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;gBAC9D,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC;YACrC,CAAC;YACD,OAAO,EAAE,iDAAiD;SAC3D;KACF;IACD,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE;IAC9C,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;CAC1B,CAAC,CAAC"}

package/dist/capture.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Capture types -- the contract between frame rendering and video encoding.
+ *
+ * `FrameCapture` is the abstraction that both WebCodecs and Remotion
+ * implement. VideoRenderer produces frames, FrameCapture consumes them.
+ *
+ * @module
+ */
+import type { Millis } from './brands.js';
+/** Encoder-facing configuration: target resolution and frame rate. */
+export interface CaptureConfig {
+    readonly width: number;
+    readonly height: number;
+    readonly fps: number;
+}
+/** Single pre-rendered frame handed to a {@link FrameCapture} — frame number, timestamp, and pixel source. */
+export interface CaptureFrame {
+    readonly frame: number;
+    readonly timestamp: number;
+    readonly bitmap: ImageBitmap | OffscreenCanvas;
+}
+/**
+ * Minimal encoder contract: `init` to open the encoder, `capture` per frame,
+ * `finalize` to flush and return the encoded blob. Implemented by `@czap/web`
+ * (WebCodecs) and `@czap/remotion` (Remotion capture).
+ */
+export interface FrameCapture {
+    readonly _tag: 'FrameCapture';
+    init(config: CaptureConfig): Promise<void>;
+    capture(frame: CaptureFrame): Promise<void>;
+    finalize(): Promise<CaptureResult>;
+}
+/** Encoder output returned from {@link FrameCapture}.`finalize`: the encoded blob plus codec metadata. */
+export interface CaptureResult {
+    readonly blob: Blob;
+    readonly codec: string;
+    readonly frames: number;
+    readonly durationMs: Millis;
+}
+//# sourceMappingURL=capture.d.ts.map

package/dist/capture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture.d.ts","sourceRoot":"","sources":["../src/capture.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAM1C,sEAAsE;AACtE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,8GAA8G;AAC9G,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,eAAe,CAAC;CAChD;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,IAAI,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,QAAQ,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC;CACpC;AAED,0GAA0G;AAC1G,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B"}

package/dist/capture.js

@@ -0,0 +1,10 @@
+/**
+ * Capture types -- the contract between frame rendering and video encoding.
+ *
+ * `FrameCapture` is the abstraction that both WebCodecs and Remotion
+ * implement. VideoRenderer produces frames, FrameCapture consumes them.
+ *
+ * @module
+ */
+export {};
+//# sourceMappingURL=capture.js.map

package/dist/capture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture.js","sourceRoot":"","sources":["../src/capture.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/cbor.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Canonical CBOR encoder — RFC 8949 §4.2.1 deterministic encoding.
+ *
+ * Pure encode-only path used to produce stable byte sequences for content
+ * addressing and idempotency hashes. Honors ADR-0003: identical inputs
+ * (including key-permuted plain objects) emit byte-identical Uint8Arrays
+ * across platforms.
+ *
+ * Rules implemented:
+ * - Integers (major 0/1) use shortest form. Range: [MIN_SAFE_INTEGER,
+ *   MAX_SAFE_INTEGER]. Negative `n` encodes as `-1 - n` per spec.
+ * - Numbers that are not safe integers encode as float64 (major 7, simple 27).
+ * - Strings encode as UTF-8 with major 3 length prefix.
+ * - Uint8Array encodes as major 2 (byte string) with length prefix.
+ * - Arrays encode definite-length (major 4).
+ * - Plain objects encode as definite-length maps (major 5). Keys are
+ *   sorted by their **encoded byte order** (lex on UTF-8 bytes for the
+ *   string-keyed case) before emission. `undefined` properties are skipped.
+ * - `false`/`true`/`null` emit simple values 20/21/22. `undefined` is
+ *   coerced to null (22) for JSON parity; plain-object properties whose
+ *   value is `undefined` are skipped entirely.
+ *
+ * @module
+ */
+/** Canonical CBOR encoder namespace (ADR-0001 pattern). */
+export declare const CanonicalCbor: {
+    readonly encode: (value: unknown) => Uint8Array;
+};
+export declare namespace CanonicalCbor {
+    /** Output type — raw CBOR bytes per RFC 8949 §4.2.1. */
+    type Encoded = Uint8Array;
+}
+//# sourceMappingURL=cbor.d.ts.map

package/dist/cbor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cbor.d.ts","sourceRoot":"","sources":["../src/cbor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAyKH,2DAA2D;AAC3D,eAAO,MAAM,aAAa;6BA1BF,OAAO,KAAG,UAAU;CA0Ba,CAAC;AAE1D,MAAM,CAAC,OAAO,WAAW,aAAa,CAAC;IACrC,wDAAwD;IACxD,KAAY,OAAO,GAAG,UAAU,CAAC;CAClC"}

package/dist/cbor.js

@@ -0,0 +1,179 @@
+/**
+ * Canonical CBOR encoder — RFC 8949 §4.2.1 deterministic encoding.
+ *
+ * Pure encode-only path used to produce stable byte sequences for content
+ * addressing and idempotency hashes. Honors ADR-0003: identical inputs
+ * (including key-permuted plain objects) emit byte-identical Uint8Arrays
+ * across platforms.
+ *
+ * Rules implemented:
+ * - Integers (major 0/1) use shortest form. Range: [MIN_SAFE_INTEGER,
+ *   MAX_SAFE_INTEGER]. Negative `n` encodes as `-1 - n` per spec.
+ * - Numbers that are not safe integers encode as float64 (major 7, simple 27).
+ * - Strings encode as UTF-8 with major 3 length prefix.
+ * - Uint8Array encodes as major 2 (byte string) with length prefix.
+ * - Arrays encode definite-length (major 4).
+ * - Plain objects encode as definite-length maps (major 5). Keys are
+ *   sorted by their **encoded byte order** (lex on UTF-8 bytes for the
+ *   string-keyed case) before emission. `undefined` properties are skipped.
+ * - `false`/`true`/`null` emit simple values 20/21/22. `undefined` is
+ *   coerced to null (22) for JSON parity; plain-object properties whose
+ *   value is `undefined` are skipped entirely.
+ *
+ * @module
+ */
+const MAJOR_UNSIGNED = 0 << 5;
+const MAJOR_NEGATIVE = 1 << 5;
+const MAJOR_BYTES = 2 << 5;
+const MAJOR_STRING = 3 << 5;
+const MAJOR_ARRAY = 4 << 5;
+const MAJOR_MAP = 5 << 5;
+const MAJOR_SIMPLE = 7 << 5;
+const SIMPLE_FALSE = 20;
+const SIMPLE_TRUE = 21;
+const SIMPLE_NULL = 22;
+const SIMPLE_FLOAT64 = 27;
+const textEncoder = new TextEncoder();
+/** Internal: encode an unsigned integer head with the given major type. */
+function encodeHead(major, value) {
+    if (value < 0 || !Number.isFinite(value)) {
+        throw new RangeError(`CanonicalCbor: head argument must be a non-negative finite integer, got ${value}`);
+    }
+    if (value < 24) {
+        return new Uint8Array([major | value]);
+    }
+    if (value < 0x100) {
+        return new Uint8Array([major | 24, value]);
+    }
+    if (value < 0x10000) {
+        return new Uint8Array([major | 25, (value >>> 8) & 0xff, value & 0xff]);
+    }
+    if (value < 0x100000000) {
+        return new Uint8Array([
+            major | 26,
+            (value >>> 24) & 0xff,
+            (value >>> 16) & 0xff,
+            (value >>> 8) & 0xff,
+            value & 0xff,
+        ]);
+    }
+    // 8-byte unsigned integer head; safe up to 2^53 - 1.
+    const high = Math.floor(value / 0x100000000);
+    const low = value >>> 0;
+    return new Uint8Array([
+        major | 27,
+        (high >>> 24) & 0xff,
+        (high >>> 16) & 0xff,
+        (high >>> 8) & 0xff,
+        high & 0xff,
+        (low >>> 24) & 0xff,
+        (low >>> 16) & 0xff,
+        (low >>> 8) & 0xff,
+        low & 0xff,
+    ]);
+}
+function concat(parts) {
+    let total = 0;
+    for (const p of parts)
+        total += p.length;
+    const out = new Uint8Array(total);
+    let offset = 0;
+    for (const p of parts) {
+        out.set(p, offset);
+        offset += p.length;
+    }
+    return out;
+}
+function encodeInteger(value) {
+    if (value >= 0) {
+        return encodeHead(MAJOR_UNSIGNED, value);
+    }
+    // -1 - n form. For value = -1 → 0; value = -100 → 99; etc.
+    return encodeHead(MAJOR_NEGATIVE, -1 - value);
+}
+function encodeFloat64(value) {
+    const buf = new ArrayBuffer(8);
+    new DataView(buf).setFloat64(0, value, false /* big-endian */);
+    const out = new Uint8Array(9);
+    out[0] = MAJOR_SIMPLE | SIMPLE_FLOAT64;
+    out.set(new Uint8Array(buf), 1);
+    return out;
+}
+function encodeNumber(value) {
+    if (Number.isInteger(value) &&
+        value >= Number.MIN_SAFE_INTEGER &&
+        value <= Number.MAX_SAFE_INTEGER) {
+        return encodeInteger(value);
+    }
+    return encodeFloat64(value);
+}
+function encodeString(value) {
+    const utf8 = textEncoder.encode(value);
+    return concat([encodeHead(MAJOR_STRING, utf8.length), utf8]);
+}
+function encodeBytes(value) {
+    return concat([encodeHead(MAJOR_BYTES, value.length), value]);
+}
+function encodeArray(value) {
+    const parts = [encodeHead(MAJOR_ARRAY, value.length)];
+    for (const item of value) {
+        parts.push(_encode(item));
+    }
+    return concat(parts);
+}
+function compareBytes(a, b) {
+    const len = Math.min(a.length, b.length);
+    for (let i = 0; i < len; i++) {
+        const av = a[i];
+        const bv = b[i];
+        if (av !== bv)
+            return av - bv;
+    }
+    return a.length - b.length;
+}
+function encodeObject(value) {
+    // Skip undefined values to match JSON semantics.
+    const keys = Object.keys(value).filter((k) => value[k] !== undefined);
+    const pairs = [];
+    for (const key of keys) {
+        pairs.push({
+            keyBytes: encodeString(key),
+            valueBytes: _encode(value[key]),
+        });
+    }
+    // RFC 8949 §4.2.1: sort by encoded-key byte sequence, lexicographically.
+    pairs.sort((p, q) => compareBytes(p.keyBytes, q.keyBytes));
+    const parts = [encodeHead(MAJOR_MAP, pairs.length)];
+    for (const pair of pairs) {
+        parts.push(pair.keyBytes);
+        parts.push(pair.valueBytes);
+    }
+    return concat(parts);
+}
+const _encode = (value) => {
+    if (value === null || value === undefined) {
+        return new Uint8Array([MAJOR_SIMPLE | SIMPLE_NULL]);
+    }
+    if (typeof value === 'boolean') {
+        return new Uint8Array([MAJOR_SIMPLE | (value ? SIMPLE_TRUE : SIMPLE_FALSE)]);
+    }
+    if (typeof value === 'number') {
+        return encodeNumber(value);
+    }
+    if (typeof value === 'string') {
+        return encodeString(value);
+    }
+    if (value instanceof Uint8Array) {
+        return encodeBytes(value);
+    }
+    if (Array.isArray(value)) {
+        return encodeArray(value);
+    }
+    if (typeof value === 'object') {
+        return encodeObject(value);
+    }
+    throw new TypeError(`CanonicalCbor: unsupported value type ${typeof value}`);
+};
+/** Canonical CBOR encoder namespace (ADR-0001 pattern). */
+export const CanonicalCbor = { encode: _encode };
+//# sourceMappingURL=cbor.js.map

package/dist/cbor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cbor.js","sourceRoot":"","sources":["../src/cbor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,MAAM,cAAc,GAAG,CAAC,IAAI,CAAC,CAAC;AAC9B,MAAM,cAAc,GAAG,CAAC,IAAI,CAAC,CAAC;AAC9B,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3B,MAAM,YAAY,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5B,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3B,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,CAAC;AACzB,MAAM,YAAY,GAAG,CAAC,IAAI,CAAC,CAAC;AAE5B,MAAM,YAAY,GAAG,EAAE,CAAC;AACxB,MAAM,WAAW,GAAG,EAAE,CAAC;AACvB,MAAM,WAAW,GAAG,EAAE,CAAC;AACvB,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAEtC,2EAA2E;AAC3E,SAAS,UAAU,CAAC,KAAa,EAAE,KAAa;IAC9C,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,UAAU,CAAC,2EAA2E,KAAK,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACf,OAAO,IAAI,UAAU,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;QAClB,OAAO,IAAI,UAAU,CAAC,CAAC,KAAK,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;QACpB,OAAO,IAAI,UAAU,CAAC,CAAC,KAAK,GAAG,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,KAAK,GAAG,WAAW,EAAE,CAAC;QACxB,OAAO,IAAI,UAAU,CAAC;YACpB,KAAK,GAAG,EAAE;YACV,CAAC,KAAK,KAAK,EAAE,CAAC,GAAG,IAAI;YACrB,CAAC,KAAK,KAAK,EAAE,CAAC,GAAG,IAAI;YACrB,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,IAAI;YACpB,KAAK,GAAG,IAAI;SACb,CAAC,CAAC;IACL,CAAC;IACD,qDAAqD;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC;IACxB,OAAO,IAAI,UAAU,CAAC;QACpB,KAAK,GAAG,EAAE;QACV,CAAC,IAAI,KAAK,EAAE,CAAC,GAAG,IAAI;QACpB,CAAC,IAAI,KAAK,EAAE,CAAC,GAAG,IAAI;QACpB,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,IAAI;QACnB,IAAI,GAAG,IAAI;QACX,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI;QACnB,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI;QACnB,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI;QAClB,GAAG,GAAG,IAAI;KACX,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CAAC,KAA4B;IAC1C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACnB,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC;IACrB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,OAAO,UAAU,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,2DAA2D;IAC3D,OAAO,UAAU,CAAC,cAAc,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,GAAG,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9B,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,GAAG,cAAc,CAAC;IACvC,GAAG,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,IACE,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;QACvB,KAAK,IAAI,MAAM,CAAC,gBAAgB;QAChC,KAAK,IAAI,MAAM,CAAC,gBAAgB,EAChC,CAAC;QACD,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB;IACpC,OAAO,MAAM,CAAC,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB;IAC5C,MAAM,KAAK,GAAiB,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,YAAY,CAAC,CAAa,EAAE,CAAa;IAChD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACjB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACjB,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;AAC7B,CAAC;AAED,SAAS,YAAY,CAAC,KAA8B;IAClD,iDAAiD;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACtE,MAAM,KAAK,GAAuD,EAAE,CAAC;IACrE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC;YAC3B,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;SAChC,CAAC,CAAC;IACL,CAAC;IACD,yEAAyE;IACzE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE3D,MAAM,KAAK,GAAiB,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,KAAc,EAAc,EAAE;IAC7C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,OAAO,IAAI,UAAU,CAAC,CAAC,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,IAAI,UAAU,CAAC,CAAC,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAChC,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,YAAY,CAAC,KAAgC,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,IAAI,SAAS,CAAC,yCAAyC,OAAO,KAAK,EAAE,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,aAAa,GAAG,EAAE,MAAM,EAAE,OAAO,EAAW,CAAC"}

package/dist/cell.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Cell<T> -- writable reactive primitive.
+ *
+ * @module
+ */
+import type { Scope } from 'effect';
+import { Effect, Stream, SubscriptionRef } from 'effect';
+interface CellShape<T> {
+    readonly _tag: 'Cell';
+    readonly ref: SubscriptionRef.SubscriptionRef<T>;
+    readonly changes: Stream.Stream<T>;
+    readonly get: Effect.Effect<T>;
+    set(value: T): Effect.Effect<void>;
+    update(f: (current: T) => T): Effect.Effect<void>;
+}
+/**
+ * Read all values from a tuple of cells, preserving the tuple type `T`.
+ *
+ * Sanctioned single cast site for Cell combinators. Two type-system gaps force
+ * this containment:
+ *   1. `tupleMap`'s callback signature collapses to `U = Effect<T[number]>`,
+ *      losing the per-element `Effect<T[K]>` relationship.
+ *   2. `Effect.all`'s tuple overload returns a mapped-tuple result
+ *      `{ -readonly [K in keyof ...]: _A }` that TypeScript cannot fold back
+ *      to the input tuple type `T` (`T` could be instantiated with an
+ *      arbitrary subtype per the structural contravariance rules).
+ *
+ * The runtime behavior is provably correct: `tupleMap` is total and order-
+ * preserving, `Effect.all` with an array input preserves positional order and
+ * arity, so the resulting values are `T` by construction.
+ */
+export declare const readAllCellValues: <T extends readonly unknown[]>(cells: { readonly [K in keyof T]: CellShape<T[K]>; }) => Effect.Effect<T>;
+/**
+ * Cell — mutable reactive primitive backed by `SubscriptionRef`.
+ * The workhorse of czap's reactive graph: `get` for a snapshot, `set` to
+ * push, `changes` for the stream of subsequent values.
+ */
+export declare const Cell: {
+    /** Build a cell with an initial value. */
+    make: <T>(initial: T) => Effect.Effect<CellShape<T>>;
+    /** Seed a cell with an initial value and mirror every stream emission into it. */
+    fromStream: <T>(initial: T, source: Stream.Stream<T>) => Effect.Effect<CellShape<T>, never, Scope.Scope>;
+    /** Tuple-combine cells into a single cell of their current values. */
+    all: <const T extends readonly unknown[]>(cells: { readonly [K in keyof T]: CellShape<T[K]>; }) => Effect.Effect<CellShape<T>, never, Scope.Scope>;
+    /** Scoped `map` — derive a new cell by applying `fn` to every emission. */
+    map: <T, U>(cell: CellShape<T>, fn: (value: T) => U) => Effect.Effect<CellShape<U>, never, Scope.Scope>;
+};
+export declare namespace Cell {
+    /** Structural shape of a {@link Cell}: `_tag`, `get`, `set`, `changes`. */
+    type Shape<T> = CellShape<T>;
+}
+export {};
+//# sourceMappingURL=cell.d.ts.map

package/dist/cell.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cell.d.ts","sourceRoot":"","sources":["../src/cell.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAa,MAAM,QAAQ,CAAC;AAGpE,UAAU,SAAS,CAAC,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/B,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACnD;AAyBD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5D,OAAO,EAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAE,KAClD,MAAM,CAAC,MAAM,CAAC,CAAC,CAGjB,CAAC;AA+CF;;;;GAIG;AACH,eAAO,MAAM,IAAI;IACf,0CAA0C;WAjG7B,CAAC,WAAW,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAmGxD,kFAAkF;iBArF/D,CAAC,WAAW,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IAuF5G,sEAAsE;gBAvDpD,CAAC,SAAS,SAAS,OAAO,EAAE,SACvC,EAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAE,KAClD,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IAuDhD,2EAA2E;UAvB/D,CAAC,EAAE,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;CAyB5G,CAAC;AAEF,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B,2EAA2E;IAC3E,KAAY,KAAK,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC;CACrC"}

package/dist/cell.js

@@ -0,0 +1,83 @@
+/**
+ * Cell<T> -- writable reactive primitive.
+ *
+ * @module
+ */
+import { Effect, Stream, SubscriptionRef, Semaphore } from 'effect';
+import { tupleMap } from './tuple.js';
+const _make = (initial) => Effect.gen(function* () {
+    const ref = yield* SubscriptionRef.make(initial);
+    return {
+        _tag: 'Cell',
+        ref,
+        changes: SubscriptionRef.changes(ref),
+        get: SubscriptionRef.get(ref),
+        set: (value) => SubscriptionRef.set(ref, value),
+        update: (f) => SubscriptionRef.update(ref, f),
+    };
+});
+const _fromStream = (initial, source) => Effect.gen(function* () {
+    const cell = yield* _make(initial);
+    yield* Effect.forkScoped(Stream.runForEach(source, (value) => cell.set(value)));
+    return cell;
+});
+/**
+ * Read all values from a tuple of cells, preserving the tuple type `T`.
+ *
+ * Sanctioned single cast site for Cell combinators. Two type-system gaps force
+ * this containment:
+ *   1. `tupleMap`'s callback signature collapses to `U = Effect<T[number]>`,
+ *      losing the per-element `Effect<T[K]>` relationship.
+ *   2. `Effect.all`'s tuple overload returns a mapped-tuple result
+ *      `{ -readonly [K in keyof ...]: _A }` that TypeScript cannot fold back
+ *      to the input tuple type `T` (`T` could be instantiated with an
+ *      arbitrary subtype per the structural contravariance rules).
+ *
+ * The runtime behavior is provably correct: `tupleMap` is total and order-
+ * preserving, `Effect.all` with an array input preserves positional order and
+ * arity, so the resulting values are `T` by construction.
+ */
+export const readAllCellValues = (cells) => {
+    const gets = tupleMap(cells, (cell) => cell.get);
+    return Effect.all(gets, { concurrency: 'unbounded' });
+};
+const _all = (cells) => {
+    const readAll = readAllCellValues(cells);
+    return Effect.gen(function* () {
+        const values = yield* readAll;
+        const combined = yield* _make(values);
+        const sem = Semaphore.makeUnsafe(1);
+        yield* Effect.forkScoped(Effect.gen(function* () {
+            const changeStreams = tupleMap(cells, (cell) => cell.changes);
+            const updates = changeStreams.map((changes) => Stream.runForEach(changes, () => Semaphore.withPermits(sem, 1)(Effect.gen(function* () {
+                const newValues = yield* readAll;
+                yield* combined.set(newValues);
+            }))));
+            yield* Effect.all(updates, { concurrency: 'unbounded' });
+        }));
+        return combined;
+    });
+};
+const _map = (cell, fn) => Effect.gen(function* () {
+    const initialValue = yield* cell.get;
+    const mappedInitial = fn(initialValue);
+    const mapped = yield* _make(mappedInitial);
+    yield* Effect.forkScoped(Stream.runForEach(cell.changes, (value) => mapped.set(fn(value))));
+    return mapped;
+});
+/**
+ * Cell — mutable reactive primitive backed by `SubscriptionRef`.
+ * The workhorse of czap's reactive graph: `get` for a snapshot, `set` to
+ * push, `changes` for the stream of subsequent values.
+ */
+export const Cell = {
+    /** Build a cell with an initial value. */
+    make: _make,
+    /** Seed a cell with an initial value and mirror every stream emission into it. */
+    fromStream: _fromStream,
+    /** Tuple-combine cells into a single cell of their current values. */
+    all: _all,
+    /** Scoped `map` — derive a new cell by applying `fn` to every emission. */
+    map: _map,
+};
+//# sourceMappingURL=cell.js.map

package/dist/cell.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cell.js","sourceRoot":"","sources":["../src/cell.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAWtC,MAAM,KAAK,GAAG,CAAI,OAAU,EAA+B,EAAE,CAC3D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjD,OAAO;QACL,IAAI,EAAE,MAAe;QACrB,GAAG;QACH,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC;QACrC,GAAG,EAAE,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC;QAC7B,GAAG,EAAE,CAAC,KAAQ,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;QAClD,MAAM,EAAE,CAAC,CAAoB,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;KACjE,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,MAAM,WAAW,GAAG,CAAI,OAAU,EAAE,MAAwB,EAAmD,EAAE,CAC/G,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEnC,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAEhF,OAAO,IAAI,CAAC;AACd,CAAC,CAAC,CAAC;AAEL;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAmD,EACjC,EAAE;IACpB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAgC,CAAC;AACvF,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,CACX,KAAmD,EACF,EAAE;IACnD,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAEzC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAEpC,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9D,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC5C,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,CAC9B,SAAS,CAAC,WAAW,CACnB,GAAG,EACH,CAAC,CACF,CACC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;gBACjC,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACjC,CAAC,CAAC,CACH,CACF,CACF,CAAC;YACF,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;QAC3D,CAAC,CAAC,CACH,CAAC;QAEF,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,CAAO,IAAkB,EAAE,EAAmB,EAAmD,EAAE,CAC9G,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;IACrC,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAE3C,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5F,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC,CAAC;AAEL;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,0CAA0C;IAC1C,IAAI,EAAE,KAAK;IACX,kFAAkF;IAClF,UAAU,EAAE,WAAW;IACvB,sEAAsE;IACtE,GAAG,EAAE,IAAI;IACT,2EAA2E;IAC3E,GAAG,EAAE,IAAI;CACV,CAAC"}

package/dist/codec.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Codec -- Effect Schema codec builder.
+ *
+ * Wraps Effect Schema into a typed codec with encode/decode methods.
+ *
+ * @module
+ */
+import type { Effect } from 'effect';
+import { Schema } from 'effect';
+interface CodecShape<A, I = A> {
+    readonly schema: Schema.Codec<A, I>;
+    encode(value: A): Effect.Effect<I, Schema.SchemaError>;
+    decode(input: I): Effect.Effect<A, Schema.SchemaError>;
+}
+declare function _make<A, I>(schema: Schema.Codec<A, I>): CodecShape<A, I>;
+/**
+ * Codec — typed encode/decode wrapper over `effect`'s `Schema.Codec`.
+ * Gives a single call site for schema-driven validation so consumers don't
+ * import `Schema.encodeEffect`/`decodeEffect` directly.
+ */
+export declare const Codec: {
+    /** Wrap a `Schema.Codec` in the {@link Codec.Shape} facade. */
+    make: typeof _make;
+};
+export declare namespace Codec {
+    /** Structural shape of a codec: underlying schema plus `encode` / `decode` Effects. */
+    type Shape<A, I = A> = CodecShape<A, I>;
+}
+export {};
+//# sourceMappingURL=codec.d.ts.map

package/dist/codec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,UAAU,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACvD,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;CACxD;AAED,iBAAS,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAMjE;AAED;;;;GAIG;AACH,eAAO,MAAM,KAAK;IAChB,+DAA+D;;CAEhE,CAAC;AAEF,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC;IAC7B,uFAAuF;IACvF,KAAY,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAChD"}

package/dist/codec.js

@@ -0,0 +1,25 @@
+/**
+ * Codec -- Effect Schema codec builder.
+ *
+ * Wraps Effect Schema into a typed codec with encode/decode methods.
+ *
+ * @module
+ */
+import { Schema } from 'effect';
+function _make(schema) {
+    return {
+        schema,
+        encode: (value) => Schema.encodeEffect(schema)(value),
+        decode: (input) => Schema.decodeEffect(schema)(input),
+    };
+}
+/**
+ * Codec — typed encode/decode wrapper over `effect`'s `Schema.Codec`.
+ * Gives a single call site for schema-driven validation so consumers don't
+ * import `Schema.encodeEffect`/`decodeEffect` directly.
+ */
+export const Codec = {
+    /** Wrap a `Schema.Codec` in the {@link Codec.Shape} facade. */
+    make: _make,
+};
+//# sourceMappingURL=codec.js.map

package/dist/codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAQhC,SAAS,KAAK,CAAO,MAA0B;IAC7C,OAAO;QACL,MAAM;QACN,MAAM,EAAE,CAAC,KAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC;QACxD,MAAM,EAAE,CAAC,KAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC;KACzD,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,+DAA+D;IAC/D,IAAI,EAAE,KAAK;CACZ,CAAC"}

package/dist/component.d.ts

@@ -0,0 +1,52 @@
+/**
+ * ComponentDef -- adaptive component primitive for constraint-based rendering.
+ *
+ * A component binds a boundary, styles, and named slots into a single
+ * content-addressed unit. Content-addressed via FNV-1a.
+ *
+ * @module
+ */
+import type { ContentAddress } from './brands.js';
+import type { Boundary } from './boundary.js';
+import type { Style } from './style.js';
+/** Per-slot configuration on a component — whether the slot must be provided, plus optional description. */
+export interface SlotConfig {
+    readonly required: boolean;
+    readonly description?: string;
+}
+interface ComponentDef<B extends Boundary.Shape = Boundary.Shape, SlotNames extends readonly string[] = readonly string[]> {
+    readonly _tag: 'ComponentDef';
+    readonly _version: 1;
+    readonly id: ContentAddress;
+    readonly name: string;
+    readonly boundary?: B;
+    readonly styles: Style.Shape<B>;
+    readonly slots: {
+        readonly [K in SlotNames[number]]: SlotConfig;
+    };
+    readonly defaultSlot?: SlotNames[number];
+}
+interface ComponentFactory {
+    make<B extends Boundary.Shape, const SN extends readonly [string, ...string[]]>(config: {
+        readonly name: string;
+        readonly boundary?: B;
+        readonly styles: Style.Shape<B>;
+        readonly slots: {
+            readonly [K in SN[number]]: SlotConfig;
+        };
+        readonly defaultSlot?: SN[number];
+    }): ComponentDef<B, SN>;
+}
+/**
+ * Component — the content-addressed unit that binds a {@link Boundary}, a
+ * {@link Style}, and named slots into a single declaration compilers can
+ * target. The optional boundary gates style variants; the slots describe
+ * the consumer-facing API.
+ */
+export declare const Component: ComponentFactory;
+export declare namespace Component {
+    /** Structural shape of a component definition, parameterized by its boundary and slot names. */
+    type Shape<B extends Boundary.Shape = Boundary.Shape, SN extends readonly string[] = readonly string[]> = ComponentDef<B, SN>;
+}
+export {};
+//# sourceMappingURL=component.d.ts.map

package/dist/component.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"component.d.ts","sourceRoot":"","sources":["../src/component.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAIxC,4GAA4G;AAC5G,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,UAAU,YAAY,CACpB,CAAC,SAAS,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,EACzC,SAAS,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE;IAEvD,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,UAAU;KAAE,CAAC;IAClE,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;CAC1C;AAED,UAAU,gBAAgB;IACxB,IAAI,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE;QACtF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,QAAQ,CAAC,KAAK,EAAE;YAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,UAAU;SAAE,CAAC;QAC3D,QAAQ,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;KACnC,GAAG,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CACzB;AAsBD;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,gBAsBvB,CAAC;AAEF,MAAM,CAAC,OAAO,WAAW,SAAS,CAAC;IACjC,gGAAgG;IAChG,KAAY,KAAK,CACf,CAAC,SAAS,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,EACzC,EAAE,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,IAC9C,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CACzB"}