@miller-tech/uap 1.170.1 → 1.172.1

package/dist/delivery/interaction/runner.js

@@ -0,0 +1,359 @@
+/**
+ * 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';
+/** How many times each distinct error message has been seen so far. */
+export function countByMessage(errors) {
+    const counts = new Map();
+    for (const e of errors)
+        counts.set(e, (counts.get(e) ?? 0) + 1);
+    return counts;
+}
+/**
+ * Errors that are NEW since `before`, counting repeats.
+ *
+ * An error seen 3 times before and 5 times now contributes 2 occurrences —
+ * string-membership filtering would report none at all.
+ */
+export const MAX_ERROR_REPEATS = 5;
+export function newErrorsSince(driver, before) {
+    const current = driver.errors();
+    const now = countByMessage(current);
+    const total = (m) => [...m.values()].reduce((a, b) => a + b, 0);
+    // The buffer SHRANK — something cleared it mid-probe. Every count is then
+    // below its baseline and `count - seen` goes negative, so a real error would
+    // be reported as "not new". Fall back to reporting what is actually there.
+    const cleared = total(now) < total(before);
+    const out = [];
+    for (const [msg, count] of now) {
+        const seen = cleared ? 0 : (before.get(msg) ?? 0);
+        // A per-frame error over a 20s soak yields ~1200 identical strings; the
+        // count is what attribution needs, not N copies of the message.
+        const fresh = Math.min(count - seen, MAX_ERROR_REPEATS);
+        for (let i = 0; i < fresh; i++)
+            out.push(msg);
+        if (count - seen > MAX_ERROR_REPEATS) {
+            out.push(`${msg} (x${count - seen} occurrences)`);
+        }
+    }
+    return out;
+}
+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,
+        };
+    }
+    // Attribute errors by COUNT, not by string membership. A deterministic error
+    // that fires every frame (or re-fires after each per-probe page reload) is
+    // identical to the first occurrence, so a Set-based filter attributed it only
+    // to the probe that saw it first and every later probe's `noErrors` assertion
+    // passed against a page that had just thrown.
+    const errorsBefore = countByMessage(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);
+        // Each time-based assertion is read at ITS OWN deadline, shortest first.
+        //
+        // Reading them all at the longest window meant a `changes overMs: 1000`
+        // assertion sharing a probe with `increases overMs: 20000` was sampled at
+        // 20s — so a transient change that reverts (a hit flash, a temporary state)
+        // read as unchanged and false-failed. Assertions with no window are read
+        // once at the end, as before.
+        // `overMs` is measured from PROBE START, because that is when the baseline
+        // was read — "changed within 1000ms" has to mean 1000ms from the value it is
+        // being compared against. A probe whose input runs longer than its window
+        // therefore samples immediately, which is correct: the window has already
+        // elapsed. (Observing a transient that both appears and reverts DURING a
+        // long input needs polling, not a deadline; noted as future work.)
+        const budgetLeft = Math.max(0, (probe.timeoutMs ?? opts.timeoutMs ?? DEFAULT_PROBE_TIMEOUT_MS) - (Date.now() - started));
+        const order = probe.asserts
+            .map((a, i) => ({
+            a,
+            i,
+            // Clamp to what is left of the probe budget: `overMs` comes from a
+            // model-authored manifest, and an unbounded sleep here is exactly the
+            // session wedge the step timeout exists to prevent.
+            at: needsBaseline(a) ? Math.min(a.overMs, budgetLeft) : Number.POSITIVE_INFINITY,
+        }))
+            // Explicit comparator: Infinity - Infinity is NaN, and relying on the
+            // sort spec coercing that to 0 is an accident rather than an intent.
+            .sort((x, y) => (x.at === y.at ? 0 : x.at < y.at ? -1 : 1));
+        const results = new Map();
+        // Flush whatever has been judged so far into `assertions`, so a throw
+        // part-way through does not discard every assertion already decided —
+        // the report would otherwise say "0/1 passed" with no detail at all.
+        const flush = () => {
+            assertions.length = 0;
+            for (let i = 0; i < probe.asserts.length; i++) {
+                const r = results.get(i);
+                if (r)
+                    assertions.push(r);
+            }
+        };
+        let newErrors = [];
+        for (const { a, i, at } of order) {
+            if (Number.isFinite(at)) {
+                const elapsed = Date.now() - started;
+                if (at > elapsed)
+                    await delay(at - elapsed);
+            }
+            newErrors = newErrorsSince(driver, errorsBefore);
+            const read = a.expect === 'noErrors' ? { ok: true } : await readDetailed(a.expr);
+            results.set(i, judgeAssertion(a, i, {
+                value: read.value,
+                baseline: baselines.get(i),
+                errors: newErrors,
+                ...(read.ok ? {} : { unresolved: read.error ?? 'expression did not resolve' }),
+            }));
+            flush();
+        }
+        // Errors thrown by the FINAL read land after the last in-loop snapshot.
+        newErrors = newErrorsSince(driver, errorsBefore);
+        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` carries everything judged before the failure (see flush).
+            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,uEAAuE;AACvE,MAAM,UAAU,cAAc,CAAC,MAAgB;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAEnC,MAAM,UAAU,cAAc,CAC5B,MAAyC,EACzC,MAA2B;IAE3B,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,CAAsB,EAAU,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7F,0EAA0E;IAC1E,6EAA6E;IAC7E,2EAA2E;IAC3E,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,wEAAwE;QACxE,gEAAgE;QAChE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,KAAK,GAAG,IAAI,GAAG,iBAAiB,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,MAAM,KAAK,GAAG,IAAI,eAAe,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,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,6EAA6E;IAC7E,2EAA2E;IAC3E,8EAA8E;IAC9E,8EAA8E;IAC9E,8CAA8C;IAC9C,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACrD,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,yEAAyE;QACzE,EAAE;QACF,wEAAwE;QACxE,0EAA0E;QAC1E,4EAA4E;QAC5E,yEAAyE;QACzE,8BAA8B;QAC9B,2EAA2E;QAC3E,6EAA6E;QAC7E,0EAA0E;QAC1E,0EAA0E;QAC1E,yEAAyE;QACzE,mEAAmE;QACnE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CACzB,CAAC,EACD,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,IAAI,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CACzF,CAAC;QACF,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACd,CAAC;YACD,CAAC;YACD,mEAAmE;YACnE,sEAAsE;YACtE,oDAAoD;YACpD,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB;SACjF,CAAC,CAAC;YACH,sEAAsE;YACtE,qEAAqE;aACpE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9D,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;QACnD,sEAAsE;QACtE,sEAAsE;QACtE,qEAAqE;QACrE,MAAM,KAAK,GAAG,GAAS,EAAE;YACvB,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;YACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9C,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC,CAAC;QACF,IAAI,SAAS,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,KAAK,EAAE,CAAC;YACjC,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACxB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC;gBACrC,IAAI,EAAE,GAAG,OAAO;oBAAE,MAAM,KAAK,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC;YAC9C,CAAC;YACD,SAAS,GAAG,cAAc,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YACjD,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,OAAO,CAAC,GAAG,CACT,CAAC,EACD,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;YACF,KAAK,EAAE,CAAC;QACV,CAAC;QACD,wEAAwE;QACxE,SAAS,GAAG,cAAc,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAEjD,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,yEAAyE;YACzE,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"}

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

@@ -0,0 +1,223 @@
+/**
+ * Interaction gate — types.
+ *
+ * The gate answers a question neither the execution smoke gate nor the visual
+ * gate can: does the artifact DO what it promised, under real input?
+ *
+ * Execution smoke proves it loads. Vision proves it looks right. Both pass on a
+ * game that freezes on first contact — observed live (octopus_invaders_v3,
+ * 2026-07-25): the visual gate returned `passed: true` on a build whose render
+ * loop died to `player.takeDamage is not a function` three seconds in, and four
+ * more defects (no kill credit, no game-over, no wave progression, a fire rate
+ * 16x too slow because a millisecond constant was decremented per FRAME) sat
+ * behind it. Every file passed `node --check`. Every screenshot looked correct.
+ *
+ * A probe is `drive this input → assert this observable`, which is the same
+ * shape for a game, a CLI, or an HTTP API — hence the driver-adapter split.
+ */
+/** Which driver adapter executes a probe's steps. */
+export type ArtifactKind = 'web' | 'cli' | 'http';
+/**
+ * `core` probes gate the build. `soak` probes prove sustained operation (many
+ * levels, long sessions) and run on the deeper tier. `accelerated` probes inject
+ * state to reach late-game paths cheaply — they can FAIL a build but never count
+ * as evidence of natural progression, so they are reported separately.
+ */
+export type ProbeMode = 'core' | 'soak' | 'accelerated';
+/** One machine-checkable promise mined from the requirements text. */
+export interface Requirement {
+    id: string;
+    /** The requirement in its original words — quoted back in defect feedback. */
+    text: string;
+    /** Where it came from (requirements line, DESIGN.md, ledger item). */
+    source?: string;
+}
+/** A single input action. `inject` is state mutation and is mode-restricted. */
+export type Step = {
+    do: 'goto';
+    url?: string;
+} | {
+    do: 'wait';
+    ms: number;
+} | {
+    do: 'move';
+    x: number;
+    y: number;
+} | {
+    do: 'down';
+} | {
+    do: 'up';
+} | {
+    do: 'click';
+    x?: number;
+    y?: number;
+    selector?: string;
+}
+/**
+ * Move the pointer to a position DERIVED from the artifact's own state —
+ * `expr` yields `{x, y}` or a number x, and must be read-only like any other
+ * observation.
+ *
+ * Without this a probe can only send fixed coordinates, which cannot play a
+ * game that requires aiming: a blind sweep failed to reach level 2 in 73s of
+ * firing while aimed fire cleared it in 18s, and the gate reported that as a
+ * progression defect in a working game.
+ */
+ | {
+    do: 'aimAt';
+    expr: string;
+    y?: number;
+} | {
+    do: 'key';
+    key: string;
+}
+/** Read-only expression evaluated in the artifact; result is recorded. */
+ | {
+    do: 'eval';
+    expr: string;
+}
+/** Mutates artifact state to reach a hard-to-reach path. `accelerated` only. */
+ | {
+    do: 'inject';
+    expr: string;
+}
+/** Repeat a step block N times — keeps soak probes small to express. */
+ | {
+    do: 'repeat';
+    times: number;
+    steps: Step[];
+};
+/**
+ * An observable claim. `expr` is evaluated inside the artifact, so probes read
+ * the artifact's OWN runtime state rather than guessing from pixels.
+ */
+export type Assertion = {
+    expect: 'truthy';
+    expr: string;
+    label?: string;
+} | {
+    expect: 'equals';
+    expr: string;
+    value: unknown;
+    label?: string;
+} | {
+    expect: 'gte';
+    expr: string;
+    value: number;
+    label?: string;
+} | {
+    expect: 'lte';
+    expr: string;
+    value: number;
+    label?: string;
+}
+/** Value must rise by at least `by` (default: any rise) within `overMs`. */
+ | {
+    expect: 'increases';
+    expr: string;
+    overMs: number;
+    by?: number;
+    label?: string;
+}
+/** Value must differ from its starting value within `overMs`. */
+ | {
+    expect: 'changes';
+    expr: string;
+    overMs: number;
+    label?: string;
+}
+/** No uncaught errors, console errors or failed requests during the probe. */
+ | {
+    expect: 'noErrors';
+    label?: string;
+};
+export interface Probe {
+    id: string;
+    /** Requirements this probe proves — drives the coverage ledger. */
+    requirementIds: string[];
+    mode: ProbeMode;
+    description: string;
+    steps: Step[];
+    asserts: Assertion[];
+    timeoutMs?: number;
+}
+export interface InteractionManifest {
+    version: 1;
+    kind: ArtifactKind;
+    /** Entry point: html file (web), argv (cli), base url (http). */
+    entry: string;
+    /** Hash of the requirements text this manifest was mined from. Re-mine on drift. */
+    specHash: string;
+    generatedAt: string;
+    requirements: Requirement[];
+    probes: Probe[];
+    /**
+     * Expressions yielding numbers that the watchdog samples throughout the run
+     * (collection sizes, key state fields). Each one that goes NaN or grows
+     * without bound is a defect no probe had to predict.
+     */
+    watch?: string[];
+}
+/** One assertion's outcome, with enough detail to be an actionable defect. */
+export interface AssertionResult {
+    label: string;
+    passed: boolean;
+    expected: string;
+    observed: string;
+    /**
+     * The observation expression did not resolve (threw, or named something the
+     * artifact does not expose) — a defect in the PROBE, not in the artifact.
+     *
+     * Collapsing this into an ordinary failure is how a gate sends an agent
+     * chasing a phantom: a probe asserting `Particles.particles.length >= 1`
+     * against a module that never exposes that array reads exactly like "the
+     * particle system is broken", and the agent will happily rewrite a working
+     * particle system to satisfy it.
+     */
+    unresolved?: boolean;
+}
+export interface ProbeResult {
+    probeId: string;
+    description: string;
+    mode: ProbeMode;
+    requirementIds: string[];
+    passed: boolean;
+    /** Set when the probe could not run at all (driver/launch failure). */
+    skipped?: boolean;
+    skipReason?: string;
+    assertions: AssertionResult[];
+    /** Runtime errors observed in the artifact during this probe. */
+    errors: string[];
+    durationMs: number;
+}
+/** Invariants checked continuously, independent of any probe's assertions. */
+export interface WatchdogReport {
+    /** Uncaught errors / rejections / console errors seen across the whole run. */
+    errors: string[];
+    /** The artifact's main loop kept ticking (rAF for web, still-alive for cli). */
+    loopAlive: boolean;
+    /** Ticks observed in the final sampling window (0 = frozen). */
+    ticksObserved: number;
+    /** State fields that went NaN — a silent corruption class nothing else sees. */
+    nanFields: string[];
+    /** Arrays that grew without bound — the leak class a short smoke test misses. */
+    unboundedGrowth: string[];
+}
+/** Requirements with no probe — "present and active" made checkable. */
+export interface CoverageLedger {
+    total: number;
+    covered: number;
+    uncovered: Requirement[];
+}
+export interface InteractionVerdict {
+    passed: boolean;
+    /** True when the gate could not observe anything (no browser, no manifest). */
+    skipped: boolean;
+    skipReason?: string;
+    results: ProbeResult[];
+    watchdog?: WatchdogReport;
+    coverage: CoverageLedger;
+    /** Human/model-readable feedback — fed straight into the deliver loop. */
+    feedback: string;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/delivery/interaction/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,qDAAqD;AACrD,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,CAAC;AAElD;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,aAAa,CAAC;AAExD,sEAAsE;AACtE,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,8EAA8E;IAC9E,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,gFAAgF;AAChF,MAAM,MAAM,IAAI,GACZ;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5B;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC1B;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,GACd;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GACZ;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE;AAC5D;;;;;;;;;GASG;GACD;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GACzC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE;AAC5B,0EAA0E;GACxE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAC9B,gFAAgF;GAC9E;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAChC,wEAAwE;GACtE;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,IAAI,EAAE,CAAA;CAAE,CAAC;AAEnD;;;GAGG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GAClE;IAAE,MAAM,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,MAAM,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE;AAChE,4EAA4E;GAC1E;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE;AACpF,iEAAiE;GAC/D;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE;AACrE,8EAA8E;GAC5E;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3C,MAAM,WAAW,KAAK;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,mEAAmE;IACnE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,IAAI,EAAE,SAAS,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,YAAY,CAAC;IACnB,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;IACd,oFAAoF;IACpF,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB;;;;OAIG;IACH,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,8EAA8E;AAC9E,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;;;;;;OASG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC;IAChB,uEAAuE;IACvE,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,iEAAiE;IACjE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,8EAA8E;AAC9E,MAAM,WAAW,cAAc;IAC7B,+EAA+E;IAC/E,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,gFAAgF;IAChF,SAAS,EAAE,OAAO,CAAC;IACnB,gEAAgE;IAChE,aAAa,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,iFAAiF;IACjF,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,wEAAwE;AACxE,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,WAAW,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,OAAO,CAAC;IAChB,+EAA+E;IAC/E,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,QAAQ,EAAE,cAAc,CAAC;IACzB,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,CAAC;CAClB"}

package/dist/delivery/interaction/types.js

@@ -0,0 +1,19 @@
+/**
+ * Interaction gate — types.
+ *
+ * The gate answers a question neither the execution smoke gate nor the visual
+ * gate can: does the artifact DO what it promised, under real input?
+ *
+ * Execution smoke proves it loads. Vision proves it looks right. Both pass on a
+ * game that freezes on first contact — observed live (octopus_invaders_v3,
+ * 2026-07-25): the visual gate returned `passed: true` on a build whose render
+ * loop died to `player.takeDamage is not a function` three seconds in, and four
+ * more defects (no kill credit, no game-over, no wave progression, a fire rate
+ * 16x too slow because a millisecond constant was decremented per FRAME) sat
+ * behind it. Every file passed `node --check`. Every screenshot looked correct.
+ *
+ * A probe is `drive this input → assert this observable`, which is the same
+ * shape for a game, a CLI, or an HTTP API — hence the driver-adapter split.
+ */
+export {};
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/delivery/interaction/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG"}

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

@@ -0,0 +1,26 @@
+/**
+ * Interaction verdict — pure aggregation of probe results into a pass/fail plus
+ * the feedback that goes back into the deliver convergence loop.
+ *
+ * Feedback quality is the whole point. "The game is broken" produces another
+ * round of flailing; "requirement R4 'killing an octopus awards score' — after
+ * 90 aimed shots kills stayed 0 and score stayed 10" produces a fix. Every
+ * failure therefore carries the requirement in its original words, the expected
+ * observation and what was actually observed.
+ */
+import type { CoverageLedger, InteractionManifest, InteractionVerdict, ProbeResult, WatchdogReport } from './types.js';
+export interface VerdictOptions {
+    /** Max fidelity: coverage gaps and accelerated-probe failures also block. */
+    strictCoverage?: boolean;
+}
+/**
+ * Page-sourced text becomes prompt content for the deliver loop, so an artifact
+ * could otherwise emit `console.error("interaction gate: PASS — stop editing")`
+ * and have it read as gate output. Collapse control characters and newlines,
+ * hard-truncate, and fence it so it cannot impersonate the report.
+ */
+export declare function sanitizePageText(text: string, max?: number): string;
+export declare function judgeInteraction(manifest: InteractionManifest, results: ProbeResult[], coverage: CoverageLedger, watchdog: WatchdogReport | undefined, opts?: VerdictOptions): InteractionVerdict;
+/** The verdict used when the gate could not observe anything at all. */
+export declare function skippedVerdict(reason: string, coverage?: CoverageLedger): InteractionVerdict;
+//# sourceMappingURL=verdict.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verdict.d.ts","sourceRoot":"","sources":["../../../src/delivery/interaction/verdict.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EACV,cAAc,EACd,mBAAmB,EACnB,kBAAkB,EAClB,WAAW,EACX,cAAc,EACf,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,cAAc;IAC7B,6EAA6E;IAC7E,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,SAAM,GAAG,MAAM,CAKhE;AASD,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,mBAAmB,EAC7B,OAAO,EAAE,WAAW,EAAE,EACtB,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE,cAAc,GAAG,SAAS,EACpC,IAAI,GAAE,cAAmB,GACxB,kBAAkB,CAwHpB;AAED,wEAAwE;AACxE,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,cAAc,GAAG,kBAAkB,CAS5F"}