@czap/core 0.1.0

package/dist/gen-frame.js

@@ -0,0 +1,121 @@
+/**
+ * GenFrame -- generative UI frame scheduler.
+ *
+ * Fixed-step scheduler producing "UI frames" at configurable fps
+ * from token buffer. Each frame classified as keyframe (I-frame),
+ * delta (P-frame), or interpolated (B-frame).
+ *
+ * Integrates with FrameBudget for priority scheduling and receipt
+ * chain for disconnect-resilient generative UI state.
+ *
+ * @module
+ */
+import { fnv1a } from './fnv.js';
+function resolveGap(lastAckReceiptId, currentStreamPosition, receiptChain, resumptionState) {
+    // 1. Can the stream resume?
+    if (resumptionState.canResume) {
+        return { type: 'resume', bufferPosition: currentStreamPosition };
+    }
+    // 2. Do we have cached frames in the receipt chain?
+    if (receiptChain.hasFramesAfter(lastAckReceiptId)) {
+        const frames = receiptChain.getFramesAfter(lastAckReceiptId);
+        if (frames.length > 0) {
+            return { type: 'replay', frames };
+        }
+    }
+    // 3. Neither available — full re-request
+    return { type: 're-request', fromScratch: true };
+}
+// FNV-1a for receipt IDs — delegated to shared fnv.ts (see fnv.ts)
+function _make(config) {
+    const { tokenBuffer, getQualityTier } = config;
+    let frameCount = 0;
+    let lastFrame = null;
+    let lastQualityTier = null;
+    let forceKeyframe = true; // First frame is always a keyframe
+    let totalTokensDrained = 0;
+    return {
+        tick() {
+            const tier = getQualityTier();
+            const tokens = tokenBuffer.drain(32); // Drain up to 32 tokens per frame
+            // Determine frame type
+            let type;
+            if (forceKeyframe || lastQualityTier !== tier) {
+                type = 'keyframe';
+                forceKeyframe = false;
+            }
+            else if (tokens.length === 0) {
+                // Stall — produce interpolated frame (CSS-only, no DOM mutation)
+                if (tokenBuffer.isStalled) {
+                    type = 'interpolated';
+                }
+                else {
+                    // No tokens but not stalled — skip frame
+                    return null;
+                }
+            }
+            else {
+                type = 'delta';
+            }
+            // Determine morph strategy
+            let morphStrategy;
+            switch (type) {
+                case 'keyframe':
+                    morphStrategy = 'replace';
+                    break;
+                case 'interpolated':
+                    morphStrategy = 'css-only';
+                    break;
+                default:
+                    morphStrategy = 'patch';
+            }
+            totalTokensDrained += tokens.length;
+            const now = typeof performance !== 'undefined' ? performance.now() : Date.now();
+            // Generate receipt ID from frame content
+            const receiptId = fnv1a(`${frameCount}:${now}:${tokens.join('')}`);
+            const frame = {
+                type,
+                tokens,
+                qualityTier: tier,
+                morphStrategy,
+                timestamp: now,
+                receiptId,
+                bufferPosition: totalTokensDrained,
+            };
+            lastFrame = frame;
+            lastQualityTier = tier;
+            frameCount++;
+            return frame;
+        },
+        get frameCount() {
+            return frameCount;
+        },
+        get lastFrame() {
+            return lastFrame;
+        },
+        markKeyframe() {
+            forceKeyframe = true;
+        },
+        reset() {
+            frameCount = 0;
+            lastFrame = null;
+            lastQualityTier = null;
+            forceKeyframe = true;
+            totalTokensDrained = 0;
+        },
+    };
+}
+/**
+ * Generative-UI frame scheduler namespace.
+ *
+ * Turns a bursty LLM token stream into evenly-paced frames the DOM runtime
+ * can apply without stalling, and resolves disconnect gaps using the receipt
+ * chain or transport resumption.
+ */
+export const GenFrame = {
+    /** Create a new fixed-step scheduler bound to a {@link TokenBuffer} and quality-tier probe. */
+    make: _make,
+    /** Pick a recovery {@link GapStrategy} after a stream disconnect. */
+    resolveGap,
+};
+//# sourceMappingURL=gen-frame.js.map

