@ai-ecoverse/slicc-browsers 1.7.8 → 1.7.10

package/README.md

@@ -171,7 +171,7 @@ Any `cdp`, `page` or `children` step can take `requires`, the capabilities it ne
   `hops` routes `url` through `/hop` on each `origin`, with its `code`.
 - `{ "answer": { "url", "stage"?, "cdp"?, "params"?, "hold"? } }`: answer each paused request or auth challenge for `url` with that call; `hold` leaves it paused. Every other paused request continues unchanged.
 - `{ "children": steps, "where"? }`: run these steps on each target auto-attached from then on, then resume it. `where` scopes them to the row's own target: `{ "openerId": "page" }` (opened by the row's page) or `{ "urlPrefix": url }`; other attached targets are resumed and otherwise left alone.
-- `{ "settle": { "beacon"?, "served"?, "title"?, "ms"?, "variant"?, "session"? } }`: wait for a beacon from `beacon`, for the fixture to log a request for the URL `served`, for the page `title`, or for the session to detach. It waits up to `ms` (10000 by default), then another 600 ms. `variant` waits the run's detach variant instead.
+- `{ "settle": { "beacon"?, "served"?, "title"?, "ms"?, "variant"?, "session"?, "dependsOn"?, "or"? } }`: wait for a beacon from `beacon`, for the fixture to log a request for the URL `served`, for the page `title`, or for the session to detach. When a refusal in `dependsOn` was recorded, the beacon can't come: a settle with `or` (a check) then waits until `or` holds, and one without it is skipped. Without such a refusal, `or` plays no part. Each beacon settle after an init script depends on that script's registration, and its `or` is what the row reads: the hops and the destination for the redirect chains, or the served page otherwise. It waits up to `ms` (10000 by default), then another 600 ms. `variant` waits the run's detach variant instead.
 - `{ "wait": ms }`.
 - `{ "paused": { "url", "ms" } }`: wait until the client has seen the pause that an `answer` rule for `url` matches (`Fetch.requestPaused` at the rule's stage, or `Fetch.authRequired` for a `Fetch.continueWithAuth` rule). It waits up to `ms`. On the control leg, a pause that never comes fails the row with `paused: no pause for <url> within <ms>ms`. On the guarded leg the guard may hide that pause, so the step waits the full `ms` and doesn't fail. The C5 guessed-id vectors and `C5.auth` use it before their second request, so the probe's interception id falls between the two ids the guess spans.
 - `{ "guess": { "between", "cdp", "params" }, "as" }`: the call for each request id between the ids paused for the two URLs.
@@ -513,6 +513,7 @@ for case in corpus().cases {
 Go 1.26, Rust stable with `wasm32-wasip1`, Node ≥ 24.
 - `npm run corpus` regenerates `corpus.json` from `corpus/`; the pre-commit hook and CI fail when it's stale.
 - `npm run validate` checks `catalog.json`, `corpus.json`, `protected.json` and `guard-vectors.json` against the schemas, runs the protected-origin vectors through `protected.mjs`, and checks what a schema can't say: unique ids, bundle ids and names, known Windows roots, rising tiers, compiling patterns, known tokens, tier order, `sevenOpen`, `tabs` (which holds no entry of `sevenTabs`), `six` and `auto` in each `expected.json`, and no port from 9222 to 9229.
+- Every gate prints one verdict line when it passes: `validate: PASS …`, `corpus: PASS <n> cases` (`node scripts/corpus.mjs --check`), `major-guard: PASS v<version> fits <module>`, and `guard-sweep: PASS 5 targets` (`npm run test:guard-sweep`). CI runs each through `scripts/gate.mjs --expect <regex> -- <command>`, which fails when the command exits non-zero or prints no matching line, so a silent or early exit never reads as a pass. `gate.mjs --expect <regex> --in <file>` checks a log instead; the release job uses it on semantic-release's log for the major-guard line. `npm run test:gates` tests the gates, including runs through a symlinked checkout and a symlinked script.
 - `npm run lint`: the slicc lint tools (Biome, no comments, no unit tests in git, `AGENTS.md`), `gofmt`, `go mod tidy -diff`, `go vet`, golangci-lint, `cargo fmt --check` and clippy.
 - `npm test`: `validate`, the Go tests in `test/integration/`, and `cargo test --all-features`.
 - `npm run build`: the Go module, the crate (also for `wasm32-wasip1`), and `npm pack --dry-run`.

package/guard-runner.mjs

@@ -635,14 +635,15 @@ class Execution {
         `settle:skipped-refused ${settle.beacon ? `beacon ${settle.beacon}` : settle.served ? `request ${settle.served}` : settle.title ? `title ${settle.title}` : 'load'}`
       );
     };
-    if (refused()) return skipped();
+    const alt = settle.or;
+    if (refused() && !alt) return skipped();
     if (settle.variant) await sleep(this.delay);
     if (settle.title && !this.reader) {
       await sleep(settle.ms ?? 1500);
       return;
     }
     const met = await this.poll(async () => {
-      if (refused()) return true;
+      if (refused()) return !alt || (await this.check(alt));
       if (settle.served) return this.requestCheck({ served: settle.served, tagged: false });
       if (settle.beacon)
         return (
@@ -661,7 +662,7 @@ class Execution {
             .some((e) => e.method === 'Page.loadEventFired' && e.sessionId === event.sessionId)
       );
     }, settle.ms ?? 1500);
-    if (refused()) return skipped();
+    if (refused() && !alt) return skipped();
     if (settle.required && !met)
       this.errors.push(
         `settle: no ${settle.beacon ? `beacon from ${settle.beacon}` : settle.served ? `request for ${settle.served}` : settle.title ? `title ${settle.title}` : 'load'} within ${settle.ms ?? 1500}ms`

package/guard-vectors.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "setVersion": "1.7.8",
+  "setVersion": "1.7.10",
   "sources": [
     {
       "repo": "ai-ecoverse/slicc-cli",
@@ -138,7 +138,12 @@
         },
         {
           "settle": {
-            "beacon": "{target}"
+            "beacon": "{target}",
+            "dependsOn": ["refused.3"],
+            "or": {
+              "served": "{target}/doc?n={tag}",
+              "observer": "fixture"
+            }
           }
         }
       ],
@@ -362,7 +367,36 @@
         },
         {
           "settle": {
-            "beacon": "{target}"
+            "beacon": "{target}",
+            "dependsOn": ["refused.3"],
+            "ms": 5000,
+            "or": {
+              "all": [
+                {
+                  "hops": [
+                    {
+                      "origin": "{ordinary}",
+                      "code": 301
+                    },
+                    {
+                      "origin": "{cross}",
+                      "code": 302
+                    },
+                    {
+                      "origin": "{ordinary}",
+                      "code": 303
+                    }
+                  ],
+                  "to": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                },
+                {
+                  "served": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                }
+              ],
+              "observer": "client"
+            }
           }
         }
       ],
@@ -981,7 +1015,36 @@
         },
         {
           "settle": {
-            "beacon": "{target}"
+            "beacon": "{target}",
+            "dependsOn": ["refused.3"],
+            "ms": 5000,
+            "or": {
+              "all": [
+                {
+                  "hops": [
+                    {
+                      "origin": "{ordinary}",
+                      "code": 307
+                    },
+                    {
+                      "origin": "{cross}",
+                      "code": 308
+                    },
+                    {
+                      "origin": "{ordinary}",
+                      "code": 302
+                    }
+                  ],
+                  "to": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                },
+                {
+                  "served": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                }
+              ],
+              "observer": "client"
+            }
           }
         }
       ],
