hcifootprint 0.2.0

package/dist/testing/harness.js

@@ -0,0 +1,416 @@
+/**
+ * testApp — a headless workflow runner for a navigation graph, over the REAL
+ * session (never a parallel simulation). It is "Playwright for your interaction
+ * logic, minus the browser": you write mock handlers (one per action, returning
+ * a state change), then drive the graph two ways — `user.*` (like a human
+ * clicking) and `agent.*` (like the LLM picking tools, through the real Mode B
+ * serving path). Every assertion reads real session output, so a green test
+ * exercises the same fire → updateState → commit code your users run.
+ *
+ * What it catches (the point of the feature): behavioral drift between the
+ * graph and the app. When a mock reports a delta that does NOT cover the
+ * action's declared `effect.writes`, the session's own honesty marker
+ * (effectVerified) flips false — the graph drifted from the handler — and
+ * `report()` surfaces it. Report-by-default; pass `strict: true` to fail the
+ * test the instant drift appears.
+ *
+ * Honest boundary: this tests interaction LOGIC above the binding. It does NOT
+ * verify pixels, the DOM, or that a binding's locator resolves to a real
+ * element — that stays Playwright's job. And a mock is a simulation: if it
+ * diverges from the real handler, the test is green while prod is broken. Use
+ * `testApp({ session })` (bring-your-own wired session) for full fidelity;
+ * effectVerified catches declaration-vs-delta drift even in mock mode.
+ *
+ * Layer note: imports the real Session (via graph.createSession) + the Mode B
+ * port. Kept OUT of the lint path so a pure CI lint stays engine-free.
+ */
+import { skillsAsTools } from '../serve/modes.js';
+const SETTLE_CAP = 60;
+export function testApp(graphOrOptions, maybeOptions) {
+    const byo = !('spec' in graphOrOptions);
+    const opts = byo
+        ? graphOrOptions
+        : maybeOptions ?? {};
+    const graph = byo ? undefined : graphOrOptions;
+    const warnings = [];
+    const warn = (message) => {
+        warnings.push(message);
+        opts.onWarn?.(message);
+    };
+    // Controllable clock — starts at 0 so time is fully deterministic.
+    let clockMs = 0;
+    const clock = {
+        now: () => clockMs,
+        set: (ms) => {
+            clockMs = ms;
+        },
+        advance: (ms) => {
+            clockMs += ms;
+        },
+    };
+    const resolvers = opts.resolvers ?? {};
+    const affordances = byo ? undefined : graph.spec.affordances;
+    const nodes = byo ? undefined : graph.nodes;
+    const toolNodes = byo ? undefined : graph.toolNodes;
+    const session = byo
+        ? opts.session
+        : graph.createSession({
+            ...(opts.node !== undefined ? { node: opts.node } : {}),
+            ...(opts.initialState !== undefined ? { state: opts.initialState } : {}),
+            ...(opts.redactedKeys !== undefined ? { redactedKeys: opts.redactedKeys } : {}),
+            ...(opts.dormantGraceMs !== undefined ? { dormantGraceMs: opts.dormantGraceMs } : {}),
+            now: clock.now,
+            onWarn: warn,
+        });
+    const port = skillsAsTools(session, { source: 'agent' });
+    const graphId = session.graphId;
+    const sanitize = (name) => name.replace(/[^A-Za-z0-9_.-]/g, '_');
+    // --- resolver → handler wrapper -------------------------------------------
+    function affordanceById(id) {
+        if (!affordances)
+            return null;
+        if (affordances[id])
+            return { id, declaresWrites: (affordances[id].effect?.writes?.length ?? 0) > 0 };
+        // bare/leaf: resolve to the single qualified id that ends with it
+        const matches = Object.keys(affordances).filter((qid) => qid === id || qid.endsWith(`.${id}`));
+        if (matches.length === 1) {
+            const qid = matches[0];
+            return { id: qid, declaresWrites: (affordances[qid].effect?.writes?.length ?? 0) > 0 };
+        }
+        return null;
+    }
+    function wrap(affId) {
+        const declaresWrites = (affordances?.[affId]?.effect?.writes?.length ?? 0) > 0;
+        return (payload) => {
+            const resolver = resolvers[affId] ?? resolvers[leafOf(affId)];
+            const out = resolver ? resolver(payload, { state: session.state() }) : undefined;
+            const patch = out?.patch && Object.keys(out.patch).length > 0 ? out.patch : undefined;
+            // A write-declaring action MUST settle its pending — even with no patch,
+            // which honestly yields effectVerified:false (drift), surfaced not hidden.
+            if (declaresWrites) {
+                session.updateState((patch ?? {}));
+            }
+            else if (patch) {
+                // A no-writes action changed state it never declared: report it as an
+                // explicit stimulus (NOT an anonymous delta), so effect-signature
+                // inference can't misattribute it to another action's writes and fake a
+                // step as inferred-done. Surface the graph gap instead of hiding it.
+                warn(`hcifootprint/testing: action '${affId}' declares no writes but its resolver returned a state ` +
+                    `patch (${Object.keys(patch).join(', ')}) — recorded as an external stimulus. Add writes: [...] ` +
+                    `to this action in the graph if it really changes state.`);
+                session.updateState(patch, { stimulus: 'unknown', principal: 'system' });
+            }
+            if (out?.goTo)
+                session.sync(out.goTo, { stimulus: 'navigation' });
+            return out?.produced;
+        };
+    }
+    function leafOf(id) {
+        return id.includes('.') ? id.slice(id.lastIndexOf('.') + 1) : id;
+    }
+    // --- auto-mount (page + area descendants; modals/tabs need open()) ---------
+    let mountedPage = null;
+    const autoHandles = [];
+    const openHandles = new Map();
+    function autoMountable(path) {
+        if (!nodes)
+            return false;
+        for (let cursor = nodes[path]; cursor; cursor = cursor.parent ? nodes[cursor.parent] : undefined) {
+            if (cursor.kind === 'modal' || cursor.kind === 'tab')
+                return false;
+            if (!cursor.parent)
+                break;
+        }
+        return true;
+    }
+    function handlersForNode(nodePath) {
+        const handlers = {};
+        if (!affordances || !toolNodes)
+            return handlers;
+        for (const aff of Object.values(affordances)) {
+            if (!(toolNodes[aff.id] ?? []).includes(nodePath))
+                continue;
+            const leaf = aff.id.startsWith(`${nodePath}.`) ? aff.id.slice(nodePath.length + 1) : aff.id;
+            handlers[leaf] = wrap(aff.id);
+        }
+        return handlers;
+    }
+    function remountForCurrentPage() {
+        if (byo || !nodes)
+            return;
+        for (const handle of autoHandles.splice(0))
+            handle.unregister();
+        const page = session.node;
+        for (const node of Object.values(nodes)) {
+            if (node.page !== page)
+                continue;
+            if (node.kind !== 'page' && node.kind !== 'area')
+                continue;
+            if (!autoMountable(node.path))
+                continue;
+            const handlers = handlersForNode(node.path);
+            if (Object.keys(handlers).length > 0) {
+                autoHandles.push(session.registerToolGroup(node.path, { handlers }));
+            }
+        }
+        mountedPage = page;
+    }
+    /**
+     * Keep the mount current with the cursor BEFORE a drive fires — a prior
+     * back()/stimulus/nav may have moved the page while the old page's tools are
+     * still mounted. settle() re-syncs AFTER; this covers the before.
+     */
+    function syncMount() {
+        if (!byo && mountedPage !== session.node)
+            remountForCurrentPage();
+    }
+    // --- settle: drain microtasks + keep mounts synced with the cursor ---------
+    const sig = () => `${session.stateVersion}:${session.structureVersion}:${session.pending().length}:${session.node}`;
+    async function drainMicrotasks() {
+        for (let k = 0; k < 8; k++)
+            await Promise.resolve();
+    }
+    async function settle() {
+        for (let i = 0; i < SETTLE_CAP; i++) {
+            if (!byo && mountedPage !== session.node)
+                remountForCurrentPage();
+            const before = sig();
+            await drainMicrotasks();
+            const after = sig();
+            const mounted = byo || mountedPage === session.node;
+            if (before === after && mounted && session.pending().length === 0) {
+                if (opts.strict)
+                    assertNoDrift();
+                return;
+            }
+        }
+        throw new Error(`hcifootprint/testing: the app did not settle after ${SETTLE_CAP} rounds — an async mock never ` +
+            `resolved, or a resolver keeps re-firing. Resolvers must be synchronous; observe pending windows ` +
+            `with user.fireRaw instead.`);
+    }
+    function assertNoDrift() {
+        const drift = collectDrift();
+        if (drift.length > 0) {
+            const first = drift[0];
+            throw new Error(`hcifootprint/testing: declared-effect drift on “${first.affordanceId}” — it claims to write ` +
+                `${first.declaredWrites.map((k) => `“${k}”`).join(', ')} but the mock's delta did not cover that. ` +
+                `The graph drifted from the handler. (strict mode)`);
+        }
+    }
+    // --- drift report ----------------------------------------------------------
+    function collectDrift() {
+        const out = [];
+        for (const t of session.transitions()) {
+            if (t.effectVerified === false && t.cause.kind === 'fired' && t.cause.affordanceId) {
+                out.push({
+                    transitionId: t.id,
+                    affordanceId: t.cause.affordanceId,
+                    declaredWrites: [...(affordances?.[t.cause.affordanceId]?.effect?.writes ?? [])],
+                });
+            }
+        }
+        return out;
+    }
+    function report() {
+        const effectDrift = collectDrift();
+        const unevaluatedGuards = [];
+        for (const t of session.transitions()) {
+            if (t.guardUnevaluated && t.guardUnevaluated.length > 0 && t.cause.affordanceId) {
+                unevaluatedGuards.push({
+                    transitionId: t.id,
+                    affordanceId: t.cause.affordanceId,
+                    keys: [...t.guardUnevaluated],
+                });
+            }
+        }
+        return { ok: effectDrift.length === 0, effectDrift, unevaluatedGuards, gaps: session.gaps() };
+    }
+    // --- helpers for assertions -----------------------------------------------
+    function resolveId(id) {
+        const resolved = affordanceById(id);
+        return resolved ? resolved.id : id;
+    }
+    function deepEqual(a, b) {
+        if (a === b)
+            return true;
+        if (typeof a !== typeof b || a === null || b === null || typeof a !== 'object')
+            return false;
+        if (Array.isArray(a) || Array.isArray(b)) {
+            if (!Array.isArray(a) || !Array.isArray(b) || a.length !== b.length)
+                return false;
+            return a.every((item, i) => deepEqual(item, b[i]));
+        }
+        const ak = Object.keys(a);
+        const bk = Object.keys(b);
+        if (ak.length !== bk.length)
+            return false;
+        return ak.every((k) => deepEqual(a[k], b[k]));
+    }
+    // --- initial mount ---------------------------------------------------------
+    if (!byo)
+        remountForCurrentPage();
+    // --- assembled surface -----------------------------------------------------
+    const app = {
+        session,
+        get node() {
+            return session.node;
+        },
+        get version() {
+            return session.version;
+        },
+        state: () => session.state(),
+        warnings: () => [...warnings],
+        clock,
+        advanceTime: (ms) => clock.advance(ms),
+        user: {
+            async fire(affordanceId, fireOpts) {
+                syncMount();
+                const result = session.fire(resolveId(affordanceId), {
+                    source: 'user',
+                    ...(fireOpts?.payload !== undefined ? { payload: fireOpts.payload } : {}),
+                    ...(fireOpts?.instance !== undefined ? { instance: fireOpts.instance } : {}),
+                });
+                await settle();
+                if (!result.ok) {
+                    throw new Error(`hcifootprint/testing: user.fire('${affordanceId}') was refused — ${result.reason}. ` +
+                        `Use user.tryFire to inspect a rejection without throwing.`);
+                }
+                return result.transition;
+            },
+            async tryFire(affordanceId, fireOpts) {
+                syncMount();
+                const result = session.fire(resolveId(affordanceId), {
+                    source: 'user',
+                    ...(fireOpts?.payload !== undefined ? { payload: fireOpts.payload } : {}),
+                    ...(fireOpts?.instance !== undefined ? { instance: fireOpts.instance } : {}),
+                });
+                await settle();
+                return result;
+            },
+            fireRaw(affordanceId, fireOpts) {
+                syncMount();
+                return session.fire(resolveId(affordanceId), {
+                    source: 'user',
+                    ...(fireOpts?.payload !== undefined ? { payload: fireOpts.payload } : {}),
+                    ...(fireOpts?.instance !== undefined ? { instance: fireOpts.instance } : {}),
+                });
+            },
+        },
+        agent: {
+            tools: () => port.tools(),
+            async whatsHere() {
+                syncMount();
+                const result = port.call(sanitize(`${graphId}.whats_here`));
+                await settle();
+                return result;
+            },
+            async skill(skillId, args) {
+                syncMount();
+                const result = port.call(sanitize(`${graphId}.skill.${skillId}`), args);
+                await settle();
+                return foldProduced(result);
+            },
+            async do(action, args) {
+                syncMount();
+                const result = port.call(sanitize(`${graphId}.do_action`), { action, ...(args ?? {}) });
+                await settle();
+                return foldProduced(result);
+            },
+        },
+        stimulus(patch, stimulusOpts) {
+            session.updateState(patch, { stimulus: stimulusOpts?.stimulus ?? 'push' });
+        },
+        back(page) {
+            session.sync(page, { stimulus: 'navigation', principal: 'user' });
+        },
+        open(path, openOpts) {
+            // Re-opening the same node replaces the prior mount — release it first so
+            // its registration + presence handle can never be orphaned.
+            openHandles.get(path)?.unregister();
+            const handlers = handlersForNode(path);
+            const handle = session.registerToolGroup(path, {
+                handlers,
+                visible: true,
+                ...(openOpts?.instance !== undefined ? { instance: openOpts.instance } : {}),
+            });
+            session.show(path);
+            openHandles.set(path, handle);
+            return handle;
+        },
+        close(path) {
+            const handle = openHandles.get(path);
+            if (handle) {
+                handle.unregister();
+                openHandles.delete(path);
+            }
+            session.setVisible(path, false);
+        },
+        settled: settle,
+        report,
+        expectOn(page) {
+            if (session.node !== page) {
+                throw new Error(`hcifootprint/testing: expected to be on “${page}”, but on “${session.node}”.`);
+            }
+        },
+        expectState(partial) {
+            const state = session.state();
+            for (const [key, value] of Object.entries(partial)) {
+                if (!deepEqual(state[key], value)) {
+                    throw new Error(`hcifootprint/testing: expected state “${key}” to be ${JSON.stringify(value)}, ` +
+                        `but it is ${JSON.stringify(state[key])}.`);
+                }
+            }
+        },
+        expectAvailable(affordanceId) {
+            const id = resolveId(affordanceId);
+            const ids = session.available().edges.map((e) => e.affordanceId);
+            if (!ids.includes(id)) {
+                throw new Error(`hcifootprint/testing: expected “${affordanceId}” to be available on “${session.node}”, ` +
+                    `but available: ${ids.length > 0 ? ids.join(', ') : '(none)'}.`);
+            }
+        },
+        expectRejected(result, reason) {
+            if (result.ok) {
+                throw new Error(`hcifootprint/testing: expected a rejection, but the fire succeeded.`);
+            }
+            if (reason !== undefined && result.reason !== reason) {
+                throw new Error(`hcifootprint/testing: expected rejection “${String(reason)}”, but got “${result.reason}”.`);
+            }
+        },
+        expectSkillCompleted(skillId) {
+            const done = session.frames().some((f) => f.skillId === skillId && f.status === 'completed');
+            if (!done) {
+                const seen = session
+                    .frames()
+                    .filter((f) => f.skillId === skillId)
+                    .map((f) => f.status);
+                throw new Error(`hcifootprint/testing: expected skill “${skillId}” to have completed, ` +
+                    `but its frames were: ${seen.length > 0 ? seen.join(', ') : '(never opened)'}.`);
+            }
+        },
+        expectClean(cleanOpts) {
+            const r = report();
+            if (r.effectDrift.length > 0) {
+                const f = r.effectDrift[0];
+                throw new Error(`hcifootprint/testing: declared-effect drift on “${f.affordanceId}” (declares ` +
+                    `${f.declaredWrites.map((k) => `“${k}”`).join(', ')}, but the delta did not cover it) — ` +
+                    `${r.effectDrift.length} total. The graph drifted from the handler.`);
+            }
+            if (cleanOpts?.includeGaps && r.gaps.length > 0) {
+                throw new Error(`hcifootprint/testing: ${r.gaps.length} gap(s) recorded (refused fires / reported unmet demand).`);
+            }
+        },
+    };
+    /** Fold the handler's produced data into an agent ServeResult (mirrors the MCP server). */
+    function foldProduced(result) {
+        const transitionId = result['transitionId'];
+        if (typeof transitionId === 'string') {
+            const produced = session.producedFor(transitionId);
+            if (produced !== undefined)
+                return { ...result, data: produced };
+        }
+        return result;
+    }
+    return app;
+}
+//# sourceMappingURL=harness.js.map

