@faicad/faijs 0.22.2 → 0.29.5

package/dist/io/index.js

@@ -0,0 +1,13 @@
+/**
+ * io — unified ZIP container IO for faijs (and the host).
+ *
+ * Single read/write entry for ZIP bytes; every downstream consumer (3MF loader,
+ * export-model writer, fcstd, demo) should use these rather than fflate
+ * directly. See `io/zip.ts` for the behaviour contract.
+ */
+export { readZipEntries, readZipEntriesAsync, writeZipEntries, writeZipEntriesAsync, DEFAULT_MAX_ENTRIES, DEFAULT_MAX_TOTAL_BYTES, } from './zip.js';
+// toArrayBuffer is browser-safe; readFileArrayBuffer is Node-only and lives in
+// bytes-node.ts — exporting it here would pull node:fs into browser bundles
+// (seen as a hard rollup error in the 3d_editor web build).
+export { toArrayBuffer } from './bytes.js';
+//# sourceMappingURL=index.js.map

package/dist/io/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/io/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,GAExB,MAAM,OAAO,CAAA;AACd,+EAA+E;AAC/E,4EAA4E;AAC5E,4DAA4D;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA","sourcesContent":["/**\n * io — unified ZIP container IO for faijs (and the host).\n *\n * Single read/write entry for ZIP bytes; every downstream consumer (3MF loader,\n * export-model writer, fcstd, demo) should use these rather than fflate\n * directly. See `io/zip.ts` for the behaviour contract.\n */\nexport {\n  readZipEntries,\n  readZipEntriesAsync,\n  writeZipEntries,\n  writeZipEntriesAsync,\n  DEFAULT_MAX_ENTRIES,\n  DEFAULT_MAX_TOTAL_BYTES,\n  type ZipReadOptions,\n} from './zip'\n// toArrayBuffer is browser-safe; readFileArrayBuffer is Node-only and lives in\n// bytes-node.ts — exporting it here would pull node:fs into browser bundles\n// (seen as a hard rollup error in the 3d_editor web build).\nexport { toArrayBuffer } from './bytes'\n"]}

package/dist/io/zip.d.ts

@@ -0,0 +1,68 @@
+/** fflate's valid compression levels. */
+export type ZipLevel = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9;
+/** Default compression level used by the sync/async writers. */
+export declare const DEFAULT_ZIP_LEVEL: ZipLevel;
+/** Read-side caps bounding what a single read materialises. */
+export interface ZipReadOptions {
+    /** Max entry count; default `DEFAULT_MAX_ENTRIES` (9999). */
+    maxEntries?: number;
+    /** Max total uncompressed bytes; default `DEFAULT_MAX_TOTAL_BYTES` (512 MiB). */
+    maxTotalBytes?: number;
+}
+/**
+ * Default cap on the number of entries a single read materialises. Deliberately
+ * generous: loading a project container is not the same magnitude as a user
+ * picking an arbitrary file, and container members (byte-exact source shadows,
+ * baked `.brp` payloads) scale with the source document.
+ *
+ * NOTE these caps are *post-decompression* checks — `unzipSync` has already
+ * materialised the archive when they run, so they bound what a caller keeps
+ * and walks, not peak allocation. They are a resource budget, NOT a
+ * zip-bomb defence. Pre-decompression rejection would need fflate's
+ * `filter` (per-entry `originalSize` accounting) and is tracked separately.
+ */
+export declare const DEFAULT_MAX_ENTRIES = 9999;
+/** Default cap on total uncompressed bytes; same post-decompression caveat as {@link DEFAULT_MAX_ENTRIES}. */
+export declare const DEFAULT_MAX_TOTAL_BYTES: number;
+/**
+ * Unzip bytes to an entry table (directory entries filtered).
+ *
+ * @param data - the ZIP bytes to read (Uint8Array or ArrayBuffer).
+ * @param opts - optional read caps (maxEntries / maxTotalBytes).
+ * @returns a map of archive path -> decompressed bytes.
+ * @throws on non-ZIP bytes or when caps are exceeded.
+ */
+export declare function readZipEntries(data: Uint8Array | ArrayBuffer, opts?: ZipReadOptions): Map<string, Uint8Array>;
+type EntryTable = Record<string, Uint8Array>;
+/** Write-side options (compression level + advisory ZIP comment). */
+export interface ZipWriteOptions {
+    /** Compression level; default `DEFAULT_ZIP_LEVEL` (6). */
+    level?: ZipLevel;
+    /** Optional ZIP comment (advisory — consumers read it via the EOCD record). */
+    comment?: string;
+}
+/**
+ * Zip an entry table into bytes.
+ *
+ * @param entries - archive path -> bytes to store.
+ * @param opts - optional compression level / ZIP comment.
+ * @returns the ZIP bytes.
+ * @throws on an empty entry table.
+ */
+export declare function writeZipEntries(entries: EntryTable, opts?: ZipWriteOptions): Uint8Array;
+/** Async read: yields to the event loop between chunks (see plan §D8).
+ *
+ * @param data - the ZIP bytes to read (Uint8Array or ArrayBuffer).
+ * @param opts - optional read caps (maxEntries / maxTotalBytes).
+ * @returns a promise of the entry map.
+ */
+export declare function readZipEntriesAsync(data: Uint8Array | ArrayBuffer, opts?: ZipReadOptions): Promise<Map<string, Uint8Array>>;
+/** Zip an entry table into bytes, yielding between chunks.
+ *
+ * @param entries - archive path -> entry to store.
+ * @param opts - optional compression level / ZIP comment.
+ * @returns a promise of the ZIP bytes.
+ */
+export declare function writeZipEntriesAsync(entries: EntryTable, opts?: ZipWriteOptions): Promise<Uint8Array>;
+export {};
+//# sourceMappingURL=zip.d.ts.map

package/dist/io/zip.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zip.d.ts","sourceRoot":"","sources":["../../src/io/zip.ts"],"names":[],"mappings":"AAsBA,yCAAyC;AACzC,MAAM,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAE5D,gEAAgE;AAChE,eAAO,MAAM,iBAAiB,EAAE,QAAY,CAAA;AAE5C,+DAA+D;AAC/D,MAAM,WAAW,cAAc;IAC7B,6DAA6D;IAC7D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,iFAAiF;IACjF,aAAa,CAAC,EAAE,MAAM,CAAA;CACvB;AAID;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,mBAAmB,OAAO,CAAA;AAEvC,8GAA8G;AAC9G,eAAO,MAAM,uBAAuB,QAAoB,CAAA;AA4CxD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,UAAU,GAAG,WAAW,EAC9B,IAAI,GAAE,cAAmB,GACxB,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAQzB;AAED,KAAK,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;AAE5C,qEAAqE;AACrE,MAAM,WAAW,eAAe;IAC9B,0DAA0D;IAC1D,KAAK,CAAC,EAAE,QAAQ,CAAA;IAChB,+EAA+E;IAC/E,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,eAAe,GAAG,UAAU,CAKvF;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,UAAU,GAAG,WAAW,EAC9B,IAAI,GAAE,cAAmB,GACxB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAclC;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,UAAU,EACnB,IAAI,CAAC,EAAE,eAAe,GACrB,OAAO,CAAC,UAAU,CAAC,CAarB"}

package/dist/io/zip.js

