@acid-cat/cli 0.9.0 → 0.10.1

package/dist/json/fixture.acidcat.json.js

@@ -1,8 +1,8 @@
-//#region conformance/fixture.acidcat.json
+// conformance/fixture.acidcat.json
 var fixture_acidcat_default = {
 	acidcat: "0.1",
 	title: "AcidCat conformance fixture",
-	description: "One capability for each behavior that acid-cat conform tests.",
+	description: "One capability or event for each behavior that acid-cat conform tests.",
 	targets: {
 		"api": { "bindings": ["http"] },
 		"app": { "bindings": ["typescript", "webmcp"] },
@@ -167,6 +167,28 @@ var fixture_acidcat_default = {
 				"type": "object"
 			}
 		},
+		"fixture.signal": {
+			"description": "Give an occurrence of fixture.watch to each subscription that watches the key. Return the number of these subscriptions.",
+			"audience": [
+				"app",
+				"mcp",
+				"cli",
+				"api"
+			],
+			"input": {
+				"properties": {
+					"key": { "type": "string" },
+					"value": { "type": "string" }
+				},
+				"required": ["key", "value"],
+				"type": "object"
+			},
+			"output": {
+				"properties": { "delivered": { "type": "integer" } },
+				"required": ["delivered"],
+				"type": "object"
+			}
+		},
 		"fixture.switch.set": {
 			"description": "Turn the switch on or off. The switch controls the availability of fixture.toggle.",
 			"audience": [
@@ -193,8 +215,101 @@ var fixture_acidcat_default = {
 				"properties": {},
 				"type": "object"
 			}
+		},
+		"fixture.watching": {
+			"description": "Return the keys of the subscriptions to fixture.watch that are active now.",
+			"audience": [
+				"app",
+				"mcp",
+				"cli",
+				"api"
+			],
+			"output": {
+				"properties": { "keys": {
+					"items": { "type": "string" },
+					"type": "array"
+				} },
+				"required": ["keys"],
+				"type": "object"
+			},
+			"readOnly": true
+		}
+	},
+	events: {
+		"fixture.broken": {
+			"description": "Give the occurrence n = 1, then fail with a defect.",
+			"audience": [
+				"app",
+				"mcp",
+				"cli",
+				"api"
+			],
+			"payload": {
+				"properties": { "n": { "type": "integer" } },
+				"required": ["n"],
+				"type": "object"
+			}
+		},
+		"fixture.secret": {
+			"description": "Only the app target can follow this event. It never gives an occurrence.",
+			"audience": ["app"]
+		},
+		"fixture.ticks": {
+			"description": "Give the occurrences n = 1 to count, with the eventId and the cursor String(n), then end. With a cursor c, start at c + 1. With a gap g, the occurrence n = g has truncated: true, as if the source skipped occurrences before it. The key changes nothing: it gives the subscriptions of each test their own input.",
+			"audience": [
+				"app",
+				"mcp",
+				"cli",
+				"api"
+			],
+			"input": {
+				"properties": {
+					"count": {
+						"maximum": 100,
+						"minimum": 0,
+						"type": "integer"
+					},
+					"gap": {
+						"maximum": 100,
+						"minimum": 1,
+						"type": "integer"
+					},
+					"key": { "type": "string" }
+				},
+				"required": ["count"],
+				"type": "object"
+			},
+			"payload": {
+				"properties": { "n": { "type": "integer" } },
+				"required": ["n"],
+				"type": "object"
+			}
+		},
+		"fixture.watch": {
+			"description": "Give an occurrence each time that fixture.signal gets the key. Never end. With a marker, write a file at that path when the subscription starts.",
+			"audience": [
+				"app",
+				"mcp",
+				"cli",
+				"api"
+			],
+			"input": {
+				"properties": {
+					"key": { "type": "string" },
+					"marker": { "type": "string" }
+				},
+				"required": ["key"],
+				"type": "object"
+			},
+			"payload": {
+				"properties": {
+					"key": { "type": "string" },
+					"value": { "type": "string" }
+				},
+				"required": ["key", "value"],
+				"type": "object"
+			}
 		}
 	}
 };
-//#endregion
 export { fixture_acidcat_default as default };

package/dist/json/package.json.js

@@ -1,4 +1,3 @@
-//#region package.json
-var version = "0.9.0";
-//#endregion
+// package.json
+var version = "0.10.1";
 export { version };

package/dist/json.js

@@ -1,4 +1,4 @@
-//#region src/json.ts
+// src/json.ts
 /** True if the value is a JSON object: not `null`, and not an array. */
 const isObject = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
 /** True if the value is an array of strings. */
@@ -17,5 +17,4 @@ async function readJson(response) {
 }
 /** True if the value is an array, and `isItem` is true for each of its items. */
 const isArrayOf = (value, isItem) => Array.isArray(value) && value.every(isItem);