package/dist/testing/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../src/testing/harness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AA2JlD,MAAM,UAAU,GAAG,EAAE,CAAC;AActB,MAAM,UAAU,OAAO,CACrB,cAA2F,EAC3F,YAAoC;IAEpC,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,IAAI,cAAc,CAAC,CAAC;IACxC,MAAM,IAAI,GAA0B,GAAG;QACrC,CAAC,CAAE,cAAwC;QAC3C,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC;IACvB,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,cAAkC,CAAC;IAEpE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,CAAC,OAAe,EAAQ,EAAE;QACrC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,IAAI,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC,CAAC;IAEF,mEAAmE;IACnE,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,KAAK,GAAc;QACvB,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO;QAClB,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE;YACV,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;QACD,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;YACd,OAAO,IAAI,EAAE,CAAC;QAChB,CAAC;KACF,CAAC;IAEF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IACvC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAM,CAAC,IAAI,CAAC,WAAW,CAAC;IAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAM,CAAC,KAAK,CAAC;IAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAM,CAAC,SAAS,CAAC;IAErD,MAAM,OAAO,GAAuB,GAAG;QACrC,CAAC,CAAC,IAAI,CAAC,OAAQ;QACf,CAAC,CAAC,KAAM,CAAC,aAAa,CAAC;YACnB,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,GAAG,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,MAAM,EAAE,IAAI;SACuB,CAAC,CAAC;IAE3C,MAAM,IAAI,GAAmB,aAAa,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;IAEjF,6EAA6E;IAE7E,SAAS,cAAc,CAAC,EAAU;QAChC,IAAI,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QAC9B,IAAI,WAAW,CAAC,EAAE,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACtG,kEAAkE;QAClE,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACvB,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACzF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,IAAI,CAAC,KAAa;QACzB,MAAM,cAAc,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/E,OAAO,CAAC,OAAiB,EAAE,EAAE;YAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9D,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1F,MAAM,KAAK,GAAG,GAAG,EAAE,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACtF,yEAAyE;YACzE,2EAA2E;YAC3E,IAAI,cAAc,EAAE,CAAC;gBACnB,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,IAAI,EAAE,CAA4B,CAAC,CAAC;YAChE,CAAC;iBAAM,IAAI,KAAK,EAAE,CAAC;gBACjB,sEAAsE;gBACtE,kEAAkE;gBAClE,wEAAwE;gBACxE,qEAAqE;gBACrE,IAAI,CACF,iCAAiC,KAAK,yDAAyD;oBAC7F,UAAU,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,0DAA0D;oBACjG,yDAAyD,CAC5D,CAAC;gBACF,OAAO,CAAC,WAAW,CAAC,KAAgC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;YACtG,CAAC;YACD,IAAI,GAAG,EAAE,IAAI;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;YAClE,OAAO,GAAG,EAAE,QAAQ,CAAC;QACvB,CAAC,CAAC;IACJ,CAAC;IAED,SAAS,MAAM,CAAC,EAAU;QACxB,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,CAAC;IAED,8EAA8E;IAE9E,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,MAAM,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAC;IAEvD,SAAS,aAAa,CAAC,IAAY;QACjC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,KAAK,IAAI,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAU,EAAE,CAAC;YAClG,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,KAAK,CAAC;YACnE,IAAI,CAAC,MAAM,CAAC,MAAM;gBAAE,MAAM;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,eAAe,CAAC,QAAgB;QACvC,MAAM,QAAQ,GAAmD,EAAE,CAAC;QACpE,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS;YAAE,OAAO,QAAQ,CAAC;QAChD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAC5D,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5F,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,SAAS,qBAAqB;QAC5B,IAAI,GAAG,IAAI,CAAC,KAAK;YAAE,OAAO;QAC1B,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,UAAU,EAAE,CAAC;QAChE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,SAAS;YACjC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS;YAC3D,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAa,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;YAChF,CAAC;QACH,CAAC;QACD,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IAED;;;;OAIG;IACH,SAAS,SAAS;QAChB,IAAI,CAAC,GAAG,IAAI,WAAW,KAAK,OAAO,CAAC,IAAI;YAAE,qBAAqB,EAAE,CAAC;IACpE,CAAC;IAED,8EAA8E;IAE9E,MAAM,GAAG,GAAG,GAAW,EAAE,CACvB,GAAG,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;IAEpG,KAAK,UAAU,eAAe;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;IACtD,CAAC;IAED,KAAK,UAAU,MAAM;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,GAAG,IAAI,WAAW,KAAK,OAAO,CAAC,IAAI;gBAAE,qBAAqB,EAAE,CAAC;YAClE,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC;YACrB,MAAM,eAAe,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,GAAG,IAAI,WAAW,KAAK,OAAO,CAAC,IAAI,CAAC;YACpD,IAAI,MAAM,KAAK,KAAK,IAAI,OAAO,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClE,IAAI,IAAI,CAAC,MAAM;oBAAE,aAAa,EAAE,CAAC;gBACjC,OAAO;YACT,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CACb,sDAAsD,UAAU,gCAAgC;YAC9F,kGAAkG;YAClG,4BAA4B,CAC/B,CAAC;IACJ,CAAC;IAED,SAAS,aAAa;QACpB,MAAM,KAAK,GAAG,YAAY,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,mDAAmD,KAAK,CAAC,YAAY,yBAAyB;gBAC5F,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C;gBACnG,mDAAmD,CACtD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8EAA8E;IAE9E,SAAS,YAAY;QACnB,MAAM,GAAG,GAA+B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,CAAC,cAAc,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;gBACnF,GAAG,CAAC,IAAI,CAAC;oBACP,YAAY,EAAE,CAAC,CAAC,EAAE;oBAClB,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY;oBAClC,cAAc,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;iBACjF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,SAAS,MAAM;QACb,MAAM,WAAW,GAAG,YAAY,EAAE,CAAC;QACnC,MAAM,iBAAiB,GAAqC,EAAE,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;gBAChF,iBAAiB,CAAC,IAAI,CAAC;oBACrB,YAAY,EAAE,CAAC,CAAC,EAAE;oBAClB,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY;oBAClC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,WAAW,EAAE,iBAAiB,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;IAChG,CAAC;IAED,6EAA6E;IAE7E,SAAS,SAAS,CAAC,EAAU;QAC3B,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;QACpC,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrC,CAAC;IAED,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;QACvC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC7F,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAClF,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAW,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAW,CAAC,CAAC;QACpC,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAE,CAA6B,CAAC,CAAC,CAAC,EAAG,CAA6B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1G,CAAC;IAED,8EAA8E;IAE9E,IAAI,CAAC,GAAG;QAAE,qBAAqB,EAAE,CAAC;IAElC,8EAA8E;IAE9E,MAAM,GAAG,GAAmB;QAC1B,OAAO;QACP,IAAI,IAAI;YACN,OAAO,OAAO,CAAC,IAAI,CAAC;QACtB,CAAC;QACD,IAAI,OAAO;YACT,OAAO,OAAO,CAAC,OAAO,CAAC;QACzB,CAAC;QACD,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAW;QACrC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC;QAC7B,KAAK;QACL,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAEtC,IAAI,EAAE;YACJ,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ;gBAC/B,SAAS,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE;oBACnD,MAAM,EAAE,MAAM;oBACd,GAAG,CAAC,QAAQ,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzE,GAAG,CAAC,QAAQ,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC7E,CAAC,CAAC;gBACH,MAAM,MAAM,EAAE,CAAC;gBACf,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACf,MAAM,IAAI,KAAK,CACb,oCAAoC,YAAY,oBAAoB,MAAM,CAAC,MAAM,IAAI;wBACnF,2DAA2D,CAC9D,CAAC;gBACJ,CAAC;gBACD,OAAO,MAAM,CAAC,UAAU,CAAC;YAC3B,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ;gBAClC,SAAS,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE;oBACnD,MAAM,EAAE,MAAM;oBACd,GAAG,CAAC,QAAQ,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzE,GAAG,CAAC,QAAQ,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC7E,CAAC,CAAC;gBACH,MAAM,MAAM,EAAE,CAAC;gBACf,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,OAAO,CAAC,YAAY,EAAE,QAAQ;gBAC5B,SAAS,EAAE,CAAC;gBACZ,OAAO,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE;oBAC3C,MAAM,EAAE,MAAM;oBACd,GAAG,CAAC,QAAQ,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzE,GAAG,CAAC,QAAQ,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC7E,CAAC,CAAC;YACL,CAAC;SACF;QAED,KAAK,EAAE;YACL,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE;YACzB,KAAK,CAAC,SAAS;gBACb,SAAS,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,OAAO,aAAa,CAAC,CAAC,CAAC;gBAC5D,MAAM,MAAM,EAAE,CAAC;gBACf,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI;gBACvB,SAAS,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,OAAO,UAAU,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;gBACxE,MAAM,MAAM,EAAE,CAAC;gBACf,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;YAC9B,CAAC;YACD,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI;gBACnB,SAAS,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,OAAO,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACxF,MAAM,MAAM,EAAE,CAAC;gBACf,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;YAC9B,CAAC;SACF;QAED,QAAQ,CAAC,KAAK,EAAE,YAAY;YAC1B,OAAO,CAAC,WAAW,CAAC,KAAgC,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,IAAI,MAAM,EAAE,CAAC,CAAC;QACxG,CAAC;QACD,IAAI,CAAC,IAAI;YACP,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACpE,CAAC;QAED,IAAI,CAAC,IAAI,EAAE,QAAQ;YACjB,0EAA0E;YAC1E,4DAA4D;YAC5D,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAa,EAAE;gBACtD,QAAQ;gBACR,OAAO,EAAE,IAAI;gBACb,GAAG,CAAC,QAAQ,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7E,CAAC,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC;YAC5B,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC9B,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,CAAC,IAAI;YACR,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,UAAU,EAAE,CAAC;gBACpB,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;YACD,OAAO,CAAC,UAAU,CAAC,IAAa,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,EAAE,MAAM;QACf,MAAM;QAEN,QAAQ,CAAC,IAAI;YACX,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,4CAA4C,IAAI,cAAc,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;QACD,WAAW,CAAC,OAAO;YACjB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;oBAClC,MAAM,IAAI,KAAK,CACb,yCAAyC,GAAG,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI;wBAC9E,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAC7C,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,eAAe,CAAC,YAAY;YAC1B,MAAM,EAAE,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;YACnC,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YACjE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CACb,mCAAmC,YAAY,yBAAyB,OAAO,CAAC,IAAI,KAAK;oBACvF,kBAAkB,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAClE,CAAC;YACJ,CAAC;QACH,CAAC;QACD,cAAc,CAAC,MAAM,EAAE,MAAM;YAC3B,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;YACzF,CAAC;YACD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACrD,MAAM,IAAI,KAAK,CACb,6CAA6C,MAAM,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,MAAM,IAAI,CAC5F,CAAC;YACJ,CAAC;QACH,CAAC;QACD,oBAAoB,CAAC,OAAO;YAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;YAC7F,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,GAAG,OAAO;qBACjB,MAAM,EAAE;qBACR,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;qBACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,yCAAyC,OAAO,uBAAuB;oBACrE,wBAAwB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAClF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,WAAW,CAAC,SAAS;YACnB,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;YACnB,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,mDAAmD,CAAC,CAAC,YAAY,cAAc;oBAC7E,GAAG,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sCAAsC;oBACzF,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,6CAA6C,CACvE,CAAC;YACJ,CAAC;YACD,IAAI,SAAS,EAAE,WAAW,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChD,MAAM,IAAI,KAAK,CACb,yBAAyB,CAAC,CAAC,IAAI,CAAC,MAAM,2DAA2D,CAClG,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,2FAA2F;IAC3F,SAAS,YAAY,CAAC,MAAmB;QACvC,MAAM,YAAY,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;QAC5C,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;YACnD,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnE,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/testing/index.d.ts

