@reventlessdev/reventless-local 3.0.0-alpha.113

package/tests/components/task/TaskTest.res

@@ -0,0 +1,98 @@
+// Integration tests for Task_Builder.Make (in-memory).
+// Verifies that tasks are created with correct outputs and that the bucket
+// callback chain is wired through the in-memory adapter.
+// Low-level handler extraction is covered in adapter/TaskBucketTest.res.
+
+open TestFixtures
+open JestGlobals
+open TaskFixtures
+
+describe("Task_Builder.Make:", () => {
+  let _ = beforeEach(() => resetCaptures())
+
+  describe("make — no buckets:", () => {
+    testPromise("creates component with correct output name", async () => {
+      let task = NoBucketsMaker.make(
+        ~queryBucketName=mockQueryBucketName,
+        ~scheduler=mockScheduler,
+        ~schedulerRoleUrn=Pulumi.Output.make(""),
+        ~publishToAggregates=mockPublishToAggregates,
+        ~queryEngine=mockQueryEngine,
+        ~resourceNaming=mockResourceNaming,
+        ~allAggregates=Dict.make(),
+        ~opts=None,
+      )
+      let outputs = NoBucketsMaker.outputs(task)
+      expect(outputs.name)->toBe("NoBucketsTask")
+    })
+
+    testPromise("task with no buckets has no bucketNames in outputs", async () => {
+      let task = NoBucketsMaker.make(
+        ~queryBucketName=mockQueryBucketName,
+        ~scheduler=mockScheduler,
+        ~schedulerRoleUrn=Pulumi.Output.make(""),
+        ~publishToAggregates=mockPublishToAggregates,
+        ~queryEngine=mockQueryEngine,
+        ~resourceNaming=mockResourceNaming,
+        ~allAggregates=Dict.make(),
+        ~opts=None,
+      )
+      let outputs = NoBucketsMaker.outputs(task)
+      // bucketNames is absent when spec returns no buckets
+      expect(outputs.bucketNames->Option.isSome)->toBe(false)
+    })
+  })
+
+  describe("make — one named bucket with callback:", () => {
+    testPromise("creates component with correct output name", async () => {
+      let task = OneBucketMaker.make(
+        ~queryBucketName=mockQueryBucketName,
+        ~scheduler=mockScheduler,
+        ~schedulerRoleUrn=Pulumi.Output.make(""),
+        ~publishToAggregates=mockPublishToAggregates,
+        ~queryEngine=mockQueryEngine,
+        ~resourceNaming=mockResourceNaming,
+        ~allAggregates=Dict.make(),
+        ~opts=None,
+      )
+      let outputs = OneBucketMaker.outputs(task)
+      expect(outputs.name)->toBe("OneBucketTask")
+    })
+
+    testPromise("bucketNames dict contains the named bucket key", async () => {
+      let task = OneBucketMaker.make(
+        ~queryBucketName=mockQueryBucketName,
+        ~scheduler=mockScheduler,
+        ~schedulerRoleUrn=Pulumi.Output.make(""),
+        ~publishToAggregates=mockPublishToAggregates,
+        ~queryEngine=mockQueryEngine,
+        ~resourceNaming=mockResourceNaming,
+        ~allAggregates=Dict.make(),
+        ~opts=None,
+      )
+      let outputs = OneBucketMaker.outputs(task)
+      let bucketNames = outputs.bucketNames->Option.getUnsafe
+      expect(bucketNames->Dict.keysToArray)->toEqual(["Reports"])
+    })
+
+    testPromise("bucket id resolves to the bucket name (in-memory dummy resource)", async () => {
+      let task = OneBucketMaker.make(
+        ~queryBucketName=mockQueryBucketName,
+        ~scheduler=mockScheduler,
+        ~schedulerRoleUrn=Pulumi.Output.make(""),
+        ~publishToAggregates=mockPublishToAggregates,
+        ~queryEngine=mockQueryEngine,
+        ~resourceNaming=mockResourceNaming,
+        ~allAggregates=Dict.make(),
+        ~opts=None,
+      )
+      let outputs = OneBucketMaker.outputs(task)
+      let bucketNames = outputs.bucketNames->Option.getUnsafe
+      let idOutput = bucketNames->Dict.get("Reports")->Option.getUnsafe
+      let id = await idOutput->TestRunner.resolve
+      // In-memory bucket id = resource name: taskName ++ pascalCase(bucketName) ++ "Bucket"
+      // = "OneBucketTask" ++ "Reports" ++ "Bucket". The lookup key stays "Reports".
+      expect(id)->toBe("OneBucketTaskReportsBucket")
+    })
+  })
+})

