@czap/core 0.1.0

package/LICENSE

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

package/README.md

@@ -0,0 +1,19 @@
+# @czap/core
+
+Primitives: Boundary, Token, Style, Theme, Signal, Compositor, ECS, HLC, DAG, Plan, AVBridge.
+
+## Docs
+
+- [Naming & vocabulary](../../docs/GLOSSARY.md) — LiteShip, CZAP, `@czap/*`
+
+- [API reference](https://github.com/heyoub/LiteShip/tree/main/docs/api/core/) — generated from source TSDoc
+- [Architecture index](https://github.com/heyoub/LiteShip/blob/main/docs/ARCHITECTURE.md)
+- [ADRs](https://github.com/heyoub/LiteShip/tree/main/docs/adr/)
+
+## Install
+
+```bash
+pnpm add @czap/core
+```
+
+## Part of [LiteShip](https://github.com/heyoub/LiteShip#readme)

package/dist/addressed-digest.d.ts

@@ -0,0 +1,15 @@
+/**
+ * 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';
+export type AddressedDigest = _AddressedDigest;
+/** Derive an {@link AddressedDigest} from raw bytes. v0.1.0 implements `sha256` only. */
+export declare const AddressedDigestOf: (bytes: Uint8Array, algo?: "sha256" | "blake3") => Effect.Effect<_AddressedDigest, Error>;
+export declare const AddressedDigest: {
+    of: (bytes: Uint8Array, algo?: "sha256" | "blake3") => Effect.Effect<_AddressedDigest, Error>;
+};
+//# sourceMappingURL=addressed-digest.d.ts.map

package/dist/addressed-digest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"addressed-digest.d.ts","sourceRoot":"","sources":["../src/addressed-digest.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,EAAE,eAAe,IAAI,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAIvE,MAAM,MAAM,eAAe,GAAG,gBAAgB,CAAC;AAoB/C,yFAAyF;AACzF,eAAO,MAAM,iBAAiB,GAC5B,OAAO,UAAU,EACjB,OAAM,QAAQ,GAAG,QAAmB,KACnC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,KAAK,CASpC,CAAC;AAEL,eAAO,MAAM,eAAe;gBAbnB,UAAU,SACX,QAAQ,GAAG,QAAQ,KACxB,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,KAAK,CAAC;CAWe,CAAC"}

package/dist/addressed-digest.js

@@ -0,0 +1,35 @@
+/**
+ * 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 { IntegrityDigest as mkIntegrityDigest } from './brands.js';
+import { fnv1aBytes } from './fnv.js';
+const bytesToHex = (bytes) => {
+    let out = '';
+    for (let i = 0; i < bytes.length; i++) {
+        out += bytes[i].toString(16).padStart(2, '0');
+    }
+    return out;
+};
+const sha256Hex = (bytes) => Effect.tryPromise({
+    try: async () => {
+        const buffer = await crypto.subtle.digest('SHA-256', bytes);
+        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, algo = 'sha256') => 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' };
+});
+export const AddressedDigest = { of: AddressedDigestOf };
+//# sourceMappingURL=addressed-digest.js.map

package/dist/addressed-digest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"addressed-digest.js","sourceRoot":"","sources":["../src/addressed-digest.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,EAAE,eAAe,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAItC,MAAM,UAAU,GAAG,CAAC,KAAiB,EAAU,EAAE;IAC/C,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,KAAiB,EAAyB,EAAE,CAC7D,MAAM,CAAC,UAAU,CAAC;IAChB,GAAG,EAAE,KAAK,IAAI,EAAE;QACd,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAqB,CAAC,CAAC;QAC5E,OAAO,UAAU,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,KAAK,CAAC,wBAAwB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;CAC9F,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAExB,yFAAyF;AACzF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAiB,EACjB,OAA4B,QAAQ,EACI,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,0BAA0B,IAAI,8BAA8B,CAAC,CAAC,CAAC;IACrG,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC;IAC5D,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC;AACnE,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,EAAE,EAAE,iBAAiB,EAAE,CAAC"}

package/dist/animation.d.ts

@@ -0,0 +1,46 @@
+/**
+ * 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 { Stream } from 'effect';
+import type { Millis } from './brands.js';
+import type { Easing } from './easing.js';
+import type { Scheduler } 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.
+ */
+declare function _run(config: {
+    duration: Millis;
+    easing?: Easing.Fn;
+    scheduler?: Scheduler.Shape;
+}): Stream.Stream<AnimationFrameShape>;
+/**
+ * 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 declare const Animation: {
+    /** Run an rAF animation that yields a stream of {@link Animation.Frame}. */
+    run: typeof _run;
+    /** Shallow numeric-record interpolator; non-numeric keys pass through. */
+    interpolate: typeof interpolate;
+};
+export declare namespace Animation {
+    /** Structural shape of a single frame emitted by {@link Animation.run}. */
+    type Frame = AnimationFrameShape;
+}
+export {};
+//# sourceMappingURL=animation.d.ts.map

package/dist/animation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"animation.d.ts","sourceRoot":"","sources":["../src/animation.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAU,MAAM,EAAS,MAAM,QAAQ,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;GAGG;AACH,iBAAS,IAAI,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;IACnB,SAAS,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC;CAC7B,GAAG,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAmDrC;AAED;;;;GAIG;AACH,eAAO,MAAM,SAAS;IACpB,4EAA4E;;IAE5E,0EAA0E;;CAE3E,CAAC;AAEF,MAAM,CAAC,OAAO,WAAW,SAAS,CAAC;IACjC,2EAA2E;IAC3E,KAAY,KAAK,GAAG,mBAAmB,CAAC;CACzC"}

package/dist/animation.js

@@ -0,0 +1,70 @@
+/**
+ * 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 { Millis as mkMillis } from './brands.js';
+import { Easing as EasingImpl } from './easing.js';
+import { Scheduler as SchedulerImpl } from './scheduler.js';
+import { interpolate } from './interpolate.js';
+/**
+ * Create a finite animation stream driven by rAF.
+ * Emits AnimationFrame values from progress 0 to 1.
+ */
+function _run(config) {
+    const { duration, easing = EasingImpl.linear } = config;
+    if (duration <= 0) {
+        return Stream.succeed({
+            progress: 1,
+            eased: easing(1),
+            elapsed: mkMillis(0),
+            timestamp: 0,
+        });
+    }
+    return Stream.callback((queue) => Effect.gen(function* () {
+        const sched = config.scheduler ?? (typeof requestAnimationFrame !== 'undefined' ? SchedulerImpl.raf() : SchedulerImpl.noop());
+        let startTime = null;
+        let schedId;
+        const tick = (timestamp) => {
+            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,
+};
+//# sourceMappingURL=animation.js.map

package/dist/animation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"animation.js","sourceRoot":"","sources":["../src/animation.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAE/C,OAAO,EAAE,MAAM,IAAI,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAS/C;;;GAGG;AACH,SAAS,IAAI,CAAC,MAIb;IACC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC;IAExD,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,OAAO,CAAsB;YACzC,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YAChB,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YACpB,SAAS,EAAE,CAAC;SACb,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC,QAAQ,CAAsB,CAAC,KAAK,EAAE,EAAE,CACpD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GACT,MAAM,CAAC,SAAS,IAAI,CAAC,OAAO,qBAAqB,KAAK,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;QAElH,IAAI,SAAS,GAAkB,IAAI,CAAC;QACpC,IAAI,OAAe,CAAC;QAEpB,MAAM,IAAI,GAAG,CAAC,SAAiB,EAAQ,EAAE;YACvC,IAAI,SAAS,KAAK,IAAI;gBAAE,SAAS,GAAG,SAAS,CAAC;YAC9C,MAAM,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;YACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC;YACjD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;YAE/B,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE;gBACvB,QAAQ;gBACR,KAAK;gBACL,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC;gBAC1B,SAAS;aACV,CAAC,CAAC;YAEH,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;gBAClB,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;QACH,CAAC,CAAC;QAEF,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAE/B,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC,CAAC,CACH,CAAC;QAEF,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,4EAA4E;IAC5E,GAAG,EAAE,IAAI;IACT,0EAA0E;IAC1E,WAAW;CACZ,CAAC"}

package/dist/assembly.d.ts

@@ -0,0 +1,25 @@
+/**
+ * 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';
+/** 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;
+}
+/**
+ * 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 declare function defineCapsule<K extends AssemblyKind, In, Out, R>(decl: Omit<CapsuleContract<K, In, Out, R>, 'id'>): CapsuleDef<K, In, Out, R>;
+/** Read-only snapshot of all registered capsules. */
+export declare function getCapsuleCatalog(): readonly CapsuleDef<AssemblyKind, unknown, unknown, unknown>[];
+/** Clear the registry. Intended for tests and hot-reload only. */
+export declare function resetCapsuleCatalog(): void;
+//# sourceMappingURL=assembly.d.ts.map

package/dist/assembly.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembly.d.ts","sourceRoot":"","sources":["../src/assembly.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAKlD,2DAA2D;AAC3D,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,YAAY,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAC5D,SAAQ,eAAe,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC;CAC7B;AAqBD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,YAAY,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAC9D,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,GAC/C,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAkB3B;AAED,qDAAqD;AACrD,wBAAgB,iBAAiB,IAAI,SAAS,UAAU,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAElG;AAED,kEAAkE;AAClE,wBAAgB,mBAAmB,IAAI,IAAI,CAE1C"}

package/dist/assembly.js

@@ -0,0 +1,58 @@
+/**
+ * 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 { fnv1aBytes } from './fnv.js';
+import { CanonicalCbor } from './cbor.js';
+import { Diagnostics } from './diagnostics.js';
+const catalog = [];
+function computeId(contract) {
+    // 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(decl) {
+    // 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);
+    const def = { ...decl, id };
+    catalog.push(def);
+    return def;
+}
+/** Read-only snapshot of all registered capsules. */
+export function getCapsuleCatalog() {
+    return catalog.slice();
+}
+/** Clear the registry. Intended for tests and hot-reload only. */
+export function resetCapsuleCatalog() {
+    catalog.length = 0;
+}
+//# sourceMappingURL=assembly.js.map

package/dist/assembly.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembly.js","sourceRoot":"","sources":["../src/assembly.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAQ/C,MAAM,OAAO,GAA0D,EAAE,CAAC;AAE1E,SAAS,SAAS,CAChB,QAA8E;IAE9E,uEAAuE;IACvE,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,CAAC;QAC1C,IAAI,EAAE,QAAQ,CAAC,KAAK;QACpB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,cAAc,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACvD,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,cAAc,CAAC,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAgD;IAEhD,sEAAsE;IACtE,qEAAqE;IACrE,gEAAgE;IAChE,oEAAoE;IACpE,IAAI,IAAI,CAAC,KAAK,KAAK,eAAe,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC3F,WAAW,CAAC,IAAI,CAAC;YACf,MAAM,EAAE,eAAe;YACvB,IAAI,EAAE,4BAA4B;YAClC,OAAO,EACL,0BAA0B,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,UAAU,CAAC,MAAM,uBAAuB;gBAC9F,wIAAwI;SAC3I,CAAC,CAAC;IACL,CAAC;IACD,MAAM,EAAE,GAAG,SAAS,CAAC,IAA4E,CAAC,CAAC;IACnG,MAAM,GAAG,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,EAA+B,CAAC;IACzD,OAAO,CAAC,IAAI,CAAC,GAA0D,CAAC,CAAC;IACzE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,iBAAiB;IAC/B,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC;AACzB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,mBAAmB;IACjC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;AACrB,CAAC"}

package/dist/av-bridge.d.ts

@@ -0,0 +1,74 @@
+/**
+ * AVBridge -- SharedArrayBuffer timeline bridge for A/V convergence.
+ *
+ * Provides a single sample counter shared between an AudioWorklet
+ * (which advances it) and the visual compositor (which reads it).
+ * Works in both real-time (browser) and offline (deterministic) modes.
+ *
+ * Memory layout (SharedArrayBuffer, 24 bytes):
+ *   Int32[0] -- sample counter (atomic increment by audio, atomic read by video)
+ *   Int32[1] -- audio running flag (1 = playing, 0 = paused)
+ *   Float64[1] -- audio start timestamp in ms (bytes 8-15, for drift calc)
+ *
+ * @module
+ */
+interface AVBridgeShape {
+    readonly buffer: SharedArrayBuffer;
+    readonly sampleRate: number;
+    readonly fps: number;
+    advanceSamples(count: number): void;
+    getCurrentSample(): number;
+    setRunning(running: boolean): void;
+    isRunning(): boolean;
+    getCurrentFrame(): number;
+    sampleToTime(sample: number): number;
+    timeToSample(time: number): number;
+    isAudioAhead(): boolean;
+    drift(): number;
+    reset(): void;
+}
+interface AVBridgeConfig {
+    readonly sampleRate: number;
+    readonly fps: number;
+    readonly buffer?: SharedArrayBuffer;
+}
+/**
+ * Creates an AVBridge backed by a SharedArrayBuffer for lock-free
+ * audio/video timeline synchronization between threads.
+ *
+ * @example
+ * ```ts
+ * const bridge = AVBridge.make({ sampleRate: 48000, fps: 60 });
+ * bridge.setRunning(true);
+ * bridge.advanceSamples(800); // AudioWorklet advances by 800 samples
+ * const frame = bridge.getCurrentFrame(); // current video frame number
+ * const drift = bridge.drift(); // fractional frame offset
+ * bridge.reset(); // zero out counters
+ * ```
+ */
+declare function _make(config: AVBridgeConfig): AVBridgeShape;
+/**
+ * AVBridge -- SharedArrayBuffer-based timeline bridge for audio/video convergence.
+ * Provides atomic sample counting shared between AudioWorklet and visual compositor.
+ *
+ * @example
+ * ```ts
+ * const bridge = AVBridge.make({ sampleRate: 44100, fps: 30 });
+ * bridge.setRunning(true);
+ * bridge.advanceSamples(1470); // advance by one video frame worth of samples
+ * bridge.getCurrentFrame(); // 1
+ * bridge.sampleToTime(44100); // 1.0 (seconds)
+ * bridge.timeToSample(0.5);   // 22050
+ * ```
+ */
+export declare const AVBridge: {
+    make: typeof _make;
+};
+export declare namespace AVBridge {
+    /** Structural shape of an AVBridge instance — sample counters, time conversions, reset. */
+    type Shape = AVBridgeShape;
+    /** Configuration accepted by {@link AVBridge.make}: sample rate and fps. */
+    type Config = AVBridgeConfig;
+}
+export {};
+//# sourceMappingURL=av-bridge.d.ts.map

package/dist/av-bridge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"av-bridge.d.ts","sourceRoot":"","sources":["../src/av-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,UAAU,aAAa;IACrB,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,gBAAgB,IAAI,MAAM,CAAC;IAC3B,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IACnC,SAAS,IAAI,OAAO,CAAC;IAErB,eAAe,IAAI,MAAM,CAAC;IAC1B,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACrC,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAEnC,YAAY,IAAI,OAAO,CAAC;IACxB,KAAK,IAAI,MAAM,CAAC;IAChB,KAAK,IAAI,IAAI,CAAC;CACf;AAeD,UAAU,cAAc;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAED;;;;;;;;;;;;;GAaG;AACH,iBAAS,KAAK,CAAC,MAAM,EAAE,cAAc,GAAG,aAAa,CAkEpD;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,QAAQ;;CAAkB,CAAC;AAExC,MAAM,CAAC,OAAO,WAAW,QAAQ,CAAC;IAChC,2FAA2F;IAC3F,KAAY,KAAK,GAAG,aAAa,CAAC;IAClC,4EAA4E;IAC5E,KAAY,MAAM,GAAG,cAAc,CAAC;CACrC"}

package/dist/av-bridge.js

@@ -0,0 +1,107 @@
+/**
+ * AVBridge -- SharedArrayBuffer timeline bridge for A/V convergence.
+ *
+ * Provides a single sample counter shared between an AudioWorklet
+ * (which advances it) and the visual compositor (which reads it).
+ * Works in both real-time (browser) and offline (deterministic) modes.
+ *
+ * Memory layout (SharedArrayBuffer, 24 bytes):
+ *   Int32[0] -- sample counter (atomic increment by audio, atomic read by video)
+ *   Int32[1] -- audio running flag (1 = playing, 0 = paused)
+ *   Float64[1] -- audio start timestamp in ms (bytes 8-15, for drift calc)
+ *
+ * @module
+ */
+// ---------------------------------------------------------------------------
+// Constants
+// ---------------------------------------------------------------------------
+const BUFFER_BYTE_LENGTH = 24;
+const SAMPLE_COUNTER_IDX = 0;
+const RUNNING_FLAG_IDX = 1;
+const START_TIMESTAMP_F64_IDX = 1;
+/**
+ * Creates an AVBridge backed by a SharedArrayBuffer for lock-free
+ * audio/video timeline synchronization between threads.
+ *
+ * @example
+ * ```ts
+ * const bridge = AVBridge.make({ sampleRate: 48000, fps: 60 });
+ * bridge.setRunning(true);
+ * bridge.advanceSamples(800); // AudioWorklet advances by 800 samples
+ * const frame = bridge.getCurrentFrame(); // current video frame number
+ * const drift = bridge.drift(); // fractional frame offset
+ * bridge.reset(); // zero out counters
+ * ```
+ */
+function _make(config) {
+    const { sampleRate, fps } = config;
+    if (sampleRate <= 0 || !Number.isFinite(sampleRate)) {
+        throw new RangeError(`AVBridge.make: sampleRate must be a positive finite number, got ${sampleRate}`);
+    }
+    if (fps <= 0 || !Number.isFinite(fps)) {
+        throw new RangeError(`AVBridge.make: fps must be a positive finite number, got ${fps}`);
+    }
+    const buffer = config.buffer ?? new SharedArrayBuffer(BUFFER_BYTE_LENGTH);
+    const i32 = new Int32Array(buffer);
+    const f64 = new Float64Array(buffer);
+    return {
+        buffer,
+        sampleRate,
+        fps,
+        advanceSamples(count) {
+            Atomics.add(i32, SAMPLE_COUNTER_IDX, count);
+        },
+        getCurrentSample() {
+            return Atomics.load(i32, SAMPLE_COUNTER_IDX);
+        },
+        setRunning(running) {
+            Atomics.store(i32, RUNNING_FLAG_IDX, running ? 1 : 0);
+        },
+        isRunning() {
+            return Atomics.load(i32, RUNNING_FLAG_IDX) === 1;
+        },
+        getCurrentFrame() {
+            const sample = Atomics.load(i32, SAMPLE_COUNTER_IDX);
+            return Math.floor((sample / sampleRate) * fps);
+        },
+        sampleToTime(sample) {
+            return sample / sampleRate;
+        },
+        timeToSample(time) {
+            return Math.round(time * sampleRate);
+        },
+        isAudioAhead() {
+            const sample = Atomics.load(i32, SAMPLE_COUNTER_IDX);
+            const frame = Math.floor((sample / sampleRate) * fps);
+            const samplesPerFrame = sampleRate / fps;
+            return sample % samplesPerFrame > 0 || sample > (frame + 1) * samplesPerFrame;
+        },
+        drift() {
+            const sample = Atomics.load(i32, SAMPLE_COUNTER_IDX);
+            const exactFrame = (sample / sampleRate) * fps;
+            const currentFrame = Math.floor(exactFrame);
+            return exactFrame - currentFrame;
+        },
+        reset() {
+            Atomics.store(i32, SAMPLE_COUNTER_IDX, 0);
+            Atomics.store(i32, RUNNING_FLAG_IDX, 0);
+            f64[START_TIMESTAMP_F64_IDX] = 0;
+        },
+    };
+}
+/**
+ * AVBridge -- SharedArrayBuffer-based timeline bridge for audio/video convergence.
+ * Provides atomic sample counting shared between AudioWorklet and visual compositor.
+ *
+ * @example
+ * ```ts
+ * const bridge = AVBridge.make({ sampleRate: 44100, fps: 30 });
+ * bridge.setRunning(true);
+ * bridge.advanceSamples(1470); // advance by one video frame worth of samples
+ * bridge.getCurrentFrame(); // 1
+ * bridge.sampleToTime(44100); // 1.0 (seconds)
+ * bridge.timeToSample(0.5);   // 22050
+ * ```
+ */
+export const AVBridge = { make: _make };
+//# sourceMappingURL=av-bridge.js.map

package/dist/av-bridge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"av-bridge.js","sourceRoot":"","sources":["../src/av-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAyBH,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAC9B,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAC3B,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAYlC;;;;;;;;;;;;;GAaG;AACH,SAAS,KAAK,CAAC,MAAsB;IACnC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IACnC,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,UAAU,CAAC,mEAAmE,UAAU,EAAE,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAAC,4DAA4D,GAAG,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IAErC,OAAO;QACL,MAAM;QACN,UAAU;QACV,GAAG;QAEH,cAAc,CAAC,KAAa;YAC1B,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;QAED,gBAAgB;YACd,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC/C,CAAC;QAED,UAAU,CAAC,OAAgB;YACzB,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QAED,SAAS;YACP,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACnD,CAAC;QAED,eAAe;YACb,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;YACrD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC;QACjD,CAAC;QAED,YAAY,CAAC,MAAc;YACzB,OAAO,MAAM,GAAG,UAAU,CAAC;QAC7B,CAAC;QAED,YAAY,CAAC,IAAY;YACvB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,UAAU,CAAC,CAAC;QACvC,CAAC;QAED,YAAY;YACV,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;YACrD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC;YACtD,MAAM,eAAe,GAAG,UAAU,GAAG,GAAG,CAAC;YACzC,OAAO,MAAM,GAAG,eAAe,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,eAAe,CAAC;QAChF,CAAC;QAED,KAAK;YACH,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;YACrD,MAAM,UAAU,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC,GAAG,GAAG,CAAC;YAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC5C,OAAO,UAAU,GAAG,YAAY,CAAC;QACnC,CAAC;QAED,KAAK;YACH,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC;YAC1C,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;YACxC,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC;QACnC,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC"}

package/dist/av-renderer.d.ts

@@ -0,0 +1,56 @@
+/**
+ * AVRenderer -- deterministic offline A/V renderer.
+ *
+ * Steps through audio samples and visual frames in lockstep.
+ * Each video frame knows its exact audio position. No wall-clock
+ * dependency -- fully deterministic.
+ *
+ * @module
+ */
+import type { CompositeState } from './compositor.js';
+import type { Compositor } from './compositor.js';
+import { AVBridge } from './av-bridge.js';
+import type { Millis } from './brands.js';
+interface AVRenderConfig {
+    readonly sampleRate: number;
+    readonly fps: number;
+    readonly durationMs: Millis;
+}
+interface AVFrameOutput {
+    readonly frame: number;
+    readonly timestamp: number;
+    readonly sample: number;
+    readonly sampleCount: number;
+    readonly state: CompositeState;
+}
+interface AVRendererShape {
+    readonly config: AVRenderConfig;
+    readonly bridge: AVBridge.Shape;
+    readonly totalFrames: number;
+    frames(options?: {
+        onAudioFrame?: (sample: number, sampleCount: number) => void;
+        onVideoFrame?: (frame: number, timestamp: number, state: CompositeState) => void;
+    }): AsyncGenerator<AVFrameOutput>;
+}
+declare function _make(config: AVRenderConfig, compositor: Compositor.Shape, existingBridge?: AVBridge.Shape): AVRendererShape;
+/**
+ * AVRenderer — deterministic offline audio+video renderer.
+ *
+ * Steps an {@link AVBridge} in lockstep with a {@link Compositor} so every
+ * video frame carries the exact sample offset it corresponds to. Pure clock
+ * math — no wall-clock input, reproducible across runs.
+ */
+export declare const AVRenderer: {
+    /** Create a renderer bound to a compositor, optionally reusing an existing {@link AVBridge}. */
+    make: typeof _make;
+};
+export declare namespace AVRenderer {
+    /** Structural shape of a renderer instance returned by {@link AVRenderer.make}. */
+    type Shape = AVRendererShape;
+    /** Configuration accepted by {@link AVRenderer.make}. */
+    type Config = AVRenderConfig;
+    /** Per-frame output yielded by the async iterator. */
+    type FrameOutput = AVFrameOutput;
+}
+export {};
+//# sourceMappingURL=av-renderer.d.ts.map

package/dist/av-renderer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"av-renderer.d.ts","sourceRoot":"","sources":["../src/av-renderer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAO1C,UAAU,cAAc;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;CAChC;AAED,UAAU,eAAe;IACvB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,MAAM,CAAC,OAAO,CAAC,EAAE;QACf,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,IAAI,CAAC;QAC7D,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,KAAK,IAAI,CAAC;KAClF,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;CACnC;AAMD,iBAAS,KAAK,CAAC,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE,QAAQ,CAAC,KAAK,GAAG,eAAe,CAgDrH;AAED;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB,gGAAgG;;CAEjG,CAAC;AAEF,MAAM,CAAC,OAAO,WAAW,UAAU,CAAC;IAClC,mFAAmF;IACnF,KAAY,KAAK,GAAG,eAAe,CAAC;IACpC,yDAAyD;IACzD,KAAY,MAAM,GAAG,cAAc,CAAC;IACpC,sDAAsD;IACtD,KAAY,WAAW,GAAG,aAAa,CAAC;CACzC"}

package/dist/av-renderer.js

@@ -0,0 +1,65 @@
+/**
+ * AVRenderer -- deterministic offline A/V renderer.
+ *
+ * Steps through audio samples and visual frames in lockstep.
+ * Each video frame knows its exact audio position. No wall-clock
+ * dependency -- fully deterministic.
+ *
+ * @module
+ */
+import { AVBridge } from './av-bridge.js';
+import { Effect } from 'effect';
+// ---------------------------------------------------------------------------
+// Factory
+// ---------------------------------------------------------------------------
+function _make(config, compositor, existingBridge) {
+    const { sampleRate, fps, durationMs } = config;
+    const totalFrames = Math.ceil((durationMs / 1000) * fps);
+    const samplesPerFrame = Math.round(sampleRate / fps);
+    const bridge = existingBridge ?? AVBridge.make({ sampleRate, fps });
+    bridge.reset();
+    return {
+        config,
+        bridge,
+        totalFrames,
+        async *frames(options) {
+            const { onAudioFrame, onVideoFrame } = options ?? {};
+            for (let i = 0; i < totalFrames; i++) {
+                const targetSample = (i + 1) * samplesPerFrame;
+                const currentSample = bridge.getCurrentSample();
+                const advance = targetSample - currentSample;
+                if (advance > 0) {
+                    bridge.advanceSamples(advance);
+                }
+                const frameSample = i * samplesPerFrame;
+                const timestamp = (i * 1000) / fps;
+                if (onAudioFrame) {
+                    onAudioFrame(frameSample, samplesPerFrame);
+                }
+                const state = await Effect.runPromise(compositor.compute());
+                if (onVideoFrame) {
+                    onVideoFrame(i, timestamp, state);
+                }
+                yield {
+                    frame: i,
+                    timestamp,
+                    sample: frameSample,
+                    sampleCount: samplesPerFrame,
+                    state,
+                };
+            }
+        },
+    };
+}
+/**
+ * AVRenderer — deterministic offline audio+video renderer.
+ *
+ * Steps an {@link AVBridge} in lockstep with a {@link Compositor} so every
+ * video frame carries the exact sample offset it corresponds to. Pure clock
+ * math — no wall-clock input, reproducible across runs.
+ */
+export const AVRenderer = {
+    /** Create a renderer bound to a compositor, optionally reusing an existing {@link AVBridge}. */
+    make: _make,
+};
+//# sourceMappingURL=av-renderer.js.map

package/dist/av-renderer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"av-renderer.js","sourceRoot":"","sources":["../src/av-renderer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AA8BhC,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,KAAK,CAAC,MAAsB,EAAE,UAA4B,EAAE,cAA+B;IAClG,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;IACzD,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;IAErD,MAAM,MAAM,GAAG,cAAc,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;IACpE,MAAM,CAAC,KAAK,EAAE,CAAC;IAEf,OAAO;QACL,MAAM;QACN,MAAM;QACN,WAAW;QAEX,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO;YACnB,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,GAAG,OAAO,IAAI,EAAE,CAAC;YAErD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,eAAe,CAAC;gBAC/C,MAAM,aAAa,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;gBAChD,MAAM,OAAO,GAAG,YAAY,GAAG,aAAa,CAAC;gBAE7C,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;oBAChB,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;gBACjC,CAAC;gBAED,MAAM,WAAW,GAAG,CAAC,GAAG,eAAe,CAAC;gBACxC,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC;gBAEnC,IAAI,YAAY,EAAE,CAAC;oBACjB,YAAY,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;gBAC7C,CAAC;gBAED,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;gBAE5D,IAAI,YAAY,EAAE,CAAC;oBACjB,YAAY,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;gBACpC,CAAC;gBAED,MAAM;oBACJ,KAAK,EAAE,CAAC;oBACR,SAAS;oBACT,MAAM,EAAE,WAAW;oBACnB,WAAW,EAAE,eAAe;oBAC5B,KAAK;iBACN,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,gGAAgG;IAChG,IAAI,EAAE,KAAK;CACZ,CAAC"}