@czap/core 0.1.0

package/dist/wire.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire.js","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAqB/C,SAAS,IAAI,CAAe,MAA2B;IACrD,MAAM,UAAU,GAAoB;QAClC,IAAI,EAAE,MAAe;QACrB,MAAM;QAEN,GAAG,EAAE,CAAI,CAAc,EAAE,EAAE,CAAC,IAAI,CAAO,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAE7D,MAAM,EAAE,CAAC,CAAoB,EAAE,EAAE,CAAC,IAAI,CAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAEtE,IAAI,EAAE,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAO,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAEvD,SAAS,EAAE,CAAC,SAA4B,EAAE,EAAE,CAAC,IAAI,CAAO,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAE5F,QAAQ,EAAE,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,CAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAEjE,QAAQ,EAAE,CAAC,EAAU,EAAE,EAAE,CACvB,IAAI,CACF,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE;YACtB,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YACb,KAAK,EAAE,CAAC;YACR,QAAQ,EAAE,EAAE;YACZ,QAAQ,EAAE,SAAS;SACpB,CAAC,CACH;QAEH,IAAI,EAAE,CAAI,OAAU,EAAE,CAA0B,EAAE,EAAE,CAAC,IAAI,CAAO,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAEhG,OAAO,EAAE,CAAQ,CAA6B,EAAE,EAAE,CAAC,IAAI,CAAY,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAE9G,KAAK,EAAE,CAAQ,KAAuB,EAAE,EAAE,CAAC,IAAI,CAAgB,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAElG,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAElC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAI,KAAK,CAAC,CAAC;KACzF,CAAC;IAEF,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,KAAK,GAAG,CAAe,MAA2B,EAAmB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAE3F;;;;;;;;;;GAUG;AACH,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,OAAyB,EAAkC,EAAE;IAC1F,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAsB,CAAC,KAAK,EAAE,EAAE,CAC5D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,MAAM,GAAG,KAAK,CAAC;QAEnB,MAAM,QAAQ,GAAG,GAAS,EAAE;YAC1B,IAAI,MAAM;gBAAE,OAAO;YACnB,MAAM,GAAG,IAAI,CAAC;YACd,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7C,CAAC,CAAC;QAEF,WAAW,CAAC,SAAS,GAAG,CAAC,KAAK,EAAE,EAAE;YAChC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC,CAAC;QAEF,WAAW,CAAC,OAAO,GAAG,GAAG,EAAE;YACzB,WAAW,CAAC,KAAK,EAAE,CAAC;YACpB,QAAQ,EAAE,CAAC;QACb,CAAC,CAAC;QAEF,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,WAAW,CAAC,KAAK,EAAE,CAAC;YACpB,QAAQ,EAAE,CAAC;QACb,CAAC,CAAC,CACH,CAAC;QAEF,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC,CACH,CAAC;IAEF,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,cAAc,GAAG,CAAC,GAAW,EAAE,SAA6B,EAAkC,EAAE;IACpG,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAsB,CAAC,KAAK,EAAE,EAAE,CAC5D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACzC,IAAI,MAAM,GAAG,KAAK,CAAC;QAEnB,MAAM,QAAQ,GAAG,GAAS,EAAE;YAC1B,IAAI,MAAM;gBAAE,OAAO;YACnB,MAAM,GAAG,IAAI,CAAC;YACd,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7C,CAAC,CAAC;QAEF,EAAE,CAAC,SAAS,GAAG,CAAC,KAAK,EAAE,EAAE;YACvB,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC,CAAC;QAEF,EAAE,CAAC,OAAO,GAAG,GAAG,EAAE;YAChB,QAAQ,EAAE,CAAC;QACb,CAAC,CAAC;QAEF,EAAE,CAAC,OAAO,GAAG,GAAG,EAAE;YAChB,QAAQ,EAAE,CAAC;QACb,CAAC,CAAC;QAEF,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,IAAI,EAAE,CAAC,UAAU,KAAK,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU,EAAE,CAAC;gBAC/E,EAAE,CAAC,KAAK,EAAE,CAAC;YACb,CAAC;YACD,QAAQ,EAAE,CAAC;QACb,CAAC,CAAC,CACH,CAAC;QAEF,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC,CACH,CAAC;IAEF,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,kBAAkB,GAAG,CAAI,QAA0B,EAAuB,EAAE;IAChF,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1G,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,IAAI,GAAG,CAAO,CAAe,EAAE,CAAe,EAA8B,EAAE,CAClF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AAEvC;;;;;;;;;;GAUG;AACH,MAAM,MAAM,GAAG,CAAO,OAAuC,EAAmB,EAAE;IAChF,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;IAC5E,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,WAAW,GAAG,CAAO,MAAuB,EAAsC,EAAE,CACxF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAE7E;;;;;;;;;GASG;AACH,MAAM,WAAW,GAAG,CAClB,MAAwB,EACxB,EAAuC,EACP,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAE1E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,QAAQ;IACjB,aAAa,EAAE,cAAc;IAC7B,iBAAiB,EAAE,kBAAkB;IACrC,GAAG,EAAE,IAAI;IACT,KAAK,EAAE,MAAM;IACb,UAAU,EAAE,WAAW;IACvB,UAAU,EAAE,WAAW;CACxB,CAAC"}