@@ -1600,7 +1663,36 @@
         },
         {
           "settle": {
-            "beacon": "{target}"
+            "beacon": "{target}",
+            "dependsOn": ["refused.3"],
+            "ms": 5000,
+            "or": {
+              "all": [
+                {
+                  "hops": [
+                    {
+                      "origin": "{cross}",
+                      "code": 303
+                    },
+                    {
+                      "origin": "{ordinary}",
+                      "code": 301
+                    },
+                    {
+                      "origin": "{cross}",
+                      "code": 308
+                    }
+                  ],
+                  "to": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                },
+                {
+                  "served": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                }
+              ],
+              "observer": "client"
+            }
           }
         }
       ],
@@ -2215,7 +2307,32 @@
         },
         {
           "settle": {
-            "beacon": "{target}"
+            "beacon": "{target}",
+            "dependsOn": ["refused.3"],
+            "ms": 5000,
+            "or": {
+              "all": [
+                {
+                  "hops": [
+                    {
+                      "origin": "{ordinary}",
+                      "code": 307
+                    },
+                    {
+                      "origin": "{cross}",
+                      "code": 308
+                    }
+                  ],
+                  "to": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                },
+                {
+                  "served": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                }
+              ],
+              "observer": "client"
+            }
           }
         }
       ],
