@openwop/openwop-conformance 2.0.1 → 2.0.3

package/CHANGELOG.md

@@ -1,5 +1,25 @@
 # `@openwop/openwop-conformance` Changelog
 
+## [2.0.3] — 2026-09-06 — a selector that asked the wrong question, and a window that convicted a host for its own width
+
+**`v2-effect-seam-no-refire` selected on a branch permission to witness a replay obligation.** The filter was `guarded === true && branchReFires === false`. `replay.md:78`: *"A host MAY suppress branch effects and MUST NOT report that as replay suppression."* Replay suppression is unconditional (§Suppression rule 1) and does not vary with `branchReFires`, which states only what a **branch** re-fires by design. Every `guarded: true` row is a valid target; the filter now selects on `guarded` alone. `branchReFires` is also optional, so `=== false` additionally excluded rows merely silent on it. Found by the reference host, whose ten `branchReFires: true` rows are all honest and which was about to build `fireEffectSeam` for a scenario that would have kept recording `inapplicable` afterwards.
+
+**`v2-webhook-durable-delivery`'s at-least-once leg convicted a host for the suite's window.** The 204 arrives on attempt `FAIL_FIRST + 1`, costing the **sum** of the first `FAIL_FIRST` backoff intervals — `30 + 60 = 90 s` on exponential-from-30s, against a cap of exactly `90_000`. The interval is not advertised (`retryPolicy` is `additionalProperties: false` over `{ maxAttempts, backoff }`), so the wait is underivable and any cap is a guess. The leg now records **`blocked`** with the arithmetic, not `executed-fail`.
+
+**The cost:** a host that retries forever and never succeeds also records `blocked` now. That is a missed detection traded for a false conviction, and it returns only by advertising the interval — an RFC and a 2.1.0.
+
+Both defects encoded a condition the obligation does not have: one a flag the requirement never mentions, one a deadline it never sets.
+
+## [2.0.2] — 2026-09-06 — 2.0.1's own fix could not run: the derived wait exceeded the harness timeout that governs it
+
+A regression in 2.0.1, measured by the host that reported the defect 2.0.1 fixed. On a 2.0.1 re-cut one row moved, the wrong way: `0173.webhook-durable-delivery.dead-letter` went `executed-pass` → `executed-fail`.
+
+2.0.1 widened the retry wait to a 90 s cap and left both `it()` blocks on the harness default (`vitest.config.ts` `testTimeout: 30_000`, no per-test override). **A wait longer than the timeout that governs it can never elapse** — the test dies at 30 s with "Test timed out in 30000ms". The dead-letter leg is worse than one wait: `waitTerminal` plus **two** sequential `retryWaitMs` waits, up to 191 s inside a 30 s budget. And it took a passing row with it — `dead-letter` passed at rc.67 by observing `attempts.length > 1` inside the old 20 s window, and 2.0.1 moved that leg onto `retryWaitMs` too.
+
+Both `it()` blocks now take a timeout **derived from the wait constant** — `RETRY_WAIT_CAP_MS + WAIT_SLACK_MS`, and twice the cap for the two-wait leg — rather than a second literal, so a later change to the wait carries its own budget.
+
+The shape is the defect 2.0.1 fixed, displaced one layer: 2.0.1 stopped the scenario blaming a host for a deadline *the scenario* chose, then let *the harness* choose a shorter one silently, on exactly the durable hosts the widening was written to help.
+
 ## [2.0.1] — 2026-09-05 — the webhook durability scenario read the wrong carrier and imposed its own deadline
 
 Two defects in `v2-webhook-durable-delivery`, both reported by a host running against 2.0.0.

package/dist/spec-artifacts.lock.json

