@cratis/chronicle 6.25.0 → 6.27.0

package/dist/testing/EventScenario.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"EventScenario.d.ts","sourceRoot":"","sources":["../../testing/EventScenario.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AACxF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAQhE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAUzE,sFAAsF;AACtF,qBAAa,aAAa;IACtB,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IAExC,YAAY,OAAO,GAAE,oBAAyB,EAmF7C;IAED,qDAAqD;IACrD,IAAI,QAAQ,IAAI,SAAS,CAKxB;IACK,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CAE1F;IACD,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAC/F,UAAU,CAAC,MAAM,EAAE,qBAAqB,EAAE,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAO9F,IAAI,OAAO,IAAI,SAAS,YAAY,EAAE,CAAmE;IACzG,IAAI,cAAc,IAAI,SAAS,aAAa,EAAE,CAA0E;IAExH,+DAA+D;IAC/D,IAAI,IAAI,IAAI;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;QAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAA;KAAE,CAE3G;CACJ"}
+{"version":3,"file":"EventScenario.d.ts","sourceRoot":"","sources":["../../testing/EventScenario.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AACxF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAQhE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAUzE,sFAAsF;AACtF,qBAAa,aAAa;IACtB,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IAExC,YAAY,OAAO,GAAE,oBAAyB,EA8F7C;IAED,qDAAqD;IACrD,IAAI,QAAQ,IAAI,SAAS,CAKxB;IACK,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CAE1F;IACD,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAC/F,UAAU,CAAC,MAAM,EAAE,qBAAqB,EAAE,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAO9F,IAAI,OAAO,IAAI,SAAS,YAAY,EAAE,CAAmE;IACzG,IAAI,cAAc,IAAI,SAAS,aAAa,EAAE,CAA0E;IAExH,+DAA+D;IAC/D,IAAI,IAAI,IAAI;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;QAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAA;KAAE,CAE3G;CACJ"}

package/dist/testing/EventScenario.js

@@ -83,9 +83,18 @@ export class EventScenario {
                     }
                     for (const entry of capture.uniqueConstraint?.eventDefinitions ?? []) {
                         const type = eventTypes.find(type => getEventTypeFor(type).id.value === entry.eventTypeId);
-                        if (!['string', 'boolean'].includes(getEventTypeMetadata(type)?.schema.properties?.[entry.properties[0]]?.type ?? '')) {
+                        const schemaTypes = entry.properties.map(property => getEventTypeMetadata(type)?.schema.properties?.[property]?.type ?? '');
+                        if (entry.properties.length === 1 && !['string', 'boolean'].includes(schemaTypes[0])) {
                             throw new UnsupportedEventSequenceOperation('artifacts.constraints', name, 'The constrained property must be a schema-backed string or boolean.');
                         }
+                        // constraints-ignore-casing.json captures folded string keys only.
+                        if (capture.uniqueConstraint.ignoreCasing && schemaTypes.some(schemaType => schemaType !== 'string')) {
+                            throw new UnsupportedEventSequenceOperation('artifacts.constraints', name, 'Case-insensitive keys must be schema-backed strings.');
+                        }
+                        // constraints-composite.json captures string components only.
+                        if (entry.properties.length > 1 && schemaTypes.some(schemaType => schemaType !== 'string')) {
+                            throw new UnsupportedEventSequenceOperation('artifacts.constraints', name, 'Every property of a composite key must be a schema-backed string.');
+                        }
                     }
                 }
             }

package/dist/testing/EventScenario.js.map