-//#endregion
 export { isArrayOf, isObject, isRecordOf, isStringArray, memberOf, parseJson, readJson };

package/dist/main.js

@@ -1,14 +1,14 @@
 #!/usr/bin/env node
-import { parseJson } from "./json.js";
+import { version } from "./json/package.json.js";
 import { check, isCatalog, viewOf } from "./catalog.js";
 import { DEADLINE } from "./conform/check.js";
 import { conform } from "./conform/index.js";
-import { version } from "./json/package.json.js";
+import { parseJson } from "./json.js";
 import { canonicalText } from "@acid-cat/catalog";
 import { Console, Effect, FileSystem, Option } from "effect";
 import { NodeRuntime, NodeServices } from "@effect/platform-node";
 import { Argument, Command, Flag } from "effect/cli";
-//#region src/main.ts
+// src/main.ts
 /**
 * `acid-cat`: check, format and view AcidCat catalogs.
 *
@@ -61,7 +61,7 @@ const viewCommand = Command.make("view", {
 		yield* Console.error(`${file}: error: the file is not a catalog; run \`acid-cat check ${file}\``);
 		return yield* fail;
 	}
-	if (!(target in catalog.targets)) {
+	if (!Object.hasOwn(catalog.targets, target)) {
 		yield* Console.error(`${file}: error: there is no target ${target}`);
 		return yield* fail;
 	}
@@ -70,21 +70,67 @@ const viewCommand = Command.make("view", {
 const url = (name, description) => Flag.String(name).pipe(Flag.withDescription(description), Flag.optional);
 const conformCommand = Command.make("conform", {
 	mcp: url("mcp", "The URL of the MCP server"),
+	mcpHandshake: Flag.Boolean("mcp-handshake").pipe(Flag.withDescription("Check the initialize handshake of MCP revision 2025-11-25 through --mcp too"), Flag.withDefault(false)),
 	mcpStdio: url("mcp-stdio", "The command that starts the MCP server through standard input and output, for example \"node fixture-mcp-stdio.ts\""),
 	http: url("http", "The base URL of the HTTP API, before /capabilities"),
 	cli: url("cli", "The command that starts the command line, for example \"node fixture-cli.ts\""),
 	webmcp: url("webmcp", "The URL of a web page that serves the app target. It runs in Chromium, through Playwright"),
+	pollBuffer: Flag.Int("poll-buffer").pipe(Flag.withDescription("The number of occurrences that a poll lease of the deployment keeps, from 1 to 97. With it, conform tests a cursor older than the buffer"), Flag.optional),
+	pollLeaseMs: Flag.Int("poll-lease-ms").pipe(Flag.withDescription("The lease time of the deployment, in milliseconds, shorter than the deadline. With it, conform tests that a lease with no poll ends"), Flag.optional),
+	webhookPrincipal: url("webhook-principal", "Test webhook delivery through --mcp. The deployment gives this principal to a request with the header Authorization: Bearer <principal>"),
+	webhookCert: url("webhook-cert", "The PEM file of the certificate of the HTTPS receiver of the webhook tests. It must be valid for 127.0.0.1, and the deployment must trust it"),
+	webhookKey: url("webhook-key", "The PEM file of the private key of --webhook-cert"),
+	webhookOtherPrincipal: url("webhook-other-principal", "A second principal that the deployment gives to a request with Authorization: Bearer <principal>, for the check of the limit"),
+	webhookMaxTtlMs: Flag.Int("webhook-max-ttl-ms").pipe(Flag.withDescription("The maximum lifetime of a webhook subscription in the deployment. The default is 3600000"), Flag.optional),
+	webhookMinTtlMs: Flag.Int("webhook-min-ttl-ms").pipe(Flag.withDescription("The minimum lifetime of a webhook subscription in the deployment, shorter than the deadline. With it, conform tests that a subscription with no renewal ends"), Flag.optional),
+	webhookMaxSubscriptions: Flag.Int("webhook-max-subscriptions").pipe(Flag.withDescription("The maximum number of webhook subscriptions of one principal in the deployment. With it, conform tests the limit"), Flag.optional),
 	maximumBytes: Flag.Int("max-bytes").pipe(Flag.withDescription("The body limit of the remote bindings"), Flag.withDefault(1048576)),
 	deadline: Flag.Int("deadline").pipe(Flag.withDescription("The time, in milliseconds, that each check has to settle. A check that does not settle in this time fails"), Flag.withDefault(DEADLINE))
 }, Effect.fn(function* (options) {
 	const value = (option) => Option.isSome(option) ? option.value : void 0;
 	const words = (option) => value(option)?.split(/\s+/).filter((word) => word !== "");
+	const optionalInt = (option) => Option.isSome(option) ? option.value : void 0;
+	const fs = yield* FileSystem.FileSystem;
+	const given = [
+		options.webhookPrincipal,
+		options.webhookCert,
+		options.webhookKey
+	].filter(Option.isSome).length;
+	if (given !== 0 && given !== 3) {
+		yield* Console.error("Give --webhook-principal, --webhook-cert and --webhook-key together.");
+		return yield* fail;
+	}
+	const settings = [
+		Option.isSome(options.webhookOtherPrincipal),
+		Option.isSome(options.webhookMaxTtlMs),
+		Option.isSome(options.webhookMinTtlMs),
+		Option.isSome(options.webhookMaxSubscriptions)
+	];
+	if (given === 0 && settings.includes(true)) {
+		yield* Console.error("The other --webhook-* options need --webhook-principal, --webhook-cert and --webhook-key.");
+		return yield* fail;
+	}
+	const webhook = Option.isSome(options.webhookPrincipal) && Option.isSome(options.webhookCert) && Option.isSome(options.webhookKey) ? {
+		principal: options.webhookPrincipal.value,
+		cert: yield* fs.readFileString(options.webhookCert.value),
+		key: yield* fs.readFileString(options.webhookKey.value),
+		otherPrincipal: value(options.webhookOtherPrincipal),
+		maxTtlMs: optionalInt(options.webhookMaxTtlMs),
+		minTtlMs: optionalInt(options.webhookMinTtlMs),
+		maxSubscriptions: optionalInt(options.webhookMaxSubscriptions)
+	} : void 0;
 	const results = yield* Effect.promise(() => conform({
 		mcp: value(options.mcp),
+		mcpHandshake: options.mcpHandshake,
 		mcpStdio: words(options.mcpStdio),
 		http: value(options.http),
 		cli: words(options.cli),
 		webmcp: value(options.webmcp),
+		poll: {
+			bufferLimit: optionalInt(options.pollBuffer),
+			leaseMs: optionalInt(options.pollLeaseMs)
+		},
+		webhook,
 		maximumBytes: options.maximumBytes,
 		deadline: options.deadline
 	}));
@@ -92,9 +138,10 @@ const conformCommand = Command.make("conform", {
 		yield* Console.error("Give at least one binding: --mcp, --mcp-stdio, --http, --cli or --webmcp.");
 		return yield* fail;
 	}
-	for (const result of results) yield* Console.log(`${result.passed ? "✓" : "✗"} ${result.binding}: ${result.name} (${result.rule})${result.detail ? `\n    ${result.detail}` : ""}`);
+	for (const result of results) yield* Console.log(`${result.warning === true ? "!" : result.passed ? "✓" : "✗"} ${result.binding}: ${result.name} (${result.rule})${result.detail ? `\n    ${result.detail}` : ""}`);
 	const failed = results.filter((result) => !result.passed).length;
-	yield* Console.log(`\n${results.length - failed} passed, ${failed} failed.`);
+	const warnings = results.filter((result) => result.warning === true).length;
+	yield* Console.log(`\n${results.length - failed} passed, ${failed} failed${warnings === 0 ? "" : `, ${warnings} with a warning`}.`);
 	if (failed > 0) return yield* fail;
 })).pipe(Command.withDescription("Test a running implementation of the conformance fixture through its bindings."));
 Command.make("acid-cat").pipe(Command.withDescription("Check, format and view AcidCat catalogs, and test implementations."), Command.withSubcommands([
@@ -103,5 +150,4 @@ Command.make("acid-cat").pipe(Command.withDescription("Check, format and view Ac
 	viewCommand,
 	conformCommand
 ])).pipe(Command.run({ version }), Effect.provide(NodeServices.layer), NodeRuntime.runMain);
-//#endregion
 export {};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@acid-cat/cli",
-  "version": "0.9.0",
+  "version": "0.10.1",
   "description": "The AcidCat command line: check, format and view catalogs, and test implementations.",
   "keywords": [
     "acidcat",
@@ -37,12 +37,12 @@
     "access": "public"
   },
   "dependencies": {
-    "@acid-cat/catalog": "0.9.0",
-    "@acid-cat/spec-ts": "0.9.0",
-    "@effect/platform-node": "4.0.6",
-    "@effect/platform-node-shared": "4.0.6",
-    "@modelcontextprotocol/client": "2.3.1",
-    "effect": "4.0.6",
+    "@acid-cat/catalog": "0.10.1",
+    "@acid-cat/spec-ts": "0.10.1",
+    "@effect/platform-node": "^4.1.3",
+    "@effect/platform-node-shared": "^4.1.3",
+    "@modelcontextprotocol/client": "2.4.0",
+    "effect": "^4.1.3",
     "fast-check": "4.10.2"
   },
   "peerDependencies": {
@@ -54,8 +54,8 @@
     }
   },
   "devDependencies": {
-    "@types/node": "26.6.5",
-    "playwright": "1.64.0",
+    "@types/node": "26.6.6",
+    "playwright": "1.65.0",
     "typescript": "7.0.2"
   }
 }