@fraczak/k 7.1.0 → 8.0.0

package/Value.mjs

@@ -193,15 +193,40 @@ class Value {
 
   toJSON() {
     if (isVariant(this)) {
-      if (isProduct(this.value) && Object.keys(this.value.product).length === 0) {
+      if (
+        isProduct(this.value) &&
+        Object.keys(this.value.product).length === 0
+      ) {
         return this.tag;
       }
-      return {[this.tag]: this.value.toJSON()};
+      const tags = [];
+      let curr = this;
+      while (isVariant(curr)) {
+        if (
+          isProduct(curr.value) &&
+          Object.keys(curr.value.product).length === 0
+        ) {
+          let res = curr.tag;
+          for (let i = tags.length - 1; i >= 0; i--) {
+            res = { [tags[i]]: res };
+          }
+          return res;
+        }
+        tags.push(curr.tag);
+        curr = curr.value;
+      }
+      let res = curr
+        ? (typeof curr.toJSON === "function" ? curr.toJSON() : curr)
+        : null;
+      for (let i = tags.length - 1; i >= 0; i--) {
+        res = { [tags[i]]: res };
+      }
+      return res;
     }
     if (!isProduct(this)) return { type: this.type };
     let vector = toVector(this.product);
     if (vector.length > 0) return vector;
-    return this.product; 
+    return this.product;
   }
 }
 export { Value, fromObject, cloneSubpattern, edgeSubpattern, composePattern, mergePatterns, withPattern, isProduct, isVariant, isValue };

package/backend-api.mjs

@@ -1,6 +1,10 @@
 export { annotate } from "./index.mjs";
 export { KVM_FORMAT, KVM_VERSION, lowerKIRRelationToKVM, lowerKIRToKVM, lowerToKVM, executeKVM, objectToKVMArtifact, specializeKVM } from "./kvm.mjs";
-export { decodeWire, encodeToWire } from "./codecs/runtime/prefix-codec.mjs";
+export {
+  decodeWire,
+  decodeWireLazy,
+  encodeToWire
+} from "./codecs/runtime/prefix-codec.mjs";
 export { exportPatternGraph, NODE_KIND } from "./codecs/runtime/codec.mjs";
 export { patternToPropertyList, propertyListToPattern } from "./codecs/runtime/pattern-json.mjs";
 export { Value, fromObject, isProduct, isVariant, isValue } from "./Value.mjs";

package/browser/repl-browser.mjs

@@ -632,6 +632,12 @@ function renderCodecsModal() {
       targetDesc = "{}";
     } else if (entry.name === "json.mjs") {
       targetDesc = "Self-describing JSON";
+    } else if (entry.name === "djson.mjs") {
+      targetDesc = "$ json (cons-list)";
+    } else if (entry.name === "djson-btrie.mjs") {
+      targetDesc = "$ json (binary bit-trie)";
+    } else if (entry.name === "djson-ptrie.mjs") {
+      targetDesc = "$ json (radix/Patricia trie)";
     } else if (Array.isArray(entry.patterns) && entry.patterns.length > 0) {
       targetDesc = `Pattern Family (${entry.patterns.length})`;
     } else if (entry.pattern) {

package/browser/tree-view.mjs

@@ -101,7 +101,9 @@ export function renderValueNode(val, currentDepth = 1, depthLimit = 3) {
     const populateChildren = () => {
       if (populated) return;
       populated = true;
-      for (const k of keys) {
+      const maxFields = 100;
+      const displayKeys = keys.slice(0, maxFields);
+      for (const k of displayKeys) {
         const row = document.createElement("div");
         row.className = "k-tree-row";
 
@@ -113,12 +115,25 @@ export function renderValueNode(val, currentDepth = 1, depthLimit = 3) {
         const childContainer = document.createElement("div");
         childContainer.className = "k-tree-child-val";
         childContainer.appendChild(
-          renderValueNode(val.product[k], isOpen ? currentDepth + 1 : 1, depthLimit)
+          renderValueNode(
+            val.product[k],
+            isOpen ? currentDepth + 1 : 1,
+            depthLimit
+          )
         );
         row.appendChild(childContainer);
 
         childrenContainer.appendChild(row);
       }
+      if (keys.length > maxFields) {
+        const moreRow = document.createElement("div");
+        moreRow.className = "k-tree-row k-tree-more";
+        moreRow.style.color = "var(--color-muted)";
+        moreRow.style.paddingLeft = "1.2rem";
+        moreRow.textContent =
+          `... and ${keys.length - maxFields} more fields`;
+        childrenContainer.appendChild(moreRow);
+      }
     };
 
     if (isOpen) {
@@ -169,13 +184,15 @@ export function renderValueNode(val, currentDepth = 1, depthLimit = 3) {
     if (isVariant(val.value)) {
       let chainCount = 0;
       let curr = val.value;
-      while (isVariant(curr)) {
+      while (isVariant(curr) && chainCount < 20) {
         chainCount++;
         curr = curr.value;
       }
       const badge = document.createElement("span");
       badge.className = "k-tree-badge";
-      badge.textContent = `+${chainCount} tags`;
+      badge.textContent = isVariant(curr)
+        ? "+20+ tags"
+        : `+${chainCount} tags`;
       summary.appendChild(badge);
     }
 
@@ -438,7 +455,7 @@ export function createOutputEntryElement({
   modeGroup.appendChild(rawBtn);
   toolbar.appendChild(modeGroup);
 
-  // Tree Action buttons group (Expand / Collapse / Copy)
+  // Tree Action buttons group (Expand / Collapse)
   const actionGroup = document.createElement("div");
   actionGroup.className = "k-action-group";
 
@@ -454,23 +471,8 @@ export function createOutputEntryElement({
   collapseAllBtn.innerHTML = `⊟ Collapse`;
   collapseAllBtn.title = "Reset trees to top 3 levels";
 
-  const copyBtn = document.createElement("button");
-  copyBtn.type = "button";
-  copyBtn.className = "k-btn-action";
-  copyBtn.innerHTML = `📋 Copy`;
-  copyBtn.title = "Copy raw output to clipboard";
-  copyBtn.onclick = (e) => {
-    e.stopPropagation();
-    navigator.clipboard.writeText(rawText);
-    copyBtn.innerHTML = `✓ Copied`;
-    setTimeout(() => {
-      copyBtn.innerHTML = `📋 Copy`;
-    }, 1500);
-  };
-
   actionGroup.appendChild(expandAllBtn);
   actionGroup.appendChild(collapseAllBtn);
-  actionGroup.appendChild(copyBtn);
   toolbar.appendChild(actionGroup);
 
   container.appendChild(toolbar);
@@ -486,7 +488,32 @@ export function createOutputEntryElement({
 
   const valSummary = document.createElement("summary");
   valSummary.className = "k-tree-section-summary";
-  valSummary.innerHTML = `<span class="k-tree-arrow">▶</span> <span class="k-section-title">🌲 Value</span> <span class="k-section-preview">${escapeHtml(valueToK(value))}</span>`;
+  const rawValPreview = valueToK(value, 120);
+  const valPreview = rawValPreview.length > 120
+    ? `${rawValPreview.slice(0, 120)}...`
+    : rawValPreview;
+  const valEscaped = escapeHtml(valPreview);
+  valSummary.innerHTML =
+    `<span class="k-tree-arrow">▶</span> ` +
+    `<span class="k-section-title">🌲 Value</span> ` +
+    `<span class="k-section-preview">${valEscaped}</span>`;
+
+  const copyValBtn = document.createElement("button");
+  copyValBtn.type = "button";
+  copyValBtn.className = "k-btn-action k-btn-copy k-btn-copy-value";
+  copyValBtn.innerHTML = `📋 Copy`;
+  copyValBtn.title = "Copy value definition to clipboard";
+  copyValBtn.onclick = (e) => {
+    e.preventDefault();
+    e.stopPropagation();
+    const valStr = valueToK(value);
+    navigator.clipboard.writeText(valStr);
+    copyValBtn.innerHTML = `✓ Copied`;
+    setTimeout(() => {
+      copyValBtn.innerHTML = `📋 Copy`;
+    }, 1500);
+  };
+  valSummary.appendChild(copyValBtn);
   valSection.appendChild(valSummary);
 
   const valBody = document.createElement("div");
@@ -504,8 +531,32 @@ export function createOutputEntryElement({
 
     const patSummary = document.createElement("summary");
     patSummary.className = "k-tree-section-summary";
-    const patPreview = propertyListToFilter(value.pattern);
-    patSummary.innerHTML = `<span class="k-tree-arrow">▶</span> <span class="k-section-title">🌿 Pattern</span> <span class="k-section-preview">?${escapeHtml(patPreview)}</span>`;
+    const rawPatPreview = propertyListToFilter(value.pattern, "X", 120);
+    const patPreview = rawPatPreview.length > 120
+      ? `${rawPatPreview.slice(0, 120)}...`
+      : rawPatPreview;
+    const patEscaped = escapeHtml(patPreview);
+    patSummary.innerHTML =
+      `<span class="k-tree-arrow">▶</span> ` +
+      `<span class="k-section-title">🌿 Pattern</span> ` +
+      `<span class="k-section-preview">?${patEscaped}</span>`;
+
+    const copyPatBtn = document.createElement("button");
+    copyPatBtn.type = "button";
+    copyPatBtn.className = "k-btn-action k-btn-copy k-btn-copy-pattern";
+    copyPatBtn.innerHTML = `📋 Copy`;
+    copyPatBtn.title = "Copy pattern definition to clipboard";
+    copyPatBtn.onclick = (e) => {
+      e.preventDefault();
+      e.stopPropagation();
+      const patStr = `?${propertyListToFilter(value.pattern, "X")}`;
+      navigator.clipboard.writeText(patStr);
+      copyPatBtn.innerHTML = `✓ Copied`;
+      setTimeout(() => {
+        copyPatBtn.innerHTML = `📋 Copy`;
+      }, 1500);
+    };
+    patSummary.appendChild(copyPatBtn);
     patSection.appendChild(patSummary);
 
     patBody = document.createElement("div");
@@ -545,7 +596,14 @@ export function createOutputEntryElement({
 
   const rawPre = document.createElement("pre");
   rawPre.className = "k-raw-pre";
-  rawPre.textContent = rawText;
+  const MAX_RAW_PRE_CHARS = 100000;
+  if (rawText.length > MAX_RAW_PRE_CHARS) {
+    rawPre.textContent =
+      rawText.slice(0, MAX_RAW_PRE_CHARS) +
+      `\n\n... [truncated, ${rawText.length - MAX_RAW_PRE_CHARS} more characters]`;
+  } else {
+    rawPre.textContent = rawText;
+  }
   rawWrapper.appendChild(rawPre);
 
   container.appendChild(rawWrapper);