@githolon/dsl 0.7.0 → 0.7.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.7.0",
+  "version": "0.7.1",
   "type": "module",
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",
   "license": "SEE LICENSE IN LICENSE.md",

package/src/predicate.ts

@@ -53,9 +53,10 @@ import type { Field, FieldValue } from "./fields.js";
 
 /**
  * The subset of an aggregate's field-map keys whose field kind is scalar
- * (string | enum | ref | int) — the only kinds that produce an EAV needle the
+ * (string | enum | ref | int | bool) — the only kinds that produce an EAV needle the
  * maintained-count predicate can probe. set/map/json/evidence are NOT included:
- * a predicate over a collection field is undefined/non-deterministic.
+ * a predicate over a collection field is undefined/non-deterministic. A `bool` field
+ * is stored as the scalar "true"/"false", so it probes like a string ("false" eq "false").
  *
  * `int` IS included (unlike the report.ts `ScalarKeys` which limits to
  * string|enum|ref|json): a count/sum predicate may filter on an integer field
@@ -63,7 +64,7 @@ import type { Field, FieldValue } from "./fields.js";
  * the field is int-kind.
  */
 export type PredScalarKeys<F extends Record<string, Field>> = {
-  [K in keyof F]: F[K] extends Field<unknown, "string" | "enum" | "ref" | "int"> ? K : never;
+  [K in keyof F]: F[K] extends Field<unknown, "string" | "enum" | "ref" | "int" | "bool"> ? K : never;
 }[keyof F] &
   string;