@@ -2662,7 +2779,32 @@
         },
         {
           "settle": {
-            "beacon": "{target}"
+            "beacon": "{target}",
+            "dependsOn": ["refused.3"],
+            "ms": 5000,
+            "or": {
+              "all": [
+                {
+                  "hops": [
+                    {
+                      "origin": "{cross}",
+                      "code": 308
+                    },
+                    {
+                      "origin": "{ordinary}",
+                      "code": 307
+                    }
+                  ],
+                  "to": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                },
+                {
+                  "served": "{target}/doc?n={tag}",
+                  "observer": "fixture"
+                }
+              ],
+              "observer": "client"
+            }
           }
         }
       ],
@@ -3109,7 +3251,12 @@
         },
         {
           "settle": {
-            "beacon": "{cross}"
+            "beacon": "{cross}",
+            "dependsOn": ["refused.3"],
+            "or": {
+              "served": "{cross}/doc?n={tag}-after",
+              "observer": "fixture"
+            }
           }
         }
       ],
@@ -3560,7 +3707,12 @@
         },
         {
           "settle": {
-            "beacon": "{cross}"
+            "beacon": "{cross}",
+            "dependsOn": ["refused.3"],
+            "or": {
+              "served": "{cross}/doc?n={tag}-after",
+              "observer": "fixture"
+            }
           }
         }
       ],
@@ -4034,7 +4186,12 @@
         {
           "settle": {
             "beacon": "{target}",
-            "session": "child"
+            "session": "child",
+            "dependsOn": ["refused.2", "refused.5"],
+            "or": {
+              "served": "{target}/doc?n={tag}",
+              "observer": "fixture"
+            }
           }
         },
         {
@@ -4282,7 +4439,12 @@
         {
           "settle": {
             "beacon": "{target}",
-            "ms": 5000
+            "ms": 5000,
+            "dependsOn": ["refused.2", "refused.5"],
+            "or": {
+              "served": "{target}/doc?n={tag}",
+              "observer": "fixture"
+            }
           }
         },
         {
@@ -4528,7 +4690,12 @@
         {
           "settle": {
             "beacon": "{target}",
-            "ms": 5000
+            "ms": 5000,
+            "dependsOn": ["refused.2", "refused.5"],
+            "or": {
+              "served": "{target}/doc?n={tag}",
+              "observer": "fixture"
+            }
           }
         },
         {
@@ -5204,7 +5371,12 @@
         {
           "settle": {
             "beacon": "{target}",
-            "ms": 4000
+            "ms": 4000,
+            "dependsOn": ["refused.3", "refused.7", "refused.8"],
+            "or": {
+              "served": "{target}/doc?n={tag}",
+              "observer": "fixture"
+            }
           }
         },
         {
@@ -5446,7 +5618,12 @@
         {
           "settle": {
             "beacon": "{target}",
-            "ms": 4000
+            "ms": 4000,
+            "dependsOn": ["refused.3", "refused.7", "refused.8"],
+            "or": {
+              "served": "{target}/doc?n={tag}",
+              "observer": "fixture"
+            }
           }
         },
         {
@@ -5685,7 +5862,12 @@
         {
           "settle": {
             "beacon": "{target}",
-            "ms": 4000
+            "ms": 4000,
+            "dependsOn": ["refused.3"],
+            "or": {
+              "served": "{target}/doc?n={tag}",
+              "observer": "fixture"
+            }
           }
         },
         {
@@ -5930,7 +6112,12 @@
         {
           "settle": {
             "beacon": "{target}",
-            "ms": 4000
+            "ms": 4000,
+            "dependsOn": ["refused.3"],
+            "or": {
+              "served": "{target}/doc?n={tag}",
+              "observer": "fixture"
+            }
           }
         },
         {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ai-ecoverse/slicc-browsers",
-  "version": "1.7.8",
+  "version": "1.7.10",
   "description": "SLICC's shared browser catalog, JSON schemas and discovery conformance corpus",
   "type": "module",
   "license": "Apache-2.0",
@@ -67,11 +67,12 @@
     "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: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",
     "test:unit:guard": "node --experimental-test-coverage --test --test-coverage-include=guard-runner.mjs --test-coverage-include=fixture-server.mjs --test-coverage-lines=100 test/unit/guard-*.test.mjs"
   },
   "devDependencies": {
-    "@ai-ecoverse/slicc-shared-web": "1.23.1",
+    "@ai-ecoverse/slicc-shared-web": "1.23.2",
     "@biomejs/biome": "2.5.15",
     "ajv": "8.20.0",
     "ajv-formats": "3.0.1",

package/schema/guard-vectors.schema.json

@@ -585,6 +585,9 @@
                 "served": {
                   "type": "string"
                 },
+                "or": {
+                  "$ref": "#/$defs/check"
+                },
                 "title": {
                   "type": "string"
                 },