package/tests/components/task/TaskTest.res.mjs

@@ -0,0 +1,46 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Pulumi from "@pulumi/pulumi";
+import * as TestRunner$ReventlessLocal from "../../../src/test/TestRunner.res.mjs";
+import * as TaskFixtures$ReventlessLocal from "./TaskFixtures.res.mjs";
+import * as TestFixtures$ReventlessLocal from "../../TestFixtures.res.mjs";
+
+globalThis.describe("Task_Builder.Make:", () => {
+  globalThis.beforeEach(() => TaskFixtures$ReventlessLocal.resetCaptures());
+  globalThis.describe("make — no buckets:", () => {
+    globalThis.test("creates component with correct output name", async () => {
+      let task = TaskFixtures$ReventlessLocal.NoBucketsMaker.make(TaskFixtures$ReventlessLocal.mockQueryBucketName, TestFixtures$ReventlessLocal.mockScheduler, Pulumi.output(""), TaskFixtures$ReventlessLocal.mockPublishToAggregates, TestFixtures$ReventlessLocal.mockQueryEngine, TestFixtures$ReventlessLocal.mockResourceNaming, {}, undefined);
+      let outputs = TaskFixtures$ReventlessLocal.NoBucketsMaker.outputs(task);
+      globalThis.expect(outputs.name).toBe("NoBucketsTask");
+    });
+    globalThis.test("task with no buckets has no bucketNames in outputs", async () => {
+      let task = TaskFixtures$ReventlessLocal.NoBucketsMaker.make(TaskFixtures$ReventlessLocal.mockQueryBucketName, TestFixtures$ReventlessLocal.mockScheduler, Pulumi.output(""), TaskFixtures$ReventlessLocal.mockPublishToAggregates, TestFixtures$ReventlessLocal.mockQueryEngine, TestFixtures$ReventlessLocal.mockResourceNaming, {}, undefined);
+      let outputs = TaskFixtures$ReventlessLocal.NoBucketsMaker.outputs(task);
+      globalThis.expect(Stdlib_Option.isSome(outputs.bucketNames)).toBe(false);
+    });
+  });
+  globalThis.describe("make — one named bucket with callback:", () => {
+    globalThis.test("creates component with correct output name", async () => {
+      let task = TaskFixtures$ReventlessLocal.OneBucketMaker.make(TaskFixtures$ReventlessLocal.mockQueryBucketName, TestFixtures$ReventlessLocal.mockScheduler, Pulumi.output(""), TaskFixtures$ReventlessLocal.mockPublishToAggregates, TestFixtures$ReventlessLocal.mockQueryEngine, TestFixtures$ReventlessLocal.mockResourceNaming, {}, undefined);
+      let outputs = TaskFixtures$ReventlessLocal.OneBucketMaker.outputs(task);
+      globalThis.expect(outputs.name).toBe("OneBucketTask");
+    });
+    globalThis.test("bucketNames dict contains the named bucket key", async () => {
+      let task = TaskFixtures$ReventlessLocal.OneBucketMaker.make(TaskFixtures$ReventlessLocal.mockQueryBucketName, TestFixtures$ReventlessLocal.mockScheduler, Pulumi.output(""), TaskFixtures$ReventlessLocal.mockPublishToAggregates, TestFixtures$ReventlessLocal.mockQueryEngine, TestFixtures$ReventlessLocal.mockResourceNaming, {}, undefined);
+      let outputs = TaskFixtures$ReventlessLocal.OneBucketMaker.outputs(task);
+      let bucketNames = outputs.bucketNames;
+      globalThis.expect(Object.keys(bucketNames)).toEqual(["Reports"]);
+    });
+    globalThis.test("bucket id resolves to the bucket name (in-memory dummy resource)", async () => {
+      let task = TaskFixtures$ReventlessLocal.OneBucketMaker.make(TaskFixtures$ReventlessLocal.mockQueryBucketName, TestFixtures$ReventlessLocal.mockScheduler, Pulumi.output(""), TaskFixtures$ReventlessLocal.mockPublishToAggregates, TestFixtures$ReventlessLocal.mockQueryEngine, TestFixtures$ReventlessLocal.mockResourceNaming, {}, undefined);
+      let outputs = TaskFixtures$ReventlessLocal.OneBucketMaker.outputs(task);
+      let bucketNames = outputs.bucketNames;
+      let idOutput = bucketNames["Reports"];
+      let id = await TestRunner$ReventlessLocal.resolve(idOutput);
+      globalThis.expect(id).toBe("OneBucketTaskReportsBucket");
+    });
+  });
+});
+
+/*  Not a pure module */