package/dist/gen-frame.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gen-frame.js","sourceRoot":"","sources":["../src/gen-frame.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AA4DjC,SAAS,UAAU,CACjB,gBAAuC,EACvC,qBAA6B,EAC7B,YAA8B,EAC9B,eAA+B;IAE/B,4BAA4B;IAC5B,IAAI,eAAe,CAAC,SAAS,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,qBAAqB,EAAE,CAAC;IACnE,CAAC;IAED,oDAAoD;IACpD,IAAI,YAAY,CAAC,cAAc,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,YAAY,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC;QAC7D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AACnD,CAAC;AAoBD,mEAAmE;AAEnE,SAAS,KAAK,CAAC,MAAsB;IACnC,MAAM,EAAE,WAAW,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IAE/C,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,SAAS,GAAmB,IAAI,CAAC;IACrC,IAAI,eAAe,GAAyB,IAAI,CAAC;IACjD,IAAI,aAAa,GAAG,IAAI,CAAC,CAAC,mCAAmC;IAC7D,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAE3B,OAAO;QACL,IAAI;YACF,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,kCAAkC;YAExE,uBAAuB;YACvB,IAAI,IAAe,CAAC;YACpB,IAAI,aAAa,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;gBAC9C,IAAI,GAAG,UAAU,CAAC;gBAClB,aAAa,GAAG,KAAK,CAAC;YACxB,CAAC;iBAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,iEAAiE;gBACjE,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC1B,IAAI,GAAG,cAAc,CAAC;gBACxB,CAAC;qBAAM,CAAC;oBACN,yCAAyC;oBACzC,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,GAAG,OAAO,CAAC;YACjB,CAAC;YAED,2BAA2B;YAC3B,IAAI,aAA4B,CAAC;YACjC,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,UAAU;oBACb,aAAa,GAAG,SAAS,CAAC;oBAC1B,MAAM;gBACR,KAAK,cAAc;oBACjB,aAAa,GAAG,UAAU,CAAC;oBAC3B,MAAM;gBACR;oBACE,aAAa,GAAG,OAAO,CAAC;YAC5B,CAAC;YAED,kBAAkB,IAAI,MAAM,CAAC,MAAM,CAAC;YACpC,MAAM,GAAG,GAAG,OAAO,WAAW,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YAEhF,yCAAyC;YACzC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,UAAU,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAEnE,MAAM,KAAK,GAAY;gBACrB,IAAI;gBACJ,MAAM;gBACN,WAAW,EAAE,IAAI;gBACjB,aAAa;gBACb,SAAS,EAAE,GAAG;gBACd,SAAS;gBACT,cAAc,EAAE,kBAAkB;aACnC,CAAC;YAEF,SAAS,GAAG,KAAK,CAAC;YAClB,eAAe,GAAG,IAAI,CAAC;YACvB,UAAU,EAAE,CAAC;YAEb,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,UAAU;YACZ,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,IAAI,SAAS;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,YAAY;YACV,aAAa,GAAG,IAAI,CAAC;QACvB,CAAC;QAED,KAAK;YACH,UAAU,GAAG,CAAC,CAAC;YACf,SAAS,GAAG,IAAI,CAAC;YACjB,eAAe,GAAG,IAAI,CAAC;YACvB,aAAa,GAAG,IAAI,CAAC;YACrB,kBAAkB,GAAG,CAAC,CAAC;QACzB,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,+FAA+F;IAC/F,IAAI,EAAE,KAAK;IACX,qEAAqE;IACrE,UAAU;CACX,CAAC"}

package/dist/harness/arbitrary-from-schema.d.ts

@@ -0,0 +1,28 @@
+import type { Schema } from 'effect';
+import * as fc from 'fast-check';
+/** Error thrown when an AST node has no supported arbitrary mapping. */
+export declare class UnsupportedSchemaError extends Error {
+    readonly _tag = "UnsupportedSchemaError";
+    readonly nodeTag: string;
+    constructor(nodeTag: string, hint?: string);
+}
+/**
+ * Walk a `Schema` AST and return a `fc.Arbitrary` that produces values
+ * structurally conforming to the schema. Throws
+ * {@link UnsupportedSchemaError} on AST nodes with no supported mapping.
+ *
+ * Accepts any `Schema.Schema<T>` (or `Codec`) — only `.ast` is read.
+ */
+declare function _schemaToArbitrary<T>(schema: Schema.Schema<T>): fc.Arbitrary<T>;
+/** Public namespace for the arbitrary-from-schema walker. */
+export declare const ArbitraryFromSchema: {
+    readonly fromSchema: typeof _schemaToArbitrary;
+};
+/** Convenience top-level export — most call sites use this directly. */
+export declare const schemaToArbitrary: typeof _schemaToArbitrary;
+export declare namespace ArbitraryFromSchema {
+    /** The result type returned by {@link ArbitraryFromSchema.fromSchema}. */
+    type Result<T> = fc.Arbitrary<T>;
+}
+export {};
+//# sourceMappingURL=arbitrary-from-schema.d.ts.map

