@openwop/openwop-conformance 1.130.0 → 1.131.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@openwop/openwop-conformance",
-  "version": "1.130.0",
+  "version": "1.131.0",
   "description": "Production-ready black-box conformance suite for OpenWOP v1.0 compliant servers.",
   "repository": {
     "type": "git",

package/schemas/CORPUS-STAMP.json

@@ -1,5 +1,5 @@
 {
   "_comment": "Provenance of this vendored schemas/ copy. See conformance/README.md \u00a7\"Resolving the contract\". Compare against the stamp in your installed @openwop/openwop-conformance to detect a stale hand-copied contract.",
-  "suiteVersion": "1.130.0",
-  "corpusCommit": "6c603a19a1985f2ae05ef77504e2c189c9ea75bf"
+  "suiteVersion": "1.131.0",
+  "corpusCommit": "b2a25cf7013d21838b8b5abeaea7dff12355bfc5"
 }

package/src/scenarios/compensation-recovery.test.ts

@@ -34,6 +34,14 @@
  * extension is `blocked` here (named as such via `seamAbsent`) and keeps its
  * `compensation-behavior` witness — the base and the extension are different
  * claims and are recorded separately.
+ *
+ * Mode matters, and the first host to advertise pointed it out: `seamAbsent`
+ * records `blocked` in DEFAULT mode but THROWS under
+ * `OPENWOP_REQUIRE_BEHAVIOR=true` (RFC 0148 §B — an advertised capability
+ * whose witness seam is missing is a failure in strict certification, not a
+ * disposition). So a host that flips `compensation.supported` on without the
+ * §21 recovery extension is honest-red here in strict runs. Wire the extension
+ * with the advert, or run default mode and read the `blocked` rows.
  */
 
 import { describe, it, expect } from 'vitest';

package/src/scenarios/org-position-no-authority-escalation.test.ts

@@ -55,6 +55,15 @@ describe('org-position-no-authority-escalation (RFC 0087 §B, behavioral)', () =
     const chart = await getOrgChart();
     if (chart === null) return seamAbsent('host advertises org-position authority but GET /v1/agents/org-chart is not served');
 
+    // An EMPTY chart has nothing that could carry authority: the invariant is
+    // unobservable, and RFC 0148 §A says unobservable is `blocked`, not a
+    // zero-assertion pass (which is what this leg recorded on such a host).
+    if ((chart.members ?? []).length === 0 && (chart.departments ?? []).length === 0) {
+      return seamAbsent('host advertises org-position authority but the org chart is EMPTY — no member or department to check; the invariant is unobservable until the host seeds one');
+    }
+    // The chart root is a wire object too.
+    expectNoAuthority(chart as unknown as Record<string, unknown>, 'the org-chart root');
+
     for (const m of chart.members ?? []) {
       expectNoAuthority(m as Record<string, unknown>, 'an org-chart member');
     }

package/src/scenarios/workspace-behavior.test.ts

@@ -22,6 +22,7 @@
 
 import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
+import { softSkip, seamAbsent } from '../lib/soft-skip.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
 
 interface DiscoveryWorkspace {
@@ -49,7 +50,7 @@ interface WorkspaceFile {
 
 describe('workspace-behavior: §C CRUD round-trip (RFC 0059)', () => {
   it('PUT creates v1, GET returns it, list omits content, DELETE removes it', async () => {
-    if (!(await workspaceCap())) return;
+    if (!(await workspaceCap())) return softSkip('inapplicable', 'optional advertisement — `capabilities.workspace` not advertised by this host (RFC 0059 §A)');
     const path = 'behavior/CRUD.md';
 
     const created = await driver.put(`${FILES}/${encodeURIComponent(path)}`, { content: 'first body' });
@@ -78,7 +79,7 @@ describe('workspace-behavior: §C CRUD round-trip (RFC 0059)', () => {
 
 describe('workspace-behavior: §C optimistic concurrency (RFC 0059)', () => {
   it('stale If-Match → 409 workspace_conflict; matching If-Match bumps version', async () => {
-    if (!(await workspaceCap())) return;
+    if (!(await workspaceCap())) return softSkip('inapplicable', 'optional advertisement — `capabilities.workspace` not advertised by this host (RFC 0059 §A)');
     const path = 'behavior/ETAG.md';
 
     const v1 = await driver.put(`${FILES}/${encodeURIComponent(path)}`, { content: 'v1' });
@@ -101,7 +102,7 @@ describe('workspace-behavior: §C optimistic concurrency (RFC 0059)', () => {
 describe('workspace-behavior: §C size ceiling (RFC 0059)', () => {
   it('content beyond maxFileBytes returns workspace_too_large', async () => {
     const cap = await workspaceCap();
-    if (cap === null) return;
+    if (cap === null) return softSkip('inapplicable', 'optional advertisement — `capabilities.workspace` not advertised by this host (RFC 0059 §A)');
     const max = typeof cap.maxFileBytes === 'number' ? cap.maxFileBytes : 1_048_576;
     const tooBig = 'x'.repeat(max + 1);
     const res = await driver.put(`${FILES}/${encodeURIComponent('behavior/TOOBIG.md')}`, { content: tooBig });
@@ -112,14 +113,14 @@ describe('workspace-behavior: §C size ceiling (RFC 0059)', () => {
 
 describe('workspace-behavior: §D run-start snapshot (RFC 0059)', () => {
   it('a run started after a write exposes the workspace snapshot', async () => {
-    if (!(await workspaceCap())) return;
+    if (!(await workspaceCap())) return softSkip('inapplicable', 'optional advertisement — `capabilities.workspace` not advertised by this host (RFC 0059 §A)');
     const path = 'behavior/SNAPSHOT.md';
     await driver.put(`${FILES}/${encodeURIComponent(path)}`, { content: 'snapshot body' });
 
     const create = await driver.post('/v1/runs', { workflowId: 'conformance-noop' });
-    if (create.status !== 201 && create.status !== 200) return; // host lacks the noop fixture — skip
+    if (create.status !== 201 && create.status !== 200) return seamAbsent(`host advertises workspace but the noop fixture run could not be created (POST /v1/runs → ${create.status})`);
     const runId = (create.json as { runId?: string }).runId;
-    if (runId === undefined) return;
+    if (runId === undefined) return seamAbsent('host advertises workspace but the created run carried no runId');
 
     const snap = await driver.get(`/v1/runs/${encodeURIComponent(runId)}`);
     const ws = (snap.json as { workspace?: Array<{ path: string }> }).workspace;

package/src/scenarios/workspace-capability-shape.test.ts

@@ -23,6 +23,7 @@
 
 import { describe, it, expect } from 'vitest';
 import { driver } from '../lib/driver.js';
+import { softSkip } from '../lib/soft-skip.js';
 import { capabilityFamily } from '../lib/discovery-capabilities.js';
 
 interface DiscoveryWorkspace {
@@ -48,7 +49,7 @@ const POSITIVE_INT_FIELDS = ['maxFileBytes', 'maxFiles', 'maxVersions'] as const
 describe('workspace-capability-shape: advertisement shape (RFC 0059 §A)', () => {
   it('capabilities.workspace is either absent or well-formed', async () => {
     const ws = await readWorkspace();
-    if (ws === null) return; // host doesn't advertise workspace at all
+    if (ws === null) return softSkip('inapplicable', 'optional advertisement — `capabilities.workspace` not advertised by this host (RFC 0059 §A)');
     expect(
       typeof ws.supported,
       driver.describe(
@@ -60,7 +61,7 @@ describe('workspace-capability-shape: advertisement shape (RFC 0059 §A)', () =>
 
   it('maxFileBytes / maxFiles / maxVersions are positive integers when present', async () => {
     const ws = await readWorkspace();
-    if (ws === null) return;
+    if (ws === null) return softSkip('inapplicable', 'optional advertisement — `capabilities.workspace` not advertised by this host (RFC 0059 §A)');
     for (const field of POSITIVE_INT_FIELDS) {
       const v = ws[field];
       if (v === undefined) continue;