@@ -0,0 +1,147 @@
+/**
+ * io/zip — the single ZIP read/write entry for every faijs consumer.
+ *
+ * This is the one place faijs (and the host) reads and writes ZIP bytes. The
+ * plan unifies two previously-divergent behaviours: reading uses fflate's
+ * `unzipSync`, writing uses `zipSync`. Both surface as a plain entry map so
+ * no caller ever touches fflate's `Unzlib` / `Zip` objects directly.
+ *
+ * Contract:
+ * - Entries are keyed by the archive path (fflate normalises to forward
+ *   slashes). Directory entries (keys ending in `/`) are filtered out — they
+ *   are produced by fflate and are not data.
+ * - Every function throws on failure; there is no degraded return value.
+ * - A non-zip buffer throws `new Error('zip read failed: <msg>')`.
+ * - `writeZipEntries` rejects an empty entry table (never produces an empty zip).
+ *
+ * Environment: plain pure functions usable in node, browser, worker and the
+ * weapp worker — fflate's sync + async (callback) forms cover all of them
+ * (see plan D8: the async forms let the event loop yield between chunks).
+ */
+import { zip, zipSync, unzip, unzipSync } from 'fflate';
+/** Default compression level used by the sync/async writers. */
+export const DEFAULT_ZIP_LEVEL = 6;
+/**
+ * Default cap on the number of entries a single read materialises. Deliberately
+ * generous: loading a project container is not the same magnitude as a user
+ * picking an arbitrary file, and container members (byte-exact source shadows,
+ * baked `.brp` payloads) scale with the source document.
+ *
+ * NOTE these caps are *post-decompression* checks — `unzipSync` has already
+ * materialised the archive when they run, so they bound what a caller keeps
+ * and walks, not peak allocation. They are a resource budget, NOT a
+ * zip-bomb defence. Pre-decompression rejection would need fflate's
+ * `filter` (per-entry `originalSize` accounting) and is tracked separately.
+ */
+export const DEFAULT_MAX_ENTRIES = 9999;
+/** Default cap on total uncompressed bytes; same post-decompression caveat as {@link DEFAULT_MAX_ENTRIES}. */
+export const DEFAULT_MAX_TOTAL_BYTES = 512 * 1024 * 1024;
+function toBytes(data) {
+    return data instanceof Uint8Array ? data : new Uint8Array(data);
+}
+function resolveReadOptions(opts) {
+    return {
+        maxEntries: opts.maxEntries ?? DEFAULT_MAX_ENTRIES,
+        maxTotalBytes: opts.maxTotalBytes ?? DEFAULT_MAX_TOTAL_BYTES,
+    };
+}
+/** Strip directory entries (keys ending in `/`) and enforce size/entry caps. */
+function normalizeEntries(raw, opts) {
+    const out = new Map();
+    let totalBytes = 0;
+    for (const key of Object.keys(raw)) {
+        if (key.endsWith('/'))
+            continue;
+        const body = raw[key];
+        totalBytes += body.byteLength;
+        if (totalBytes > opts.maxTotalBytes) {
+            throw new Error(`zip read failed: content exceeds limit (maxTotalBytes ${opts.maxTotalBytes})`);
+        }
+        out.set(key, body);
+    }
+    if (out.size > opts.maxEntries) {
+        throw new Error(`zip read failed: content exceeds limit (maxEntries ${opts.maxEntries})`);
+    }
+    return out;
+}
+function wrapReadError(err) {
+    const inner = err instanceof Error ? err.message : String(err);
+    const e = new Error(`zip read failed: ${inner}`);
+    e.cause = err;
+    throw e;
+}
+/**
+ * Unzip bytes to an entry table (directory entries filtered).
+ *
+ * @param data - the ZIP bytes to read (Uint8Array or ArrayBuffer).
+ * @param opts - optional read caps (maxEntries / maxTotalBytes).
+ * @returns a map of archive path -> decompressed bytes.
+ * @throws on non-ZIP bytes or when caps are exceeded.
+ */
+export function readZipEntries(data, opts = {}) {
+    let raw;
+    try {
+        raw = unzipSync(toBytes(data));
+    }
+    catch (err) {
+        wrapReadError(err);
+    }
+    return normalizeEntries(raw, resolveReadOptions(opts));
+}
+/**
+ * Zip an entry table into bytes.
+ *
+ * @param entries - archive path -> bytes to store.
+ * @param opts - optional compression level / ZIP comment.
+ * @returns the ZIP bytes.
+ * @throws on an empty entry table.
+ */
+export function writeZipEntries(entries, opts) {
+    if (Object.keys(entries).length === 0) {
+        throw new Error('zip write failed: empty entry table');
+    }
+    return zipSync(entries, { level: opts?.level ?? DEFAULT_ZIP_LEVEL, comment: opts?.comment });
+}
+/** Async read: yields to the event loop between chunks (see plan §D8).
+ *
+ * @param data - the ZIP bytes to read (Uint8Array or ArrayBuffer).
+ * @param opts - optional read caps (maxEntries / maxTotalBytes).
+ * @returns a promise of the entry map.
+ */
+export function readZipEntriesAsync(data, opts = {}) {
+    return new Promise((resolve, reject) => {
+        unzip(toBytes(data), (err, raw) => {
+            if (err) {
+                reject(new Error(`zip read failed: ${err.message}`));
+                return;
+            }
+            try {
+                resolve(normalizeEntries(raw, resolveReadOptions(opts)));
+            }
+            catch (e) {
+                reject(e);
+            }
+        });
+    });
+}
+/** Zip an entry table into bytes, yielding between chunks.
+ *
+ * @param entries - archive path -> entry to store.
+ * @param opts - optional compression level / ZIP comment.
+ * @returns a promise of the ZIP bytes.
+ */
+export function writeZipEntriesAsync(entries, opts) {
+    if (Object.keys(entries).length === 0) {
+        return Promise.reject(new Error('zip write failed: empty entry table'));
+    }
+    return new Promise((resolve, reject) => {
+        zip(entries, { level: opts?.level ?? DEFAULT_ZIP_LEVEL, comment: opts?.comment }, (err, out) => {
+            if (err) {
+                reject(new Error(`zip write failed: ${err.message}`));
+                return;
+            }
+            resolve(out);
+        });
+    });
+}
+//# sourceMappingURL=zip.js.map

