@ai-matrx/content-ir 0.2.0 → 0.2.1

package/CHANGELOG.md

@@ -1,5 +1,27 @@
 # Changelog
 
+## 0.2.1 — 2026-08-24
+
+- **FIX — `validateStructuralLeg` no longer rejects every current kind
+  instance.** The leg validated ONLY the `__kind`-stripped copy of the sample,
+  a leftover from the dead "marker is envelope framing" doctrine. Since the
+  2026-08-23 ruling every `emitted_json_schema` DECLARES `__kind` (const +
+  required), so stripping turned a valid instance into
+  `(root) must have required property '__kind'` — 503 of the 842 live kind
+  definitions, i.e. every marker-declaring kind, failed the Shape Studio Test
+  tab, the gate tab, the example manager, and instance save. The leg now
+  validates the caller's value VERBATIM and only retries the marker-free
+  reduction if that fails (backward compatibility for a row still pinned to a
+  pre-2026-08-23 marker-free schema), and reports the errors from whichever
+  attempt matches the schema in hand.
+- `JsonTokenizer` and `KindStreamParser` declare explicit fields instead of
+  constructor parameter properties. Consumers compile this SOURCE directly, and
+  a strict host (`apps/dashboard`) sets `erasableSyntaxOnly`, under which
+  parameter properties are a hard error — the flag had to be turned off in
+  Workflow Studio for exactly this reason, and is now back on. Behaviour is
+  unchanged; the published 0.2.0 tarball does not carry this edit.
+
+
 ## 0.2.0 — 2026-08-23
 
 - Added the `wire/` layer — the server→UI contracts every UI reads the same way:

package/dist/index.cjs

