@procedures/systems 0.0.0-stage → 0.2.3

package/dist/lint.js

@@ -0,0 +1,84 @@
+/**
+ * The timer law for the client (roadmap R34): the settings of an application, the values of the
+ * symbols of the law, and the verdict of each rule.
+ *
+ * A setting that the application does not give takes the default of the core (`TIMER_DEFAULTS`
+ * of `@procedures/client`). A timer that is off by default (the per-try timeout, the overall
+ * timeout) has no value: a rule that reads it gives the verdict "depends".
+ */
+import { TIMER_DEFAULTS, optionalMs } from "@procedures/client";
+import { evaluate, symbolsOf, verdictOf } from "@mark1russell7/service";
+import { CLIENT_RULES } from "./rules.js";
+const seconds = (milliseconds) => milliseconds / 1000;
+/** This function gives the longest backoffs of the retry, in milliseconds, one for each retry. */
+function backoffs(maxRetries, delayMs, multiplier, maxDelayMs) {
+    return Array.from({ length: maxRetries }, (_, attempt) => Math.min(maxDelayMs, delayMs * Math.pow(multiplier, attempt)));
+}
+/**
+ * This function gives the values of the symbols of the law, in seconds, from the settings and
+ * the defaults of the core. It also gives the derived symbols:
+ *
+ * - `retry_budget@client`: each try at its longest, and each backoff at its longest.
+ * - `call_time@client`: the longest call. It is the overall time, or the retry budget when it is shorter.
+ * - `heartbeat_detection@client` and `@server`: the time until a side finds a dead connection.
+ */
+export function bindingOf(settings = {}) {
+    const defaults = TIMER_DEFAULTS;
+    const retry = settings.retry ?? {};
+    const maxRetries = retry.maxRetries ?? defaults.retry.maxRetries;
+    const delayMs = optionalMs(retry.retryDelay, "retry.retryDelay") ?? defaults.retry.retryDelayMs;
+    const multiplier = retry.backoffMultiplier ?? defaults.retry.backoffMultiplier;
+    const maxDelayMs = optionalMs(retry.maxDelay, "retry.maxDelay") ?? defaults.retry.maxDelayMs;
+    const client = settings.webSocketClient ?? {};
+    const server = settings.webSocketServer ?? {};
+    const requestMs = optionalMs(client.requestTimeout, "webSocketClient.requestTimeout") ?? defaults.webSocketClient.requestTimeoutMs;
+    const perAttemptMs = optionalMs(settings.perAttempt, "perAttempt");
+    const overallMs = optionalMs(settings.overall, "overall");
+    // A try ends at the per-try timeout, or at the request time of the transport
+    const tryMs = perAttemptMs === undefined ? requestMs : Math.min(perAttemptMs, requestMs);
+    const waits = backoffs(maxRetries, delayMs, multiplier, maxDelayMs);
+    const budgetMs = (maxRetries + 1) * tryMs + waits.reduce((sum, wait) => sum + wait, 0);
+    const callMs = overallMs === undefined ? budgetMs : Math.min(overallMs, budgetMs);
+    const clientDetectionMs = (optionalMs(client.heartbeatInterval, "webSocketClient.heartbeatInterval") ?? defaults.webSocketClient.heartbeatIntervalMs) *
+        (client.heartbeatMisses ?? defaults.webSocketClient.heartbeatMisses) +
+        (optionalMs(client.heartbeatTimeout, "webSocketClient.heartbeatTimeout") ?? defaults.webSocketClient.heartbeatTimeoutMs);
+    const serverDetectionMs = (optionalMs(server.heartbeatInterval, "webSocketServer.heartbeatInterval") ?? defaults.webSocketServer.heartbeatIntervalMs) *
+        (server.heartbeatMisses ?? defaults.webSocketServer.heartbeatMisses);
+    const bind = {
+        "transport_request_timeout@client": seconds(requestMs),
+        "retry_budget@client": seconds(budgetMs),
+        "call_time@client": seconds(callMs),
+        "max_backoff@client": waits.length === 0 ? 0 : seconds(Math.max(...waits)),
+        "breaker_reset@client": seconds(optionalMs(settings.circuitBreaker?.resetTimeout, "circuitBreaker.resetTimeout") ?? defaults.circuitBreaker.resetTimeoutMs),
+        "heartbeat_detection@client": seconds(clientDetectionMs),
+        "heartbeat_detection@server": seconds(serverDetectionMs),
+        "reverse_request_timeout@server": seconds(optionalMs(server.reverseRequestTimeout, "webSocketServer.reverseRequestTimeout") ?? defaults.webSocketServer.reverseRequestTimeoutMs),
+        "idempotency_ttl@server": seconds(optionalMs(settings.idempotencyTtl, "idempotencyTtl") ?? defaults.idempotency.ttlMs),
+    };
+    // A timer that is off has no value: its rules give "depends"
+    if (perAttemptMs !== undefined)
+        bind["try_timeout@client"] = seconds(perAttemptMs);
+    if (overallMs !== undefined)
+        bind["overall_timeout@client"] = seconds(overallMs);
+    // A retry without a limit of its backoff: the law reads Infinity as "inf"
+    for (const [key, value] of Object.entries(bind))
+        if (value === Number.POSITIVE_INFINITY)
+            bind[key] = "inf";
+    return bind;
+}
+/** This function gives the verdict of each rule for the settings of an application. */
+export function lintTimers(settings = {}, rules = CLIENT_RULES) {
+    const bind = bindingOf(settings);
+    return rules.map((rule) => {
+        const evaluated = evaluate(rule, bind);
+        return {
+            rule: rule.id,
+            verdict: verdictOf(rule, bind, evaluated),
+            statement: rule.rule,
+            ...(rule.window !== undefined ? { window: rule.window } : {}),
+            evaluated,
+            unbound: symbolsOf(rule).filter((symbol) => bind[symbol] === undefined),
+        };
+    });
+}
+//# sourceMappingURL=lint.js.map