package/dist/zap.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Zap<T> -- push-based event channel via PubSub.
+ *
+ * @module
+ */
+import { Effect, Stream } from 'effect';
+import type { Scope } from 'effect';
+import type { Millis } from './brands.js';
+interface ZapShape<T> {
+    readonly _tag: 'Zap';
+    readonly stream: Stream.Stream<T>;
+    emit(value: T): Effect.Effect<void>;
+}
+/**
+ * Zap -- push-based event channel backed by Effect PubSub.
+ * Provides reactive event streams with map, filter, merge, debounce, and throttle.
+ *
+ * @example
+ * ```ts
+ * const program = Effect.scoped(Effect.gen(function* () {
+ *   const zap = yield* Zap.make<number>();
+ *   const doubled = yield* Zap.map(zap, n => n * 2);
+ *   yield* zap.emit(5);
+ *   // doubled.stream receives 10
+ * }));
+ * ```
+ */
+export declare const Zap: {
+    make: <T>() => Effect.Effect<ZapShape<T>, never, Scope.Scope>;
+    fromDOMEvent: <K extends keyof HTMLElementEventMap>(element: HTMLElement, event: K) => Effect.Effect<ZapShape<HTMLElementEventMap[K]>, never, Scope.Scope>;
+    merge: <T>(events: ReadonlyArray<ZapShape<T>>) => Effect.Effect<ZapShape<T>, never, Scope.Scope>;
+    map: <A, B>(event: ZapShape<A>, f: (a: A) => B) => Effect.Effect<ZapShape<B>, never, Scope.Scope>;
+    filter: <T>(event: ZapShape<T>, predicate: (value: T) => boolean) => Effect.Effect<ZapShape<T>, never, Scope.Scope>;
+    debounce: <T>(event: ZapShape<T>, ms: Millis) => Effect.Effect<ZapShape<T>, never, Scope.Scope>;
+    throttle: <T>(event: ZapShape<T>, ms: Millis) => Effect.Effect<ZapShape<T>, never, Scope.Scope>;
+};
+export declare namespace Zap {
+    /** Structural shape of a {@link Zap}: event-sourced reactive primitive exposing a discrete stream. */
+    type Shape<T> = ZapShape<T>;
+}
+export {};
+//# sourceMappingURL=zap.d.ts.map

package/dist/zap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zap.d.ts","sourceRoot":"","sources":["../src/zap.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAA2B,MAAM,QAAQ,CAAC;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,UAAU,QAAQ,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACrC;AAuMD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,GAAG;WAzMD,CAAC,OAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;mBA0B5C,CAAC,SAAS,MAAM,mBAAmB,WAC/C,WAAW,SACb,CAAC,KACP,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;YA6BtD,CAAC,UAAU,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;UA0BxF,CAAC,EAAE,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;aAqBtF,CAAC,SACT,QAAQ,CAAC,CAAC,CAAC,aACP,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,KAC/B,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;eAuB9B,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,MAAM,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;eAoClF,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,MAAM,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;CA0CpG,CAAC;AAEF,MAAM,CAAC,OAAO,WAAW,GAAG,CAAC;IAC3B,sGAAsG;IACtG,KAAY,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;CACpC"}