package/dist/harness/arbitrary-from-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbitrary-from-schema.d.ts","sourceRoot":"","sources":["../../src/harness/arbitrary-from-schema.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,MAAM,EAAa,MAAM,QAAQ,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,wEAAwE;AACxE,qBAAa,sBAAuB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,IAAI,4BAA4B;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;gBACb,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM;CAI3C;AAoND;;;;;;GAMG;AACH,iBAAS,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAExE;AAED,6DAA6D;AAC7D,eAAO,MAAM,mBAAmB;;CAEtB,CAAC;AAEX,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,2BAAqB,CAAC;AAEpD,MAAM,CAAC,OAAO,WAAW,mBAAmB,CAAC;IAC3C,0EAA0E;IAC1E,KAAY,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CACzC"}

package/dist/harness/arbitrary-from-schema.js

@@ -0,0 +1,262 @@
+/**
+ * arbitrary-from-schema — derive a `fast-check` arbitrary from an Effect
+ * `Schema.Codec<T>`. Used by the harness templates so generated property
+ * tests feed real, schema-conformant inputs into capsule run handlers.
+ *
+ * Coverage: scalars (String, Number, Boolean, BigInt), Literal,
+ * Null/Undefined/Void, Unknown/Any, ObjectKeyword, Enum, Union, Array
+ * (Schema.Array + fixed Tuple + NonEmptyArray-style elements+rest),
+ * TypeLiteral (Struct with optional property signatures), Suspend,
+ * Declaration (Date specifically; throws for other declarations), and
+ * AST-level `checks` (Filter / FilterGroup) which model refinements
+ * such as `Schema.NonEmptyString` and `Schema.minLength(n)` — these
+ * post-filter the underlying arbitrary by running each Filter's
+ * predicate.
+ *
+ * KNOWN GAPS — these AST nodes throw `UnsupportedSchemaError` and the
+ * harness falls back to `it.skip` rather than a vacuous test:
+ *   - Transformation (Schema.transform, Schema.compose chains)
+ *   - TemplateLiteral (Schema.TemplateLiteral)
+ *   - Declaration for non-Date opaque types (e.g. Uint8Array)
+ *
+ * @module
+ */
+import { Effect } from 'effect';
+import * as fc from 'fast-check';
+/** Error thrown when an AST node has no supported arbitrary mapping. */
+export class UnsupportedSchemaError extends Error {
+    _tag = 'UnsupportedSchemaError';
+    nodeTag;
+    constructor(nodeTag, hint) {
+        super(`arbitrary-from-schema: AST node "${nodeTag}" is not supported${hint ? ` (${hint})` : ''}`);
+        this.nodeTag = nodeTag;
+    }
+}
+/**
+ * Apply post-type-match `checks` (Filter / FilterGroup) declared on the
+ * AST node to the produced arbitrary. Each Filter's `run` returns
+ * `Issue | undefined`; `undefined` means the input passed. We compose all
+ * checks and `.filter` the arbitrary so only conforming samples survive.
+ *
+ * fast-check throws if the filter rejection rate exceeds ~10%. For
+ * common refinements (NonEmptyString, minLength) the underlying
+ * arbitrary already biases toward populated values so rejection stays
+ * well below the threshold.
+ */
+function _applyChecks(ast, arb) {
+    const checks = ast.checks;
+    if (checks === undefined || checks.length === 0)
+        return arb;
+    return arb.filter((sample) => {
+        for (const check of checks) {
+            if (check._tag === 'Filter') {
+                // ParseOptions is opaque — pass an empty object; the runtime
+                // tolerates missing fields for filter execution.
+                const issue = check.run(sample, ast, {});
+                if (issue !== undefined)
+                    return false;
+            }
+            else if (check._tag === 'FilterGroup') {
+                const group = check;
+                for (const inner of group.checks) {
+                    if (inner._tag === 'Filter') {
+                        const issue = inner.run(sample, ast, {});
+                        if (issue !== undefined)
+                            return false;
+                    }
+                    // Nested FilterGroup is theoretically possible but rare;
+                    // ignore for now and let the outer test catch failures.
+                }
+            }
+        }
+        return true;
+    });
+}
+/**
+ * Probe a `Declaration` node to determine the JavaScript class it accepts.
+ * We attempt to construct a sentinel value and see whether the node's
+ * `run` parser accepts it. If yes, return a fast-check arbitrary that
+ * produces values of that shape. Otherwise throw.
+ *
+ * Currently supports `Date`. Add new probes here when production
+ * capsules require them.
+ */
+function _arbitraryForDeclaration(ast) {
+    const parser = ast.run(ast.typeParameters);
+    // Probe with `new Date()` — the most common Declaration in production.
+    const probeDate = new Date();
+    // The parser returns an Effect; we synchronously inspect via the
+    // runtime sync path. If it succeeds, the Declaration accepts Date.
+    // We avoid pulling in the full Effect runtime here — a try/catch
+    // around the parser's first sync step is enough for the probe.
+    let acceptsDate = false;
+    try {
+        const out = parser(probeDate, ast, {});
+        // The Effect returned by `out` succeeds synchronously when the
+        // input matches; failure surfaces as an Issue. We use Effect's
+        // `runSyncExit` to inspect the success/failure tag without
+        // throwing on parse failures.
+        const exit = Effect.runSyncExit(out);
+        acceptsDate = exit._tag === 'Success';
+    }
+    catch {
+        acceptsDate = false;
+    }
+    if (acceptsDate)
+        return fc.date();
+    throw new UnsupportedSchemaError('Declaration', 'opaque user-defined type — only Date is currently probed');
+}
+function walk(ast) {
+    let arb;
+    switch (ast._tag) {
+        case 'String':
+            arb = fc.string();
+            break;
+        case 'Number':
+            // Integer is safer than float — avoids NaN/Infinity which trip
+            // most user-defined invariants. Capsules that need floats can
+            // refine via filter checks (not yet handled here).
+            arb = fc.integer();
+            break;
+        case 'Boolean':
+            arb = fc.boolean();
+            break;
+        case 'BigInt':
+            arb = fc.bigInt();
+            break;
+        case 'Literal':
+            arb = fc.constant(ast.literal);
+            break;
+        case 'Null':
+            arb = fc.constant(null);
+            break;
+        case 'Undefined':
+        case 'Void':
+            arb = fc.constant(undefined);
+            break;
+        case 'Unknown':
+        case 'Any':
+            arb = fc.anything();
+            break;
+        case 'ObjectKeyword':
+            arb = fc.object();
+            break;
+        case 'Enum': {
+            const enums = ast.enums;
+            if (enums.length === 0) {
+                throw new UnsupportedSchemaError('Enum', 'empty enum');
+            }
+            arb = fc.constantFrom(...enums.map(([, v]) => v));
+            break;
+        }
+        case 'Union': {
+            const u = ast;
+            if (u.types.length === 0) {
+                throw new UnsupportedSchemaError('Union', 'empty union');
+            }
+            const arbs = u.types.map(walk);
+            // fc.oneof accepts an arbitraries-array as variadic args
+            arb = fc.oneof(...arbs);
+            break;
+        }
+        case 'Arrays': {
+            const a = ast;
+            // Common case: Schema.Array(T) yields elements=[], rest=[T]
+            if (a.elements.length === 0 && a.rest.length === 1) {
+                const elem = a.rest[0];
+                if (elem === undefined) {
+                    throw new UnsupportedSchemaError('Arrays', 'rest[0] missing');
+                }
+                arb = fc.array(walk(elem), { maxLength: 8 });
+                break;
+            }
+            // Fixed tuple
+            if (a.rest.length === 0 && a.elements.length > 0) {
+                const elemArbs = a.elements.map(walk);
+                arb = fc.tuple(...elemArbs);
+                break;
+            }
+            // Mixed: required leading element(s) + rest tail. NonEmptyArray
+            // surfaces here as elements=[T], rest=[T] — generate the leading
+            // tuple and append a variable-length tail of the same elem type.
+            if (a.elements.length > 0 && a.rest.length === 1) {
+                const headArbs = a.elements.map(walk);
+                const tailElem = a.rest[0];
+                if (tailElem === undefined) {
+                    throw new UnsupportedSchemaError('Arrays', 'rest[0] missing');
+                }
+                const tailArb = fc.array(walk(tailElem), { maxLength: 7 });
+                arb = fc.tuple(fc.tuple(...headArbs), tailArb).map(([head, tail]) => [...head, ...tail]);
+                break;
+            }
+            throw new UnsupportedSchemaError('Arrays', `unsupported tuple+rest shape (elements=${a.elements.length}, rest=${a.rest.length})`);
+        }
+        case 'Objects': {
+            const o = ast;
+            if (o.indexSignatures.length > 0) {
+                throw new UnsupportedSchemaError('Objects', 'index signatures');
+            }
+            const required = {};
+            const optional = {};
+            for (const ps of o.propertySignatures) {
+                const key = String(ps.name);
+                const fieldArb = walk(ps.type);
+                const isOptional = ps.type.context?.isOptional === true;
+                if (isOptional)
+                    optional[key] = fieldArb;
+                else
+                    required[key] = fieldArb;
+            }
+            if (Object.keys(optional).length === 0) {
+                arb = fc.record(required);
+                break;
+            }
+            // fast-check supports `requiredKeys` to mark a subset as required —
+            // but the simpler, version-stable approach is to merge all keys and
+            // post-process: for each optional key, randomly drop it.
+            const allKeys = { ...required, ...optional };
+            arb = fc.record(allKeys).chain((rec) => fc.tuple(...Object.keys(optional).map(() => fc.boolean())).map((dropFlags) => {
+                const out = { ...rec };
+                const optKeys = Object.keys(optional);
+                for (let i = 0; i < optKeys.length; i++) {
+                    if (dropFlags[i] === true) {
+                        const k = optKeys[i];
+                        if (k !== undefined)
+                            delete out[k];
+                    }
+                }
+                return out;
+            }));
+            break;
+        }
+        case 'Suspend': {
+            const s = ast;
+            // Resolve once; arbitrary depth control is left to fast-check defaults.
+            arb = walk(s.thunk());
+            break;
+        }
+        case 'Declaration':
+            arb = _arbitraryForDeclaration(ast);
+            break;
+        default:
+            throw new UnsupportedSchemaError(ast._tag);
+    }
+    return _applyChecks(ast, arb);
+}
+/**
+ * Walk a `Schema` AST and return a `fc.Arbitrary` that produces values
+ * structurally conforming to the schema. Throws
+ * {@link UnsupportedSchemaError} on AST nodes with no supported mapping.
+ *
+ * Accepts any `Schema.Schema<T>` (or `Codec`) — only `.ast` is read.
+ */
+function _schemaToArbitrary(schema) {
+    return walk(schema.ast);
+}
+/** Public namespace for the arbitrary-from-schema walker. */
+export const ArbitraryFromSchema = {
+    fromSchema: _schemaToArbitrary,
+};
+/** Convenience top-level export — most call sites use this directly. */
+export const schemaToArbitrary = _schemaToArbitrary;
+//# sourceMappingURL=arbitrary-from-schema.js.map