package/dist/lint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.js","sourceRoot":"","sources":["../src/lint.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,cAAc,EAAE,UAAU,EAAiB,MAAM,oBAAoB,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAyD,MAAM,wBAAwB,CAAC;AAC/H,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAyC1C,MAAM,OAAO,GAAG,CAAC,YAAoB,EAAU,EAAE,CAAC,YAAY,GAAG,IAAI,CAAC;AAEtE,kGAAkG;AAClG,SAAS,QAAQ,CAAC,UAAkB,EAAE,OAAe,EAAE,UAAkB,EAAE,UAAkB;IAC3F,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3H,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CAAC,QAAQ,GAAkB,EAAE;IACpD,MAAM,QAAQ,GAAG,cAAc,CAAC;IAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;IACnC,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;IACjE,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,kBAAkB,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC;IAChG,MAAM,UAAU,GAAG,KAAK,CAAC,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAAC;IAC/E,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;IAC7F,MAAM,MAAM,GAAG,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;IAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,cAAc,EAAE,gCAAgC,CAAC,IAAI,QAAQ,CAAC,eAAe,CAAC,gBAAgB,CAAC;IACnI,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAE1D,6EAA6E;IAC7E,MAAM,KAAK,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAClF,MAAM,iBAAiB,GACrB,CAAC,UAAU,CAAC,MAAM,CAAC,iBAAiB,EAAE,mCAAmC,CAAC,IAAI,QAAQ,CAAC,eAAe,CAAC,mBAAmB,CAAC;QACzH,CAAC,MAAM,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe,CAAC,eAAe,CAAC;QACtE,CAAC,UAAU,CAAC,MAAM,CAAC,gBAAgB,EAAE,kCAAkC,CAAC,IAAI,QAAQ,CAAC,eAAe,CAAC,kBAAkB,CAAC,CAAC;IAC3H,MAAM,iBAAiB,GACrB,CAAC,UAAU,CAAC,MAAM,CAAC,iBAAiB,EAAE,mCAAmC,CAAC,IAAI,QAAQ,CAAC,eAAe,CAAC,mBAAmB,CAAC;QAC3H,CAAC,MAAM,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe,CAAC,eAAe,CAAC,CAAC;IAEvE,MAAM,IAAI,GAAmC;QAC3C,kCAAkC,EAAE,OAAO,CAAC,SAAS,CAAC;QACtD,qBAAqB,EAAE,OAAO,CAAC,QAAQ,CAAC;QACxC,kBAAkB,EAAE,OAAO,CAAC,MAAM,CAAC;QACnC,oBAAoB,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC1E,sBAAsB,EAAE,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,EAAE,YAAY,EAAE,6BAA6B,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC,cAAc,CAAC;QAC3J,4BAA4B,EAAE,OAAO,CAAC,iBAAiB,CAAC;QACxD,4BAA4B,EAAE,OAAO,CAAC,iBAAiB,CAAC;QACxD,gCAAgC,EAAE,OAAO,CACvC,UAAU,CAAC,MAAM,CAAC,qBAAqB,EAAE,uCAAuC,CAAC,IAAI,QAAQ,CAAC,eAAe,CAAC,uBAAuB,CACtI;QACD,wBAAwB,EAAE,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,EAAE,gBAAgB,CAAC,IAAI,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC;KACvH,CAAC;IACF,6DAA6D;IAC7D,IAAI,YAAY,KAAK,SAAS;QAAE,IAAI,CAAC,oBAAoB,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACnF,IAAI,SAAS,KAAK,SAAS;QAAE,IAAI,CAAC,wBAAwB,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACjF,0EAA0E;IAC1E,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,IAAI,KAAK,KAAK,MAAM,CAAC,iBAAiB;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAC3G,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,UAAU,CAAC,QAAQ,GAAkB,EAAE,EAAE,KAAK,GAAoB,YAAY;IAC5F,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,EAAE;YACb,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC;YACzC,SAAS,EAAE,IAAI,CAAC,IAAI;YACpB,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,SAAS;YACT,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;SACxE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/module.d.ts

