@cynodia/axiom-server 0.11.1-alpha.1 → 0.12.0-alpha.1

package/README.md

@@ -41,7 +41,9 @@ This package also owns the parts of an application that only the authority can r
 - **Schema evolution** (0.11) — `planMigration` / `explainMigration`, the host-controlled
   `executeMigration`, the durable `MigrationMetadataStore` and lease lock, keyset-batched
   crash-resumable migration, memory and SQLite `MigrationRowStore`s, and the
-  `createAxiomServer` startup gate. See
+  `createAxiomServer` startup gate. Concurrent migrators — including two OS processes on one
+  SQLite file — resolve to `completed` / `MIGRATION_IN_PROGRESS` / `alreadyAtTarget`; the
+  SQLite provider absorbs physical `SQLITE_BUSY` contention internally (0.11.2). See
   [`docs/MIGRATIONS.md`](https://github.com/cynodia/axiom/blob/main/docs/MIGRATIONS.md).
 
 Main exports: `createAxiomServer`, `createMemoryPersistence`, `createSqlitePersistence`,

package/conformance/distributed/cache-revision-visibility.json

@@ -0,0 +1,50 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "cache-revision-visibility",
+  "covers": [
+    "cache revision visibility"
+  ],
+  "description": "A cached entry is served while the persisted revision is unchanged and dropped once it advances.",
+  "clockStart": 1000,
+  "steps": [
+    {
+      "op": "cache-set",
+      "key": "ownOrders",
+      "value": [
+        1,
+        2,
+        3
+      ],
+      "observedRevision": 5
+    },
+    {
+      "op": "cache-get",
+      "key": "ownOrders",
+      "persistedRevision": 5,
+      "expect": {
+        "hit": true,
+        "value": [
+          1,
+          2,
+          3
+        ]
+      }
+    },
+    {
+      "op": "cache-get",
+      "key": "ownOrders",
+      "persistedRevision": 6,
+      "expect": {
+        "hit": false
+      }
+    },
+    {
+      "op": "cache-get",
+      "key": "ownOrders",
+      "persistedRevision": 6,
+      "expect": {
+        "hit": false
+      }
+    }
+  ]
+}

package/conformance/distributed/effect-claiming.json

@@ -0,0 +1,48 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "effect-claiming",
+  "covers": [
+    "effect claiming"
+  ],
+  "description": "One authority claims a pending effect work item exclusively; a second authority claims nothing.",
+  "clockStart": 1000,
+  "steps": [
+    {
+      "op": "enqueue",
+      "workClass": "effect",
+      "workId": "e1",
+      "expect": {
+        "created": true
+      }
+    },
+    {
+      "op": "claim",
+      "workClass": "effect",
+      "owner": "A",
+      "leaseMs": 5000,
+      "expect": {
+        "workIds": [
+          "e1"
+        ]
+      }
+    },
+    {
+      "op": "claim",
+      "workClass": "effect",
+      "owner": "B",
+      "leaseMs": 5000,
+      "expect": {
+        "workIds": []
+      }
+    },
+    {
+      "op": "work-state",
+      "workClass": "effect",
+      "workId": "e1",
+      "expect": {
+        "state": "claimed",
+        "attemptNumber": 1
+      }
+    }
+  ]
+}

package/conformance/distributed/effect-completion.json

@@ -0,0 +1,67 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "effect-completion",
+  "covers": [
+    "effect completion"
+  ],
+  "description": "The current owner settles the effect succeeded; a fenced prior owner's settle is rejected.",
+  "clockStart": 1000,
+  "steps": [
+    {
+      "op": "enqueue",
+      "workClass": "effect",
+      "workId": "e1"
+    },
+    {
+      "op": "claim",
+      "workClass": "effect",
+      "owner": "A",
+      "leaseMs": 1000,
+      "expect": {
+        "workIds": [
+          "e1"
+        ]
+      }
+    },
+    {
+      "op": "advance",
+      "ms": 1001
+    },
+    {
+      "op": "claim",
+      "workClass": "effect",
+      "owner": "B",
+      "leaseMs": 5000,
+      "expect": {
+        "workIds": [
+          "e1"
+        ]
+      }
+    },
+    {
+      "op": "settle",
+      "ref": "effect:e1:A",
+      "outcome": "succeeded",
+      "expect": {
+        "ok": false,
+        "reason": "fenced"
+      }
+    },
+    {
+      "op": "settle",
+      "ref": "effect:e1:B",
+      "outcome": "succeeded",
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "op": "work-state",
+      "workClass": "effect",
+      "workId": "e1",
+      "expect": {
+        "state": "succeeded"
+      }
+    }
+  ]
+}

