@reticlehq/server 2.1.0 → 2.2.1

package/dist/events/predicate.js

@@ -1,5 +1,7 @@
 import { ElementState, ReticleCommand, } from '@reticlehq/core';
 import { selectPath, capDepth } from '../session/state-select.js';
+import { predicateToExpectedLinks } from '../capsule/predicate-to-links.js';
+import { isAmbient, ambientKeyOf } from '../journal/ambient.js';
 import { PredicateSchema, matchValue, evalNet, evalRoute, evalConsole, evalAnimation, evalSignal, evalSettled, } from './predicate-eval.js';
 export { PredicateSchema };
 async function matchOnce(session, query, state) {
@@ -8,19 +10,59 @@ async function matchOnce(session, query, state) {
         return { matched: false, count: 0, elements: [] };
     return (res.result ?? { matched: false, count: 0, elements: [] });
 }
-async function evalElement(session, query, state, absent) {
+async function evalElement(session, query, state, absent, diagnose) {
     const match = await matchOnce(session, query, state);
+    const subject = JSON.stringify(query);
+    // A given-but-missing scope is handled ASYMMETRICALLY, because "absent" and "present" ask different
+    // questions of a scope that no longer exists:
+    //  - ABSENT: an element is trivially absent from a container that isn't there. This is also the
+    //    everyday "wait for the #overlay/#spinner/#modal to disappear" pattern (scope the wait to the
+    //    node being removed) — treating scopeMissing as a hard fail there burned the whole timeout and
+    //    flipped a correct green to red. So scopeMissing satisfies an absence check.
+    //  - PRESENT: you cannot confirm an element is present inside a scope that resolved to nothing, and
+    //    silently widening to the whole page is the original false green. So scopeMissing FAILS presence
+    //    (on the wait_for path this just keeps polling until the scope appears).
     if (absent) {
+        if (match.scopeMissing === true) {
+            return { pass: true, evidence: { absent: true, scopeMissing: true } };
+        }
         return match.matched
             ? {
                 pass: false,
                 failureReason: `expected element to be absent but found ${String(match.count)}`,
+                observed: `${String(match.count)} element(s) matching ${subject}`,
+                expected: `no element matching ${subject}`,
+                assertion: 'element.absent',
                 evidence: match.elements,
             }
             : { pass: true, evidence: { absent: true } };
     }
+    if (match.scopeMissing === true) {
+        return {
+            pass: false,
+            failureReason: `scope resolved to no element — cannot confirm ${subject} is present`,
+            observed: 'the requested scope is not on the page (unmounted or selector matched nothing)',
+            expected: `an element matching ${subject} within an existing scope`,
+            assertion: 'element.present',
+            evidence: { scopeMissing: true },
+        };
+    }
     if (match.matched)
         return { pass: true, evidence: match.elements };
+    // The near-miss diagnostic below costs one or two EXTRA MATCH round-trips. It only enriches a FAILED
+    // verdict, and a wait loop's interim rechecks read nothing but `pass` — so on the poll path (diagnose
+    // false) skip straight to the plain fail. Under an event flood a role+name element wait was firing
+    // two live-DOM scans per recheck for a diagnostic no interim eval ever reads; the final timeout eval
+    // still runs with diagnose=true and produces the full near-miss.
+    if (!diagnose) {
+        return {
+            pass: false,
+            failureReason: `no element matched ${subject}${state === undefined ? '' : ` in state '${state}'`}`,
+            observed: 'no matching element on the page',
+            expected: `an element matching ${subject}${state === undefined ? '' : ` in state '${state}'`}`,
+            assertion: 'element.present',
+        };
+    }
     // Diagnostic near-miss: was it there but in the wrong state, or a similar element present?
     if (state !== undefined) {
         const relaxed = await matchOnce(session, query, undefined);
@@ -28,6 +70,9 @@ async function evalElement(session, query, state, absent) {
             return {
                 pass: false,
                 failureReason: `element exists but not in state '${state}'`,
+                observed: `element matching ${subject} is present, states: ${relaxed.elements[0]?.states.join(', ') ?? 'unknown'}`,
+                expected: `element matching ${subject} in state '${state}'`,
+                assertion: 'element.state',
                 evidence: { nearMiss: relaxed.elements },
             };
         }
@@ -41,19 +86,35 @@ async function evalElement(session, query, state, absent) {
                     .map((e) => e.name)
                     .filter((n) => n.length > 0)
                     .join(', ')}`,
+                observed: `${String(roleOnly.count)} '${query.role}' element(s), named: ${roleOnly.elements
+                    .map((e) => e.name)
+                    .filter((n) => n.length > 0)
+                    .join(', ')}`,
+                expected: `a '${query.role}' named '${query.name}'`,
+                assertion: 'element.role+name',
                 evidence: { nearMiss: roleOnly.elements },
             };
         }
     }
     return {
         pass: false,
-        failureReason: `no element matched ${JSON.stringify(query)}${state === undefined ? '' : ` in state '${state}'`}`,
+        failureReason: `no element matched ${subject}${state === undefined ? '' : ` in state '${state}'`}`,
+        observed: 'no matching element on the page',
+        expected: `an element matching ${subject}${state === undefined ? '' : ` in state '${state}'`}`,
+        assertion: 'element.present',
     };
 }
 async function evalState(session, p) {
     const res = await session.command(ReticleCommand.STATE_READ, p.store !== undefined ? { store: p.store } : {});
-    if (!res.ok)
-        return { pass: false, failureReason: 'state read failed' };
+    if (!res.ok) {
+        return {
+            pass: false,
+            failureReason: 'state read failed',
+            observed: 'the store could not be read',
+            expected: 'a readable registered store',
+            assertion: 'state.unreadable',
+        };
+    }
     const stores = (res.result ?? {}).stores ?? {};
     const names = Object.keys(stores);
     const storeName = p.store ?? (names.length === 1 ? names[0] : undefined);
@@ -70,6 +131,9 @@ async function evalState(session, p) {
         return {
             pass: false,
             failureReason: `state path '${p.path}' not found in store '${storeName}'`,
+            observed: `no path '${p.path}' in store '${storeName}'`,
+            expected: `store '${storeName}' to expose '${p.path}'`,
+            assertion: 'state.path-missing',
             evidence: { availableKeys: selection.availableKeys },
         };
     }
@@ -83,16 +147,24 @@ async function evalState(session, p) {
     return {
         pass: false,
         failureReason: `state '${p.path}' is ${JSON.stringify(capDepth(selection.value, 0))}, expected ${JSON.stringify(want)}`,
+        observed: `${p.path} = ${JSON.stringify(capDepth(selection.value, 0))}`,
+        expected: `${p.path} = ${JSON.stringify(want)}`,
+        assertion: 'state.equals',
         evidence: { store: storeName, path: p.path, value: capDepth(selection.value, 1) },
     };
 }
-export async function evaluatePredicate(session, predicate, since = 0) {
+export async function evaluatePredicate(session, predicate, since = 0, 
+// Compute the (extra-round-trip) near-miss diagnostics on element failures. Default true so a
+// one-shot assert is fully diagnostic; the wait loop passes false on its interim polls (which read
+// only `pass`) and true on the final timeout eval, so a flood no longer pays for a diagnostic nobody
+// reads. Only element/text failures have a near-miss; everything else ignores this.
+diagnose = true) {
     const events = session.eventsSince(since);
     switch (predicate.kind) {
         case 'element':
-            return evalElement(session, predicate.query, predicate.state, predicate.absent ?? false);
+            return evalElement(session, predicate.query, predicate.state, predicate.absent ?? false, diagnose);
         case 'text':
-            return evalElement(session, { text: predicate.contains }, predicate.visible === true ? ElementState.VISIBLE : undefined, predicate.absent ?? false);
+            return evalElement(session, { text: predicate.contains }, predicate.visible === true ? ElementState.VISIBLE : undefined, predicate.absent ?? false, diagnose);
         case 'net':
             return evalNet(events, predicate);
         case 'route':
@@ -105,10 +177,16 @@ export async function evaluatePredicate(session, predicate, since = 0) {
             return evalSignal(events, predicate);
         case 'state':
             return evalState(session, predicate);
-        case 'settled':
-            return evalSettled(events, predicate, session.elapsed());
+        case 'settled': {
+            // Drop events on learned-ambient regions (chat/ticker churn) before the settle check — by ref
+            // alone, NOT by attribution: window-attribution ("happened during the action window") is a time
+            // heuristic, never causation, so a chat message arriving mid-window must not hold settle open.
+            const counts = session.ambientCounts?.();
+            const settleEvents = counts === undefined ? events : events.filter((e) => !isAmbient(counts, ambientKeyOf(e)));
+            return evalSettled(settleEvents, predicate, session.elapsed());
+        }
         case 'allOf': {
-            const results = await Promise.all(predicate.predicates.map((p) => evaluatePredicate(session, p, since)));
+            const results = await Promise.all(predicate.predicates.map((p) => evaluatePredicate(session, p, since, diagnose)));
             const failed = results.find((r) => !r.pass);
             return failed === undefined
                 ? { pass: true, evidence: results.map((r) => r.evidence) }
@@ -119,14 +197,14 @@ export async function evaluatePredicate(session, predicate, since = 0) {
                 };
         }
         case 'anyOf': {
-            const results = await Promise.all(predicate.predicates.map((p) => evaluatePredicate(session, p, since)));
+            const results = await Promise.all(predicate.predicates.map((p) => evaluatePredicate(session, p, since, diagnose)));
             const passed = results.find((r) => r.pass);
             return passed !== undefined
                 ? { pass: true, evidence: passed.evidence }
                 : { pass: false, failureReason: 'no sub-predicate of anyOf matched', evidence: results };
         }
         case 'not': {
-            const inner = await evaluatePredicate(session, predicate.predicate, since);
+            const inner = await evaluatePredicate(session, predicate.predicate, since, diagnose);
             return inner.pass
                 ? { pass: false, failureReason: 'negated predicate unexpectedly held', evidence: inner }
                 : { pass: true };
@@ -135,6 +213,12 @@ export async function evaluatePredicate(session, predicate, since = 0) {
             return { pass: false, failureReason: 'unknown predicate' };
     }
 }
+/** Backstop poll cadence — guarantees a re-check even if no event fires (e.g. a `settled` wait). */
+const POLL_INTERVAL_MS = 150;
+/** Minimum gap between consecutive event-driven rechecks, so an event flood can't drive back-to-back
+ *  DOM/STATE round-trips. Small enough that added pass-detection latency is negligible next to the
+ *  poll cadence, large enough to collapse a per-frame event storm into a bounded recheck rate. */
+const MIN_RECHECK_GAP_MS = 25;
 /**
  * Evaluate now, else wait for it to become true (on each event + a poll) until timeout. `since` is
  * the event-time floor (see evaluatePredicate) so a waiter cannot resolve on a stale buffered event.
@@ -146,6 +230,7 @@ export function waitForPredicate(session, predicate, timeoutMs, since = 0) {
             pass: false,
             failureReason: error instanceof Error ? error.message : String(error),
         });
+        let cooldownTimer;
         const finish = (result) => {
             if (done)
                 return;
@@ -153,23 +238,34 @@ export function waitForPredicate(session, predicate, timeoutMs, since = 0) {
             unsub();
             clearInterval(interval);
             clearTimeout(timer);
+            if (cooldownTimer !== undefined)
+                clearTimeout(cooldownTimer);
             resolve(result);
         };
         // Coalesce re-checks: at most ONE evaluatePredicate is ever in flight (each can be a browser
         // MATCH/STATE_READ round-trip). Events that arrive while one is running set a single trailing
         // re-check instead of each firing their own command — otherwise a page emitting an event per
         // animation frame fans out hundreds of concurrent round-trips and collapses under backpressure.
+        //
+        // Beyond coalescing, PACE the trailing rechecks: without a gap the next eval fired the instant the
+        // previous finished, so under an event flood one round-trip was permanently in flight (~184/sec at
+        // 5ms RTT) — each a live-DOM scan on the app's main thread, the "the dashboard is janky while the
+        // agent waits" case. The FIRST check on an idle loop still runs immediately (leading edge, so fast
+        // detection is unchanged); only back-to-back rechecks under sustained load wait MIN_RECHECK_GAP_MS.
         let inFlight = false;
+        let cooling = false;
         let pendingRecheck = false;
         const check = () => {
             if (done)
                 return;
-            if (inFlight) {
+            if (inFlight || cooling) {
                 pendingRecheck = true;
                 return;
             }
             inFlight = true;
-            void evaluatePredicate(session, predicate, since)
+            // Interim poll: read only `pass`, so skip the extra near-miss round-trips (diagnose=false). The
+            // final timeout eval below runs with full diagnostics.
+            void evaluatePredicate(session, predicate, since, false)
                 .then((r) => {
                 if (r.pass)
                     finish(r);
@@ -179,22 +275,35 @@ export function waitForPredicate(session, predicate, timeoutMs, since = 0) {
             })
                 .finally(() => {
                 inFlight = false;
-                if (pendingRecheck && !done) {
-                    pendingRecheck = false;
-                    check();
-                }
+                if (done)
+                    return;
+                // Enter a short cooldown; process a coalesced recheck when it ends. The 150ms poll is the
+                // backstop, so a missed trailing edge is caught within one interval regardless.
+                cooling = true;
+                cooldownTimer = setTimeout(() => {
+                    cooling = false;
+                    if (pendingRecheck && !done) {
+                        pendingRecheck = false;
+                        check();
+                    }
+                }, MIN_RECHECK_GAP_MS);
             });
         };
         const unsub = session.onEvent(() => {
             check();
         });
-        const interval = setInterval(check, 150);
+        const interval = setInterval(check, POLL_INTERVAL_MS);
         const timer = setTimeout(() => {
             void evaluatePredicate(session, predicate, since)
                 .then((r) => {
+                // Spread the near-miss, do NOT hand-copy two fields. The oracle computes observed / expected
+                // / assertion — the structured cause the repair literature ranks above prose — and the old
+                // `{ pass, evidence, failureReason }` construction DISCARDED them on every timed-out wait and
+                // assert. So the highest-value localization signal was computed and then thrown away exactly
+                // on the failure path where it matters, no matter what the schema declared.
                 finish({
+                    ...r,
                     pass: false,
-                    evidence: r.evidence,
                     failureReason: r.failureReason ?? 'timed out waiting for predicate',
                 });
             })
@@ -205,4 +314,29 @@ export function waitForPredicate(session, predicate, timeoutMs, since = 0) {
         check();
     });
 }
+/**
+ * The ExpectedLinks a GREEN verdict actually PROVED — not merely the ones it declared. Identical to
+ * predicateToExpectedLinks except for `anyOf`: an OR greens on a SINGLE branch, so only the branch that
+ * held may contribute its link. Grading a green anyOf off the declared links would let the honesty grade
+ * claim a signal/net consequence that was only one of the options and never fired — and a `minGrade:net`
+ * gate would then trust a verdict that proved nothing but presence. That is the exact false green the
+ * grade exists to prevent, sitting inside the grade itself.
+ *
+ * Call ONLY on a green verdict: a leaf and every `allOf` branch are returned unconditionally because a
+ * green top verdict guarantees they held (allOf needs all; a bare leaf IS the verdict). Only anyOf, where
+ * green ⇏ this-branch-held, re-checks each branch and keeps the winners.
+ */
+export async function provenExpectedLinks(session, predicate, since = 0) {
+    if (predicate.kind === 'allOf') {
+        const per = await Promise.all(predicate.predicates.map((p) => provenExpectedLinks(session, p, since)));
+        return per.flat();
+    }
+    if (predicate.kind === 'anyOf') {
+        const per = await Promise.all(predicate.predicates.map(async (p) => (await evaluatePredicate(session, p, since)).pass
+            ? provenExpectedLinks(session, p, since)
+            : []));
+        return per.flat();
+    }
+    return predicateToExpectedLinks(predicate);
+}
 //# sourceMappingURL=predicate.js.map

package/dist/events/predicate.js.map

@@ -1 +1 @@
-{"version":3,"file":"predicate.js","sourceRoot":"","sources":["../../src/events/predicate.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,cAAc,GAKf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EACL,eAAe,EACf,UAAU,EACV,OAAO,EACP,SAAS,EACT,WAAW,EACX,aAAa,EACb,UAAU,EACV,WAAW,GAGZ,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,eAAe,EAAE,CAAC;AAY3B,KAAK,UAAU,SAAS,CACtB,OAAyB,EACzB,KAAmB,EACnB,KAA+B;IAE/B,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1E,IAAI,CAAC,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC/D,OAAO,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAgB,CAAC;AACnF,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,OAAyB,EACzB,KAAmB,EACnB,KAA+B,EAC/B,MAAe;IAEf,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,KAAK,CAAC,OAAO;YAClB,CAAC,CAAC;gBACE,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,2CAA2C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;gBAC/E,QAAQ,EAAE,KAAK,CAAC,QAAQ;aACzB;YACH,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IAEnE,2FAA2F;IAC3F,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,oCAAoC,KAAK,GAAG;gBAC3D,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE;aACzC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzD,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,OAAO,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,WAAW,QAAQ,CAAC,QAAQ;qBAC/E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;qBAC3B,IAAI,CAAC,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;aAC1C,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,KAAK;QACX,aAAa,EAAE,sBAAsB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,GAAG,EAAE;KACjH,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,SAAS,CACtB,OAAyB,EACzB,CAAwC;IAExC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,OAAO,CAC/B,cAAc,CAAC,UAAU,EACzB,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAChD,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,CAAC;IACxE,MAAM,MAAM,GAAI,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAA0C,CAAC,MAAM,IAAI,EAAE,CAAC;IACzF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACzE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,KAAK;YACX,aAAa,EACX,KAAK,CAAC,MAAM,KAAK,CAAC;gBAChB,CAAC,CAAC,wCAAwC;gBAC1C,CAAC,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,4BAA4B;SACvE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,eAAe,CAAC,CAAC,IAAI,yBAAyB,SAAS,GAAG;YACzE,QAAQ,EAAE,EAAE,aAAa,EAAE,SAAS,CAAC,aAAa,EAAE;SACrD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE;SAClF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,KAAK;QACX,aAAa,EAAE,UAAU,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QACvH,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE;KAClF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAAyB,EACzB,SAAoB,EACpB,KAAK,GAAG,CAAC;IAET,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC1C,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC;QAC3F,KAAK,MAAM;YACT,OAAO,WAAW,CAChB,OAAO,EACP,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,EAC5B,SAAS,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAC7D,SAAS,CAAC,MAAM,IAAI,KAAK,CAC1B,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACpC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACtC,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACxC,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC1C,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACvC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACvC,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3D,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CACtE,CAAC;YACF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE;gBAC1D,CAAC,CAAC;oBACE,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,iCAAiC;oBACxE,QAAQ,EAAE,OAAO;iBAClB,CAAC;QACR,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CACtE,CAAC;YACF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3C,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;gBAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,mCAAmC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;QAC7F,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YAC3E,OAAO,KAAK,CAAC,IAAI;gBACf,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,qCAAqC,EAAE,QAAQ,EAAE,KAAK,EAAE;gBACxF,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACrB,CAAC;QACD;YACE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,CAAC;IAC/D,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAyB,EACzB,SAAoB,EACpB,SAAiB,EACjB,KAAK,GAAG,CAAC;IAET,OAAO,IAAI,OAAO,CAAa,CAAC,OAAO,EAAE,EAAE;QACzC,IAAI,IAAI,GAAG,KAAK,CAAC;QACjB,MAAM,MAAM,GAAG,CAAC,KAAc,EAAc,EAAE,CAAC,CAAC;YAC9C,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SACtE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,MAAkB,EAAQ,EAAE;YAC1C,IAAI,IAAI;gBAAE,OAAO;YACjB,IAAI,GAAG,IAAI,CAAC;YACZ,KAAK,EAAE,CAAC;YACR,aAAa,CAAC,QAAQ,CAAC,CAAC;YACxB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC,CAAC;QACF,6FAA6F;QAC7F,8FAA8F;QAC9F,6FAA6F;QAC7F,gGAAgG;QAChG,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,cAAc,GAAG,KAAK,CAAC;QAC3B,MAAM,KAAK,GAAG,GAAS,EAAE;YACvB,IAAI,IAAI;gBAAE,OAAO;YACjB,IAAI,QAAQ,EAAE,CAAC;gBACb,cAAc,GAAG,IAAI,CAAC;gBACtB,OAAO;YACT,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;YAChB,KAAK,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC;iBAC9C,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI;oBAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YACxB,CAAC,CAAC;iBACD,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;gBACxB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACxB,CAAC,CAAC;iBACD,OAAO,CAAC,GAAG,EAAE;gBACZ,QAAQ,GAAG,KAAK,CAAC;gBACjB,IAAI,cAAc,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC5B,cAAc,GAAG,KAAK,CAAC;oBACvB,KAAK,EAAE,CAAC;gBACV,CAAC;YACH,CAAC,CAAC,CAAC;QACP,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YACjC,KAAK,EAAE,CAAC;QACV,CAAC,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,KAAK,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC;iBAC9C,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACV,MAAM,CAAC;oBACL,IAAI,EAAE,KAAK;oBACX,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,aAAa,EAAE,CAAC,CAAC,aAAa,IAAI,iCAAiC;iBACpE,CAAC,CAAC;YACL,CAAC,CAAC;iBACD,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;gBACxB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACxB,CAAC,CAAC,CAAC;QACP,CAAC,EAAE,SAAS,CAAC,CAAC;QACd,KAAK,EAAE,CAAC;IACV,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"predicate.js","sourceRoot":"","sources":["../../src/events/predicate.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,cAAc,GAKf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,OAAO,EAAE,SAAS,EAAE,YAAY,EAAsB,MAAM,uBAAuB,CAAC;AACpF,OAAO,EACL,eAAe,EACf,UAAU,EACV,OAAO,EACP,SAAS,EACT,WAAW,EACX,aAAa,EACb,UAAU,EACV,WAAW,GAGZ,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,eAAe,EAAE,CAAC;AAkB3B,KAAK,UAAU,SAAS,CACtB,OAAyB,EACzB,KAAmB,EACnB,KAA+B;IAE/B,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1E,IAAI,CAAC,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC/D,OAAO,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAgB,CAAC;AACnF,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,OAAyB,EACzB,KAAmB,EACnB,KAA+B,EAC/B,MAAe,EACf,QAAiB;IAEjB,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACtC,oGAAoG;IACpG,8CAA8C;IAC9C,gGAAgG;IAChG,kGAAkG;IAClG,mGAAmG;IACnG,iFAAiF;IACjF,oGAAoG;IACpG,qGAAqG;IACrG,6EAA6E;IAC7E,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;YAChC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,CAAC;QACxE,CAAC;QACD,OAAO,KAAK,CAAC,OAAO;YAClB,CAAC,CAAC;gBACE,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,2CAA2C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;gBAC/E,QAAQ,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,wBAAwB,OAAO,EAAE;gBACjE,QAAQ,EAAE,uBAAuB,OAAO,EAAE;gBAC1C,SAAS,EAAE,gBAAgB;gBAC3B,QAAQ,EAAE,KAAK,CAAC,QAAQ;aACzB;YACH,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,iDAAiD,OAAO,aAAa;YACpF,QAAQ,EAAE,gFAAgF;YAC1F,QAAQ,EAAE,uBAAuB,OAAO,2BAA2B;YACnE,SAAS,EAAE,iBAAiB;YAC5B,QAAQ,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE;SACjC,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IAEnE,qGAAqG;IACrG,sGAAsG;IACtG,mGAAmG;IACnG,qGAAqG;IACrG,iEAAiE;IACjE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,sBAAsB,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,GAAG,EAAE;YAClG,QAAQ,EAAE,iCAAiC;YAC3C,QAAQ,EAAE,uBAAuB,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,GAAG,EAAE;YAC9F,SAAS,EAAE,iBAAiB;SAC7B,CAAC;IACJ,CAAC;IAED,2FAA2F;IAC3F,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,oCAAoC,KAAK,GAAG;gBAC3D,QAAQ,EAAE,oBAAoB,OAAO,wBACnC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAC5C,EAAE;gBACF,QAAQ,EAAE,oBAAoB,OAAO,cAAc,KAAK,GAAG;gBAC3D,SAAS,EAAE,eAAe;gBAC1B,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE;aACzC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzD,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,OAAO,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,WAAW,QAAQ,CAAC,QAAQ;qBAC/E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;qBAC3B,IAAI,CAAC,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,wBAAwB,QAAQ,CAAC,QAAQ;qBACxF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;qBAC3B,IAAI,CAAC,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,MAAM,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,GAAG;gBACnD,SAAS,EAAE,mBAAmB;gBAC9B,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;aAC1C,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,KAAK;QACX,aAAa,EAAE,sBAAsB,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,GAAG,EAAE;QAClG,QAAQ,EAAE,iCAAiC;QAC3C,QAAQ,EAAE,uBAAuB,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,GAAG,EAAE;QAC9F,SAAS,EAAE,iBAAiB;KAC7B,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,SAAS,CACtB,OAAyB,EACzB,CAAwC;IAExC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,OAAO,CAC/B,cAAc,CAAC,UAAU,EACzB,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAChD,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;QACZ,OAAO;YACL,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,mBAAmB;YAClC,QAAQ,EAAE,6BAA6B;YACvC,QAAQ,EAAE,6BAA6B;YACvC,SAAS,EAAE,kBAAkB;SAC9B,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAI,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAA0C,CAAC,MAAM,IAAI,EAAE,CAAC;IACzF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACzE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,KAAK;YACX,aAAa,EACX,KAAK,CAAC,MAAM,KAAK,CAAC;gBAChB,CAAC,CAAC,wCAAwC;gBAC1C,CAAC,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,4BAA4B;SACvE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,eAAe,CAAC,CAAC,IAAI,yBAAyB,SAAS,GAAG;YACzE,QAAQ,EAAE,YAAY,CAAC,CAAC,IAAI,eAAe,SAAS,GAAG;YACvD,QAAQ,EAAE,UAAU,SAAS,gBAAgB,CAAC,CAAC,IAAI,GAAG;YACtD,SAAS,EAAE,oBAAoB;YAC/B,QAAQ,EAAE,EAAE,aAAa,EAAE,SAAS,CAAC,aAAa,EAAE;SACrD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE;SAClF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,KAAK;QACX,aAAa,EAAE,UAAU,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QACvH,QAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;QACvE,QAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QAC/C,SAAS,EAAE,cAAc;QACzB,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE;KAClF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAAyB,EACzB,SAAoB,EACpB,KAAK,GAAG,CAAC;AACT,8FAA8F;AAC9F,mGAAmG;AACnG,qGAAqG;AACrG,oFAAoF;AACpF,QAAQ,GAAG,IAAI;IAEf,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC1C,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,SAAS;YACZ,OAAO,WAAW,CAChB,OAAO,EACP,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,MAAM,IAAI,KAAK,EACzB,QAAQ,CACT,CAAC;QACJ,KAAK,MAAM;YACT,OAAO,WAAW,CAChB,OAAO,EACP,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,EAC5B,SAAS,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAC7D,SAAS,CAAC,MAAM,IAAI,KAAK,EACzB,QAAQ,CACT,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACpC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACtC,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACxC,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC1C,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACvC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACvC,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,8FAA8F;YAC9F,gGAAgG;YAChG,+FAA+F;YAC/F,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;YACzC,MAAM,YAAY,GAChB,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5F,OAAO,WAAW,CAAC,YAAY,EAAE,SAAS,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAChF,CAAC;YACF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE;gBAC1D,CAAC,CAAC;oBACE,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,iCAAiC;oBACxE,QAAQ,EAAE,OAAO;iBAClB,CAAC;QACR,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAChF,CAAC;YACF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3C,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;gBAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,mCAAmC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;QAC7F,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YACrF,OAAO,KAAK,CAAC,IAAI;gBACf,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,qCAAqC,EAAE,QAAQ,EAAE,KAAK,EAAE;gBACxF,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACrB,CAAC;QACD;YACE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,oGAAoG;AACpG,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAC7B;;kGAEkG;AAClG,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAyB,EACzB,SAAoB,EACpB,SAAiB,EACjB,KAAK,GAAG,CAAC;IAET,OAAO,IAAI,OAAO,CAAa,CAAC,OAAO,EAAE,EAAE;QACzC,IAAI,IAAI,GAAG,KAAK,CAAC;QACjB,MAAM,MAAM,GAAG,CAAC,KAAc,EAAc,EAAE,CAAC,CAAC;YAC9C,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SACtE,CAAC,CAAC;QACH,IAAI,aAAwD,CAAC;QAC7D,MAAM,MAAM,GAAG,CAAC,MAAkB,EAAQ,EAAE;YAC1C,IAAI,IAAI;gBAAE,OAAO;YACjB,IAAI,GAAG,IAAI,CAAC;YACZ,KAAK,EAAE,CAAC;YACR,aAAa,CAAC,QAAQ,CAAC,CAAC;YACxB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,aAAa,KAAK,SAAS;gBAAE,YAAY,CAAC,aAAa,CAAC,CAAC;YAC7D,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC,CAAC;QACF,6FAA6F;QAC7F,8FAA8F;QAC9F,6FAA6F;QAC7F,gGAAgG;QAChG,EAAE;QACF,mGAAmG;QACnG,mGAAmG;QACnG,kGAAkG;QAClG,mGAAmG;QACnG,oGAAoG;QACpG,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,cAAc,GAAG,KAAK,CAAC;QAC3B,MAAM,KAAK,GAAG,GAAS,EAAE;YACvB,IAAI,IAAI;gBAAE,OAAO;YACjB,IAAI,QAAQ,IAAI,OAAO,EAAE,CAAC;gBACxB,cAAc,GAAG,IAAI,CAAC;gBACtB,OAAO;YACT,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;YAChB,gGAAgG;YAChG,uDAAuD;YACvD,KAAK,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC;iBACrD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI;oBAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YACxB,CAAC,CAAC;iBACD,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;gBACxB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACxB,CAAC,CAAC;iBACD,OAAO,CAAC,GAAG,EAAE;gBACZ,QAAQ,GAAG,KAAK,CAAC;gBACjB,IAAI,IAAI;oBAAE,OAAO;gBACjB,0FAA0F;gBAC1F,gFAAgF;gBAChF,OAAO,GAAG,IAAI,CAAC;gBACf,aAAa,GAAG,UAAU,CAAC,GAAG,EAAE;oBAC9B,OAAO,GAAG,KAAK,CAAC;oBAChB,IAAI,cAAc,IAAI,CAAC,IAAI,EAAE,CAAC;wBAC5B,cAAc,GAAG,KAAK,CAAC;wBACvB,KAAK,EAAE,CAAC;oBACV,CAAC;gBACH,CAAC,EAAE,kBAAkB,CAAC,CAAC;YACzB,CAAC,CAAC,CAAC;QACP,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YACjC,KAAK,EAAE,CAAC;QACV,CAAC,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,KAAK,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC;iBAC9C,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACV,6FAA6F;gBAC7F,2FAA2F;gBAC3F,8FAA8F;gBAC9F,6FAA6F;gBAC7F,4EAA4E;gBAC5E,MAAM,CAAC;oBACL,GAAG,CAAC;oBACJ,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE,CAAC,CAAC,aAAa,IAAI,iCAAiC;iBACpE,CAAC,CAAC;YACL,CAAC,CAAC;iBACD,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;gBACxB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACxB,CAAC,CAAC,CAAC;QACP,CAAC,EAAE,SAAS,CAAC,CAAC;QACd,KAAK,EAAE,CAAC;IACV,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAAyB,EACzB,SAAoB,EACpB,KAAK,GAAG,CAAC;IAET,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,GAAG,CAC3B,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CACxE,CAAC;QACF,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;IACpB,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,GAAG,CAC3B,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CACnC,CAAC,MAAM,iBAAiB,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI;YAC/C,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC;YACxC,CAAC,CAAC,EAAE,CACP,CACF,CAAC;QACF,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;IACpB,CAAC;IACD,OAAO,wBAAwB,CAAC,SAAS,CAAC,CAAC;AAC7C,CAAC"}

package/dist/events/ring-buffer.d.ts

@@ -6,15 +6,15 @@ interface RingBufferOptions {
 }
 /**
  * Bounded, time-aware event store per session. The single data structure that powers
- * observe()/wait_for()/assert() — it lets us look both backward (recent buffer) and
+ * observe/wait_for/assert — it lets us look both backward (recent buffer) and
  * forward (await new events).
  *
- * Eviction advances a HEAD index instead of shift()/splice() — O(1) per dropped event (was O(n) per
+ * Eviction advances a HEAD index instead of shift/splice — O(1) per dropped event (was O(n) per
  * shift, i.e. O(n) per push at steady state under the DOM/animation floods). The dead prefix is
  * compacted away once it dominates, so the backing arrays stay bounded (amortized O(1)).
  *
  * `now` is injected so the buffer is deterministically testable (inject the clock, never call
- * Date.now() inside logic).
+ * Date.now inside logic).
  */
 export declare class RingBuffer {
     #private;

package/dist/events/ring-buffer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ring-buffer.d.ts","sourceRoot":"","sources":["../../src/events/ring-buffer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE1E,UAAU,iBAAiB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,UAAU;;gBAWT,OAAO,GAAE,iBAAsB;IAU3C,IAAI,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI;IAU/D,mDAAmD;IACnD,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,EAAE;IAIrC,4DAA4D;IAC5D,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,YAAY,EAAE;IAwCrD,qGAAqG;IACrG,YAAY,IAAI;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;CAGnD"}
+{"version":3,"file":"ring-buffer.d.ts","sourceRoot":"","sources":["../../src/events/ring-buffer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmC,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAqBrF,UAAU,iBAAiB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,UAAU;;gBAWT,OAAO,GAAE,iBAAsB;IAU3C,IAAI,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI;IAU/D,mDAAmD;IACnD,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,EAAE;IAIrC,4DAA4D;IAC5D,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,YAAY,EAAE;IAqErD,qGAAqG;IACrG,YAAY,IAAI;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;CAGnD"}

package/dist/events/ring-buffer.js

@@ -1,15 +1,32 @@
-import { RING_BUFFER_DEFAULTS } from '@reticlehq/core';
+import { EventType, RING_BUFFER_DEFAULTS } from '@reticlehq/core';
+/**
+ * The high-volume, low-signal floor. These fire continuously on any live page (count-up text, CSS
+ * animation frames, React commits, health heartbeats, scroll) and are the ONLY thing that should be
+ * sacrificed when the buffer is full. Everything else — a failed request, a console error, a domain
+ * signal, a truncation/blind-spot marker — is scarce evidence a verdict depends on, and a churning
+ * region must never be able to push it out of the window.
+ */
+const CHURN_TYPES = new Set([
+    EventType.DOM_TEXT,
+    EventType.ANIM_START,
+    EventType.ANIM_END,
+    EventType.RENDER_COMMIT,
+    EventType.PAGE_HEALTH,
+    EventType.SCROLL_POSITION,
+]);
+/** How far forward to look for a churn event to sacrifice before falling back to plain FIFO. */
+const CHURN_SCAN_LIMIT = 256;
 /**
  * Bounded, time-aware event store per session. The single data structure that powers
- * observe()/wait_for()/assert() — it lets us look both backward (recent buffer) and
+ * observe/wait_for/assert — it lets us look both backward (recent buffer) and
  * forward (await new events).
  *
- * Eviction advances a HEAD index instead of shift()/splice() — O(1) per dropped event (was O(n) per
+ * Eviction advances a HEAD index instead of shift/splice — O(1) per dropped event (was O(n) per
  * shift, i.e. O(n) per push at steady state under the DOM/animation floods). The dead prefix is
  * compacted away once it dominates, so the backing arrays stay bounded (amortized O(1)).
  *
  * `now` is injected so the buffer is deterministically testable (inject the clock, never call
- * Date.now() inside logic).
+ * Date.now inside logic).
  */
 export class RingBuffer {
     #maxEvents;
@@ -62,11 +79,31 @@ export class RingBuffer {
     #evict(now) {
         const cutoff = now - this.#maxAgeMs;
         const before = this.#liveCount();
-        // Drop from the head for cap, then bytes, then age — advancing #head is O(1) each (no shift).
+        // Cap/byte pressure: sacrifice the CHURN floor before scarce evidence. The head is usually churn on
+        // a busy page, so this stays the O(1) head-advance; only when the oldest event is worth keeping do we
+        // look forward (bounded) for a churn event to drop instead.
+        // Byte pressure keeps at least ONE event: a single event larger than the whole byte budget would
+        // otherwise be pushed and then immediately self-evicted, so a waiter for it never saw it and only
+        // `dropped` moved. Bytes is a soft cap and per-value serialization already bounds any one event, so
+        // keeping the sole survivor over the budget is the correct trade. The count cap (maxEvents, ~2000)
+        // is a hard bound and stays `> maxEvents`.
         while (this.#liveCount() > this.#maxEvents ||
-            (this.#totalBytes > this.#maxBytes && this.#liveCount() > 0)) {
-            this.#totalBytes -= this.#eventBytes[this.#head] ?? 0;
-            this.#head += 1;
+            (this.#totalBytes > this.#maxBytes && this.#liveCount() > 1)) {
+            if (CHURN_TYPES.has(this.#events[this.#head]?.type ?? '')) {
+                this.#totalBytes -= this.#eventBytes[this.#head] ?? 0;
+                this.#head += 1;
+                continue;
+            }
+            const victim = this.#findChurnAfterHead();
+            if (victim === -1) {
+                // Buffer genuinely full of high-signal events — fall back to FIFO so it stays bounded.
+                this.#totalBytes -= this.#eventBytes[this.#head] ?? 0;
+                this.#head += 1;
+                continue;
+            }
+            this.#totalBytes -= this.#eventBytes[victim] ?? 0;
+            this.#events.splice(victim, 1); // order preserved; victim > #head so the head stays valid
+            this.#eventBytes.splice(victim, 1);
         }
         while (this.#liveCount() > 0 && (this.#events[this.#head]?.t ?? cutoff) < cutoff) {
             this.#totalBytes -= this.#eventBytes[this.#head] ?? 0;
@@ -80,6 +117,15 @@ export class RingBuffer {
             this.#head = 0;
         }
     }
+    /** First churn event after the head, or -1 if none within the bounded scan (keeps eviction cheap). */
+    #findChurnAfterHead() {
+        const end = Math.min(this.#events.length, this.#head + CHURN_SCAN_LIMIT);
+        for (let i = this.#head + 1; i < end; i++) {
+            if (CHURN_TYPES.has(this.#events[i]?.type ?? ''))
+                return i;
+        }
+        return -1;
+    }
     /** Snapshot of buffer health for the agent — live events held and cumulative drops since connect. */
     bufferHealth() {
         return { total: this.#liveCount(), dropped: this.#droppedCount };

package/dist/events/ring-buffer.js.map

@@ -1 +1 @@
-{"version":3,"file":"ring-buffer.js","sourceRoot":"","sources":["../../src/events/ring-buffer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAqB,MAAM,iBAAiB,CAAC;AAQ1E;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,UAAU;IACZ,UAAU,CAAS;IACnB,SAAS,CAAS;IAClB,SAAS,CAAS;IAC3B,OAAO,GAAmB,EAAE,CAAC;IAC7B,WAAW,GAAa,EAAE,CAAC;IAC3B,qGAAqG;IACrG,KAAK,GAAG,CAAC,CAAC;IACV,WAAW,GAAG,CAAC,CAAC;IAChB,aAAa,GAAG,CAAC,CAAC;IAElB,YAAY,UAA6B,EAAE;QACzC,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,SAAS,IAAI,oBAAoB,CAAC,UAAU,CAAC;QACvE,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,QAAQ,IAAI,oBAAoB,CAAC,UAAU,CAAC;QACrE,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,QAAQ,IAAI,oBAAoB,CAAC,SAAS,CAAC;IACtE,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,KAAmB,EAAE,GAAW,EAAE,QAAiB;QACtD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,kGAAkG;QAClG,kGAAkG;QAClG,MAAM,KAAK,GAAG,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QAC3E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IAED,mDAAmD;IACnD,KAAK,CAAC,MAAc;QAClB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,4DAA4D;IAC5D,MAAM,CAAC,QAAgB,EAAE,GAAW;QAClC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED,gGAAgG;IAChG,WAAW,CAAC,MAAc;QACxB,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;QACpB,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC7B,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM;gBAAE,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;;gBAClD,EAAE,GAAG,GAAG,CAAC;QAChB,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,CAAC,GAAW;QAChB,MAAM,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACjC,8FAA8F;QAC9F,OACE,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,UAAU;YACnC,CAAC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,EAC5D,CAAC;YACD,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;YACjF,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,aAAa,IAAI,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACjD,4FAA4F;QAC5F,IAAI,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC/D,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,qGAAqG;IACrG,YAAY;QACV,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;IACnE,CAAC;CACF"}
+{"version":3,"file":"ring-buffer.js","sourceRoot":"","sources":["../../src/events/ring-buffer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,oBAAoB,EAAqB,MAAM,iBAAiB,CAAC;AAErF;;;;;;GAMG;AACH,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAS;IACvD,SAAS,CAAC,QAAQ;IAClB,SAAS,CAAC,UAAU;IACpB,SAAS,CAAC,QAAQ;IAClB,SAAS,CAAC,aAAa;IACvB,SAAS,CAAC,WAAW;IACrB,SAAS,CAAC,eAAe;CAC1B,CAAC,CAAC;AAEH,gGAAgG;AAChG,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAQ7B;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,UAAU;IACZ,UAAU,CAAS;IACnB,SAAS,CAAS;IAClB,SAAS,CAAS;IAC3B,OAAO,GAAmB,EAAE,CAAC;IAC7B,WAAW,GAAa,EAAE,CAAC;IAC3B,qGAAqG;IACrG,KAAK,GAAG,CAAC,CAAC;IACV,WAAW,GAAG,CAAC,CAAC;IAChB,aAAa,GAAG,CAAC,CAAC;IAElB,YAAY,UAA6B,EAAE;QACzC,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,SAAS,IAAI,oBAAoB,CAAC,UAAU,CAAC;QACvE,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,QAAQ,IAAI,oBAAoB,CAAC,UAAU,CAAC;QACrE,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,QAAQ,IAAI,oBAAoB,CAAC,SAAS,CAAC;IACtE,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,KAAmB,EAAE,GAAW,EAAE,QAAiB;QACtD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,kGAAkG;QAClG,kGAAkG;QAClG,MAAM,KAAK,GAAG,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QAC3E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IAED,mDAAmD;IACnD,KAAK,CAAC,MAAc;QAClB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,4DAA4D;IAC5D,MAAM,CAAC,QAAgB,EAAE,GAAW;QAClC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED,gGAAgG;IAChG,WAAW,CAAC,MAAc;QACxB,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;QACpB,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC7B,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM;gBAAE,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;;gBAClD,EAAE,GAAG,GAAG,CAAC;QAChB,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,CAAC,GAAW;QAChB,MAAM,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACjC,oGAAoG;QACpG,sGAAsG;QACtG,4DAA4D;QAC5D,iGAAiG;QACjG,kGAAkG;QAClG,oGAAoG;QACpG,mGAAmG;QACnG,2CAA2C;QAC3C,OACE,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,UAAU;YACnC,CAAC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,EAC5D,CAAC;YACD,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC1D,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC1C,IAAI,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;gBAClB,uFAAuF;gBACvF,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,0DAA0D;YAC1F,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;YACjF,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,aAAa,IAAI,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACjD,4FAA4F;QAC5F,IAAI,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC/D,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,sGAAsG;IACtG,mBAAmB;QACjB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,GAAG,gBAAgB,CAAC,CAAC;QACzE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;gBAAE,OAAO,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC;IAED,qGAAqG;IACrG,YAAY;QACV,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;IACnE,CAAC;CACF"}

package/dist/flows/affected.d.ts

@@ -0,0 +1,25 @@
+/**
+ * The file→flow reverse index — the heart of the unavoidable loop. When a file changes, which flows must
+ * re-verify? A flow persists the source files its anchors were stamped from (its "sources manifest"); a
+ * changed file that appears in a flow's manifest makes that flow affected. A flow with NO manifest
+ * (recorded before v2.2, or un-stampable) is `unknown` — and unknown always means affected, never
+ * silently skipped: the loop fails safe toward re-verifying.
+ */
+export interface FlowSources {
+    name: string;
+    /** Repo-relative source files this flow's anchors came from. Empty/absent ⇒ unknown provenance. */
+    sources?: readonly string[];
+}
+export interface AffectedResult {
+    /** Flows to re-verify: those touching a changed file, plus all unknown-provenance flows. */
+    affected: string[];
+    /** Of the affected, which were included only because their provenance is unknown (fail-safe). */
+    unknownProvenance: string[];
+}
+/**
+ * Which flows are affected by a set of changed files. Deterministic; a flow with no sources manifest is
+ * always affected (fail-safe). `changedFiles` and flow sources are matched by normalized path suffix so
+ * a repo-relative change matches an absolute stamp and vice-versa.
+ */
+export declare function affectedFlows(flows: readonly FlowSources[], changedFiles: readonly string[]): AffectedResult;
+//# sourceMappingURL=affected.d.ts.map

package/dist/flows/affected.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"affected.d.ts","sourceRoot":"","sources":["../../src/flows/affected.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,mGAAmG;IACnG,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,cAAc;IAC7B,4FAA4F;IAC5F,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iGAAiG;IACjG,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAOD;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,YAAY,EAAE,SAAS,MAAM,EAAE,GAC9B,cAAc,CAkBhB"}

package/dist/flows/affected.js

@@ -0,0 +1,36 @@
+/**
+ * The file→flow reverse index — the heart of the unavoidable loop. When a file changes, which flows must
+ * re-verify? A flow persists the source files its anchors were stamped from (its "sources manifest"); a
+ * changed file that appears in a flow's manifest makes that flow affected. A flow with NO manifest
+ * (recorded before v2.2, or un-stampable) is `unknown` — and unknown always means affected, never
+ * silently skipped: the loop fails safe toward re-verifying.
+ */
+/** Normalize a path for comparison — strip a leading./ and any file:line suffix. */
+function normalize(path) {
+    return path.replace(/^\.\//, '').replace(/:\d+(:\d+)?$/, '');
+}
+/**
+ * Which flows are affected by a set of changed files. Deterministic; a flow with no sources manifest is
+ * always affected (fail-safe). `changedFiles` and flow sources are matched by normalized path suffix so
+ * a repo-relative change matches an absolute stamp and vice-versa.
+ */
+export function affectedFlows(flows, changedFiles) {
+    const changed = changedFiles.map(normalize);
+    const matchesChange = (source) => {
+        const s = normalize(source);
+        return changed.some((c) => c === s || c.endsWith(`/${s}`) || s.endsWith(`/${c}`));
+    };
+    const affected = [];
+    const unknownProvenance = [];
+    for (const flow of flows) {
+        if (flow.sources === undefined || flow.sources.length === 0) {
+            affected.push(flow.name);
+            unknownProvenance.push(flow.name);
+            continue;
+        }
+        if (flow.sources.some(matchesChange))
+            affected.push(flow.name);
+    }
+    return { affected, unknownProvenance };
+}
+//# sourceMappingURL=affected.js.map

package/dist/flows/affected.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"affected.js","sourceRoot":"","sources":["../../src/flows/affected.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAeH,oFAAoF;AACpF,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,KAA6B,EAC7B,YAA+B;IAE/B,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,CAAC,MAAc,EAAW,EAAE;QAChD,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAC5B,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACpF,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC;AACzC,CAAC"}

package/dist/flows/annotate.d.ts

@@ -4,10 +4,10 @@ import { type Annotation, type AnnotateOutcome } from '@reticlehq/core';
  * the current captured-step count → an AnnotateOutcome (a result envelope + the patch to apply to
  * the AnnotationStore). No IO, no clock, unit-testable in isolation.
  *
- *   assert-signal  → step.expect.signal (+ signalData)   on the LAST step (needs ≥1 step)
- *   assert-visible → step.expect.element.testid          on the LAST step (needs ≥1 step)
- *   mark-dynamic   → flow.dynamic[] += testid            flow-level, allowed with 0 steps
- *   success-state  → flow.success = { signal | element } flow-level (signal XOR testid; both → signal)
+ * assert-signal → step.expect.signal (+ signalData) on the LAST step (needs ≥1 step)
+ * assert-visible → step.expect.element.testid on the LAST step (needs ≥1 step)
+ * mark-dynamic → flow.dynamic[] += testid flow-level, allowed with 0 steps
+ * success-state → flow.success = { signal | element } flow-level (signal XOR testid; both → signal)
  *
  * FIRST CUT: only the four structured kinds above. Free natural-language annotation → predicate
  * compilation is explicitly FUTURE — an NL string never reaches here (AnnotationSchema

package/dist/flows/annotate.js

@@ -4,10 +4,10 @@ import { AnnotationErrorCode, AnnotationKind, AnnotationTarget, COMPILED_PREDICA
  * the current captured-step count → an AnnotateOutcome (a result envelope + the patch to apply to
  * the AnnotationStore). No IO, no clock, unit-testable in isolation.
  *
- *   assert-signal  → step.expect.signal (+ signalData)   on the LAST step (needs ≥1 step)
- *   assert-visible → step.expect.element.testid          on the LAST step (needs ≥1 step)
- *   mark-dynamic   → flow.dynamic[] += testid            flow-level, allowed with 0 steps
- *   success-state  → flow.success = { signal | element } flow-level (signal XOR testid; both → signal)
+ * assert-signal → step.expect.signal (+ signalData) on the LAST step (needs ≥1 step)
+ * assert-visible → step.expect.element.testid on the LAST step (needs ≥1 step)
+ * mark-dynamic → flow.dynamic[] += testid flow-level, allowed with 0 steps
+ * success-state → flow.success = { signal | element } flow-level (signal XOR testid; both → signal)
  *
  * FIRST CUT: only the four structured kinds above. Free natural-language annotation → predicate
  * compilation is explicitly FUTURE — an NL string never reaches here (AnnotationSchema

package/dist/flows/assertion-integrity.d.ts

@@ -0,0 +1,24 @@
+import { type FlowExpect } from '@reticlehq/core';
+/**
+ * Anti-reward-hacking (research-mandated). Test-gated agents pass gates by WEAKENING assertions — the
+ * canonical documented failure. Flows are git-checked and agent-editable, so a mustHold that dropped
+ * from a consequence (signal/net/state) to presence-only since the last passing run is a downgrade the
+ * gate must flag as a first-class finding, never silently accept. This is the pure detector; the gate
+ * and flow_verify surface it.
+ */
+/** True when `after` weakened `before` — a real consequence became a fakeable presence-only check. */
+export declare function isAssertionDowngrade(before: FlowExpect | undefined, after: FlowExpect | undefined): boolean;
+export interface StepExpect {
+    step: number;
+    expect?: FlowExpect;
+}
+export interface DowngradeFinding {
+    step: number;
+}
+/**
+ * Compare a flow's steps between its last-passing version and now (matched by step index). Reports each
+ * step whose assertion tier dropped. Steps added/removed are out of scope here — deleted-flow detection
+ * lives with the affected index.
+ */
+export declare function detectDowngrades(before: readonly StepExpect[], after: readonly StepExpect[]): DowngradeFinding[];
+//# sourceMappingURL=assertion-integrity.d.ts.map