@@ -0,0 +1,14 @@
+/**
+ * The procedures of @procedures/systems as data. Importing this file registers nothing.
+ *
+ * Scaffold a procedure with: mark procedure new <name> --path packages/systems
+ */
+import { type ProcedureModule, type ProcedureRegistry } from "@procedures/client";
+export declare const systemsModule: ProcedureModule;
+export default systemsModule;
+/**
+ * This function registers the procedures of @procedures/systems in a registry. The default is the
+ * global registry.
+ */
+export declare function registerSystemsProcedures(registry?: ProcedureRegistry): void;
+//# sourceMappingURL=module.d.ts.map

package/dist/module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.d.ts","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAmE,KAAK,eAAe,EAAE,KAAK,iBAAiB,EAA+B,MAAM,oBAAoB,CAAC;AAgFhL,eAAO,MAAM,aAAa,EAAE,eAA+E,CAAC;eAE7F,aAAa;AAE5B;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,QAAQ,GAAE,iBAAsC,GAAG,IAAI,CAEhG"}

package/dist/module.js

@@ -0,0 +1,86 @@
+/**
+ * The procedures of @procedures/systems as data. Importing this file registers nothing.
+ *
+ * Scaffold a procedure with: mark procedure new <name> --path packages/systems
+ */
+import { z } from "zod";
+import { defineModule, registerModules, PROCEDURE_REGISTRY, PURE_EFFECTS, createProcedure, zodAdapter } from "@procedures/client";
+import { systemsTimers } from "./procedures/systems/timers.js";
+/** A time in milliseconds: the wire carries times in milliseconds (roadmap R11). */
+const milliseconds = (description) => z.number().min(0).optional().describe(`${description}, in milliseconds`);
+const SystemsTimersInputSchema = z.object({
+    perAttemptMs: milliseconds("The time of one try (resilience perAttempt)"),
+    overallMs: milliseconds("The time of a call with its retries (resilience overall)"),
+    retry: z
+        .object({
+        maxRetries: z.number().int().min(0).optional().describe("The tries after the first one"),
+        retryDelayMs: milliseconds("The first backoff"),
+        backoffMultiplier: z.number().min(1).optional().describe("The factor of each next backoff"),
+        maxDelayMs: milliseconds("The longest backoff"),
+    })
+        .optional()
+        .describe("The settings of the retry"),
+    circuitBreaker: z.object({ resetTimeoutMs: milliseconds("The time that the breaker stays open") }).optional().describe("The settings of the circuit breaker"),
+    webSocketClient: z
+        .object({
+        requestTimeoutMs: milliseconds("The time until the first frame of a call"),
+        heartbeatIntervalMs: milliseconds("The time between two pings"),
+        heartbeatTimeoutMs: milliseconds("The time that the client waits for a pong"),
+        heartbeatMisses: z.number().int().min(1).optional().describe("The pongs that can go missing before the connection closes"),
+    })
+        .optional()
+        .describe("The settings of the WebSocket client"),
+    webSocketServer: z
+        .object({
+        heartbeatIntervalMs: milliseconds("The time between two pings of the server"),
+        heartbeatMisses: z.number().int().min(1).optional().describe("The pongs that can go missing before the server closes the connection"),
+        reverseRequestTimeoutMs: milliseconds("The time until the first frame of a call of the server to a client"),
+    })
+        .optional()
+        .describe("The settings of the WebSocket server"),
+    idempotencyTtlMs: milliseconds("The time that the server keeps the result of a keyed write"),
+});
+const SystemsTimersOutputSchema = z.object({
+    ok: z.boolean().describe("True when no rule is violated"),
+    findings: z
+        .array(z.object({
+        rule: z.string().describe("The id of the rule"),
+        verdict: z.enum(["holds", "violated", "unbounded", "depends"]).describe("The verdict of the rule"),
+        statement: z.string().describe("The rule in words"),
+        window: z.string().optional().describe("What goes wrong when the rule is violated"),
+        evaluated: z
+            .array(z.object({
+            lhs: z.number().nullable().describe("The left side, in seconds"),
+            rhs: z.number().nullable().describe("The right side, in seconds"),
+            margin: z.number().describe("The margin, in seconds"),
+            holds: z.boolean().nullable().describe("True when the inequality holds. Null: a symbol has no value."),
+        }))
+            .describe("Each inequality of the rule"),
+        unbound: z.array(z.string()).describe("The symbols without a value"),
+    }))
+        .describe("The verdict of each rule"),
+});
+const systemsTimersProcedure = createProcedure()
+    .path(["systems", "timers"])
+    .input(zodAdapter(SystemsTimersInputSchema))
+    .output(zodAdapter(SystemsTimersOutputSchema))
+    .meta({
+    description: "The verdicts of the timer law for the timer settings of an application",
+    args: [],
+    shorts: {},
+    output: "json",
+    // It reads only its input, and changes nothing
+    effects: PURE_EFFECTS,
+})
+    .handler(async (input) => systemsTimers(input))
+    .build();
+export const systemsModule = defineModule("@procedures/systems", [systemsTimersProcedure]);
+export default systemsModule;
+/**
+ * This function registers the procedures of @procedures/systems in a registry. The default is the
+ * global registry.
+ */
+export function registerSystemsProcedures(registry = PROCEDURE_REGISTRY) {
+    registerModules(registry, [systemsModule]);
+}
+//# sourceMappingURL=module.js.map