package/conformance/distributed/effect-reclaim.json

@@ -0,0 +1,52 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "effect-reclaim",
+  "covers": [
+    "effect reclaim"
+  ],
+  "description": "A crashed claimer's lease lapses; another authority reclaims the same work item, attempt 2, one uncertain prior attempt.",
+  "clockStart": 1000,
+  "steps": [
+    {
+      "op": "enqueue",
+      "workClass": "effect",
+      "workId": "e1"
+    },
+    {
+      "op": "claim",
+      "workClass": "effect",
+      "owner": "A",
+      "leaseMs": 1000,
+      "expect": {
+        "workIds": [
+          "e1"
+        ]
+      }
+    },
+    {
+      "op": "advance",
+      "ms": 1001
+    },
+    {
+      "op": "claim",
+      "workClass": "effect",
+      "owner": "B",
+      "leaseMs": 5000,
+      "expect": {
+        "workIds": [
+          "e1"
+        ]
+      }
+    },
+    {
+      "op": "work-state",
+      "workClass": "effect",
+      "workId": "e1",
+      "expect": {
+        "state": "claimed",
+        "attemptNumber": 2,
+        "uncertainAttempts": 1
+      }
+    }
+  ]
+}

package/conformance/distributed/event-deduplication.json

@@ -0,0 +1,55 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "event-deduplication",
+  "covers": [
+    "event deduplication"
+  ],
+  "description": "A stable external id: first accepted, byte-equal repeat is a duplicate, divergent payload is EVENT_ID_CONFLICT.",
+  "clockStart": 1000,
+  "steps": [
+    {
+      "op": "dedup",
+      "source": "stripe",
+      "externalEventId": "evt_1",
+      "payload": {
+        "amount": 100
+      },
+      "expect": {
+        "status": "accepted"
+      }
+    },
+    {
+      "op": "dedup",
+      "source": "stripe",
+      "externalEventId": "evt_1",
+      "payload": {
+        "amount": 100
+      },
+      "expect": {
+        "status": "duplicate"
+      }
+    },
+    {
+      "op": "dedup",
+      "source": "stripe",
+      "externalEventId": "evt_1",
+      "payload": {
+        "amount": 999
+      },
+      "expect": {
+        "status": "conflict",
+        "code": "EVENT_ID_CONFLICT"
+      }
+    },
+    {
+      "op": "dedup",
+      "source": "stripe",
+      "payload": {
+        "amount": 5
+      },
+      "expect": {
+        "status": "unidentified"
+      }
+    }
+  ]
+}

package/conformance/distributed/lease-acquisition.json

@@ -0,0 +1,40 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "lease-acquisition",
+  "covers": [
+    "lease acquisition"
+  ],
+  "description": "A free resource is acquired at generation 1; a second live claimant is blocked and sees the holder.",
+  "clockStart": 1000,
+  "steps": [
+    {
+      "op": "acquire",
+      "resource": "effect:e1",
+      "owner": "A",
+      "leaseMs": 5000,
+      "expect": {
+        "ok": true,
+        "generation": 1
+      }
+    },
+    {
+      "op": "acquire",
+      "resource": "effect:e1",
+      "owner": "B",
+      "leaseMs": 5000,
+      "expect": {
+        "ok": false,
+        "heldBy": "A"
+      }
+    },
+    {
+      "op": "inspect",
+      "resource": "effect:e1",
+      "expect": {
+        "held": true,
+        "owner": "A",
+        "generation": 1
+      }
+    }
+  ]
+}

package/conformance/distributed/lease-fencing.json

@@ -0,0 +1,54 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "lease-fencing",
+  "covers": [
+    "lease fencing"
+  ],
+  "description": "An expired lease is reclaimed at a higher generation; the prior owner is fenced, not merely expired.",
+  "clockStart": 1000,
+  "steps": [
+    {
+      "op": "acquire",
+      "resource": "effect:e1",
+      "owner": "A",
+      "leaseMs": 1000,
+      "expect": {
+        "ok": true,
+        "generation": 1
+      }
+    },
+    {
+      "op": "advance",
+      "ms": 1001
+    },
+    {
+      "op": "acquire",
+      "resource": "effect:e1",
+      "owner": "B",
+      "leaseMs": 5000,
+      "expect": {
+        "ok": true,
+        "generation": 2
+      }
+    },
+    {
+      "op": "checkOwnership",
+      "resource": "effect:e1",
+      "owner": "A",
+      "generation": 1,
+      "expect": {
+        "current": false,
+        "reason": "fenced"
+      }
+    },
+    {
+      "op": "renew",
+      "resource": "effect:e1",
+      "ownerRef": "effect:e1#A",
+      "leaseMs": 5000,
+      "expect": {
+        "ok": false
+      }
+    }
+  ]
+}