package/dist/harness/arbitrary-from-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbitrary-from-schema.js","sourceRoot":"","sources":["../../src/harness/arbitrary-from-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,wEAAwE;AACxE,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IACtC,IAAI,GAAG,wBAAwB,CAAC;IAChC,OAAO,CAAS;IACzB,YAAY,OAAe,EAAE,IAAa;QACxC,KAAK,CAAC,oCAAoC,OAAO,qBAAqB,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClG,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAED;;;;;;;;;;GAUG;AACH,SAAS,YAAY,CAAC,GAAkB,EAAE,GAA0B;IAClE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAC5D,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;QAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC5B,6DAA6D;gBAC7D,iDAAiD;gBACjD,MAAM,KAAK,GAAI,KAAmC,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,EAA4B,CAAC,CAAC;gBAClG,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;YACxC,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,KAAuC,CAAC;gBACtD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;oBACjC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC5B,MAAM,KAAK,GAAI,KAAmC,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,EAA4B,CAAC,CAAC;wBAClG,IAAI,KAAK,KAAK,SAAS;4BAAE,OAAO,KAAK,CAAC;oBACxC,CAAC;oBACD,yDAAyD;oBACzD,wDAAwD;gBAC1D,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,wBAAwB,CAAC,GAA0B;IAC1D,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC3C,uEAAuE;IACvE,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC;IAC7B,iEAAiE;IACjE,mEAAmE;IACnE,iEAAiE;IACjE,+DAA+D;IAC/D,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,EAA4B,CAAC,CAAC;QACjE,+DAA+D;QAC/D,+DAA+D;QAC/D,2DAA2D;QAC3D,8BAA8B;QAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,GAAY,CAAC,CAAC;QAC9C,WAAW,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,WAAW,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,IAAI,WAAW;QAAE,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,IAAI,sBAAsB,CAAC,aAAa,EAAE,0DAA0D,CAAC,CAAC;AAC9G,CAAC;AAED,SAAS,IAAI,CAAC,GAAkB;IAC9B,IAAI,GAA0B,CAAC;IAC/B,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,GAAG,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM;QACR,KAAK,QAAQ;YACX,+DAA+D;YAC/D,8DAA8D;YAC9D,mDAAmD;YACnD,GAAG,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;YACnB,MAAM;QACR,KAAK,SAAS;YACZ,GAAG,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;YACnB,MAAM;QACR,KAAK,QAAQ;YACX,GAAG,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM;QACR,KAAK,SAAS;YACZ,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAE,GAAyB,CAAC,OAAO,CAAC,CAAC;YACtD,MAAM;QACR,KAAK,MAAM;YACT,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM;QACR,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM;YACT,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAC7B,MAAM;QACR,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACR,GAAG,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM;QACR,KAAK,eAAe;YAClB,GAAG,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM;QACR,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,KAAK,GAAI,GAAsB,CAAC,KAAK,CAAC;YAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,sBAAsB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YACzD,CAAC;YACD,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM;QACR,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,GAAsB,CAAC;YACjC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,sBAAsB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,yDAAyD;YACzD,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;YACxB,MAAM;QACR,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,GAAG,GAAuB,CAAC;YAClC,4DAA4D;YAC5D,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,MAAM,IAAI,sBAAsB,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;gBAChE,CAAC;gBACD,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC7C,MAAM;YACR,CAAC;YACD,cAAc;YACd,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjD,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACtC,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC;gBAC5B,MAAM;YACR,CAAC;YACD,gEAAgE;YAChE,iEAAiE;YACjE,iEAAiE;YACjE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjD,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACtC,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC3B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,MAAM,IAAI,sBAAsB,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;gBAChE,CAAC;gBACD,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC3D,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;gBACzF,MAAM;YACR,CAAC;YACD,MAAM,IAAI,sBAAsB,CAC9B,QAAQ,EACR,0CAA0C,CAAC,CAAC,QAAQ,CAAC,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CACtF,CAAC;QACJ,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,GAAwB,CAAC;YACnC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,sBAAsB,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;YAClE,CAAC;YACD,MAAM,QAAQ,GAA0C,EAAE,CAAC;YAC3D,MAAM,QAAQ,GAA0C,EAAE,CAAC;YAC3D,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,kBAAkB,EAAE,CAAC;gBACtC,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM,UAAU,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,KAAK,IAAI,CAAC;gBACxD,IAAI,UAAU;oBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;;oBACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;YAChC,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvC,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAC1B,MAAM;YACR,CAAC;YACD,oEAAoE;YACpE,oEAAoE;YACpE,yDAAyD;YACzD,MAAM,OAAO,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,EAAE,CAAC;YAC7C,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBAC3E,MAAM,GAAG,GAA4B,EAAE,GAAG,GAAG,EAAE,CAAC;gBAChD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;wBAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;wBACrB,IAAI,CAAC,KAAK,SAAS;4BAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;oBACrC,CAAC;gBACH,CAAC;gBACD,OAAO,GAAG,CAAC;YACb,CAAC,CAAC,CACH,CAAC;YACF,MAAM;QACR,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,GAAwB,CAAC;YACnC,wEAAwE;YACxE,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACtB,MAAM;QACR,CAAC;QACD,KAAK,aAAa;YAChB,GAAG,GAAG,wBAAwB,CAAC,GAA4B,CAAC,CAAC;YAC7D,MAAM;QACR;YACE,MAAM,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAI,MAAwB;IACrD,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAoB,CAAC;AAC7C,CAAC;AAED,6DAA6D;AAC7D,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,UAAU,EAAE,kBAAkB;CACtB,CAAC;AAEX,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAG,kBAAkB,CAAC"}