package/dist/module.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.js","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,YAAY,EAAgD,eAAe,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChL,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAG/D,oFAAoF;AACpF,MAAM,YAAY,GAAG,CAAC,WAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,GAAG,WAAW,mBAAmB,CAAC,CAAC;AAEvH,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,YAAY,EAAE,YAAY,CAAC,6CAA6C,CAAC;IACzE,SAAS,EAAE,YAAY,CAAC,0DAA0D,CAAC;IACnF,KAAK,EAAE,CAAC;SACL,MAAM,CAAC;QACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,+BAA+B,CAAC;QACxF,YAAY,EAAE,YAAY,CAAC,mBAAmB,CAAC;QAC/C,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,iCAAiC,CAAC;QAC3F,UAAU,EAAE,YAAY,CAAC,qBAAqB,CAAC;KAChD,CAAC;SACD,QAAQ,EAAE;SACV,QAAQ,CAAC,2BAA2B,CAAC;IACxC,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,sCAAsC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;IAC7J,eAAe,EAAE,CAAC;SACf,MAAM,CAAC;QACN,gBAAgB,EAAE,YAAY,CAAC,0CAA0C,CAAC;QAC1E,mBAAmB,EAAE,YAAY,CAAC,4BAA4B,CAAC;QAC/D,kBAAkB,EAAE,YAAY,CAAC,2CAA2C,CAAC;QAC7E,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4DAA4D,CAAC;KAC3H,CAAC;SACD,QAAQ,EAAE;SACV,QAAQ,CAAC,sCAAsC,CAAC;IACnD,eAAe,EAAE,CAAC;SACf,MAAM,CAAC;QACN,mBAAmB,EAAE,YAAY,CAAC,0CAA0C,CAAC;QAC7E,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uEAAuE,CAAC;QACrI,uBAAuB,EAAE,YAAY,CAAC,oEAAoE,CAAC;KAC5G,CAAC;SACD,QAAQ,EAAE;SACV,QAAQ,CAAC,sCAAsC,CAAC;IACnD,gBAAgB,EAAE,YAAY,CAAC,4DAA4D,CAAC;CAC7F,CAAC,CAAC;AAEH,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,+BAA+B,CAAC;IACzD,QAAQ,EAAE,CAAC;SACR,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC;QAC/C,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QAClG,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mBAAmB,CAAC;QACnD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,2CAA2C,CAAC;QACnF,SAAS,EAAE,CAAC;aACT,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;YACP,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;YAChE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4BAA4B,CAAC;YACjE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,wBAAwB,CAAC;YACrD,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8DAA8D,CAAC;SACvG,CAAC,CACH;aACA,QAAQ,CAAC,6BAA6B,CAAC;QAC1C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,6BAA6B,CAAC;KACrE,CAAC,CACH;SACA,QAAQ,CAAC,0BAA0B,CAAC;CACxC,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,eAAe,EAAE;KAC7C,IAAI,CAAC,CAAC,SAAS,EAAC,QAAQ,CAAC,CAAC;KAC1B,KAAK,CAAC,UAAU,CAAqB,wBAAwB,CAAC,CAAC;KAC/D,MAAM,CAAC,UAAU,CAAsB,yBAAyB,CAAC,CAAC;KAClE,IAAI,CAAC;IACJ,WAAW,EAAE,wEAAwE;IACrF,IAAI,EAAE,EAAE;IACR,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,MAAM;IACd,+CAA+C;IAC/C,OAAO,EAAE,YAAY;CACtB,CAAC;KACD,OAAO,CAAC,KAAK,EAAE,KAAyB,EAAgC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;KAChG,KAAK,EAAE,CAAC;AAEX,MAAM,CAAC,MAAM,aAAa,GAAoB,YAAY,CAAC,qBAAqB,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;AAE5G,eAAe,aAAa,CAAC;AAE7B;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,QAAQ,GAAsB,kBAAkB;IACxF,eAAe,CAAC,QAAQ,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;AAC7C,CAAC"}

