@mark1russell7/service 0.2.0 → 0.4.0

package/build/index.js

@@ -1,7 +1,10 @@
-import { i as recoverSpan, n as asWindow, r as failSpan, t as asDebounce } from "./timing-DxZ4nkQg.js";
-import { n as mayReissue, r as operationProblems, t as realClock } from "./clock-DlJFFZlX.js";
+import { platformClock, realClock } from "./clock.js";
+import { detectionTime, heartbeat } from "./heartbeat.js";
+import { a as recoverSpan, i as heartbeatDetection, n as asWindow, r as failSpan, t as asDebounce } from "./timing-DGRi3XCI.js";
+import { n as operationProblems, t as mayReissue } from "./operation-DL5RxFds.js";
+import { backoffBand, backoffDelay, backoffProblems } from "./backoff.js";
 import { convertExact, convertible, quantity, rationals, valueIn } from "@mark1russell7/quantity";
-import { arr, fromStates } from "@mark1russell7/algebra";
+import { replay } from "@mark1russell7/algebra/replay";
 //#region src/description.ts
 /**
 * This is the format of a service as data: what `describe()` exports, and nothing starts. The
@@ -1359,6 +1362,7 @@ const verdictOf = (rule, bind, evaluated) => {
 //#region src/lint.ts
 /** These are the identifiers of the rules that each declaration gets. */
 const SERVICE_RULES = [
+	"O04",
 	"O09",
 	"O10",
 	"O11",
@@ -1405,6 +1409,8 @@ const serviceBindings = (svc, scenario) => {
 	set("startup_budget@pod", secondsOf(svc.policies.startup), "the declared startup budget");
 	set("process_drain_time@process", svc.shutdown.phases.reduce((total, phase) => total + secondsOf(phase.cap), 0), `the shutdown phases' caps, summed (${svc.shutdown.phases.map((phase) => phase.name).join(", ")})`);
 	set("cooperative_window@process", boundOf(svc.shutdown.cooperativeWindow), "the declared cooperative window");
+	const hold = svc.shutdown.phases.find((phase) => phase.name === "fail readiness");
+	set("readiness_hold@process", hold === void 0 ? 0 : secondsOf(hold.cap), hold === void 0 ? "no fail readiness phase: the intake stops at once after the signal" : "the cap of the fail readiness phase, which holds while the endpoints update");
 	for (const [symbol, amount] of Object.entries(scenario.platform)) set(symbol, boundOf(amount), "the scenario");
 	return {
 		bind,
@@ -1450,7 +1456,8 @@ const lint = (svc, scenario, rules) => {
 /**
 * The machines of the runtime as `mark1russell7.machine/1` documents. The documents are the
 * specification, and TypeScript implements them. A test records the transitions of the runtime
-* and replays them against each document, thus the code and the documents cannot disagree.
+* and replays them against each document (`replay` of `@mark1russell7/algebra`), thus the code and
+* the documents cannot disagree.
 */
 const SOURCE = [{
 	ref: "packages/service/src (the runtime implements this document)",
@@ -1877,25 +1884,7 @@ const MACHINES = {
 	exit: EXIT_MACHINE,
 	watchdog: WATCHDOG_MACHINE
 };
-/**
-* This function replays the transitions of one machine of the runtime against its document. Each
-* instance starts in the state that its first transition leaves. Each transition must leave the
-* state where the replay is. The document must have a transition from that state, on that event,
-* to that state. The function gives each disagreement.
-*/
-const replay = (doc, events) => {
-	const problems = [];
-	const at = /* @__PURE__ */ new Map();
-	for (const event of events) {
-		const where = at.get(event.instance) ?? event.from;
-		if (doc.states[where] === void 0) problems.push(`${event.instance}: the state ${where} is not in ${doc.id}`);
-		if (event.from !== where) problems.push(`${event.instance}: the runtime left ${event.from} on ${event.on}, but the replay is in ${where}`);
-		if (!doc.transitions.some((each) => fromStates(doc, each.from).includes(event.from) && arr(each.on).includes(event.on) && each.to === event.to)) problems.push(`${event.instance}: ${doc.id} has no transition from ${event.from} on ${event.on} to ${event.to}`);
-		at.set(event.instance, event.to);
-	}
-	return problems;
-};
 //#endregion
-export { EXIT_MACHINE, EXIT_SIGNALS, FORMAT, GATE_MACHINE, LATCH_MACHINE, MACHINES, POLLER_MACHINE, SERVICE_RULES, STAGES, WATCHDOG_MACHINE, WINDOW_MACHINE, asDebounce, asWindow, capKnob, cooperativeAbortAt, drainMachine, evaluate, failSpan, inequalities, lint, mayReissue, nodeProcess, realClock, recoverSpan, replay, service, serviceBindings, stageRank, symbolsOf, verdictOf, watchdog };
+export { EXIT_MACHINE, EXIT_SIGNALS, FORMAT, GATE_MACHINE, LATCH_MACHINE, MACHINES, POLLER_MACHINE, SERVICE_RULES, STAGES, WATCHDOG_MACHINE, WINDOW_MACHINE, asDebounce, asWindow, backoffBand, backoffDelay, backoffProblems, capKnob, cooperativeAbortAt, detectionTime, drainMachine, evaluate, failSpan, heartbeat, heartbeatDetection, inequalities, lint, mayReissue, nodeProcess, platformClock, realClock, recoverSpan, replay, service, serviceBindings, stageRank, symbolsOf, verdictOf, watchdog };
 
 //# sourceMappingURL=index.js.map