@termwright/conformance 0.3.1 → 0.4.0

package/README.md

@@ -107,7 +107,7 @@ It checks the five obligations an adapter has:
 | Dormant rule      | Without `TERMWRIGHT_ENDPOINT` it opens no channel and writes no marker; with `baseline`, byte-for-byte identical startup output                                                                                                                                                                                       |
 | Tree before input | Once the handshake completes and _before any input_, the tree is non-empty and has at least one node a locator could address. Opt out with `treeBeforeInput: {required: false, reason}`                                                                                                                               |
 | Handshake         | `hello` first and once, correct protocol id, non-empty adapter identity, capabilities from the closed set                                                                                                                                                                                                             |
-| Snapshot validity | Every publication is a complete v2 snapshot that passes `validateSnapshot`, carries this session's id, has resolvable parents and monotonic revisions                                                                                                                                                                 |
+| Semantic validity | Every publication is a v3 full tree or an atomic revision-based delta that reconstructs a state accepted by `validateSnapshot`, carries this session's id, has resolvable parents and monotonic revisions                                                                                                             |
 | Revision ordering | For each revision: snapshot → `revision-commit` → a marker that verifies against the session token, markers strictly increasing                                                                                                                                                                                       |
 | Channel loss      | Cutting the socket leaves the application rendering and alive, and the adapter does not reconnect                                                                                                                                                                                                                     |
 | Logs              | An adapter that did not announce `logs` sends none. One that declares them in the registration must deliver a record whose `seq` is unique and increasing and whose message never appears on the terminal                                                                                                             |

package/dist/index.js

@@ -54,7 +54,7 @@ var certified_instrumentation_default = {
 var BUILTIN_PROFILES = certified_instrumentation_default.profiles;
 var INK_VERSION = BUILTIN_PROFILES.at(-1)?.version ?? "unsupported";
 
-// ../probe-ink/dist/chunk-Q75BSILO.js
+// ../probe-ink/dist/chunk-6QJVIERP.js
 import { validateProbeAnnotations } from "@termwright/protocol";
 
 // ../pty/dist/index.js
@@ -988,7 +988,7 @@ ${this.#adapterAccount()}`;
       protocol: PROTOCOL_ID,
       sessionId: this.sessionId,
       limits: DEFAULT_LIMITS2,
-      subscribe: "snapshots",
+      subscribe: "semantic",
       marker: { enabled: parsed.message.capabilities.includes("render-revisions") },
       // Granted only to an adapter that asked: an adapter that never announced
       // `logs` must not be handed a budget it can then claim it was given.
@@ -1102,7 +1102,7 @@ var CONTAINER_ROLES = /* @__PURE__ */ new Set([
   "application",
   "menu"
 ]);
-var snapshotsOf = (observation) => observation.messages.filter((entry) => entry.message.type === "snapshot").map((entry) => entry.message.snapshot);
+var snapshotsOf = (observation) => observation.messages.filter((entry) => entry.message.type === "semantic-full").map((entry) => entry.message.snapshot);
 async function runAdapterConformance(options) {
   const { afterAll, afterEach, beforeEach, describe, expect } = await import("vitest");
   const { it: resourceAwareIt } = await import("@termwright/resource-broker/vitest");
@@ -1230,7 +1230,7 @@ async function runAdapterConformance(options) {
         for (const snapshot of snapshots) {
           expect(validateSnapshot(snapshot, DEFAULT_LIMITS3)).toMatchObject({ ok: true });
           expect(snapshot.sessionId).toBe(probe.sessionId);
-          expect(snapshot.v).toBe(2);
+          expect(snapshot.v).toBe(3);
           const ids = new Set(snapshot.nodes.map((node) => node.id));
           for (const node of snapshot.nodes) {
             if (node.parentId === void 0) expect(snapshot.rootIds).toContain(node.id);
@@ -1269,7 +1269,7 @@ async function runAdapterConformance(options) {
         );
         const complete = (observation2) => observation2.markers.every(
           (marker) => observation2.messages.some(
-            (entry) => entry.message.type === "snapshot" && entry.message.snapshot.revision === marker.revision
+            (entry) => entry.message.type === "semantic-full" && entry.message.snapshot.revision === marker.revision
           ) && observation2.messages.some(
             (entry) => entry.message.type === "revision-commit" && entry.message.revision === marker.revision
           )
@@ -1283,7 +1283,7 @@ async function runAdapterConformance(options) {
         );
         for (const marker of markers) {
           const snapshot = observation.messages.find(
-            (entry) => entry.message.type === "snapshot" && entry.message.snapshot.revision === marker.revision
+            (entry) => entry.message.type === "semantic-full" && entry.message.snapshot.revision === marker.revision
           );
           const commit = observation.messages.find(
             (entry) => entry.message.type === "revision-commit" && entry.message.revision === marker.revision