package/dist/procedures/systems/index.d.ts

@@ -0,0 +1,2 @@
+export { systemsTimers } from "./timers.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/procedures/systems/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/procedures/systems/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/procedures/systems/index.js

@@ -0,0 +1,2 @@
+export { systemsTimers } from "./timers.js";
+//# sourceMappingURL=index.js.map

package/dist/procedures/systems/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/procedures/systems/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/procedures/systems/timers.d.ts

@@ -0,0 +1,16 @@
+/**
+ * systems.timers procedure
+ *
+ * The verdicts of the timer law for the timer settings of an application (roadmap R34). The
+ * input gives the times in milliseconds, as the wire does. A time that the input does not give
+ * takes the default of the core.
+ */
+import { type TimerSettings } from "../../lint.js";
+import type { SystemsTimersInput, SystemsTimersOutput } from "../../types.js";
+/** This function gives the settings of `lintTimers()` from the input of the procedure. */
+export declare function settingsOf(input: SystemsTimersInput): TimerSettings;
+/**
+ * The verdicts of the timer law for the timer settings of an application
+ */
+export declare function systemsTimers(input: SystemsTimersInput): Promise<SystemsTimersOutput>;
+//# sourceMappingURL=timers.d.ts.map

package/dist/procedures/systems/timers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"timers.d.ts","sourceRoot":"","sources":["../../../src/procedures/systems/timers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAc,KAAK,aAAa,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAI9E,0FAA0F;AAC1F,wBAAgB,UAAU,CAAC,KAAK,EAAE,kBAAkB,GAAG,aAAa,CAwBnE;AAED;;GAEG;AACH,wBAAsB,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAM3F"}

package/dist/procedures/systems/timers.js

@@ -0,0 +1,47 @@
+/**
+ * systems.timers procedure
+ *
+ * The verdicts of the timer law for the timer settings of an application (roadmap R34). The
+ * input gives the times in milliseconds, as the wire does. A time that the input does not give
+ * takes the default of the core.
+ */
+import { ms } from "@procedures/client";
+import { lintTimers } from "../../lint.js";
+const duration = (milliseconds) => (milliseconds === undefined ? undefined : ms(milliseconds));
+/** This function gives the settings of `lintTimers()` from the input of the procedure. */
+export function settingsOf(input) {
+    return {
+        perAttempt: duration(input.perAttemptMs),
+        overall: duration(input.overallMs),
+        retry: input.retry && {
+            maxRetries: input.retry.maxRetries,
+            retryDelay: duration(input.retry.retryDelayMs),
+            backoffMultiplier: input.retry.backoffMultiplier,
+            maxDelay: duration(input.retry.maxDelayMs),
+        },
+        circuitBreaker: input.circuitBreaker && { resetTimeout: duration(input.circuitBreaker.resetTimeoutMs) },
+        webSocketClient: input.webSocketClient && {
+            requestTimeout: duration(input.webSocketClient.requestTimeoutMs),
+            heartbeatInterval: duration(input.webSocketClient.heartbeatIntervalMs),
+            heartbeatTimeout: duration(input.webSocketClient.heartbeatTimeoutMs),
+            heartbeatMisses: input.webSocketClient.heartbeatMisses,
+        },
+        webSocketServer: input.webSocketServer && {
+            heartbeatInterval: duration(input.webSocketServer.heartbeatIntervalMs),
+            heartbeatMisses: input.webSocketServer.heartbeatMisses,
+            reverseRequestTimeout: duration(input.webSocketServer.reverseRequestTimeoutMs),
+        },
+        idempotencyTtl: duration(input.idempotencyTtlMs),
+    };
+}
+/**
+ * The verdicts of the timer law for the timer settings of an application
+ */
+export async function systemsTimers(input) {
+    const findings = lintTimers(settingsOf(input));
+    return {
+        ok: findings.every((finding) => finding.verdict !== "violated"),
+        findings: findings.map((finding) => ({ ...finding, evaluated: [...finding.evaluated], unbound: [...finding.unbound] })),
+    };
+}
+//# sourceMappingURL=timers.js.map

