@aestheticfunction/dspack-gen 0.1.0 → 0.1.1

package/CHANGELOG.md

@@ -1,5 +1,24 @@
 # Changelog
 
+## 0.1.1 — generation-schema grammar alignment
+
+Two fixes to the generation schema for grammar-constrained decoders
+(Ollama structured outputs / llama.cpp grammars), which enforce the
+schema's declared shapes and property order verbatim:
+
+- Array-typed contract props now reach the schema as `{ type: "array" }`
+  (previously the string fallback), with an optional contract-declared
+  `items` schema passed through verbatim. The string fallback made the
+  grammar forbid the arrays models plan (e.g. table `columns`), measured
+  as malformed scalar props, abandoned subtrees, and emit-gate failures.
+- Node properties are declared `component, id, props, text, children`
+  (previously `text` before `props`). Models and the worked examples
+  serialize `props` first; under order-enforcing grammars the old
+  declaration made node text unreachable once `props` was emitted —
+  measured as text-less nodes in every live generation.
+
+Golden regenerated; no API changes.
+
 ## 0.1.0 — first public release
 
 The generation and governance pipeline for dspack contracts, previously

package/README.md

@@ -10,12 +10,14 @@ produces a versioned audit report.
 
 > *A2UI defines what can render. dspack defines what is correct.*
 
-**Status: Milestones 1 and 2 complete.** Tags
-[m1](https://github.com/aestheticfunction/dspack-gen/releases/tag/m1) and
-[m2](https://github.com/aestheticfunction/dspack-gen/releases/tag/m2); write-ups in
-[docs/m1-report.md](docs/m1-report.md) and [docs/m2-report.md](docs/m2-report.md),
-findings in [docs/findings.md](docs/findings.md). M3 (dspack v0.4 and a second
-contract) is in progress.
+**Status: Milestones 1 through 3 complete.** Tags
+[m1](https://github.com/aestheticfunction/dspack-gen/releases/tag/m1),
+[m2](https://github.com/aestheticfunction/dspack-gen/releases/tag/m2), and
+[m3](https://github.com/aestheticfunction/dspack-gen/releases/tag/m3); write-ups in
+[docs/m1-report.md](docs/m1-report.md), [docs/m2-report.md](docs/m2-report.md), and
+[docs/m3-report.md](docs/m3-report.md), findings in
+[docs/findings.md](docs/findings.md). M4 is trigger-gated on A2UI v1.0 leaving
+Candidate status.
 The emitter is consumed from npm as `@aestheticfunction/dspack-emit`
 (renamed from `@aestheticfunction/dspack-to-a2ui` with the ADR-D2 repo
 rename; the old package is deprecated with a pointer).

package/dist/core/generation-schema.js

@@ -66,18 +66,29 @@ function componentProps(component) {
                 ? { type: "boolean" }
                 : descriptor.type === "number"
                     ? { type: "number" }
-                    : { type: "string" };
+                    : descriptor.type === "array"
+                        ? // Array props must reach the grammar as arrays: the previous
+                            // string fallback made grammar-constrained decoders (Ollama
+                            // structured outputs) forbid the array the model plans,
+                            // forcing malformed scalars or abandoned subtrees. An optional
+                            // contract-declared `items` schema passes through verbatim.
+                            { type: "array", ...(descriptor.items !== undefined ? { items: descriptor.items } : {}) }
+                        : { type: "string" };
     }
     return { type: "object", additionalProperties: false, properties };
 }
 function branch(id, props, level, depth) {
+    // Declaration order is load-bearing: grammar-constrained decoders enforce
+    // it verbatim. Models (and the worked examples) serialize `props` before
+    // `text`; declaring `text` first made node text unreachable once `props`
+    // was emitted — measured as text-less nodes in every live generation.
     const properties = {
         component: { const: id },
         id: { type: "string" },
-        text: { type: "string" },
     };
     if (props)
         properties.props = props;
+    properties.text = { type: "string" };
     if (level < depth - 1) {
         properties.children = { type: "array", items: { $ref: `#/$defs/node_${level + 1}` } };
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aestheticfunction/dspack-gen",
-  "version": "0.1.0",
+  "version": "0.1.1",
   "description": "Generation + governance pipeline for dspack contracts: prompt/context compiler, surface gates S1\u2013S3, bounded repair, protocol emission, audit reports.",
   "type": "module",
   "license": "Apache-2.0",

package/src/core/generation-schema.ts

@@ -80,18 +80,29 @@ function componentProps(component: ContractComponent): Json | null {
         ? { type: "boolean" }
         : descriptor.type === "number"
           ? { type: "number" }
-          : { type: "string" };
+          : descriptor.type === "array"
+            ? // Array props must reach the grammar as arrays: the previous
+              // string fallback made grammar-constrained decoders (Ollama
+              // structured outputs) forbid the array the model plans,
+              // forcing malformed scalars or abandoned subtrees. An optional
+              // contract-declared `items` schema passes through verbatim.
+              { type: "array", ...(descriptor.items !== undefined ? { items: descriptor.items as Json } : {}) }
+            : { type: "string" };
   }
   return { type: "object", additionalProperties: false, properties };
 }
 
 function branch(id: string, props: Json | null, level: number, depth: number): Json {
+  // Declaration order is load-bearing: grammar-constrained decoders enforce
+  // it verbatim. Models (and the worked examples) serialize `props` before
+  // `text`; declaring `text` first made node text unreachable once `props`
+  // was emitted — measured as text-less nodes in every live generation.
   const properties: Json = {
     component: { const: id },
     id: { type: "string" },
-    text: { type: "string" },
   };
   if (props) properties.props = props;
+  properties.text = { type: "string" };
   if (level < depth - 1) {
     properties.children = { type: "array", items: { $ref: `#/$defs/node_${level + 1}` } };
   }