package/dist/harness/cached-projection.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Harness template for the `cachedProjection` assembly arm.
+ *
+ * Cached projections derive an output from a source via a deterministic
+ * pipeline with cache invalidation tied to source content addresses.
+ * Without a `derive(source)` channel on the contract the harness can't
+ * exercise cache-hit equality or invalidation, so each case is emitted
+ * as `it.skip` rather than a vacuous placeholder.
+ *
+ * @module
+ */
+import type { CapsuleDef } from '../assembly.js';
+import type { HarnessOutput } from './pure-transform.js';
+/**
+ * Generate the test + bench file contents for a `cachedProjection` capsule.
+ * Emits `it.skip` placeholders for cache-hit and invalidation tests.
+ */
+export declare function generateCachedProjection(cap: CapsuleDef<'cachedProjection', unknown, unknown, unknown>): HarnessOutput;
+//# sourceMappingURL=cached-projection.d.ts.map

package/dist/harness/cached-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cached-projection.d.ts","sourceRoot":"","sources":["../../src/harness/cached-projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,UAAU,CAAC,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAC7D,aAAa,CAwBf"}

package/dist/harness/cached-projection.js

@@ -0,0 +1,39 @@
+/**
+ * Harness template for the `cachedProjection` assembly arm.
+ *
+ * Cached projections derive an output from a source via a deterministic
+ * pipeline with cache invalidation tied to source content addresses.
+ * Without a `derive(source)` channel on the contract the harness can't
+ * exercise cache-hit equality or invalidation, so each case is emitted
+ * as `it.skip` rather than a vacuous placeholder.
+ *
+ * @module
+ */
+/**
+ * Generate the test + bench file contents for a `cachedProjection` capsule.
+ * Emits `it.skip` placeholders for cache-hit and invalidation tests.
+ */
+export function generateCachedProjection(cap) {
+    const testFile = `// GENERATED — do not edit by hand
+import { describe, it } from 'vitest';
+
+describe('${cap.name}', () => {
+  it.skip('cache hit: identical source yields the same derived output', () => {
+    // TODO(harness): needs cap.derive handler + content-addressed source.
+  });
+
+  it.skip('invalidation: source change produces new cache entry', () => {
+    // TODO(harness): same — needs cap.derive.
+  });
+});
+`;
+    const benchFile = `// GENERATED — do not edit by hand
+import { bench } from 'vitest';
+
+bench('${cap.name} — decode throughput', () => {
+  // decode a canonical source, measure p95 vs budget (${cap.budgets.p95Ms ?? 'n/a'}ms)
+}, { time: 500 });
+`;
+    return { testFile, benchFile };
+}
+//# sourceMappingURL=cached-projection.js.map