package/dist/procedures/systems/timers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"timers.js","sourceRoot":"","sources":["../../../src/procedures/systems/timers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,EAAE,EAAiB,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAsB,MAAM,eAAe,CAAC;AAG/D,MAAM,QAAQ,GAAG,CAAC,YAAgC,EAAwB,EAAE,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;AAEzI,0FAA0F;AAC1F,MAAM,UAAU,UAAU,CAAC,KAAyB;IAClD,OAAO;QACL,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC;QACxC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC;QAClC,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI;YACpB,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;YAClC,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC;YAC9C,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC,iBAAiB;YAChD,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC;SAC3C;QACD,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,EAAE;QACvG,eAAe,EAAE,KAAK,CAAC,eAAe,IAAI;YACxC,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,gBAAgB,CAAC;YAChE,iBAAiB,EAAE,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,mBAAmB,CAAC;YACtE,gBAAgB,EAAE,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,kBAAkB,CAAC;YACpE,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,eAAe;SACvD;QACD,eAAe,EAAE,KAAK,CAAC,eAAe,IAAI;YACxC,iBAAiB,EAAE,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,mBAAmB,CAAC;YACtE,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,eAAe;YACtD,qBAAqB,EAAE,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,uBAAuB,CAAC;SAC/E;QACD,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACjD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,KAAyB;IAC3D,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/C,OAAO;QACL,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU,CAAC;QAC/D,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;KACxH,CAAC;AACJ,CAAC"}

package/dist/register.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Importing this file registers the procedures of @procedures/systems in the global registry:
+ * `import "@procedures/systems/register"`. The package root registers nothing.
+ */
+export * from "./module.js";
+//# sourceMappingURL=register.d.ts.map

package/dist/register.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"register.d.ts","sourceRoot":"","sources":["../src/register.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,cAAc,aAAa,CAAC"}

package/dist/register.js

@@ -0,0 +1,8 @@
+/**
+ * Importing this file registers the procedures of @procedures/systems in the global registry:
+ * `import "@procedures/systems/register"`. The package root registers nothing.
+ */
+import { registerSystemsProcedures } from "./module.js";
+export * from "./module.js";
+registerSystemsProcedures();
+//# sourceMappingURL=register.js.map

package/dist/register.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"register.js","sourceRoot":"","sources":["../src/register.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAC;AAExD,cAAc,aAAa,CAAC;AAE5B,yBAAyB,EAAE,CAAC"}

package/dist/rules.d.ts

@@ -0,0 +1,10 @@
+/**
+ * The rules of the timer law for the client (roadmap R34), as data in the format of
+ * `@mark1russell7/service`. Each rule is one or more linear inequalities over symbols at a hop
+ * (`try_timeout@client`). `bindingOf()` gives the values of the symbols from the settings of an
+ * application.
+ */
+import type { Rule } from "@mark1russell7/service";
+/** The rules of the client. */
+export declare const CLIENT_RULES: readonly Rule[];
+//# sourceMappingURL=rules.d.ts.map

package/dist/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAC;AAQnD,+BAA+B;AAC/B,eAAO,MAAM,YAAY,EAAE,SAAS,IAAI,EAqCrB,CAAC"}

package/dist/rules.js