@@ -1,5 +1,5 @@
 {
   "package": "@openwop/spec-artifacts",
-  "version": "2.0.1",
-  "stampSha256": "58332ded443bd030809e2da256d3d4ea381d3b3bc605421b89b26336800b0acc"
+  "version": "2.0.3",
+  "stampSha256": "cd21cd9edd9233e417635a42460f40ed592ebe459ecadfd52400f8dfbd8435b3"
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@openwop/openwop-conformance",
-  "version": "2.0.1",
+  "version": "2.0.3",
   "description": "Production-ready black-box conformance suite for OpenWOP v1.0 compliant servers.",
   "repository": {
     "type": "git",
@@ -56,6 +56,6 @@
     "@openwop/spec-artifacts": "file:../spec-artifacts"
   },
   "peerDependencies": {
-    "@openwop/spec-artifacts": "2.0.1"
+    "@openwop/spec-artifacts": "2.0.3"
   }
 }

package/requirements.json

@@ -26623,7 +26623,7 @@
       "explicitId": "openwop.requirement.0173.effect-seam-no-refire",
       "citations": [
         {
-          "section": "spec/v2/core/replay.md §The effect-seam manifest",
+          "section": "spec/v2/core/replay.md §Suppression",
           "requirement": null,
           "interpolated": true
         }
@@ -29006,7 +29006,7 @@
     {
       "id": "openwop.it.v2-webhook-durable-delivery.a-failed-attempt-is-retried-and-the-event-is-delivered-at-least-once",
       "file": "v2-webhook-durable-delivery.test.ts",
-      "line": 196,
+      "line": 232,
       "title": "a failed attempt is retried and the event is delivered at least once",
       "explicitId": "openwop.requirement.0173.webhook-durable-delivery",
       "citations": [
@@ -29023,10 +29023,6 @@
           "requirement": null,
           "interpolated": true
         },
-        {
-          "section": "webhooks.md §Durability",
-          "requirement": "at-least-once: after the failing attempts the retry MUST land (the receiver answered 204 to the third attempt for the key)"
-        },
         {
           "section": "webhooks.md §Durability",
           "requirement": null,
@@ -29041,7 +29037,7 @@
     {
       "id": "openwop.it.v2-webhook-durable-delivery.an-exhausted-delivery-is-dead-lettered-never-dropped",
       "file": "v2-webhook-durable-delivery.test.ts",
-      "line": 250,
+      "line": 313,
       "title": "an exhausted delivery is dead-lettered, never dropped",
       "explicitId": "openwop.requirement.0173.webhook-durable-delivery.dead-letter",
       "citations": [

package/schemas/CORPUS-STAMP.json

@@ -1,17 +1,17 @@
 {
   "_comment": "Provenance of @openwop/spec-artifacts (RFC 0168 §D.2). files: SHA-256 per file; the conformance suite compares the installed peer against dist/spec-artifacts.lock.json at start.",
   "package": "@openwop/spec-artifacts",
-  "version": "2.0.1",
-  "corpusTag": "v2.0.1",
+  "version": "2.0.3",
+  "corpusTag": "v2.0.3",
   "files": {
     "api/.redocly.lint-ignore.yaml": "bf5a8350b88a72fa43f59605ed8d903ed24b6cfccda5e45509c9f6ed9ee4e712",
     "api/asyncapi.yaml": "d5ecb9ee6114582be3b1f662c84bfac9ae96dae7bacb853e461168f70a8e1c7d",
     "api/grpc/openwop.proto": "c3e72bb17cba514ee98feb6434e6c9b6ea6795bfd086489ec69fd882dd1ad977",
     "api/openapi.yaml": "39081c59fb696159806b0f2f9a42e7e9ff830d622fcf2ad4159b21357580a955",
     "api/redocly.yaml": "b0604c89b2ca6d5076ec25725c539dad44a741a811fe524439ee6daef8baa09f",
-    "api/seams-v2.yaml": "3eb009580df13443f96f60f311f1b3755b76d1170e0dd4bdc44e0019a4be49bb",
-    "api/v2/asyncapi.yaml": "3b454a919cacedd86a292475f43ea7523806c75b5c2ee4e4363cc693c103f6fd",
-    "api/v2/openapi.yaml": "ba5ff45d479682e77ebe4f5f8e8700fdf96e09cdd70820b9c78287618b2f1072",
+    "api/seams-v2.yaml": "371368d382f64c6025b3c328f1c0d8ebbc5f3a3f974b3bf889e281a891af9186",
+    "api/v2/asyncapi.yaml": "3ab2d59c0a9b64bfeb4b1e8eebdb332de83d324ac66bc36a98fd59d7838e574a",
+    "api/v2/openapi.yaml": "6213c7997bc9700077e21096f555688e0be5061a24436bbe972c4d42afb9419f",
     "api/v2/redocly.yaml": "1e66b60e6118ad11a823bb620678be464d99dfe50a40e3e6f93ec9429b88b34c",
     "schemas/README.md": "0c0b737ffcf8f30e7d2809cec8a498232de710f41443212922ad8337cdde0b51",
     "schemas/a2a-task-state.schema.json": "c9365918f993f943b4b619d42551eb066a1ed33a08d895d51b395432a5b1f1bc",
@@ -199,7 +199,7 @@
     "schemas/workspace-file.schema.json": "464de85c2a068243084ee9c1d969bc7cd5d8f7948574e58450d6493c38a0e1e4",
     "spec/v1/alias-detectors.json": "fee4594ef49953953ffcd0b3813300067d16b3e65ebff2aac722034ac9b3f545",
     "spec/v1/capability-declaration-classes.json": "e7729aed5c4b4e1dd02abab0530f14cc95f5d4070fe51fb139e7f5cccefa00c6",
-    "spec/v1/core-standard-manifest.json": "321048584e70be5855e13edd75566635e980d69f3541d88d3fb7a51c38c22942",
+    "spec/v1/core-standard-manifest.json": "0f6e3852415ea4a3dbc9359d78f94bffa28d71a7d21da9271ebe50475b3133e0",
     "spec/v1/deprecations.json": "1d5acb69a9b8ccb57275a95605f74aef1d920685f8407c9d382a46b59dc803bb",
     "spec/v1/deprecations.schema.json": "18c87e78bedc210431f795ae44c5b5d202f2f3317850d5cf86867d4f1fa1cdfb",
     "spec/v1/event-codemap.json": "3da60d884157793a360da532a9fcbbfb5285636db325a74cec94b34622186d97",
@@ -230,8 +230,8 @@
     "spec/v2/path-manifest.json": "034152e09b1458c66810d4050e20a273b2b9b8fe2d92b66e8b819477de58a1be",
     "spec/v2/peer-dependency-aliases.json": "d10299280abee08258502925bc327293ee413e0108cd6e6ec75ff6110653308d",
     "spec/v2/profiles.json": "0636f19fceae625390003a347e70ef4797d84766b5c24ce8a02cea52aadebca4",
-    "spec/v2/release.json": "88167a813c554bb90f0356bcc365b57415820c2bb1f52fc2e0e15e64f032ef0e",
+    "spec/v2/release.json": "02478dd3e9e5ba5fc54e1e14a4e2ee0f8d539a02c99bfa62cd9f4cd78cee7d0d",
     "spec/v2/retention-floors.json": "eaf3722d95c79947af1d4269ef85117e126518c588cfcf1a2b21b97269f51624"
   },
-  "corpusCommit": "91912e2e57a4c5ad124075780e456e63ee91eb9f"
+  "corpusCommit": "c600da7988e0efab5d3122c33435988dbfb11c4a"
 }

package/src/scenarios/v2-effect-seam-no-refire.test.ts

@@ -56,8 +56,27 @@ describe('RFC 0173 §C.2 — effect-seam-no-refire (gated on replay, seam-driven
     const manifest = await driver.get(MANIFEST_PATH);
     const seamRows: SeamRow[] = manifest.status === 200 && manifest.json && typeof manifest.json === 'object'
       ? ((manifest.json as Manifest).seams ?? []) : [];
-    const target = seamRows.find((r) => r.guarded === true && r.branchReFires === false);
-    if (!target) return softSkip('inapplicable', `no manifest row is both guarded and branchReFires: false — nothing to witness suppression on (${seamRows.length} row(s) at ${MANIFEST_PATH})`);
+    // Select ANY guarded row (suite 2.0.3). Until 2.0.2 this read
+    // `r.guarded === true && r.branchReFires === false` — it selected on a
+    // BRANCH permission to witness a REPLAY obligation, which `replay.md:78`
+    // forbids in one sentence: "A host MAY suppress branch effects and MUST NOT
+    // report that as replay suppression." §Suppression rule 1 is unconditional
+    // ("a node that performs an external side effect … MUST NOT perform it")
+    // and does not vary with `branchReFires`, whose own schema description is
+    // "RFC 0140 G6 — a `branch` fork re-fires this seam by design".
+    //
+    // Two defects in one line. `branchReFires` is also OPTIONAL (`required:
+    // ["seam","kind","guarded","guardedBy"]`), so `=== false` additionally
+    // excluded every row that is merely silent on the permission.
+    //
+    // Found by the reference host, which had ten honest `branchReFires: true`
+    // rows — every seam it owns does re-fire on a branch, by design — and was
+    // about to build `fireEffectSeam` to satisfy a scenario that would have
+    // gone on recording `inapplicable` after the work landed. It asked instead
+    // of inventing a `false` row, which would have made this pass by lying
+    // about the seam.
+    const target = seamRows.find((r) => r.guarded === true);
+    if (!target) return softSkip('inapplicable', `no manifest row is guarded — nothing to witness suppression on (${seamRows.length} row(s) at ${MANIFEST_PATH})`);
     const fired = await driver.post(`${SEAMS_PREFIX}/sample/effect-seams/fire`, { seam: String(target.seam) });
     if (fired.status === 404 || fired.status === 403 || fired.status === 405) {
       return softSkip('blocked', `the host advertises the seams profile but does not serve ${SEAMS_PREFIX}/sample/effect-seams/fire (answered ${fired.status}) — the no-re-fire leg cannot be driven`);
@@ -98,7 +117,7 @@ describe('RFC 0173 §C.2 — effect-seam-no-refire (gated on replay, seam-driven
     if (forkEffects.status !== 200) return softSkip('blocked', `GET /runs/{runId}/effects answered ${forkEffects.status} on the replay fork`);
     expect(
       countOf(forkEffects),
-      req('openwop.requirement.0173.effect-seam-no-refire', 'spec/v2/core/replay.md §The effect-seam manifest', `seam ${String(target.seam)} states branchReFires: false, so a replay fork MUST NOT issue a further attempt through it — the fork's effect ledger (${countOf(forkEffects)}) cannot exceed the parent's (${countOf(parentEffects)})`),
+      req('openwop.requirement.0173.effect-seam-no-refire', 'spec/v2/core/replay.md §Suppression', `seam ${String(target.seam)} is guarded, so a replay fork MUST NOT issue a further attempt through it — suppression is unconditional for mode: replay (§Suppression rule 1) and does not depend on branchReFires, which states only what a BRANCH may re-fire (§Branch: a host "MUST NOT report that as replay suppression"). The fork's effect ledger (${countOf(forkEffects)}) cannot exceed the parent's (${countOf(parentEffects)})`),
     ).toBeLessThanOrEqual(countOf(parentEffects));
   });
 });

package/src/scenarios/v2-webhook-durable-delivery.test.ts

@@ -175,6 +175,42 @@ function retryWaitMs(doc: Record<string, unknown>): number {
   return backoff === 'exponential' || backoff === 'fixed' ? RETRY_WAIT_CAP_MS : RETRY_WAIT_FLOOR_MS;
 }
 
+/**
+ * The per-test budget, DERIVED from the wait above (suite 2.0.2).
+ *
+ * 2.0.1 raised the derived wait to 90 s and left the `it()` blocks on the
+ * harness default (`vitest.config.ts` `testTimeout: 30_000`). A wait longer
+ * than the timeout that governs it can never elapse: on exactly the durable
+ * hosts the widening was written to help, the test died at 30 s with "Test
+ * timed out in 30000ms" — and took `dead-letter` with it, which had passed at
+ * the old 20 s window. Measured by a host on 2.0.1 (`00337-dgw`): one row moved
+ * `executed-pass -> executed-fail` and it was this one.
+ *
+ * The shape is the defect 2.0.1 itself fixed, one layer out: 2.0.1 stopped the
+ * scenario blaming a host for a deadline the SCENARIO chose, and then let the
+ * HARNESS choose a shorter one silently. So the budget is computed from
+ * `RETRY_WAIT_CAP_MS` rather than written as a second literal — a later change
+ * to the wait carries its own timeout, the way the advert is sourced from the
+ * constant the delivery loop reads. `WAIT_SLACK_MS` covers `waitTerminal`,
+ * registration and the HTTP round trips around the waits.
+ */
+/**
+ * How many attempts the receiver refuses before answering 204 (suite 2.0.3).
+ *
+ * The retry leg's success witness lands on attempt `FAIL_FIRST + 1`, so this
+ * number decides how much backoff the scenario has to sit through. It is a
+ * named constant rather than a literal at the `startReceiver` call because the
+ * blocked-reason quotes it: the message a host reads must be computed from the
+ * receiver the suite actually started, not from a number typed twice.
+ */
+const FAIL_FIRST = 2;
+
+const WAIT_SLACK_MS = 30_000;
+/** One `retryWaitMs` wait (the retry leg). */
+const RETRY_TEST_TIMEOUT_MS = RETRY_WAIT_CAP_MS + WAIT_SLACK_MS;
+/** Two sequential `retryWaitMs` waits (the dead-letter leg: observe a retry, then exhaust). */
+const DEAD_LETTER_TEST_TIMEOUT_MS = RETRY_WAIT_CAP_MS * 2 + WAIT_SLACK_MS;
+
 /** Register the suite receiver; null (with a note) when the host's SSRF guard refuses a loopback URL. */
 async function register(url: string): Promise<{ webhookId: string } | null> {
   const registration = resolveRegistrationUrl(url);
@@ -199,7 +235,7 @@ describe('RFC 0173 §B — webhook-durable-delivery (gated on webhooks)', () =>
     if (!(await gateFamily('webhooks'))) return softSkip('inapplicable', 'webhooks family not advertised (gate recorded under openwop.family.webhooks)');
     if (!fixtureAdvertised(doc, FIXTURE)) return softSkip('inapplicable', `${FIXTURE} fixture not advertised — no run to deliver`);
 
-    const receiver = await startReceiver(2); // 500, 500, then 204
+    const receiver = await startReceiver(FAIL_FIRST); // 500, 500, then 204
     active = receiver.server;
     const sub = await register(receiver.url);
     if (sub === null) return softSkip('blocked', 'registration refused (reason recorded above)');
@@ -221,10 +257,37 @@ describe('RFC 0173 §B — webhook-durable-delivery (gated on webhooks)', () =>
       attempts.length,
       req('openwop.requirement.0173.webhook-durable-delivery', 'webhooks.md §Durability', `a 500 from the subscriber MUST be retried — ${failedThenSucceeded} failed attempt(s) were answered and the host made ${attempts.length} attempt(s) in total; one attempt is best-effort delivery, which is not a conforming mode (RFC 0173 §B)`),
     ).toBeGreaterThan(1);
-    expect(
-      retried,
-      req('openwop.requirement.0173.webhook-durable-delivery', 'webhooks.md §Durability', 'at-least-once: after the failing attempts the retry MUST land (the receiver answered 204 to the third attempt for the key)'),
-    ).toBe(true);
+    // At-least-once: the retry MUST eventually land. When it has not landed
+    // inside our window this records `blocked`, NOT `executed-fail` — suite
+    // 2.0.3, and this is the third time this file has had to learn it.
+    //
+    // The receiver answers 204 only on attempt `FAIL_FIRST + 1`, so reaching it
+    // costs the SUM of the first FAIL_FIRST backoff intervals, not the largest
+    // one. On an exponential-from-30s policy that is 30 + 60 = 90 s, which is
+    // exactly RETRY_WAIT_CAP_MS — a host loses by the width of one delivery.
+    // The obvious fix is to derive the wait from the intervals, and it cannot
+    // be built: `spec/v2/facets/webhooks.schema.json` `retryPolicy` is
+    // `additionalProperties: false` over exactly { maxAttempts, backoff }.
+    // THE BASE INTERVAL IS NOT ON THE WIRE, so the suite cannot compute the
+    // time to the Nth attempt, and any cap I pick is 2.0.1's 20-second
+    // deadline again with a bigger literal.
+    //
+    // So the honest disposition is `blocked`: the host took the obligation on
+    // (it advertises webhooks and we observed it retry) and the suite could not
+    // measure the outcome (RFC 0148 §A). Not `inapplicable` — that would claim
+    // it never took the obligation on.
+    //
+    // THE COST, stated rather than hidden: a host that retries forever and
+    // never succeeds now also records `blocked` instead of failing. This trades
+    // a false conviction for a missed detection. Detection comes back by
+    // putting the interval on the wire — an additive `retryPolicy` field so the
+    // sum is derivable — which is normative surface, an RFC and a 2.1.0, not a
+    // patch. Recorded here so the trade is visible at the assertion rather than
+    // only in a changelog.
+    if (!retried) {
+      const policyNote = advertisedRetryPolicy(doc);
+      return softSkip('blocked', `the retry was observed (${attempts.length} attempts) but the receiver's 204 did not land inside the ${retryWaitMs(doc)}ms window: it answers 204 only on attempt ${FAIL_FIRST + 1}, which costs the SUM of the first ${FAIL_FIRST} backoff intervals, and webhooks.retryPolicy carries only { maxAttempts, backoff${policyNote ? `: ${String(policyNote.backoff)}` : ''} } — the base interval is not advertised, so the suite cannot derive how long to wait. Unmeasured, not unmet (RFC 0148 §A).`);
+    }
     // Backoff: the retry MUST NOT be a tight loop — consecutive attempts for one
     // key are spaced. Only asserted when the host advertises a non-`none` backoff.
     const policy = advertisedRetryPolicy(doc);
@@ -245,7 +308,7 @@ describe('RFC 0173 §B — webhook-durable-delivery (gated on webhooks)', () =>
 
     const del = await driver.delete(`/webhooks/${encodeURIComponent(sub.webhookId)}`);
     expect(del.status, req('openwop.requirement.0173.webhook-durable-delivery', 'webhooks.md §Surfaces', 'DELETE /webhooks/{webhookId} MUST answer 204')).toBe(204);
-  });
+  }, RETRY_TEST_TIMEOUT_MS);
 
   it('an exhausted delivery is dead-lettered, never dropped', async () => {
     const doc = await discovery();
@@ -285,5 +348,5 @@ describe('RFC 0173 §B — webhook-durable-delivery (gated on webhooks)', () =>
     // (no GET /webhooks/{webhookId}/dead-letters). Without a normative read the
     // routing to the sink is not observable from the suite.
     return softSkip('blocked', 'no normative dead-letter read surface for webhook deliveries in api/v2/openapi.yaml (a GET /webhooks/{webhookId}/dead-letters projection is needed) — exhaustion was observed, routing to the sink was not');
-  });
+  }, DEAD_LETTER_TEST_TIMEOUT_MS);
 });