@@ -1 +1 @@
-{"version":3,"file":"EventScenario.js","sourceRoot":"","sources":["../../testing/EventScenario.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAC7C,qGAAqG;AAErG,OAAO,EAAE,8BAA8B,EAAE,MAAM,gDAAgD,CAAC;AAChG,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAOhE,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AACxF,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AACpG,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,iCAAiC,EAAE,MAAM,wCAAwC,CAAC;AAE3F,SAAS,uBAAuB,CAAC,IAAc;IAC3C,OAAO,sBAAsB,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,yBAAyB,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;QAC3F,gBAAgB,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,SAAS,CAAC,CAAC;AAC9H,CAAC;AAED,sFAAsF;AACtF,MAAM,OAAO,aAAa;IACb,aAAa,CAAiB;IAC9B,KAAK,CAA4B;IACjC,IAAI,CAA2B;IAExC,YAAY,OAAO,GAAyB,EAAE;QAC1C,MAAM,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC;QAC5C,MAAM,mBAAmB,GAAG,iBAAiB,EAAE,WAAW,CAAC;QAC3D,MAAM,SAAS,GAAG,iBAAiB,IAAI,IAAI,8BAA8B,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QAClG,MAAM,UAAU,GAAG,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,mBAAmB,EAAE,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YAC1E,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,0BAA0B,EAC3F,+GAA+G,CAAC,CAAC;QACzH,CAAC;QACD,MAAM,mBAAmB,GAAG,iBAAiB,IAAI,mBAAmB,KAAK,SAAS;YAC9E,CAAC,CAAC,IAAI,8BAA8B,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,MAAM,UAAU,GAAG,mBAAmB,IAAI,mBAAmB,EAAE,WAAW,IAAI,SAAS,CAAC,WAAW,CAAC;QACpG,IAAI,WAA6C,CAAC;QAClD,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,UAAU,IAAI,EAAE,EAAE,CAAC;gBAClC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,CAAC,IAAI,EAC5G,2DAA2D,CAAC,CAAC;YACrE,CAAC;YACD,IAAI,CAAC;gBACD,mFAAmF;gBACnF,yFAAyF;gBACzF,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,mBAAmB,EAAE,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBACrG,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuC,CAAC;gBACxE,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;oBACpC,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;oBAC1C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC1C,IAAI,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,IAAI,uBAAuB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;wBACxG,MAAM,IAAI,iCAAiC,CAAC,sBAAsB,EAAE,EAAE,EAClE,0FAA0F,CAAC,CAAC;oBACpG,CAAC;oBACD,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACnC,CAAC;gBACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,IAAI,EAAE,EAAE,CAAC,CAAC;gBACnH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;gBACpF,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE;oBACnF,MAAM,WAAW,GAAG,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC;wBAC1F,OAAO,CAAC,eAAe,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;oBACpF,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,EAAE,uBAAuB,IAAI,EAAE,CAAC;wBAC7E,OAAO,CAAC,gBAAgB,EAAE,sBAAsB;wBAChD,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,uBAAuB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACjE,OAAO,CAAC,GAAG,WAAW,EAAE,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACf,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;oBAC5B,KAAK,MAAM,IAAI,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;wBACjD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACzB,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,6DAA6D,CAAC,CAAC;wBACvE,CAAC;oBACL,CAAC;gBACL,CAAC;gBACD,WAAW,GAAG,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;gBACpD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,WAAW,EAAE,CAAC;oBACxC,MAAM,GAAG,GAAG,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC;wBAClF,OAAO,CAAC,eAAe,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;oBACpF,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,EAAE,uBAAuB,IAAI,EAAE,CAAC;wBAC7E,OAAO,CAAC,gBAAgB,EAAE,sBAAsB;wBAChD,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,uBAAuB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACjE,IAAI,CAAC,GAAG,GAAG,EAAE,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;wBAChF,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,iHAAiH,CAAC,CAAC;oBAC3H,CAAC;oBACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,IAAI,EAAE,EAAE,CAAC;wBACnE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,WAAW,CAAE,CAAC;wBAC5F,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;4BACpH,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,qEAAqE,CAAC,CAAC;wBAC/E,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,IAAI,KAAK,YAAY,iCAAiC;oBAAE,MAAM,KAAK,CAAC;gBACpE,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,UAAU,EAAE,kCAAkC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACzI,CAAC;QACL,CAAC;QACD,IAAI,SAAS,CAAC,mBAAmB,EAAE,MAAM,EAAE,CAAC;YACxC,MAAM,IAAI,iCAAiC,CAAC,+BAA+B,EAAE,SAAS,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EACxI,oCAAoC,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC9E,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC;QAC9B,oBAAoB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9E,IAAI,CAAC,KAAK,GAAG,IAAI,yBAAyB,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,GAAG,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,qDAAqD;IACrD,IAAI,QAAQ;QACR,IAAI,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,KAAK,eAAe,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACjE,MAAM,IAAI,iCAAiC,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,4CAA4C,CAAC,CAAC;QACvI,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC;IAC9B,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,MAAc,EAAE,KAAa,EAAE,OAAuB;QAC/D,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAGD,KAAK,CAAC,UAAU,CAAC,cAAgD,EAAE,eAA0C,EAAE,OAAuB;QAClI,IAAI,OAAO,cAAc,KAAK,QAAQ,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,cAAc,EAAE,eAA2B,EAAE,OAAO,CAAC,CAAC;QAC/F,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,cAAc,EAAE,eAA4C,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,OAAO,KAA8B,OAAQ,IAAI,CAAC,aAAwC,CAAC,OAAO,CAAC,CAAC,CAAC;IACzG,IAAI,cAAc,KAA+B,OAAQ,IAAI,CAAC,aAAwC,CAAC,cAAc,CAAC,CAAC,CAAC;IAExH,+DAA+D;IAC/D,IAAI,IAAI;QACJ,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC;IAC1E,CAAC;CACJ"}
+{"version":3,"file":"EventScenario.js","sourceRoot":"","sources":["../../testing/EventScenario.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAC7C,qGAAqG;AAErG,OAAO,EAAE,8BAA8B,EAAE,MAAM,gDAAgD,CAAC;AAChG,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAOhE,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AACxF,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AACpG,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,iCAAiC,EAAE,MAAM,wCAAwC,CAAC;AAE3F,SAAS,uBAAuB,CAAC,IAAc;IAC3C,OAAO,sBAAsB,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,yBAAyB,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;QAC3F,gBAAgB,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,SAAS,CAAC,CAAC;AAC9H,CAAC;AAED,sFAAsF;AACtF,MAAM,OAAO,aAAa;IACb,aAAa,CAAiB;IAC9B,KAAK,CAA4B;IACjC,IAAI,CAA2B;IAExC,YAAY,OAAO,GAAyB,EAAE;QAC1C,MAAM,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC;QAC5C,MAAM,mBAAmB,GAAG,iBAAiB,EAAE,WAAW,CAAC;QAC3D,MAAM,SAAS,GAAG,iBAAiB,IAAI,IAAI,8BAA8B,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QAClG,MAAM,UAAU,GAAG,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,mBAAmB,EAAE,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YAC1E,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,0BAA0B,EAC3F,+GAA+G,CAAC,CAAC;QACzH,CAAC;QACD,MAAM,mBAAmB,GAAG,iBAAiB,IAAI,mBAAmB,KAAK,SAAS;YAC9E,CAAC,CAAC,IAAI,8BAA8B,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,MAAM,UAAU,GAAG,mBAAmB,IAAI,mBAAmB,EAAE,WAAW,IAAI,SAAS,CAAC,WAAW,CAAC;QACpG,IAAI,WAA6C,CAAC;QAClD,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,UAAU,IAAI,EAAE,EAAE,CAAC;gBAClC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,CAAC,IAAI,EAC5G,2DAA2D,CAAC,CAAC;YACrE,CAAC;YACD,IAAI,CAAC;gBACD,mFAAmF;gBACnF,yFAAyF;gBACzF,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,mBAAmB,EAAE,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBACrG,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuC,CAAC;gBACxE,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;oBACpC,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;oBAC1C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC1C,IAAI,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,IAAI,uBAAuB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;wBACxG,MAAM,IAAI,iCAAiC,CAAC,sBAAsB,EAAE,EAAE,EAClE,0FAA0F,CAAC,CAAC;oBACpG,CAAC;oBACD,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACnC,CAAC;gBACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,IAAI,EAAE,EAAE,CAAC,CAAC;gBACnH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;gBACpF,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE;oBACnF,MAAM,WAAW,GAAG,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC;wBAC1F,OAAO,CAAC,eAAe,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;oBACpF,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,EAAE,uBAAuB,IAAI,EAAE,CAAC;wBAC7E,OAAO,CAAC,gBAAgB,EAAE,sBAAsB;wBAChD,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,uBAAuB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACjE,OAAO,CAAC,GAAG,WAAW,EAAE,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACf,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;oBAC5B,KAAK,MAAM,IAAI,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;wBACjD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACzB,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,6DAA6D,CAAC,CAAC;wBACvE,CAAC;oBACL,CAAC;gBACL,CAAC;gBACD,WAAW,GAAG,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;gBACpD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,WAAW,EAAE,CAAC;oBACxC,MAAM,GAAG,GAAG,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC;wBAClF,OAAO,CAAC,eAAe,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;oBACpF,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,EAAE,uBAAuB,IAAI,EAAE,CAAC;wBAC7E,OAAO,CAAC,gBAAgB,EAAE,sBAAsB;wBAChD,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,uBAAuB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACjE,IAAI,CAAC,GAAG,GAAG,EAAE,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;wBAChF,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,iHAAiH,CAAC,CAAC;oBAC3H,CAAC;oBACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,IAAI,EAAE,EAAE,CAAC;wBACnE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,WAAW,CAAE,CAAC;wBAC5F,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;wBAC5H,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;4BACnF,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,qEAAqE,CAAC,CAAC;wBAC/E,CAAC;wBACD,mEAAmE;wBACnE,IAAI,OAAO,CAAC,gBAAiB,CAAC,YAAY,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,KAAK,QAAQ,CAAC,EAAE,CAAC;4BACpG,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,sDAAsD,CAAC,CAAC;wBAChE,CAAC;wBACD,8DAA8D;wBAC9D,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,KAAK,QAAQ,CAAC,EAAE,CAAC;4BACzF,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,mEAAmE,CAAC,CAAC;wBAC7E,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,IAAI,KAAK,YAAY,iCAAiC;oBAAE,MAAM,KAAK,CAAC;gBACpE,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,UAAU,EAAE,kCAAkC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACzI,CAAC;QACL,CAAC;QACD,IAAI,SAAS,CAAC,mBAAmB,EAAE,MAAM,EAAE,CAAC;YACxC,MAAM,IAAI,iCAAiC,CAAC,+BAA+B,EAAE,SAAS,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EACxI,oCAAoC,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC9E,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC;QAC9B,oBAAoB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9E,IAAI,CAAC,KAAK,GAAG,IAAI,yBAAyB,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,GAAG,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,qDAAqD;IACrD,IAAI,QAAQ;QACR,IAAI,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,KAAK,eAAe,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACjE,MAAM,IAAI,iCAAiC,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,4CAA4C,CAAC,CAAC;QACvI,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC;IAC9B,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,MAAc,EAAE,KAAa,EAAE,OAAuB;QAC/D,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAGD,KAAK,CAAC,UAAU,CAAC,cAAgD,EAAE,eAA0C,EAAE,OAAuB;QAClI,IAAI,OAAO,cAAc,KAAK,QAAQ,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,cAAc,EAAE,eAA2B,EAAE,OAAO,CAAC,CAAC;QAC/F,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,cAAc,EAAE,eAA4C,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,OAAO,KAA8B,OAAQ,IAAI,CAAC,aAAwC,CAAC,OAAO,CAAC,CAAC,CAAC;IACzG,IAAI,cAAc,KAA+B,OAAQ,IAAI,CAAC,aAAwC,CAAC,cAAc,CAAC,CAAC,CAAC;IAExH,+DAA+D;IAC/D,IAAI,IAAI;QACJ,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC;IAC1E,CAAC;CACJ"}

package/dist/testing/InProcessConstraints.d.ts

@@ -8,6 +8,7 @@ export declare class InProcessConstraints {
     private readonly _definitions;
     private readonly _constrainedProperties;
     private readonly _removalTypes;
+    private readonly _propertyRemovalTypes;
     constructor(_definitions: ReadonlyMap<string, ConstraintCapture>);
     isRemovalOnlyType(eventTypeId: string): boolean;
     hasRemovalType(eventTypeId: string): boolean;

package/dist/testing/InProcessConstraints.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"InProcessConstraints.d.ts","sourceRoot":"","sources":["../../testing/InProcessConstraints.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,mBAAmB,IAAI,4BAA4B,EAAE,MAAM,6BAA6B,CAAC;AACvG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4CAA4C,CAAC;AAEpF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAGpF,MAAM,MAAM,uBAAuB,GAAG,4BAA4B,CAAC;AAiBnE,6FAA6F;AAC7F,qBAAa,oBAAoB;IAIjB,OAAO,CAAC,QAAQ,CAAC,YAAY;IAHzC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAkC;IACzE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAqB;IAEnD,YAA6B,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAuDhF;IAED,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAE9C;IAED,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAgD;IAE5F,qBAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAEpE;IAED,yGAAyG;IACzG,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,EAAE,QAAQ,EAAE,SAAS,aAAa,EAAE,GAAG,uBAAuB,EAAE,CAiEzG;IAED,cAAc,CAAC,SAAS,EAAE,mBAAmB,GAAG,mBAAmB,CAElE;IAED,OAAO,CAAC,WAAW;CAGtB"}
+{"version":3,"file":"InProcessConstraints.d.ts","sourceRoot":"","sources":["../../testing/InProcessConstraints.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,mBAAmB,IAAI,4BAA4B,EAAE,MAAM,6BAA6B,CAAC;AACvG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4CAA4C,CAAC;AAEpF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAGpF,MAAM,MAAM,uBAAuB,GAAG,4BAA4B,CAAC;AAwCnE,6FAA6F;AAC7F,qBAAa,oBAAoB;IAKjB,OAAO,CAAC,QAAQ,CAAC,YAAY;IAJzC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAkC;IACzE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAqB;IACnD,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAqB;IAE3D,YAA6B,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAyEhF;IAED,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAE9C;IAED,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAgD;IAE5F,qBAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAEpE;IAED,yGAAyG;IACzG,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,EAAE,QAAQ,EAAE,SAAS,aAAa,EAAE,GAAG,uBAAuB,EAAE,CA+FzG;IAED,cAAc,CAAC,SAAS,EAAE,mBAAmB,GAAG,mBAAmB,CAElE;IAED,OAAO,CAAC,WAAW;CAGtB"}

package/dist/testing/InProcessConstraints.js

@@ -16,11 +16,32 @@ function kernelKeyString(value, name) {
 function keyHash(value) {
     return createHash('sha256').update(value).digest('hex');
 }
+/**
+ * The kernel key: each declared property's string in declared order, joined with a literal '-'
+ * (UniqueConstraintDefinitionExtensions.GetPropertiesAndValues/GetValue at Chronicle 8fe5d30). Not a tuple:
+ * ['a-b', 'c'] and ['a', 'b-c'] claim the same key, as constraints-composite.json captures.
+ */
+function claimOf(name, unique, eventTypeId, content) {
+    const properties = unique.eventDefinitions.find(entry => entry.eventTypeId === eventTypeId)?.properties;
+    if (properties === undefined)
+        return undefined;
+    const parts = properties.map(property => ({ property, raw: kernelKeyString(content[property], name) }));
+    const joined = parts.map(part => part.raw).join('-');
+    if (!unique.ignoreCasing)
+        return { key: keyHash(joined), parts };
+    // The kernel applies .NET ToLowerInvariant to the joined value. constraints-ignore-casing.json proves
+    // only the ASCII key domain, where that is exactly A-Z to a-z; host Unicode case tables are not used.
+    if (!/^[\x20-\x7e]*$/.test(joined)) {
+        throw new UnsupportedEventSequenceOperation('artifacts.constraints', name, 'Case-insensitive keys outside the ASCII key domain are not fixture-backed.');
+    }
+    return { key: keyHash(joined.replace(/[A-Z]/g, letter => String.fromCharCode(letter.charCodeAt(0) + 32))), parts };
+}
 /** Narrow, fixture-backed unscoped constraint validation over serialized event snapshots. */
 export class InProcessConstraints {
     _definitions;
     _constrainedProperties = new Map();
     _removalTypes = new Set();
+    _propertyRemovalTypes = new Set();
     constructor(_definitions) {
         this._definitions = _definitions;
         const coveredTypes = new Map();
@@ -34,10 +55,12 @@ export class InProcessConstraints {
             }
             if (capture.uniqueConstraint) {
                 const unique = capture.uniqueConstraint;
-                if (unique.ignoreCasing || unique.eventDefinitions.length === 0 ||
-                    unique.eventDefinitions.some(entry => entry.properties.length !== 1 ||
-                        !/^[a-z][a-zA-Z0-9]*$/.test(entry.properties[0]))) {
-                    throw this.unsupported(name, 'Case folding and composite or nested keys are not fixture-backed.');
+                // constraints-composite.json installs one, two and three flat properties per event type.
+                // The kernel keys properties by path with ToDictionary, so duplicate paths are not a key shape.
+                if (unique.eventDefinitions.length === 0 || unique.eventDefinitions.some(entry => entry.properties.length < 1 || entry.properties.length > 3 ||
+                    new Set(entry.properties).size !== entry.properties.length ||
+                    entry.properties.some(property => !/^[a-z][a-zA-Z0-9]*$/.test(property)))) {
+                    throw this.unsupported(name, 'Only one to three distinct flat properties per event type are fixture-backed; nested, indexed or repeated key paths are not.');
                 }
                 for (const id of [unique.removedWithEventTypeId, ...(unique.removedWithEventTypeIds ?? [])]) {
                     if (id === undefined)
@@ -48,18 +71,33 @@ export class InProcessConstraints {
                     }
                     removalOwners.set(id, name);
                     this._removalTypes.add(id);
+                    this._propertyRemovalTypes.add(id);
                 }
                 for (const entry of unique.eventDefinitions) {
                     const properties = this._constrainedProperties.get(entry.eventTypeId) ?? new Set();
-                    properties.add(entry.properties[0]);
+                    entry.properties.forEach(property => properties.add(property));
                     this._constrainedProperties.set(entry.eventTypeId, properties);
                 }
             }
             else if (capture.uniqueEventType) {
                 const unique = capture.uniqueEventType;
-                if (unique.removedWithEventTypeIds?.length || (unique.eventTypeIds?.length ?? 1) !== 1) {
-                    throw this.unsupported(name, 'Removal and multi-type unique event cycles are not fixture-backed.');
+                const ids = unique.eventTypeIds ?? [unique.eventTypeId];
+                const removals = unique.removedWithEventTypeIds ?? [];
+                const shared = ids.filter(id => removals.includes(id)).length;
+                // Exactly the shapes installed by the pinned fixtures: one covered type without removal
+                // (constraints.json), two covered types with two separate removers
+                // (constraints-event-type-siblings.json), and three covered types with three removers of
+                // which one is also covered (constraints-event-type-cycles.json).
+                if (!(ids.length === 1 && removals.length === 0) &&
+                    !(ids.length === 2 && removals.length === 2 && shared === 0) &&
+                    !(ids.length === 3 && removals.length === 3 && shared === 1)) {
+                    throw this.unsupported(name, 'This unique event type set and removal combination is not fixture-backed.');
+                }
+                // Each cycle fixture installs its definition alone; interaction with other definitions is unproven.
+                if (removals.length && _definitions.size !== 1) {
+                    throw this.unsupported(name, 'Unique event cycles alongside other definitions are not fixture-backed.');
                 }
+                removals.forEach(id => this._removalTypes.add(id));
             }
             else {
                 throw this.unsupported(name, 'Unknown constraint definition.');
@@ -84,7 +122,7 @@ export class InProcessConstraints {
         }
     }
     isRemovalOnlyType(eventTypeId) {
-        return this._removalTypes.has(eventTypeId) && !this._constrainedProperties.has(eventTypeId);
+        return this._propertyRemovalTypes.has(eventTypeId) && !this._constrainedProperties.has(eventTypeId);
     }
     hasRemovalType(eventTypeId) { return this._removalTypes.has(eventTypeId); }
     isConstrainedProperty(eventTypeId, property) {
@@ -109,36 +147,39 @@ export class InProcessConstraints {
                     claims.delete(source);
                     continue;
                 }
-                const property = unique.eventDefinitions.find(entry => entry.eventTypeId === type)?.properties[0];
-                if (property === undefined)
+                const properties = unique.eventDefinitions.find(entry => entry.eventTypeId === type)?.properties;
+                if (properties === undefined)
                     continue;
-                const value = prior.content[property];
-                if (typeof value !== 'string' && typeof value !== 'boolean')
+                if (properties.some(property => !['string', 'boolean'].includes(typeof prior.content[property]))) {
                     throw this.unsupported(name, 'History has an unproven key.');
-                claims.set(source, { key: keyHash(kernelKeyString(value, name)),
+                }
+                claims.set(source, { key: claimOf(name, unique, type, prior.content).key,
                     sequence: prior.context.sequenceNumber.toString() });
             }
             owners.set(name, claims);
         }
         const stagedKeys = new Map();
-        const stagedTypes = new Set();
+        const stagedCycles = new Map();
         for (const event of incoming) {
             const type = event.eventType.id.value;
             const source = event.context.eventSourceId;
+            const violationCount = violations.length;
             for (const [name, definition] of this._definitions) {
-                const property = definition.uniqueConstraint?.eventDefinitions.find(entry => entry.eventTypeId === type)?.properties[0];
-                if (property !== undefined) {
-                    const raw = kernelKeyString(event.content[property], name);
-                    const key = keyHash(raw);
+                const claim = definition.uniqueConstraint && claimOf(name, definition.uniqueConstraint, type, event.content);
+                if (claim) {
+                    const key = claim.key;
                     const existing = [...owners.get(name).entries()].find(([, claim]) => claim.key === key);
                     const batchClaims = stagedKeys.get(name) ?? new Map();
                     const batchOwner = batchClaims.get(key);
                     if (existing && existing[0] !== source || batchOwner !== undefined && batchOwner !== source) {
-                        const details = { PropertyName: property, PropertyValue: raw };
-                        violations.push({ EventTypeId: type, SequenceNumber: BigInt(existing?.[1].sequence ?? unavailable), ConstraintType: 1,
-                            ConstraintName: name,
-                            Message: `Event '${type}' on member '${property}' violated a unique constraint on sequence number ${existing?.[1].sequence ?? unavailable}`,
-                            Details: details });
+                        // One violation per declared property, in declared order, each with its own original value.
+                        const sequence = existing?.[1].sequence ?? unavailable;
+                        for (const { property, raw } of claim.parts) {
+                            violations.push({ EventTypeId: type, SequenceNumber: BigInt(sequence), ConstraintType: 1,
+                                ConstraintName: name,
+                                Message: `Event '${type}' on member '${property}' violated a unique constraint on sequence number ${sequence}`,
+                                Details: { PropertyName: property, PropertyValue: raw } });
+                        }
                     }
                     else {
                         batchClaims.set(key, source);
@@ -147,17 +188,45 @@ export class InProcessConstraints {
                 }
                 const uniqueType = definition.uniqueEventType;
                 if (uniqueType && (uniqueType.eventTypeIds ?? [uniqueType.eventTypeId]).includes(type)) {
-                    const first = history.find(prior => prior.context.eventSourceId === source &&
-                        (uniqueType.eventTypeIds ?? [uniqueType.eventTypeId]).includes(prior.eventType.id.value));
-                    const staged = stagedTypes.has(`${name}\u0000${source}`);
-                    if (first || staged) {
-                        violations.push({ EventTypeId: type, SequenceNumber: first?.context.sequenceNumber ?? BigInt(unavailable), ConstraintType: 2,
+                    const covered = uniqueType.eventTypeIds ?? [uniqueType.eventTypeId];
+                    const removals = uniqueType.removedWithEventTypeIds ?? [];
+                    // Durable answer: the earliest covered event after the latest removal for this source.
+                    let first;
+                    for (const prior of history) {
+                        if (prior.context.eventSourceId !== source)
+                            continue;
+                        const priorType = prior.eventType.id.value;
+                        if (removals.includes(priorType))
+                            first = undefined;
+                        else if (!first && covered.includes(priorType))
+                            first = prior;
+                    }
+                    const cycles = stagedCycles.get(name) ?? new Map();
+                    const state = cycles.get(source);
+                    // A cycle state recorded earlier in this append overrides durable history.
+                    if (state === 'open' || state === undefined && first) {
+                        // Durable storage supplies the sequence even when a staged claim causes rejection.
+                        const sequence = first?.context.sequenceNumber.toString() ?? unavailable;
+                        violations.push({ EventTypeId: type, SequenceNumber: BigInt(sequence), ConstraintType: 2,
                             ConstraintName: name,
-                            Message: `Event '${type}' violated a unique event type constraint on sequence number ${first?.context.sequenceNumber.toString() ?? unavailable}`,
+                            Message: `Event '${type}' violated a unique event type constraint on sequence number ${sequence}`,
                             Details: {} });
                     }
-                    else
-                        stagedTypes.add(`${name}\u0000${source}`);
+                    else {
+                        cycles.set(source, 'open');
+                        stagedCycles.set(name, cycles);
+                    }
+                }
+            }
+            // Kernel batch observers release a cycle only after the entire event validates.
+            // A covered-and-removal event first attempts its claim, then releases it.
+            if (violations.length === violationCount) {
+                for (const [name, definition] of this._definitions) {
+                    if (definition.uniqueEventType?.removedWithEventTypeIds?.includes(type)) {
+                        const cycles = stagedCycles.get(name) ?? new Map();
+                        cycles.set(source, 'released');
+                        stagedCycles.set(name, cycles);
+                    }
                 }
             }
         }

package/dist/testing/InProcessConstraints.js.map

@@ -1 +1 @@
-{"version":3,"file":"InProcessConstraints.js","sourceRoot":"","sources":["../../testing/InProcessConstraints.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAC7C,qGAAqG;AAErG,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAIzC,OAAO,EAAE,wBAAwB,EAAE,MAAM,sCAAsC,CAAC;AAEhF,OAAO,EAAE,iCAAiC,EAAE,MAAM,wCAAwC,CAAC;AAI3F,MAAM,WAAW,GAAG,sBAAsB,CAAC;AAC3C,oGAAoG;AACpG,MAAM,YAAY,GAAG,iCAAiC,CAAC;AAEvD,SAAS,eAAe,CAAC,KAAc,EAAE,IAAY;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxE,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,mEAAmE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC1B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,6FAA6F;AAC7F,MAAM,OAAO,oBAAoB;IAIA,YAAY;IAHxB,sBAAsB,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxD,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnD,YAA6B,YAAoD;4BAApD,YAAY;QACrC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;YACzC,IAAI,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;gBACtD,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,gEAAgE,CAAC,CAAC;YACnG,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,CAAC,kBAAkB,IAAI,OAAO,CAAC,KAAK,CAAC,kBAAkB,IAAI,OAAO,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC;gBACzG,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,4CAA4C,CAAC,CAAC;YAC/E,CAAC;YACD,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;gBAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;gBACxC,IAAI,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC;oBAC3D,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;wBAC/D,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACxD,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,mEAAmE,CAAC,CAAC;gBACtG,CAAC;gBACD,KAAK,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC1F,IAAI,EAAE,KAAK,SAAS;wBAAE,SAAS;oBAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACxC,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,mEAAmE,CAAC,CAAC;oBACtG,CAAC;oBACD,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;oBAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC/B,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;oBAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;oBAC3F,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;oBACpC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;gBACnE,CAAC;YACL,CAAC;iBAAM,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;gBACvC,IAAI,MAAM,CAAC,uBAAuB,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrF,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,oEAAoE,CAAC,CAAC;gBACvG,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;YACnE,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC;gBAClF,OAAO,CAAC,eAAe,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,eAAgB,CAAC,WAAW,CAAC,CAAC;YACpF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACnB,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;gBAC1G,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC/B,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,YAAY,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,UAAU,CAAC,gBAAgB,CAAC;YAC3C,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,KAAK,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBAC1F,IAAI,EAAE,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;oBAC5E,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,0EAA0E,CAAC,CAAC;gBAC7G,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,iBAAiB,CAAC,WAAmB;QACjC,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAChG,CAAC;IAED,cAAc,CAAC,WAAmB,IAAa,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAE5F,qBAAqB,CAAC,WAAmB,EAAE,QAAgB;QACvD,OAAO,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC;IAChF,CAAC;IAED,yGAAyG;IACzG,QAAQ,CAAC,OAAiC,EAAE,QAAkC;QAC1E,MAAM,UAAU,GAA8B,EAAE,CAAC;QACjD,iFAAiF;QACjF,mGAAmG;QACnG,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0D,CAAC;QACjF,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACjD,IAAI,CAAC,UAAU,CAAC,gBAAgB;gBAAE,SAAS;YAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6C,CAAC;YACpE,MAAM,MAAM,GAAG,UAAU,CAAC,gBAAgB,CAAC;YAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACrG,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC;gBACtC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC;gBAC3C,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;oBACtB,SAAS;gBACb,CAAC;gBACD,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;gBAClG,IAAI,QAAQ,KAAK,SAAS;oBAAE,SAAS;gBACrC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;oBAAE,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,8BAA8B,CAAC,CAAC;gBAC1H,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBAC3D,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA+B,CAAC;QAC1D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC;YACtC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;gBACxH,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;oBAC3D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;oBACzB,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;oBACzF,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;oBACtE,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACxC,IAAI,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;wBAC1F,MAAM,OAAO,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC;wBAC/D,UAAU,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;4BACjH,cAAc,EAAE,IAAI;4BACpB,OAAO,EAAE,UAAU,IAAI,gBAAgB,QAAQ,qDAAqD,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE;4BAC3I,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;oBAC5B,CAAC;yBAAM,CAAC;wBACJ,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;wBAC7B,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACtC,CAAC;gBACL,CAAC;gBACD,MAAM,UAAU,GAAG,UAAU,CAAC,eAAe,CAAC;gBAC9C,IAAI,UAAU,IAAI,CAAC,UAAU,CAAC,YAAY,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,KAAK,MAAM;wBACtE,CAAC,UAAU,CAAC,YAAY,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC9F,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,SAAS,MAAM,EAAE,CAAC,CAAC;oBACzD,IAAI,KAAK,IAAI,MAAM,EAAE,CAAC;wBAClB,UAAU,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,IAAI,MAAM,CAAC,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;4BACxH,cAAc,EAAE,IAAI;4BACpB,OAAO,EAAE,UAAU,IAAI,gEAAgE,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,WAAW,EAAE;4BAChJ,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;oBACvB,CAAC;;wBAAM,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,SAAS,MAAM,EAAE,CAAC,CAAC;gBACrD,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,cAAc,CAAC,SAA8B;QACzC,OAAO,wBAAwB,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAClE,CAAC;IAEO,WAAW,CAAC,IAAY,EAAE,MAAc;QAC5C,OAAO,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACxF,CAAC;CACJ"}
+{"version":3,"file":"InProcessConstraints.js","sourceRoot":"","sources":["../../testing/InProcessConstraints.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAC7C,qGAAqG;AAErG,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAIzC,OAAO,EAAE,wBAAwB,EAAE,MAAM,sCAAsC,CAAC;AAEhF,OAAO,EAAE,iCAAiC,EAAE,MAAM,wCAAwC,CAAC;AAI3F,MAAM,WAAW,GAAG,sBAAsB,CAAC;AAC3C,oGAAoG;AACpG,MAAM,YAAY,GAAG,iCAAiC,CAAC;AAEvD,SAAS,eAAe,CAAC,KAAc,EAAE,IAAY;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxE,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,mEAAmE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC1B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAKD;;;;GAIG;AACH,SAAS,OAAO,CAAC,IAAY,EAAE,MAAqB,EAAE,WAAmB,EAAE,OAAgC;IACvG,MAAM,UAAU,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,WAAW,CAAC,EAAE,UAAU,CAAC;IACxG,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACxG,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,CAAC,YAAY;QAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACjE,sGAAsG;IACtG,sGAAsG;IACtG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EACrE,4EAA4E,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;AACvH,CAAC;AAED,6FAA6F;AAC7F,MAAM,OAAO,oBAAoB;IAKA,YAAY;IAJxB,sBAAsB,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxD,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE3D,YAA6B,YAAoD;4BAApD,YAAY;QACrC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;YACzC,IAAI,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;gBACtD,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,gEAAgE,CAAC,CAAC;YACnG,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,CAAC,kBAAkB,IAAI,OAAO,CAAC,KAAK,CAAC,kBAAkB,IAAI,OAAO,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC;gBACzG,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,4CAA4C,CAAC,CAAC;YAC/E,CAAC;YACD,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;gBAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;gBACxC,yFAAyF;gBACzF,gGAAgG;gBAChG,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAC7E,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;oBAC1D,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM;oBAC1D,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5E,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,8HAA8H,CAAC,CAAC;gBACjK,CAAC;gBACD,KAAK,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC1F,IAAI,EAAE,KAAK,SAAS;wBAAE,SAAS;oBAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACxC,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,mEAAmE,CAAC,CAAC;oBACtG,CAAC;oBACD,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;oBAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC3B,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACvC,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;oBAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;oBAC3F,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAC/D,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;gBACnE,CAAC;YACL,CAAC;iBAAM,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;gBACvC,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;gBACxD,MAAM,QAAQ,GAAG,MAAM,CAAC,uBAAuB,IAAI,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC9D,wFAAwF;gBACxF,mEAAmE;gBACnE,yFAAyF;gBACzF,kEAAkE;gBAClE,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;oBAC5C,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC;oBAC5D,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;oBAC/D,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,2EAA2E,CAAC,CAAC;gBAC9G,CAAC;gBACD,oGAAoG;gBACpG,IAAI,QAAQ,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBAC7C,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,yEAAyE,CAAC,CAAC;gBAC5G,CAAC;gBACD,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACvD,CAAC;iBAAM,CAAC;gBACJ,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;YACnE,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC;gBAClF,OAAO,CAAC,eAAe,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,eAAgB,CAAC,WAAW,CAAC,CAAC;YACpF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACnB,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;gBAC1G,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC/B,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,YAAY,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,UAAU,CAAC,gBAAgB,CAAC;YAC3C,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,KAAK,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBAC1F,IAAI,EAAE,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;oBAC5E,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,0EAA0E,CAAC,CAAC;gBAC7G,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,iBAAiB,CAAC,WAAmB;QACjC,OAAO,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACxG,CAAC;IAED,cAAc,CAAC,WAAmB,IAAa,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAE5F,qBAAqB,CAAC,WAAmB,EAAE,QAAgB;QACvD,OAAO,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC;IAChF,CAAC;IAED,yGAAyG;IACzG,QAAQ,CAAC,OAAiC,EAAE,QAAkC;QAC1E,MAAM,UAAU,GAA8B,EAAE,CAAC;QACjD,iFAAiF;QACjF,mGAAmG;QACnG,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0D,CAAC;QACjF,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACjD,IAAI,CAAC,UAAU,CAAC,gBAAgB;gBAAE,SAAS;YAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6C,CAAC;YACpE,MAAM,MAAM,GAAG,UAAU,CAAC,gBAAgB,CAAC;YAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACrG,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC;gBACtC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC;gBAC3C,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;oBACtB,SAAS;gBACb,CAAC;gBACD,MAAM,UAAU,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC,EAAE,UAAU,CAAC;gBACjG,IAAI,UAAU,KAAK,SAAS;oBAAE,SAAS;gBACvC,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/F,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,8BAA8B,CAAC,CAAC;gBACjE,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAE,CAAC,GAAG;oBACrE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA+B,CAAC;QAC1D,MAAM,YAAY,GAAG,IAAI,GAAG,EAA4C,CAAC;QACzE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC;YACtC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC;YAC3C,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;YACzC,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACjD,MAAM,KAAK,GAAG,UAAU,CAAC,gBAAgB,IAAI,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC7G,IAAI,KAAK,EAAE,CAAC;oBACR,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;oBACtB,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;oBACzF,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;oBACtE,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACxC,IAAI,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;wBAC1F,4FAA4F;wBAC5F,MAAM,QAAQ,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC;wBACvD,KAAK,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;4BAC1C,UAAU,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;gCACpF,cAAc,EAAE,IAAI;gCACpB,OAAO,EAAE,UAAU,IAAI,gBAAgB,QAAQ,qDAAqD,QAAQ,EAAE;gCAC9G,OAAO,EAAE,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;wBACnE,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACJ,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;wBAC7B,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACtC,CAAC;gBACL,CAAC;gBACD,MAAM,UAAU,GAAG,UAAU,CAAC,eAAe,CAAC;gBAC9C,IAAI,UAAU,IAAI,CAAC,UAAU,CAAC,YAAY,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrF,MAAM,OAAO,GAAG,UAAU,CAAC,YAAY,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;oBACpE,MAAM,QAAQ,GAAG,UAAU,CAAC,uBAAuB,IAAI,EAAE,CAAC;oBAC1D,uFAAuF;oBACvF,IAAI,KAAgC,CAAC;oBACrC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;wBAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,KAAK,MAAM;4BAAE,SAAS;wBACrD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC;wBAC3C,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;4BAAE,KAAK,GAAG,SAAS,CAAC;6BAC/C,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;4BAAE,KAAK,GAAG,KAAK,CAAC;oBAClE,CAAC;oBACD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAA+B,CAAC;oBAChF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBACjC,2EAA2E;oBAC3E,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,EAAE,CAAC;wBACnD,mFAAmF;wBACnF,MAAM,QAAQ,GAAG,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,WAAW,CAAC;wBACzE,UAAU,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;4BACpF,cAAc,EAAE,IAAI;4BACpB,OAAO,EAAE,UAAU,IAAI,gEAAgE,QAAQ,EAAE;4BACjG,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;oBACvB,CAAC;yBAAM,CAAC;wBACJ,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;wBAC3B,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBACnC,CAAC;gBACL,CAAC;YACL,CAAC;YACD,gFAAgF;YAChF,0EAA0E;YAC1E,IAAI,UAAU,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;gBACvC,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACjD,IAAI,UAAU,CAAC,eAAe,EAAE,uBAAuB,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;wBACtE,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAA+B,CAAC;wBAChF,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;wBAC/B,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBACnC,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,cAAc,CAAC,SAA8B;QACzC,OAAO,wBAAwB,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAClE,CAAC;IAEO,WAAW,CAAC,IAAY,EAAE,MAAc;QAC5C,OAAO,IAAI,iCAAiC,CAAC,uBAAuB,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACxF,CAAC;CACJ"}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@cratis/chronicle",
-    "version": "6.25.0",
+    "version": "6.27.0",
     "description": "Event sourcing for TypeScript and Node.js — the idiomatic client for Cratis Chronicle, the open-source event-sourcing database",
     "author": "Cratis",
     "license": "MIT",

package/testing/EventScenario.constraint-composite.spec.ts

@@ -0,0 +1,343 @@
+// Copyright (c) Cratis. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+
+import 'reflect-metadata';
+import { readFileSync } from 'node:fs';
+import { chai, describe, it, vi } from 'vitest';
+import { field } from '@cratis/fundamentals';
+import { eventType, getEventTypeMetadata } from '../events/eventTypeDecorator.js';
+import { constraint } from '../events/constraints/constraint.js';
+import { compileConstraints } from '../events/constraints/Constraints.js';
+import type { IConstraint } from '../events/constraints/IConstraint.js';
+import type { IConstraintBuilder } from '../events/constraints/IConstraintBuilder.js';
+import { EventScenario, UnsupportedEventSequenceOperation } from './index.js';
+import { InProcessConstraints } from './InProcessConstraints.js';
+import { ReactorScenario } from './ReactorScenario.js';
+import { reactor } from '../reactors/reactor.js';
+
+chai.should();
+class OracleDomainText { @field(String) key: string; constructor(key: string) { this.key = key; } }
+eventType('OracleDomainText')(OracleDomainText);
+class OracleDomainRemoved { @field(String) label: string; constructor(label: string) { this.label = label; } }
+eventType('OracleDomainRemoved')(OracleDomainRemoved);
+class OracleCompositeName {
+    @field(String) first: string; @field(String) last: string;
+    constructor(first: string, last: string) { this.first = first; this.last = last; }
+}
+eventType('OracleCompositeName')(OracleCompositeName);
+class OracleCompositeAlias {
+    @field(String) given: string; @field(String) family: string;
+    constructor(given: string, family: string) { this.given = given; this.family = family; }
+}
+eventType('OracleCompositeAlias')(OracleCompositeAlias);
+class OracleCompositeTriple {
+    @field(String) first: string; @field(String) middle: string; @field(String) last: string;
+    constructor(first: string, middle: string, last: string) { this.first = first; this.middle = middle; this.last = last; }
+}
+eventType('OracleCompositeTriple')(OracleCompositeTriple);
+
+// Declared order differs from field order on the alias type: family, then given.
+class FullName implements IConstraint {
+    define(builder: IConstraintBuilder) {
+        builder.unique(key => key.on(OracleCompositeName, event => event.first, event => event.last)
+            .on(OracleCompositeAlias, event => event.family, event => event.given)
+            .on(OracleDomainText, event => event.key)
+            .removedWith(OracleDomainRemoved).withMessage('Taken: {PropertyName}={PropertyValue}'));
+    }
+}
+constraint('OracleFullName')(FullName);
+class Triple implements IConstraint {
+    define(builder: IConstraintBuilder) {
+        builder.unique(key => key.on(OracleCompositeTriple, event => event.first, event => event.middle, event => event.last));
+    }
+}
+constraint('OracleTriple')(Triple);
+class Handle implements IConstraint {
+    define(builder: IConstraintBuilder) {
+        builder.unique(key => key.on(OracleDomainText, event => event.key).ignoreCasing()
+            .removedWith(OracleDomainRemoved).withMessage('Handle taken: {PropertyValue}'));
+    }
+}
+constraint('OracleHandle')(Handle);
+class CasedName implements IConstraint {
+    define(builder: IConstraintBuilder) {
+        builder.unique(key => key.on(OracleCompositeName, event => event.first, event => event.last).ignoreCasing());
+    }
+}
+constraint('OracleCasedName')(CasedName);
+
+const aliases = { string: OracleDomainText, removed: OracleDomainRemoved, name: OracleCompositeName,
+    alias: OracleCompositeAlias, triple: OracleCompositeTriple };
+type Alias = keyof typeof aliases;
+type Input = { source: string; type: Alias; value?: string; values?: Record<string, string> };
+type History = { sequence: string; source: string; sourceType: string; streamType: string; streamId: string;
+    type: string; content: Record<string, string>; hash: string };
+type Violation = { EventTypeId: string; SequenceNumber: string; ConstraintType: number; ConstraintName: string;
+    Message: string; Details: Record<string, string> };
+type Outcome = { success: boolean; sequences: string[]; violations: Array<{ id: string; message: string; details: Record<string, string> }>;
+    wireViolations: Violation[]; errors: string[]; history: History[]; next: string };
+type Fixture = { eventSchemas: Record<string, { eventTypeId: string; properties: Record<string, string> }>;
+    constraintDefinitions: Array<{ kind: string; name: string; events: Array<{ type: string; properties: string[] }>;
+        ignoreCasing: boolean; removedWithEventTypeIds: string[]; message: string }>;
+    isolatedConstraintOperations: Array<{ mode: 'single' | 'batch'; events: Input[] }>;
+    expected: { outcomes: Outcome[] } };
+const aliasById = Object.fromEntries(Object.entries(aliases).map(([alias, type]) => [getEventTypeMetadata(type)!.eventType.id.value, alias]));
+const makeEvent = ({ type, value, values }: Input): object => {
+    switch (type) {
+        case 'string': return new OracleDomainText(value!);
+        case 'removed': return new OracleDomainRemoved(value!);
+        case 'name': return new OracleCompositeName(values!.first, values!.last);
+        case 'alias': return new OracleCompositeAlias(values!.given, values!.family);
+        case 'triple': return new OracleCompositeTriple(values!.first, values!.middle, values!.last);
+    }
+};
+const historyOf = (scenario: EventScenario): History[] => scenario.appendedEvents.map(entry => ({
+    sequence: entry.context.sequenceNumber.toString(), source: entry.context.eventSourceId,
+    sourceType: entry.context.eventSourceType, streamType: entry.context.eventStreamType, streamId: entry.context.eventStreamId,
+    type: entry.eventType.id.value, content: entry.content as Record<string, string>, hash: entry.context.hash
+}));
+const unsupported = async (action: () => unknown, operation: string, reason: string) => {
+    await Promise.resolve().then(action).then(() => { throw new Error('Expected rejection'); }, error => {
+        (error instanceof UnsupportedEventSequenceOperation).should.be.true;
+        (error as Error).message.should.include(`UnsupportedEventSequenceOperation: ${operation}:`);
+        (error as Error).message.should.include(reason);
+        (error as Error).message.should.include('Use a kernel-backed test.');
+    });
+};
+const compositeTypes = Object.values(aliases);
+const shapeReason = 'Only one to three distinct flat properties per event type are fixture-backed; nested, indexed or repeated key paths are not.';
+
+async function matchesFixture(name: string, selected: readonly Function[], constraints: readonly Function[]) {
+    const fixture = JSON.parse(readFileSync(new URL(`./fixtures/${name}.json`, import.meta.url), 'utf8')) as Fixture;
+    const ids = new Set(selected);
+    Object.fromEntries(Object.entries(aliases).filter(([, type]) => ids.has(type)).map(([alias, type]) => {
+        const metadata = getEventTypeMetadata(type)!;
+        return [alias, { eventTypeId: metadata.eventType.id.value,
+            properties: Object.fromEntries(Object.entries(metadata.schema.properties ?? {}).map(([key, property]) => [key, property.type])) }];
+    })).should.deep.equal(fixture.eventSchemas);
+    const compiled = compileConstraints({ eventTypes: [...selected], constraints: [...constraints] });
+    [...compiled].map(([key, capture]) => ({ kind: 'uniqueProperty', name: key,
+        events: capture.uniqueConstraint!.eventDefinitions.map(entry => ({ type: aliasById[entry.eventTypeId], properties: entry.properties })),
+        ignoreCasing: capture.uniqueConstraint!.ignoreCasing,
+        removedWithEventTypeIds: (capture.uniqueConstraint!.removedWithEventTypeIds ?? []).map(id => aliasById[id]),
+        message: capture.uniqueConstraint!.message ?? ''
+    })).should.deep.equal(fixture.constraintDefinitions);
+    fixture.isolatedConstraintOperations.length.should.be.greaterThan(0);
+    fixture.expected.outcomes.length.should.equal(fixture.isolatedConstraintOperations.length);
+    fixture.expected.outcomes.some(outcome => !outcome.success).should.be.true;
+    const scenario = new EventScenario({ artifacts: { eventTypes: [...selected], constraints: [...constraints] } });
+    const notifications = scenario.eventSequence.appendOperations[Symbol.asyncIterator]();
+    const validate = vi.spyOn(InProcessConstraints.prototype, 'validate');
+    let count = 0;
+    try {
+        for (const [index, operation] of fixture.isolatedConstraintOperations.entries()) {
+            const expected = fixture.expected.outcomes[index];
+            const before = historyOf(scenario);
+            const calls = validate.mock.calls.length;
+            const nextNotification = notifications.next();
+            const results = operation.mode === 'single'
+                ? [await scenario.append(operation.events[0].source, makeEvent(operation.events[0]))]
+                : await scenario.appendMany(operation.events.map(entry => ({ eventSourceId: entry.source, event: makeEvent(entry) })));
+            const notification = (await nextNotification).value!;
+            validate.mock.calls.length.should.equal(calls + 1);
+            const raw = validate.mock.results.at(-1)?.value as ReturnType<InProcessConstraints['validate']>;
+            raw.map(({ SequenceNumber, ...violation }) => ({ ...violation, SequenceNumber: SequenceNumber.toString() }))
+                .should.deep.equal(expected.wireViolations);
+            notification.length.should.equal(operation.events.length);
+            notification.every(item => item.result.isSuccess === expected.success).should.be.true;
+            count += operation.events.length;
+            scenario.results.length.should.equal(count);
+            results.length.should.equal(operation.events.length);
+            for (const [position, result] of results.entries()) {
+                result.isSuccess.should.equal(expected.success);
+                result.sequenceNumber.value.toString().should.equal(expected.success ? expected.sequences[position] : '0');
+                result.constraintViolations.map(item => ({ id: item.constraintId, message: item.message, details: item.details }))
+                    .should.deep.equal(expected.violations);
+                result.errors.map(item => item.message).should.deep.equal(expected.errors);
+            }
+            if (!expected.success) historyOf(scenario).should.deep.equal(before);
+            historyOf(scenario).should.deep.equal(expected.history);
+            (await scenario.eventSequence.getNextSequenceNumber()).value.toString().should.equal(expected.next);
+        }
+    } finally {
+        validate.mockRestore();
+        await notifications.return?.();
+    }
+}
+
+describe('fixture-backed composite unique-property keys', () => {
+    it('matches the pinned kernel constraints-composite: declared order, dash joining, per-property violations, hashes and rollback',
+        () => matchesFixture('constraints-composite', compositeTypes, [FullName, Triple]));
+
+    it('rejects a repeated key path at the key-shape check, while the distinct shape is accepted', async () => {
+        class Repeated implements IConstraint {
+            define(builder: IConstraintBuilder) {
+                builder.unique(key => key.on(OracleCompositeName, event => event.first, event => event.first));
+            }
+        }
+        constraint('OracleRepeatedPath')(Repeated);
+        class Distinct implements IConstraint {
+            define(builder: IConstraintBuilder) {
+                builder.unique(key => key.on(OracleCompositeName, event => event.first, event => event.last));
+            }
+        }
+        constraint('OracleRepeatedPath')(Distinct);
+        new EventScenario({ artifacts: { eventTypes: [OracleCompositeName], constraints: [Distinct] } }).should.be.instanceOf(EventScenario);
+        await unsupported(() => new EventScenario({ artifacts: { eventTypes: [OracleCompositeName], constraints: [Repeated] } }),
+            'artifacts.constraints (OracleRepeatedPath)', shapeReason);
+    });
+
+    it('rejects four key properties at the key-shape check, while three are accepted', async () => {
+        class Quad {
+            @field(String) a = 'a'; @field(String) b = 'b'; @field(String) c = 'c'; @field(String) d = 'd';
+        }
+        eventType('OracleCompositeQuad')(Quad);
+        class Four implements IConstraint {
+            define(builder: IConstraintBuilder) {
+                builder.unique(key => key.on(Quad, event => event.a, event => event.b, event => event.c, event => event.d));
+            }
+        }
+        constraint('OracleQuad')(Four);
+        class Three implements IConstraint {
+            define(builder: IConstraintBuilder) { builder.unique(key => key.on(Quad, event => event.a, event => event.b, event => event.c)); }
+        }
+        constraint('OracleQuad')(Three);
+        new EventScenario({ artifacts: { eventTypes: [Quad], constraints: [Three] } }).should.be.instanceOf(EventScenario);
+        await unsupported(() => new EventScenario({ artifacts: { eventTypes: [Quad], constraints: [Four] } }),
+            'artifacts.constraints (OracleQuad)', shapeReason);
+    });
+
+    it('rejects nested and indexed key paths at the key-shape check, while the flat path is accepted', async () => {
+        // The event schema must stay flat to pass the schema check; the accessors reach the paths 'a.b' and 'items.0'.
+        class Nested { @field(String) a = 'a'; }
+        eventType('OracleCompositeNested')(Nested);
+        type Shaped = { a: { b: string }; items: string[] };
+        class Deep implements IConstraint {
+            define(builder: IConstraintBuilder) {
+                builder.unique(key => key.on(Nested, event => event.a, event => (event as unknown as Shaped).a.b));
+            }
+        }
+        constraint('OracleNestedPath')(Deep);
+        class Indexed implements IConstraint {
+            define(builder: IConstraintBuilder) {
+                builder.unique(key => key.on(Nested, event => event.a, event => (event as unknown as Shaped).items[0]));
+            }
+        }
+        constraint('OracleNestedPath')(Indexed);
+        class Flat implements IConstraint {
+            define(builder: IConstraintBuilder) { builder.unique(key => key.on(Nested, event => event.a)); }
+        }
+        constraint('OracleNestedPath')(Flat);
+        new EventScenario({ artifacts: { eventTypes: [Nested], constraints: [Flat] } }).should.be.instanceOf(EventScenario);
+        await unsupported(() => new EventScenario({ artifacts: { eventTypes: [Nested], constraints: [Deep] } }),
+            'artifacts.constraints (OracleNestedPath)', shapeReason);
+        await unsupported(() => new EventScenario({ artifacts: { eventTypes: [Nested], constraints: [Indexed] } }),
+            'artifacts.constraints (OracleNestedPath)', shapeReason);
+    });
+
+    it('rejects a composite with a boolean component, while the boolean alone is accepted', async () => {
+        class Mixed { @field(String) label = 'x'; @field(Boolean) active = true; }
+        eventType('OracleCompositeMixed')(Mixed);
+        class Composite implements IConstraint {
+            define(builder: IConstraintBuilder) { builder.unique(key => key.on(Mixed, event => event.label, event => event.active)); }
+        }
+        constraint('OracleMixed')(Composite);
+        class Single implements IConstraint {
+            define(builder: IConstraintBuilder) { builder.unique(key => key.on(Mixed, event => event.active)); }
+        }
+        constraint('OracleMixed')(Single);
+        new EventScenario({ artifacts: { eventTypes: [Mixed], constraints: [Single] } }).should.be.instanceOf(EventScenario);
+        await unsupported(() => new EventScenario({ artifacts: { eventTypes: [Mixed], constraints: [Composite] } }),
+            'artifacts.constraints (OracleMixed)', 'Every property of a composite key must be a schema-backed string.');
+    });
+
+    it('rejects an unproven component value in a batch and leaves history, results and claims unchanged', async () => {
+        const scenario = new EventScenario({ artifacts: { eventTypes: compositeTypes, constraints: [FullName, Triple] } });
+        (await scenario.append('A', new OracleCompositeName('Ada', 'Lovelace'))).isSuccess.should.be.true;
+        const before = historyOf(scenario);
+        const results = [...scenario.results];
+        await unsupported(() => scenario.appendMany([{ eventSourceId: 'B', event: new OracleCompositeName('Grace', 'Hopper') },
+            { eventSourceId: 'C', event: new OracleCompositeName('Ada', 'Love!') }]), 'artifacts.constraints (OracleFullName)',
+        'Only fixture-backed scalar string and boolean keys are supported.');
+        historyOf(scenario).should.deep.equal(before);
+        scenario.results.should.deep.equal(results);
+        (await scenario.append('D', new OracleCompositeName('Grace', 'Hopper'))).isSuccess.should.be.true;
+        (await scenario.append('E', new OracleCompositeName('Ada', 'Lovelace'))).constraintViolations
+            .map(item => item.message).should.deep.equal(['Taken: first=Ada', 'Taken: last=Lovelace']);
+    });
+
+    it('rolls back a setup call that ends in a delimiter collision', async () => {
+        const scenario = new EventScenario({ artifacts: { eventTypes: compositeTypes, constraints: [FullName, Triple] } });
+        await scenario.given.forEventSource('A').events(new OracleCompositeName('a-b', 'c'));
+        await scenario.given.forEventSource('B').events(new OracleCompositeName('x', 'y'), new OracleCompositeName('a', 'b-c'))
+            .then(() => { throw new Error('Invalid setup succeeded'); }, error => {
+                (error as Error).message.should.include('EventScenario given setup failed');
+            });
+        historyOf(scenario).map(entry => entry.source).should.deep.equal(['A']);
+        (await scenario.append('C', new OracleCompositeName('x', 'y'))).isSuccess.should.be.true;
+    });
+
+    it('delivers only committed composite claims to a reactor', async () => {
+        const calls: string[] = [];
+        @reactor('composite-reactor')
+        class CompositeReactor {
+            oracleCompositeName(event: OracleCompositeName) { calls.push(`${event.first}/${event.last}`); }
+            oracleCompositeAlias(event: OracleCompositeAlias) { calls.push(`${event.family}/${event.given}`); }
+        }
+        const subject = new ReactorScenario(CompositeReactor, { artifacts: { eventTypes: compositeTypes, constraints: [FullName, Triple] } });
+        await subject.when.forEventSource('A').events(new OracleCompositeName('Ada', 'Lovelace'));
+        await subject.when.forEventSource('B').events(new OracleCompositeAlias('Lovelace', 'Ada'))
+            .then(() => { throw new Error('Colliding alias delivered'); }, error => {
+                (error as Error).message.should.include('ReactorScenario action append failed');
+            });
+        await subject.when.forEventSource('B').events(new OracleCompositeAlias('Ada', 'Lovelace'));
+        calls.should.deep.equal(['Ada/Lovelace', 'Lovelace/Ada']);
+    });
+});
+
+describe('fixture-backed ASCII case-insensitive unique-property keys', () => {
+    const casingTypes = [OracleDomainText, OracleDomainRemoved, OracleCompositeName];
+    const asciiReason = 'Case-insensitive keys outside the ASCII key domain are not fixture-backed.';
+
+    it('matches the pinned kernel constraints-ignore-casing: ASCII folding, original-cased details, ownership, hashes and rollback',
+        () => matchesFixture('constraints-ignore-casing', casingTypes, [Handle, CasedName]));
+
+    it('rejects a non-ASCII key under ignoreCasing before mutation, while the case-sensitive definition accepts it', async () => {
+        const sensitive = new EventScenario({ artifacts: { eventTypes: compositeTypes, constraints: [FullName, Triple] } });
+        (await sensitive.append('A', new OracleCompositeName('Zo\u00e9', 'X'))).isSuccess.should.be.true;
+        const scenario = new EventScenario({ artifacts: { eventTypes: casingTypes, constraints: [Handle, CasedName] } });
+        (await scenario.append('A', new OracleDomainText('Alice'))).isSuccess.should.be.true;
+        const before = historyOf(scenario);
+        const results = [...scenario.results];
+        const notifications = scenario.eventSequence.appendOperations[Symbol.asyncIterator]();
+        try {
+            const notification = notifications.next();
+            await unsupported(() => scenario.append('B', new OracleDomainText('Zo\u00e9')), 'artifacts.constraints (OracleHandle)', asciiReason);
+            await unsupported(() => scenario.appendMany([{ eventSourceId: 'C', event: new OracleDomainText('Bob') },
+                { eventSourceId: 'D', event: new OracleCompositeName('zo\u00e9', 'x') }]), 'artifacts.constraints (OracleCasedName)', asciiReason);
+            await unsupported(() => scenario.append('E', new OracleCompositeName('Zo\u00e9', 'X')), 'artifacts.constraints (OracleCasedName)', asciiReason);
+            historyOf(scenario).should.deep.equal(before);
+            scenario.results.should.deep.equal(results);
+            (await scenario.append('C', new OracleDomainText('BOB'))).isSuccess.should.be.true;
+            (await notification).value!.map(item => item.event.content).should.deep.equal([{ key: 'BOB' }]);
+        } finally { await notifications.return?.(); }
+        (await scenario.append('F', new OracleDomainText('bob'))).constraintViolations.map(item => item.message)
+            .should.deep.equal(['Handle taken: bob']);
+    });
+
+    it('rejects ignoreCasing on a boolean key, while the case-sensitive boolean key is accepted', async () => {
+        class Flagged { @field(Boolean) active = true; }
+        eventType('OracleCasedFlag')(Flagged);
+        class Folded implements IConstraint {
+            define(builder: IConstraintBuilder) { builder.unique(key => key.on(Flagged, event => event.active).ignoreCasing()); }
+        }
+        constraint('OracleCasedFlag')(Folded);
+        class Exact implements IConstraint {
+            define(builder: IConstraintBuilder) { builder.unique(key => key.on(Flagged, event => event.active)); }
+        }
+        constraint('OracleCasedFlag')(Exact);
+        new EventScenario({ artifacts: { eventTypes: [Flagged], constraints: [Exact] } }).should.be.instanceOf(EventScenario);
+        await unsupported(() => new EventScenario({ artifacts: { eventTypes: [Flagged], constraints: [Folded] } }),
+            'artifacts.constraints (OracleCasedFlag)', 'Case-insensitive keys must be schema-backed strings.');
+    });
+});

package/testing/EventScenario.constraint-cycles.spec.ts

@@ -0,0 +1,236 @@
+// Copyright (c) Cratis. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+
+import 'reflect-metadata';
+import { readFileSync } from 'node:fs';
+import { chai, describe, it, vi } from 'vitest';
+import { field } from '@cratis/fundamentals';
+import { eventType, getEventTypeMetadata } from '../events/eventTypeDecorator.js';
+import { constraint } from '../events/constraints/constraint.js';
+import { compileConstraints } from '../events/constraints/Constraints.js';
+import type { IConstraint } from '../events/constraints/IConstraint.js';
+import type { IConstraintBuilder } from '../events/constraints/IConstraintBuilder.js';
+import { removeConstraint } from '../events/constraints/removeConstraint.js';
+import { EventScenario, UnsupportedEventSequenceOperation } from './index.js';
+import { InProcessConstraints } from './InProcessConstraints.js';
+import { ReactorScenario } from './ReactorScenario.js';
+import { reactor } from '../reactors/reactor.js';
+
+chai.should();
+class OracleCycleFirst { @field(String) label: string; constructor(label: string) { this.label = label; } }
+eventType('OracleCycleFirst')(OracleCycleFirst);
+class OracleCycleSibling { @field(String) label: string; constructor(label: string) { this.label = label; } }
+eventType('OracleCycleSibling')(OracleCycleSibling);
+class OracleCycleRemoved { @field(String) label: string; constructor(label: string) { this.label = label; } }
+eventType('OracleCycleRemoved')(OracleCycleRemoved);
+removeConstraint('OracleCycle')(OracleCycleRemoved);
+class OracleCycleExpired { @field(String) label: string; constructor(label: string) { this.label = label; } }
+eventType('OracleCycleExpired')(OracleCycleExpired);
+removeConstraint('OracleCycle')(OracleCycleExpired);
+class OracleCycleRenewed { @field(String) label: string; constructor(label: string) { this.label = label; } }
+eventType('OracleCycleRenewed')(OracleCycleRenewed);
+removeConstraint('OracleCycle')(OracleCycleRenewed);
+// Same-named uniqueFor declarations merge into one definition covering the whole set.
+class CycleFirst implements IConstraint {
+    define(builder: IConstraintBuilder) { builder.uniqueFor(OracleCycleFirst, 'Cycle occupied', 'OracleCycle'); }
+}
+constraint('CycleFirst')(CycleFirst);
+class CycleSibling implements IConstraint {
+    define(builder: IConstraintBuilder) { builder.uniqueFor(OracleCycleSibling, undefined, 'OracleCycle'); }
+}
+constraint('CycleSibling')(CycleSibling);
+class CycleRenewed implements IConstraint {
+    define(builder: IConstraintBuilder) { builder.uniqueFor(OracleCycleRenewed, undefined, 'OracleCycle'); }
+}
+constraint('CycleRenewed')(CycleRenewed);
+
+const aliases = { first: OracleCycleFirst, sibling: OracleCycleSibling, cycleRemoved: OracleCycleRemoved,
+    cycleExpired: OracleCycleExpired, renewed: OracleCycleRenewed };
+type Alias = keyof typeof aliases;
+type Input = { source: string; type: Alias; value: string };
+type History = { sequence: string; source: string; sourceType: string; streamType: string; streamId: string;
+    type: string; content: Record<string, string>; hash: string };
+type Violation = { EventTypeId: string; SequenceNumber: string; ConstraintType: number; ConstraintName: string;
+    Message: string; Details: Record<string, string> };
+type Outcome = { success: boolean; sequences: string[]; violations: Array<{ id: string; message: string; details: Record<string, string> }>;
+    wireViolations: Violation[]; errors: string[]; history: History[]; next: string };
+type Fixture = { eventSchemas: Record<string, { eventTypeId: string; properties: Record<string, string> }>;
+    constraintDefinitions: Array<{ kind: string; name: string; eventTypes: string[]; removedWithEventTypeIds: string[]; message: string }>;
+    isolatedConstraintOperations: Array<{ mode: 'single' | 'batch'; events: Input[] }>;
+    expected: { outcomes: Outcome[] } };
+const aliasById = Object.fromEntries(Object.entries(aliases).map(([alias, type]) => [getEventTypeMetadata(type)!.eventType.id.value, alias]));
+const makeEvent = ({ type, value }: Input): object => new aliases[type](value);
+const historyOf = (scenario: EventScenario): History[] => scenario.appendedEvents.map(entry => ({
+    sequence: entry.context.sequenceNumber.toString(), source: entry.context.eventSourceId,
+    sourceType: entry.context.eventSourceType, streamType: entry.context.eventStreamType, streamId: entry.context.eventStreamId,
+    type: entry.eventType.id.value, content: entry.content as Record<string, string>, hash: entry.context.hash
+}));
+const unsupported = async (action: () => unknown, operation: string, reason: string) => {
+    await Promise.resolve().then(action).then(() => { throw new Error('Expected rejection'); }, error => {
+        (error instanceof UnsupportedEventSequenceOperation).should.be.true;
+        (error as Error).message.should.include(`UnsupportedEventSequenceOperation: ${operation}:`);
+        (error as Error).message.should.include(reason);
+        (error as Error).message.should.include('Use a kernel-backed test.');
+    });
+};
+const siblingTypes = [OracleCycleFirst, OracleCycleSibling, OracleCycleRemoved, OracleCycleExpired];
+const cycleTypes = [...siblingTypes, OracleCycleRenewed];
+const shapeReason = 'This unique event type set and removal combination is not fixture-backed.';
+
+describe('fixture-backed unique event type cycles', () => {
+    for (const [name, selected, constraints] of [
+        ['constraints-event-type-siblings', siblingTypes, [CycleFirst, CycleSibling]],
+        ['constraints-event-type-cycles', cycleTypes, [CycleFirst, CycleSibling, CycleRenewed]]
+    ] as const) {
+        it(`matches the pinned kernel ${name}: raw and mapped violations, cycles, hashes and rollback`, async () => {
+            const fixture = JSON.parse(readFileSync(new URL(`./fixtures/${name}.json`, import.meta.url), 'utf8')) as Fixture;
+            Object.fromEntries(selected.map(type => {
+                const metadata = getEventTypeMetadata(type)!;
+                return [aliasById[metadata.eventType.id.value], { eventTypeId: metadata.eventType.id.value,
+                    properties: Object.fromEntries(Object.entries(metadata.schema.properties ?? {}).map(([key, property]) => [key, property.type])) }];
+            })).should.deep.equal(fixture.eventSchemas);
+            const compiled = compileConstraints({ eventTypes: [...selected], constraints: [...constraints] });
+            [...compiled].map(([key, capture]) => ({ kind: 'uniqueEventType', name: key,
+                eventTypes: capture.uniqueEventType!.eventTypeIds!.map(id => aliasById[id]),
+                removedWithEventTypeIds: capture.uniqueEventType!.removedWithEventTypeIds!.map(id => aliasById[id]),
+                message: capture.uniqueEventType!.message ?? ''
+            })).should.deep.equal(fixture.constraintDefinitions);
+            fixture.isolatedConstraintOperations.length.should.be.greaterThan(0);
+            fixture.expected.outcomes.length.should.equal(fixture.isolatedConstraintOperations.length);
+            fixture.expected.outcomes.some(outcome => !outcome.success).should.be.true;
+            const scenario = new EventScenario({ artifacts: { eventTypes: [...selected], constraints: [...constraints] } });
+            const notifications = scenario.eventSequence.appendOperations[Symbol.asyncIterator]();
+            const validate = vi.spyOn(InProcessConstraints.prototype, 'validate');
+            let count = 0;
+            try {
+                for (const [index, operation] of fixture.isolatedConstraintOperations.entries()) {
+                    const expected = fixture.expected.outcomes[index];
+                    const before = historyOf(scenario);
+                    const calls = validate.mock.calls.length;
+                    const nextNotification = notifications.next();
+                    const results = operation.mode === 'single'
+                        ? [await scenario.append(operation.events[0].source, makeEvent(operation.events[0]))]
+                        : await scenario.appendMany(operation.events.map(entry => ({ eventSourceId: entry.source, event: makeEvent(entry) })));
+                    const notification = (await nextNotification).value!;
+                    validate.mock.calls.length.should.equal(calls + 1);
+                    const raw = validate.mock.results.at(-1)?.value as ReturnType<InProcessConstraints['validate']>;
+                    raw.map(({ SequenceNumber, ...violation }) => ({ ...violation, SequenceNumber: SequenceNumber.toString() }))
+                        .should.deep.equal(expected.wireViolations);
+                    notification.length.should.equal(operation.events.length);
+                    notification.every(item => item.result.isSuccess === expected.success).should.be.true;
+                    count += operation.events.length;
+                    scenario.results.length.should.equal(count);
+                    results.length.should.equal(operation.events.length);
+                    for (const [position, result] of results.entries()) {
+                        result.isSuccess.should.equal(expected.success);
+                        result.sequenceNumber.value.toString().should.equal(expected.success ? expected.sequences[position] : '0');
+                        result.constraintViolations.map(item => ({ id: item.constraintId, message: item.message, details: item.details }))
+                            .should.deep.equal(expected.violations);
+                        result.errors.map(item => item.message).should.deep.equal(expected.errors);
+                    }
+                    if (!expected.success) historyOf(scenario).should.deep.equal(before);
+                    historyOf(scenario).should.deep.equal(expected.history);
+                    (await scenario.eventSequence.getNextSequenceNumber()).value.toString().should.equal(expected.next);
+                }
+            } finally {
+                validate.mockRestore();
+                await notifications.return?.();
+            }
+        });
+    }
+
+    it('rolls back a release and reclaim in a failing setup call without results or notifications', async () => {
+        const scenario = new EventScenario({ artifacts: { eventTypes: siblingTypes, constraints: [CycleFirst, CycleSibling] } });
+        const notifications = scenario.eventSequence.appendOperations[Symbol.asyncIterator]();
+        try {
+            const first = notifications.next();
+            await scenario.given.forEventSource('A').events(new OracleCycleFirst('claim'));
+            (await first).value!.length.should.equal(1);
+            const before = historyOf(scenario);
+            await scenario.given.forEventSource('A').events(new OracleCycleRemoved('release'), new OracleCycleFirst('reopen'),
+                new OracleCycleSibling('blocked'))
+                .then(() => { throw new Error('Invalid setup succeeded'); }, error => {
+                    (error as Error).message.should.include('EventScenario given setup failed');
+                });
+            historyOf(scenario).should.deep.equal(before);
+            scenario.results.length.should.equal(0);
+            (await scenario.eventSequence.getNextSequenceNumber()).value.should.equal(1n);
+            const next = notifications.next();
+            const blocked = await scenario.append('A', new OracleCycleSibling('still held'));
+            blocked.constraintViolations.map(item => item.constraintId).should.deep.equal(['OracleCycle']);
+            (await next).value!.map(item => item.event.eventType.id.value).should.deep.equal(['OracleCycleSibling']);
+        } finally { await notifications.return?.(); }
+    });
+
+    it('delivers only committed claim and release events to a reactor', async () => {
+        const calls: string[] = [];
+        @reactor('cycle-reactor')
+        class CycleReactor {
+            oracleCycleFirst(event: OracleCycleFirst) { calls.push(event.label); }
+            oracleCycleSibling(event: OracleCycleSibling) { calls.push(event.label); }
+            oracleCycleExpired(event: OracleCycleExpired) { calls.push(event.label); }
+        }
+        const subject = new ReactorScenario(CycleReactor,
+            { artifacts: { eventTypes: siblingTypes, constraints: [CycleFirst, CycleSibling] } });
+        await subject.when.forEventSource('A').events(new OracleCycleFirst('claim'));
+        await subject.when.forEventSource('A').events(new OracleCycleSibling('blocked'))
+            .then(() => { throw new Error('Occupied cycle delivered'); }, error => {
+                (error as Error).message.should.include('ReactorScenario action append failed');
+            });
+        calls.should.deep.equal(['claim']);
+        subject.results.length.should.equal(1);
+        await subject.when.forEventSource('A').events(new OracleCycleExpired('release'), new OracleCycleSibling('reclaim'));
+        calls.should.deep.equal(['claim', 'release', 'reclaim']);
+        subject.results.length.should.equal(2);
+    });
+
+    it('rejects unsupported input in a batch and leaves history and results unchanged', async () => {
+        const scenario = new EventScenario({ artifacts: { eventTypes: siblingTypes, constraints: [CycleFirst, CycleSibling] } });
+        (await scenario.append('A', new OracleCycleFirst('claim'))).isSuccess.should.be.true;
+        const before = historyOf(scenario);
+        const results = scenario.results;
+        await unsupported(() => scenario.appendMany([{ eventSourceId: 'A', event: new OracleCycleExpired('release') },
+            { eventSourceId: 'B!', event: new OracleCycleFirst('claim') }]), 'appendMany.source (B!)',
+        'Only simple source identifiers are fixture-backed.');
+        historyOf(scenario).should.deep.equal(before);
+        scenario.results.should.deep.equal(results);
+        const blocked = await scenario.append('A', new OracleCycleSibling('still held'));
+        blocked.isSuccess.should.be.false;
+        blocked.constraintViolations.map(item => item.message).should.deep.equal(['Cycle occupied']);
+    });
+
+    it('rejects covered and removal type shapes that no fixture installs, at the shape check', async () => {
+        await unsupported(() => new EventScenario({ artifacts: {
+            eventTypes: [OracleCycleFirst, OracleCycleSibling, OracleCycleRemoved], constraints: [CycleFirst, CycleSibling]
+        } }), 'artifacts.constraints (OracleCycle)', shapeReason);
+        await unsupported(() => new EventScenario({ artifacts: {
+            eventTypes: [OracleCycleFirst, OracleCycleRemoved, OracleCycleRenewed], constraints: [CycleFirst, CycleRenewed]
+        } }), 'artifacts.constraints (OracleCycle)', shapeReason);
+        await unsupported(() => new EventScenario({ artifacts: {
+            eventTypes: [OracleCycleFirst, OracleCycleSibling, OracleCycleRemoved, OracleCycleRenewed],
+            constraints: [CycleFirst, CycleSibling, CycleRenewed]
+        } }), 'artifacts.constraints (OracleCycle)', shapeReason);
+    });
+
+    it('rejects a fixture-shaped cycle installed alongside another definition', async () => {
+        class OtherOnce { @field(String) label = 'other'; }
+        eventType('OracleCycleOtherOnce')(OtherOnce);
+        class OtherOnceConstraint implements IConstraint {
+            define(builder: IConstraintBuilder) { builder.uniqueFor(OtherOnce, undefined, 'OracleCycleOther'); }
+        }
+        constraint('OracleCycleOther')(OtherOnceConstraint);
+        await unsupported(() => new EventScenario({ artifacts: {
+            eventTypes: [...siblingTypes, OtherOnce], constraints: [CycleFirst, CycleSibling, OtherOnceConstraint]
+        } }), 'artifacts.constraints (OracleCycle)', 'Unique event cycles alongside other definitions are not fixture-backed.');
+    });
+
+    it('rejects a fieldless event-type remover at the schema check', async () => {
+        class FieldlessRemoval {}
+        eventType('OracleCycleFieldless')(FieldlessRemoval);
+        removeConstraint('OracleCycle')(FieldlessRemoval);
+        await unsupported(() => new EventScenario({ artifacts: {
+            eventTypes: [OracleCycleFirst, OracleCycleSibling, OracleCycleRemoved, FieldlessRemoval],
+            constraints: [CycleFirst, CycleSibling]
+        } }), 'artifacts.eventTypes.schema (FieldlessRemoval)', 'Only flat, unclassified string/boolean fields are fixture-backed.');
+    });
+});

package/testing/EventScenario.constraints.spec.ts

@@ -172,7 +172,7 @@ describe('fixture-backed unscoped constraints', () => {
         const production = compileConstraints({ eventTypes: [GlobalOnce, SelectedOnce], constraints: [] });
         production.get('ScenarioSharedOnce')!.uniqueEventType!.eventTypeIds.should.deep.equal(['GlobalOnce', 'SelectedOnce']);
         unsupported(() => new EventScenario({ artifacts: { eventTypes: [SelectedOnce] } }), 'artifacts.constraints')
-            .message.should.include('multi-type unique event cycles');
+            .message.should.include('This unique event type set and removal combination is not fixture-backed.');
     });
 
     it('rejects removal of a selected unique-event-type constraint at construction', () => {
@@ -183,8 +183,8 @@ describe('fixture-backed unscoped constraints', () => {
         eventType('OnceNameRemoval')(Removal);
         removeConstraint('OnceName')(Removal);
         const message = unsupported(() => new EventScenario({ artifacts: { eventTypes: [Once, Removal] } }), 'artifacts.constraints').message;
-        message.should.include('Removal');
-        message.should.include('Use a kernel-backed test.');
+        message.should.include('OnceName');
+        message.should.include('This unique event type set and removal combination is not fixture-backed.');
     });
 
     it('rejects a global removal decorator targeting a selected constraint', () => {
@@ -367,14 +367,14 @@ describe('fixture-backed unscoped constraints', () => {
         scoped(builder => builder.perEventStreamType().unique(key => key.on(OracleKeyClaimed, event => event.key)));
         scoped(builder => builder.perEventSourceType().unique(key => key.on(OracleKeyClaimed, event => event.key)));
         scoped(builder => builder.unique(key => key.on(OracleKeyClaimed, event => event.key, event => event.key)));
-        scoped(builder => builder.unique(key => key.on(OracleKeyClaimed, event => event.key).ignoreCasing()));
+        scoped(builder => builder.perEventStreamId().unique(key => key.on(OracleKeyClaimed, event => event.key).ignoreCasing()));
         scoped(builder => builder.unique(key => key.on(OracleKeyClaimed, event => event.key))
             .uniqueFor(OracleOnceRecorded));
         class AnotherOnce { @field(String) label = 'second'; }
         eventType('AnotherOnce')(AnotherOnce);
         unique('OracleOnce')(AnotherOnce);
         unsupported(() => new EventScenario({ artifacts: { eventTypes: [...types, AnotherOnce], constraints: [OracleFluentOnceConstraint] } }), 'artifacts.constraints')
-            .message.should.include('multi-type unique event cycles');
+            .message.should.include('This unique event type set and removal combination is not fixture-backed.');
         const subject = scenario();
         await subject.append('A', new OracleKeyClaimed('Alpha'));
         await subject.append('B', new OracleKeyClaimed('beta'));

package/testing/EventScenario.fixtures.spec.ts

@@ -57,7 +57,9 @@ interface Fixture {
 const directory = new URL('./fixtures/', import.meta.url);
 const fixtures = readdirSync(directory).filter(name => name.endsWith('.json') &&
     !['batches.json', 'batch-omitted-routes.json', 'batch-rollback.json', 'builders.json', 'constraints.json', 'constraints-isolation.json', 'constraints-key-domain.json',
-        'constraints-property-lifecycle.json', 'constraints-property-covered-removal.json'].includes(name)).map(name => ({
+        'constraints-property-lifecycle.json', 'constraints-property-covered-removal.json', 'constraints-event-type-cycles.json',
+        'constraints-event-type-siblings.json', 'constraints-composite.json',
+        'constraints-ignore-casing.json'].includes(name)).map(name => ({
     name, fixture: JSON.parse(readFileSync(new URL(name, directory), 'utf8')) as Fixture
 }));
 const artifacts = { eventTypes: [OracleEventRecorded, AlternateRecorded, BoundaryRecorded], constraints: [] };

package/testing/EventScenario.ts

@@ -98,10 +98,21 @@ export class EventScenario {
                     }
                     for (const entry of capture.uniqueConstraint?.eventDefinitions ?? []) {
                         const type = eventTypes.find(type => getEventTypeFor(type).id.value === entry.eventTypeId)!;
-                        if (!['string', 'boolean'].includes(getEventTypeMetadata(type)?.schema.properties?.[entry.properties[0]]?.type ?? '')) {
+                        const schemaTypes = entry.properties.map(property => getEventTypeMetadata(type)?.schema.properties?.[property]?.type ?? '');
+                        if (entry.properties.length === 1 && !['string', 'boolean'].includes(schemaTypes[0])) {
                             throw new UnsupportedEventSequenceOperation('artifacts.constraints', name,
                                 'The constrained property must be a schema-backed string or boolean.');
                         }
+                        // constraints-ignore-casing.json captures folded string keys only.
+                        if (capture.uniqueConstraint!.ignoreCasing && schemaTypes.some(schemaType => schemaType !== 'string')) {
+                            throw new UnsupportedEventSequenceOperation('artifacts.constraints', name,
+                                'Case-insensitive keys must be schema-backed strings.');
+                        }
+                        // constraints-composite.json captures string components only.
+                        if (entry.properties.length > 1 && schemaTypes.some(schemaType => schemaType !== 'string')) {
+                            throw new UnsupportedEventSequenceOperation('artifacts.constraints', name,
+                                'Every property of a composite key must be a schema-backed string.');
+                        }
                     }
                 }
             } catch (error) {

package/testing/InProcessConstraints.ts

@@ -26,10 +26,34 @@ function keyHash(value: string): string {
     return createHash('sha256').update(value).digest('hex');
 }
 
+type UniqueCapture = NonNullable<ConstraintCapture['uniqueConstraint']>;
+type Claim = { key: string; parts: Array<{ property: string; raw: string }> };
+
+/**
+ * The kernel key: each declared property's string in declared order, joined with a literal '-'
+ * (UniqueConstraintDefinitionExtensions.GetPropertiesAndValues/GetValue at Chronicle 8fe5d30). Not a tuple:
+ * ['a-b', 'c'] and ['a', 'b-c'] claim the same key, as constraints-composite.json captures.
+ */
+function claimOf(name: string, unique: UniqueCapture, eventTypeId: string, content: Record<string, unknown>): Claim | undefined {
+    const properties = unique.eventDefinitions.find(entry => entry.eventTypeId === eventTypeId)?.properties;
+    if (properties === undefined) return undefined;
+    const parts = properties.map(property => ({ property, raw: kernelKeyString(content[property], name) }));
+    const joined = parts.map(part => part.raw).join('-');
+    if (!unique.ignoreCasing) return { key: keyHash(joined), parts };
+    // The kernel applies .NET ToLowerInvariant to the joined value. constraints-ignore-casing.json proves
+    // only the ASCII key domain, where that is exactly A-Z to a-z; host Unicode case tables are not used.
+    if (!/^[\x20-\x7e]*$/.test(joined)) {
+        throw new UnsupportedEventSequenceOperation('artifacts.constraints', name,
+            'Case-insensitive keys outside the ASCII key domain are not fixture-backed.');
+    }
+    return { key: keyHash(joined.replace(/[A-Z]/g, letter => String.fromCharCode(letter.charCodeAt(0) + 32))), parts };
+}
+
 /** Narrow, fixture-backed unscoped constraint validation over serialized event snapshots. */
 export class InProcessConstraints {
     private readonly _constrainedProperties = new Map<string, Set<string>>();
     private readonly _removalTypes = new Set<string>();
+    private readonly _propertyRemovalTypes = new Set<string>();
 
     constructor(private readonly _definitions: ReadonlyMap<string, ConstraintCapture>) {
         const coveredTypes = new Map<string, string>();
@@ -43,10 +67,13 @@ export class InProcessConstraints {
             }
             if (capture.uniqueConstraint) {
                 const unique = capture.uniqueConstraint;
-                if (unique.ignoreCasing || unique.eventDefinitions.length === 0 ||
-                    unique.eventDefinitions.some(entry => entry.properties.length !== 1 ||
-                        !/^[a-z][a-zA-Z0-9]*$/.test(entry.properties[0]))) {
-                    throw this.unsupported(name, 'Case folding and composite or nested keys are not fixture-backed.');
+                // constraints-composite.json installs one, two and three flat properties per event type.
+                // The kernel keys properties by path with ToDictionary, so duplicate paths are not a key shape.
+                if (unique.eventDefinitions.length === 0 || unique.eventDefinitions.some(entry =>
+                    entry.properties.length < 1 || entry.properties.length > 3 ||
+                    new Set(entry.properties).size !== entry.properties.length ||
+                    entry.properties.some(property => !/^[a-z][a-zA-Z0-9]*$/.test(property)))) {
+                    throw this.unsupported(name, 'Only one to three distinct flat properties per event type are fixture-backed; nested, indexed or repeated key paths are not.');
                 }
                 for (const id of [unique.removedWithEventTypeId, ...(unique.removedWithEventTypeIds ?? [])]) {
                     if (id === undefined) continue;
@@ -56,17 +83,32 @@ export class InProcessConstraints {
                     }
                     removalOwners.set(id, name);
                     this._removalTypes.add(id);
+                    this._propertyRemovalTypes.add(id);
                 }
                 for (const entry of unique.eventDefinitions) {
                     const properties = this._constrainedProperties.get(entry.eventTypeId) ?? new Set<string>();
-                    properties.add(entry.properties[0]);
+                    entry.properties.forEach(property => properties.add(property));
                     this._constrainedProperties.set(entry.eventTypeId, properties);
                 }
             } else if (capture.uniqueEventType) {
                 const unique = capture.uniqueEventType;
-                if (unique.removedWithEventTypeIds?.length || (unique.eventTypeIds?.length ?? 1) !== 1) {
-                    throw this.unsupported(name, 'Removal and multi-type unique event cycles are not fixture-backed.');
+                const ids = unique.eventTypeIds ?? [unique.eventTypeId];
+                const removals = unique.removedWithEventTypeIds ?? [];
+                const shared = ids.filter(id => removals.includes(id)).length;
+                // Exactly the shapes installed by the pinned fixtures: one covered type without removal
+                // (constraints.json), two covered types with two separate removers
+                // (constraints-event-type-siblings.json), and three covered types with three removers of
+                // which one is also covered (constraints-event-type-cycles.json).
+                if (!(ids.length === 1 && removals.length === 0) &&
+                    !(ids.length === 2 && removals.length === 2 && shared === 0) &&
+                    !(ids.length === 3 && removals.length === 3 && shared === 1)) {
+                    throw this.unsupported(name, 'This unique event type set and removal combination is not fixture-backed.');
                 }
+                // Each cycle fixture installs its definition alone; interaction with other definitions is unproven.
+                if (removals.length && _definitions.size !== 1) {
+                    throw this.unsupported(name, 'Unique event cycles alongside other definitions are not fixture-backed.');
+                }
+                removals.forEach(id => this._removalTypes.add(id));
             } else {
                 throw this.unsupported(name, 'Unknown constraint definition.');
             }
@@ -89,7 +131,7 @@ export class InProcessConstraints {
     }
 
     isRemovalOnlyType(eventTypeId: string): boolean {
-        return this._removalTypes.has(eventTypeId) && !this._constrainedProperties.has(eventTypeId);
+        return this._propertyRemovalTypes.has(eventTypeId) && !this._constrainedProperties.has(eventTypeId);
     }
 
     hasRemovalType(eventTypeId: string): boolean { return this._removalTypes.has(eventTypeId); }
@@ -116,34 +158,38 @@ export class InProcessConstraints {
                     claims.delete(source);
                     continue;
                 }
-                const property = unique.eventDefinitions.find(entry => entry.eventTypeId === type)?.properties[0];
-                if (property === undefined) continue;
-                const value = prior.content[property];
-                if (typeof value !== 'string' && typeof value !== 'boolean') throw this.unsupported(name, 'History has an unproven key.');
-                claims.set(source, { key: keyHash(kernelKeyString(value, name)),
+                const properties = unique.eventDefinitions.find(entry => entry.eventTypeId === type)?.properties;
+                if (properties === undefined) continue;
+                if (properties.some(property => !['string', 'boolean'].includes(typeof prior.content[property]))) {
+                    throw this.unsupported(name, 'History has an unproven key.');
+                }
+                claims.set(source, { key: claimOf(name, unique, type, prior.content)!.key,
                     sequence: prior.context.sequenceNumber.toString() });
             }
             owners.set(name, claims);
         }
         const stagedKeys = new Map<string, Map<string, string>>();
-        const stagedTypes = new Set<string>();
+        const stagedCycles = new Map<string, Map<string, 'open' | 'released'>>();
         for (const event of incoming) {
             const type = event.eventType.id.value;
             const source = event.context.eventSourceId;
+            const violationCount = violations.length;
             for (const [name, definition] of this._definitions) {
-                const property = definition.uniqueConstraint?.eventDefinitions.find(entry => entry.eventTypeId === type)?.properties[0];
-                if (property !== undefined) {
-                    const raw = kernelKeyString(event.content[property], name);
-                    const key = keyHash(raw);
+                const claim = definition.uniqueConstraint && claimOf(name, definition.uniqueConstraint, type, event.content);
+                if (claim) {
+                    const key = claim.key;
                     const existing = [...owners.get(name)!.entries()].find(([, claim]) => claim.key === key);
                     const batchClaims = stagedKeys.get(name) ?? new Map<string, string>();
                     const batchOwner = batchClaims.get(key);
                     if (existing && existing[0] !== source || batchOwner !== undefined && batchOwner !== source) {
-                        const details = { PropertyName: property, PropertyValue: raw };
-                        violations.push({ EventTypeId: type, SequenceNumber: BigInt(existing?.[1].sequence ?? unavailable), ConstraintType: 1,
-                            ConstraintName: name,
-                            Message: `Event '${type}' on member '${property}' violated a unique constraint on sequence number ${existing?.[1].sequence ?? unavailable}`,
-                            Details: details });
+                        // One violation per declared property, in declared order, each with its own original value.
+                        const sequence = existing?.[1].sequence ?? unavailable;
+                        for (const { property, raw } of claim.parts) {
+                            violations.push({ EventTypeId: type, SequenceNumber: BigInt(sequence), ConstraintType: 1,
+                                ConstraintName: name,
+                                Message: `Event '${type}' on member '${property}' violated a unique constraint on sequence number ${sequence}`,
+                                Details: { PropertyName: property, PropertyValue: raw } });
+                        }
                     } else {
                         batchClaims.set(key, source);
                         stagedKeys.set(name, batchClaims);
@@ -151,15 +197,41 @@ export class InProcessConstraints {
                 }
                 const uniqueType = definition.uniqueEventType;
                 if (uniqueType && (uniqueType.eventTypeIds ?? [uniqueType.eventTypeId]).includes(type)) {
-                    const first = history.find(prior => prior.context.eventSourceId === source &&
-                        (uniqueType.eventTypeIds ?? [uniqueType.eventTypeId]).includes(prior.eventType.id.value));
-                    const staged = stagedTypes.has(`${name}\u0000${source}`);
-                    if (first || staged) {
-                        violations.push({ EventTypeId: type, SequenceNumber: first?.context.sequenceNumber ?? BigInt(unavailable), ConstraintType: 2,
+                    const covered = uniqueType.eventTypeIds ?? [uniqueType.eventTypeId];
+                    const removals = uniqueType.removedWithEventTypeIds ?? [];
+                    // Durable answer: the earliest covered event after the latest removal for this source.
+                    let first: AppendedEvent | undefined;
+                    for (const prior of history) {
+                        if (prior.context.eventSourceId !== source) continue;
+                        const priorType = prior.eventType.id.value;
+                        if (removals.includes(priorType)) first = undefined;
+                        else if (!first && covered.includes(priorType)) first = prior;
+                    }
+                    const cycles = stagedCycles.get(name) ?? new Map<string, 'open' | 'released'>();
+                    const state = cycles.get(source);
+                    // A cycle state recorded earlier in this append overrides durable history.
+                    if (state === 'open' || state === undefined && first) {
+                        // Durable storage supplies the sequence even when a staged claim causes rejection.
+                        const sequence = first?.context.sequenceNumber.toString() ?? unavailable;
+                        violations.push({ EventTypeId: type, SequenceNumber: BigInt(sequence), ConstraintType: 2,
                             ConstraintName: name,
-                            Message: `Event '${type}' violated a unique event type constraint on sequence number ${first?.context.sequenceNumber.toString() ?? unavailable}`,
+                            Message: `Event '${type}' violated a unique event type constraint on sequence number ${sequence}`,
                             Details: {} });
-                    } else stagedTypes.add(`${name}\u0000${source}`);
+                    } else {
+                        cycles.set(source, 'open');
+                        stagedCycles.set(name, cycles);
+                    }
+                }
+            }
+            // Kernel batch observers release a cycle only after the entire event validates.
+            // A covered-and-removal event first attempts its claim, then releases it.
+            if (violations.length === violationCount) {
+                for (const [name, definition] of this._definitions) {
+                    if (definition.uniqueEventType?.removedWithEventTypeIds?.includes(type)) {
+                        const cycles = stagedCycles.get(name) ?? new Map<string, 'open' | 'released'>();
+                        cycles.set(source, 'released');
+                        stagedCycles.set(name, cycles);
+                    }
                 }
             }
         }