@@ -0,0 +1,35 @@
+/**
+ * hcifootprint/testing — a headless workflow tester for your navigation graph.
+ *
+ * The graph is a second artifact you maintain alongside the real app, so it
+ * drifts as the app changes. This subpath catches that drift before production,
+ * in two layers:
+ *
+ *   lintGraph(graph)   — STATIC. No app, no run, no test code. The cheap CI
+ *                        gate: flags stale logic provable from the graph alone
+ *                        (a control gated on state nothing produces, a guard
+ *                        that can never be true, a skill that can never finish,
+ *                        a page nothing can reach).
+ *
+ *   testApp(graph)     — DYNAMIC. "Playwright for your interaction logic, minus
+ *                        the browser." Write mock handlers, drive the REAL
+ *                        session as a user or as the agent, and let the honesty
+ *                        markers (effectVerified) surface behavioral drift — a
+ *                        handler no longer doing what the graph declares.
+ *
+ * Zero new dependencies; tree-shakeable; imports the real Session (never a
+ * parallel simulation) and never the MCP SDK. Honest boundary: this tests
+ * interaction LOGIC above the binding — not pixels, not the DOM. It complements
+ * Playwright; it does not replace it.
+ *
+ * ```ts
+ * import { testApp, lintGraph } from 'hcifootprint/testing';
+ * ```
+ */
+export { lintGraph, formatFindings, expectNoStaleLogic } from './model/lint.js';
+export type { LintFinding, LintOptions, LintCode, LintSeverity } from './model/lint.js';
+export { checkGraph } from './model/check.js';
+export type { GraphHealth, SkillHealth, DriftType } from './model/check.js';
+export { testApp } from './harness.js';
+export type { TestApp, TestAppOptions, TestClock, DriftReport, Resolver, ResolverContext, ResolverOutcome, } from './harness.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAChF,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACxF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC5E,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,YAAY,EACV,OAAO,EACP,cAAc,EACd,SAAS,EACT,WAAW,EACX,QAAQ,EACR,eAAe,EACf,eAAe,GAChB,MAAM,cAAc,CAAC"}

