modality-ts 0.0.0

package/dist/harness/index.d.ts

@@ -0,0 +1,109 @@
+import type { AbstractDomain, Locator, ModelState, Trace, TraceStep, Value } from "modality-ts/kernel";
+export type ReplayVerdict = {
+    status: "reproduced";
+    stepsRun: number;
+} | {
+    status: "not-reproduced";
+    stepsRun: number;
+    divergenceStep: number;
+    reason: string;
+} | {
+    status: "inconclusive";
+    stepsRun: number;
+    reason: string;
+};
+export interface ReplayDriver {
+    currentState(): ModelState;
+    apply(step: TraceStep): Promise<void> | void;
+    assertViolation?(): Promise<boolean> | boolean;
+}
+export interface ReplayOptions {
+    compareState?: (expected: ModelState, actual: ModelState) => string | undefined;
+}
+export interface ReplayActor {
+    click?(locator: Locator): Promise<void> | void;
+    submit?(locator: Locator): Promise<void> | void;
+    input?(locator: Locator, value: string, valueClass: string): Promise<void> | void;
+    navigate?(mode: "push" | "back", to?: string): Promise<void> | void;
+    resolve?(op: string, outcome: string): Promise<void> | void;
+    focusRevalidate?(key?: string): Promise<void> | void;
+    timer?(key?: string): Promise<void> | void;
+    stabilize?(): Promise<void> | void;
+}
+export interface DomReplayActorOptions {
+    document?: Document;
+    stabilize?: () => Promise<void> | void;
+    navigate?: ReplayActor["navigate"];
+    resolve?: ReplayActor["resolve"];
+    focusRevalidate?: ReplayActor["focusRevalidate"];
+    timer?: ReplayActor["timer"];
+}
+export interface ModalityReplayHarness extends DomReplayActorOptions {
+    sources?: readonly ObservationSource[];
+}
+export interface ActionReplayDriverOptions {
+    inputValues?: Record<string, string>;
+    assertViolation?: () => Promise<boolean> | boolean;
+}
+export interface ObservationSource {
+    id?: string;
+    observe(varId: string): {
+        value: Value;
+    } | "unobservable";
+}
+export interface ObservedModelState {
+    state: ModelState;
+    unobservable: readonly string[];
+}
+export interface WitnessOptions {
+    tokenWitnesses?: Record<string, Value>;
+    elementWitness?: Value;
+}
+export declare function replayTrace(trace: Trace, driver: ReplayDriver, options?: ReplayOptions): Promise<ReplayVerdict>;
+export declare class StateSequenceDriver implements ReplayDriver {
+    private readonly states;
+    private readonly failAtStep?;
+    private index;
+    constructor(states: readonly ModelState[], failAtStep?: number | undefined);
+    currentState(): ModelState;
+    apply(_step: TraceStep): void;
+}
+export declare function statesFromTrace(trace: Trace): ModelState[];
+export declare class ActionReplayDriver implements ReplayDriver {
+    private readonly actor;
+    private readonly observe;
+    private readonly options;
+    constructor(actor: ReplayActor, observe: () => ModelState, options?: ActionReplayDriverOptions);
+    currentState(): ModelState;
+    apply(step: TraceStep): Promise<void>;
+    assertViolation(): Promise<boolean>;
+}
+export declare class ObservableActionReplayDriver implements ReplayDriver {
+    private readonly actor;
+    private readonly varIds;
+    private readonly sources;
+    private readonly options;
+    constructor(actor: ReplayActor, varIds: readonly string[], sources: readonly ObservationSource[], options?: ActionReplayDriverOptions);
+    currentState(): ModelState;
+    apply(step: TraceStep): Promise<void>;
+    assertViolation(): Promise<boolean>;
+}
+export declare class TraceBackedActionReplayDriver implements ReplayDriver {
+    private readonly actor;
+    private readonly options;
+    private readonly states;
+    private index;
+    constructor(trace: Trace, actor: ReplayActor, options?: ActionReplayDriverOptions);
+    currentState(): ModelState;
+    apply(step: TraceStep): Promise<void>;
+    assertViolation(): Promise<boolean>;
+}
+export declare function observeModelState(varIds: readonly string[], sources: readonly ObservationSource[]): ObservedModelState;
+export declare function observationSource(id: string, observe: (varId: string) => {
+    value: Value;
+} | "unobservable"): ObservationSource;
+export declare function createDomReplayActor(options?: DomReplayActorOptions): ReplayActor;
+export declare function dispatchReplayStep(step: TraceStep, actor: ReplayActor, options?: ActionReplayDriverOptions): Promise<void>;
+export declare function witnessValue(domain: AbstractDomain, value?: Value, options?: WitnessOptions): Value;
+export declare function inputWitness(valueClass: string): string;
+//# 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,OAAO,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAEvG,MAAM,MAAM,aAAa,GACrB;IAAE,MAAM,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,MAAM,EAAE,gBAAgB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACtF;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjE,MAAM,WAAW,YAAY;IAC3B,YAAY,IAAI,UAAU,CAAC;IAC3B,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7C,eAAe,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;CAChD;AAED,MAAM,WAAW,aAAa;IAC5B,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,KAAK,MAAM,GAAG,SAAS,CAAC;CACjF;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC/C,MAAM,CAAC,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAChD,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAClF,QAAQ,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpE,OAAO,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC5D,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACrD,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC3C,SAAS,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CACpC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IACnC,OAAO,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACjC,eAAe,CAAC,EAAE,WAAW,CAAC,iBAAiB,CAAC,CAAC;IACjD,KAAK,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAsB,SAAQ,qBAAqB;IAClE,OAAO,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,yBAAyB;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,eAAe,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;CACpD;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,KAAK,CAAA;KAAE,GAAG,cAAc,CAAC;CAC3D;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,UAAU,CAAC;IAClB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,cAAc;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,cAAc,CAAC,EAAE,KAAK,CAAC;CACxB;AAED,wBAAsB,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,GAAE,aAAkB,GAAG,OAAO,CAAC,aAAa,CAAC,CA4BzH;AAED,qBAAa,mBAAoB,YAAW,YAAY;IAG1C,OAAO,CAAC,QAAQ,CAAC,MAAM;IAAyB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC;IAFxF,OAAO,CAAC,KAAK,CAAK;gBAEW,MAAM,EAAE,SAAS,UAAU,EAAE,EAAmB,UAAU,CAAC,EAAE,MAAM,YAAA;IAIhG,YAAY,IAAI,UAAU;IAI1B,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI;CAM9B;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAE1D;AAED,qBAAa,kBAAmB,YAAW,YAAY;IAEnD,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAFP,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,MAAM,UAAU,EACzB,OAAO,GAAE,yBAA8B;IAG1D,YAAY,IAAI,UAAU;IAIpB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAIrC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;CAG1C;AAED,qBAAa,4BAA6B,YAAW,YAAY;IAE7D,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAHP,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,SAAS,iBAAiB,EAAE,EACrC,OAAO,GAAE,yBAA8B;IAG1D,YAAY,IAAI,UAAU;IAQpB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAIrC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;CAG1C;AAED,qBAAa,6BAA8B,YAAW,YAAY;IAM9D,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAN1B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,KAAK,CAAK;gBAGhB,KAAK,EAAE,KAAK,EACK,KAAK,EAAE,WAAW,EAClB,OAAO,GAAE,yBAA8B;IAK1D,YAAY,IAAI,UAAU;IAIpB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAKrC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;CAG1C;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,kBAAkB,CAYtH;AAED,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK;IAAE,KAAK,EAAE,KAAK,CAAA;CAAE,GAAG,cAAc,GAAG,iBAAiB,CAE9H;AAED,wBAAgB,oBAAoB,CAAC,OAAO,GAAE,qBAA0B,GAAG,WAAW,CA8BrF;AA+ED,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,GAAE,yBAA8B,GAAG,OAAO,CAAC,IAAI,CAAC,CA+BpI;AAOD,wBAAgB,YAAY,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,OAAO,GAAE,cAAmB,GAAG,KAAK,CAqCvG;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAevD"}