package/dist/harness/cached-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cached-projection.js","sourceRoot":"","sources":["../../src/harness/cached-projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,GAA8D;IAE9D,MAAM,QAAQ,GAAG;;;YAGP,GAAG,CAAC,IAAI;;;;;;;;;CASnB,CAAC;IAEA,MAAM,SAAS,GAAG;;;SAGX,GAAG,CAAC,IAAI;yDACwC,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,KAAK;;CAElF,CAAC;IAEA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC"}

package/dist/harness/index.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Harness — per-arm templates that emit test + bench + audit files
+ * from a capsule declaration. Each arm has its own generator.
+ *
+ * @module
+ */
+export { generatePureTransform } from './pure-transform.js';
+export type { HarnessOutput, HarnessContext } from './pure-transform.js';
+export { ArbitraryFromSchema, schemaToArbitrary, UnsupportedSchemaError } from './arbitrary-from-schema.js';
+export { generateReceiptedMutation } from './receipted-mutation.js';
+export { generateStateMachine } from './state-machine.js';
+export { generateSiteAdapter } from './site-adapter.js';
+export { generatePolicyGate } from './policy-gate.js';
+export { generateCachedProjection } from './cached-projection.js';
+export { generateSceneComposition } from './scene-composition.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/harness/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/harness/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AAC5G,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/harness/index.js

