@githolon/dsl 0.22.1 → 0.23.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.22.1",
+  "version": "0.23.0",
   "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/codegen_proof.ts

@@ -69,11 +69,34 @@ export interface SynthesizedPayload {
   readonly autoStamped: readonly string[];
 }
 
+// Format-valid placeholders for TYPED-SUBJECT string fields. A directive payload field may REQUIRE a
+// subject/key shape — `user:<uuid>`, `key:<64hex>`, an object `<type>:<id>`, or a bare 64-hex hash —
+// via `.regex(...)` / `.refine(...)`. The readable `sample-<field>` fails such a schema, so the
+// generated proof couldn't dispatch that directive (it threw at payload validation). Ordered most-
+// specific first; probed by safeParse, so it tracks the field's ACTUAL constraint, not its name.
+const ZERO_UUID = "00000000-0000-0000-0000-000000000000";
+const HEX64 = "0".repeat(64);
+const SUBJECT_CANDIDATES: readonly string[] = [`user:${ZERO_UUID}`, `key:${HEX64}`, `Type:${ZERO_UUID}`, HEX64];
+
+/**
+ * Sample a string field, satisfying typed-subject constraints. Use the readable `sample-<field>` when
+ * it PASSES the field's own schema (plain / length-bounded strings — unchanged). When it does NOT — a
+ * `.regex`/`.refine` subject/key field — probe the known subject placeholders against the field's
+ * schema and return the first that validates. If none fits an exotic constraint, fall back to the
+ * readable placeholder (behaviour unchanged from before — that directive is proven by hand).
+ */
+function sampleString(zt: z.ZodTypeAny, field: string): string {
+  const readable = `sample-${field}`;
+  if (zt.safeParse(readable).success) return readable;
+  for (const cand of SUBJECT_CANDIDATES) if (zt.safeParse(cand).success) return cand;
+  return readable;
+}
+
 /** One sample value for one zod shape. NO FALLBACK: an unhandled shape throws, naming its remedy. */
 function sampleOfZod(zt: z.ZodTypeAny, field: string, where: string): unknown {
   switch (zodKind(zt)) {
     case "string":
-      return `sample-${field}`;
+      return sampleString(zt, field);
     case "number":
       return 1;
     case "boolean":