package/dist/testing/index.js

@@ -0,0 +1,32 @@
+/**
+ * hcifootprint/testing — a headless workflow tester for your navigation graph.
+ *
+ * The graph is a second artifact you maintain alongside the real app, so it
+ * drifts as the app changes. This subpath catches that drift before production,
+ * in two layers:
+ *
+ *   lintGraph(graph)   — STATIC. No app, no run, no test code. The cheap CI
+ *                        gate: flags stale logic provable from the graph alone
+ *                        (a control gated on state nothing produces, a guard
+ *                        that can never be true, a skill that can never finish,
+ *                        a page nothing can reach).
+ *
+ *   testApp(graph)     — DYNAMIC. "Playwright for your interaction logic, minus
+ *                        the browser." Write mock handlers, drive the REAL
+ *                        session as a user or as the agent, and let the honesty
+ *                        markers (effectVerified) surface behavioral drift — a
+ *                        handler no longer doing what the graph declares.
+ *
+ * Zero new dependencies; tree-shakeable; imports the real Session (never a
+ * parallel simulation) and never the MCP SDK. Honest boundary: this tests
+ * interaction LOGIC above the binding — not pixels, not the DOM. It complements
+ * Playwright; it does not replace it.
+ *
+ * ```ts
+ * import { testApp, lintGraph } from 'hcifootprint/testing';
+ * ```
+ */
+export { lintGraph, formatFindings, expectNoStaleLogic } from './model/lint.js';
+export { checkGraph } from './model/check.js';
+export { testApp } from './harness.js';
+//# sourceMappingURL=index.js.map