@@ -0,0 +1,15 @@
+/**
+ * Harness — per-arm templates that emit test + bench + audit files
+ * from a capsule declaration. Each arm has its own generator.
+ *
+ * @module
+ */
+export { generatePureTransform } from './pure-transform.js';
+export { ArbitraryFromSchema, schemaToArbitrary, UnsupportedSchemaError } from './arbitrary-from-schema.js';
+export { generateReceiptedMutation } from './receipted-mutation.js';
+export { generateStateMachine } from './state-machine.js';
+export { generateSiteAdapter } from './site-adapter.js';
+export { generatePolicyGate } from './policy-gate.js';
+export { generateCachedProjection } from './cached-projection.js';
+export { generateSceneComposition } from './scene-composition.js';
+//# sourceMappingURL=index.js.map

package/dist/harness/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/harness/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AAC5G,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/harness/policy-gate.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Harness template for the `policyGate` assembly arm.
+ *
+ * Policy gates resolve allow/deny against typed subjects. Without a
+ * `decide(subject)` channel on the capsule contract the harness can't
+ * exercise allow/deny branches or check reason chains, so each case is
+ * emitted as `it.skip` rather than a vacuous placeholder.
+ *
+ * @module
+ */
+import type { CapsuleDef } from '../assembly.js';
+import type { HarnessOutput } from './pure-transform.js';
+/**
+ * Generate the test + bench file contents for a `policyGate` capsule.
+ * Emits `it.skip` placeholders for allow / deny / reason-chain coverage.
+ */
+export declare function generatePolicyGate(cap: CapsuleDef<'policyGate', unknown, unknown, unknown>): HarnessOutput;
+//# sourceMappingURL=policy-gate.d.ts.map

