@ai-ecoverse/slicc-browsers 1.8.0 → 1.8.1

package/README.md

@@ -300,7 +300,9 @@ every alternative of an `any`, or a required (`all`, `not` or plain) check, need
 selects one variant or an array; omission selects all. `parallel` defaults to 1.
 With the `browserContexts` capability each leg runs in its own browser context. A `Target.createBrowserContext` that fails with a timeout is retried once, and the row's `notes` records it; any other failure fails the row.
 
-`settleScale` (default 1) multiplies every bound the runner waits on: settles (beacon, served, title and load), `paused`, page and child loads, the wait for a background step's `as` result (`<as> did not complete within <ms>ms`), and the wait for an observation. Adopters on slow hosts can set 3 or 4. Every wait polls and returns as soon as its event arrives, so a larger bound only costs time when something is really missing, and each timeout error names the bound it used. An observation read from the fixture (`observer: "fixture"`, such as a beacon or a served request) that the leg expects to be `true` is polled for up to 5000 ms (scaled) instead of read once. One that the leg expects to be `false` is still read once.
+`settleScale` (default 1) multiplies the bounds of waits for events the leg expects to happen: settles (beacon, served, title and load) on the control leg and `required` settles on either leg, `paused` on the control leg, page and child loads, the wait for a background step's `as` result (`<as> did not complete within <ms>ms`), and the wait for an observation the leg expects to be `true`. Adopters on slow hosts can set 3 or 4. Every wait polls and returns as soon as its event arrives, so a larger bound only costs time when something is really missing, and each timeout error names the bound it used. An observation read from the fixture (`observer: "fixture"`, such as a beacon or a served request) that the leg expects to be `true` is polled for up to 5000 ms (scaled) instead of read once. One that the leg expects to be `false` is still read once.
+
+`refusalScale` (default 1) multiplies the bounds of waits for what the guarded leg expects to be absent, the beacon, request, title or navigation that the guard should block: settles that are not `required`, and `paused`, on the guarded leg. Such a wait runs to its full bound whenever the guard works, so `settleScale` leaves it alone. The trade-off: a larger `refusalScale` gives more sensitivity to a leak that arrives late on a slow host, because the observations after the wait see it, at the cost of that much more time per guarded row. Adopters should keep `refusalScale` at 1 or higher, never below 1; the runner refuses a `refusalScale` below 1 with `refusalScale must be a number of at least 1`.
 
 `onStart(row)` receives each row's `id`, `target`, `variant`, `transport` and `via` as the row starts. `run()` returns a promise that also has `inFlight()`, and its result has `inFlight` too. `inFlight()` lists the rows that are running now, each as `{ id, target, variant, leg, phase, step, clients }`, where `step` is the index of the current step in its `phase` (`setup`, `trigger` or `child`), and `clients` lists each client's pending CDP calls as `{ method, session, ageMs }` (`client`, plus `unguarded` when it is a separate client). With `rowTimeoutMs`, a row still running after that many milliseconds fails on its own. Its `errors` hold `row timed out after <ms>ms: <the in-flight view>`, `inFlight` holds the view, and the clients that `clientFactory` made for it are closed. The run then goes on to the next row. It is off by default, and a client passed as `client` is never closed.
 

package/guard-runner.mjs

@@ -117,6 +117,7 @@ class Execution {
       (step) => step.children && step.where
     );
     this.scale = options.settleScale ?? 1;
+    this.refusalScale = options.refusalScale ?? 1;
     this.childRuns = new Map();
     this.named = new Map();
     this.processed = new Set();
@@ -169,12 +170,12 @@ class Execution {
     return out;
   }
 
