@rulvar/store-conformance 1.111.0 → 1.112.0

package/dist/index.d.ts

@@ -1,4 +1,4 @@
-import { JournalEntry, JournalStore, LeasableStore, TranscriptStore } from "@rulvar/core";
+import { JournalEntry, JournalStore, LeasableStore, QuotaRule, TranscriptStore } from "@rulvar/core";
 
 //#region src/types.d.ts
 /**
@@ -64,6 +64,15 @@ declare function leasableStoreConformance(mk: StoreFactory<LeasableStore>, optio
 //#region src/fenced-writes.d.ts
 declare function fencedWritesConformance(mk: StoreFactory<LeasableStore>): ConformanceSuite;
 //#endregion
+//#region src/quota-rules.d.ts
+/**
+* Constructs a limiter over the given rules; the suite closes whatever
+* it returns (a `close` method is called and awaited when present), so
+* factories may open real resources for the negative control.
+*/
+type QuotaLimiterConstructor = (rules: readonly QuotaRule[]) => unknown;
+declare function quotaRulesConformance(mk: QuotaLimiterConstructor): ConformanceSuite;
+//#endregion
 //#region src/fenced-transcripts.d.ts
 /**
 * The paired factory product: the transcript store under test plus the
@@ -506,4 +515,4 @@ declare function foldStateSha256(entries: readonly JournalEntry[]): string;
 /** The reference hash; computed once from the kernel fold and frozen. */
 declare const GOLDEN_FOLD_STATE_SHA256 = "81e6ccff549fb3e6c1de4d34ba65b912162eba6f66403b5d5f23a3e1ec69243c";
 //#endregion
-export { type ConformanceCheck, type ConformanceSuite, DEFAULT_SOAK_QUORUM, type FencedTranscriptsFixture, GOLDEN_FOLD_JOURNAL, GOLDEN_FOLD_STATE_SHA256, KILL_POINT_SCENARIOS, type KillPointConformanceOptions, type KillPointEvent, type KillPointExpectation, type KillPointName, type KillPointObservation, type KillPointPhase, type KillPointScenario, type KillPointScenarioOptions, type KillPointTarget, type KillPointWorkerConfig, type KillPointWorkerHooks, type KillPointWorkflowKind, type MultiProcessSoakOptions, type MultiProcessSoakResult, type SoakAcceptSurface, type SoakActivity, type SoakEvent, type SoakProbeSurface, type SoakQuorum, type SoakWriterConfig, type SoakWriterHooks, type StoreFactory, type TestRegistrar, countSoakActivity, fencedTranscriptsConformance, fencedWritesConformance, foldStateSha256, journalStoreConformance, killPointConformance, killPointWorkerConfigFromEnv, leasableStoreConformance, makeSuite, materializeFoldState, parseKillPointReport, parseSoakReport, registerConformance, runKillPointScenario, runKillPointWorker, runMultiProcessSoak, runSoakWriter, soakWriterConfigFromEnv, stableStringify, verifySoakHistory };
+export { type ConformanceCheck, type ConformanceSuite, DEFAULT_SOAK_QUORUM, type FencedTranscriptsFixture, GOLDEN_FOLD_JOURNAL, GOLDEN_FOLD_STATE_SHA256, KILL_POINT_SCENARIOS, type KillPointConformanceOptions, type KillPointEvent, type KillPointExpectation, type KillPointName, type KillPointObservation, type KillPointPhase, type KillPointScenario, type KillPointScenarioOptions, type KillPointTarget, type KillPointWorkerConfig, type KillPointWorkerHooks, type KillPointWorkflowKind, type MultiProcessSoakOptions, type MultiProcessSoakResult, type QuotaLimiterConstructor, type SoakAcceptSurface, type SoakActivity, type SoakEvent, type SoakProbeSurface, type SoakQuorum, type SoakWriterConfig, type SoakWriterHooks, type StoreFactory, type TestRegistrar, countSoakActivity, fencedTranscriptsConformance, fencedWritesConformance, foldStateSha256, journalStoreConformance, killPointConformance, killPointWorkerConfigFromEnv, leasableStoreConformance, makeSuite, materializeFoldState, parseKillPointReport, parseSoakReport, quotaRulesConformance, registerConformance, runKillPointScenario, runKillPointWorker, runMultiProcessSoak, runSoakWriter, soakWriterConfigFromEnv, stableStringify, verifySoakHistory };

package/dist/index.js

@@ -1,4 +1,4 @@
-import { JournalOrderViolation, LeaseHeldError, Replayer, ResolutionFold, agentScope, buildDeriverRegistry, createCanonicalIdMinter, createEngine, defineWorkflow, deriveContentKey, dispositionHook, tool } from "@rulvar/core";
+import { ConfigError, JournalOrderViolation, LeaseHeldError, Replayer, ResolutionFold, agentScope, buildDeriverRegistry, createCanonicalIdMinter, createEngine, defineWorkflow, deriveContentKey, dispositionHook, quotaRuleKey, tool } from "@rulvar/core";
 import { createHash } from "node:crypto";
 import { spawn } from "node:child_process";
 import { appendFileSync, existsSync, readFileSync, writeFileSync } from "node:fs";