package/dist/zap.js

@@ -0,0 +1,172 @@
+/**
+ * Zap<T> -- push-based event channel via PubSub.
+ *
+ * @module
+ */
+import { Effect, Stream, PubSub, Fiber, Duration } from 'effect';
+/**
+ * Creates a new push-based event channel backed by an unbounded PubSub.
+ *
+ * @example
+ * ```ts
+ * const zap = await Effect.runPromise(Effect.scoped(Zap.make<number>()));
+ * Effect.runSync(zap.emit(42));
+ * // Subscribers on zap.stream will receive 42
+ * ```
+ */
+const _make = () => Effect.gen(function* () {
+    const pubsub = yield* PubSub.unbounded();
+    yield* Effect.addFinalizer(() => PubSub.shutdown(pubsub));
+    return {
+        _tag: 'Zap',
+        stream: Stream.fromPubSub(pubsub),
+        emit: (value) => PubSub.publish(pubsub, value),
+    };
+});
+/**
+ * Creates a Zap from a DOM event, auto-managing listener lifecycle via Scope.
+ *
+ * @example
+ * ```ts
+ * const program = Effect.scoped(Effect.gen(function* () {
+ *   const btn = document.getElementById('btn');
+ *   if (!(btn instanceof HTMLElement)) return;
+ *   const clicks = yield* Zap.fromDOMEvent(btn, 'click');
+ *   // clicks.stream emits MouseEvents; listener removed when scope closes
+ * }));
+ * ```
+ */
+const _fromDOMEvent = (element, event) => Effect.gen(function* () {
+    const zap = yield* _make();
+    const listener = (e) => {
+        Effect.runSync(zap.emit(e));
+    };
+    yield* Effect.acquireRelease(Effect.sync(() => element.addEventListener(event, listener)), () => Effect.sync(() => element.removeEventListener(event, listener)));
+    return zap;
+});
+/**
+ * Merges multiple Zaps of the same type into a single Zap.
+ *
+ * @example
+ * ```ts
+ * const program = Effect.scoped(Effect.gen(function* () {
+ *   const a = yield* Zap.make<number>();
+ *   const b = yield* Zap.make<number>();
+ *   const merged = yield* Zap.merge([a, b]);
+ *   // merged.stream receives events from both a and b
+ * }));
+ * ```
+ */
+const _merge = (events) => Effect.gen(function* () {
+    const merged = yield* _make();
+    yield* Effect.forkScoped(Effect.all(events.map((event) => Stream.runForEach(event.stream, (value) => merged.emit(value))), { concurrency: 'unbounded' }));
+    return merged;
+});
+/**
+ * Transforms each value emitted by a Zap through a mapping function.
+ *
+ * @example
+ * ```ts
+ * const program = Effect.scoped(Effect.gen(function* () {
+ *   const nums = yield* Zap.make<number>();
+ *   const strs = yield* Zap.map(nums, n => `value: ${n}`);
+ *   // strs.stream emits transformed strings
+ * }));
+ * ```
+ */
+const _map = (event, f) => Effect.gen(function* () {
+    const mapped = yield* _make();
+    yield* Effect.forkScoped(Stream.runForEach(event.stream, (value) => mapped.emit(f(value))));
+    return mapped;
+});
+/**
+ * Filters a Zap, only forwarding values that satisfy the predicate.
+ *
+ * @example
+ * ```ts
+ * const program = Effect.scoped(Effect.gen(function* () {
+ *   const nums = yield* Zap.make<number>();
+ *   const evens = yield* Zap.filter(nums, n => n % 2 === 0);
+ *   // evens.stream only receives even numbers
+ * }));
+ * ```
+ */
+const _filter = (event, predicate) => Effect.gen(function* () {
+    const filtered = yield* _make();
+    yield* Effect.forkScoped(Stream.runForEach(event.stream, (value) => (predicate(value) ? filtered.emit(value) : Effect.void)));
+    return filtered;
+});
+/**
+ * Debounces a Zap, only emitting after `ms` milliseconds of silence.
+ *
+ * @example
+ * ```ts
+ * const program = Effect.scoped(Effect.gen(function* () {
+ *   const input = yield* Zap.make<string>();
+ *   const debounced = yield* Zap.debounce(input, Millis(300));
+ *   // debounced.stream emits only after 300ms pause in input
+ * }));
+ * ```
+ */
+const _debounce = (event, ms) => Effect.gen(function* () {
+    const debounced = yield* _make();
+    let pendingFiber = null;
+    yield* Effect.forkScoped(Stream.runForEach(event.stream, (value) => Effect.gen(function* () {
+        if (pendingFiber) {
+            yield* Fiber.interrupt(pendingFiber);
+        }
+        pendingFiber = yield* Effect.forkChild(Effect.gen(function* () {
+            yield* Effect.sleep(Duration.millis(ms));
+            yield* debounced.emit(value);
+        }));
+    })));
+    return debounced;
+});
+/**
+ * Throttles a Zap, allowing at most one emission per `ms` milliseconds.
+ *
+ * @example
+ * ```ts
+ * const program = Effect.scoped(Effect.gen(function* () {
+ *   const scroll = yield* Zap.make<number>();
+ *   const throttled = yield* Zap.throttle(scroll, Millis(16));
+ *   // throttled.stream emits at most once every 16ms (~60fps)
+ * }));
+ * ```
+ */
+const _throttle = (event, ms) => Effect.gen(function* () {
+    const throttled = yield* _make();
+    let lastEmitTime = 0;
+    yield* Effect.forkScoped(Stream.runForEach(event.stream, (value) => Effect.gen(function* () {
+        const now = Date.now();
+        if (now - lastEmitTime >= ms) {
+            lastEmitTime = now;
+            yield* throttled.emit(value);
+        }
+    })));
+    return throttled;
+});
+/**
+ * Zap -- push-based event channel backed by Effect PubSub.
+ * Provides reactive event streams with map, filter, merge, debounce, and throttle.
+ *
+ * @example
+ * ```ts
+ * const program = Effect.scoped(Effect.gen(function* () {
+ *   const zap = yield* Zap.make<number>();
+ *   const doubled = yield* Zap.map(zap, n => n * 2);
+ *   yield* zap.emit(5);
+ *   // doubled.stream receives 10
+ * }));
+ * ```
+ */
+export const Zap = {
+    make: _make,
+    fromDOMEvent: _fromDOMEvent,
+    merge: _merge,
+    map: _map,
+    filter: _filter,
+    debounce: _debounce,
+    throttle: _throttle,
+};
+//# sourceMappingURL=zap.js.map