package/dist/io/zip.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zip.js","sourceRoot":"","sources":["../../src/io/zip.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AAKvD,gEAAgE;AAChE,MAAM,CAAC,MAAM,iBAAiB,GAAa,CAAC,CAAA;AAY5C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAA;AAEvC,8GAA8G;AAC9G,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAA;AAExD,SAAS,OAAO,CAAC,IAA8B;IAC7C,OAAO,IAAI,YAAY,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAA;AACjE,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAoB;IAC9C,OAAO;QACL,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,mBAAmB;QAClD,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,uBAAuB;KAC7D,CAAA;AACH,CAAC;AAED,gFAAgF;AAChF,SAAS,gBAAgB,CACvB,GAA+B,EAC/B,IAAyB;IAEzB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAA;IACzC,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAQ;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;QACrB,UAAU,IAAI,IAAI,CAAC,UAAU,CAAA;QAC7B,IAAI,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,yDAAyD,IAAI,CAAC,aAAa,GAAG,CAC/E,CAAA;QACH,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IACpB,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,sDAAsD,IAAI,CAAC,UAAU,GAAG,CAAC,CAAA;IAC3F,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,aAAa,CAAC,GAAY;IACjC,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IAC9D,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,oBAAoB,KAAK,EAAE,CAAC,CAC/C;IAAC,CAAiC,CAAC,KAAK,GAAG,GAAG,CAAA;IAC/C,MAAM,CAAC,CAAA;AACT,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,IAA8B,EAC9B,OAAuB,EAAE;IAEzB,IAAI,GAA+B,CAAA;IACnC,IAAI,CAAC;QACH,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;IAChC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,aAAa,CAAC,GAAG,CAAC,CAAA;IACpB,CAAC;IACD,OAAO,gBAAgB,CAAC,GAAG,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAA;AACxD,CAAC;AAYD;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,OAAmB,EAAE,IAAsB;IACzE,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAA;IACxD,CAAC;IACD,OAAO,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;AAC9F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAA8B,EAC9B,OAAuB,EAAE;IAEzB,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YAChC,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,CAAC,IAAI,KAAK,CAAC,oBAAoB,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;gBACpD,OAAM;YACR,CAAC;YACD,IAAI,CAAC;gBACH,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAC1D,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,CAAC,CAAC,CAAC,CAAA;YACX,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAmB,EACnB,IAAsB;IAEtB,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC,CAAA;IACzE,CAAC;IACD,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,GAAG,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YAC7F,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,CAAC,IAAI,KAAK,CAAC,qBAAqB,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;gBACrD,OAAM;YACR,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,CAAA;QACd,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC","sourcesContent":["/**\n * io/zip — the single ZIP read/write entry for every faijs consumer.\n *\n * This is the one place faijs (and the host) reads and writes ZIP bytes. The\n * plan unifies two previously-divergent behaviours: reading uses fflate's\n * `unzipSync`, writing uses `zipSync`. Both surface as a plain entry map so\n * no caller ever touches fflate's `Unzlib` / `Zip` objects directly.\n *\n * Contract:\n * - Entries are keyed by the archive path (fflate normalises to forward\n *   slashes). Directory entries (keys ending in `/`) are filtered out — they\n *   are produced by fflate and are not data.\n * - Every function throws on failure; there is no degraded return value.\n * - A non-zip buffer throws `new Error('zip read failed: <msg>')`.\n * - `writeZipEntries` rejects an empty entry table (never produces an empty zip).\n *\n * Environment: plain pure functions usable in node, browser, worker and the\n * weapp worker — fflate's sync + async (callback) forms cover all of them\n * (see plan D8: the async forms let the event loop yield between chunks).\n */\nimport { zip, zipSync, unzip, unzipSync } from 'fflate'\n\n/** fflate's valid compression levels. */\nexport type ZipLevel = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9\n\n/** Default compression level used by the sync/async writers. */\nexport const DEFAULT_ZIP_LEVEL: ZipLevel = 6\n\n/** Read-side caps bounding what a single read materialises. */\nexport interface ZipReadOptions {\n  /** Max entry count; default `DEFAULT_MAX_ENTRIES` (9999). */\n  maxEntries?: number\n  /** Max total uncompressed bytes; default `DEFAULT_MAX_TOTAL_BYTES` (512 MiB). */\n  maxTotalBytes?: number\n}\n\ntype RequiredReadOptions = Required<ZipReadOptions>\n\n/**\n * Default cap on the number of entries a single read materialises. Deliberately\n * generous: loading a project container is not the same magnitude as a user\n * picking an arbitrary file, and container members (byte-exact source shadows,\n * baked `.brp` payloads) scale with the source document.\n *\n * NOTE these caps are *post-decompression* checks — `unzipSync` has already\n * materialised the archive when they run, so they bound what a caller keeps\n * and walks, not peak allocation. They are a resource budget, NOT a\n * zip-bomb defence. Pre-decompression rejection would need fflate's\n * `filter` (per-entry `originalSize` accounting) and is tracked separately.\n */\nexport const DEFAULT_MAX_ENTRIES = 9999\n\n/** Default cap on total uncompressed bytes; same post-decompression caveat as {@link DEFAULT_MAX_ENTRIES}. */\nexport const DEFAULT_MAX_TOTAL_BYTES = 512 * 1024 * 1024\n\nfunction toBytes(data: Uint8Array | ArrayBuffer): Uint8Array {\n  return data instanceof Uint8Array ? data : new Uint8Array(data)\n}\n\nfunction resolveReadOptions(opts: ZipReadOptions): RequiredReadOptions {\n  return {\n    maxEntries: opts.maxEntries ?? DEFAULT_MAX_ENTRIES,\n    maxTotalBytes: opts.maxTotalBytes ?? DEFAULT_MAX_TOTAL_BYTES,\n  }\n}\n\n/** Strip directory entries (keys ending in `/`) and enforce size/entry caps. */\nfunction normalizeEntries(\n  raw: Record<string, Uint8Array>,\n  opts: RequiredReadOptions,\n): Map<string, Uint8Array> {\n  const out = new Map<string, Uint8Array>()\n  let totalBytes = 0\n  for (const key of Object.keys(raw)) {\n    if (key.endsWith('/')) continue\n    const body = raw[key]\n    totalBytes += body.byteLength\n    if (totalBytes > opts.maxTotalBytes) {\n      throw new Error(\n        `zip read failed: content exceeds limit (maxTotalBytes ${opts.maxTotalBytes})`,\n      )\n    }\n    out.set(key, body)\n  }\n  if (out.size > opts.maxEntries) {\n    throw new Error(`zip read failed: content exceeds limit (maxEntries ${opts.maxEntries})`)\n  }\n  return out\n}\n\nfunction wrapReadError(err: unknown): never {\n  const inner = err instanceof Error ? err.message : String(err)\n  const e = new Error(`zip read failed: ${inner}`)\n  ;(e as Error & { cause?: unknown }).cause = err\n  throw e\n}\n\n/**\n * Unzip bytes to an entry table (directory entries filtered).\n *\n * @param data - the ZIP bytes to read (Uint8Array or ArrayBuffer).\n * @param opts - optional read caps (maxEntries / maxTotalBytes).\n * @returns a map of archive path -> decompressed bytes.\n * @throws on non-ZIP bytes or when caps are exceeded.\n */\nexport function readZipEntries(\n  data: Uint8Array | ArrayBuffer,\n  opts: ZipReadOptions = {},\n): Map<string, Uint8Array> {\n  let raw: Record<string, Uint8Array>\n  try {\n    raw = unzipSync(toBytes(data))\n  } catch (err) {\n    wrapReadError(err)\n  }\n  return normalizeEntries(raw, resolveReadOptions(opts))\n}\n\ntype EntryTable = Record<string, Uint8Array>\n\n/** Write-side options (compression level + advisory ZIP comment). */\nexport interface ZipWriteOptions {\n  /** Compression level; default `DEFAULT_ZIP_LEVEL` (6). */\n  level?: ZipLevel\n  /** Optional ZIP comment (advisory — consumers read it via the EOCD record). */\n  comment?: string\n}\n\n/**\n * Zip an entry table into bytes.\n *\n * @param entries - archive path -> bytes to store.\n * @param opts - optional compression level / ZIP comment.\n * @returns the ZIP bytes.\n * @throws on an empty entry table.\n */\nexport function writeZipEntries(entries: EntryTable, opts?: ZipWriteOptions): Uint8Array {\n  if (Object.keys(entries).length === 0) {\n    throw new Error('zip write failed: empty entry table')\n  }\n  return zipSync(entries, { level: opts?.level ?? DEFAULT_ZIP_LEVEL, comment: opts?.comment })\n}\n\n/** Async read: yields to the event loop between chunks (see plan §D8).\n *\n * @param data - the ZIP bytes to read (Uint8Array or ArrayBuffer).\n * @param opts - optional read caps (maxEntries / maxTotalBytes).\n * @returns a promise of the entry map.\n */\nexport function readZipEntriesAsync(\n  data: Uint8Array | ArrayBuffer,\n  opts: ZipReadOptions = {},\n): Promise<Map<string, Uint8Array>> {\n  return new Promise((resolve, reject) => {\n    unzip(toBytes(data), (err, raw) => {\n      if (err) {\n        reject(new Error(`zip read failed: ${err.message}`))\n        return\n      }\n      try {\n        resolve(normalizeEntries(raw, resolveReadOptions(opts)))\n      } catch (e) {\n        reject(e)\n      }\n    })\n  })\n}\n\n/** Zip an entry table into bytes, yielding between chunks.\n *\n * @param entries - archive path -> entry to store.\n * @param opts - optional compression level / ZIP comment.\n * @returns a promise of the ZIP bytes.\n */\nexport function writeZipEntriesAsync(\n  entries: EntryTable,\n  opts?: ZipWriteOptions,\n): Promise<Uint8Array> {\n  if (Object.keys(entries).length === 0) {\n    return Promise.reject(new Error('zip write failed: empty entry table'))\n  }\n  return new Promise((resolve, reject) => {\n    zip(entries, { level: opts?.level ?? DEFAULT_ZIP_LEVEL, comment: opts?.comment }, (err, out) => {\n      if (err) {\n        reject(new Error(`zip write failed: ${err.message}`))\n        return\n      }\n      resolve(out)\n    })\n  })\n}"]}