@@ -0,0 +1,51 @@
+/**
+ * The rules of the timer law for the client (roadmap R34), as data in the format of
+ * `@mark1russell7/service`. Each rule is one or more linear inequalities over symbols at a hop
+ * (`try_timeout@client`). `bindingOf()` gives the values of the symbols from the settings of an
+ * application.
+ */
+/** A term of one symbol with the coefficient 1. */
+const at = (symbol) => {
+    const [knob, hop] = symbol.split("@");
+    return { knob: knob, coef: 1, at: hop };
+};
+/** The rules of the client. */
+export const CLIENT_RULES = Object.freeze([
+    {
+        id: "try-under-transport-timeout",
+        rule: "The time of one try is less than the request time of the WebSocket transport.",
+        window: "The transport ends the try with its own timeout first. Then the retry sees a transport error, not a TIMEOUT of the try.",
+        expr: { lhs: { terms: [at("try_timeout@client")] }, op: "<", rhs: { terms: [at("transport_request_timeout@client")] } },
+    },
+    {
+        id: "overall-covers-retries",
+        rule: "The overall time of a call covers each try and each backoff of the retry.",
+        window: "The overall timeout ends the call during a backoff or a try, so the last tries never start.",
+        expr: { lhs: { terms: [at("overall_timeout@client")] }, op: ">=", rhs: { terms: [at("retry_budget@client")] } },
+    },
+    {
+        id: "keyed-result-outlives-call",
+        rule: "The server keeps the result of a keyed write longer than the longest call with its retries.",
+        window: "A retry of a keyed write after the end of the time to live runs the write a second time.",
+        expr: { lhs: { terms: [at("idempotency_ttl@server")] }, op: ">", rhs: { terms: [at("call_time@client")] } },
+    },
+    {
+        id: "dead-connection-before-request-timeout",
+        rule: "The client finds a dead connection before a call on it reaches the request time of the transport.",
+        window: "A call on a dead connection fails with a timeout, and the reconnect starts late.",
+        expr: { lhs: { terms: [at("heartbeat_detection@client")] }, op: "<", rhs: { terms: [at("transport_request_timeout@client")] } },
+    },
+    {
+        id: "server-finds-dead-client",
+        rule: "The server finds a dead client before a call of the server to it reaches its request time.",
+        window: "A call of the server to a dead client fails with a timeout, and the server keeps the connection until then.",
+        expr: { lhs: { terms: [at("heartbeat_detection@server")] }, op: "<=", rhs: { terms: [at("reverse_request_timeout@server")] } },
+    },
+    {
+        id: "breaker-outlasts-backoff",
+        rule: "The circuit breaker stays open longer than the longest backoff of the retry.",
+        window: "The retry tries again before the breaker allows a probe, and each try fails at once with the error of the open breaker.",
+        expr: { lhs: { terms: [at("breaker_reset@client")] }, op: ">=", rhs: { terms: [at("max_backoff@client")] } },
+    },
+]);
+//# sourceMappingURL=rules.js.map

