@kairos-es/read 1.0.0-alpha.0 → 1.0.0-alpha.1

package/README.md

@@ -325,7 +325,9 @@ at all. `modelAtHead` from `@kairos-es/codec` reads the log at query time and is
 consistent as of the `head` its read returned, which makes it MORE current than any
 maintained view of the same slices — a maintained view is consistent as of a
 checkpoint that trails that head. No table, no checkpoint, no runner, and no rung
-of the construction gate applies to it.
+of the construction gate applies to it. ⚠ Its error channel carries
+`TaglessSliceInLedger`, raised when a slice built without tags would be unioned with
+another inside a `transact` bracket — see `@kairos-es/codec`.
 
 All three over one course's roster:
 [`examples/course-subscriptions/src/courseRosterMaterialisations.ts`](../../examples/course-subscriptions/src/courseRosterMaterialisations.ts),

package/dist/cjs/projectionWiringFault.js

@@ -142,7 +142,7 @@ var _EventLogDurability = require("./EventLogDurability.js");
  *    options literal, a smaller and more local mistake than picking the wrong pair
  *    of layers.
  * 4. **The store's own servable grammar**, once over the SHARED composed query,
- *    reported in the STORE's vocabulary by `core`'s own `assertServableQuery`.
+ *    reported in the STORE's vocabulary by `core`'s own servable-query grammar.
  * 5. **The read side's stricter per-slice tag rule**, once over the SHARED slice
  *    record, and it MUST stay after (4): it catches only what that grammar admits,
  *    since a lone type-only item is servable. Were it first, a tagless-plus-tagged