package/dist/testing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}

package/dist/testing/lint.d.ts

@@ -0,0 +1,20 @@
+/**
+ * hcifootprint/testing/lint — the STATIC linter, in isolation.
+ *
+ * Import from here (not hcifootprint/testing) for a guaranteed engine-free CI
+ * lint: this entry pulls in ONLY the pure model (compiled-graph types + the
+ * guard helpers), never the Session/footprint engine. So a plain `node` or
+ * `tsx` lint script — no bundler, no tree-shaking — still loads nothing heavy.
+ *
+ * ```ts
+ * import { lintGraph, expectNoStaleLogic } from 'hcifootprint/testing/lint';
+ * ```
+ *
+ * (The full hcifootprint/testing barrel re-exports these too, alongside the
+ * driver — reach for it when you also want testApp.)
+ */
+export { lintGraph, formatFindings, expectNoStaleLogic } from './model/lint.js';
+export type { LintFinding, LintOptions, LintCode, LintSeverity } from './model/lint.js';
+export { checkGraph } from './model/check.js';
+export type { GraphHealth, SkillHealth, DriftType } from './model/check.js';
+//# sourceMappingURL=lint.d.ts.map

package/dist/testing/lint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.d.ts","sourceRoot":"","sources":["../../src/testing/lint.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAChF,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACxF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/testing/lint.js