package/dist/zap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zap.js","sourceRoot":"","sources":["../src/zap.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAUjE;;;;;;;;;GASG;AACH,MAAM,KAAK,GAAG,GAAsD,EAAE,CACpE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAK,CAAC;IAE5C,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAE1D,OAAO;QACL,IAAI,EAAE,KAAc;QACpB,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;QACjC,IAAI,EAAE,CAAC,KAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC;KAClD,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL;;;;;;;;;;;;GAYG;AACH,MAAM,aAAa,GAAG,CACpB,OAAoB,EACpB,KAAQ,EAC6D,EAAE,CACvE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,EAA0B,CAAC;IAEnD,MAAM,QAAQ,GAAG,CAAC,CAAyB,EAAQ,EAAE;QACnD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC;IAEF,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,EAC5D,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CACtE,CAAC;IAEF,OAAO,GAAG,CAAC;AACb,CAAC,CAAC,CAAC;AAEL;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,GAAG,CAAI,MAAkC,EAAkD,EAAE,CACvG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,EAAK,CAAC;IAEjC,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EACrF,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CACF,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC,CAAC;AAEL;;;;;;;;;;;GAWG;AACH,MAAM,IAAI,GAAG,CAAO,KAAkB,EAAE,CAAc,EAAkD,EAAE,CACxG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,EAAK,CAAC;IAEjC,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5F,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC,CAAC;AAEL;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,GAAG,CACd,KAAkB,EAClB,SAAgC,EACgB,EAAE,CAClD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,EAAK,CAAC;IAEnC,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CACpG,CAAC;IAEF,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC,CAAC;AAEL;;;;;;;;;;;GAWG;AACH,MAAM,SAAS,GAAG,CAAI,KAAkB,EAAE,EAAU,EAAkD,EAAE,CACtG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,KAAK,EAAK,CAAC;IACpC,IAAI,YAAY,GAA6B,IAAI,CAAC;IAElD,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CACxC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,YAAY,EAAE,CAAC;YACjB,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,CAAC;QACD,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CACpC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YACzC,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CACH,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC,CAAC;AAEL;;;;;;;;;;;GAWG;AACH,MAAM,SAAS,GAAG,CAAI,KAAkB,EAAE,EAAU,EAAkD,EAAE,CACtG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,KAAK,EAAK,CAAC;IACpC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CACxC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,GAAG,GAAG,YAAY,IAAI,EAAE,EAAE,CAAC;YAC7B,YAAY,GAAG,GAAG,CAAC;YACnB,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CACH,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC,CAAC;AAEL;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG;IACjB,IAAI,EAAE,KAAK;IACX,YAAY,EAAE,aAAa;IAC3B,KAAK,EAAE,MAAM;IACb,GAAG,EAAE,IAAI;IACT,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,SAAS;CACpB,CAAC"}