package/dist/harness/policy-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-gate.d.ts","sourceRoot":"","sources":["../../src/harness/policy-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,aAAa,CAgC1G"}

package/dist/harness/policy-gate.js

@@ -0,0 +1,46 @@
+/**
+ * Harness template for the `policyGate` assembly arm.
+ *
+ * Policy gates resolve allow/deny against typed subjects. Without a
+ * `decide(subject)` channel on the capsule contract the harness can't
+ * exercise allow/deny branches or check reason chains, so each case is
+ * emitted as `it.skip` rather than a vacuous placeholder.
+ *
+ * @module
+ */
+/**
+ * Generate the test + bench file contents for a `policyGate` capsule.
+ * Emits `it.skip` placeholders for allow / deny / reason-chain coverage.
+ */
+export function generatePolicyGate(cap) {
+    const testFile = `// GENERATED — do not edit by hand
+import { describe, it } from 'vitest';
+
+describe('${cap.name}', () => {
+  it.skip('allow branch: a subject meeting the policy resolves to allow', () => {
+    // TODO(harness): needs cap.decide handler to drive subject -> outcome.
+  });
+
+  it.skip('deny branch: a subject failing the policy resolves to deny', () => {
+    // TODO(harness): same — needs cap.decide.
+  });
+
+  it.skip('reason chain present on every decision', () => {
+    // TODO(harness): same — needs cap.decide and a typed reasons schema.
+  });
+
+  it.skip('no silent deny: every deny has a typed reason code', () => {
+    // TODO(harness): same — needs reasons enum on the contract.
+  });
+});
+`;
+    const benchFile = `// GENERATED — do not edit by hand
+import { bench } from 'vitest';
+
+bench('${cap.name}', () => {
+  // policy decision with a canonical fixture
+}, { time: 500 });
+`;
+    return { testFile, benchFile };
+}
+//# sourceMappingURL=policy-gate.js.map

package/dist/harness/policy-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-gate.js","sourceRoot":"","sources":["../../src/harness/policy-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAwD;IACzF,MAAM,QAAQ,GAAG;;;YAGP,GAAG,CAAC,IAAI;;;;;;;;;;;;;;;;;CAiBnB,CAAC;IAEA,MAAM,SAAS,GAAG;;;SAGX,GAAG,CAAC,IAAI;;;CAGhB,CAAC;IAEA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC"}