@@ -0,0 +1,18 @@
+/**
+ * hcifootprint/testing/lint — the STATIC linter, in isolation.
+ *
+ * Import from here (not hcifootprint/testing) for a guaranteed engine-free CI
+ * lint: this entry pulls in ONLY the pure model (compiled-graph types + the
+ * guard helpers), never the Session/footprint engine. So a plain `node` or
+ * `tsx` lint script — no bundler, no tree-shaking — still loads nothing heavy.
+ *
+ * ```ts
+ * import { lintGraph, expectNoStaleLogic } from 'hcifootprint/testing/lint';
+ * ```
+ *
+ * (The full hcifootprint/testing barrel re-exports these too, alongside the
+ * driver — reach for it when you also want testApp.)
+ */
+export { lintGraph, formatFindings, expectNoStaleLogic } from './model/lint.js';
+export { checkGraph } from './model/check.js';
+//# sourceMappingURL=lint.js.map

package/dist/testing/lint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.js","sourceRoot":"","sources":["../../src/testing/lint.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/testing/model/check.d.ts

@@ -0,0 +1,30 @@
+import type { LintFinding, LintOptions } from './lint.js';
+import type { NavigationGraph } from '../../tree/types.js';
+/** The human-recognisable drift buckets a finding falls into. */
+export type DriftType = 'control' | 'page' | 'flow' | 'note';
+export interface SkillHealth {
+    id: string;
+    /** No error-severity finding blocks this skill from completing. */
+    feasible: boolean;
+    /** State keys that block it (from the flow findings), when not feasible. */
+    blockedOn: string[];
+}
+export interface GraphHealth {
+    /** True when there are no error-severity findings — the release-readiness signal. */
+    ok: boolean;
+    errors: number;
+    warnings: number;
+    /** The full lint output (errors, warnings, and advisory notes). */
+    findings: LintFinding[];
+    /** Findings grouped by drift type — control (buttons/inputs), page, flow, note. */
+    byType: Record<DriftType, LintFinding[]>;
+    /** Per-skill feasibility rollup. */
+    skills: SkillHealth[];
+    /** Pages nothing can navigate to. */
+    unreachablePages: string[];
+    /** A ready-to-print, plain-language report. Empty-ish (a ✓ line) when healthy. */
+    summary: string;
+}
+/** One-call health check: lint + group by drift type + per-skill rollup + a printable summary. */
+export declare function checkGraph(graph: NavigationGraph, opts?: LintOptions): GraphHealth;
+//# sourceMappingURL=check.d.ts.map

package/dist/testing/model/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../../src/testing/model/check.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAE3D,iEAAiE;AACjE,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAE7D,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,mEAAmE;IACnE,QAAQ,EAAE,OAAO,CAAC;IAClB,4EAA4E;IAC5E,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,qFAAqF;IACrF,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,mEAAmE;IACnE,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,mFAAmF;IACnF,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC;IACzC,oCAAoC;IACpC,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,qCAAqC;IACrC,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,kFAAkF;IAClF,OAAO,EAAE,MAAM,CAAC;CACjB;AAoBD,kGAAkG;AAClG,wBAAgB,UAAU,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,WAAW,GAAG,WAAW,CAiClF"}