package/conformance/distributed/manifest.json

@@ -0,0 +1,32 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "baseContract": "axiom.server.v7",
+  "release": "0.12.0-alpha.1",
+  "description": "Portable distributed-authority conformance fixtures (spec12 §59, §85). Each is a deterministic step list against the memory reference providers with a fixed clock and token sequence. Server IR is retained at axiom.server.v7 — 0.12 adds no IR vocabulary (spec12 §58).",
+  "covers": [
+    "lease acquisition",
+    "lease fencing",
+    "effect claiming",
+    "effect reclaim",
+    "effect completion",
+    "schedule firing",
+    "schedule reclaim",
+    "event deduplication",
+    "subscription cursor fencing",
+    "cache revision visibility",
+    "mixed-build refusal"
+  ],
+  "fixtures": [
+    "lease-acquisition",
+    "lease-fencing",
+    "effect-claiming",
+    "effect-reclaim",
+    "effect-completion",
+    "schedule-firing",
+    "schedule-reclaim",
+    "event-deduplication",
+    "subscription-cursor-fencing",
+    "cache-revision-visibility",
+    "mixed-build-refusal"
+  ]
+}

package/conformance/distributed/mixed-build-refusal.json

@@ -0,0 +1,42 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "mixed-build-refusal",
+  "covers": [
+    "mixed-build refusal"
+  ],
+  "description": "Work stamped with build A's key is not claimed by build B; build A claims it.",
+  "clockStart": 1000,
+  "steps": [
+    {
+      "op": "enqueue",
+      "workClass": "effect",
+      "workId": "e1",
+      "authorityKey": "buildA",
+      "expect": {
+        "created": true
+      }
+    },
+    {
+      "op": "claim",
+      "workClass": "effect",
+      "owner": "B",
+      "leaseMs": 5000,
+      "authorityKey": "buildB",
+      "expect": {
+        "workIds": []
+      }
+    },
+    {
+      "op": "claim",
+      "workClass": "effect",
+      "owner": "A",
+      "leaseMs": 5000,
+      "authorityKey": "buildA",
+      "expect": {
+        "workIds": [
+          "e1"
+        ]
+      }
+    }
+  ]
+}

package/conformance/distributed/schedule-firing.json

@@ -0,0 +1,55 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "schedule-firing",
+  "covers": [
+    "schedule firing"
+  ],
+  "description": "One logical schedule firing (a durable work item) is claimed and completed by exactly one authority.",
+  "clockStart": 5000,
+  "steps": [
+    {
+      "op": "enqueue",
+      "workClass": "schedule-firing",
+      "workId": "trg@5000",
+      "expect": {
+        "created": true
+      }
+    },
+    {
+      "op": "enqueue",
+      "workClass": "schedule-firing",
+      "workId": "trg@5000",
+      "expect": {
+        "created": false
+      }
+    },
+    {
+      "op": "claim",
+      "workClass": "schedule-firing",
+      "owner": "A",
+      "leaseMs": 5000,
+      "expect": {
+        "workIds": [
+          "trg@5000"
+        ]
+      }
+    },
+    {
+      "op": "claim",
+      "workClass": "schedule-firing",
+      "owner": "B",
+      "leaseMs": 5000,
+      "expect": {
+        "workIds": []
+      }
+    },
+    {
+      "op": "settle",
+      "ref": "schedule-firing:trg@5000:A",
+      "outcome": "succeeded",
+      "expect": {
+        "ok": true
+      }
+    }
+  ]
+}

package/conformance/distributed/schedule-reclaim.json

