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

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/dist/authority-identity.d.ts

@@ -0,0 +1,27 @@
+/**
+ * This authority build's compatibility identity, computed from the Server IR (spec12 §43-§45).
+ *
+ * `packages/core`'s `semanticFingerprint` projects an `ApplicationGraph`; the authoritative
+ * runtime only ever sees the normalized `ServerIR`. This module is the ServerIR-side
+ * equivalent: the same idea (hash the executable meaning, exclude names / UI / annotation),
+ * applied to the slices a `ServerIR` actually carries. It is deterministic and versioned so
+ * a future non-JS runtime reconstructs the same bytes (spec12 §95, §96).
+ *
+ * The resulting {@link AuthorityCompatibilityKey} is what `createDurableWorkStore` stamps as
+ * its `authorityKey`: an incompatible / older build then refuses to claim work a newer build
+ * created (spec12 §44, §47).
+ */
+import { type AuthorityCompatibilityKey, type ServerIR } from './deps.js';
+/**
+ * The canonical executable-meaning projection of a Server IR: actions, constraints,
+ * transition constraints, expression defs, integrations + operations, triggers, events,
+ * subscriptions, storages, read policies, relationships, queries, plus the schema version.
+ * Everything a distributed worker executes; nothing a rename touches.
+ */
+export declare function serverIrSemanticProjection(ir: ServerIR): Record<string, unknown>;
+export declare function serverIrSemanticFingerprint(ir: ServerIR): string;
+/** The full compatibility key for the authority executing this Server IR (spec12 §45). */
+export declare function serverIrCompatibilityKey(ir: ServerIR): AuthorityCompatibilityKey;
+/** The stable string form stamped onto durable work as `authorityKey`. */
+export declare function serverIrCompatibilityKeyString(ir: ServerIR): string;
+//# sourceMappingURL=authority-identity.d.ts.map