package/tests/plugin/PluginBehavior_GWT.res

@@ -0,0 +1,146 @@
+open ReventlessCore
+open PluginSpec
+open Plugin_Fixtures
+module PluginTest = ReventlessGwt.Behavior_GWT.MakeFromAggregate(PluginSpec, PluginBehavior)
+open PluginTest
+
+// Name-keyed lifecycle aggregate. Commands carry the version; the aggregate
+// decides supersession / promotion from event-driven status in `known` and
+// never reads wall-clock time.
+
+let supersededV1ByV2 = VersionSuperseded({
+  supersededVersion: "1",
+  supersededDefinition: pluginDefinition,
+  newVersion: "2",
+  newDefinition: pluginDefinitionV2,
+})
+
+describe("PluginBehavior:", () => {
+  // ── Detection → connect handshake ──────────────────────────────────────────
+  test("Heartbeat for an unknown version triggers detection", () =>
+    givenEvents([])->whenCmd(Heartbeat("1"))->thenEvents([VersionDetected("1")])
+  )
+
+  test("Heartbeat again while still only detected re-triggers detection", () =>
+    // VersionDetected does not add the version to `known`, so a repeat heartbeat
+    // re-emits it (idempotent handshake trigger).
+    givenEvents([VersionDetected("1")])->whenCmd(Heartbeat("1"))->thenEvents([VersionDetected("1")])
+  )
+
+  test("Connect completes the handshake", () =>
+    givenEvents([VersionDetected("1")])
+    ->whenCmd(Connect(pluginDefinition))
+    ->thenEvents([VersionConnected(pluginDefinition)])
+  )
+
+  test("Connect is idempotent for an already-connected version", () =>
+    givenEvents([VersionConnected(pluginDefinition)])
+    ->whenCmd(Connect(pluginDefinition))
+    ->thenNoEvent
+  )
+
+  test("Heartbeat for a connected version is a keep-alive no-op", () =>
+    givenEvents([VersionConnected(pluginDefinition)])->whenCmd(Heartbeat("1"))->thenNoEvent
+  )
+
+  // ── Disconnect / reconnect ─────────────────────────────────────────────────
+  test("Disconnect of the current version", () =>
+    givenEvents([VersionConnected(pluginDefinition)])
+    ->whenCmd(Disconnect("1"))
+    ->thenEvents([VersionDisconnected(pluginDefinition)])
+  )
+
+  test("Heartbeat reconnects a disconnected version", () =>
+    givenEvents([VersionConnected(pluginDefinition), VersionDisconnected(pluginDefinition)])
+    ->whenCmd(Heartbeat("1"))
+    ->thenEvents([VersionConnected(pluginDefinition)])
+  )
+
+  // ── Supersession (newer version takes over) ────────────────────────────────
+  test("A higher version connecting supersedes the current one", () =>
+    givenEvents([VersionConnected(pluginDefinition)])
+    ->whenCmd(Connect(pluginDefinitionV2))
+    ->thenEvents([VersionConnected(pluginDefinitionV2), supersededV1ByV2])
+  )
+
+  test("A lower version connecting does not supersede the current one", () =>
+    givenEvents([VersionConnected(pluginDefinitionV2)])
+    ->whenCmd(Connect(pluginDefinition))
+    ->thenEvents([VersionConnected(pluginDefinition)])
+  )
+
+  // ── Rollback (promote highest still-live on current loss) ───────────────────
+  test("Disconnecting the current version promotes the highest live lower version", () =>
+    givenEvents([VersionConnected(pluginDefinition), VersionConnected(pluginDefinitionV2)])
+    ->whenCmd(Disconnect("2"))
+    ->thenEvents([VersionDisconnected(pluginDefinitionV2), VersionPromoted(pluginDefinition)])
+  )
+
+  test("Disconnecting the current with no other live version promotes nothing", () =>
+    givenEvents([VersionConnected(pluginDefinition)])
+    ->whenCmd(Disconnect("1"))
+    ->thenEvents([VersionDisconnected(pluginDefinition)])
+  )
+
+  // ── Admin deactivate / activate ─────────────────────────────────────────────
+  test("Deactivate the current version", () =>
+    givenEvents([VersionConnected(pluginDefinition)])
+    ->whenCmd(Deactivate("1"))
+    ->thenEvents([VersionDeactivated(pluginDefinition)])
+  )
+
+  test("Activate a deactivated version", () =>
+    givenEvents([VersionConnected(pluginDefinition), VersionDeactivated(pluginDefinition)])
+    ->whenCmd(Activate("1"))
+    ->thenEvents([VersionActivated(pluginDefinition)])
+  )
+
+  test("Activate an unknown version errors", () =>
+    givenEvents([])->whenCmd(Activate("9"))->thenError(UnknownVersion)
+  )
+
+  // ── Manual retire + un-retire (decision A) ─────────────────────────────────
+  test("Retire the current version", () =>
+    givenEvents([VersionConnected(pluginDefinition)])
+    ->whenCmd(Retire("1"))
+    ->thenEvents([VersionRetired(pluginDefinition)])
+  )
+
+  test("Heartbeat does NOT revive a retired version (contrast with Disconnected)", () =>
+    givenEvents([VersionConnected(pluginDefinition), VersionRetired(pluginDefinition)])
+    ->whenCmd(Heartbeat("1"))
+    ->thenNoEvent
+  )
+
+  test("Un-retire: admin Activate revives a retired version", () =>
+    givenEvents([VersionConnected(pluginDefinition), VersionRetired(pluginDefinition)])
+    ->whenCmd(Activate("1"))
+    ->thenEvents([VersionActivated(pluginDefinition)])
+  )
+
+  // ── Incompatibility (observation only) ─────────────────────────────────────
+  test("ReportIncompatibility records an event without changing state", () =>
+    givenEvents([VersionConnected(pluginDefinition)])
+    ->whenCmd(ReportIncompatibility(pluginDefinition))
+    ->thenEvents([IncompatiblePluginDetected(pluginDefinition)])
+  )
+
+  // ── UI fragments ────────────────────────────────────────────────────────────
+  test("Connect with UI fragments emits UIFragmentRegistered", () =>
+    givenEvents([VersionDetected("1")])
+    ->whenCmd(Connect(pluginDefinitionWithUI))
+    ->thenEvents([
+      VersionConnected(pluginDefinitionWithUI),
+      UIFragmentRegistered({pluginId: pluginDefinitionWithUI.id, manifest: uiManifest}),
+    ])
+  )
+
+  test("Disconnect with UI fragments emits UIFragmentDeregistered", () =>
+    givenEvents([VersionConnected(pluginDefinitionWithUI)])
+    ->whenCmd(Disconnect("1"))
+    ->thenEvents([
+      VersionDisconnected(pluginDefinitionWithUI),
+      UIFragmentDeregistered({pluginId: pluginDefinitionWithUI.id}),
+    ])
+  )
+})