package/dist/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,mDAAmD;AACnD,MAAM,EAAE,GAAG,CAAC,MAAc,EAAE,EAAE;IAC5B,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,IAAK,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AAC3C,CAAC,CAAC;AAEF,+BAA+B;AAC/B,MAAM,CAAC,MAAM,YAAY,GAAoB,MAAM,CAAC,MAAM,CAAC;IACzD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,+EAA+E;QACrF,MAAM,EAAE,yHAAyH;QACjI,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,kCAAkC,CAAC,CAAC,EAAE,EAAE;KACxH;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,2EAA2E;QACjF,MAAM,EAAE,6FAA6F;QACrG,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,EAAE,EAAE;KAChH;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,6FAA6F;QACnG,MAAM,EAAE,0FAA0F;QAClG,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,EAAE;KAC5G;IACD;QACE,EAAE,EAAE,wCAAwC;QAC5C,IAAI,EAAE,mGAAmG;QACzG,MAAM,EAAE,kFAAkF;QAC1F,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,kCAAkC,CAAC,CAAC,EAAE,EAAE;KAChI;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,4FAA4F;QAClG,MAAM,EAAE,6GAA6G;QACrH,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,gCAAgC,CAAC,CAAC,EAAE,EAAE;KAC/H;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,8EAA8E;QACpF,MAAM,EAAE,yHAAyH;QACjI,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,EAAE;KAC7G;CACe,CAAC,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Type definitions of the procedures of this package
+ *
+ * mark procedure new adds the types of each new procedure here. The zod schemas are in
+ * `module.ts`: an exported schema needs a written type (isolatedDeclarations).
+ */
+import type { Verdict } from "@mark1russell7/service";
+/** The timer settings of an application, in milliseconds, as the wire carries times (roadmap R11). */
+export interface SystemsTimersInput {
+    perAttemptMs?: number | undefined;
+    overallMs?: number | undefined;
+    retry?: {
+        maxRetries?: number | undefined;
+        retryDelayMs?: number | undefined;
+        backoffMultiplier?: number | undefined;
+        maxDelayMs?: number | undefined;
+    } | undefined;
+    circuitBreaker?: {
+        resetTimeoutMs?: number | undefined;
+    } | undefined;
+    webSocketClient?: {
+        requestTimeoutMs?: number | undefined;
+        heartbeatIntervalMs?: number | undefined;
+        heartbeatTimeoutMs?: number | undefined;
+        heartbeatMisses?: number | undefined;
+    } | undefined;
+    webSocketServer?: {
+        heartbeatIntervalMs?: number | undefined;
+        heartbeatMisses?: number | undefined;
+        reverseRequestTimeoutMs?: number | undefined;
+    } | undefined;
+    idempotencyTtlMs?: number | undefined;
+}
+/** The verdict of each rule. */
+export interface SystemsTimersOutput {
+    /** True when no rule is violated. */
+    ok: boolean;
+    findings: Array<{
+        rule: string;
+        verdict: Verdict;
+        statement: string;
+        window?: string | undefined;
+        evaluated: Array<{
+            lhs: number | null;
+            rhs: number | null;
+            margin: number;
+            holds: boolean | null;
+        }>;
+        unbound: string[];
+    }>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAMtD,sGAAsG;AACtG,MAAM,WAAW,kBAAkB;IACjC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,KAAK,CAAC,EAAE;QACN,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAChC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAClC,iBAAiB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACvC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KACjC,GAAG,SAAS,CAAC;IACd,cAAc,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,GAAG,SAAS,CAAC;IACrE,eAAe,CAAC,EAAE;QAChB,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACtC,mBAAmB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACzC,kBAAkB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACxC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KACtC,GAAG,SAAS,CAAC;IACd,eAAe,CAAC,EAAE;QAChB,mBAAmB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACzC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACrC,uBAAuB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC9C,GAAG,SAAS,CAAC;IACd,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED,gCAAgC;AAChC,MAAM,WAAW,mBAAmB;IAClC,qCAAqC;IACrC,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,KAAK,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,OAAO,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAC5B,SAAS,EAAE,KAAK,CAAC;YAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;YAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAA;SAAE,CAAC,CAAC;QACpG,OAAO,EAAE,MAAM,EAAE,CAAC;KACnB,CAAC,CAAC;CACJ"}

package/dist/types.js

@@ -0,0 +1,8 @@
+/**
+ * Type definitions of the procedures of this package
+ *
+ * mark procedure new adds the types of each new procedure here. The zod schemas are in
+ * `module.ts`: an exported schema needs a written type (isolatedDeclarations).
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/package.json

@@ -1,6 +1,81 @@
 {
+  "$schema": "https://json.schemastore.org/package",
   "name": "@procedures/systems",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.2.3",
+  "description": "The timer law of systems for the client: it binds the times of the middleware, the transports and the server to the symbols of the law, and examines the rules of the client.",
+  "keywords": [
+    "procedures",
+    "timeouts",
+    "retry",
+    "heartbeat",
+    "timer-law",
+    "lint",
+    "resilience"
+  ],
+  "homepage": "https://mark1russell7.github.io/client/",
+  "bugs": {
+    "url": "https://github.com/mark1russell7/client/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/mark1russell7/client.git",
+    "directory": "packages/systems"
+  },
+  "license": "MIT",
+  "author": "Mark Russell (https://github.com/mark1russell7)",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./module": {
+      "types": "./dist/module.d.ts",
+      "import": "./dist/module.js"
+    },
+    "./register": {
+      "types": "./dist/register.d.ts",
+      "import": "./dist/register.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "!src/**/*.test.ts",
+    "!src/**/*.test.tsx",
+    "!src/**/__tests__",
+    "CHANGELOG.md"
+  ],
+  "sideEffects": [
+    "./dist/register.js"
+  ],
+  "devDependencies": {
+    "@mark1russell7/cue": "^1.0.0",
+    "typescript": "^7.0.2",
+    "vitest": "^5.0.3"
+  },
+  "engines": {
+    "node": ">=22"
+  },
+  "client": {
+    "procedures": "./dist/register.js"
+  },
+  "dependencies": {
+    "@mark1russell7/service": "^0.4.0",
+    "@procedures/client": "0.2.3",
+    "zod": "^4.6.5"
+  },
+  "publishConfig": {
+    "access": "public",
+    "provenance": true
+  },
+  "scripts": {
+    "build": "tsc -b",
+    "typecheck": "tsc --noEmit",
+    "clean": "rm -rf dist .tsbuildinfo",
+    "test": "vitest run",
+    "test:watch": "vitest"
+  }
 }

package/src/index.ts

@@ -0,0 +1,7 @@
+// The root registers nothing: import "<package>/register", or give the module to createRegistry()
+export * from "./module.js";
+export * from "./types.js";
+export { CLIENT_RULES } from "./rules.js";
+export { bindingOf, lintTimers } from "./lint.js";
+export type { TimerFinding, TimerSettings } from "./lint.js";
+export { settingsOf } from "./procedures/systems/timers.js";