@@ -0,0 +1,59 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "schedule-reclaim",
+  "covers": [
+    "schedule reclaim"
+  ],
+  "description": "A crashed firing owner is reclaimed under the same work id — no second firing identity.",
+  "clockStart": 5000,
+  "steps": [
+    {
+      "op": "enqueue",
+      "workClass": "schedule-firing",
+      "workId": "trg@5000"
+    },
+    {
+      "op": "claim",
+      "workClass": "schedule-firing",
+      "owner": "A",
+      "leaseMs": 1000,
+      "expect": {
+        "workIds": [
+          "trg@5000"
+        ]
+      }
+    },
+    {
+      "op": "advance",
+      "ms": 1001
+    },
+    {
+      "op": "claim",
+      "workClass": "schedule-firing",
+      "owner": "B",
+      "leaseMs": 5000,
+      "expect": {
+        "workIds": [
+          "trg@5000"
+        ]
+      }
+    },
+    {
+      "op": "settle",
+      "ref": "schedule-firing:trg@5000:B",
+      "outcome": "succeeded",
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "op": "work-state",
+      "workClass": "schedule-firing",
+      "workId": "trg@5000",
+      "expect": {
+        "state": "succeeded",
+        "attemptNumber": 2
+      }
+    }
+  ]
+}

package/conformance/distributed/subscription-cursor-fencing.json

@@ -0,0 +1,87 @@
+{
+  "conformance": "axiom.conformance.v6",
+  "name": "subscription-cursor-fencing",
+  "covers": [
+    "subscription cursor fencing"
+  ],
+  "description": "A stalled cursor owner cannot advance after another authority takes over; the cursor never regresses.",
+  "clockStart": 1000,
+  "steps": [
+    {
+      "op": "cursor-acquire",
+      "subscription": "sub",
+      "owner": "A",
+      "leaseMs": 1000,
+      "expect": {
+        "ok": true,
+        "generation": 1,
+        "resumeFrom": 0
+      }
+    },
+    {
+      "op": "cursor-advance",
+      "subscription": "sub",
+      "owner": "A",
+      "generation": 1,
+      "toSequence": 10,
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "op": "advance",
+      "ms": 1001
+    },
+    {
+      "op": "cursor-acquire",
+      "subscription": "sub",
+      "owner": "B",
+      "leaseMs": 5000,
+      "expect": {
+        "ok": true,
+        "generation": 2,
+        "resumeFrom": 10
+      }
+    },
+    {
+      "op": "cursor-advance",
+      "subscription": "sub",
+      "owner": "B",
+      "generation": 2,
+      "toSequence": 25,
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "op": "cursor-advance",
+      "subscription": "sub",
+      "owner": "A",
+      "generation": 1,
+      "toSequence": 999,
+      "expect": {
+        "ok": false,
+        "reason": "fenced"
+      }
+    },
+    {
+      "op": "cursor-advance",
+      "subscription": "sub",
+      "owner": "B",
+      "generation": 2,
+      "toSequence": 5,
+      "expect": {
+        "ok": false,
+        "reason": "stale-sequence"
+      }
+    },
+    {
+      "op": "cursor-read",
+      "subscription": "sub",
+      "expect": {
+        "sequence": 25,
+        "writerGeneration": 2
+      }
+    }
+  ]
+}

package/conformance/migrations/add-optional-field.json

@@ -10,7 +10,7 @@
     "contract": "axiom.server.v7",
     "id": "migration-conformance",
     "name": "Migration Conformance",
-    "version": "0.11.1-alpha.1",
+    "version": "0.11.2-alpha.1",
     "schemaVersion": 2,
     "schemaFingerprint": "7e4d24d95c273ff084e7758508a02e35015d5db2ceda46ca61e7ee8a2c2a4929",
     "migrations": [

package/conformance/migrations/add-required-field-with-default.json

@@ -10,7 +10,7 @@
     "contract": "axiom.server.v7",
     "id": "migration-conformance",
     "name": "Migration Conformance",
-    "version": "0.11.1-alpha.1",
+    "version": "0.11.2-alpha.1",
     "schemaVersion": 2,
     "schemaFingerprint": "2c478dc5301786b76c6990e38e1659d621d7712fdfa785bf115b1275b9804877",
     "migrations": [

package/conformance/migrations/crash-and-resume.json

@@ -12,7 +12,7 @@
     "contract": "axiom.server.v7",
     "id": "migration-conformance",
     "name": "Migration Conformance",
-    "version": "0.11.1-alpha.1",
+    "version": "0.11.2-alpha.1",
     "schemaVersion": 2,
     "schemaFingerprint": "2c478dc5301786b76c6990e38e1659d621d7712fdfa785bf115b1275b9804877",
     "migrations": [