package/tests/plugin/PluginBehavior_GWT.res.mjs

@@ -0,0 +1,281 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as PluginSpec$ReventlessCore from "@reventlessdev/reventless-core/src/plugin/lifecycle/PluginSpec.res.mjs";
+import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as PluginBehavior$ReventlessCore from "@reventlessdev/reventless-core/src/plugin/lifecycle/PluginBehavior.res.mjs";
+import * as Plugin_Fixtures$ReventlessLocal from "./Plugin_Fixtures.res.mjs";
+
+let PluginTest = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
+  name: PluginSpec$ReventlessCore.name,
+  commandSchema: PluginSpec$ReventlessCore.commandSchema,
+  eventSchema: PluginSpec$ReventlessCore.eventSchema,
+  errorSchema: PluginSpec$ReventlessCore.errorSchema
+})({
+  Spec: {
+    name: PluginSpec$ReventlessCore.name,
+    commandSchema: PluginSpec$ReventlessCore.commandSchema,
+    eventSchema: PluginSpec$ReventlessCore.eventSchema,
+    errorSchema: PluginSpec$ReventlessCore.errorSchema
+  },
+  initialState: PluginBehavior$ReventlessCore.initialState,
+  evolve: PluginBehavior$ReventlessCore.evolve,
+  decide: PluginBehavior$ReventlessCore.decide,
+  moduleUrl: PluginBehavior$ReventlessCore.moduleUrl
+});
+
+let supersededV1ByV2 = {
+  TAG: "VersionSuperseded",
+  _0: {
+    supersededVersion: "1",
+    supersededDefinition: Plugin_Fixtures$ReventlessLocal.pluginDefinition,
+    newVersion: "2",
+    newDefinition: Plugin_Fixtures$ReventlessLocal.pluginDefinitionV2
+  }
+};
+
+PluginTest.describe("PluginBehavior:", () => {
+  PluginTest.test("Heartbeat for an unknown version triggers detection", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([]), {
+    TAG: "Heartbeat",
+    _0: "1"
+  }), [{
+      TAG: "VersionDetected",
+      _0: "1"
+    }]));
+  PluginTest.test("Heartbeat again while still only detected re-triggers detection", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionDetected",
+      _0: "1"
+    }]), {
+    TAG: "Heartbeat",
+    _0: "1"
+  }), [{
+      TAG: "VersionDetected",
+      _0: "1"
+    }]));
+  PluginTest.test("Connect completes the handshake", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionDetected",
+      _0: "1"
+    }]), {
+    TAG: "Connect",
+    _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+  }), [{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("Connect is idempotent for an already-connected version", () => PluginTest.thenNoEvent(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]), {
+    TAG: "Connect",
+    _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+  })));
+  PluginTest.test("Heartbeat for a connected version is a keep-alive no-op", () => PluginTest.thenNoEvent(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]), {
+    TAG: "Heartbeat",
+    _0: "1"
+  })));
+  PluginTest.test("Disconnect of the current version", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]), {
+    TAG: "Disconnect",
+    _0: "1"
+  }), [{
+      TAG: "VersionDisconnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("Heartbeat reconnects a disconnected version", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([
+    {
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    },
+    {
+      TAG: "VersionDisconnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }
+  ]), {
+    TAG: "Heartbeat",
+    _0: "1"
+  }), [{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("A higher version connecting supersedes the current one", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]), {
+    TAG: "Connect",
+    _0: Plugin_Fixtures$ReventlessLocal.pluginDefinitionV2
+  }), [
+    {
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinitionV2
+    },
+    supersededV1ByV2
+  ]));
+  PluginTest.test("A lower version connecting does not supersede the current one", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinitionV2
+    }]), {
+    TAG: "Connect",
+    _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+  }), [{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("Disconnecting the current version promotes the highest live lower version", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([
+    {
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    },
+    {
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinitionV2
+    }
+  ]), {
+    TAG: "Disconnect",
+    _0: "2"
+  }), [
+    {
+      TAG: "VersionDisconnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinitionV2
+    },
+    {
+      TAG: "VersionPromoted",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }
+  ]));
+  PluginTest.test("Disconnecting the current with no other live version promotes nothing", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]), {
+    TAG: "Disconnect",
+    _0: "1"
+  }), [{
+      TAG: "VersionDisconnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("Deactivate the current version", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]), {
+    TAG: "Deactivate",
+    _0: "1"
+  }), [{
+      TAG: "VersionDeactivated",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("Activate a deactivated version", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([
+    {
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    },
+    {
+      TAG: "VersionDeactivated",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }
+  ]), {
+    TAG: "Activate",
+    _0: "1"
+  }), [{
+      TAG: "VersionActivated",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("Activate an unknown version errors", () => PluginTest.thenError(PluginTest.whenCmd(PluginTest.givenEvents([]), {
+    TAG: "Activate",
+    _0: "9"
+  }), "UnknownVersion"));
+  PluginTest.test("Retire the current version", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]), {
+    TAG: "Retire",
+    _0: "1"
+  }), [{
+      TAG: "VersionRetired",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("Heartbeat does NOT revive a retired version (contrast with Disconnected)", () => PluginTest.thenNoEvent(PluginTest.whenCmd(PluginTest.givenEvents([
+    {
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    },
+    {
+      TAG: "VersionRetired",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }
+  ]), {
+    TAG: "Heartbeat",
+    _0: "1"
+  })));
+  PluginTest.test("Un-retire: admin Activate revives a retired version", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([
+    {
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    },
+    {
+      TAG: "VersionRetired",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }
+  ]), {
+    TAG: "Activate",
+    _0: "1"
+  }), [{
+      TAG: "VersionActivated",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("ReportIncompatibility records an event without changing state", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]), {
+    TAG: "ReportIncompatibility",
+    _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+  }), [{
+      TAG: "IncompatiblePluginDetected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinition
+    }]));
+  PluginTest.test("Connect with UI fragments emits UIFragmentRegistered", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionDetected",
+      _0: "1"
+    }]), {
+    TAG: "Connect",
+    _0: Plugin_Fixtures$ReventlessLocal.pluginDefinitionWithUI
+  }), [
+    {
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinitionWithUI
+    },
+    {
+      TAG: "UIFragmentRegistered",
+      _0: {
+        pluginId: Plugin_Fixtures$ReventlessLocal.pluginDefinitionWithUI.id,
+        manifest: Plugin_Fixtures$ReventlessLocal.uiManifest
+      }
+    }
+  ]));
+  PluginTest.test("Disconnect with UI fragments emits UIFragmentDeregistered", () => PluginTest.thenEvents(PluginTest.whenCmd(PluginTest.givenEvents([{
+      TAG: "VersionConnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinitionWithUI
+    }]), {
+    TAG: "Disconnect",
+    _0: "1"
+  }), [
+    {
+      TAG: "VersionDisconnected",
+      _0: Plugin_Fixtures$ReventlessLocal.pluginDefinitionWithUI
+    },
+    {
+      TAG: "UIFragmentDeregistered",
+      _0: {
+        pluginId: Plugin_Fixtures$ReventlessLocal.pluginDefinitionWithUI.id
+      }
+    }
+  ]));
+});
+
+export {
+  PluginTest,
+  supersededV1ByV2,
+}
+/* PluginTest Not a pure module */

