@rulvar/store-conformance 1.1.0 → 1.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.d.ts +1 -2
- package/dist/index.js +2 -3
- package/package.json +2 -2
package/dist/index.d.ts
CHANGED
|
@@ -4,8 +4,7 @@ import { JournalEntry, JournalStore, LeasableStore } from "@rulvar/core";
|
|
|
4
4
|
/**
|
|
5
5
|
* Conformance kit surface (M2-T11, DEF-4): an executable suite
|
|
6
6
|
* parameterized by a store factory. A store implementation passes or it
|
|
7
|
-
* is not a rulvar store
|
|
8
|
-
* section "Conformance obligations").
|
|
7
|
+
* is not a rulvar store.
|
|
9
8
|
*/
|
|
10
9
|
/** One mandatory check; `run` rejects with a descriptive Error on violation. */
|
|
11
10
|
interface ConformanceCheck {
|
package/dist/index.js
CHANGED
|
@@ -204,8 +204,7 @@ const GOLDEN_FOLD_STATE_SHA256 = "81e6ccff549fb3e6c1de4d34ba65b912162eba6f66403b
|
|
|
204
204
|
//#region src/journal.ts
|
|
205
205
|
/**
|
|
206
206
|
* journalStoreConformance (M2-T11, DEF-4): the executable definition of
|
|
207
|
-
* the JournalStore seam. Mandatory checks
|
|
208
|
-
* "Conformance obligations" and docs/11, section "Conformance tier":
|
|
207
|
+
* the JournalStore seam. Mandatory checks for the conformance tier:
|
|
209
208
|
* A1 append atomicity, A2 total per-run order, A3 read-your-writes,
|
|
210
209
|
* A4 opaque payload, meta separation, the golden fold-state fixture, the
|
|
211
210
|
* end-to-end decide-once oracle, and the abandon fixture (zero live
|
|
@@ -480,7 +479,7 @@ function journalStoreConformance(mk) {
|
|
|
480
479
|
//#region src/leasable.ts
|
|
481
480
|
/**
|
|
482
481
|
* leasableStoreConformance (M2-T11, DEF-4): the executable definition of
|
|
483
|
-
* the lease capability
|
|
482
|
+
* the lease capability.
|
|
484
483
|
* Mandatory: acquire on a held lease rejects with the typed
|
|
485
484
|
* LeaseHeldError; the fencing epoch is monotonic per run; an append
|
|
486
485
|
* carrying a stale epoch is rejected AND invisible to subsequent loads;
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@rulvar/store-conformance",
|
|
3
|
-
"version": "1.
|
|
3
|
+
"version": "1.2.0",
|
|
4
4
|
"description": "rulvar executable store conformance kit (DEF-4).",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"license": "Apache-2.0",
|
|
@@ -22,7 +22,7 @@
|
|
|
22
22
|
"access": "public"
|
|
23
23
|
},
|
|
24
24
|
"dependencies": {
|
|
25
|
-
"@rulvar/core": "1.
|
|
25
|
+
"@rulvar/core": "1.2.0"
|
|
26
26
|
},
|
|
27
27
|
"devDependencies": {
|
|
28
28
|
"@types/node": "^22.20.0",
|