@@ -880,6 +880,67 @@ function fencedWritesConformance(mk) {
 	]);
 }
 //#endregion
+//#region src/quota-rules.ts
+/**
+* quotaRulesConformance (RV704): the executable construction contract
+* every reference QuotaLimiter shares. A rule set containing two
+* byte-identical rules is refused at construction with a typed
+* ConfigError naming both indexes and the canonical rule key, because
+* the SAME duplicated configuration admits differently per storage:
+* index-keyed memory buckets count each copy independently (the full
+* cap), while key-keyed store buckets are debited once per matching
+* copy (the cap divided by the copy count). Refusing the set before
+* any admission is what keeps equal configurations equal on every
+* storage.
+*/
+const RULE_A = {
+	provider: "fake",
+	model: "fake:model",
+	requestsPerMinute: 4
+};
+const RULE_B = {
+	provider: "fake",
+	tokensPerMinute: 1e3
+};
+async function closeQuietly(made) {
+	if (typeof made !== "object" || made === null) return;
+	const close = made.close;
+	if (typeof close === "function") try {
+		await Promise.resolve(close.call(made));
+	} catch {}
+}
+function quotaRulesConformance(mk) {
+	return makeSuite("quotaRulesConformance", [{
+		id: "quota-duplicate-refused",
+		title: "a duplicated rule is refused at construction, naming both indexes and the key",
+		async run() {
+			let thrown;
+			try {
+				await closeQuietly(mk([
+					RULE_A,
+					RULE_B,
+					{ ...RULE_A }
+				]));
+			} catch (error) {
+				thrown = error;
+			}
+			ensure(thrown !== void 0, "quota-duplicate-refused", "constructing a limiter over a rule set with a duplicated rule must throw: the same set admits the full cap on index-keyed memory buckets and half the cap on key-keyed store buckets, so admitting the configuration breaks storage parity");
+			const shown = thrown instanceof Error ? `${thrown.name}: ${thrown.message}` : JSON.stringify(thrown);
+			ensure(thrown instanceof ConfigError, "quota-duplicate-refused", `the duplicate refusal must be the typed ConfigError, got ${shown}`);
+			const message = thrown.message;
+			ensure(message.includes("[2] duplicates ") && message.includes("[0]"), "quota-duplicate-refused", `the refusal must name both indexes of the duplicated rule, got: ${message}`);
+			ensure(message.includes(`(rule key ${quotaRuleKey(RULE_A)})`), "quota-duplicate-refused", `the refusal must name the canonical rule key, got: ${message}`);
+			ensure(message.includes("delete the duplicate"), "quota-duplicate-refused", `the refusal must name the remedy, got: ${message}`);
+		}
+	}, {
+		id: "quota-distinct-rules-admitted",
+		title: "distinct rules construct: the refusal is about identity, never about count",
+		async run() {
+			await closeQuietly(mk([RULE_A, RULE_B]));
+		}
+	}]);
+}
+//#endregion
 //#region src/fenced-transcripts.ts
 /**
 * fencedTranscriptsConformance (the fenced run state RFC, F2): the
@@ -2296,4 +2357,4 @@ function killPointConformance(options) {
 	})));
 }
 //#endregion
-export { DEFAULT_SOAK_QUORUM, GOLDEN_FOLD_JOURNAL, GOLDEN_FOLD_STATE_SHA256, KILL_POINT_SCENARIOS, countSoakActivity, fencedTranscriptsConformance, fencedWritesConformance, foldStateSha256, journalStoreConformance, killPointConformance, killPointWorkerConfigFromEnv, leasableStoreConformance, makeSuite, materializeFoldState, parseKillPointReport, parseSoakReport, registerConformance, runKillPointScenario, runKillPointWorker, runMultiProcessSoak, runSoakWriter, soakWriterConfigFromEnv, stableStringify, verifySoakHistory };
+export { DEFAULT_SOAK_QUORUM, GOLDEN_FOLD_JOURNAL, GOLDEN_FOLD_STATE_SHA256, KILL_POINT_SCENARIOS, countSoakActivity, fencedTranscriptsConformance, fencedWritesConformance, foldStateSha256, journalStoreConformance, killPointConformance, killPointWorkerConfigFromEnv, leasableStoreConformance, makeSuite, materializeFoldState, parseKillPointReport, parseSoakReport, quotaRulesConformance, registerConformance, runKillPointScenario, runKillPointWorker, runMultiProcessSoak, runSoakWriter, soakWriterConfigFromEnv, stableStringify, verifySoakHistory };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rulvar/store-conformance",
-  "version": "1.111.0",
+  "version": "1.112.0",
   "description": "Rulvar executable store conformance kit (DEF-4).",
   "type": "module",
   "license": "Apache-2.0",
@@ -22,7 +22,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@rulvar/core": "1.111.0"
+    "@rulvar/core": "1.112.0"
   },
   "devDependencies": {
     "@types/node": "^22.20.1",