@@ -327,7 +327,7 @@ const tuningFault = tuning => {
  * `undefined` when the store would serve it, otherwise `core`'s own sentence about
  * why it would not.
  *
- * ## Why `core`'s `assertServableQuery` and not a predicate of our own
+ * ## Why `core`'s grammar and not a predicate of our own
  *
  * It is the very function every engine applies inside `read`/`subscribe`/`append`,
  * so calling it is what makes ONE grammar rather than two that agree until one is
@@ -339,31 +339,25 @@ const tuningFault = tuning => {
  * once the breaker trips on a checkpoint that never moved — several backoff sleeps
  * later, describing a stall rather than the mis-built slice that caused it.
  *
- * ## Why the THROW is converted rather than propagated
- *
- * `assertServableQuery` throws, because its own callers are store methods where a
- * throw inside an `Effect` is already the defect it should be. Here it is one of
- * five rules whose results compose, so letting it throw would give this gate two
- * exit routes — a returned sentence for four rules and an exception for the
- * fifth — and every caller would then need both a `??` chain and a `try`. Catching
- * it keeps ONE exit route, and the caller keeps one `Effect.die`.
- *
- * The message is passed through VERBATIM, which is the point of the conversion
- * rather than a detail of it: the violation goes on being reported in the store's
- * vocabulary, in the same words the same rule produces when a store rejects the
- * same query, so an author who meets it twice meets it once. The `instanceof`
- * fallback is for the shape of the contract rather than for anything observed —
- * `throw` admits any value, and `String(error)` is the honest reading of one this
- * module cannot inspect.
+ * ## Why core's TOTAL form is called rather than its throwing one
+ *
+ * The grammar has two dispositions and core owns both: `assertServableQuery`
+ * throws, because its own callers are store methods where a throw inside an
+ * `Effect` is already the defect it should be, and `servableQueryFault` returns the
+ * sentence, for a caller that can still act on it. Here it is one of five rules
+ * whose results compose, so a throw would give this gate two exit routes — a
+ * returned sentence for four rules and an exception for the fifth — and every
+ * caller would need both a `??` chain and a `try`. The total form keeps ONE exit
+ * route, and the caller keeps one `Effect.die`.
+ *
+ * This used to convert the throw here, with a `try`/`catch` and an `instanceof`
+ * fallback, which was a THIRD statement of a rule that must have one home — and,
+ * once core's total form existed, a private symbol of the same name and meaning
+ * sitting beside the public one. The message is core's either way, so the violation
+ * goes on being reported in the store's own vocabulary and an author who meets it
+ * twice meets it once.
  */
-const servableQueryFault = wiring => {
-  try {
-    (0, _core.assertServableQuery)(wiring.query);
-    return undefined;
-  } catch (error) {
-    return error instanceof Error ? error.message : String(error);
-  }
-};
+const servableSliceQueryFault = wiring => (0, _core.servableQueryFault)(wiring.query);
 /**
  * The read side's OWN per-slice rule: `undefined` when every slice carries at least
  * one tag, otherwise the sentence naming the first slice that does not.
@@ -436,7 +430,7 @@ const perEntry = (entries, rule) => {
 const projectionWiringFault = wiring => materialisationCollisionFault(wiring) ?? perEntry(wiring.materialisations, entry => (0, _EventLogDurability.durabilityOrderingFault)({
   eventLogDurability: wiring.eventLogDurability,
   viewDurability: entry.viewDurability
-})) ?? perEntry(wiring.materialisations, tuningFault) ?? servableQueryFault(wiring) ?? taglessSliceFault(wiring);
+})) ?? perEntry(wiring.materialisations, tuningFault) ?? servableSliceQueryFault(wiring) ?? taglessSliceFault(wiring);
 /**
  * The SET-LEVEL rung: `undefined` when no two materialisations of one read model
  * would fight over one cursor, otherwise the sentence naming the offending pair and

package/dist/cjs/projectionWiringFault.js.map

@@ -1 +1 @@
-{"version":3,"file":"projectionWiringFault.js","names":["_core","require","_effect","_EventLogDurability","positiveFiniteDuration","name","input","role","decoded","Duration","decodeUnknown","Option","isNone","Either","left","String","isFinite","value","isZero","right","MIS_TUNED","tuningFault","tuning","checked","all","batchWindow","restartMinDelay","restartMaxDelay","restartResetAfter","isLeft","greaterThan","format","undefined","servableQueryFault","wiring","assertServableQuery","query","error","Error","message","taglessSliceFault","slice","Object","entries","slices","untagged","items","length","some","item","tags","perEntry","rule","index","fault","projectionWiringFault","materialisationCollisionFault","materialisations","entry","durabilityOrderingFault","eventLogDurability","viewDurability","exports","one","other","cursorIdentity","key","projection","partition"],"sources":["../../src/projectionWiringFault.ts"],"sourcesContent":[null],"mappings":";;;;;;AA4LA,IAAAA,KAAA,GAAAC,OAAA;AACA,IAAAC,OAAA,GAAAD,OAAA;AACA,IAAAE,mBAAA,GAAAF,OAAA;AA9LA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiMA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,MAAMG,sBAAsB,GAAGA,CAC7BC,IAAY,EACZC,KAA6B,EAC7BC,IAAY,KACgC;EAC5C,MAAMC,OAAO,GAAGC,gBAAQ,CAACC,aAAa,CAACJ,KAAK,CAAC;EAC7C,IAAIK,cAAM,CAACC,MAAM,CAACJ,OAAO,CAAC,EAAE;IAC1B,OAAOK,cAAM,CAACC,IAAI,CAChB,GAAGT,IAAI,yCAAyCU,MAAM,CAACT,KAAK,CAAC,YAAY,GACvE,mEAAmE,GACnE,qDAAqD,CACxD;EACH;EACA,IAAI,CAACG,gBAAQ,CAACO,QAAQ,CAACR,OAAO,CAACS,KAAK,CAAC,EAAE;IACrC,OAAOJ,cAAM,CAACC,IAAI,CAAC,GAAGT,IAAI,qBAAqBU,MAAM,CAACT,KAAK,CAAC,MAAMC,IAAI,EAAE,CAAC;EAC3E;EACA,IAAIE,gBAAQ,CAACS,MAAM,CAACV,OAAO,CAACS,KAAK,CAAC,EAAE;IAClC,OAAOJ,cAAM,CAACC,IAAI,CAChB,GAAGT,IAAI,iBAAiBU,MAAM,CAACT,KAAK,CAAC,iCAAiC,GACpE,2DAA2DC,IAAI,EAAE,CACpE;EACH;EACA,OAAOM,cAAM,CAACM,KAAK,CAACX,OAAO,CAACS,KAAK,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuDA,MAAMG,SAAS,GAAG,kBAAkB;AAEpC,MAAMC,WAAW,GAAIC,MAKpB,IAAwB;EACvB,MAAMC,OAAO,GAAGV,cAAM,CAACW,GAAG,CAAC;IACzBC,WAAW,EAAErB,sBAAsB,CACjC,aAAa,EACbkB,MAAM,CAACG,WAAW,EAClB,0EAA0E,GACxE,yEAAyE,GACzE,0EAA0E,GAC1E,wEAAwE,GACxE,OAAO,CACV;IACDC,eAAe,EAAEtB,sBAAsB,CACrC,iBAAiB,EACjBkB,MAAM,CAACI,eAAe,EACtB,uEAAuE,GACrE,yEAAyE,GACzE,uDAAuD,CAC1D;IACDC,eAAe,EAAEvB,sBAAsB,CACrC,iBAAiB,EACjBkB,MAAM,CAACK,eAAe,EACtB,wEAAwE,GACtE,0EAA0E,GAC1E,0EAA0E,GAC1E,kDAAkD,CACrD;IACDC,iBAAiB,EAAExB,sBAAsB,CACvC,mBAAmB,EACnBkB,MAAM,CAACM,iBAAiB,EACxB,2EAA2E,GACzE,wEAAwE,GACxE,yEAAyE,GACzE,oEAAoE,GACpE,kEAAkE,GAClE,YAAY;GAEjB,CAAC;EAEF,IAAIf,cAAM,CAACgB,MAAM,CAACN,OAAO,CAAC,EAAE;IAC1B,OAAO,GAAGH,SAAS,IAAIG,OAAO,CAACT,IAAI,EAAE;EACvC;EAEA,IACEL,gBAAQ,CAACqB,WAAW,CAClBP,OAAO,CAACJ,KAAK,CAACO,eAAe,EAC7BH,OAAO,CAACJ,KAAK,CAACQ,eAAe,CAC9B,EACD;IACA,OACE,GAAGP,SAAS,mBAAmB,GAC/B,IAAIX,gBAAQ,CAACsB,MAAM,CAACR,OAAO,CAACJ,KAAK,CAACO,eAAe,CAAC,oBAAoB,GACtE,oBAAoBjB,gBAAQ,CAACsB,MAAM,CAACR,OAAO,CAACJ,KAAK,CAACQ,eAAe,CAAC,KAAK,GACvE,wEAAwE,GACxE,uEAAuE,GACvE,qEAAqE,GACrE,yEAAyE,GACzE,uCAAuC;EAE3C;EAEA,OAAOK,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,MAAMC,kBAAkB,GAAIC,MAE3B,IAAwB;EACvB,IAAI;IACF,IAAAC,yBAAmB,EAACD,MAAM,CAACE,KAAK,CAAC;IACjC,OAAOJ,SAAS;EAClB,CAAC,CAAC,OAAOK,KAAK,EAAE;IACd,OAAOA,KAAK,YAAYC,KAAK,GAAGD,KAAK,CAACE,OAAO,GAAGxB,MAAM,CAACsB,KAAK,CAAC;EAC/D;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;AAkBA,MAAMG,iBAAiB,GAAIN,MAE1B,IAAwB;EACvB,KAAK,MAAM,CAAC7B,IAAI,EAAEoC,KAAK,CAAC,IAAIC,MAAM,CAACC,OAAO,CAACT,MAAM,CAACU,MAAM,CAAC,EAAE;IACzD,MAAMC,QAAQ,GACZJ,KAAK,CAACL,KAAK,CAACU,KAAK,CAACC,MAAM,KAAK,CAAC,IAC9BN,KAAK,CAACL,KAAK,CAACU,KAAK,CAACE,IAAI,CAAEC,IAAI,IAAKA,IAAI,CAACC,IAAI,CAACH,MAAM,KAAK,CAAC,CAAC;IAC1D,IAAIF,QAAQ,EAAE;MACZ,OACE,qBAAqBxC,IAAI,4CAA4C,GACrE,sEAAsE,GACtE,2DAA2D,GAC3D,iEAAiE,GACjE,yEAAyE,GACzE,qEAAqE,GACrE,mEAAmE,GACnE,mEAAmE,GACnE,6BAA6B;IAEjC;EACF;EACA,OAAO2B,SAAS;AAClB,CAAC;AA6CD;;;;;;;;;;;;;;;AAeA,MAAMmB,QAAQ,GAAGA,CACfR,OAAyB,EACzBS,IAAsC,KAChB;EACtB,KAAK,IAAIC,KAAK,GAAG,CAAC,EAAEA,KAAK,GAAGV,OAAO,CAACI,MAAM,EAAEM,KAAK,IAAI,CAAC,EAAE;IACtD,MAAMC,KAAK,GAAGF,IAAI,CAACT,OAAO,CAACU,KAAK,CAAC,CAAC;IAClC,IAAIC,KAAK,KAAKtB,SAAS,EAAE;MACvB,OAAOW,OAAO,CAACI,MAAM,GAAG,CAAC,GACrB,oBAAoBM,KAAK,OAAOC,KAAK,EAAE,GACvCA,KAAK;IACX;EACF;EACA,OAAOtB,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;AAkBO,MAAMuB,qBAAqB,GAAIrB,MAKrC,IACCsB,6BAA6B,CAACtB,MAAM,CAAC,IACrCiB,QAAQ,CAACjB,MAAM,CAACuB,gBAAgB,EAAGC,KAAK,IACtC,IAAAC,2CAAuB,EAAC;EACtBC,kBAAkB,EAAE1B,MAAM,CAAC0B,kBAAkB;EAC7CC,cAAc,EAAEH,KAAK,CAACG;CACvB,CAAC,CACH,IACDV,QAAQ,CAACjB,MAAM,CAACuB,gBAAgB,EAAEpC,WAAW,CAAC,IAC9CY,kBAAkB,CAACC,MAAM,CAAC,IAC1BM,iBAAiB,CAACN,MAAM,CAAC;AAE3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA4B,OAAA,CAAAP,qBAAA,GAAAA,qBAAA;AA4EA,MAAMC,6BAA6B,GAAItB,MAKtC,IAAwB;EACvB,MAAM;IAAEuB;EAAgB,CAAE,GAAGvB,MAAM;EACnC,KAAK,IAAIpB,IAAI,GAAG,CAAC,EAAEA,IAAI,GAAG2C,gBAAgB,CAACV,MAAM,EAAEjC,IAAI,IAAI,CAAC,EAAE;IAC5D,KAAK,IAAIK,KAAK,GAAGL,IAAI,GAAG,CAAC,EAAEK,KAAK,GAAGsC,gBAAgB,CAACV,MAAM,EAAE5B,KAAK,IAAI,CAAC,EAAE;MACtE,MAAM4C,GAAG,GAAGN,gBAAgB,CAAC3C,IAAI,CAAC;MAClC,MAAMkD,KAAK,GAAGP,gBAAgB,CAACtC,KAAK,CAAC;MACrC,IACE4C,GAAG,CAACE,cAAc,KAAKD,KAAK,CAACC,cAAc,IAC3CF,GAAG,CAACG,GAAG,CAACC,UAAU,KAAKH,KAAK,CAACE,GAAG,CAACC,UAAU,IAC3CJ,GAAG,CAACG,GAAG,CAACE,SAAS,KAAKJ,KAAK,CAACE,GAAG,CAACE,SAAS,EACzC;QACA,OACE,iDAAiDtD,IAAI,QAAQ,GAC7D,oBAAoBK,KAAK,6CAA6C,GACtE,6BAA6B4C,GAAG,CAACG,GAAG,CAACE,SAAS,2BAA2B,GACzE,mEAAmE,GACnE,uEAAuE,GACvE,kEAAkE,GAClE,qEAAqE,GACrE,2DAA2D,GAC3D,wEAAwE,GACxE,uEAAuE,GACvE,sEAAsE,GACtE,yEAAyE,GACzE,iEAAiE,GACjE,mEAAmE,GACnE,oBAAoB;MAExB;IACF;EACF;EACA,OAAOpC,SAAS;AAClB,CAAC","ignoreList":[]}
+{"version":3,"file":"projectionWiringFault.js","names":["_core","require","_effect","_EventLogDurability","positiveFiniteDuration","name","input","role","decoded","Duration","decodeUnknown","Option","isNone","Either","left","String","isFinite","value","isZero","right","MIS_TUNED","tuningFault","tuning","checked","all","batchWindow","restartMinDelay","restartMaxDelay","restartResetAfter","isLeft","greaterThan","format","undefined","servableSliceQueryFault","wiring","servableQueryFault","query","taglessSliceFault","slice","Object","entries","slices","untagged","items","length","some","item","tags","perEntry","rule","index","fault","projectionWiringFault","materialisationCollisionFault","materialisations","entry","durabilityOrderingFault","eventLogDurability","viewDurability","exports","one","other","cursorIdentity","key","projection","partition"],"sources":["../../src/projectionWiringFault.ts"],"sourcesContent":[null],"mappings":";;;;;;AA4LA,IAAAA,KAAA,GAAAC,OAAA;AACA,IAAAC,OAAA,GAAAD,OAAA;AACA,IAAAE,mBAAA,GAAAF,OAAA;AA9LA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiMA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,MAAMG,sBAAsB,GAAGA,CAC7BC,IAAY,EACZC,KAA6B,EAC7BC,IAAY,KACgC;EAC5C,MAAMC,OAAO,GAAGC,gBAAQ,CAACC,aAAa,CAACJ,KAAK,CAAC;EAC7C,IAAIK,cAAM,CAACC,MAAM,CAACJ,OAAO,CAAC,EAAE;IAC1B,OAAOK,cAAM,CAACC,IAAI,CAChB,GAAGT,IAAI,yCAAyCU,MAAM,CAACT,KAAK,CAAC,YAAY,GACvE,mEAAmE,GACnE,qDAAqD,CACxD;EACH;EACA,IAAI,CAACG,gBAAQ,CAACO,QAAQ,CAACR,OAAO,CAACS,KAAK,CAAC,EAAE;IACrC,OAAOJ,cAAM,CAACC,IAAI,CAAC,GAAGT,IAAI,qBAAqBU,MAAM,CAACT,KAAK,CAAC,MAAMC,IAAI,EAAE,CAAC;EAC3E;EACA,IAAIE,gBAAQ,CAACS,MAAM,CAACV,OAAO,CAACS,KAAK,CAAC,EAAE;IAClC,OAAOJ,cAAM,CAACC,IAAI,CAChB,GAAGT,IAAI,iBAAiBU,MAAM,CAACT,KAAK,CAAC,iCAAiC,GACpE,2DAA2DC,IAAI,EAAE,CACpE;EACH;EACA,OAAOM,cAAM,CAACM,KAAK,CAACX,OAAO,CAACS,KAAK,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuDA,MAAMG,SAAS,GAAG,kBAAkB;AAEpC,MAAMC,WAAW,GAAIC,MAKpB,IAAwB;EACvB,MAAMC,OAAO,GAAGV,cAAM,CAACW,GAAG,CAAC;IACzBC,WAAW,EAAErB,sBAAsB,CACjC,aAAa,EACbkB,MAAM,CAACG,WAAW,EAClB,0EAA0E,GACxE,yEAAyE,GACzE,0EAA0E,GAC1E,wEAAwE,GACxE,OAAO,CACV;IACDC,eAAe,EAAEtB,sBAAsB,CACrC,iBAAiB,EACjBkB,MAAM,CAACI,eAAe,EACtB,uEAAuE,GACrE,yEAAyE,GACzE,uDAAuD,CAC1D;IACDC,eAAe,EAAEvB,sBAAsB,CACrC,iBAAiB,EACjBkB,MAAM,CAACK,eAAe,EACtB,wEAAwE,GACtE,0EAA0E,GAC1E,0EAA0E,GAC1E,kDAAkD,CACrD;IACDC,iBAAiB,EAAExB,sBAAsB,CACvC,mBAAmB,EACnBkB,MAAM,CAACM,iBAAiB,EACxB,2EAA2E,GACzE,wEAAwE,GACxE,yEAAyE,GACzE,oEAAoE,GACpE,kEAAkE,GAClE,YAAY;GAEjB,CAAC;EAEF,IAAIf,cAAM,CAACgB,MAAM,CAACN,OAAO,CAAC,EAAE;IAC1B,OAAO,GAAGH,SAAS,IAAIG,OAAO,CAACT,IAAI,EAAE;EACvC;EAEA,IACEL,gBAAQ,CAACqB,WAAW,CAClBP,OAAO,CAACJ,KAAK,CAACO,eAAe,EAC7BH,OAAO,CAACJ,KAAK,CAACQ,eAAe,CAC9B,EACD;IACA,OACE,GAAGP,SAAS,mBAAmB,GAC/B,IAAIX,gBAAQ,CAACsB,MAAM,CAACR,OAAO,CAACJ,KAAK,CAACO,eAAe,CAAC,oBAAoB,GACtE,oBAAoBjB,gBAAQ,CAACsB,MAAM,CAACR,OAAO,CAACJ,KAAK,CAACQ,eAAe,CAAC,KAAK,GACvE,wEAAwE,GACxE,uEAAuE,GACvE,qEAAqE,GACrE,yEAAyE,GACzE,uCAAuC;EAE3C;EAEA,OAAOK,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmCA,MAAMC,uBAAuB,GAAIC,MAEhC,IAAyB,IAAAC,wBAAkB,EAACD,MAAM,CAACE,KAAK,CAAC;AAE1D;;;;;;;;;;;;;;;;;;AAkBA,MAAMC,iBAAiB,GAAIH,MAE1B,IAAwB;EACvB,KAAK,MAAM,CAAC7B,IAAI,EAAEiC,KAAK,CAAC,IAAIC,MAAM,CAACC,OAAO,CAACN,MAAM,CAACO,MAAM,CAAC,EAAE;IACzD,MAAMC,QAAQ,GACZJ,KAAK,CAACF,KAAK,CAACO,KAAK,CAACC,MAAM,KAAK,CAAC,IAC9BN,KAAK,CAACF,KAAK,CAACO,KAAK,CAACE,IAAI,CAAEC,IAAI,IAAKA,IAAI,CAACC,IAAI,CAACH,MAAM,KAAK,CAAC,CAAC;IAC1D,IAAIF,QAAQ,EAAE;MACZ,OACE,qBAAqBrC,IAAI,4CAA4C,GACrE,sEAAsE,GACtE,2DAA2D,GAC3D,iEAAiE,GACjE,yEAAyE,GACzE,qEAAqE,GACrE,mEAAmE,GACnE,mEAAmE,GACnE,6BAA6B;IAEjC;EACF;EACA,OAAO2B,SAAS;AAClB,CAAC;AA6CD;;;;;;;;;;;;;;;AAeA,MAAMgB,QAAQ,GAAGA,CACfR,OAAyB,EACzBS,IAAsC,KAChB;EACtB,KAAK,IAAIC,KAAK,GAAG,CAAC,EAAEA,KAAK,GAAGV,OAAO,CAACI,MAAM,EAAEM,KAAK,IAAI,CAAC,EAAE;IACtD,MAAMC,KAAK,GAAGF,IAAI,CAACT,OAAO,CAACU,KAAK,CAAC,CAAC;IAClC,IAAIC,KAAK,KAAKnB,SAAS,EAAE;MACvB,OAAOQ,OAAO,CAACI,MAAM,GAAG,CAAC,GACrB,oBAAoBM,KAAK,OAAOC,KAAK,EAAE,GACvCA,KAAK;IACX;EACF;EACA,OAAOnB,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;AAkBO,MAAMoB,qBAAqB,GAAIlB,MAKrC,IACCmB,6BAA6B,CAACnB,MAAM,CAAC,IACrCc,QAAQ,CAACd,MAAM,CAACoB,gBAAgB,EAAGC,KAAK,IACtC,IAAAC,2CAAuB,EAAC;EACtBC,kBAAkB,EAAEvB,MAAM,CAACuB,kBAAkB;EAC7CC,cAAc,EAAEH,KAAK,CAACG;CACvB,CAAC,CACH,IACDV,QAAQ,CAACd,MAAM,CAACoB,gBAAgB,EAAEjC,WAAW,CAAC,IAC9CY,uBAAuB,CAACC,MAAM,CAAC,IAC/BG,iBAAiB,CAACH,MAAM,CAAC;AAE3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAAyB,OAAA,CAAAP,qBAAA,GAAAA,qBAAA;AA4EA,MAAMC,6BAA6B,GAAInB,MAKtC,IAAwB;EACvB,MAAM;IAAEoB;EAAgB,CAAE,GAAGpB,MAAM;EACnC,KAAK,IAAIpB,IAAI,GAAG,CAAC,EAAEA,IAAI,GAAGwC,gBAAgB,CAACV,MAAM,EAAE9B,IAAI,IAAI,CAAC,EAAE;IAC5D,KAAK,IAAIK,KAAK,GAAGL,IAAI,GAAG,CAAC,EAAEK,KAAK,GAAGmC,gBAAgB,CAACV,MAAM,EAAEzB,KAAK,IAAI,CAAC,EAAE;MACtE,MAAMyC,GAAG,GAAGN,gBAAgB,CAACxC,IAAI,CAAC;MAClC,MAAM+C,KAAK,GAAGP,gBAAgB,CAACnC,KAAK,CAAC;MACrC,IACEyC,GAAG,CAACE,cAAc,KAAKD,KAAK,CAACC,cAAc,IAC3CF,GAAG,CAACG,GAAG,CAACC,UAAU,KAAKH,KAAK,CAACE,GAAG,CAACC,UAAU,IAC3CJ,GAAG,CAACG,GAAG,CAACE,SAAS,KAAKJ,KAAK,CAACE,GAAG,CAACE,SAAS,EACzC;QACA,OACE,iDAAiDnD,IAAI,QAAQ,GAC7D,oBAAoBK,KAAK,6CAA6C,GACtE,6BAA6ByC,GAAG,CAACG,GAAG,CAACE,SAAS,2BAA2B,GACzE,mEAAmE,GACnE,uEAAuE,GACvE,kEAAkE,GAClE,qEAAqE,GACrE,2DAA2D,GAC3D,wEAAwE,GACxE,uEAAuE,GACvE,sEAAsE,GACtE,yEAAyE,GACzE,iEAAiE,GACjE,mEAAmE,GACnE,oBAAoB;MAExB;IACF;EACF;EACA,OAAOjC,SAAS;AAClB,CAAC","ignoreList":[]}

package/dist/dts/projectionWiringFault.d.ts

@@ -133,7 +133,7 @@
  *    options literal, a smaller and more local mistake than picking the wrong pair
  *    of layers.
  * 4. **The store's own servable grammar**, once over the SHARED composed query,
- *    reported in the STORE's vocabulary by `core`'s own `assertServableQuery`.
+ *    reported in the STORE's vocabulary by `core`'s own servable-query grammar.
  * 5. **The read side's stricter per-slice tag rule**, once over the SHARED slice
  *    record, and it MUST stay after (4): it catches only what that grammar admits,
  *    since a lone type-only item is servable. Were it first, a tagless-plus-tagged

package/dist/dts/projectionWiringFault.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"projectionWiringFault.d.ts","sourceRoot":"","sources":["../../src/projectionWiringFault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2LG;AACH,OAAO,EAAuB,KAAK,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACjE,OAAO,EAAE,QAAQ,EAAkB,MAAM,QAAQ,CAAA;AAEjD,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAyRlE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;IAC3B,QAAQ,CAAC,cAAc,EAAE,UAAU,CAAA;IACnC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAA;IAC5C,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,aAAa,CAAA;IAChD,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,aAAa,CAAA;IAChD,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,aAAa,CAAA;CACnD,CAAA;AAgCD;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,UAAU,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CAAC,CAAA;IAC1D,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAA;CAChE,KAAG,MAAM,GAAG,SAUc,CAAA"}
+{"version":3,"file":"projectionWiringFault.d.ts","sourceRoot":"","sources":["../../src/projectionWiringFault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2LG;AACH,OAAO,EAAE,KAAK,KAAK,EAAsB,MAAM,iBAAiB,CAAA;AAChE,OAAO,EAAE,QAAQ,EAAkB,MAAM,QAAQ,CAAA;AAEjD,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAmRlE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;IAC3B,QAAQ,CAAC,cAAc,EAAE,UAAU,CAAA;IACnC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAA;IAC5C,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,aAAa,CAAA;IAChD,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,aAAa,CAAA;IAChD,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,aAAa,CAAA;CACnD,CAAA;AAgCD;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,UAAU,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CAAC,CAAA;IAC1D,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAA;CAChE,KAAG,MAAM,GAAG,SAUc,CAAA"}

package/dist/esm/projectionWiringFault.js

@@ -133,7 +133,7 @@
  *    options literal, a smaller and more local mistake than picking the wrong pair
  *    of layers.
  * 4. **The store's own servable grammar**, once over the SHARED composed query,
- *    reported in the STORE's vocabulary by `core`'s own `assertServableQuery`.
+ *    reported in the STORE's vocabulary by `core`'s own servable-query grammar.
  * 5. **The read side's stricter per-slice tag rule**, once over the SHARED slice
  *    record, and it MUST stay after (4): it catches only what that grammar admits,
  *    since a lone type-only item is servable. Were it first, a tagless-plus-tagged
@@ -186,7 +186,7 @@
  * offers — a caller with a wiring to validate has `runProjection` or
  * `runProjections` itself. BOTH judge all five rules before either forks anything.
  */
-import { assertServableQuery } from '@kairos-es/core';
+import { servableQueryFault } from '@kairos-es/core';
 import { Duration, Either, Option } from 'effect';
 import { durabilityOrderingFault } from "./EventLogDurability.js";
 /**
@@ -320,7 +320,7 @@ const tuningFault = tuning => {
  * `undefined` when the store would serve it, otherwise `core`'s own sentence about
  * why it would not.
  *
- * ## Why `core`'s `assertServableQuery` and not a predicate of our own
+ * ## Why `core`'s grammar and not a predicate of our own
  *
  * It is the very function every engine applies inside `read`/`subscribe`/`append`,
  * so calling it is what makes ONE grammar rather than two that agree until one is
@@ -332,31 +332,25 @@ const tuningFault = tuning => {
  * once the breaker trips on a checkpoint that never moved — several backoff sleeps
  * later, describing a stall rather than the mis-built slice that caused it.
  *
- * ## Why the THROW is converted rather than propagated
- *
- * `assertServableQuery` throws, because its own callers are store methods where a
- * throw inside an `Effect` is already the defect it should be. Here it is one of
- * five rules whose results compose, so letting it throw would give this gate two
- * exit routes — a returned sentence for four rules and an exception for the
- * fifth — and every caller would then need both a `??` chain and a `try`. Catching
- * it keeps ONE exit route, and the caller keeps one `Effect.die`.
- *
- * The message is passed through VERBATIM, which is the point of the conversion
- * rather than a detail of it: the violation goes on being reported in the store's
- * vocabulary, in the same words the same rule produces when a store rejects the
- * same query, so an author who meets it twice meets it once. The `instanceof`
- * fallback is for the shape of the contract rather than for anything observed —
- * `throw` admits any value, and `String(error)` is the honest reading of one this
- * module cannot inspect.
+ * ## Why core's TOTAL form is called rather than its throwing one
+ *
+ * The grammar has two dispositions and core owns both: `assertServableQuery`
+ * throws, because its own callers are store methods where a throw inside an
+ * `Effect` is already the defect it should be, and `servableQueryFault` returns the
+ * sentence, for a caller that can still act on it. Here it is one of five rules
+ * whose results compose, so a throw would give this gate two exit routes — a
+ * returned sentence for four rules and an exception for the fifth — and every
+ * caller would need both a `??` chain and a `try`. The total form keeps ONE exit
+ * route, and the caller keeps one `Effect.die`.
+ *
+ * This used to convert the throw here, with a `try`/`catch` and an `instanceof`
+ * fallback, which was a THIRD statement of a rule that must have one home — and,
+ * once core's total form existed, a private symbol of the same name and meaning
+ * sitting beside the public one. The message is core's either way, so the violation
+ * goes on being reported in the store's own vocabulary and an author who meets it
+ * twice meets it once.
  */
-const servableQueryFault = wiring => {
-  try {
-    assertServableQuery(wiring.query);
-    return undefined;
-  } catch (error) {
-    return error instanceof Error ? error.message : String(error);
-  }
-};
+const servableSliceQueryFault = wiring => servableQueryFault(wiring.query);
 /**
  * The read side's OWN per-slice rule: `undefined` when every slice carries at least
  * one tag, otherwise the sentence naming the first slice that does not.
@@ -429,7 +423,7 @@ const perEntry = (entries, rule) => {
 export const projectionWiringFault = wiring => materialisationCollisionFault(wiring) ?? perEntry(wiring.materialisations, entry => durabilityOrderingFault({
   eventLogDurability: wiring.eventLogDurability,
   viewDurability: entry.viewDurability
-})) ?? perEntry(wiring.materialisations, tuningFault) ?? servableQueryFault(wiring) ?? taglessSliceFault(wiring);
+})) ?? perEntry(wiring.materialisations, tuningFault) ?? servableSliceQueryFault(wiring) ?? taglessSliceFault(wiring);
 /**
  * The SET-LEVEL rung: `undefined` when no two materialisations of one read model
  * would fight over one cursor, otherwise the sentence naming the offending pair and

package/dist/esm/projectionWiringFault.js.map

@@ -1 +1 @@
-{"version":3,"file":"projectionWiringFault.js","names":["assertServableQuery","Duration","Either","Option","durabilityOrderingFault","positiveFiniteDuration","name","input","role","decoded","decodeUnknown","isNone","left","String","isFinite","value","isZero","right","MIS_TUNED","tuningFault","tuning","checked","all","batchWindow","restartMinDelay","restartMaxDelay","restartResetAfter","isLeft","greaterThan","format","undefined","servableQueryFault","wiring","query","error","Error","message","taglessSliceFault","slice","Object","entries","slices","untagged","items","length","some","item","tags","perEntry","rule","index","fault","projectionWiringFault","materialisationCollisionFault","materialisations","entry","eventLogDurability","viewDurability","one","other","cursorIdentity","key","projection","partition"],"sources":["../../src/projectionWiringFault.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4LA,SAASA,mBAAmB,QAAoB,iBAAiB;AACjE,SAASC,QAAQ,EAAEC,MAAM,EAAEC,MAAM,QAAQ,QAAQ;AACjD,SAASC,uBAAuB,QAAQ,yBAAsB;AAG9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,MAAMC,sBAAsB,GAAGA,CAC7BC,IAAY,EACZC,KAA6B,EAC7BC,IAAY,KACgC;EAC5C,MAAMC,OAAO,GAAGR,QAAQ,CAACS,aAAa,CAACH,KAAK,CAAC;EAC7C,IAAIJ,MAAM,CAACQ,MAAM,CAACF,OAAO,CAAC,EAAE;IAC1B,OAAOP,MAAM,CAACU,IAAI,CAChB,GAAGN,IAAI,yCAAyCO,MAAM,CAACN,KAAK,CAAC,YAAY,GACvE,mEAAmE,GACnE,qDAAqD,CACxD;EACH;EACA,IAAI,CAACN,QAAQ,CAACa,QAAQ,CAACL,OAAO,CAACM,KAAK,CAAC,EAAE;IACrC,OAAOb,MAAM,CAACU,IAAI,CAAC,GAAGN,IAAI,qBAAqBO,MAAM,CAACN,KAAK,CAAC,MAAMC,IAAI,EAAE,CAAC;EAC3E;EACA,IAAIP,QAAQ,CAACe,MAAM,CAACP,OAAO,CAACM,KAAK,CAAC,EAAE;IAClC,OAAOb,MAAM,CAACU,IAAI,CAChB,GAAGN,IAAI,iBAAiBO,MAAM,CAACN,KAAK,CAAC,iCAAiC,GACpE,2DAA2DC,IAAI,EAAE,CACpE;EACH;EACA,OAAON,MAAM,CAACe,KAAK,CAACR,OAAO,CAACM,KAAK,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuDA,MAAMG,SAAS,GAAG,kBAAkB;AAEpC,MAAMC,WAAW,GAAIC,MAKpB,IAAwB;EACvB,MAAMC,OAAO,GAAGnB,MAAM,CAACoB,GAAG,CAAC;IACzBC,WAAW,EAAElB,sBAAsB,CACjC,aAAa,EACbe,MAAM,CAACG,WAAW,EAClB,0EAA0E,GACxE,yEAAyE,GACzE,0EAA0E,GAC1E,wEAAwE,GACxE,OAAO,CACV;IACDC,eAAe,EAAEnB,sBAAsB,CACrC,iBAAiB,EACjBe,MAAM,CAACI,eAAe,EACtB,uEAAuE,GACrE,yEAAyE,GACzE,uDAAuD,CAC1D;IACDC,eAAe,EAAEpB,sBAAsB,CACrC,iBAAiB,EACjBe,MAAM,CAACK,eAAe,EACtB,wEAAwE,GACtE,0EAA0E,GAC1E,0EAA0E,GAC1E,kDAAkD,CACrD;IACDC,iBAAiB,EAAErB,sBAAsB,CACvC,mBAAmB,EACnBe,MAAM,CAACM,iBAAiB,EACxB,2EAA2E,GACzE,wEAAwE,GACxE,yEAAyE,GACzE,oEAAoE,GACpE,kEAAkE,GAClE,YAAY;GAEjB,CAAC;EAEF,IAAIxB,MAAM,CAACyB,MAAM,CAACN,OAAO,CAAC,EAAE;IAC1B,OAAO,GAAGH,SAAS,IAAIG,OAAO,CAACT,IAAI,EAAE;EACvC;EAEA,IACEX,QAAQ,CAAC2B,WAAW,CAClBP,OAAO,CAACJ,KAAK,CAACO,eAAe,EAC7BH,OAAO,CAACJ,KAAK,CAACQ,eAAe,CAC9B,EACD;IACA,OACE,GAAGP,SAAS,mBAAmB,GAC/B,IAAIjB,QAAQ,CAAC4B,MAAM,CAACR,OAAO,CAACJ,KAAK,CAACO,eAAe,CAAC,oBAAoB,GACtE,oBAAoBvB,QAAQ,CAAC4B,MAAM,CAACR,OAAO,CAACJ,KAAK,CAACQ,eAAe,CAAC,KAAK,GACvE,wEAAwE,GACxE,uEAAuE,GACvE,qEAAqE,GACrE,yEAAyE,GACzE,uCAAuC;EAE3C;EAEA,OAAOK,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,MAAMC,kBAAkB,GAAIC,MAE3B,IAAwB;EACvB,IAAI;IACFhC,mBAAmB,CAACgC,MAAM,CAACC,KAAK,CAAC;IACjC,OAAOH,SAAS;EAClB,CAAC,CAAC,OAAOI,KAAK,EAAE;IACd,OAAOA,KAAK,YAAYC,KAAK,GAAGD,KAAK,CAACE,OAAO,GAAGvB,MAAM,CAACqB,KAAK,CAAC;EAC/D;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;AAkBA,MAAMG,iBAAiB,GAAIL,MAE1B,IAAwB;EACvB,KAAK,MAAM,CAAC1B,IAAI,EAAEgC,KAAK,CAAC,IAAIC,MAAM,CAACC,OAAO,CAACR,MAAM,CAACS,MAAM,CAAC,EAAE;IACzD,MAAMC,QAAQ,GACZJ,KAAK,CAACL,KAAK,CAACU,KAAK,CAACC,MAAM,KAAK,CAAC,IAC9BN,KAAK,CAACL,KAAK,CAACU,KAAK,CAACE,IAAI,CAAEC,IAAI,IAAKA,IAAI,CAACC,IAAI,CAACH,MAAM,KAAK,CAAC,CAAC;IAC1D,IAAIF,QAAQ,EAAE;MACZ,OACE,qBAAqBpC,IAAI,4CAA4C,GACrE,sEAAsE,GACtE,2DAA2D,GAC3D,iEAAiE,GACjE,yEAAyE,GACzE,qEAAqE,GACrE,mEAAmE,GACnE,mEAAmE,GACnE,6BAA6B;IAEjC;EACF;EACA,OAAOwB,SAAS;AAClB,CAAC;AA6CD;;;;;;;;;;;;;;;AAeA,MAAMkB,QAAQ,GAAGA,CACfR,OAAyB,EACzBS,IAAsC,KAChB;EACtB,KAAK,IAAIC,KAAK,GAAG,CAAC,EAAEA,KAAK,GAAGV,OAAO,CAACI,MAAM,EAAEM,KAAK,IAAI,CAAC,EAAE;IACtD,MAAMC,KAAK,GAAGF,IAAI,CAACT,OAAO,CAACU,KAAK,CAAC,CAAC;IAClC,IAAIC,KAAK,KAAKrB,SAAS,EAAE;MACvB,OAAOU,OAAO,CAACI,MAAM,GAAG,CAAC,GACrB,oBAAoBM,KAAK,OAAOC,KAAK,EAAE,GACvCA,KAAK;IACX;EACF;EACA,OAAOrB,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMsB,qBAAqB,GAAIpB,MAKrC,IACCqB,6BAA6B,CAACrB,MAAM,CAAC,IACrCgB,QAAQ,CAAChB,MAAM,CAACsB,gBAAgB,EAAGC,KAAK,IACtCnD,uBAAuB,CAAC;EACtBoD,kBAAkB,EAAExB,MAAM,CAACwB,kBAAkB;EAC7CC,cAAc,EAAEF,KAAK,CAACE;CACvB,CAAC,CACH,IACDT,QAAQ,CAAChB,MAAM,CAACsB,gBAAgB,EAAEnC,WAAW,CAAC,IAC9CY,kBAAkB,CAACC,MAAM,CAAC,IAC1BK,iBAAiB,CAACL,MAAM,CAAC;AAE3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4EA,MAAMqB,6BAA6B,GAAIrB,MAKtC,IAAwB;EACvB,MAAM;IAAEsB;EAAgB,CAAE,GAAGtB,MAAM;EACnC,KAAK,IAAIpB,IAAI,GAAG,CAAC,EAAEA,IAAI,GAAG0C,gBAAgB,CAACV,MAAM,EAAEhC,IAAI,IAAI,CAAC,EAAE;IAC5D,KAAK,IAAIK,KAAK,GAAGL,IAAI,GAAG,CAAC,EAAEK,KAAK,GAAGqC,gBAAgB,CAACV,MAAM,EAAE3B,KAAK,IAAI,CAAC,EAAE;MACtE,MAAMyC,GAAG,GAAGJ,gBAAgB,CAAC1C,IAAI,CAAC;MAClC,MAAM+C,KAAK,GAAGL,gBAAgB,CAACrC,KAAK,CAAC;MACrC,IACEyC,GAAG,CAACE,cAAc,KAAKD,KAAK,CAACC,cAAc,IAC3CF,GAAG,CAACG,GAAG,CAACC,UAAU,KAAKH,KAAK,CAACE,GAAG,CAACC,UAAU,IAC3CJ,GAAG,CAACG,GAAG,CAACE,SAAS,KAAKJ,KAAK,CAACE,GAAG,CAACE,SAAS,EACzC;QACA,OACE,iDAAiDnD,IAAI,QAAQ,GAC7D,oBAAoBK,KAAK,6CAA6C,GACtE,6BAA6ByC,GAAG,CAACG,GAAG,CAACE,SAAS,2BAA2B,GACzE,mEAAmE,GACnE,uEAAuE,GACvE,kEAAkE,GAClE,qEAAqE,GACrE,2DAA2D,GAC3D,wEAAwE,GACxE,uEAAuE,GACvE,sEAAsE,GACtE,yEAAyE,GACzE,iEAAiE,GACjE,mEAAmE,GACnE,oBAAoB;MAExB;IACF;EACF;EACA,OAAOjC,SAAS;AAClB,CAAC","ignoreList":[]}
+{"version":3,"file":"projectionWiringFault.js","names":["servableQueryFault","Duration","Either","Option","durabilityOrderingFault","positiveFiniteDuration","name","input","role","decoded","decodeUnknown","isNone","left","String","isFinite","value","isZero","right","MIS_TUNED","tuningFault","tuning","checked","all","batchWindow","restartMinDelay","restartMaxDelay","restartResetAfter","isLeft","greaterThan","format","undefined","servableSliceQueryFault","wiring","query","taglessSliceFault","slice","Object","entries","slices","untagged","items","length","some","item","tags","perEntry","rule","index","fault","projectionWiringFault","materialisationCollisionFault","materialisations","entry","eventLogDurability","viewDurability","one","other","cursorIdentity","key","projection","partition"],"sources":["../../src/projectionWiringFault.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4LA,SAAqBA,kBAAkB,QAAQ,iBAAiB;AAChE,SAASC,QAAQ,EAAEC,MAAM,EAAEC,MAAM,QAAQ,QAAQ;AACjD,SAASC,uBAAuB,QAAQ,yBAAsB;AAG9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,MAAMC,sBAAsB,GAAGA,CAC7BC,IAAY,EACZC,KAA6B,EAC7BC,IAAY,KACgC;EAC5C,MAAMC,OAAO,GAAGR,QAAQ,CAACS,aAAa,CAACH,KAAK,CAAC;EAC7C,IAAIJ,MAAM,CAACQ,MAAM,CAACF,OAAO,CAAC,EAAE;IAC1B,OAAOP,MAAM,CAACU,IAAI,CAChB,GAAGN,IAAI,yCAAyCO,MAAM,CAACN,KAAK,CAAC,YAAY,GACvE,mEAAmE,GACnE,qDAAqD,CACxD;EACH;EACA,IAAI,CAACN,QAAQ,CAACa,QAAQ,CAACL,OAAO,CAACM,KAAK,CAAC,EAAE;IACrC,OAAOb,MAAM,CAACU,IAAI,CAAC,GAAGN,IAAI,qBAAqBO,MAAM,CAACN,KAAK,CAAC,MAAMC,IAAI,EAAE,CAAC;EAC3E;EACA,IAAIP,QAAQ,CAACe,MAAM,CAACP,OAAO,CAACM,KAAK,CAAC,EAAE;IAClC,OAAOb,MAAM,CAACU,IAAI,CAChB,GAAGN,IAAI,iBAAiBO,MAAM,CAACN,KAAK,CAAC,iCAAiC,GACpE,2DAA2DC,IAAI,EAAE,CACpE;EACH;EACA,OAAON,MAAM,CAACe,KAAK,CAACR,OAAO,CAACM,KAAK,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuDA,MAAMG,SAAS,GAAG,kBAAkB;AAEpC,MAAMC,WAAW,GAAIC,MAKpB,IAAwB;EACvB,MAAMC,OAAO,GAAGnB,MAAM,CAACoB,GAAG,CAAC;IACzBC,WAAW,EAAElB,sBAAsB,CACjC,aAAa,EACbe,MAAM,CAACG,WAAW,EAClB,0EAA0E,GACxE,yEAAyE,GACzE,0EAA0E,GAC1E,wEAAwE,GACxE,OAAO,CACV;IACDC,eAAe,EAAEnB,sBAAsB,CACrC,iBAAiB,EACjBe,MAAM,CAACI,eAAe,EACtB,uEAAuE,GACrE,yEAAyE,GACzE,uDAAuD,CAC1D;IACDC,eAAe,EAAEpB,sBAAsB,CACrC,iBAAiB,EACjBe,MAAM,CAACK,eAAe,EACtB,wEAAwE,GACtE,0EAA0E,GAC1E,0EAA0E,GAC1E,kDAAkD,CACrD;IACDC,iBAAiB,EAAErB,sBAAsB,CACvC,mBAAmB,EACnBe,MAAM,CAACM,iBAAiB,EACxB,2EAA2E,GACzE,wEAAwE,GACxE,yEAAyE,GACzE,oEAAoE,GACpE,kEAAkE,GAClE,YAAY;GAEjB,CAAC;EAEF,IAAIxB,MAAM,CAACyB,MAAM,CAACN,OAAO,CAAC,EAAE;IAC1B,OAAO,GAAGH,SAAS,IAAIG,OAAO,CAACT,IAAI,EAAE;EACvC;EAEA,IACEX,QAAQ,CAAC2B,WAAW,CAClBP,OAAO,CAACJ,KAAK,CAACO,eAAe,EAC7BH,OAAO,CAACJ,KAAK,CAACQ,eAAe,CAC9B,EACD;IACA,OACE,GAAGP,SAAS,mBAAmB,GAC/B,IAAIjB,QAAQ,CAAC4B,MAAM,CAACR,OAAO,CAACJ,KAAK,CAACO,eAAe,CAAC,oBAAoB,GACtE,oBAAoBvB,QAAQ,CAAC4B,MAAM,CAACR,OAAO,CAACJ,KAAK,CAACQ,eAAe,CAAC,KAAK,GACvE,wEAAwE,GACxE,uEAAuE,GACvE,qEAAqE,GACrE,yEAAyE,GACzE,uCAAuC;EAE3C;EAEA,OAAOK,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmCA,MAAMC,uBAAuB,GAAIC,MAEhC,IAAyBhC,kBAAkB,CAACgC,MAAM,CAACC,KAAK,CAAC;AAE1D;;;;;;;;;;;;;;;;;;AAkBA,MAAMC,iBAAiB,GAAIF,MAE1B,IAAwB;EACvB,KAAK,MAAM,CAAC1B,IAAI,EAAE6B,KAAK,CAAC,IAAIC,MAAM,CAACC,OAAO,CAACL,MAAM,CAACM,MAAM,CAAC,EAAE;IACzD,MAAMC,QAAQ,GACZJ,KAAK,CAACF,KAAK,CAACO,KAAK,CAACC,MAAM,KAAK,CAAC,IAC9BN,KAAK,CAACF,KAAK,CAACO,KAAK,CAACE,IAAI,CAAEC,IAAI,IAAKA,IAAI,CAACC,IAAI,CAACH,MAAM,KAAK,CAAC,CAAC;IAC1D,IAAIF,QAAQ,EAAE;MACZ,OACE,qBAAqBjC,IAAI,4CAA4C,GACrE,sEAAsE,GACtE,2DAA2D,GAC3D,iEAAiE,GACjE,yEAAyE,GACzE,qEAAqE,GACrE,mEAAmE,GACnE,mEAAmE,GACnE,6BAA6B;IAEjC;EACF;EACA,OAAOwB,SAAS;AAClB,CAAC;AA6CD;;;;;;;;;;;;;;;AAeA,MAAMe,QAAQ,GAAGA,CACfR,OAAyB,EACzBS,IAAsC,KAChB;EACtB,KAAK,IAAIC,KAAK,GAAG,CAAC,EAAEA,KAAK,GAAGV,OAAO,CAACI,MAAM,EAAEM,KAAK,IAAI,CAAC,EAAE;IACtD,MAAMC,KAAK,GAAGF,IAAI,CAACT,OAAO,CAACU,KAAK,CAAC,CAAC;IAClC,IAAIC,KAAK,KAAKlB,SAAS,EAAE;MACvB,OAAOO,OAAO,CAACI,MAAM,GAAG,CAAC,GACrB,oBAAoBM,KAAK,OAAOC,KAAK,EAAE,GACvCA,KAAK;IACX;EACF;EACA,OAAOlB,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMmB,qBAAqB,GAAIjB,MAKrC,IACCkB,6BAA6B,CAAClB,MAAM,CAAC,IACrCa,QAAQ,CAACb,MAAM,CAACmB,gBAAgB,EAAGC,KAAK,IACtChD,uBAAuB,CAAC;EACtBiD,kBAAkB,EAAErB,MAAM,CAACqB,kBAAkB;EAC7CC,cAAc,EAAEF,KAAK,CAACE;CACvB,CAAC,CACH,IACDT,QAAQ,CAACb,MAAM,CAACmB,gBAAgB,EAAEhC,WAAW,CAAC,IAC9CY,uBAAuB,CAACC,MAAM,CAAC,IAC/BE,iBAAiB,CAACF,MAAM,CAAC;AAE3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4EA,MAAMkB,6BAA6B,GAAIlB,MAKtC,IAAwB;EACvB,MAAM;IAAEmB;EAAgB,CAAE,GAAGnB,MAAM;EACnC,KAAK,IAAIpB,IAAI,GAAG,CAAC,EAAEA,IAAI,GAAGuC,gBAAgB,CAACV,MAAM,EAAE7B,IAAI,IAAI,CAAC,EAAE;IAC5D,KAAK,IAAIK,KAAK,GAAGL,IAAI,GAAG,CAAC,EAAEK,KAAK,GAAGkC,gBAAgB,CAACV,MAAM,EAAExB,KAAK,IAAI,CAAC,EAAE;MACtE,MAAMsC,GAAG,GAAGJ,gBAAgB,CAACvC,IAAI,CAAC;MAClC,MAAM4C,KAAK,GAAGL,gBAAgB,CAAClC,KAAK,CAAC;MACrC,IACEsC,GAAG,CAACE,cAAc,KAAKD,KAAK,CAACC,cAAc,IAC3CF,GAAG,CAACG,GAAG,CAACC,UAAU,KAAKH,KAAK,CAACE,GAAG,CAACC,UAAU,IAC3CJ,GAAG,CAACG,GAAG,CAACE,SAAS,KAAKJ,KAAK,CAACE,GAAG,CAACE,SAAS,EACzC;QACA,OACE,iDAAiDhD,IAAI,QAAQ,GAC7D,oBAAoBK,KAAK,6CAA6C,GACtE,6BAA6BsC,GAAG,CAACG,GAAG,CAACE,SAAS,2BAA2B,GACzE,mEAAmE,GACnE,uEAAuE,GACvE,kEAAkE,GAClE,qEAAqE,GACrE,2DAA2D,GAC3D,wEAAwE,GACxE,uEAAuE,GACvE,sEAAsE,GACtE,yEAAyE,GACzE,iEAAiE,GACjE,mEAAmE,GACnE,oBAAoB;MAExB;IACF;EACF;EACA,OAAO9B,SAAS;AAClB,CAAC","ignoreList":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kairos-es/read",
-  "version": "1.0.0-alpha.0",
+  "version": "1.0.0-alpha.1",
   "description": "Query-driven projection runner and checkpoint port for kairos-es",
   "license": "BSD-3-Clause",
   "repository": {
@@ -12,8 +12,8 @@
   "homepage": "https://github.com/neverbland/kairos-es",
   "peerDependencies": {
     "effect": "^3.22.0",
-    "@kairos-es/codec": "^1.0.0-alpha.0",
-    "@kairos-es/core": "^1.0.0-alpha.0"
+    "@kairos-es/codec": "^1.0.0-alpha.1",
+    "@kairos-es/core": "^1.0.0-alpha.1"
   },
   "main": "./dist/cjs/index.js",
   "module": "./dist/esm/index.js",

package/src/projectionWiringFault.ts

@@ -133,7 +133,7 @@
  *    options literal, a smaller and more local mistake than picking the wrong pair
  *    of layers.
  * 4. **The store's own servable grammar**, once over the SHARED composed query,
- *    reported in the STORE's vocabulary by `core`'s own `assertServableQuery`.
+ *    reported in the STORE's vocabulary by `core`'s own servable-query grammar.
  * 5. **The read side's stricter per-slice tag rule**, once over the SHARED slice
  *    record, and it MUST stay after (4): it catches only what that grammar admits,
  *    since a lone type-only item is servable. Were it first, a tagless-plus-tagged
@@ -186,7 +186,7 @@
  * offers — a caller with a wiring to validate has `runProjection` or
  * `runProjections` itself. BOTH judge all five rules before either forks anything.
  */
-import { assertServableQuery, type Query } from '@kairos-es/core'
+import { type Query, servableQueryFault } from '@kairos-es/core'
 import { Duration, Either, Option } from 'effect'
 import { durabilityOrderingFault } from './EventLogDurability'
 import type { CheckpointKey, Durability } from './ProjectionStore'
@@ -388,7 +388,7 @@ const tuningFault = (tuning: {
  * `undefined` when the store would serve it, otherwise `core`'s own sentence about
  * why it would not.
  *
- * ## Why `core`'s `assertServableQuery` and not a predicate of our own
+ * ## Why `core`'s grammar and not a predicate of our own
  *
  * It is the very function every engine applies inside `read`/`subscribe`/`append`,
  * so calling it is what makes ONE grammar rather than two that agree until one is
@@ -400,33 +400,27 @@ const tuningFault = (tuning: {
  * once the breaker trips on a checkpoint that never moved — several backoff sleeps
  * later, describing a stall rather than the mis-built slice that caused it.
  *
- * ## Why the THROW is converted rather than propagated
- *
- * `assertServableQuery` throws, because its own callers are store methods where a
- * throw inside an `Effect` is already the defect it should be. Here it is one of
- * five rules whose results compose, so letting it throw would give this gate two
- * exit routes — a returned sentence for four rules and an exception for the
- * fifth — and every caller would then need both a `??` chain and a `try`. Catching
- * it keeps ONE exit route, and the caller keeps one `Effect.die`.
- *
- * The message is passed through VERBATIM, which is the point of the conversion
- * rather than a detail of it: the violation goes on being reported in the store's
- * vocabulary, in the same words the same rule produces when a store rejects the
- * same query, so an author who meets it twice meets it once. The `instanceof`
- * fallback is for the shape of the contract rather than for anything observed —
- * `throw` admits any value, and `String(error)` is the honest reading of one this
- * module cannot inspect.
+ * ## Why core's TOTAL form is called rather than its throwing one
+ *
+ * The grammar has two dispositions and core owns both: `assertServableQuery`
+ * throws, because its own callers are store methods where a throw inside an
+ * `Effect` is already the defect it should be, and `servableQueryFault` returns the
+ * sentence, for a caller that can still act on it. Here it is one of five rules
+ * whose results compose, so a throw would give this gate two exit routes — a
+ * returned sentence for four rules and an exception for the fifth — and every
+ * caller would need both a `??` chain and a `try`. The total form keeps ONE exit
+ * route, and the caller keeps one `Effect.die`.
+ *
+ * This used to convert the throw here, with a `try`/`catch` and an `instanceof`
+ * fallback, which was a THIRD statement of a rule that must have one home — and,
+ * once core's total form existed, a private symbol of the same name and meaning
+ * sitting beside the public one. The message is core's either way, so the violation
+ * goes on being reported in the store's own vocabulary and an author who meets it
+ * twice meets it once.
  */
-const servableQueryFault = (wiring: {
+const servableSliceQueryFault = (wiring: {
   readonly query: Query
-}): string | undefined => {
-  try {
-    assertServableQuery(wiring.query)
-    return undefined
-  } catch (error) {
-    return error instanceof Error ? error.message : String(error)
-  }
-}
+}): string | undefined => servableQueryFault(wiring.query)
 
 /**
  * The read side's OWN per-slice rule: `undefined` when every slice carries at least
@@ -575,7 +569,7 @@ export const projectionWiringFault = (wiring: {
     }),
   ) ??
   perEntry(wiring.materialisations, tuningFault) ??
-  servableQueryFault(wiring) ??
+  servableSliceQueryFault(wiring) ??
   taglessSliceFault(wiring)
 
 /**