package/dist/harness/index.js

@@ -0,0 +1,377 @@
+export async function replayTrace(trace, driver, options = {}) {
+    const compare = options.compareState ?? defaultCompareState;
+    for (let index = 0; index < trace.steps.length; index += 1) {
+        const step = trace.steps[index];
+        let preState;
+        try {
+            preState = driver.currentState();
+        }
+        catch (error) {
+            return { status: "inconclusive", stepsRun: index, reason: error instanceof Error ? error.message : String(error) };
+        }
+        const preMismatch = compare(step.pre, preState);
+        if (preMismatch)
+            return { status: "not-reproduced", stepsRun: index, divergenceStep: index + 1, reason: `precondition mismatch: ${preMismatch}` };
+        try {
+            await driver.apply(step);
+        }
+        catch (error) {
+            return { status: "inconclusive", stepsRun: index, reason: error instanceof Error ? error.message : String(error) };
+        }
+        let postState;
+        try {
+            postState = driver.currentState();
+        }
+        catch (error) {
+            return { status: "inconclusive", stepsRun: index + 1, reason: error instanceof Error ? error.message : String(error) };
+        }
+        const postMismatch = compare(step.post, postState);
+        if (postMismatch)
+            return { status: "not-reproduced", stepsRun: index + 1, divergenceStep: index + 1, reason: `postcondition mismatch: ${postMismatch}` };
+    }
+    const violationObserved = driver.assertViolation ? await driver.assertViolation() : true;
+    return violationObserved ? { status: "reproduced", stepsRun: trace.steps.length } : { status: "not-reproduced", stepsRun: trace.steps.length, divergenceStep: trace.steps.length, reason: "final violation was not observed" };
+}
+export class StateSequenceDriver {
+    states;
+    failAtStep;
+    index = 0;
+    constructor(states, failAtStep) {
+        this.states = states;
+        this.failAtStep = failAtStep;
+        if (states.length === 0)
+            throw new Error("StateSequenceDriver requires at least one state");
+    }
+    currentState() {
+        return this.states[Math.min(this.index, this.states.length - 1)];
+    }
+    apply(_step) {
+        if (this.failAtStep !== undefined && this.index + 1 === this.failAtStep) {
+            throw new Error(`driver failed at step ${this.failAtStep}`);
+        }
+        this.index = Math.min(this.index + 1, this.states.length - 1);
+    }
+}
+export function statesFromTrace(trace) {
+    return trace.steps.length === 0 ? [{}] : [trace.steps[0].pre, ...trace.steps.map((step) => step.post)];
+}
+export class ActionReplayDriver {
+    actor;
+    observe;
+    options;
+    constructor(actor, observe, options = {}) {
+        this.actor = actor;
+        this.observe = observe;
+        this.options = options;
+    }
+    currentState() {
+        return this.observe();
+    }
+    async apply(step) {
+        await dispatchReplayStep(step, this.actor, this.options);
+    }
+    async assertViolation() {
+        return this.options.assertViolation ? this.options.assertViolation() : true;
+    }
+}
+export class ObservableActionReplayDriver {
+    actor;
+    varIds;
+    sources;
+    options;
+    constructor(actor, varIds, sources, options = {}) {
+        this.actor = actor;
+        this.varIds = varIds;
+        this.sources = sources;
+        this.options = options;
+    }
+    currentState() {
+        const observed = observeModelState(this.varIds, this.sources);
+        if (observed.unobservable.length > 0) {
+            throw new Error(`Unobservable model vars: ${observed.unobservable.join(", ")}`);
+        }
+        return observed.state;
+    }
+    async apply(step) {
+        await dispatchReplayStep(step, this.actor, this.options);
+    }
+    async assertViolation() {
+        return this.options.assertViolation ? this.options.assertViolation() : true;
+    }
+}
+export class TraceBackedActionReplayDriver {
+    actor;
+    options;
+    states;
+    index = 0;
+    constructor(trace, actor, options = {}) {
+        this.actor = actor;
+        this.options = options;
+        this.states = statesFromTrace(trace);
+    }
+    currentState() {
+        return this.states[Math.min(this.index, this.states.length - 1)];
+    }
+    async apply(step) {
+        await dispatchReplayStep(step, this.actor, this.options);
+        this.index = Math.min(this.index + 1, this.states.length - 1);
+    }
+    async assertViolation() {
+        return this.options.assertViolation ? this.options.assertViolation() : true;
+    }
+}
+export function observeModelState(varIds, sources) {
+    const state = {};
+    const unobservable = [];
+    for (const varId of varIds) {
+        const observed = firstObserved(varId, sources);
+        if (observed === "unobservable") {
+            unobservable.push(varId);
+        }
+        else {
+            state[varId] = observed.value;
+        }
+    }
+    return { state, unobservable };
+}
+export function observationSource(id, observe) {
+    return { id, observe };
+}
+export function createDomReplayActor(options = {}) {
+    const doc = options.document ?? globalThis.document;
+    if (!doc)
+        throw new Error("createDomReplayActor requires a document");
+    return {
+        click: async (locator) => {
+            const element = locateOne(doc, locator);
+            assertEnabled(element, locator);
+            if (typeof element.click === "function")
+                element.click();
+            else
+                dispatchDomEvent(doc, element, "click", { bubbles: true, cancelable: true });
+        },
+        submit: async (locator) => {
+            const element = locateOne(doc, locator);
+            assertEnabled(element, locator);
+            const submitTarget = formFor(element);
+            if (submitTarget && typeof submitTarget.requestSubmit === "function")
+                submitTarget.requestSubmit();
+            else
+                dispatchDomEvent(doc, submitTarget ?? element, "submit", { bubbles: true, cancelable: true });
+        },
+        input: async (locator, value) => {
+            const element = locateOne(doc, locator);
+            assertEnabled(element, locator);
+            element.value = value;
+            dispatchDomEvent(doc, element, "input", { bubbles: true });
+            dispatchDomEvent(doc, element, "change", { bubbles: true });
+        },
+        navigate: options.navigate,
+        resolve: options.resolve,
+        focusRevalidate: options.focusRevalidate,
+        timer: options.timer,
+        stabilize: options.stabilize
+    };
+}
+function firstObserved(varId, sources) {
+    for (const source of sources) {
+        const observed = source.observe(varId);
+        if (observed !== "unobservable")
+            return observed;
+    }
+    return "unobservable";
+}
+function locateOne(doc, locator) {
+    const matches = locateAll(doc, locator);
+    const element = matches[0];
+    if (!element)
+        throw new Error(`No element found for ${formatLocator(locator)}`);
+    return element;
+}
+function locateAll(doc, locator) {
+    if (locator.kind === "positional")
+        return locateAll(doc, locator.base).slice(locator.index, locator.index + 1);
+    if (locator.kind === "testId")
+        return [...doc.querySelectorAll(`[data-testid="${cssString(locator.value)}"]`)];
+    const candidates = [...doc.querySelectorAll(roleSelector(locator.role))];
+    return candidates.filter((element) => elementRole(element) === locator.role && (!locator.name || elementName(element) === locator.name));
+}
+function roleSelector(role) {
+    const implicit = role === "button" ? "button,input[type=button],input[type=submit]" :
+        role === "textbox" ? "input:not([type]),input[type=text],textarea" :
+            role === "combobox" ? "select" :
+                role === "radio" ? "input[type=radio]" :
+                    role === "form" ? "form" :
+                        "";
+    return implicit ? `[role="${cssString(role)}"],${implicit}` : `[role="${cssString(role)}"]`;
+}
+function elementRole(element) {
+    const explicit = element.getAttribute("role");
+    if (explicit)
+        return explicit;
+    const tag = element.tagName.toLowerCase();
+    if (tag === "button")
+        return "button";
+    if (tag === "form")
+        return "form";
+    if (tag === "select")
+        return "combobox";
+    if (tag === "textarea")
+        return "textbox";
+    if (tag === "input") {
+        const type = (element.getAttribute("type") ?? "text").toLowerCase();
+        if (type === "button" || type === "submit")
+            return "button";
+        if (type === "radio")
+            return "radio";
+        return "textbox";
+    }
+    return undefined;
+}
+function elementName(element) {
+    return element.getAttribute("aria-label") ?? element.textContent?.trim() ?? "";
+}
+function assertEnabled(element, locator) {
+    if (element.disabled || element.getAttribute("aria-disabled") === "true") {
+        throw new Error(`Element is disabled for ${formatLocator(locator)}`);
+    }
+}
+function formFor(element) {
+    if (element.tagName.toLowerCase() === "form")
+        return element;
+    return element.form ?? undefined;
+}
+function dispatchDomEvent(doc, element, type, init) {
+    const EventCtor = doc.defaultView?.Event ?? Event;
+    element.dispatchEvent(new EventCtor(type, init));
+}
+function cssString(value) {
+    return value.replace(/["\\]/g, "\\$&");
+}
+function formatLocator(locator) {
+    return JSON.stringify(locator);
+}
+export async function dispatchReplayStep(step, actor, options = {}) {
+    const label = step.label;
+    switch (label.kind) {
+        case "click":
+            if (!label.locator)
+                throw new Error(`Missing locator for click step ${step.transitionId}`);
+            await callActor("click", actor.click, label.locator);
+            break;
+        case "submit":
+            if (!label.locator)
+                throw new Error(`Missing locator for submit step ${step.transitionId}`);
+            await callActor("submit", actor.submit, label.locator);
+            break;
+        case "input":
+            if (!label.locator)
+                throw new Error(`Missing locator for input step ${step.transitionId}`);
+            await callActor("input", actor.input, label.locator, options.inputValues?.[label.valueClass] ?? inputWitness(label.valueClass), label.valueClass);
+            break;
+        case "navigate":
+            await callActor("navigate", actor.navigate, label.mode, label.to);
+            break;
+        case "resolve":
+            await callActor("resolve", actor.resolve, label.op, label.outcome);
+            break;
+        case "focus-revalidate":
+            await callActor("focus-revalidate", actor.focusRevalidate, label.key);
+            break;
+        case "timer":
+            await callActor("timer", actor.timer, label.key);
+            break;
+        case "internal":
+            break;
+    }
+    await actor.stabilize?.();
+}
+async function callActor(name, fn, ...args) {
+    if (!fn)
+        throw new Error(`Replay actor does not support ${name}`);
+    await fn(...args);
+}
+export function witnessValue(domain, value, options = {}) {
+    if (value !== undefined && value !== null) {
+        if (domain.kind === "lengthCat")
+            return witnessLengthCat(value);
+        if (domain.kind === "tokens" && typeof value === "string")
+            return options.tokenWitnesses?.[value] ?? value;
+        if (domain.kind === "option")
+            return witnessValue(domain.inner, value, options);
+        if (domain.kind === "record" && isRecord(value))
+            return witnessRecord(domain.fields, value, options);
+        if (domain.kind === "tagged" && isRecord(value) && typeof value[domain.tag] === "string") {
+            const variant = domain.variants[value[domain.tag]];
+            return variant ? { ...witnessValue(variant, value, options), [domain.tag]: value[domain.tag] } : value;
+        }
+        if (domain.kind === "boundedList" && Array.isArray(value))
+            return value.map((item) => witnessValue(domain.inner, item, options));
+        return value;
+    }
+    switch (domain.kind) {
+        case "bool":
+            return false;
+        case "enum":
+            return domain.values[0] ?? "";
+        case "boundedInt":
+            return domain.min;
+        case "option":
+            return null;
+        case "record":
+            return witnessRecord(domain.fields, undefined, options);
+        case "tagged": {
+            const [tagValue, variant] = Object.entries(domain.variants)[0] ?? ["unknown", { kind: "record", fields: {} }];
+            return { ...witnessValue(variant, undefined, options), [domain.tag]: tagValue };
+        }
+        case "tokens": {
+            const token = domain.names?.[0] ?? "tok1";
+            return options.tokenWitnesses?.[token] ?? token;
+        }
+        case "lengthCat":
+            return [];
+        case "boundedList":
+            return [];
+    }
+}
+export function inputWitness(valueClass) {
+    switch (valueClass) {
+        case "empty":
+        case "0":
+            return "";
+        case "nonEmpty":
+        case "1":
+        case "many":
+        case "valid":
+            return "modality";
+        case "invalid":
+            return "!";
+        default:
+            return valueClass.includes("|") ? inputWitness(valueClass.split("|").find((part) => part !== "empty") ?? valueClass.split("|")[0]) : valueClass;
+    }
+}
+function witnessLengthCat(value) {
+    if (value === "0")
+        return [];
+    if (value === "1")
+        return ["item1"];
+    if (value === "many")
+        return ["item1", "item2", "item3"];
+    return value;
+}
+function witnessRecord(fields, value, options) {
+    return Object.fromEntries(Object.entries(fields).map(([key, field]) => [key, witnessValue(field, value?.[key], options)]));
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function defaultCompareState(expected, actual) {
+    const keys = new Set([...Object.keys(expected), ...Object.keys(actual)]);
+    for (const key of [...keys].sort()) {
+        if (JSON.stringify(expected[key]) !== JSON.stringify(actual[key])) {
+            return `${key}: expected ${JSON.stringify(expected[key])}, got ${JSON.stringify(actual[key])}`;
+        }
+    }
+    return undefined;
+}
+//# 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":"AA6DA,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,KAAY,EAAE,MAAoB,EAAE,UAAyB,EAAE;IAC/F,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,IAAI,mBAAmB,CAAC;IAC5D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC;QACjC,IAAI,QAAoB,CAAC;QACzB,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACnC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACrH,CAAC;QACD,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,WAAW;YAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,0BAA0B,WAAW,EAAE,EAAE,CAAC;QAClJ,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACrH,CAAC;QACD,IAAI,SAAqB,CAAC;QAC1B,IAAI,CAAC;YACH,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACpC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzH,CAAC;QACD,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnD,IAAI,YAAY;YAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,EAAE,cAAc,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,2BAA2B,YAAY,EAAE,EAAE,CAAC;IAC3J,CAAC;IACD,MAAM,iBAAiB,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACzF,OAAO,iBAAiB,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;AACjO,CAAC;AAED,MAAM,OAAO,mBAAmB;IAGD;IAAgD;IAFrE,KAAK,GAAG,CAAC,CAAC;IAElB,YAA6B,MAA6B,EAAmB,UAAmB;QAAnE,WAAM,GAAN,MAAM,CAAuB;QAAmB,eAAU,GAAV,UAAU,CAAS;QAC9F,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAC9F,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAE,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,KAAgB;QACpB,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;YACxE,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC;CACF;AAED,MAAM,UAAU,eAAe,CAAC,KAAY;IAC1C,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1G,CAAC;AAED,MAAM,OAAO,kBAAkB;IAEV;IACA;IACA;IAHnB,YACmB,KAAkB,EAClB,OAAyB,EACzB,UAAqC,EAAE;QAFvC,UAAK,GAAL,KAAK,CAAa;QAClB,YAAO,GAAP,OAAO,CAAkB;QACzB,YAAO,GAAP,OAAO,CAAgC;IACvD,CAAC;IAEJ,YAAY;QACV,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;IACxB,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,IAAe;QACzB,MAAM,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,CAAC,eAAe;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,CAAC;CACF;AAED,MAAM,OAAO,4BAA4B;IAEpB;IACA;IACA;IACA;IAJnB,YACmB,KAAkB,EAClB,MAAyB,EACzB,OAAqC,EACrC,UAAqC,EAAE;QAHvC,UAAK,GAAL,KAAK,CAAa;QAClB,WAAM,GAAN,MAAM,CAAmB;QACzB,YAAO,GAAP,OAAO,CAA8B;QACrC,YAAO,GAAP,OAAO,CAAgC;IACvD,CAAC;IAEJ,YAAY;QACV,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9D,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,4BAA4B,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,QAAQ,CAAC,KAAK,CAAC;IACxB,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,IAAe;QACzB,MAAM,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,CAAC,eAAe;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,CAAC;CACF;AAED,MAAM,OAAO,6BAA6B;IAMrB;IACA;IANF,MAAM,CAAwB;IACvC,KAAK,GAAG,CAAC,CAAC;IAElB,YACE,KAAY,EACK,KAAkB,EAClB,UAAqC,EAAE;QADvC,UAAK,GAAL,KAAK,CAAa;QAClB,YAAO,GAAP,OAAO,CAAgC;QAExD,IAAI,CAAC,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAE,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,IAAe;QACzB,MAAM,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,KAAK,CAAC,eAAe;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,CAAC;CACF;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAyB,EAAE,OAAqC;IAChG,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;YAChC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,EAAU,EAAE,OAA6D;IACzG,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,UAAiC,EAAE;IACtE,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC;IACpD,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IACtE,OAAO;QACL,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;YACvB,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACxC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAChC,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,UAAU;gBAAE,OAAO,CAAC,KAAK,EAAE,CAAC;;gBACpD,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;YACxB,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACxC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAChC,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;YACtC,IAAI,YAAY,IAAI,OAAO,YAAY,CAAC,aAAa,KAAK,UAAU;gBAAE,YAAY,CAAC,aAAa,EAAE,CAAC;;gBAC9F,gBAAgB,CAAC,GAAG,EAAE,YAAY,IAAI,OAAO,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE;YAC9B,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,EAAE,OAAO,CAA+D,CAAC;YACtG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAChC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;YACtB,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3D,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAa,EAAE,OAAqC;IACzE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,cAAc;YAAE,OAAO,QAAQ,CAAC;IACnD,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,SAAS,SAAS,CAAC,GAAa,EAAE,OAAgB;IAChD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,SAAS,CAAC,GAAa,EAAE,OAAgB;IAChD,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC/G,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,GAAG,GAAG,CAAC,gBAAgB,CAAC,iBAAiB,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAkB,CAAC;IAChI,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,CAAC,gBAAgB,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAkB,CAAC;IAC1F,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,WAAW,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3I,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,QAAQ,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC;QACnF,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,6CAA6C,CAAC,CAAC;YACpE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAChC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;oBACxC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;wBAC1B,EAAE,CAAC;IACL,OAAO,QAAQ,CAAC,CAAC,CAAC,UAAU,SAAS,CAAC,IAAI,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,CAAC,UAAU,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;AAC9F,CAAC;AAED,SAAS,WAAW,CAAC,OAAoB;IACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;IAC1C,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACtC,IAAI,GAAG,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC;IACxC,IAAI,GAAG,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACpE,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC5D,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,OAAoB;IACvC,OAAO,OAAO,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,aAAa,CAAC,OAAoB,EAAE,OAAgB;IAC3D,IAAK,OAA0F,CAAC,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,MAAM,EAAE,CAAC;QAC7J,MAAM,IAAI,KAAK,CAAC,2BAA2B,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,OAAoB;IACnC,IAAI,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,MAAM;QAAE,OAAO,OAA0B,CAAC;IAChF,OAAQ,OAAgD,CAAC,IAAI,IAAI,SAAS,CAAC;AAC7E,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAa,EAAE,OAAoB,EAAE,IAAY,EAAE,IAAe;IAC1F,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,EAAE,KAAK,IAAI,KAAK,CAAC;IAClD,OAAO,CAAC,aAAa,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,aAAa,CAAC,OAAgB;IACrC,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAe,EAAE,KAAkB,EAAE,UAAqC,EAAE;IACnH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,IAAI,CAAC,KAAK,CAAC,OAAO;gBAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;YAC3F,MAAM,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACrD,MAAM;QACR,KAAK,QAAQ;YACX,IAAI,CAAC,KAAK,CAAC,OAAO;gBAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;YAC5F,MAAM,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACvD,MAAM;QACR,KAAK,OAAO;YACV,IAAI,CAAC,KAAK,CAAC,OAAO;gBAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;YAC3F,MAAM,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;YAClJ,MAAM;QACR,KAAK,UAAU;YACb,MAAM,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;YAClE,MAAM;QACR,KAAK,SAAS;YACZ,MAAM,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACnE,MAAM;QACR,KAAK,kBAAkB;YACrB,MAAM,SAAS,CAAC,kBAAkB,EAAE,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YACtE,MAAM;QACR,KAAK,OAAO;YACV,MAAM,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YACjD,MAAM;QACR,KAAK,UAAU;YACb,MAAM;IACV,CAAC;IACD,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC;AAC5B,CAAC;AAED,KAAK,UAAU,SAAS,CAA0B,IAAY,EAAE,EAA0D,EAAE,GAAG,IAAW;IACxI,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,EAAE,CAAC,CAAC;IAClE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAsB,EAAE,KAAa,EAAE,UAA0B,EAAE;IAC9F,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAChE,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,cAAc,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QAC3G,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAChF,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACrG,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC;YACzF,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAW,CAAC,CAAC;YAC7D,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAI,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAY,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QACrH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACjI,OAAO,KAAK,CAAC;IACf,CAAC;IACD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC1D,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAW,CAAC,CAAC;YACvH,OAAO,EAAE,GAAI,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAY,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC9F,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;YAC1C,OAAO,OAAO,CAAC,cAAc,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QAClD,CAAC;QACD,KAAK,WAAW;YACd,OAAO,EAAE,CAAC;QACZ,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,UAAkB;IAC7C,QAAQ,UAAU,EAAE,CAAC;QACnB,KAAK,OAAO,CAAC;QACb,KAAK,GAAG;YACN,OAAO,EAAE,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,GAAG,CAAC;QACT,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,UAAU,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC;QACb;YACE,OAAO,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IACrJ,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAY;IACpC,IAAI,KAAK,KAAK,GAAG;QAAE,OAAO,EAAE,CAAC;IAC7B,IAAI,KAAK,KAAK,GAAG;QAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACzD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,MAAsC,EAAE,KAAwC,EAAE,OAAuB;IAC9H,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7H,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAoB,EAAE,MAAkB;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,GAAG,GAAG,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACjG,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/kernel/artifacts/index.d.ts

@@ -0,0 +1,11 @@
+import type { Model } from "../ir/types.js";
+import type { CheckReport, ConformReport, ExtractionReport, ReplayReport } from "../report/types.js";
+import type { Trace, TraceArtifact } from "../trace/types.js";
+export declare function parseModelArtifact(json: string): Model;
+export declare function traceArtifact(trace: Trace): TraceArtifact;
+export declare function parseTraceArtifact(json: string): TraceArtifact;
+export declare function parseCheckReportArtifact(json: string): CheckReport;
+export declare function parseExtractionReportArtifact(json: string): ExtractionReport;
+export declare function parseReplayReportArtifact(json: string): ReplayReport;
+export declare function parseConformReportArtifact(json: string): ConformReport;
+//# sourceMappingURL=index.d.ts.map

package/dist/kernel/artifacts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/kernel/artifacts/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACrG,OAAO,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE9D,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAStD;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,aAAa,CAEzD;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAY9D;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAclE;AAED,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAe5E;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAWpE;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAStE"}

package/dist/kernel/artifacts/index.js

@@ -0,0 +1,127 @@
+export function parseModelArtifact(json) {
+    const value = JSON.parse(json);
+    if (!isRecord(value))
+        throw new Error("model artifact must be an object");
+    if (value.schemaVersion !== 1)
+        throw new Error(`unsupported model schemaVersion ${String(value.schemaVersion)}`);
+    if (typeof value.id !== "string")
+        throw new Error("model artifact missing id");
+    if (!Array.isArray(value.vars))
+        throw new Error("model artifact missing vars");
+    if (!Array.isArray(value.transitions))
+        throw new Error("model artifact missing transitions");
+    if (!isRecord(value.bounds))
+        throw new Error("model artifact missing bounds");
+    return value;
+}
+export function traceArtifact(trace) {
+    return { schemaVersion: 1, kind: "trace", steps: trace.steps };
+}
+export function parseTraceArtifact(json) {
+    const value = JSON.parse(json);
+    if (!isRecord(value))
+        throw new Error("trace artifact must be an object");
+    if (value.schemaVersion !== 1)
+        throw new Error(`unsupported trace schemaVersion ${String(value.schemaVersion)}`);
+    if (value.kind !== "trace")
+        throw new Error("trace artifact kind must be trace");
+    if (!Array.isArray(value.steps))
+        throw new Error("trace artifact missing steps");
+    for (const [index, step] of value.steps.entries()) {
+        if (!isRecord(step) || typeof step.transitionId !== "string" || !isRecord(step.pre) || !isRecord(step.post)) {
+            throw new Error(`trace step ${index + 1} is malformed`);
+        }
+    }
+    return value;
+}
+export function parseCheckReportArtifact(json) {
+    const value = JSON.parse(json);
+    if (!isRecord(value))
+        throw new Error("check report artifact must be an object");
+    if (value.schemaVersion !== 1)
+        throw new Error(`unsupported check report schemaVersion ${String(value.schemaVersion)}`);
+    if (value.kind !== "check-report")
+        throw new Error("check report artifact kind must be check-report");
+    if (!isRecord(value.trustLedger))
+        throw new Error("check report artifact missing trustLedger");
+    if (!Array.isArray(value.trustLedger.globalTaints))
+        throw new Error("check report trustLedger missing globalTaints");
+    if (!Array.isArray(value.trustLedger.staleReads))
+        throw new Error("check report trustLedger missing staleReads");
+    if (!Array.isArray(value.trustLedger.unhandledRejections))
+        throw new Error("check report trustLedger missing unhandledRejections");
+    if (!Array.isArray(value.trustLedger.unextractableHandlers))
+        throw new Error("check report trustLedger missing unextractableHandlers");
+    if (!Array.isArray(value.verdicts))
+        throw new Error("check report artifact missing verdicts");
+    if (!isRecord(value.stats))
+        throw new Error("check report artifact missing stats");
+    if (!Array.isArray(value.vacuityWarnings))
+        throw new Error("check report artifact missing vacuityWarnings");
+    return value;
+}
+export function parseExtractionReportArtifact(json) {
+    const value = JSON.parse(json);
+    if (!isRecord(value))
+        throw new Error("extraction report artifact must be an object");
+    if (value.schemaVersion !== 1)
+        throw new Error(`unsupported extraction report schemaVersion ${String(value.schemaVersion)}`);
+    if (value.kind !== "extraction-report")
+        throw new Error("extraction report artifact kind must be extraction-report");
+    if (!Array.isArray(value.sourceFiles))
+        throw new Error("extraction report artifact missing sourceFiles");
+    if (!Array.isArray(value.plugins))
+        throw new Error("extraction report artifact missing plugins");
+    if (!Array.isArray(value.handlers))
+        throw new Error("extraction report artifact missing handlers");
+    if (!Array.isArray(value.globalTaints))
+        throw new Error("extraction report artifact missing globalTaints");
+    if (!Array.isArray(value.staleReads))
+        throw new Error("extraction report artifact missing staleReads");
+    if (!Array.isArray(value.unhandledRejections))
+        throw new Error("extraction report artifact missing unhandledRejections");
+    if (!Array.isArray(value.domains))
+        throw new Error("extraction report artifact missing domains");
+    if (!isRecord(value.coverage))
+        throw new Error("extraction report artifact missing coverage");
+    if (!Array.isArray(value.warnings))
+        throw new Error("extraction report artifact missing warnings");
+    return value;
+}
+export function parseReplayReportArtifact(json) {
+    const value = JSON.parse(json);
+    if (!isRecord(value))
+        throw new Error("replay report artifact must be an object");
+    if (value.schemaVersion !== 1)
+        throw new Error(`unsupported replay report schemaVersion ${String(value.schemaVersion)}`);
+    if (value.kind !== "replay-report")
+        throw new Error("replay report artifact kind must be replay-report");
+    if (!isRecord(value.verdict))
+        throw new Error("replay report artifact missing verdict");
+    if (value.verdict.status !== "reproduced" && value.verdict.status !== "not-reproduced" && value.verdict.status !== "inconclusive") {
+        throw new Error("replay report verdict has unsupported status");
+    }
+    if (typeof value.verdict.stepsRun !== "number")
+        throw new Error("replay report verdict missing stepsRun");
+    return value;
+}
+export function parseConformReportArtifact(json) {
+    const value = JSON.parse(json);
+    if (!isRecord(value))
+        throw new Error("conform report artifact must be an object");
+    if (value.schemaVersion !== 1)
+        throw new Error(`unsupported conform report schemaVersion ${String(value.schemaVersion)}`);
+    if (value.kind !== "conform-report")
+        throw new Error("conform report artifact kind must be conform-report");
+    if (!Array.isArray(value.walks))
+        throw new Error("conform report artifact missing walks");
+    if (!isRecord(value.metrics))
+        throw new Error("conform report artifact missing metrics");
+    if (!Array.isArray(value.transitionMetrics))
+        throw new Error("conform report artifact missing transitionMetrics");
+    return value;
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=index.js.map