@kernlang/core 3.3.9 → 3.4.1

package/dist/decompiler.js

@@ -16,6 +16,27 @@ function expandVal(val) {
  */
 export function decompile(root) {
     const lines = [];
+    function isExpr(value) {
+        return typeof value === 'object' && value !== null && value.__expr === true;
+    }
+    function renderScalarProp(propName, raw, quoted = []) {
+        if (isExpr(raw))
+            return `${propName}={{${raw.code}}}`;
+        if (typeof raw === 'boolean' || typeof raw === 'number')
+            return `${propName}=${String(raw)}`;
+        const s = String(raw);
+        const wasQuoted = quoted.includes(propName);
+        const safeBare = !wasQuoted && s !== '' && /^[\w.-]+$/.test(s);
+        return `${propName}=${safeBare ? s : JSON.stringify(s)}`;
+    }
+    function pushHandler(node, indent) {
+        const code = String(node.props?.code || '');
+        lines.push(`${indent}handler <<<`);
+        for (const line of code.split('\n')) {
+            lines.push(`${indent}  ${line}`);
+        }
+        lines.push(`${indent}>>>`);
+    }
     function render(node, indent) {
         if (!node.type) {
             lines.push(`${indent}[unknown node]`);
@@ -25,6 +46,51 @@ export function decompile(root) {
         // Canonical-grammar cases — emit re-parseable KERN. Other node types
         // still fall through to the debug-shape serializer below; make them
         // canonical in a follow-up PR.
+        if (node.type === 'type') {
+            renderType(node, indent);
+            return;
+        }
+        if (node.type === 'interface') {
+            renderInterface(node, indent);
+            return;
+        }
+        if (node.type === 'enum') {
+            renderEnum(node, indent);
+            return;
+        }
+        if (node.type === 'class' || node.type === 'service') {
+            renderClassLike(node, indent);
+            return;
+        }
+        if (node.type === 'fn' ||
+            node.type === 'method' ||
+            node.type === 'constructor' ||
+            node.type === 'getter' ||
+            node.type === 'setter' ||
+            node.type === 'overload') {
+            renderCallable(node, indent);
+            return;
+        }
+        if (node.type === 'const') {
+            renderConst(node, indent);
+            return;
+        }
+        if (node.type === 'member') {
+            renderMember(node, indent);
+            return;
+        }
+        if (node.type === 'indexer') {
+            renderIndexer(node, indent);
+            return;
+        }
+        if (node.type === 'handler') {
+            pushHandler(node, indent);
+            return;
+        }
+        if (node.type === 'doc') {
+            renderDoc(node, indent);
+            return;
+        }
         if (node.type === 'each') {
             renderEach(node, indent);
             return;
@@ -33,6 +99,39 @@ export function decompile(root) {
             renderLet(node, indent);
             return;
         }
+        if (node.type === 'field') {
+            renderField(node, indent);
+            return;
+        }
+        if (node.type === 'param') {
+            renderParam(node, indent);
+            return;
+        }
+        if (node.type === 'destructure') {
+            renderDestructure(node, indent);
+            return;
+        }
+        if (node.type === 'binding' || node.type === 'element') {
+            // Standalone render path — only hit when these appear outside a
+            // `destructure` parent. Inside a parent, `renderDestructure` handles
+            // them inline.
+            renderDestructureChild(node, indent);
+            return;
+        }
+        if (node.type === 'mapLit') {
+            renderMapLit(node, indent);
+            return;
+        }
+        if (node.type === 'setLit') {
+            renderSetLit(node, indent);
+            return;
+        }
+        if (node.type === 'mapEntry' || node.type === 'setItem') {
+            // Children of mapLit/setLit — handled inline by their parent renderer.
+            // Standalone render path covers the orphan case for completeness.
+            renderMapSetChild(node, indent);
+            return;
+        }
         const name = props.name || '';
         const type = node.type.charAt(0).toUpperCase() + node.type.slice(1);
         // Style description
@@ -66,15 +165,181 @@ export function decompile(root) {
             }
         }
     }
+    function renderType(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const name = props.name || 'UnknownType';
+        const parts = [`type name=${name}`];
+        if (props.generics !== undefined)
+            parts.push(renderScalarProp('generics', props.generics, quoted));
+        if (props.values !== undefined)
+            parts.push(renderScalarProp('values', props.values, quoted));
+        if (props.alias !== undefined)
+            parts.push(renderScalarProp('alias', props.alias, quoted));
+        if (props.export === false || props.export === 'false')
+            parts.push('export=false');
+        lines.push(`${indent}${parts.join(' ')}`);
+        for (const child of node.children || [])
+            render(child, `${indent}  `);
+    }
+    function renderInterface(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const name = props.name || 'UnknownInterface';
+        const parts = [`interface name=${name}`];
+        if (props.generics !== undefined)
+            parts.push(renderScalarProp('generics', props.generics, quoted));
+        if (props.extends !== undefined)
+            parts.push(renderScalarProp('extends', props.extends, quoted));
+        if (props.export === false || props.export === 'false')
+            parts.push('export=false');
+        lines.push(`${indent}${parts.join(' ')}`);
+        for (const child of node.children || [])
+            render(child, `${indent}  `);
+    }
+    function renderEnum(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const name = props.name || 'UnknownEnum';
+        const parts = [`enum name=${name}`];
+        if (props.values !== undefined)
+            parts.push(renderScalarProp('values', props.values, quoted));
+        if (props.const === true || props.const === 'true')
+            parts.push('const=true');
+        if (props.export === false || props.export === 'false')
+            parts.push('export=false');
+        lines.push(`${indent}${parts.join(' ')}`);
+        for (const child of node.children || [])
+            render(child, `${indent}  `);
+    }
+    function renderMember(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const name = props.name || 'member';
+        const parts = [`member name=${name}`];
+        if (props.value !== undefined)
+            parts.push(renderScalarProp('value', props.value, quoted));
+        lines.push(`${indent}${parts.join(' ')}`);
+    }
+    function renderIndexer(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const parts = ['indexer'];
+        if (props.keyName !== undefined)
+            parts.push(renderScalarProp('keyName', props.keyName, quoted));
+        if (props.keyType !== undefined)
+            parts.push(renderScalarProp('keyType', props.keyType, quoted));
+        if (props.type !== undefined)
+            parts.push(renderScalarProp('type', props.type, quoted));
+        if (props.readonly === true || props.readonly === 'true')
+            parts.push('readonly=true');
+        lines.push(`${indent}${parts.join(' ')}`);
+    }
+    function renderClassLike(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const name = props.name || (node.type === 'service' ? 'UnknownService' : 'UnknownClass');
+        const parts = [`${node.type} name=${name}`];
+        if (props.generics !== undefined)
+            parts.push(renderScalarProp('generics', props.generics, quoted));
+        if (props.extends !== undefined)
+            parts.push(renderScalarProp('extends', props.extends, quoted));
+        if (props.implements !== undefined)
+            parts.push(renderScalarProp('implements', props.implements, quoted));
+        if (props.abstract === true || props.abstract === 'true')
+            parts.push('abstract=true');
+        if (props.export === false || props.export === 'false')
+            parts.push('export=false');
+        lines.push(`${indent}${parts.join(' ')}`);
+        for (const child of node.children || [])
+            render(child, `${indent}  `);
+    }
+    function renderCallable(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const parts = [];
+        if (node.type === 'constructor') {
+            parts.push('constructor');
+        }
+        else if (node.type === 'overload') {
+            parts.push('overload');
+        }
+        else {
+            parts.push(`${node.type} name=${props.name || node.type}`);
+        }
+        if (props.generics !== undefined)
+            parts.push(renderScalarProp('generics', props.generics, quoted));
+        if (props.params !== undefined)
+            parts.push(renderScalarProp('params', props.params, quoted));
+        if (props.returns !== undefined)
+            parts.push(renderScalarProp('returns', props.returns, quoted));
+        if (props.async === true || props.async === 'true')
+            parts.push('async=true');
+        if (props.stream === true || props.stream === 'true')
+            parts.push('stream=true');
+        if (props.generator === true || props.generator === 'true')
+            parts.push('generator=true');
+        if (props.static === true || props.static === 'true')
+            parts.push('static=true');
+        if (props.private === true || props.private === 'true')
+            parts.push('private=true');
+        if (props.export === false || props.export === 'false')
+            parts.push('export=false');
+        if (props.expr !== undefined)
+            parts.push(renderScalarProp('expr', props.expr, quoted));
+        lines.push(`${indent}${parts.join(' ')}`);
+        for (const child of node.children || [])
+            render(child, `${indent}  `);
+    }
+    function renderConst(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const name = props.name || 'unknownConst';
+        const parts = [`const name=${name}`];
+        if (props.type !== undefined)
+            parts.push(renderScalarProp('type', props.type, quoted));
+        if (props.value !== undefined)
+            parts.push(renderScalarProp('value', props.value, quoted));
+        if (props.export === false || props.export === 'false')
+            parts.push('export=false');
+        lines.push(`${indent}${parts.join(' ')}`);
+        for (const child of node.children || [])
+            render(child, `${indent}  `);
+    }
+    function renderDoc(node, indent) {
+        const text = String(node.props?.text || node.props?.code || '');
+        if (!text.includes('\n')) {
+            lines.push(`${indent}doc text=${JSON.stringify(text)}`);
+            return;
+        }
+        lines.push(`${indent}doc <<<`);
+        for (const line of text.split('\n')) {
+            lines.push(`${indent}  ${line}`);
+        }
+        lines.push(`${indent}>>>`);
+    }
     function renderLet(node, indent) {
         const props = node.props || {};
         const name = props.name || 'binding';
+        // Codex hold #3: prefer `value=` if the let node carries one (slice 3a).
+        // Without this, a let authored with `value=42` would round-trip to
+        // `expr=""` and lose its assignment entirely.
+        const rawValue = props.value;
         const rawExpr = props.expr;
-        const expr = rawExpr && typeof rawExpr === 'object' && rawExpr.__expr
-            ? rawExpr.code
-            : rawExpr || '';
         const t = props.type;
-        const parts = [`let name=${name}`, `expr=${JSON.stringify(expr)}`];
+        const parts = [`let name=${name}`];
+        if (rawValue !== undefined) {
+            const valueText = typeof rawValue === 'object' && rawValue.__expr
+                ? `{{${rawValue.code}}}`
+                : JSON.stringify(rawValue);
+            parts.push(`value=${valueText}`);
+        }
+        else {
+            const expr = rawExpr && typeof rawExpr === 'object' && rawExpr.__expr
+                ? rawExpr.code
+                : rawExpr || '';
+            parts.push(`expr=${JSON.stringify(expr)}`);
+        }
         if (t)
             parts.push(`type=${t}`);
         lines.push(`${indent}${parts.join(' ')}`);
@@ -85,6 +350,312 @@ export function decompile(root) {
             }
         }
     }
+    function renderField(node, indent) {
+        // Slice 3b: emit `field` re-parseably so canonical `value={{...}}` forms
+        // survive the IR → text round-trip. Without this, the generic JSON.stringify
+        // path would emit `value={"__expr":true,"code":"foo()"}` for any class field
+        // imported from TS — un-re-parseable.
+        //
+        // String prop emission honours __quotedProps so a bare `value=42` (numeric
+        // literal) round-trips as bare and codegens to `42`, whereas a quoted
+        // `value="42"` round-trips quoted and codegens to `"42"` (string literal).
+        // Without this distinction, all bare values would gain spurious quotes on
+        // every decompile + re-parse cycle.
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const name = props.name || 'field';
+        const parts = [`field name=${name}`];
+        function renderStringProp(propName, raw) {
+            if (typeof raw === 'object' && raw.__expr) {
+                return `${propName}={{${raw.code}}}`;
+            }
+            const s = raw;
+            // Bare-emit only when the source was unquoted AND the value matches a
+            // strict whitelist of identifier-shape characters (alphanumeric, `_`,
+            // `.`, `-`). Codex hold #2: a permissive blacklist (e.g. `/[\s=]/`)
+            // would emit values like `'draft'|'done'` or `{id:string}` bare, which
+            // the parser then truncates at the embedded quote or treats as a
+            // style block. The whitelist covers numeric literals, identifiers, and
+            // dotted member chains — the cases ValueIR canonicalises — and forces
+            // JSON.stringify on anything else (type unions, object shorthands,
+            // strings with punctuation, etc.).
+            const wasQuoted = quoted.includes(propName);
+            const safeBare = !wasQuoted && s !== '' && /^[\w.-]+$/.test(s);
+            return `${propName}=${safeBare ? s : JSON.stringify(s)}`;
+        }
+        const t = props.type;
+        if (t !== undefined)
+            parts.push(renderStringProp('type', t));
+        const opt = props.optional;
+        if (opt === true || opt === 'true')
+            parts.push('optional=true');
+        const priv = props.private;
+        if (priv === true || priv === 'true')
+            parts.push('private=true');
+        const ro = props.readonly;
+        if (ro === true || ro === 'true')
+            parts.push('readonly=true');
+        const stat = props.static;
+        if (stat === true || stat === 'true')
+            parts.push('static=true');
+        const rawValue = props.value;
+        const rawDefault = props.default;
+        if (rawValue !== undefined) {
+            parts.push(renderStringProp('value', rawValue));
+        }
+        else if (rawDefault !== undefined) {
+            parts.push(renderStringProp('default', rawDefault));
+        }
+        lines.push(`${indent}${parts.join(' ')}`);
+        if (node.children) {
+            for (const child of node.children) {
+                render(child, `${indent}  `);
+            }
+        }
+    }
+    function renderParam(node, indent) {
+        // Slice 3c: emit `param` re-parseably so canonical `value={{...}}` forms
+        // (and ValueIR-canonicalised bare values) survive IR → text round-trip.
+        // Mirrors renderField — same __quotedProps-aware bare/quoted policy.
+        //
+        // `param` is used in two contexts: (a) MCP tool/resource/prompt params
+        // (description/required/min/max apply); (b) fn/method/constructor
+        // parameter defaults via slice 3c (value/default apply). Both share this
+        // emitter so a node round-trips correctly regardless of parent context.
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        // Slice 3c-extension #3: destructured params omit `name=`; the LHS pattern
+        // is encoded in `binding`/`element` children. Detect by child presence so
+        // round-trips of importer-emitted destructured params don't gain a bogus
+        // `name=param` attribute that would re-parse to a `param name="param"`.
+        const hasDestructure = (node.children ?? []).some((c) => c.type === 'binding' || c.type === 'element');
+        const name = props.name;
+        const parts = ['param'];
+        if (!hasDestructure && name)
+            parts[0] = `param name=${name}`;
+        else if (!hasDestructure)
+            parts[0] = 'param name=param';
+        function renderStringProp(propName, raw) {
+            if (typeof raw === 'object' && raw.__expr) {
+                return `${propName}={{${raw.code}}}`;
+            }
+            const s = raw;
+            // Bare-emit only when source was unquoted AND value matches the
+            // identifier-shape whitelist (mirrors renderField — see Codex hold #2).
+            const wasQuoted = quoted.includes(propName);
+            const safeBare = !wasQuoted && s !== '' && /^[\w.-]+$/.test(s);
+            return `${propName}=${safeBare ? s : JSON.stringify(s)}`;
+        }
+        const t = props.type;
+        if (t !== undefined)
+            parts.push(renderStringProp('type', t));
+        const required = props.required;
+        if (required === true || required === 'true')
+            parts.push('required=true');
+        // Slice 3c-extension: TS-style optional `?` round-trips via `optional=true`.
+        const optional = props.optional;
+        if (optional === true || optional === 'true')
+            parts.push('optional=true');
+        // Slice 3c-extension: TS-style variadic `...` round-trips via `variadic=true`.
+        const variadic = props.variadic;
+        if (variadic === true || variadic === 'true')
+            parts.push('variadic=true');
+        const rawValue = props.value;
+        const rawDefault = props.default;
+        if (rawValue !== undefined) {
+            parts.push(renderStringProp('value', rawValue));
+        }
+        else if (rawDefault !== undefined) {
+            parts.push(renderStringProp('default', rawDefault));
+        }
+        const description = props.description;
+        if (typeof description === 'string')
+            parts.push(`description=${JSON.stringify(description)}`);
+        const min = props.min;
+        if (min !== undefined)
+            parts.push(`min=${min}`);
+        const max = props.max;
+        if (max !== undefined)
+            parts.push(`max=${max}`);
+        lines.push(`${indent}${parts.join(' ')}`);
+        if (node.children) {
+            for (const child of node.children) {
+                render(child, `${indent}  `);
+            }
+        }
+    }
+    function renderDestructure(node, indent) {
+        // Slice 3d: emit `destructure` re-parseably so structured `binding`/
+        // `element` children plus the `expr={{...}}` escape hatch survive
+        // IR → text round-trip. Mirrors renderParam's __quotedProps-aware
+        // bare-vs-quoted policy on `source`.
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const parts = ['destructure'];
+        // Escape-hatch path: raw statement carried verbatim. When present, all
+        // other props are ignored (codegen also ignores them — see generateDestructure).
+        const rawExpr = props.expr;
+        if (rawExpr !== undefined) {
+            if (typeof rawExpr === 'object' && rawExpr.__expr) {
+                parts.push(`expr={{${rawExpr.code}}}`);
+            }
+            else {
+                parts.push(`expr=${JSON.stringify(rawExpr)}`);
+            }
+            lines.push(`${indent}${parts.join(' ')}`);
+            return;
+        }
+        const kind = props.kind;
+        if (kind && kind !== 'const')
+            parts.push(`kind=${kind}`);
+        const t = props.type;
+        if (t !== undefined) {
+            const wasQuoted = quoted.includes('type');
+            const safeBare = !wasQuoted && /^[\w.<>[\]|&,\s-]+$/.test(t) && !/\s/.test(t.trim());
+            parts.push(`type=${safeBare ? t : JSON.stringify(t)}`);
+        }
+        const rawSource = props.source;
+        if (rawSource !== undefined) {
+            if (typeof rawSource === 'object' && rawSource.__expr) {
+                parts.push(`source={{${rawSource.code}}}`);
+            }
+            else {
+                const s = rawSource;
+                const wasQuoted = quoted.includes('source');
+                const safeBare = !wasQuoted && /^[\w.-]+$/.test(s);
+                parts.push(`source=${safeBare ? s : JSON.stringify(s)}`);
+            }
+        }
+        const exported = props.export;
+        if (exported === true || exported === 'true')
+            parts.push('export=true');
+        lines.push(`${indent}${parts.join(' ')}`);
+        if (node.children) {
+            for (const child of node.children) {
+                renderDestructureChild(child, `${indent}  `);
+            }
+        }
+    }
+    function renderDestructureChild(node, indent) {
+        const props = node.props || {};
+        const name = props.name || '?';
+        if (node.type === 'binding') {
+            const parts = [`binding name=${name}`];
+            const key = props.key;
+            if (key)
+                parts.push(`key=${key}`);
+            lines.push(`${indent}${parts.join(' ')}`);
+            return;
+        }
+        if (node.type === 'element') {
+            const parts = [`element name=${name}`];
+            const idx = props.index;
+            if (idx !== undefined)
+                parts.push(`index=${idx}`);
+            lines.push(`${indent}${parts.join(' ')}`);
+            return;
+        }
+        // Unknown — should never hit; fall through to generic render.
+        render(node, indent);
+    }
+    function renderMapLit(node, indent) {
+        // Slice 3e: emit `mapLit` re-parseably with `mapEntry` children inline.
+        // Mirrors renderDestructure escape-hatch + __quotedProps policy.
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const name = props.name || 'unknownMap';
+        const parts = [`mapLit name=${name}`];
+        // Escape-hatch path — raw statement carried verbatim. Other props ignored.
+        const rawExpr = props.expr;
+        if (rawExpr !== undefined) {
+            const exprText = typeof rawExpr === 'object' && rawExpr.__expr
+                ? `{{${rawExpr.code}}}`
+                : JSON.stringify(rawExpr);
+            lines.push(`${indent}mapLit name=${name} expr=${exprText}`);
+            return;
+        }
+        const t = props.type;
+        if (t !== undefined) {
+            const wasQuoted = quoted.includes('type');
+            const safeBare = !wasQuoted && /^[\w.<>[\]|&,\s-]+$/.test(t) && !/\s/.test(t.trim());
+            parts.push(`type=${safeBare ? t : JSON.stringify(t)}`);
+        }
+        const kind = props.kind;
+        if (kind && kind !== 'const')
+            parts.push(`kind=${kind}`);
+        if (props.export === true || props.export === 'true')
+            parts.push('export=true');
+        lines.push(`${indent}${parts.join(' ')}`);
+        if (node.children) {
+            for (const child of node.children) {
+                renderMapSetChild(child, `${indent}  `);
+            }
+        }
+    }
+    function renderSetLit(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        const name = props.name || 'unknownSet';
+        const parts = [`setLit name=${name}`];
+        const rawExpr = props.expr;
+        if (rawExpr !== undefined) {
+            const exprText = typeof rawExpr === 'object' && rawExpr.__expr
+                ? `{{${rawExpr.code}}}`
+                : JSON.stringify(rawExpr);
+            lines.push(`${indent}setLit name=${name} expr=${exprText}`);
+            return;
+        }
+        const t = props.type;
+        if (t !== undefined) {
+            const wasQuoted = quoted.includes('type');
+            const safeBare = !wasQuoted && /^[\w.<>[\]|&,\s-]+$/.test(t) && !/\s/.test(t.trim());
+            parts.push(`type=${safeBare ? t : JSON.stringify(t)}`);
+        }
+        const kind = props.kind;
+        if (kind && kind !== 'const')
+            parts.push(`kind=${kind}`);
+        if (props.export === true || props.export === 'true')
+            parts.push('export=true');
+        lines.push(`${indent}${parts.join(' ')}`);
+        if (node.children) {
+            for (const child of node.children) {
+                renderMapSetChild(child, `${indent}  `);
+            }
+        }
+    }
+    function renderMapSetChild(node, indent) {
+        const props = node.props || {};
+        const quoted = node.__quotedProps ?? [];
+        function renderExprProp(propName, raw) {
+            if (typeof raw === 'object' && raw !== null && raw.__expr) {
+                return `${propName}={{${raw.code}}}`;
+            }
+            const s = raw;
+            const wasQuoted = quoted.includes(propName);
+            const safeBare = !wasQuoted && typeof s === 'string' && s !== '' && /^[\w.-]+$/.test(s);
+            return `${propName}=${safeBare ? s : JSON.stringify(s)}`;
+        }
+        if (node.type === 'mapEntry') {
+            const key = props.key;
+            const val = props.value;
+            const parts = ['mapEntry'];
+            if (key !== undefined)
+                parts.push(renderExprProp('key', key));
+            if (val !== undefined)
+                parts.push(renderExprProp('value', val));
+            lines.push(`${indent}${parts.join(' ')}`);
+            return;
+        }
+        if (node.type === 'setItem') {
+            const val = props.value;
+            const parts = ['setItem'];
+            if (val !== undefined)
+                parts.push(renderExprProp('value', val));
+            lines.push(`${indent}${parts.join(' ')}`);
+            return;
+        }
+        render(node, indent);
+    }
     function renderEach(node, indent) {
         const props = node.props || {};
         const name = props.name || 'item';