package/package.json

@@ -0,0 +1,71 @@
+{
+  "name": "@czap/core",
+  "version": "0.1.0",
+  "description": "Constraint-based adaptive rendering primitives",
+  "license": "MIT",
+  "author": "Eassa Ayoub <eassa@heyoub.dev>",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/heyoub/LiteShip",
+    "directory": "packages/core"
+  },
+  "bugs": "https://github.com/heyoub/LiteShip/issues",
+  "homepage": "https://github.com/heyoub/LiteShip#readme",
+  "keywords": [
+    "czap",
+    "constraint-based",
+    "adaptive-rendering",
+    "framework",
+    "boundary",
+    "compositor",
+    "ecs",
+    "typescript"
+  ],
+  "type": "module",
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "development": "./src/index.ts"
+    },
+    "./testing": {
+      "types": "./dist/testing.d.ts",
+      "import": "./dist/testing.js",
+      "development": "./src/testing.ts"
+    },
+    "./harness": {
+      "types": "./dist/harness/index.d.ts",
+      "import": "./dist/harness/index.js",
+      "development": "./src/harness/index.ts"
+    },
+    "./*": {
+      "types": "./dist/*.d.ts",
+      "import": "./dist/*.js",
+      "development": "./src/*.ts"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "LICENSE"
+  ],
+  "dependencies": {
+    "cborg": "^4.2.0",
+    "@czap/_spine": "0.1.0"
+  },
+  "peerDependencies": {
+    "effect": ">=4.0.0-beta.0"
+  },
+  "engines": {
+    "node": ">=22.0.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc"
+  }
+}

package/src/addressed-digest.ts