package/dist/lang/code-to-args.d.ts

@@ -1,7 +1,7 @@
 /**
  * code-to-args — 单语句行 args 提取（编辑回填配套）
  *
- * See docs/syntax-design.md §3 (statement model ↔ StatementSummary mapping) and §6.4 (check).
+ * See docs/language-design.md §3 (statement model ↔ StatementSummary mapping) and §6.4 (check).
  *
  * 宿主编辑回填（FeatureEditor.backfill / editStatement）需要从代码行
  * 反提参数对象。此能力由 faijs 标配提供（与 parse 语义一致），

package/dist/lang/code-to-args.js

@@ -1,7 +1,7 @@
 /**
  * code-to-args — 单语句行 args 提取（编辑回填配套）
  *
- * See docs/syntax-design.md §3 (statement model ↔ StatementSummary mapping) and §6.4 (check).
+ * See docs/language-design.md §3 (statement model ↔ StatementSummary mapping) and §6.4 (check).
  *
  * 宿主编辑回填（FeatureEditor.backfill / editStatement）需要从代码行
  * 反提参数对象。此能力由 faijs 标配提供（与 parse 语义一致），

package/dist/lang/code-to-args.js.map

@@ -1 +1 @@
-{"version":3,"file":"code-to-args.js","sourceRoot":"","sources":["../../src/lang/code-to-args.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,eAAe,EAAiB,MAAM,sBAAsB,CAAA;AACrE,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAA;AAGvF;;;;;;;;;GASG;AACH,MAAM,QAAQ,GAAG,mBAAmB,CAAA;AACpC,MAAM,SAAS,GAAG,sCAAsC,CAAA;AACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW;IAC3D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU;CACtD,CAAC,CAAA;AAEF,SAAS,kBAAkB,CAAC,IAAY,EAAE,UAAwB;IAChE,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IACpD,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,CAAC,CAAA;IAC/C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACf,0EAA0E;QAC1E,yEAAyE;QACzE,wDAAwD;QACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAQ;QACtG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACb,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,IAAI,CAAC,GAAG,4CAA4C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC/D,IAAI,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC,GAAG,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,CAAC;QACN,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;YACjD,MAAM,EAAE,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5C,IAAI,EAAE;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAqBD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB,EAAE,IAAwB;IACnE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC,CAAA;IAClD,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,UAAU,CAAC;SACnD,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAA;IACb,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAA;IACvD,sDAAsD;IACtD,+DAA+D;IAC/D,4EAA4E;IAC5E,8CAA8C;IAC9C,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE;QACjC,UAAU,EAAE,IAAI,EAAE,UAAU,IAAI,EAAE;QAClC,eAAe,EAAE,IAAI;QACrB,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjD,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;IAC9C,2DAA2D;IAC3D,yCAAyC;IACzC,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAA;IACvC,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACjD,IACE,OAAO,KAAK,IAAI;QAChB,OAAO,OAAO,KAAK,QAAQ;QAC3B,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACvB,CAAC,SAAS,CAAC,OAAkB,CAAC,EAC9B,CAAC;QACD,UAAU,CAAC,GAAG,EAAE,CAAA;QAChB,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAI,OAAmC,EAAE,EAAE,CAAA;IAC1E,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,CAAA;AAC/C,CAAC;AAED,+EAA+E;AAE/E;;GAEG;AACH,MAAM,aAAa,GAAuC,MAAM,CAAC,MAAM,CACrE,MAAM,CAAC,WAAW,CACf,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAc,CAAC,GAAG,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAuB,CACzD,CACF,CACF,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,KAAK,GAAG,4DAA4D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACrF,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAA;IACvB,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;IAC1B,MAAM,QAAQ,GAAG,aAAa,CAAC,SAAS,CAAC,CAAA;IACzC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC9B,mCAAmC;IACnC,MAAM,IAAI,GAAG,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAA;IACrC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;AAChC,CAAC","sourcesContent":["/**\n * code-to-args — 单语句行 args 提取（编辑回填配套）\n *\n * See docs/syntax-design.md §3 (statement model ↔ StatementSummary mapping) and §6.4 (check).\n *\n * 宿主编辑回填（FeatureEditor.backfill / editStatement）需要从代码行\n * 反提参数对象。此能力由 faijs 标配提供（与 parse 语义一致），\n * 宿主不得用 acorn 自行解析（B3 修正）。\n *\n * 无 IR 双通道方案（2026-09-06）后实现换 MetadataExtractor 行级提取：\n * 单行文本经哨兵参数前置声明（与 MetadataExtractor looseLocalCalls 同构）\n * 交给 extractMetadata，取末条 op 行摘要的 positional/args。函数名、签名与\n * 返回契约（CodeToArgsResult）不变；HostArg 引用形态保真（A-5）。\n *\n * F1（表达式折叠）：args 含计算表达式（binary/template/conditional/spread）时，\n * 与 parser 折叠语义一致地**求值后返回字面值**，不抛错。\n * 单行提取缺失参数真实值 → 前置声明用哨兵字面量 `let <id> = 0`（参数形态），\n * 使表达式可静态折叠；宿主用 StatementSummary.hasComputedArgs 判定只读降级，\n * 不得把折叠值写回源码（会丢失原表达式）。\n */\n\nimport type { HostArg } from './host-arg'\nimport { extractMetadata, type OpDimMap } from './metadata-extractor'\nimport { isHostRef } from './host-arg'\nimport { SCRIPT_UNIT_NAMES, UNIT_SCALE, UNIT_DIM, SCRIPT_UNIT_TO_NAME } from '../units'\nimport type { DimName, UnitName } from '../units'\n\n/**\n * 单行提取的前置声明规则（确定性静态规则，非 try/catch 兜底）：\n * parser 的作用域检查（inputs / 重赋值 LHS / 成员方法 receiver / args 中的\n * 裸标识符参数引用）要求变量已声明，而单行提取天然缺失声明上下文。\n * 规则：提取行内全部标识符（剥掉字符串字面量后），为每个非 `cad`/关键字\n * 标识符前置一行 `let <id> = 0`（哨兵参数）。parser 对该形态只做语法\n * 检查、不查符号表；多余声明对 varToId 仅是\"可查到\"，不影响目标行的\n * args 解析结果。F1 起用哨兵参数（而非 `cad.assembly({})` 语句）——\n * 参数值已知 → 表达式可静态折叠，满足\"参数为表达式时返回折叠字面值\"。\n */\nconst IDENT_RE = /[A-Za-z_$][\\w$]*/g\nconst STRING_RE = /'(?:[^'\\\\]|\\\\.)*'|\"(?:[^\"\\\\]|\\\\.)*\"/g\nconst NON_DECL = new Set([\n  'cad', 'const', 'let', 'true', 'false', 'null', 'undefined',\n  'await', 'return', 'new', 'typeof', 'var', 'function',\n])\n\nfunction extractIdentifiers(line: string, namespaces?: Set<string>): string[] {\n  const withoutStrings = line.replace(STRING_RE, \"''\")\n  const declared = declaredByLine(withoutStrings)\n  const ids = new Set<string>()\n  for (const m of withoutStrings.matchAll(IDENT_RE)) {\n    const id = m[0]\n    // P7/D10.4: unit constants (MM, INCH, DEGREE, …) must NOT be pre-declared\n    // as sentinel parameters (`let INCH = 0`), because that would shadow the\n    // real global value and cause `10 * INCH` to fold to 0.\n    if (NON_DECL.has(id) || declared.has(id) || namespaces?.has(id) || SCRIPT_UNIT_NAMES.has(id)) continue\n    ids.add(id)\n  }\n  return [...ids]\n}\n\n/**\n * 行内自身声明的标识符（前置声明必须跳过，否则 acorn 重声明报错）：\n * - `const/let x = ...` 的 x\n * - `const { k1: v1, k2 } = ...` 的绑定名 v1/k2（键名 k1 不是声明，仍需前置声明——无害）\n */\nfunction declaredByLine(line: string): Set<string> {\n  const ids = new Set<string>()\n  let m = /^\\s*(?:const|let)\\s+([A-Za-z_$][\\w$]*)\\s*=/.exec(line)\n  if (m) ids.add(m[1])\n  m = /^\\s*const\\s*\\{([^}]*)\\}\\s*=/.exec(line)\n  if (m) {\n    for (const prop of m[1].split(',')) {\n      const bound = (prop.split(':')[1] ?? prop).trim()\n      const id = /^([A-Za-z_$][\\w$]*)/.exec(bound)\n      if (id) ids.add(id[1])\n    }\n  }\n  return ids\n}\n\n/**\n * `codeToArgs` 的返回契约：位置实参槽 + 尾随选项对象（HostArg 形态，纯数据无 IR）。\n */\nexport interface CodeToArgsResult {\n  positional: HostArg[]\n  args: Record<string, HostArg>\n}\n\n/**\n * codeToArgs 选项。`opDims` 为 P4/P6 (unit-system D8) 透传：callee → 量纲声明，\n * 供单行回填路径的 dimension pass 消费（P6 落地前声明面透传即可，不影响解析结果）。\n */\nexport interface CodeToArgsOptions {\n  /** 该脚本顶层 import 的绑定名（F2）。 */\n  namespaces?: string[]\n  /** callee → 量纲声明（unit-system D8，P6 消费）。 */\n  opDims?: OpDimMap\n}\n\n/**\n * 解析单条语句行，提取其位置实参槽与选项对象（序列化形态，无 IR 变体语义）。\n *\n * true-JS-subset §4.6.3 新契约：返回 `{ positional, args }`——\n * - `positional`: HostArg[]，按调用顺序的位置实参（字面量原样；var-ref/\n *   param-ref/call-ref/expr-ref 以 `{kind,...}` 标记对象呈现，宿主据此降级为\n *   只读编辑）；宿主不接触内部类型（纯数据面）。\n * - `args`: 尾随选项对象（键值 HostArg 形态；无选项对象时为 `{}`）。\n * 旧契约（只返回对象槽）在位置形态下会静默丢弃非对象实参——本契约显式保留全部信息。\n *\n * 支持的行形态（与 parser 接受的语句一致）：\n * - `const part0 = cad.box(10, 20, 30)`\n * - `part0 = cad.fai_drill(part0, { diameter: 5 })`（裸重赋值）\n * - `const { front: a, back: b } = cad.fai_split(part0, { normal: [0,0,1] })`（解构）\n * - `asm0.add_constraint({ ... })`（成员方法调用）\n * - 位置实参为字面量/变量引用/表达式（`cad.box(10, 20, 30)`、`cad.hem(p0.solid, {...})`）\n * - args 中的裸标识符参数引用（`cad.box(10, 20, height)`）\n * - args 中的计算表达式（`cad.box(10, 20, base + 20)`）→ 折叠为字面值返回\n *\n * @param codeLine 单条语句源码行\n * @param opts.namespaces 该脚本顶层 import 的绑定名（F2：`mech.makeHeadstock(...)`\n *   中 `mech` 不得被前置声明为变量）。L0 不感知注册表，由宿主从脚本 imports 提供。\n * @returns the extracted positional slot and trailing options object (both in\n *  serialized JSON form).\n * @throws ParseError — 行文本不是合法语句时抛出（含行号）\n */\nexport function codeToArgs(codeLine: string, opts?: CodeToArgsOptions): CodeToArgsResult {\n  const namespaces = new Set(opts?.namespaces ?? [])\n  const decls = extractIdentifiers(codeLine, namespaces)\n    .map((id) => `let ${id} = 0`)\n    .join('\\n')\n  const code = decls ? `${decls}\\n${codeLine}` : codeLine\n  // 单行提取语义：前置哨兵参数（let id = 0）在 extractMetadata 中按参数行处理；\n  // 末条 op 行摘要 = 目标行。裸本机函数 callee（makeArray 等）放行（looseLocalCalls，\n  // 与现状 codeToArgs 的 MetadataExtractor looseLocalCalls 同语义；ABI 校验延后到完整脚本上下文）。\n  // opDims 透传给 dimension pass（P6 消费，P4 仅透传声明面）。\n  const meta = extractMetadata(code, {\n    namespaces: opts?.namespaces ?? [],\n    looseLocalCalls: true,\n    ...(opts?.opDims ? { opDims: opts.opDims } : {}),\n  })\n  const last = meta.lines[meta.lines.length - 1]\n  if (!last) return { positional: [], args: {} }\n  // 尾随纯对象（选项槽）从 positional 切出到 args（与现状 splitTrailingOptions\n  // 同构：末位纯数据对象是选项槽；引用形态/字面量留在 positional）。\n  const positional = [...last.positional]\n  const lastArg = positional[positional.length - 1]\n  if (\n    lastArg !== null &&\n    typeof lastArg === 'object' &&\n    !Array.isArray(lastArg) &&\n    !isHostRef(lastArg as HostArg)\n  ) {\n    positional.pop()\n    return { positional, args: { ...(lastArg as Record<string, HostArg>) } }\n  }\n  return { positional, args: { ...last.args } }\n}\n\n// ── P7/D10: unit literal parsing ────────────────────────────────────────────\n\n/**\n * Reverse mapping: script-side constant name (UPPERCASE) → internal UnitName.\n */\nconst CONST_TO_UNIT: Readonly<Record<string, UnitName>> = Object.freeze(\n  Object.fromEntries(\n    (Object.keys(SCRIPT_UNIT_TO_NAME) as string[]).map(\n      (k) => [k, SCRIPT_UNIT_TO_NAME[k]] as [string, UnitName],\n    ),\n  ),\n)\n\n/**\n * Parse a unit literal text expression (`n * UNIT`) into its base-unit value.\n *\n * P7/D10.3: This is the reverse of `formatUnitLiteral`. Given text like\n * `10 * INCH`, returns `{ base: 254, dim: 'length', unitName: 'inch' }`.\n * Non-unit-literal expressions return `null` (host decides whether to\n * downgrade to read-only).\n *\n * @param text - the expression text (e.g. `10 * INCH` or `0.5 * DEGREE`).\n * @returns the parsed unit literal info, or `null` if not a unit literal.\n */\nexport function parseUnitLiteral(text: string): { base: number; dim: DimName; unitName: UnitName } | null {\n  const match = /^\\s*(-?\\d+(?:\\.\\d+)?(?:[eE][+-]?\\d+)?)\\s*\\*\\s*([A-Z]+)\\s*$/.exec(text)\n  if (!match) return null\n  const n = Number(match[1])\n  const constName = match[2]\n  const unitName = CONST_TO_UNIT[constName]\n  if (!unitName) return null\n  const dim = UNIT_DIM[unitName]\n  // toBase: n * UNIT_SCALE[unitName]\n  const base = n * UNIT_SCALE[unitName]\n  return { base, dim, unitName }\n}\n"]}
+{"version":3,"file":"code-to-args.js","sourceRoot":"","sources":["../../src/lang/code-to-args.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,eAAe,EAAiB,MAAM,sBAAsB,CAAA;AACrE,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAA;AAGvF;;;;;;;;;GASG;AACH,MAAM,QAAQ,GAAG,mBAAmB,CAAA;AACpC,MAAM,SAAS,GAAG,sCAAsC,CAAA;AACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW;IAC3D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU;CACtD,CAAC,CAAA;AAEF,SAAS,kBAAkB,CAAC,IAAY,EAAE,UAAwB;IAChE,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IACpD,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,CAAC,CAAA;IAC/C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACf,0EAA0E;QAC1E,yEAAyE;QACzE,wDAAwD;QACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAQ;QACtG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACb,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,IAAI,CAAC,GAAG,4CAA4C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC/D,IAAI,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC,GAAG,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,CAAC;QACN,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;YACjD,MAAM,EAAE,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5C,IAAI,EAAE;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAqBD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB,EAAE,IAAwB;IACnE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC,CAAA;IAClD,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,UAAU,CAAC;SACnD,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAA;IACb,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAA;IACvD,sDAAsD;IACtD,+DAA+D;IAC/D,4EAA4E;IAC5E,8CAA8C;IAC9C,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE;QACjC,UAAU,EAAE,IAAI,EAAE,UAAU,IAAI,EAAE;QAClC,eAAe,EAAE,IAAI;QACrB,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjD,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;IAC9C,2DAA2D;IAC3D,yCAAyC;IACzC,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAA;IACvC,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACjD,IACE,OAAO,KAAK,IAAI;QAChB,OAAO,OAAO,KAAK,QAAQ;QAC3B,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACvB,CAAC,SAAS,CAAC,OAAkB,CAAC,EAC9B,CAAC;QACD,UAAU,CAAC,GAAG,EAAE,CAAA;QAChB,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAI,OAAmC,EAAE,EAAE,CAAA;IAC1E,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,CAAA;AAC/C,CAAC;AAED,+EAA+E;AAE/E;;GAEG;AACH,MAAM,aAAa,GAAuC,MAAM,CAAC,MAAM,CACrE,MAAM,CAAC,WAAW,CACf,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAc,CAAC,GAAG,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAuB,CACzD,CACF,CACF,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,KAAK,GAAG,4DAA4D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACrF,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAA;IACvB,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;IAC1B,MAAM,QAAQ,GAAG,aAAa,CAAC,SAAS,CAAC,CAAA;IACzC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC9B,mCAAmC;IACnC,MAAM,IAAI,GAAG,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAA;IACrC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;AAChC,CAAC","sourcesContent":["/**\n * code-to-args — 单语句行 args 提取（编辑回填配套）\n *\n * See docs/language-design.md §3 (statement model ↔ StatementSummary mapping) and §6.4 (check).\n *\n * 宿主编辑回填（FeatureEditor.backfill / editStatement）需要从代码行\n * 反提参数对象。此能力由 faijs 标配提供（与 parse 语义一致），\n * 宿主不得用 acorn 自行解析（B3 修正）。\n *\n * 无 IR 双通道方案（2026-09-06）后实现换 MetadataExtractor 行级提取：\n * 单行文本经哨兵参数前置声明（与 MetadataExtractor looseLocalCalls 同构）\n * 交给 extractMetadata，取末条 op 行摘要的 positional/args。函数名、签名与\n * 返回契约（CodeToArgsResult）不变；HostArg 引用形态保真（A-5）。\n *\n * F1（表达式折叠）：args 含计算表达式（binary/template/conditional/spread）时，\n * 与 parser 折叠语义一致地**求值后返回字面值**，不抛错。\n * 单行提取缺失参数真实值 → 前置声明用哨兵字面量 `let <id> = 0`（参数形态），\n * 使表达式可静态折叠；宿主用 StatementSummary.hasComputedArgs 判定只读降级，\n * 不得把折叠值写回源码（会丢失原表达式）。\n */\n\nimport type { HostArg } from './host-arg'\nimport { extractMetadata, type OpDimMap } from './metadata-extractor'\nimport { isHostRef } from './host-arg'\nimport { SCRIPT_UNIT_NAMES, UNIT_SCALE, UNIT_DIM, SCRIPT_UNIT_TO_NAME } from '../units'\nimport type { DimName, UnitName } from '../units'\n\n/**\n * 单行提取的前置声明规则（确定性静态规则，非 try/catch 兜底）：\n * parser 的作用域检查（inputs / 重赋值 LHS / 成员方法 receiver / args 中的\n * 裸标识符参数引用）要求变量已声明，而单行提取天然缺失声明上下文。\n * 规则：提取行内全部标识符（剥掉字符串字面量后），为每个非 `cad`/关键字\n * 标识符前置一行 `let <id> = 0`（哨兵参数）。parser 对该形态只做语法\n * 检查、不查符号表；多余声明对 varToId 仅是\"可查到\"，不影响目标行的\n * args 解析结果。F1 起用哨兵参数（而非 `cad.assembly({})` 语句）——\n * 参数值已知 → 表达式可静态折叠，满足\"参数为表达式时返回折叠字面值\"。\n */\nconst IDENT_RE = /[A-Za-z_$][\\w$]*/g\nconst STRING_RE = /'(?:[^'\\\\]|\\\\.)*'|\"(?:[^\"\\\\]|\\\\.)*\"/g\nconst NON_DECL = new Set([\n  'cad', 'const', 'let', 'true', 'false', 'null', 'undefined',\n  'await', 'return', 'new', 'typeof', 'var', 'function',\n])\n\nfunction extractIdentifiers(line: string, namespaces?: Set<string>): string[] {\n  const withoutStrings = line.replace(STRING_RE, \"''\")\n  const declared = declaredByLine(withoutStrings)\n  const ids = new Set<string>()\n  for (const m of withoutStrings.matchAll(IDENT_RE)) {\n    const id = m[0]\n    // P7/D10.4: unit constants (MM, INCH, DEGREE, …) must NOT be pre-declared\n    // as sentinel parameters (`let INCH = 0`), because that would shadow the\n    // real global value and cause `10 * INCH` to fold to 0.\n    if (NON_DECL.has(id) || declared.has(id) || namespaces?.has(id) || SCRIPT_UNIT_NAMES.has(id)) continue\n    ids.add(id)\n  }\n  return [...ids]\n}\n\n/**\n * 行内自身声明的标识符（前置声明必须跳过，否则 acorn 重声明报错）：\n * - `const/let x = ...` 的 x\n * - `const { k1: v1, k2 } = ...` 的绑定名 v1/k2（键名 k1 不是声明，仍需前置声明——无害）\n */\nfunction declaredByLine(line: string): Set<string> {\n  const ids = new Set<string>()\n  let m = /^\\s*(?:const|let)\\s+([A-Za-z_$][\\w$]*)\\s*=/.exec(line)\n  if (m) ids.add(m[1])\n  m = /^\\s*const\\s*\\{([^}]*)\\}\\s*=/.exec(line)\n  if (m) {\n    for (const prop of m[1].split(',')) {\n      const bound = (prop.split(':')[1] ?? prop).trim()\n      const id = /^([A-Za-z_$][\\w$]*)/.exec(bound)\n      if (id) ids.add(id[1])\n    }\n  }\n  return ids\n}\n\n/**\n * `codeToArgs` 的返回契约：位置实参槽 + 尾随选项对象（HostArg 形态，纯数据无 IR）。\n */\nexport interface CodeToArgsResult {\n  positional: HostArg[]\n  args: Record<string, HostArg>\n}\n\n/**\n * codeToArgs 选项。`opDims` 为 P4/P6 (unit-system D8) 透传：callee → 量纲声明，\n * 供单行回填路径的 dimension pass 消费（P6 落地前声明面透传即可，不影响解析结果）。\n */\nexport interface CodeToArgsOptions {\n  /** 该脚本顶层 import 的绑定名（F2）。 */\n  namespaces?: string[]\n  /** callee → 量纲声明（unit-system D8，P6 消费）。 */\n  opDims?: OpDimMap\n}\n\n/**\n * 解析单条语句行，提取其位置实参槽与选项对象（序列化形态，无 IR 变体语义）。\n *\n * true-JS-subset §4.6.3 新契约：返回 `{ positional, args }`——\n * - `positional`: HostArg[]，按调用顺序的位置实参（字面量原样；var-ref/\n *   param-ref/call-ref/expr-ref 以 `{kind,...}` 标记对象呈现，宿主据此降级为\n *   只读编辑）；宿主不接触内部类型（纯数据面）。\n * - `args`: 尾随选项对象（键值 HostArg 形态；无选项对象时为 `{}`）。\n * 旧契约（只返回对象槽）在位置形态下会静默丢弃非对象实参——本契约显式保留全部信息。\n *\n * 支持的行形态（与 parser 接受的语句一致）：\n * - `const part0 = cad.box(10, 20, 30)`\n * - `part0 = cad.fai_drill(part0, { diameter: 5 })`（裸重赋值）\n * - `const { front: a, back: b } = cad.fai_split(part0, { normal: [0,0,1] })`（解构）\n * - `asm0.add_constraint({ ... })`（成员方法调用）\n * - 位置实参为字面量/变量引用/表达式（`cad.box(10, 20, 30)`、`cad.hem(p0.solid, {...})`）\n * - args 中的裸标识符参数引用（`cad.box(10, 20, height)`）\n * - args 中的计算表达式（`cad.box(10, 20, base + 20)`）→ 折叠为字面值返回\n *\n * @param codeLine 单条语句源码行\n * @param opts.namespaces 该脚本顶层 import 的绑定名（F2：`mech.makeHeadstock(...)`\n *   中 `mech` 不得被前置声明为变量）。L0 不感知注册表，由宿主从脚本 imports 提供。\n * @returns the extracted positional slot and trailing options object (both in\n *  serialized JSON form).\n * @throws ParseError — 行文本不是合法语句时抛出（含行号）\n */\nexport function codeToArgs(codeLine: string, opts?: CodeToArgsOptions): CodeToArgsResult {\n  const namespaces = new Set(opts?.namespaces ?? [])\n  const decls = extractIdentifiers(codeLine, namespaces)\n    .map((id) => `let ${id} = 0`)\n    .join('\\n')\n  const code = decls ? `${decls}\\n${codeLine}` : codeLine\n  // 单行提取语义：前置哨兵参数（let id = 0）在 extractMetadata 中按参数行处理；\n  // 末条 op 行摘要 = 目标行。裸本机函数 callee（makeArray 等）放行（looseLocalCalls，\n  // 与现状 codeToArgs 的 MetadataExtractor looseLocalCalls 同语义；ABI 校验延后到完整脚本上下文）。\n  // opDims 透传给 dimension pass（P6 消费，P4 仅透传声明面）。\n  const meta = extractMetadata(code, {\n    namespaces: opts?.namespaces ?? [],\n    looseLocalCalls: true,\n    ...(opts?.opDims ? { opDims: opts.opDims } : {}),\n  })\n  const last = meta.lines[meta.lines.length - 1]\n  if (!last) return { positional: [], args: {} }\n  // 尾随纯对象（选项槽）从 positional 切出到 args（与现状 splitTrailingOptions\n  // 同构：末位纯数据对象是选项槽；引用形态/字面量留在 positional）。\n  const positional = [...last.positional]\n  const lastArg = positional[positional.length - 1]\n  if (\n    lastArg !== null &&\n    typeof lastArg === 'object' &&\n    !Array.isArray(lastArg) &&\n    !isHostRef(lastArg as HostArg)\n  ) {\n    positional.pop()\n    return { positional, args: { ...(lastArg as Record<string, HostArg>) } }\n  }\n  return { positional, args: { ...last.args } }\n}\n\n// ── P7/D10: unit literal parsing ────────────────────────────────────────────\n\n/**\n * Reverse mapping: script-side constant name (UPPERCASE) → internal UnitName.\n */\nconst CONST_TO_UNIT: Readonly<Record<string, UnitName>> = Object.freeze(\n  Object.fromEntries(\n    (Object.keys(SCRIPT_UNIT_TO_NAME) as string[]).map(\n      (k) => [k, SCRIPT_UNIT_TO_NAME[k]] as [string, UnitName],\n    ),\n  ),\n)\n\n/**\n * Parse a unit literal text expression (`n * UNIT`) into its base-unit value.\n *\n * P7/D10.3: This is the reverse of `formatUnitLiteral`. Given text like\n * `10 * INCH`, returns `{ base: 254, dim: 'length', unitName: 'inch' }`.\n * Non-unit-literal expressions return `null` (host decides whether to\n * downgrade to read-only).\n *\n * @param text - the expression text (e.g. `10 * INCH` or `0.5 * DEGREE`).\n * @returns the parsed unit literal info, or `null` if not a unit literal.\n */\nexport function parseUnitLiteral(text: string): { base: number; dim: DimName; unitName: UnitName } | null {\n  const match = /^\\s*(-?\\d+(?:\\.\\d+)?(?:[eE][+-]?\\d+)?)\\s*\\*\\s*([A-Z]+)\\s*$/.exec(text)\n  if (!match) return null\n  const n = Number(match[1])\n  const constName = match[2]\n  const unitName = CONST_TO_UNIT[constName]\n  if (!unitName) return null\n  const dim = UNIT_DIM[unitName]\n  // toBase: n * UNIT_SCALE[unitName]\n  const base = n * UNIT_SCALE[unitName]\n  return { base, dim, unitName }\n}\n"]}

package/dist/lang/metadata-extractor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"metadata-extractor.d.ts","sourceRoot":"","sources":["../../src/lang/metadata-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAC1D,OAAO,EAAuC,KAAK,MAAM,EAAE,MAAM,aAAa,CAAA;AAK9E,OAAO,EAAgB,KAAK,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACtE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAKvC,iDAAiD;AACjD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,oDAAoD;IACpD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IACzC,2BAA2B;IAC3B,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,wDAAwD;IACxD,MAAM,EAAE,MAAM,CAAA;IACd,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAA;IACZ,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAA;IACZ,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;IACX,sCAAsC;IACtC,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,0CAA0C;IAC1C,YAAY,EAAE,OAAO,CAAA;CACtB;AAED,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,SAAS,CAAA;IACvC,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,kBAAkB;AAClB,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,oCAAoC;IACpC,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IACzC,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,qBAAqB;AACrB,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAA;IAC/C,OAAO,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;CACtC;AAED,sDAAsD;AACtD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,OAAO,CAAA;CAChB;AAED,mCAAmC;AACnC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,gBAAgB,EAAE,CAAA;IACzB,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,SAAS,EAAE,aAAa,EAAE,CAAA;IAC1B,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IAC9B,IAAI,CAAC,EAAE,YAAY,CAAA;IACnB,cAAc,CAAC,EAAE,aAAa,EAAE,CAAA;IAChC;;;OAGG;IACH,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB;;;;OAIG;IACH,KAAK,EAAE,MAAM,EAAE,CAAA;CAChB;AAID,KAAK,OAAO,GAAG,GAAG,CAAA;AAuBlB;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,+BAA+B;IAC/B,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACvB,uBAAuB;IACvB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACrB,4CAA4C;IAC5C,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,iBAAiB;IACjB,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IACpC,uBAAuB;IACvB,aAAa,EAAE,MAAM,CAAA;IACrB,0CAA0C;IAC1C,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;CAC/B;AAwJD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CA2BtD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EACnB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EACjB,IAAI,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/C,IAAI,CAoEN;AAwrBD,iDAAiD;AACjD,MAAM,WAAW,sBAAsB;IACrC,sDAAsD;IACtD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,4CAA4C;IAC5C,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,kDAAkD;IAClD,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,2CAA2C;IAC3C,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB;;;OAGG;IACH,MAAM,CAAC,EAAE,QAAQ,CAAA;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,yBAAyB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACnC,iBAAiB;IACjB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,mDAAmD;IACnD,OAAO,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CACvE;AAED,qEAAqE;AACrE,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;AAEhD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,sBAAsB,GAAG,UAAU,CA2U1F"}
+{"version":3,"file":"metadata-extractor.d.ts","sourceRoot":"","sources":["../../src/lang/metadata-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAC1D,OAAO,EAAuC,KAAK,MAAM,EAAE,MAAM,aAAa,CAAA;AAK9E,OAAO,EAAgB,KAAK,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACtE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAKvC,iDAAiD;AACjD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,oDAAoD;IACpD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IACzC,2BAA2B;IAC3B,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,wDAAwD;IACxD,MAAM,EAAE,MAAM,CAAA;IACd,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAA;IACZ,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAA;IACZ,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;IACX,sCAAsC;IACtC,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,0CAA0C;IAC1C,YAAY,EAAE,OAAO,CAAA;CACtB;AAED,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,SAAS,CAAA;IACvC,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,kBAAkB;AAClB,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,oCAAoC;IACpC,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IACzC,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,qBAAqB;AACrB,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAA;IAC/C,OAAO,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;CACtC;AAED,sDAAsD;AACtD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,OAAO,CAAA;CAChB;AAED,mCAAmC;AACnC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,gBAAgB,EAAE,CAAA;IACzB,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,SAAS,EAAE,aAAa,EAAE,CAAA;IAC1B,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IAC9B,IAAI,CAAC,EAAE,YAAY,CAAA;IACnB,cAAc,CAAC,EAAE,aAAa,EAAE,CAAA;IAChC;;;OAGG;IACH,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB;;;;OAIG;IACH,KAAK,EAAE,MAAM,EAAE,CAAA;CAChB;AAID,KAAK,OAAO,GAAG,GAAG,CAAA;AAuBlB;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,+BAA+B;IAC/B,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACvB,uBAAuB;IACvB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACrB,4CAA4C;IAC5C,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,iBAAiB;IACjB,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IACpC,uBAAuB;IACvB,aAAa,EAAE,MAAM,CAAA;IACrB,0CAA0C;IAC1C,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;CAC/B;AAwJD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CA2BtD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EACnB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EACjB,IAAI,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/C,IAAI,CAoEN;AA2qBD,iDAAiD;AACjD,MAAM,WAAW,sBAAsB;IACrC,sDAAsD;IACtD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,4CAA4C;IAC5C,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,kDAAkD;IAClD,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,2CAA2C;IAC3C,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB;;;OAGG;IACH,MAAM,CAAC,EAAE,QAAQ,CAAA;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,yBAAyB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACnC,iBAAiB;IACjB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,mDAAmD;IACnD,OAAO,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CACvE;AAED,qEAAqE;AACrE,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;AAEhD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,sBAAsB,GAAG,UAAU,CA2U1F"}

package/dist/lang/metadata-extractor.js

@@ -838,27 +838,8 @@ function parseReturnStatement(node, ctx) {
                 if (prop.value?.type === 'Literal')
                     meta.name = prop.value.value;
             }
-            else if (key === 'color') {
-                if (prop.value?.type === 'Literal') {
-                    if (!meta.appearance)
-                        meta.appearance = {};
-                    meta.appearance.color = prop.value.value;
-                }
-            }
-            else if (key === 'metalness') {
-                if (prop.value?.type === 'Literal') {
-                    if (!meta.appearance)
-                        meta.appearance = {};
-                    meta.appearance.metalness = prop.value.value;
-                }
-            }
-            else if (key === 'roughness') {
-                if (prop.value?.type === 'Literal') {
-                    if (!meta.appearance)
-                        meta.appearance = {};
-                    meta.appearance.roughness = prop.value.value;
-                }
-            }
+            // 其余 key（含旧死特性 color/metalness/roughness，2026-10-05 v2 已删除）
+            // 静默忽略：return 对象不是 op 参数，未知 key 不做参数校验（宽容语义）。
         }
         return { id, meta: Object.keys(meta).length > 0 ? meta : undefined };
     };