@miller-tech/uap 1.170.1 → 1.172.0

package/dist/delivery/interaction/mine.js

@@ -0,0 +1,218 @@
+/**
+ * Manifest mining — turn a requirements document into probes.
+ *
+ * Two halves, deliberately:
+ *
+ *  - a DETERMINISTIC baseline that needs no model and always produces something
+ *    real (it loads the artifact, drives its start interaction, and asserts the
+ *    loop is alive and error-free). Tonight's fatal defect would have been
+ *    caught by the baseline alone.
+ *  - a MODEL pass that reads the requirements and proposes artifact-specific
+ *    probes. Its output is validated and any probe naming an observable the
+ *    artifact does not expose is dropped rather than shipped, because a probe
+ *    that cannot observe anything reports failures the agent then "fixes" in
+ *    working code.
+ *
+ * The model is an accelerator, never a dependency: with no model configured the
+ * gate still runs, still gates, and still says plainly which requirements it
+ * could not cover.
+ */
+import { hashSpec, validateManifest } from './manifest.js';
+/** Split a requirements document into candidate requirement lines. */
+export function extractRequirements(specText) {
+    const lines = specText
+        .split('\n')
+        .map((l) => l.trim())
+        // Bullets and numbered items are where requirements actually live; prose
+        // paragraphs are usually framing.
+        .filter((l) => /^[-*•]\s+|^\d+[.)]\s+/.test(l))
+        .map((l) => l.replace(/^[-*•]\s+|^\d+[.)]\s+/, '').trim())
+        .filter((l) => l.length >= 12 && l.length <= 300);
+    const seen = new Set();
+    const out = [];
+    for (const text of lines) {
+        const key = text.toLowerCase();
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push({ id: `R${out.length + 1}`, text, source: 'requirements' });
+    }
+    return out;
+}
+/**
+ * Probes that apply to any web artifact, with no knowledge of what it does.
+ * This is the floor: it cannot prove features work, but it does prove the thing
+ * loads, responds to a click, and is still running afterwards — which is
+ * precisely the class the visual gate reports as a pass.
+ */
+export function baselineWebProbes(requirementIds = []) {
+    return [
+        {
+            id: 'baseline-loads',
+            requirementIds,
+            mode: 'core',
+            description: 'the artifact loads and reports no runtime errors',
+            steps: [{ do: 'wait', ms: 1500 }],
+            asserts: [
+                { expect: 'truthy', expr: 'document.body !== null', label: 'the document rendered' },
+                { expect: 'noErrors' },
+            ],
+        },
+        {
+            id: 'baseline-survives-interaction',
+            requirementIds,
+            mode: 'core',
+            description: 'the artifact survives a click and keyboard input without dying',
+            steps: [
+                { do: 'click', x: 640, y: 400 },
+                { do: 'wait', ms: 600 },
+                { do: 'key', key: 'Escape' },
+                { do: 'wait', ms: 400 },
+                { do: 'click', x: 640, y: 400 },
+                { do: 'wait', ms: 2000 },
+            ],
+            // The watchdog supplies the "is the loop still ticking" invariant; this
+            // probe's job is to make sure something actually drove the artifact first.
+            asserts: [{ expect: 'noErrors' }],
+        },
+    ];
+}
+const MINE_PROMPT = `You are deriving an INTERACTION TEST MANIFEST for a built artifact.
+
+You will be given (1) the requirements the artifact was built from and (2) a
+listing of its source. Produce probes that drive the artifact with real input
+and assert against its OWN runtime state.
+
+Return ONLY a JSON object of this shape, with no prose and no code fence:
+
+{
+  "watch": ["<expression yielding a number>", ...],
+  "probes": [
+    {
+      "id": "kebab-case-id",
+      "requirementIds": ["R1"],
+      "mode": "core" | "soak" | "accelerated",
+      "description": "what this proves, in one line",
+      "steps": [
+        {"do":"click","x":640,"y":400}, {"do":"wait","ms":800},
+        {"do":"move","x":640,"y":560}, {"do":"down"}, {"do":"up"},
+        {"do":"key","key":"Escape"},
+        {"do":"repeat","times":20,"steps":[...]},
+        {"do":"inject","expr":"<mutates state — ACCELERATED PROBES ONLY>"}
+      ],
+      "asserts": [
+        {"expect":"equals","expr":"<expr>","value":"<v>"},
+        {"expect":"gte","expr":"<expr>","value":1},
+        {"expect":"increases","expr":"<expr>","overMs":12000,"by":1},
+        {"expect":"changes","expr":"<expr>","overMs":8000},
+        {"expect":"noErrors"}
+      ]
+    }
+  ]
+}
+
+RULES
+- Every expression must name state the artifact ACTUALLY exposes. Read the
+  source listing and use the real identifiers. A module that only exports
+  functions does not expose its internal arrays — do not invent members.
+- Top-level \`const\`/\`let\` in a classic script are NOT properties of window;
+  reference them bare (\`gameState\`), not as \`window.gameState\`.
+- NEVER inject the state you then assert. Injection exists only to REACH a
+  hard-to-reach path in an "accelerated" probe; the assertion must still be
+  about what the artifact does next.
+- Prefer assertions that would FAIL on a plausible bug: "score increases after
+  sustained fire" catches a broken kill path; "score is a number" catches nothing.
+- Use "soak" mode for anything proving sustained operation (many levels, long
+  sessions). Use "core" for the primary promised behaviours.
+`;
+/** Strip a fence if the model added one despite instructions. */
+export function parseMinedJson(raw) {
+    const text = raw.trim().replace(/^```(?:json)?\s*/i, '').replace(/```\s*$/, '');
+    const start = text.indexOf('{');
+    const end = text.lastIndexOf('}');
+    if (start < 0 || end <= start)
+        return null;
+    try {
+        return JSON.parse(text.slice(start, end + 1));
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Build a manifest. Always returns one: the deterministic baseline is included
+ * even when the model is absent or returns junk, so the gate never silently
+ * degrades into "nothing to check".
+ */
+export async function mineManifest(opts) {
+    const requirements = extractRequirements(opts.specText);
+    const allIds = requirements.map((r) => r.id);
+    // Baseline probes carry NO requirement ids. They prove the artifact loads and
+    // survives input — nothing about any specific promise. Linking them to R1
+    // would report that requirement as covered when nothing tested it, which is
+    // exactly the false assurance the coverage ledger exists to prevent.
+    const probes = [...baselineWebProbes()];
+    let watch = [];
+    if (opts.executor) {
+        try {
+            const prompt = `${MINE_PROMPT}\n\nREQUIREMENTS:\n${requirements
+                .map((r) => `${r.id}: ${r.text}`)
+                .join('\n')}\n\nSOURCE:\n${(opts.sourceDigest ?? '').slice(0, 24_000)}\n`;
+            const parsed = parseMinedJson(await opts.executor(prompt));
+            if (parsed) {
+                if (Array.isArray(parsed.watch))
+                    watch = parsed.watch.filter((w) => typeof w === 'string');
+                for (const p of parsed.probes ?? []) {
+                    // Keep only probes that reference requirements we actually extracted,
+                    // so a hallucinated requirement id cannot smuggle in an unanchored probe.
+                    const ids = (p.requirementIds ?? []).filter((id) => allIds.includes(id));
+                    if (ids.length === 0)
+                        continue;
+                    probes.push({ ...p, requirementIds: ids });
+                }
+            }
+        }
+        catch {
+            // A mining failure must not disable the gate — the baseline still runs.
+        }
+    }
+    const manifest = {
+        version: 1,
+        kind: opts.kind,
+        entry: opts.entry,
+        specHash: hashSpec(opts.specText),
+        generatedAt: new Date().toISOString(),
+        requirements,
+        probes,
+        ...(watch.length > 0 ? { watch } : {}),
+    };
+    // Drop anything structurally invalid rather than shipping a manifest the
+    // runner will reject wholesale (one bad model probe must not lose the rest).
+    // Then RE-VALIDATE: a manifest that is still invalid after filtering would be
+    // written to disk, fail to load forever, and make the gate report "no
+    // manifest" — i.e. pass — on every subsequent run.
+    const dropInvalidProbes = (m) => {
+        const problems = validateManifest(m);
+        if (problems.length === 0)
+            return [];
+        const bad = new Set(problems
+            .map((p) => /^probe (\S+):/.exec(p)?.[1])
+            .filter((id) => Boolean(id)));
+        if (bad.size > 0)
+            m.probes = m.probes.filter((p) => !bad.has(p.id));
+        return validateManifest(m);
+    };
+    const remaining = dropInvalidProbes(manifest);
+    if (remaining.length > 0) {
+        // Whatever is left is not probe-scoped (a bad `watch` entry, a bad kind).
+        // Fall back to the baseline rather than persisting something unloadable.
+        manifest.probes = baselineWebProbes();
+        delete manifest.watch;
+        const stillBad = validateManifest(manifest);
+        if (stillBad.length > 0) {
+            throw new Error(`mined manifest is invalid and could not be repaired: ${stillBad.join('; ')}`);
+        }
+    }
+    return manifest;
+}
+//# sourceMappingURL=mine.js.map

package/dist/delivery/interaction/mine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mine.js","sourceRoot":"","sources":["../../../src/delivery/interaction/mine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAQ3D,sEAAsE;AACtE,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,MAAM,KAAK,GAAG,QAAQ;SACnB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrB,yEAAyE;QACzE,kCAAkC;SACjC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SAC9C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;SACzD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;IAEpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,iBAA2B,EAAE;IAC7D,OAAO;QACL;YACE,EAAE,EAAE,gBAAgB;YACpB,cAAc;YACd,IAAI,EAAE,MAAM;YACZ,WAAW,EAAE,kDAAkD;YAC/D,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YACjC,OAAO,EAAE;gBACP,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,wBAAwB,EAAE,KAAK,EAAE,uBAAuB,EAAE;gBACpF,EAAE,MAAM,EAAE,UAAU,EAAE;aACvB;SACF;QACD;YACE,EAAE,EAAE,+BAA+B;YACnC,cAAc;YACd,IAAI,EAAE,MAAM;YACZ,WAAW,EAAE,gEAAgE;YAC7E,KAAK,EAAE;gBACL,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;gBAC/B,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE;gBACvB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE;gBAC5B,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE;gBACvB,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;gBAC/B,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE;aACzB;YACD,wEAAwE;YACxE,2EAA2E;YAC3E,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;SAClC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,WAAW,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+CnB,CAAC;AAkBF,iEAAiE;AACjE,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,IAAI,KAAK;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAsB,CAAC;IACrE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAiB;IAClD,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7C,8EAA8E;IAC9E,0EAA0E;IAC1E,4EAA4E;IAC5E,qEAAqE;IACrE,MAAM,MAAM,GAAY,CAAC,GAAG,iBAAiB,EAAE,CAAC,CAAC;IACjD,IAAI,KAAK,GAAa,EAAE,CAAC;IAEzB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,GAAG,WAAW,sBAAsB,YAAY;iBAC5D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;iBAChC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC;YAC5E,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAC3D,IAAI,MAAM,EAAE,CAAC;gBACX,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;oBAAE,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;gBAC3F,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;oBACpC,sEAAsE;oBACtE,0EAA0E;oBAC1E,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;oBACzE,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;wBAAE,SAAS;oBAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,wEAAwE;QAC1E,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAwB;QACpC,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;QACjC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,YAAY;QACZ,MAAM;QACN,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvC,CAAC;IAEF,yEAAyE;IACzE,6EAA6E;IAC7E,8EAA8E;IAC9E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,iBAAiB,GAAG,CAAC,CAAsB,EAAY,EAAE;QAC7D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,GAAG,CACjB,QAAQ;aACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;aACxC,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAC7C,CAAC;QACF,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC;YAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpE,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,0EAA0E;QAC1E,yEAAyE;QACzE,QAAQ,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;QACtC,OAAO,QAAQ,CAAC,KAAK,CAAC;QACtB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,wDAAwD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/delivery/interaction/runner.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Probe runner — drives one probe and judges its assertions.
+ *
+ * Time-based assertions (`increases`, `changes`) capture their baseline BEFORE
+ * the probe's input runs and read again after. That ordering is what makes
+ * "hold fire for 20 seconds → the score rose" expressible: sampling only after
+ * the input stops would measure a game that is no longer being played.
+ */
+import type { InteractionDriver } from './driver.js';
+import type { Assertion, AssertionResult, Probe, ProbeResult, Step } from './types.js';
+export declare const DEFAULT_PROBE_TIMEOUT_MS = 120000;
+/** Guard against a manifest asking for an effectively infinite loop. */
+export declare const MAX_REPEAT = 10000;
+/**
+ * Expand `repeat` blocks HERE rather than in each driver.
+ *
+ * When expansion lived in the web driver, every other adapter silently dropped
+ * repeat blocks: the probe drove no input at all and then still reported a pass
+ * whenever its assertion happened to hold anyway. A gate that quietly stops
+ * driving input is worse than no gate, because it reports success.
+ */
+export declare function dispatchStep(driver: InteractionDriver, step: Step): Promise<void>;
+/** True when the assertion needs a reading taken before the input runs. */
+export declare function needsBaseline(a: Assertion): a is Extract<Assertion, {
+    expect: 'increases' | 'changes';
+}>;
+/**
+ * Pure judgement for one assertion given its observations — the interesting
+ * logic, unit-testable without a browser.
+ */
+export declare function judgeAssertion(a: Assertion, index: number, observed: {
+    value?: unknown;
+    baseline?: unknown;
+    errors?: string[];
+    /** Set when the observation expression did not resolve. */
+    unresolved?: string;
+}): AssertionResult;
+export interface RunProbeOptions {
+    timeoutMs?: number;
+    /** Written to when the probe wants an evidence screenshot. */
+    evidencePath?: string;
+}
+/** Marks a probe that blew its wall-clock bound rather than failing on merit. */
+export declare const PROBE_TIMEOUT_MARKER = "probe exceeded its time budget";
+/**
+ * Run one probe end to end. Never throws: a driver failure becomes a FAILING
+ * result rather than an exception, because an interaction gate that crashes is
+ * indistinguishable from one that passed.
+ */
+export declare function runProbe(driver: InteractionDriver, probe: Probe, opts?: RunProbeOptions): Promise<ProbeResult>;
+//# sourceMappingURL=runner.d.ts.map

package/dist/delivery/interaction/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../src/delivery/interaction/runner.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,iBAAiB,EAAc,MAAM,aAAa,CAAC;AAEjE,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvF,eAAO,MAAM,wBAAwB,SAAU,CAAC;AAEhD,wEAAwE;AACxE,eAAO,MAAM,UAAU,QAAS,CAAC;AAEjC;;;;;;;GAOG;AACH,wBAAsB,YAAY,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CASvF;AAmCD,2EAA2E;AAC3E,wBAAgB,aAAa,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE;IAAE,MAAM,EAAE,WAAW,GAAG,SAAS,CAAA;CAAE,CAAC,CAExG;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE,SAAS,EACZ,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE;IACR,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GACA,eAAe,CAqFjB;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,iFAAiF;AACjF,eAAO,MAAM,oBAAoB,mCAAmC,CAAC;AA2BrE;;;;GAIG;AACH,wBAAsB,QAAQ,CAC5B,MAAM,EAAE,iBAAiB,EACzB,KAAK,EAAE,KAAK,EACZ,IAAI,GAAE,eAAoB,GACzB,OAAO,CAAC,WAAW,CAAC,CA8FtB"}

package/dist/delivery/interaction/runner.js

@@ -0,0 +1,277 @@
+/**
+ * Probe runner — drives one probe and judges its assertions.
+ *
+ * Time-based assertions (`increases`, `changes`) capture their baseline BEFORE
+ * the probe's input runs and read again after. That ordering is what makes
+ * "hold fire for 20 seconds → the score rose" expressible: sampling only after
+ * the input stops would measure a game that is no longer being played.
+ */
+import { flattenSteps } from './manifest.js';
+import { delay } from './driver.js';
+export const DEFAULT_PROBE_TIMEOUT_MS = 120_000;
+/** Guard against a manifest asking for an effectively infinite loop. */
+export const MAX_REPEAT = 10_000;
+/**
+ * Expand `repeat` blocks HERE rather than in each driver.
+ *
+ * When expansion lived in the web driver, every other adapter silently dropped
+ * repeat blocks: the probe drove no input at all and then still reported a pass
+ * whenever its assertion happened to hold anyway. A gate that quietly stops
+ * driving input is worse than no gate, because it reports success.
+ */
+export async function dispatchStep(driver, step) {
+    if (step.do === 'repeat') {
+        const times = Math.max(0, Math.min(step.times, MAX_REPEAT));
+        for (let i = 0; i < times; i++) {
+            for (const inner of step.steps)
+                await dispatchStep(driver, inner);
+        }
+        return;
+    }
+    await driver.runStep(step);
+}
+function label(a, index) {
+    if ('label' in a && a.label)
+        return a.label;
+    switch (a.expect) {
+        case 'noErrors':
+            return 'no runtime errors';
+        case 'truthy':
+            return `${a.expr} is truthy`;
+        case 'equals':
+            return `${a.expr} === ${JSON.stringify(a.value)}`;
+        case 'gte':
+            return `${a.expr} >= ${a.value}`;
+        case 'lte':
+            return `${a.expr} <= ${a.value}`;
+        case 'increases':
+            return `${a.expr} increases${a.by ? ` by >= ${a.by}` : ''}`;
+        case 'changes':
+            return `${a.expr} changes`;
+        default:
+            return `assertion #${index + 1}`;
+    }
+}
+function show(v) {
+    if (v === undefined)
+        return 'undefined';
+    if (typeof v === 'number' || typeof v === 'boolean' || v === null)
+        return String(v);
+    try {
+        const s = JSON.stringify(v);
+        return s.length > 120 ? `${s.slice(0, 117)}...` : s;
+    }
+    catch {
+        return String(v);
+    }
+}
+/** True when the assertion needs a reading taken before the input runs. */
+export function needsBaseline(a) {
+    return a.expect === 'increases' || a.expect === 'changes';
+}
+/**
+ * Pure judgement for one assertion given its observations — the interesting
+ * logic, unit-testable without a browser.
+ */
+export function judgeAssertion(a, index, observed) {
+    const name = label(a, index);
+    // A probe that observes something the artifact does not expose has told us
+    // nothing about the artifact. Report it as a broken probe so the fix lands on
+    // the manifest instead of on working code.
+    if (observed.unresolved && a.expect !== 'noErrors') {
+        return {
+            label: name,
+            passed: false,
+            unresolved: true,
+            expected: 'an observable the artifact exposes',
+            observed: observed.unresolved,
+        };
+    }
+    switch (a.expect) {
+        case 'noErrors': {
+            const errs = observed.errors ?? [];
+            return {
+                label: name,
+                passed: errs.length === 0,
+                expected: 'no runtime errors',
+                observed: errs.length === 0 ? 'none' : errs.slice(0, 3).join(' | '),
+            };
+        }
+        case 'truthy':
+            return {
+                label: name,
+                passed: Boolean(observed.value),
+                expected: 'truthy',
+                observed: show(observed.value),
+            };
+        case 'equals':
+            return {
+                label: name,
+                passed: JSON.stringify(observed.value) === JSON.stringify(a.value),
+                expected: show(a.value),
+                observed: show(observed.value),
+            };
+        case 'gte': {
+            const v = Number(observed.value);
+            return {
+                label: name,
+                passed: Number.isFinite(v) && v >= a.value,
+                expected: `>= ${a.value}`,
+                observed: show(observed.value),
+            };
+        }
+        case 'lte': {
+            const v = Number(observed.value);
+            return {
+                label: name,
+                passed: Number.isFinite(v) && v <= a.value,
+                expected: `<= ${a.value}`,
+                observed: show(observed.value),
+            };
+        }
+        case 'increases': {
+            const start = Number(observed.baseline);
+            const end = Number(observed.value);
+            const by = a.by ?? 1;
+            const ok = Number.isFinite(start) && Number.isFinite(end) && end - start >= by;
+            return {
+                label: name,
+                passed: ok,
+                expected: `rise of >= ${by} within ${a.overMs}ms`,
+                observed: `${show(observed.baseline)} → ${show(observed.value)}`,
+            };
+        }
+        case 'changes': {
+            const ok = JSON.stringify(observed.baseline) !== JSON.stringify(observed.value);
+            return {
+                label: name,
+                passed: ok,
+                expected: `different value within ${a.overMs}ms`,
+                observed: `${show(observed.baseline)} → ${show(observed.value)}`,
+            };
+        }
+        default:
+            return {
+                label: name,
+                passed: false,
+                expected: 'a known assertion kind',
+                observed: `unsupported: ${String(a.expect)}`,
+            };
+    }
+}
+/** Marks a probe that blew its wall-clock bound rather than failing on merit. */
+export const PROBE_TIMEOUT_MARKER = 'probe exceeded its time budget';
+class ProbeTimeout extends Error {
+}
+/**
+ * Bound a probe's wall clock. `repeat` blocks are legal up to MAX_REPEAT
+ * iterations, so a single probe can otherwise run for hours — and on the Stop
+ * hook that means an outer `timeout` kills the process mid-probe, skipping the
+ * `finally` that reaps the browser. An unbounded gate is a session-wedging
+ * hazard, not just a slow one.
+ */
+async function withTimeout(work, ms) {
+    let timer;
+    try {
+        return await Promise.race([
+            work,
+            new Promise((_, reject) => {
+                timer = setTimeout(() => reject(new ProbeTimeout(PROBE_TIMEOUT_MARKER)), ms);
+                // Never hold the event loop open just for the watchdog timer.
+                timer.unref?.();
+            }),
+        ]);
+    }
+    finally {
+        if (timer)
+            clearTimeout(timer);
+    }
+}
+/**
+ * Run one probe end to end. Never throws: a driver failure becomes a FAILING
+ * result rather than an exception, because an interaction gate that crashes is
+ * indistinguishable from one that passed.
+ */
+export async function runProbe(driver, probe, opts = {}) {
+    const started = Date.now();
+    const base = {
+        probeId: probe.id,
+        description: probe.description,
+        mode: probe.mode,
+        requirementIds: probe.requirementIds ?? [],
+    };
+    // Defence in depth: manifest validation already rejects this, but a manifest
+    // could be hand-edited between validation and execution.
+    if (probe.mode !== 'accelerated' && flattenSteps(probe.steps).some((s) => s.do === 'inject')) {
+        return {
+            ...base,
+            passed: false,
+            assertions: [
+                {
+                    label: 'probe integrity',
+                    passed: false,
+                    expected: 'no state injection outside accelerated probes',
+                    observed: 'probe injects the state it then asserts',
+                },
+            ],
+            errors: [],
+            durationMs: Date.now() - started,
+        };
+    }
+    const errorsBefore = new Set(driver.errors());
+    const baselines = new Map();
+    const assertions = [];
+    // Prefer the detailed read so an unresolvable observable is reported as a
+    // broken probe; drivers that only implement `read` degrade to the old
+    // behaviour rather than failing.
+    const readDetailed = async (expr) => driver.readDetailed ? driver.readDetailed(expr) : { ok: true, value: await driver.read(expr) };
+    try {
+        // Baselines first — before any input runs.
+        for (let i = 0; i < probe.asserts.length; i++) {
+            const a = probe.asserts[i];
+            if (needsBaseline(a))
+                baselines.set(i, (await readDetailed(a.expr)).value);
+        }
+        const budget = probe.timeoutMs ?? opts.timeoutMs ?? DEFAULT_PROBE_TIMEOUT_MS;
+        await withTimeout((async () => {
+            for (const step of probe.steps)
+                await dispatchStep(driver, step);
+        })(), budget);
+        // Honour each time-based assertion's observation window even when the input
+        // finished sooner.
+        const longestWindow = probe.asserts.reduce((max, a) => (needsBaseline(a) ? Math.max(max, a.overMs) : max), 0);
+        const elapsed = Date.now() - started;
+        if (longestWindow > elapsed)
+            await delay(longestWindow - elapsed);
+        const newErrors = driver.errors().filter((e) => !errorsBefore.has(e));
+        for (let i = 0; i < probe.asserts.length; i++) {
+            const a = probe.asserts[i];
+            const read = a.expect === 'noErrors' ? { ok: true } : await readDetailed(a.expr);
+            assertions.push(judgeAssertion(a, i, {
+                value: read.value,
+                baseline: baselines.get(i),
+                errors: newErrors,
+                ...(read.ok ? {} : { unresolved: read.error ?? 'expression did not resolve' }),
+            }));
+        }
+        if (opts.evidencePath && driver.capture)
+            await driver.capture(opts.evidencePath);
+        return {
+            ...base,
+            passed: assertions.every((r) => r.passed),
+            assertions,
+            errors: newErrors,
+            durationMs: Date.now() - started,
+        };
+    }
+    catch (e) {
+        return {
+            ...base,
+            passed: false,
+            assertions,
+            errors: [`probe execution failed: ${String(e).slice(0, 300)}`],
+            durationMs: Date.now() - started,
+        };
+    }
+}
+//# sourceMappingURL=runner.js.map

package/dist/delivery/interaction/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../../src/delivery/interaction/runner.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGpC,MAAM,CAAC,MAAM,wBAAwB,GAAG,OAAO,CAAC;AAEhD,wEAAwE;AACxE,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC;AAEjC;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,MAAyB,EAAE,IAAU;IACtE,IAAI,IAAI,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK;gBAAE,MAAM,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACpE,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,KAAK,CAAC,CAAY,EAAE,KAAa;IACxC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC,KAAK,CAAC;IAC5C,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,mBAAmB,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,CAAC,IAAI,YAAY,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,KAAK,KAAK;YACR,OAAO,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC;QACnC,KAAK,KAAK;YACR,OAAO,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC;QACnC,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC9D,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,CAAC,IAAI,UAAU,CAAC;QAC7B;YACE,OAAO,cAAc,KAAK,GAAG,CAAC,EAAE,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,IAAI,CAAC,CAAU;IACtB,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC5B,OAAO,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,aAAa,CAAC,CAAY;IACxC,OAAO,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC;AAC5D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,CAAY,EACZ,KAAa,EACb,QAMC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7B,2EAA2E;IAC3E,8EAA8E;IAC9E,2CAA2C;IAC3C,IAAI,QAAQ,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACnD,OAAO;YACL,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,oCAAoC;YAC9C,QAAQ,EAAE,QAAQ,CAAC,UAAU;SAC9B,CAAC;IACJ,CAAC;IACD,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;QACjB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC;YACnC,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;gBACzB,QAAQ,EAAE,mBAAmB;gBAC7B,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;aACpE,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ;YACX,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAC/B,QAAQ,EAAE,QAAQ;gBAClB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;aAC/B,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;gBAClE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;aAC/B,CAAC;QACJ,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACjC,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK;gBAC1C,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE;gBACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;aAC/B,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACjC,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK;gBAC1C,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE;gBACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;aAC/B,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACxC,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACrB,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK,IAAI,EAAE,CAAC;YAC/E,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,EAAE;gBACV,QAAQ,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC,MAAM,IAAI;gBACjD,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;aACjE,CAAC;QACJ,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAChF,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,EAAE;gBACV,QAAQ,EAAE,0BAA0B,CAAC,CAAC,MAAM,IAAI;gBAChD,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;aACjE,CAAC;QACJ,CAAC;QACD;YACE,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,wBAAwB;gBAClC,QAAQ,EAAE,gBAAgB,MAAM,CAAE,CAAyB,CAAC,MAAM,CAAC,EAAE;aACtE,CAAC;IACN,CAAC;AACH,CAAC;AAQD,iFAAiF;AACjF,MAAM,CAAC,MAAM,oBAAoB,GAAG,gCAAgC,CAAC;AAErE,MAAM,YAAa,SAAQ,KAAK;CAAG;AAEnC;;;;;;GAMG;AACH,KAAK,UAAU,WAAW,CAAI,IAAgB,EAAE,EAAU;IACxD,IAAI,KAAiC,CAAC;IACtC,IAAI,CAAC;QACH,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC;YACxB,IAAI;YACJ,IAAI,OAAO,CAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;gBAC/B,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,oBAAoB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7E,8DAA8D;gBAC9D,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;YAClB,CAAC,CAAC;SACH,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,IAAI,KAAK;YAAE,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,MAAyB,EACzB,KAAY,EACZ,OAAwB,EAAE;IAE1B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAyE;QACjF,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE;KAC3C,CAAC;IAEF,6EAA6E;IAC7E,yDAAyD;IACzD,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC7F,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,KAAK;YACb,UAAU,EAAE;gBACV;oBACE,KAAK,EAAE,iBAAiB;oBACxB,MAAM,EAAE,KAAK;oBACb,QAAQ,EAAE,+CAA+C;oBACzD,QAAQ,EAAE,yCAAyC;iBACpD;aACF;YACD,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;SACjC,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC7C,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,0EAA0E;IAC1E,sEAAsE;IACtE,iCAAiC;IACjC,MAAM,YAAY,GAAG,KAAK,EAAE,IAAY,EAAuB,EAAE,CAC/D,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAEjG,IAAI,CAAC;QACH,2CAA2C;QAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,aAAa,CAAC,CAAC,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7E,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,IAAI,wBAAwB,CAAC;QAC7E,MAAM,WAAW,CACf,CAAC,KAAK,IAAI,EAAE;YACV,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;gBAAE,MAAM,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,EAAE,EACJ,MAAM,CACP,CAAC;QAEF,4EAA4E;QAC5E,mBAAmB;QACnB,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CACxC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAC9D,CAAC,CACF,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC;QACrC,IAAI,aAAa,GAAG,OAAO;YAAE,MAAM,KAAK,CAAC,aAAa,GAAG,OAAO,CAAC,CAAC;QAElE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjF,UAAU,CAAC,IAAI,CACb,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE;gBACnB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1B,MAAM,EAAE,SAAS;gBACjB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,IAAI,4BAA4B,EAAE,CAAC;aAC/E,CAAC,CACH,CAAC;QACJ,CAAC;QAED,IAAI,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,OAAO;YAAE,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEjF,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;YACzC,UAAU;YACV,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;SACjC,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,KAAK;YACb,UAAU;YACV,MAAM,EAAE,CAAC,2BAA2B,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAC9D,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;SACjC,CAAC;IACJ,CAAC;AACH,CAAC"}