-  bound(ms) {
-    return Math.round(ms * this.scale);
+  bound(ms, absent = false) {
+    return Math.round(ms * (absent ? this.refusalScale : this.scale));
   }
 
-  async poll(predicate, ms = 1500) {
-    const deadline = Date.now() + this.bound(ms);
+  async poll(predicate, ms = 1500, absent = false) {
+    const deadline = Date.now() + this.bound(ms, absent);
     do {
       if (await predicate()) return true;
       await sleep(25);
@@ -524,7 +525,7 @@ class Execution {
             event.params?.request?.url === url &&
             this.rule(event)?.url === url
         );
-    if (!(await this.poll(seen, ms)) && this.side === 'control')
+    if (!(await this.poll(seen, ms, this.side === 'guarded')) && this.side === 'control')
       this.errors.push(`paused: no pause for ${url} within ${this.bound(ms)}ms`);
   }
 
@@ -660,13 +661,14 @@ class Execution {
       );
     };
     const alt = settle.or;
+    const absent = this.side === 'guarded' && !settle.required;
     if (refused() && !alt) return skipped();
     if (settle.variant) await sleep(this.delay);
     if (settle.title && !this.reader) {
-      await sleep(this.bound(settle.ms ?? 1500));
+      await sleep(this.bound(settle.ms ?? 1500, absent));
       return;
     }
-    const met = await this.poll(async () => {
+    const arrived = async () => {
       if (refused()) return !alt || (await this.check(alt));
       if (settle.served) return this.requestCheck({ served: settle.served, tagged: false });
       if (settle.beacon)
@@ -685,7 +687,8 @@ class Execution {
             .slice(index + 1)
             .some((e) => e.method === 'Page.loadEventFired' && e.sessionId === event.sessionId)
       );
-    }, settle.ms ?? 1500);
+    };
+    const met = await this.poll(arrived, settle.ms ?? 1500, absent);
     if (refused() && !alt) return skipped();
     if (settle.required && !met)
       this.errors.push(
@@ -1419,13 +1422,22 @@ function validateBlocked(vectors) {
       throw new TypeError(`${vector.id}: blocked needs exactly one url or nonempty anyOf`);
 }
 
-function validate(set, opts) {
-  if (!opts.fixture?.log) throw new TypeError('fixture.log is required');
+function validateScales(opts) {
   if (
     opts.settleScale !== undefined &&
     !(Number.isFinite(opts.settleScale) && opts.settleScale > 0)
   )
     throw new TypeError('settleScale must be a positive number');
+  if (
+    opts.refusalScale !== undefined &&
+    !(Number.isFinite(opts.refusalScale) && opts.refusalScale >= 1)
+  )
+    throw new TypeError('refusalScale must be a number of at least 1');
+}
+
+function validate(set, opts) {
+  if (!opts.fixture?.log) throw new TypeError('fixture.log is required');
+  validateScales(opts);
   for (const vector of set.vectors)
     for (const [name, observation] of Object.entries(vector.observe ?? {}))
       if (!observation.check) throw new TypeError(`${vector.id}: ${name} lacks a check`);

package/guard-vectors.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "setVersion": "1.8.0",
+  "setVersion": "1.8.1",
   "sources": [
     {
       "repo": "ai-ecoverse/slicc-cli",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ai-ecoverse/slicc-browsers",
-  "version": "1.8.0",
+  "version": "1.8.1",
   "description": "SLICC's shared browser catalog, JSON schemas and discovery conformance corpus",
   "type": "module",
   "license": "Apache-2.0",
@@ -65,7 +65,7 @@
     "trust:dry": "npx fledgling sync --dry-run -y --skip-publish",
     "release": "semantic-release",
     "test:guard": "npm run test:guard-integration && npm run test:guard-sweep",
-    "test:guard-integration": "node --test test/integration/guard-fit.test.mjs test/integration/guard-chain.test.mjs test/integration/guard-validation.test.mjs test/integration/guard-liveness.test.mjs test/integration/guard-observations.test.mjs test/integration/guard-child-latency.test.mjs test/integration/guard-adoption.test.mjs test/integration/guard-scoping.test.mjs test/integration/guard-late-pause.test.mjs test/integration/guard-legs.test.mjs test/integration/guard-diagnostics.test.mjs test/integration/guard-chrome.test.mjs",
+    "test:guard-integration": "node --test test/integration/guard-fit.test.mjs test/integration/guard-chain.test.mjs test/integration/guard-validation.test.mjs test/integration/guard-liveness.test.mjs test/integration/guard-observations.test.mjs test/integration/guard-child-latency.test.mjs test/integration/guard-adoption.test.mjs test/integration/guard-scoping.test.mjs test/integration/guard-late-pause.test.mjs test/integration/guard-legs.test.mjs test/integration/guard-diagnostics.test.mjs test/integration/guard-chrome.test.mjs test/integration/guard-scales.test.mjs",
     "test:guard-sweep": "node scripts/test-guards.mjs",
     "test:gates": "node --test test/integration/gates.test.mjs",
     "test:guard-target": "node --test test/integration/guard-runner.test.mjs",