@@ -0,0 +1,48 @@
+/**
+ * AddressedDigest construction — pair a {@link ContentAddress} (fnv1a) with an
+ * {@link IntegrityDigest} (sha256) over the same canonical bytes (ADR-0011).
+ *
+ * @module
+ */
+
+import { Effect } from 'effect';
+import type { AddressedDigest as _AddressedDigest } from './brands.js';
+import { IntegrityDigest as mkIntegrityDigest } from './brands.js';
+import { fnv1aBytes } from './fnv.js';
+
+export type AddressedDigest = _AddressedDigest;
+
+const bytesToHex = (bytes: Uint8Array): string => {
+  let out = '';
+  for (let i = 0; i < bytes.length; i++) {
+    out += bytes[i]!.toString(16).padStart(2, '0');
+  }
+  return out;
+};
+
+const sha256Hex = (bytes: Uint8Array): Effect.Effect<string> =>
+  Effect.tryPromise({
+    try: async () => {
+      const buffer = await crypto.subtle.digest('SHA-256', bytes as BufferSource);
+      return bytesToHex(new Uint8Array(buffer));
+    },
+    catch: (error) =>
+      new Error(`SHA-256 hash failed: ${error instanceof Error ? error.message : String(error)}`),
+  }).pipe(Effect.orDie);
+
+/** Derive an {@link AddressedDigest} from raw bytes. v0.1.0 implements `sha256` only. */
+export const AddressedDigestOf = (
+  bytes: Uint8Array,
+  algo: 'sha256' | 'blake3' = 'sha256',
+): Effect.Effect<_AddressedDigest, Error> =>
+  Effect.gen(function* () {
+    if (algo !== 'sha256') {
+      return yield* Effect.fail(new Error(`AddressedDigest: algo "${algo}" not yet implemented (v0.2)`));
+    }
+    const display_id = fnv1aBytes(bytes);
+    const hex = yield* sha256Hex(bytes);
+    const integrity_digest = mkIntegrityDigest(`sha256:${hex}`);
+    return { display_id, integrity_digest, algo: 'sha256' as const };
+  });
+
+export const AddressedDigest = { of: AddressedDigestOf };

package/src/animation.ts

@@ -0,0 +1,103 @@
+/**
+ * Animation -- rAF to Effect.Stream interpolation + value lerping.
+ *
+ * Produces a Stream of AnimationFrame values driven by requestAnimationFrame,
+ * with configurable duration and easing. Also provides numeric record
+ * interpolation for smooth state transitions.
+ *
+ * @module
+ */
+
+import { Effect, Stream, Queue } from 'effect';
+import type { Millis } from './brands.js';
+import { Millis as mkMillis } from './brands.js';
+import type { Easing } from './easing.js';
+import { Easing as EasingImpl } from './easing.js';
+import type { Scheduler } from './scheduler.js';
+import { Scheduler as SchedulerImpl } from './scheduler.js';
+import { interpolate } from './interpolate.js';
+
+interface AnimationFrameShape {
+  readonly progress: number;
+  readonly eased: number;
+  readonly elapsed: Millis;
+  readonly timestamp: number;
+}
+
+/**
+ * Create a finite animation stream driven by rAF.
+ * Emits AnimationFrame values from progress 0 to 1.
+ */
+function _run(config: {
+  duration: Millis;
+  easing?: Easing.Fn;
+  scheduler?: Scheduler.Shape;
+}): Stream.Stream<AnimationFrameShape> {
+  const { duration, easing = EasingImpl.linear } = config;
+
+  if (duration <= 0) {
+    return Stream.succeed<AnimationFrameShape>({
+      progress: 1,
+      eased: easing(1),
+      elapsed: mkMillis(0),
+      timestamp: 0,
+    });
+  }
+
+  return Stream.callback<AnimationFrameShape>((queue) =>
+    Effect.gen(function* () {
+      const sched =
+        config.scheduler ?? (typeof requestAnimationFrame !== 'undefined' ? SchedulerImpl.raf() : SchedulerImpl.noop());
+
+      let startTime: number | null = null;
+      let schedId: number;
+
+      const tick = (timestamp: number): void => {
+        if (startTime === null) startTime = timestamp;
+        const elapsed = timestamp - startTime;
+        const progress = Math.min(elapsed / duration, 1);
+        const eased = easing(progress);
+
+        Queue.offerUnsafe(queue, {
+          progress,
+          eased,
+          elapsed: mkMillis(elapsed),
+          timestamp,
+        });
+
+        if (progress >= 1) {
+          Queue.endUnsafe(queue);
+        } else {
+          schedId = sched.schedule(tick);
+        }
+      };
+
+      schedId = sched.schedule(tick);
+
+      yield* Effect.addFinalizer(() =>
+        Effect.sync(() => {
+          sched.cancel(schedId);
+        }),
+      );
+
+      yield* Effect.never;
+    }),
+  );
+}
+
+/**
+ * Animation — rAF-driven value interpolation exposed as an `Effect.Stream`.
+ * Pairs a duration and easing with either primitive lerping or the generic
+ * {@link Animation.interpolate} over numeric records.
+ */
+export const Animation = {
+  /** Run an rAF animation that yields a stream of {@link Animation.Frame}. */
+  run: _run,
+  /** Shallow numeric-record interpolator; non-numeric keys pass through. */
+  interpolate,
+};
+
+export declare namespace Animation {
+  /** Structural shape of a single frame emitted by {@link Animation.run}. */
+  export type Frame = AnimationFrameShape;
+}

