@githolon/dsl 0.103.2 → 0.103.4

package/src/law_graph_usda.ts

@@ -1589,74 +1589,71 @@ function defaultOpinions(
   owner: string,
   indent: number,
 ): string[] {
-  const pad = " ".repeat(indent);
-  if (typeof value === "string") return [`${pad}custom uniform string nomos:default = ${quote(value)}`];
-  if (typeof value === "boolean") return [`${pad}custom uniform bool nomos:default = ${value}`];
+  // Every default, including a scalar, uses the same nominal value algebra as a call. Presence of
+  // the typed `Default` child is the fact; there is no parallel property/tag representation.
+  return emitNominalConstant("Default", value, owner, indent);
+}
+
+enum NominalConstantPrim {
+  Null = "NomosNullValue",
+  Boolean = "NomosBoolValue",
+  Integer = "NomosIntValue",
+  Number = "NomosNumberValue",
+  String = "NomosStringValue",
+  List = "NomosListValue",
+  Record = "NomosRecordValue",
+}
+
+function nominalConstantPrim(value: import("./law_value_type.js").LawConstant): NominalConstantPrim {
+  if (value === null) return NominalConstantPrim.Null;
+  if (typeof value === "string") return NominalConstantPrim.String;
+  if (typeof value === "boolean") return NominalConstantPrim.Boolean;
   if (typeof value === "number") {
-    return [Number.isInteger(value)
-      ? `${pad}custom uniform int64 nomos:default = ${value}`
-      : `${pad}custom uniform double nomos:default = ${value}`];
+    return Number.isInteger(value) ? NominalConstantPrim.Integer : NominalConstantPrim.Number;
   }
-  if (value === null) return [`${pad}custom uniform token nomos:defaultKind = "null"`];
-
-  // USDA dictionaries cannot faithfully represent heterogeneous/nested arrays. Preserve the
-  // complete constant instead as a typed prim tree: generic USD tools can traverse it, humans can
-  // inspect it, and the kernel parser retains every opinion without an embedded JSON sub-language.
-  const kind = Array.isArray(value) ? "array" : "record";
-  return [
-    `${pad}custom uniform token nomos:defaultKind = ${quote(kind)}`,
-    `${pad}def Scope "Default"`,
-    `${pad}{`,
-    ...emitDefaultValue(value, owner, indent + 4),
-    `${pad}}`,
-  ];
+  return Array.isArray(value) ? NominalConstantPrim.List : NominalConstantPrim.Record;
 }
 
-function emitDefaultValue(
+function emitNominalConstant(
+  name: string,
   value: import("./law_value_type.js").LawConstant,
   owner: string,
   indent: number,
 ): string[] {
   const pad = " ".repeat(indent);
+  const lines = [
+    `${pad}def ${nominalConstantPrim(value)} ${quote(name)}`,
+    `${pad}{`,
+  ];
   if (typeof value === "string") {
-    return [
-      `${pad}custom uniform token nomos:valueKind = "string"`,
-      `${pad}custom uniform string nomos:value = ${quote(value)}`,
-    ];
+    lines.push(`${pad}    custom uniform string nomos:value = ${quote(value)}`);
+    return [...lines, `${pad}}`];
   }
   if (typeof value === "boolean") {
-    return [
-      `${pad}custom uniform token nomos:valueKind = "bool"`,
-      `${pad}custom uniform bool nomos:value = ${value}`,
-    ];
+    lines.push(`${pad}    custom uniform bool nomos:value = ${value}`);
+    return [...lines, `${pad}}`];
   }
   if (typeof value === "number") {
     if (!Number.isFinite(value)) fail(`field '${owner}' has a non-finite numeric default`);
-    return [
-      `${pad}custom uniform token nomos:valueKind = ${quote(Number.isInteger(value) ? "int" : "number")}`,
-      Number.isInteger(value)
-        ? `${pad}custom uniform int64 nomos:value = ${value}`
-        : `${pad}custom uniform double nomos:value = ${value}`,
-    ];
+    lines.push(Number.isInteger(value)
+      ? `${pad}    custom uniform int64 nomos:value = ${value}`
+      : `${pad}    custom uniform double nomos:value = ${value}`);
+    return [...lines, `${pad}}`];
   }
-  if (value === null) return [`${pad}custom uniform token nomos:valueKind = "null"`];
+  if (value === null) return [...lines, `${pad}}`];
 
   const entries: readonly [string, import("./law_value_type.js").LawConstant][] = Array.isArray(value)
     ? value.map((item, index) => [String(index), item] as const)
     : Object.entries(value).sort(([left], [right]) => left.localeCompare(right));
-  const kind = Array.isArray(value) ? "array" : "record";
-  const lines = [`${pad}custom uniform token nomos:valueKind = ${quote(kind)}`];
   for (const [index, [key, item]] of entries.entries()) {
-    lines.push(
-      "",
-      `${pad}def Scope "v_${String(index).padStart(8, "0")}"`,
-      `${pad}{`,
-      `${pad}    custom uniform string nomos:key = ${quote(key)}`,
-      ...emitDefaultValue(item, owner, indent + 4),
-      `${pad}}`,
-    );
+    const childName = `${Array.isArray(value) ? "i" : "f"}_${String(index).padStart(8, "0")}`;
+    const child = emitNominalConstant(childName, item, owner, indent + 4);
+    if (!Array.isArray(value)) {
+      child.splice(2, 0, `${pad}        custom uniform string nomos:name = ${quote(key)}`);
+    }
+    lines.push("", ...child);
   }
-  return lines;
+  return [...lines, `${pad}}`];
 }
 
 function emitField(
@@ -1703,14 +1700,8 @@ function emitField(
           body.push(
             `${pad}                def NomosFieldEvolutionCase "c_${String(caseIndex).padStart(8, "0")}"`,
             `${pad}                {`,
-            `${pad}                    def Scope "From"`,
-            `${pad}                    {`,
-            ...emitDefaultValue(evolutionCase.from as import("./law_value_type.js").LawConstant, field.entity.label, indent + 24),
-            `${pad}                    }`,
-            `${pad}                    def Scope "To"`,
-            `${pad}                    {`,
-            ...emitDefaultValue(evolutionCase.to as import("./law_value_type.js").LawConstant, field.entity.label, indent + 24),
-            `${pad}                    }`,
+            ...emitNominalConstant("From", evolutionCase.from as import("./law_value_type.js").LawConstant, field.entity.label, indent + 20),
+            ...emitNominalConstant("To", evolutionCase.to as import("./law_value_type.js").LawConstant, field.entity.label, indent + 20),
             `${pad}                }`,
           );
         }