package/tests/plugin/Plugin_Fixtures.res

@@ -0,0 +1,61 @@
+open ReventlessCore
+
+let sc = ReventlessGwt.TestFixtures.statusChange
+
+let pluginDefinition: Reventless.Plugin.pluginDefinition = {
+  id: "name@1",
+  name: "name",
+  version: "1",
+  extensionPoints: [],
+  extensions: [{name: "Core.Plugin.Test", extensionPointName: "Core.Plugin", dcbSources: []}],
+  eventCollector: "eventCollector",
+  extensionProtocols: [],
+  apiSchemaFragment: None,
+  apiTarget: None,
+  uiFragments: None,
+  structure: None,
+  dcbEventLog: None,
+}
+
+// A higher version of the SAME plugin name — for supersession / rollback tests.
+let pluginDefinitionV2 = {...pluginDefinition, id: "name@2", version: "2"}
+
+// Expected current-view row for a def + status + the OTHER currently-connected
+// versions (own version excluded). Reuses the projection's own builder so
+// assertions match the projection output exactly.
+let display = (def, status, otherConnectedVersions): PluginsReadModelSpec.state =>
+  PluginsProjection.displayState(def, status, sc, otherConnectedVersions)
+
+// Canonical v1 Connected current-view row — no other versions live.
+let state: PluginsReadModelSpec.state = display(pluginDefinition, Connected, [])
+
+let uiManifest: Reventless.Plugin.uiFragmentManifest = {
+  remoteEntryUrl: "https://cdn.example.com/plugin@1.0/remoteEntry.js",
+  panels: [],
+  pages: [],
+}
+
+let pluginDefinitionWithUI = {
+  ...pluginDefinition,
+  uiFragments: Some(uiManifest),
+}
+
+let extensionPointNames2 = ["Test.Test"]
+let pluginDefinition2 = {
+  Reventless.Plugin.id: "name2@1",
+  name: "name2",
+  version: "1",
+  extensionPoints: extensionPointNames2->Array.mapWithIndex((name, idx) => {
+    Reventless.Plugin.name,
+    commandTopic: `commandTopic${idx->Int.toString}`,
+    eventTopic: `eventTopic${idx->Int.toString}`,
+  }),
+  extensions: [],
+  eventCollector: "eventCollector",
+  extensionProtocols: [],
+  apiSchemaFragment: None,
+  apiTarget: None,
+  uiFragments: None,
+  structure: None,
+  dcbEventLog: None,
+}