package/src/assembly.ts

@@ -0,0 +1,76 @@
+/**
+ * Assembly catalog — 7-arm closed vocabulary of capsule kinds.
+ * `defineCapsule` validates a contract, computes its content address,
+ * and registers it in the module-level catalog for the compiler to walk.
+ *
+ * @module
+ */
+
+import type { CapsuleContract, AssemblyKind } from './capsule.js';
+import type { ContentAddress } from './brands.js';
+import { fnv1aBytes } from './fnv.js';
+import { CanonicalCbor } from './cbor.js';
+import { Diagnostics } from './diagnostics.js';
+
+/** A capsule declaration plus its content-addressed id. */
+export interface CapsuleDef<K extends AssemblyKind, In, Out, R>
+  extends CapsuleContract<K, In, Out, R> {
+  readonly id: ContentAddress;
+}
+
+const catalog: CapsuleDef<AssemblyKind, unknown, unknown, unknown>[] = [];
+
+function computeId(
+  contract: Omit<CapsuleContract<AssemblyKind, unknown, unknown, unknown>, 'id'>,
+): ContentAddress {
+  // ADR-0003: route through CanonicalCbor to obtain a deterministic byte
+  // sequence (RFC 8949 §4.2.1) before hashing. Stable across key order,
+  // platform endianness, and stringification quirks.
+  const canonicalBytes = CanonicalCbor.encode({
+    kind: contract._kind,
+    name: contract.name,
+    site: contract.site,
+    budgets: contract.budgets,
+    capabilities: contract.capabilities,
+    invariantNames: contract.invariants.map((i) => i.name),
+  });
+  return fnv1aBytes(canonicalBytes);
+}
+
+/**
+ * Declare a capsule. Validates shape, computes content address,
+ * registers in the module-level catalog, returns a typed def.
+ * No runtime behavior beyond registration — behavior comes from
+ * the harness/compiler walking the catalog.
+ */
+export function defineCapsule<K extends AssemblyKind, In, Out, R>(
+  decl: Omit<CapsuleContract<K, In, Out, R>, 'id'>,
+): CapsuleDef<K, In, Out, R> {
+  // For pureTransform capsules: omitting `run` downgrades the generated
+  // harness test to `it.skip` (Task 8 honest-skip discipline). Warn so
+  // contributors notice rather than silently skip property tests.
+  // Other arms don't yet have a wired runtime channel — see ADR-TODO.
+  if (decl._kind === 'pureTransform' && decl.invariants.length > 0 && decl.run === undefined) {
+    Diagnostics.warn({
+      source: 'defineCapsule',
+      code: 'pure_transform_missing_run',
+      message:
+        `pureTransform capsule "${decl.name}" declares ${decl.invariants.length} invariant(s) but no ` +
+        '`run` function — invariants are type-only without one. Add `run: (input) => ...` to enable runtime validation against your invariants.',
+    });
+  }
+  const id = computeId(decl as Omit<CapsuleContract<AssemblyKind, unknown, unknown, unknown>, 'id'>);
+  const def = { ...decl, id } as CapsuleDef<K, In, Out, R>;
+  catalog.push(def as CapsuleDef<AssemblyKind, unknown, unknown, unknown>);
+  return def;
+}
+
+/** Read-only snapshot of all registered capsules. */
+export function getCapsuleCatalog(): readonly CapsuleDef<AssemblyKind, unknown, unknown, unknown>[] {
+  return catalog.slice();
+}
+
+/** Clear the registry. Intended for tests and hot-reload only. */
+export function resetCapsuleCatalog(): void {
+  catalog.length = 0;
+}