@@ -404,16 +404,19 @@ var IrTree = class {
 
 // core/json-tokenizer.ts
 var JsonStreamTokenizer = class {
-  constructor(onToken) {
-    this.onToken = onToken;
-  }
-  onToken;
   mode = "normal";
   pos = 0;
   stringBuffer = "";
   primitiveBuffer = "";
   unicodeBuffer = "";
   tokenStart = 0;
+  onToken;
+  // Explicit field rather than a parameter property: consumers compile this
+  // source directly, and a strict host (the dashboard) sets
+  // `erasableSyntaxOnly`, under which parameter properties are a hard error.
+  constructor(onToken) {
+    this.onToken = onToken;
+  }
   get position() {
     return this.pos;
   }
@@ -636,16 +639,6 @@ function safeCopy(value) {
   }
 }
 var KindStreamParser = class {
-  constructor(options) {
-    this.options = options;
-    this.resolver = isSchemaResolver(options.schemas) ? options.schemas : {
-      get: (kind) => options.schemas[kind]
-    };
-    this.tokenizer = new JsonStreamTokenizer(
-      (token) => this.handleToken(token)
-    );
-  }
-  options;
   resolver;
   stack = [];
   objectKinds = /* @__PURE__ */ new Map();
@@ -680,6 +673,18 @@ var KindStreamParser = class {
   rootKind = "";
   rootDone = false;
   failed = false;
+  options;
+  // Explicit field, not a parameter property — see the note in
+  // `json-tokenizer.ts`: `erasableSyntaxOnly` hosts compile this source.
+  constructor(options) {
+    this.options = options;
+    this.resolver = isSchemaResolver(options.schemas) ? options.schemas : {
+      get: (kind) => options.schemas[kind]
+    };
+    this.tokenizer = new JsonStreamTokenizer(
+      (token) => this.handleToken(token)
+    );
+  }
   push(chunk) {
     if (this.failed || this.rootDone) return;
     try {
@@ -2773,6 +2778,12 @@ function storageToKindSchema(kind, shape) {
   }
   return { kind, fields };
 }
+var GENERIC_FALLBACK_COMPONENT_KEY = "generic_structured";
+function satisfies(resolved) {
+  return Boolean(
+    resolved?.isActive && resolved.componentKey !== GENERIC_FALLBACK_COMPONENT_KEY
+  );
+}
 var ajv = new Ajv__default.default({ allErrors: true, strict: false });
 function stripKind(value) {
   if (Array.isArray(value)) return value.map(stripKind);
@@ -2786,6 +2797,14 @@ function stripKind(value) {
   }
   return value;
 }
+function describeAjvErrors(errors) {
+  return (errors ?? []).map((e) => `${e.instancePath || "(root)"} ${e.message ?? ""}`.trim()).slice(0, 8);
+}
+function schemaDeclaresKind(emittedJsonSchema) {
+  if (!emittedJsonSchema || typeof emittedJsonSchema !== "object") return false;
+  const properties = emittedJsonSchema.properties;
+  return !!properties && typeof properties === "object" && KIND_KEY in properties;
+}
 function validateStructuralLeg(sample, emittedJsonSchema) {
   let validate;
   try {
@@ -2796,9 +2815,11 @@ function validateStructuralLeg(sample, emittedJsonSchema) {
       detail: `emitted_json_schema failed to compile: ${err instanceof Error ? err.message : String(err)}`
     };
   }
-  const ok = validate(stripKind(sample));
-  if (ok) return { ok: true };
-  const errors = (validate.errors ?? []).map((e) => `${e.instancePath || "(root)"} ${e.message ?? ""}`.trim()).slice(0, 8);
+  if (validate(sample)) return { ok: true };
+  const markedErrors = describeAjvErrors(validate.errors);
+  if (validate(stripKind(sample))) return { ok: true };
+  const strippedErrors = describeAjvErrors(validate.errors);
+  const errors = schemaDeclaresKind(emittedJsonSchema) ? markedErrors : strippedErrors;
   return { ok: false, detail: `sample failed schema: ${errors.join("; ")}` };
 }
 var SERVER_DATA_ANNOTATION_KEYS = /* @__PURE__ */ new Set(["language"]);
@@ -2848,16 +2869,18 @@ function validateRender(kind, sample, definition, resolvedComponent, dataOnly) {
       detail: "data-only contract kind \u2014 render leg is structurally inapplicable (n/a)"
     };
   }
-  if (!definition && !resolvedComponent?.isActive) {
+  const onlyFallback = resolvedComponent?.isActive && resolvedComponent.componentKey === GENERIC_FALLBACK_COMPONENT_KEY;
+  const noComponentDetail = onlyFallback ? `the only active role='output' component for kind "${kind}" is '${GENERIC_FALLBACK_COMPONENT_KEY}' \u2014 that IS the generic viewer, i.e. no component. A reader would get a key/value dump. Author a real source='db' component (or register a compiled one), then retire the generic row.` : null;
+  if (!definition && !satisfies(resolvedComponent)) {
     return {
       ok: false,
-      detail: `kind "${kind}" has no component (not in the compiled registry, and no active role='output' kind_component row) \u2014 nothing to render`
+      detail: noComponentDetail ?? `kind "${kind}" has no component (not in the compiled registry, and no active role='output' kind_component row) \u2014 nothing to render`
     };
   }
-  if (definition && !definition.legacyBlockType && !definition.component && !definition.toLegacyServerData && !resolvedComponent?.isActive) {
+  if (definition && !definition.legacyBlockType && !definition.component && !definition.toLegacyServerData && !satisfies(resolvedComponent)) {
     return {
       ok: false,
-      detail: `kind "${kind}" has no component (no compiled legacyBlockType/component facet, and no active role='output' kind_component row) \u2014 nothing to render`
+      detail: noComponentDetail ?? `kind "${kind}" has no component (no compiled legacyBlockType/component facet, and no active role='output' kind_component row) \u2014 nothing to render`
     };
   }
   if (definition?.toLegacyServerData) {
@@ -2881,7 +2904,7 @@ function validateRender(kind, sample, definition, resolvedComponent, dataOnly) {
     }
     return { ok: true };
   }
-  const satisfier = definition?.legacyBlockType ? `compiled component "${definition.legacyBlockType}"` : definition?.component ? "compiled component facet" : resolvedComponent ? `resolved ${resolvedComponent.source} component "${resolvedComponent.componentKey}"` : "component";
+  const satisfier = definition?.legacyBlockType ? `compiled component "${definition.legacyBlockType}"` : definition?.component ? "compiled component facet" : satisfies(resolvedComponent) && resolvedComponent ? `resolved ${resolvedComponent.source} component "${resolvedComponent.componentKey}"` : "component";
   return {
     ok: true,
     detail: `bridgeless kind \u2014 ${satisfier} parses content itself; full DOM render check deferred to an RTL harness`