@substrat-run/engine-protocol 0.11.3 → 0.11.4

package/dist/operations.d.ts

@@ -731,25 +731,32 @@ export declare const protocolOperations: {
         }, z.core.$strip>;
     };
     /**
-     * The one operation here whose authority cannot be stated as a leading
-     * `permission`, and the reason is this engine's defining property.
-     *
      * The check is `protocol:read` against the entity the protocols hang on — a
      * work order in Callout, a bike in Handlebar — so the entity's TYPE arrives as
-     * data. `PermissionCheck.entity` must name a type known at declaration time,
-     * and there is no honest value to put there: `'protocol'` would be false,
-     * because what is checked is the PARENT, not any protocol.
+     * data, and `entity` must name a type known at declaration time.
+     *
+     * This declared `narrows` until #896, for want of anywhere else to put it, and
+     * the note here said what was lost was "the entity type, which was never
+     * available to lose". That was true and it was not the whole cost: `narrows`
+     * describes a per-row PROOF WALK, and this is one check against one parent
+     * before a single query. An operation set is read to find out what is checked
+     * where, so a shape that says "asks per row" about an operation that asks once
+     * is the artifact being wrong in a quieter way than being incomplete.
      *
-     * So it declares `narrows` instead, which records the fact that actually
-     * protects anything — this is not a node check — and names the key the walk
-     * evaluates, so `protocol:read` still reaches the permission review. What is
-     * lost is the entity type, which was never available to lose.
+     * `entityFrom` (#890) says what actually happens: narrowed to the entity named
+     * by these two fields. The conformance kit cannot drive it — the types come
+     * from an open `z.string()`, because an engine cannot enumerate its callers'
+     * nouns — so it is reported as UNCOVERED with that reason, which is the correct
+     * outcome and a louder one than being out of scope. Contrast
+     * `engines/absence`, whose subject arrives as a whole `EntityRef` in one field
+     * and is therefore drivable through `refFrom`.
      */
     readonly 'protocol/list-for-entity': {
         readonly summary: "Every protocol on one entity, with its progress and signatures";
-        readonly narrows: {
-            readonly reason: "checked against the entity the protocols hang on, whose type is the caller’s";
-            readonly checks: readonly ["protocol:read"];
+        readonly permission: {
+            readonly key: "protocol:read";
+            readonly entityFrom: "entityType";
+            readonly idFrom: "entityId";
         };
         readonly input: z.ZodObject<{
             entityType: z.ZodString;

package/dist/operations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../src/operations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,OAAO,EAAoB,CAAC,EAAE,MAAM,yBAAyB,CAAC;AAqB9D,4EAA4E;AAC5E,eAAO,MAAM,oBAAoB,YAC/B,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,4BAA4B,EAC5B,2BAA2B,EAC3B,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,iBAAiB,EACjB,eAAe,CACP,CAAC;AAKX,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA+G7B;;;;;;;;;;;;;;OAcG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoBH,CAAC"}
+{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../src/operations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,OAAO,EAAoB,CAAC,EAAE,MAAM,yBAAyB,CAAC;AAqB9D,4EAA4E;AAC5E,eAAO,MAAM,oBAAoB,YAC/B,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,4BAA4B,EAC5B,2BAA2B,EAC3B,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,iBAAiB,EACjB,eAAe,CACP,CAAC;AAKX,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA+G7B;;;;;;;;;;;;;;;;;;;;OAoBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiBH,CAAC"}

package/dist/operations.js

@@ -155,26 +155,29 @@ export const protocolOperations = defineOperations(protocolEntities, PROTOCOL_PE
         output: protocolDetail,
     },
     /**
-     * The one operation here whose authority cannot be stated as a leading
-     * `permission`, and the reason is this engine's defining property.
-     *
      * The check is `protocol:read` against the entity the protocols hang on — a
      * work order in Callout, a bike in Handlebar — so the entity's TYPE arrives as
-     * data. `PermissionCheck.entity` must name a type known at declaration time,
-     * and there is no honest value to put there: `'protocol'` would be false,
-     * because what is checked is the PARENT, not any protocol.
+     * data, and `entity` must name a type known at declaration time.
+     *
+     * This declared `narrows` until #896, for want of anywhere else to put it, and
+     * the note here said what was lost was "the entity type, which was never
+     * available to lose". That was true and it was not the whole cost: `narrows`
+     * describes a per-row PROOF WALK, and this is one check against one parent
+     * before a single query. An operation set is read to find out what is checked
+     * where, so a shape that says "asks per row" about an operation that asks once
+     * is the artifact being wrong in a quieter way than being incomplete.
      *
-     * So it declares `narrows` instead, which records the fact that actually
-     * protects anything — this is not a node check — and names the key the walk
-     * evaluates, so `protocol:read` still reaches the permission review. What is
-     * lost is the entity type, which was never available to lose.
+     * `entityFrom` (#890) says what actually happens: narrowed to the entity named
+     * by these two fields. The conformance kit cannot drive it — the types come
+     * from an open `z.string()`, because an engine cannot enumerate its callers'
+     * nouns — so it is reported as UNCOVERED with that reason, which is the correct
+     * outcome and a louder one than being out of scope. Contrast
+     * `engines/absence`, whose subject arrives as a whole `EntityRef` in one field
+     * and is therefore drivable through `refFrom`.
      */
     'protocol/list-for-entity': {
         summary: 'Every protocol on one entity, with its progress and signatures',
-        narrows: {
-            reason: 'checked against the entity the protocols hang on, whose type is the caller’s',
-            checks: ['protocol:read'],
-        },
+        permission: { key: 'protocol:read', entityFrom: 'entityType', idFrom: 'entityId' },
         input: z.object({ entityType: z.string().min(1), entityId: z.string().min(1) }),
         output: protocolSummary,
         // `id` first: a ULID is creation-ordered, which is the append order this read

package/dist/operations.js.map

@@ -1 +1 @@
-{"version":3,"file":"operations.js","sourceRoot":"","sources":["../src/operations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,OAAO,EAAE,gBAAgB,EAAE,CAAC,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACtE,OAAO,EACL,iBAAiB,EACjB,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,EACnB,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,2BAA2B,EAC3B,eAAe,EACf,mBAAmB,EACnB,uBAAuB,EACvB,UAAU,GACX,MAAM,cAAc,CAAC;AAEtB,4EAA4E;AAC5E,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,iBAAiB;IACjB,eAAe;IACf,eAAe;IACf,4BAA4B;IAC5B,2BAA2B;IAC3B,eAAe;IACf,sBAAsB;IACtB,eAAe;IACf,iBAAiB;IACjB,eAAe;CACP,CAAC;AAEX,4EAA4E;AAC5E,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAE/D,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC;IACzF,0BAA0B,EAAE;QAC1B,OAAO,EAAE,wDAAwD;QACjE,0EAA0E;QAC1E,UAAU,EAAE,iBAAiB;QAC7B,KAAK,EAAE,mBAAmB;QAC1B,MAAM,EAAE,mBAAmB;KAC5B;IAED,yBAAyB,EAAE;QACzB,OAAO,EAAE,iEAAiE;QAC1E,UAAU,EAAE,eAAe;QAC3B,MAAM,EAAE,mBAAmB;QAC3B,8EAA8E;QAC9E,4EAA4E;QAC5E,+EAA+E;QAC/E,2EAA2E;QAC3E,8DAA8D;QAC9D,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;KAC1B;IAED,sBAAsB,EAAE;QACtB,OAAO,EAAE,sEAAsE;QAC/E,4EAA4E;QAC5E,0EAA0E;QAC1E,8DAA8D;QAC9D,8CAA8C;QAC9C,UAAU,EAAE,iBAAiB;QAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;YACd,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,mBAAmB;KAC5B;IAED,eAAe,EAAE;QACf,OAAO,EAAE,+DAA+D;QACxE,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,iBAAiB;QACxB,MAAM,EAAE,mBAAmB;KAC5B;IAED,wBAAwB,EAAE;QACxB,OAAO,EAAE,gFAAgF;QACzF,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,iBAAiB;QACxB,MAAM,EAAE,mBAAmB;KAC5B;IAED,6BAA6B,EAAE;QAC7B,OAAO,EAAE,8DAA8D;QACvE,UAAU,EAAE,EAAE,GAAG,EAAE,4BAA4B,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC3F,KAAK,EAAE,sBAAsB;QAC7B,MAAM,EAAE,uBAAuB;KAChC;IAED,4BAA4B,EAAE;QAC5B,OAAO,EAAE,2DAA2D;QACpE,UAAU,EAAE,EAAE,GAAG,EAAE,4BAA4B,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC3F,KAAK,EAAE,4BAA4B;QACnC,MAAM,EAAE,mBAAmB;KAC5B;IAED,2BAA2B,EAAE;QAC3B,2EAA2E;QAC3E,wEAAwE;QACxE,sEAAsE;QACtE,wEAAwE;QACxE,wBAAwB;QACxB,OAAO,EAAE,6DAA6D;QACtE,UAAU,EAAE,2BAA2B;QACvC,KAAK,EAAE,oBAAoB;QAC3B,MAAM,EAAE,UAAU;KACnB;IAED,4BAA4B,EAAE;QAC5B,OAAO,EAAE,qEAAqE;QAC9E,UAAU,EAAE,2BAA2B;QACvC,KAAK,EAAE,qBAAqB;QAC5B,MAAM,EAAE,2BAA2B;KACpC;IAED,eAAe,EAAE;QACf,OAAO,EAAE,sDAAsD;QAC/D,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,UAAU;KACnB;IAED,sBAAsB,EAAE;QACtB,OAAO,EAAE,qEAAqE;QAC9E,UAAU,EAAE,EAAE,GAAG,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QACrF,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,UAAU;KACnB;IAED,eAAe,EAAE;QACf,OAAO,EAAE,6CAA6C;QACtD,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,MAAM,EAAE,mBAAmB;KAC5B;IAED,cAAc,EAAE;QACd,OAAO,EAAE,oEAAoE;QAC7E,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,cAAc;KACvB;IAED;;;;;;;;;;;;;;OAcG;IACH,0BAA0B,EAAE;QAC1B,OAAO,EAAE,gEAAgE;QACzE,OAAO,EAAE;YACP,MAAM,EAAE,8EAA8E;YACtF,MAAM,EAAE,CAAC,eAAe,CAAC;SAC1B;QACD,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,EAAE,eAAe;QACvB,8EAA8E;QAC9E,4EAA4E;QAC5E,+CAA+C;QAC/C,KAAK,EAAE;YACL,IAAI,EAAE;gBACJ,MAAM,EAAE,UAAU;gBAClB,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC;gBACxC,UAAU,EAAE,CAAC,aAAa,EAAE,WAAW,EAAE,QAAQ,EAAE,cAAc,CAAC;aACnE;SACF;KACF;CACF,CAAC,CAAC"}
+{"version":3,"file":"operations.js","sourceRoot":"","sources":["../src/operations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,OAAO,EAAE,gBAAgB,EAAE,CAAC,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACtE,OAAO,EACL,iBAAiB,EACjB,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,EACnB,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,2BAA2B,EAC3B,eAAe,EACf,mBAAmB,EACnB,uBAAuB,EACvB,UAAU,GACX,MAAM,cAAc,CAAC;AAEtB,4EAA4E;AAC5E,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,iBAAiB;IACjB,eAAe;IACf,eAAe;IACf,4BAA4B;IAC5B,2BAA2B;IAC3B,eAAe;IACf,sBAAsB;IACtB,eAAe;IACf,iBAAiB;IACjB,eAAe;CACP,CAAC;AAEX,4EAA4E;AAC5E,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAE/D,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC;IACzF,0BAA0B,EAAE;QAC1B,OAAO,EAAE,wDAAwD;QACjE,0EAA0E;QAC1E,UAAU,EAAE,iBAAiB;QAC7B,KAAK,EAAE,mBAAmB;QAC1B,MAAM,EAAE,mBAAmB;KAC5B;IAED,yBAAyB,EAAE;QACzB,OAAO,EAAE,iEAAiE;QAC1E,UAAU,EAAE,eAAe;QAC3B,MAAM,EAAE,mBAAmB;QAC3B,8EAA8E;QAC9E,4EAA4E;QAC5E,+EAA+E;QAC/E,2EAA2E;QAC3E,8DAA8D;QAC9D,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;KAC1B;IAED,sBAAsB,EAAE;QACtB,OAAO,EAAE,sEAAsE;QAC/E,4EAA4E;QAC5E,0EAA0E;QAC1E,8DAA8D;QAC9D,8CAA8C;QAC9C,UAAU,EAAE,iBAAiB;QAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;YACd,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,mBAAmB;KAC5B;IAED,eAAe,EAAE;QACf,OAAO,EAAE,+DAA+D;QACxE,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,iBAAiB;QACxB,MAAM,EAAE,mBAAmB;KAC5B;IAED,wBAAwB,EAAE;QACxB,OAAO,EAAE,gFAAgF;QACzF,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,iBAAiB;QACxB,MAAM,EAAE,mBAAmB;KAC5B;IAED,6BAA6B,EAAE;QAC7B,OAAO,EAAE,8DAA8D;QACvE,UAAU,EAAE,EAAE,GAAG,EAAE,4BAA4B,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC3F,KAAK,EAAE,sBAAsB;QAC7B,MAAM,EAAE,uBAAuB;KAChC;IAED,4BAA4B,EAAE;QAC5B,OAAO,EAAE,2DAA2D;QACpE,UAAU,EAAE,EAAE,GAAG,EAAE,4BAA4B,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC3F,KAAK,EAAE,4BAA4B;QACnC,MAAM,EAAE,mBAAmB;KAC5B;IAED,2BAA2B,EAAE;QAC3B,2EAA2E;QAC3E,wEAAwE;QACxE,sEAAsE;QACtE,wEAAwE;QACxE,wBAAwB;QACxB,OAAO,EAAE,6DAA6D;QACtE,UAAU,EAAE,2BAA2B;QACvC,KAAK,EAAE,oBAAoB;QAC3B,MAAM,EAAE,UAAU;KACnB;IAED,4BAA4B,EAAE;QAC5B,OAAO,EAAE,qEAAqE;QAC9E,UAAU,EAAE,2BAA2B;QACvC,KAAK,EAAE,qBAAqB;QAC5B,MAAM,EAAE,2BAA2B;KACpC;IAED,eAAe,EAAE;QACf,OAAO,EAAE,sDAAsD;QAC/D,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,UAAU;KACnB;IAED,sBAAsB,EAAE;QACtB,OAAO,EAAE,qEAAqE;QAC9E,UAAU,EAAE,EAAE,GAAG,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QACrF,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,UAAU;KACnB;IAED,eAAe,EAAE;QACf,OAAO,EAAE,6CAA6C;QACtD,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,MAAM,EAAE,mBAAmB;KAC5B;IAED,cAAc,EAAE;QACd,OAAO,EAAE,oEAAoE;QAC7E,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE;QAC9E,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,cAAc;KACvB;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,0BAA0B,EAAE;QAC1B,OAAO,EAAE,gEAAgE;QACzE,UAAU,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE;QAClF,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,EAAE,eAAe;QACvB,8EAA8E;QAC9E,4EAA4E;QAC5E,+CAA+C;QAC/C,KAAK,EAAE;YACL,IAAI,EAAE;gBACJ,MAAM,EAAE,UAAU;gBAClB,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC;gBACxC,UAAU,EAAE,CAAC,aAAa,EAAE,WAAW,EAAE,QAAQ,EAAE,cAAc,CAAC;aACnE;SACF;KACF;CACF,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@substrat-run/engine-protocol",
-  "version": "0.11.3",
+  "version": "0.11.4",
   "description": "Substrat engine: protocols, checklists and signed documents with the freeze → immutable invariant — versioned templates, append-only responses, verifiable content hash, counter-signatures on frozen content, and asynchronous multi-party signatures by external (non-principal) signatories",
   "license": "AGPL-3.0-only",
   "repository": {
@@ -25,21 +25,24 @@
     "access": "public"
   },
   "dependencies": {
-    "@substrat-run/contracts": "^0.87.0",
-    "@substrat-run/kernel": "^0.87.0"
+    "@substrat-run/contracts": "^0.88.0",
+    "@substrat-run/kernel": "^0.88.0"
   },
   "devDependencies": {
     "typescript": "^7.0.0",
     "vitest": "^3.2.7",
     "zod": "^4.4.3",
-    "@substrat-run/adapter-sqlite": "^0.87.0",
-    "@substrat-run/contract-tests": "^0.87.0",
-    "@substrat-run/model-emit": "0.7.3",
-    "@substrat-run/engine-test-kit": "^0.3.14"
+    "@substrat-run/contract-tests": "^0.88.0",
+    "@substrat-run/adapter-sqlite": "^0.88.0",
+    "@substrat-run/engine-test-kit": "^0.3.15",
+    "@substrat-run/model-emit": "0.8.0"
   },
   "peerDependencies": {
     "zod": "^4.4.0"
   },
+  "substrat": {
+    "conformance": "test/conformance.ts"
+  },
   "scripts": {
     "build": "tsc -p tsconfig.json",
     "typecheck": "tsc -p tsconfig.json --noEmit && tsc -p tsconfig.test.json --noEmit",