quickwin 3.0.1 → 3.0.3

package/test/test_ffi_struct.js

@@ -1,779 +0,0 @@
-import * as os from 'os';
-import { struct, union } from '../lib/ffi/struct.js';
-import { bind, } from '../lib/ffi/bind.js';
-import { PtrArrayBuffer } from '../lib/ffi/ctype.js';
-function expectType(_value) { }
-// Ptr 定义：'' 判右侧（不作 naked 分布）——字面品牌照旧收窄、Ptr<''> 归一 number、
-// never 不再塌缩成 never（旧定义下 Ptr<never> 即 never，decode(… | Ptr<N>) 会在 N=never 时堵死）
-expectType(true);
-expectType(true);
-const RECT = /* @__PURE__ */ struct('RECT', {
-    left: 'i32',
-    top: 'i32',
-    right: 'i32',
-    bottom: 'i32',
-});
-const TVITEM_DECL = {
-    '#': 'struct',
-    mask: 'u32',
-    hItem: '<>ptr',
-    state: 'u32',
-    stateMask: 'u32',
-    pszText: '<>ptr',
-    cchTextMax: 'i32',
-    iImage: 'i32',
-    iSelectedImage: 'i32',
-    cChildren: 'i32',
-    lParam: '<>ptr',
-};
-const TVITEM = /* @__PURE__ */ struct('TVITEM', TVITEM_DECL);
-const TVINSERTSTRUCT = /* @__PURE__ */ struct('TVINSERTSTRUCT', {
-    hParent: '<>ptr',
-    hInsertAfter: '<>ptr',
-    item: TVITEM_DECL,
-});
-export const suite = {
-    name: 'ffi-struct',
-    run: (t) => {
-        const is64 = os.arch === 'x64';
-        t.section('RECT layout & roundtrip');
-        t.check('RECT.size == 16', 16, RECT.size);
-        const rbuf = RECT.encode({ left: 10, top: 20, right: 30, bottom: 40 });
-        const r = RECT.decode(rbuf);
-        t.check('left', 10, r.left);
-        t.check('top', 20, r.top);
-        t.check('right', 30, r.right);
-        t.check('bottom', 40, r.bottom);
-        t.check('offsetOf left', 0, RECT.offsetOf('left'));
-        t.check('offsetOf bottom', 12, RECT.offsetOf('bottom'));
-        // decode 入参随 N 品牌化：命名 struct 收 ArrayBuffer | Ptr<其名字>，
-        // 未命名（N=''）才归一 ArrayBuffer | number
-        expectType(true);
-        expectType(true);
-        if (false) {
-            // @ts-expect-error plain number is not assignable to ArrayBuffer | Ptr<'RECT'>
-            RECT.decode(123);
-        }
-        t.section('GetWindowRect fills RECT buffer');
-        const getWindowRect = bind('user32.dll', 'GetWindowRect', '<>ptr <BYTE>ptr -> i32');
-        const getWindowRectLayout = bind('user32.dll', 'GetWindowRect', '<>ptr <RECT>ptr -> i32', { RECT });
-        const getDesktopWindow = bind('user32.dll', 'GetDesktopWindow', ' -> <>ptr');
-        const hwnd = getDesktopWindow();
-        const wrect = new PtrArrayBuffer(16);
-        const ok = getWindowRect(hwnd, wrect);
-        t.checkTrue('GetWindowRect succeeds', ok !== 0);
-        const wr = RECT.decode(wrect);
-        t.checkTrue('screen RECT non-empty', wr.right > 0 && wr.bottom > 0);
-        // out 参数：encode() 新建零 buffer 返回 PtrArrayBuffer<'RECT'> → .ptr 直接喂
-        // <RECT>ptr，读回走 def.decode(实例)（ArrayBuffer 分支直读）
-        t.section('RECT.alloc() out-param → PtrArrayBuffer');
-        const out = RECT.alloc();
-        t.checkTrue('encode() exposes ArrayBuffer subclass + ptr', out instanceof ArrayBuffer && typeof out.ptr === 'number');
-        t.checkTrue('GetWindowRect(hwnd, out.ptr) succeeds', getWindowRectLayout(hwnd, out.ptr) !== 0);
-        const or = RECT.decode(out);
-        t.checkTrue('RECT.decode(encode()) decodes out-param', or.right > 0 && or.bottom > 0);
-        t.section('ptr layout matches arch');
-        t.check(`TVITEM.size (${os.arch})`, is64 ? 56 : 40, TVITEM.size);
-        t.check('TVITEM.offsetOf pszText', is64 ? 24 : 16, TVITEM.offsetOf('pszText'));
-        t.check('TVINSERTSTRUCT.size', is64 ? 72 : 48, TVINSERTSTRUCT.size);
-        t.check('TVINSERTSTRUCT.offsetOf item', is64 ? 16 : 8, TVINSERTSTRUCT.offsetOf('item'));
-        t.section('nested struct roundtrip');
-        const ins = TVINSERTSTRUCT.encode({
-            hParent: 0x11111111,
-            hInsertAfter: 0x22222222,
-            item: {
-                mask: 1, hItem: 0x33333333, state: 0, stateMask: 0,
-                pszText: 0x44444444, cchTextMax: 100,
-                iImage: 0, iSelectedImage: 0, cChildren: 5, lParam: 0x55555555,
-            },
-        });
-        const got = TVINSERTSTRUCT.decode(ins);
-        t.check('nested hParent', 0x11111111, got.hParent);
-        t.check('nested hInsertAfter', 0x22222222, got.hInsertAfter);
-        t.check('nested cChildren', 5, got.item.cChildren);
-        t.check('nested ptr pszText', 0x44444444, got.item.pszText);
-        t.section('mixed scalar layout (i32/u32/i16/<>ptr；别名机制已移除)');
-        const M = struct('M', {
-            n: 'i32',
-            d: 'u32',
-            w: '<>ptr',
-            s: 'i16',
-            q: '<>ptr',
-        });
-        t.check(`mixed size (${os.arch})`, is64 ? 32 : 20, M.size);
-        const mb = M.encode({ n: -5, d: 0xFFFFFFFF, w: 0xAABBCCDD, s: -7, q: 0x11223344 });
-        const m = M.decode(mb);
-        t.check('i32 -5', -5, m.n);
-        t.check('u32 0xFFFFFFFF', 0xFFFFFFFF, m.d);
-        // ptr 位有符号读（对齐 C 版 JS_NewInt64）：0xAABBCCDD 在 ia32 按 4 字节
-        // 存取 → 符号扩展读成负；x64 8 字节高位 0 → 仍为正
-        t.check('<>ptr 符号读', is64 ? 0xAABBCCDD : -1430532899, m.w);
-        t.check('i16 -7', -7, m.s);
-        t.check('<>ptr 0x11223344', 0x11223344, m.q);
-        // 别名机制已移除：typedef 名塌出词汇表 —— struct 字段值只收规范 token
-        // （仅类型层断言，包成函数体不执行，避免运行时 fail-loud 崩掉 suite）
-        // @ts-expect-error typedef 别名 'DWORD' 已移除
-        void (() => struct('XD', { d: 'DWORD' }));
-        t.section('array sugar + trailing bitfield（数组糖与尾随位域单元并存）');
-        const AS = struct('AS', {
-            v: 'u32[4]',
-            f: 'u32:3',
-        });
-        t.check('size == 20 (16 + 位域单元)', 20, AS.size);
-        t.check('f offset == 16', 16, AS.offsetOf('f'));
-        const asd = AS.decode(AS.encode({ v: [1, 2, 3, 4], f: 5 }));
-        t.check('u32[4][1]', 2, asd.v[1]);
-        t.check('u32:3', 5, asd.f);
-        expectType();
-        t.section('union() entry roundtrip');
-        const U = union({ a: 'u8', b: 'u32' });
-        t.check('union size == 4', 4, U.size);
-        t.check('union offsetOf a', 0, U.offsetOf('a'));
-        t.check('union offsetOf b', 0, U.offsetOf('b'));
-        const ud = U.decode(U.encode({ a: 0, b: 0x01020304 }));
-        t.check('union a 与 b 同偏移（低字节别名）', 0x04, ud.a);
-        t.check('union b', 0x01020304, ud.b);
-        t.section('union 位域完全别名 roundtrip（mingw 实测语义）');
-        {
-            const UB = union({ a: 'u32:1', b: 'u32:1' });
-            t.check('union bitfield size == 4', 4, UB.size);
-            const ud1 = UB.decode(UB.encode({ a: 1, b: 1 }));
-            t.check('a=1,b=1 roundtrip a', 1, ud1.a);
-            t.check('a=1,b=1 roundtrip b', 1, ud1.b);
-            // 同位别名：字段按声明序写入，后写字段覆盖先写字段
-            const ud2 = UB.decode(UB.encode({ a: 1, b: 0 }));
-            t.check('别名覆盖：b=0 后写 → a 读 0', 0, ud2.a);
-            t.check('别名覆盖：b == 0', 0, ud2.b);
-            // 溢出形状（30+4>32）：union 每成员回 offset 0，曾开新单元越出 size
-            const OF = union({ a: 'u32:30', b: 'u32:4' });
-            t.check('overflow union size == 4', 4, OF.size);
-            const od1 = OF.decode(OF.encode({ a: 0x3FFFFFFF, b: 0xF }));
-            t.check('overflow roundtrip a', 0x3FFFFFFF, od1.a);
-            t.check('overflow roundtrip b', 0xF, od1.b);
-            const od2 = OF.decode(OF.encode({ a: 0x3FFFFFFF, b: 0 }));
-            t.check('overflow 别名覆盖 → a 低 4 位被清', 0x3FFFFFF0, od2.a);
-            // 位域 + 普通成员混合：b 曾被 flushUnit 推到 offset 4（越出 size 4）
-            const MX = union({ a: 'u32:1', b: 'u8' });
-            t.check('mixed union size == 4', 4, MX.size);
-            t.check('mixed offsetOf b == 0（曾为 4）', 0, MX.offsetOf('b'));
-            const md = MX.decode(MX.encode({ a: 1, b: 0x54 }));
-            t.check('mixed: b 覆盖 a 所在字节 → a 读 0', 0, md.a);
-            t.check('mixed: b == 0x54', 0x54, md.b);
-            // 嵌套回归：struct 内嵌该 union（raw '#' 形式；union() 装饰对象不能嵌套，
-            // 嵌套 union 的解码类型推导会 TS2589，沿用旧行例 as any——本条是运行时断言），
-            // tail 不被 union 内错位写污染
-            const nestedU = { '#': 'union', a: 'u32:1', b: 'u8' };
-            const NS = struct({ tag: 'u32', u: nestedU, tail: 'u16' });
-            t.check('nested size == 12', 12, NS.size);
-            const nd = NS.decode(NS.encode({ tag: 0xAABBCCDD, u: { a: 1, b: 0x54 }, tail: 0x1234 }));
-            t.check('nested tag', 0xAABBCCDD, nd.tag);
-            t.check('nested u.b == 0x54', 0x54, nd.u.b);
-            t.check('nested tail 不被污染', 0x1234, nd.tail);
-        }
-        t.section('struct() entry: pack 选项 + 键尾 @N（alignas）');
-        const P = struct('P', { a: 'u8', b: 'u32', c: 'u8' }, { pack: 1 });
-        t.check('pack(1) size == 6', 6, P.size);
-        t.check('pack(1) offsetOf b', 1, P.offsetOf('b'));
-        const AL = struct('AL', { a: 'u8', 'b@8': 'u32' });
-        t.check('@N offsetOf a', 0, AL.offsetOf('a'));
-        t.check('@N offsetOf b（字段名已剥离 @N）', 8, AL.offsetOf('b'));
-        t.section('utf-16le string[8] roundtrip & truncation');
-        const W = struct('W', { name: 'u16[8]@utf-16le' });
-        t.check('utf16[8].size == 16', 16, W.size);
-        const wb = W.encode({ name: 'hello' });
-        t.check('read back "hello"', 'hello', W.decode(wb).name);
-        const lb = W.encode({ name: 'a very long string over' });
-        t.check('utf16[8]: payload 7 + NUL', 'a very ', W.decode(lb).name);
-        t.check('utf16 terminator[14..15] == 0', 0, new DataView(lb).getUint16(14, true));
-        t.section("utf-8 string[8] roundtrip & truncation");
-        const C = struct('C', { name: 'u8[8]@utf-8' });
-        t.check('char[8].size == 8', 8, C.size);
-        const cb = C.encode({ name: 'hi' });
-        t.check('read back "hi"', 'hi', C.decode(cb).name);
-        t.check('NUL at [2]', 0, new DataView(cb).getUint8(2));
-        const ctrunc = C.encode({ name: '1234567890' });
-        t.check('char[8]: payload 7 + NUL', '1234567', C.decode(ctrunc).name);
-        t.check('char terminator[7] == 0', 0, new DataView(ctrunc).getUint8(7));
-        t.section('string sugar: 布局与解释正交（错配 roundtrip）');
-        const XS = struct('XS', { buf: 'u8[8]@utf-16le' });
-        t.check('u8[8]@utf-16le size == 8（encoding 不参与布局）', 8, XS.size);
-        const xsd = XS.decode(XS.encode({ buf: 'AB' }));
-        t.check('8 字节按 utf-16le 解出 "AB"', 'AB', xsd.buf);
-        t.section('string sugar as array element');
-        const SA = struct('SA', { rows: { '#': 'array', element: 'u16[4]@utf-16le', length: 3 } });
-        t.check('string[4]×3 size == 24', 24, SA.size);
-        const sad = SA.decode(SA.encode({ rows: ['ab', 'cd', 'ef'] }));
-        t.check('rows[0]', 'ab', sad.rows[0]);
-        t.check('rows[1]', 'cd', sad.rows[1]);
-        expectType();
-        t.section('键侧 alignas @N 与值侧 encoding @ 并存');
-        const KV = struct('KV', { a: 'u8', 's@8': 'u16[4]@utf-8' });
-        t.check('offsetOf a', 0, KV.offsetOf('a'));
-        t.check('offsetOf s（键尾 @8 生效）', 8, KV.offsetOf('s'));
-        t.check('KV size == 16', 16, KV.size);
-        t.section('numeric arrays roundtrip (CArray)');
-        const A = struct('A', {
-            v: 'u16[4]',
-            k: 'i32[2]',
-        });
-        t.check('size == 16', 16, A.size);
-        const ab = A.encode({ v: [1, 2, 3, 4], k: [-1, 300000] });
-        const ad = A.decode(ab);
-        t.check('u16[0]', 1, ad.v[0]);
-        t.check('u16[3]', 4, ad.v[3]);
-        t.check('i32[0] -1', -1, ad.k[0]);
-        t.check('i32[1]', 300000, ad.k[1]);
-        t.section('T[1] stays an array (no scalar degradation)');
-        const ONE = struct('ONE', { v: 'u16[1]' });
-        t.check('size == 2', 2, ONE.size);
-        const one = ONE.decode(ONE.encode({ v: [42] }));
-        t.check('length 1', 1, one.v.length);
-        t.check('[0]', 42, one.v[0]);
-        t.section('array of struct roundtrip (stride = child size)');
-        const PT_DECL = {
-            '#': 'struct',
-            x: 'i32',
-            y: 'i32',
-        };
-        const PT = /* @__PURE__ */ struct('PT', PT_DECL);
-        const POLY = struct('POLY', {
-            count: 'u32',
-            pts: { '#': 'array', element: PT_DECL, length: 3 },
-        });
-        t.check('POLY.size == 28', 28, POLY.size);
-        t.check('POLY.offsetOf pts', 4, POLY.offsetOf('pts'));
-        const poly = POLY.decode(POLY.encode({ count: 3, pts: [{ x: 1, y: 2 }, { x: 3, y: 4 }, { x: 5, y: 6 }] }));
-        t.check('count', 3, poly.count);
-        t.check('pts[0].x', 1, poly.pts[0].x);
-        t.check('pts[2].y', 6, poly.pts[2].y);
-        // 编译期断言：CType IR 推导 — string / 定长数组元组 / 嵌套 struct 递归
-        expectType();
-        expectType();
-        expectType();
-        expectType();
-        expectType();
-        expectType();
-        let rejected = false;
-        try {
-            struct({ v: 'i32[0]' });
-        }
-        catch {
-            rejected = true;
-        }
-        t.check('array length 0 rejected', true, rejected);
-        let rejectedBare = false;
-        try {
-            struct({ p: 'ptr' });
-        }
-        catch {
-            rejectedBare = true;
-        }
-        t.check('bare "ptr" member rejected', true, rejectedBare);
-        // '#' 必填：字段值漏写 '#'（裸嵌套 map）不再默认 struct，直接 throw
-        let rejectedMap = false;
-        try {
-            struct({ outer: { inner: 'u32' } });
-        }
-        catch {
-            rejectedMap = true;
-        }
-        t.check('bare nested map rejected（漏写 #）', true, rejectedMap);
-        // 顶层 '#' 与函数名 kind 不符 → throw（union DECL 误传 struct() 防线）；
-        // 一致（'#': 'struct' 的 DECL 直传形态）→ 按 kind 正常布局
-        let rejectedKind = false;
-        try {
-            struct({ '#': 'union', a: 'u8', b: 'u32' });
-        }
-        catch {
-            rejectedKind = true;
-        }
-        t.check('top-level # kind mismatch rejected', true, rejectedKind);
-        const H = struct('H', { '#': 'struct', a: 'u8', b: 'u32' });
-        t.check('top-level # matching kind accepted（DECL 直传）', 8, H.size);
-        // 类型层 kind 锁（参数交叉 `{ '#'?: 'struct' }` / `{ '#'?: 'union' }`）：DECL 的
-        // '#' 字面与函数名 kind 不符 → 交叉 never，编译期报错。@ts-expect-error 断言该
-        // 报错存在（锁失效则指令未使用、tsc 报错）；仅类型期检查，函数不调用
-        const _kindLock = () => {
-            // @ts-expect-error —— union DECL 传 struct()
-            struct('BAD_U', { '#': 'union', a: 'u8', b: 'u32' });
-            // @ts-expect-error —— struct DECL 传 union()
-            union('BAD_S', { '#': 'struct', a: 'u8', b: 'u32' });
-        };
-        void _kindLock;
-        t.section("pointer member '<>ptr' raw vs '<T>ptr' branded");
-        const PTR = struct('PTR', {
-            raw: '<>ptr',
-            r: '<RECT>ptr',
-            tag: 'u32',
-        });
-        t.check('PTR.size', is64 ? 24 : 12, PTR.size);
-        t.check('offsetOf raw', 0, PTR.offsetOf('raw'));
-        t.check('offsetOf r', is64 ? 8 : 4, PTR.offsetOf('r'));
-        t.check('offsetOf tag', is64 ? 16 : 8, PTR.offsetOf('tag'));
-        const rawOut = RECT.alloc();
-        const pd = PTR.decode(PTR.encode({ raw: rawOut.ptr, r: rawOut.ptr, tag: 7 }));
-        t.check('raw roundtrip', rawOut.ptr, pd.raw);
-        t.check('r roundtrip', rawOut.ptr, pd.r);
-        t.check('tag', 7, pd.tag);
-        // 编译期：'<>ptr' → MaybePtr<''>（NULL|number，与 number 双向可赋值，NULL 即 0 保真）；
-        // '<RECT>ptr' → MaybePtr<'RECT'>（NULL|Ptr，0 保真，传参前收窄）。
-        expectType();
-        expectType();
-        expectType();
-        t.section('f32/f64 layout (MSVC: f@0, double@8)');
-        const FL = struct('FL', {
-            f: 'f32', // float
-            d: 'f64', // double
-        });
-        t.check('size == 16 (f@0, double aligned @8)', 16, FL.size);
-        const fb = FL.encode({ f: 1.5, d: -2.25 });
-        const fr = FL.decode(fb);
-        t.check('float', 1.5, fr.f);
-        t.check('double', -2.25, fr.d);
-        t.section('comctl dialog structs track 32/64-bit ABI');
-        const TCITEMW = struct('TCITEMW', {
-            mask: 'u32',
-            dwState: 'u32',
-            dwStateMask: 'u32',
-            pszText: '<>ptr',
-            cchTextMax: 'i32',
-            iImage: 'i32',
-            lParam: '<>ptr',
-        });
-        t.check('TCITEMW.size', is64 ? 40 : 28, TCITEMW.size);
-        t.check('TCITEMW.offsetOf pszText', is64 ? 16 : 12, TCITEMW.offsetOf('pszText'));
-        t.check('TCITEMW.offsetOf cchTextMax', is64 ? 24 : 16, TCITEMW.offsetOf('cchTextMax'));
-        const TTTOOLINFOW = struct('TTTOOLINFOW', {
-            cbSize: 'u32',
-            uFlags: 'u32',
-            hwnd: '<>ptr',
-            uId: '<>ptr',
-            rect: 'i32[4]',
-            hinst: '<>ptr',
-            lpszText: '<>ptr',
-            lParam: '<>ptr',
-            lpReserved: '<>ptr', // WinXP+ 追加
-        });
-        t.check('TTTOOLINFOW.size', is64 ? 72 : 48, TTTOOLINFOW.size);
-        t.check('TTTOOLINFOW.offsetOf lpszText', is64 ? 48 : 36, TTTOOLINFOW.offsetOf('lpszText'));
-        const OPENFILENAMEW = struct('OPENFILENAMEW', {
-            lStructSize: 'u32',
-            hwndOwner: '<>ptr',
-            hInstance: '<>ptr',
-            lpstrFilter: '<>ptr',
-            lpstrCustomFilter: '<>ptr',
-            nMaxCustFilter: 'u32',
-            nFilterIndex: 'u32',
-            lpstrFile: '<>ptr',
-            nMaxFile: 'u32',
-            lpstrFileTitle: '<>ptr',
-            nMaxFileTitle: 'u32',
-            lpstrInitialDir: '<>ptr',
-            lpstrTitle: '<>ptr',
-            Flags: 'u32',
-            nFileOffset: 'u16',
-            nFileExtension: 'u16',
-            lpstrDefExt: '<>ptr',
-            lCustData: '<>ptr',
-            lpfnHook: '<>ptr',
-            lpTemplateName: '<>ptr',
-            pvReserved: '<>ptr',
-            dwReserved: 'u32',
-            FlagsEx: 'u32', // Win2000+ 追加
-        });
-        t.check('OPENFILENAMEW.size', is64 ? 152 : 88, OPENFILENAMEW.size);
-        t.check('OPENFILENAMEW.offsetOf lpstrFile', is64 ? 48 : 28, OPENFILENAMEW.offsetOf('lpstrFile'));
-        t.check('OPENFILENAMEW.offsetOf Flags', is64 ? 96 : 52, OPENFILENAMEW.offsetOf('Flags'));
-        t.check('OPENFILENAMEW.offsetOf lpstrTitle', is64 ? 88 : 48, OPENFILENAMEW.offsetOf('lpstrTitle'));
-        const BROWSEINFOW = struct('BROWSEINFOW', {
-            hwndOwner: '<>ptr',
-            pidlRoot: '<>ptr',
-            pszDisplayName: '<>ptr',
-            lpszTitle: '<>ptr',
-            ulFlags: 'u32',
-            lpfn: '<>ptr',
-            lParam: '<>ptr',
-            iImage: 'i32',
-        });
-        t.check('BROWSEINFOW.size', is64 ? 64 : 32, BROWSEINFOW.size);
-        t.check('BROWSEINFOW.offsetOf lpszTitle', is64 ? 24 : 12, BROWSEINFOW.offsetOf('lpszTitle'));
-        t.check('BROWSEINFOW.offsetOf ulFlags', is64 ? 32 : 16, BROWSEINFOW.offsetOf('ulFlags'));
-        t.section('NMHDR（嵌套时 MSVC 尾 padding 传染）');
-        const NMHDR_DECL = {
-            '#': 'struct',
-            hwndFrom: '<>ptr',
-            idFrom: '<>ptr',
-            code: 'i32',
-        };
-        const NMHDR = /* @__PURE__ */ struct('NMHDR', NMHDR_DECL);
-        t.check('NMHDR.size', is64 ? 24 : 12, NMHDR.size);
-        t.check('NMHDR.offsetOf code', is64 ? 16 : 8, NMHDR.offsetOf('code'));
-        t.section('NMCUSTOMDRAW / NMLVCUSTOMDRAW (ListView custom draw)');
-        const NMCUSTOMDRAW = struct('NMCUSTOMDRAW', {
-            hdr: NMHDR_DECL,
-            dwDrawStage: 'u32',
-            hdc: '<>ptr',
-            rc: 'i32[4]',
-            dwItemSpec: '<>ptr',
-            uItemState: 'u32',
-            lItemlParam: '<>ptr',
-        });
-        t.check('NMCUSTOMDRAW.size', is64 ? 80 : 48, NMCUSTOMDRAW.size);
-        t.check('NMCUSTOMDRAW.offsetOf dwDrawStage', is64 ? 24 : 12, NMCUSTOMDRAW.offsetOf('dwDrawStage'));
-        t.check('NMCUSTOMDRAW.offsetOf hdc', is64 ? 32 : 16, NMCUSTOMDRAW.offsetOf('hdc'));
-        t.check('NMCUSTOMDRAW.offsetOf dwItemSpec', is64 ? 56 : 36, NMCUSTOMDRAW.offsetOf('dwItemSpec'));
-        const NMLVCUSTOMDRAW = struct('NMLVCUSTOMDRAW', {
-            hdr: NMHDR_DECL,
-            dwDrawStage: 'u32',
-            hdc: '<>ptr',
-            rc: 'i32[4]',
-            dwItemSpec: '<>ptr',
-            uItemState: 'u32',
-            lItemlParam: '<>ptr',
-            clrText: 'u32',
-            clrTextBk: 'u32',
-            iSubItem: 'i32',
-            dwItemType: 'u32',
-        });
-        t.check('NMLVCUSTOMDRAW.size', is64 ? 96 : 64, NMLVCUSTOMDRAW.size);
-        t.check('NMLVCUSTOMDRAW.offsetOf clrText', is64 ? 80 : 48, NMLVCUSTOMDRAW.offsetOf('clrText'));
-        t.check('NMLVCUSTOMDRAW.offsetOf clrTextBk', is64 ? 84 : 52, NMLVCUSTOMDRAW.offsetOf('clrTextBk'));
-        t.check('NMLVCUSTOMDRAW.offsetOf iSubItem', is64 ? 88 : 56, NMLVCUSTOMDRAW.offsetOf('iSubItem'));
-        t.section('NMLISTVIEW / NMITEMACTIVATE');
-        const NMLISTVIEW = struct('NMLISTVIEW', {
-            hdr: NMHDR_DECL,
-            iItem: 'i32',
-            iSubItem: 'i32',
-            uNewState: 'u32',
-            uOldState: 'u32',
-            uChanged: 'u32',
-            ptAction: 'i32[2]',
-            lParam: '<>ptr',
-        });
-        t.check('NMLISTVIEW.size', is64 ? 64 : 44, NMLISTVIEW.size);
-        t.check('NMLISTVIEW.offsetOf iItem', is64 ? 24 : 12, NMLISTVIEW.offsetOf('iItem'));
-        t.check('NMLISTVIEW.offsetOf iSubItem', is64 ? 28 : 16, NMLISTVIEW.offsetOf('iSubItem'));
-        t.check('NMLISTVIEW.offsetOf uNewState', is64 ? 32 : 20, NMLISTVIEW.offsetOf('uNewState'));
-        t.check('NMLISTVIEW.offsetOf uOldState', is64 ? 36 : 24, NMLISTVIEW.offsetOf('uOldState'));
-        t.section('LVITEMW / LVCOLUMNW');
-        const LVITEMW = struct('LVITEMW', {
-            mask: 'u32',
-            iItem: 'i32',
-            iSubItem: 'i32',
-            state: 'u32',
-            stateMask: 'u32',
-            pszText: '<>ptr',
-            cchTextMax: 'i32',
-            iImage: 'i32',
-            lParam: '<>ptr',
-            iIndent: 'i32',
-            iGroupId: 'i32',
-            cColumns: 'u32',
-            puColumns: '<>ptr',
-            piColFmt: '<>ptr',
-            iGroup: 'i32',
-        });
-        t.check('LVITEMW.size', is64 ? 88 : 60, LVITEMW.size);
-        t.check('LVITEMW.offsetOf iItem', 4, LVITEMW.offsetOf('iItem'));
-        t.check('LVITEMW.offsetOf pszText', is64 ? 24 : 20, LVITEMW.offsetOf('pszText'));
-        t.check('LVITEMW.offsetOf iImage', is64 ? 36 : 28, LVITEMW.offsetOf('iImage'));
-        t.check('LVITEMW.offsetOf lParam', is64 ? 40 : 32, LVITEMW.offsetOf('lParam'));
-        const LVCOLUMNW = struct('LVCOLUMNW', {
-            mask: 'u32',
-            fmt: 'i32',
-            cx: 'i32',
-            pszText: '<>ptr',
-            cchTextMax: 'i32',
-            iSubItem: 'i32',
-            iImage: 'i32',
-            iOrder: 'i32',
-            cxMin: 'i32',
-            cxDefault: 'i32',
-            cxIdeal: 'i32',
-        });
-        t.check('LVCOLUMNW.size', is64 ? 56 : 44, LVCOLUMNW.size);
-        t.check('LVCOLUMNW.offsetOf pszText', is64 ? 16 : 12, LVCOLUMNW.offsetOf('pszText'));
-        t.check('LVCOLUMNW.offsetOf iSubItem', is64 ? 28 : 20, LVCOLUMNW.offsetOf('iSubItem'));
-        t.check('LVCOLUMNW.offsetOf iOrder', is64 ? 36 : 28, LVCOLUMNW.offsetOf('iOrder'));
-        t.section('NMDATETIMECHANGE');
-        const SYSTEMTIME_DECL = {
-            '#': 'struct',
-            wYear: 'u16',
-            wMonth: 'u16',
-            wDayOfWeek: 'u16',
-            wDay: 'u16',
-            wHour: 'u16',
-            wMinute: 'u16',
-            wSecond: 'u16',
-            wMilliseconds: 'u16',
-        };
-        const NMDATETIMECHANGE = struct('NMDATETIMECHANGE', {
-            hdr: NMHDR_DECL,
-            dwFlags: 'u32',
-            st: SYSTEMTIME_DECL,
-        });
-        t.check('NMDATETIMECHANGE.size', is64 ? 48 : 32, NMDATETIMECHANGE.size);
-        t.check('NMDATETIMECHANGE.offsetOf dwFlags', is64 ? 24 : 12, NMDATETIMECHANGE.offsetOf('dwFlags'));
-        t.check('NMDATETIMECHANGE.offsetOf st', is64 ? 28 : 16, NMDATETIMECHANGE.offsetOf('st'));
-        t.section('NMLINK szUrl offset');
-        const LITEM_DECL = {
-            '#': 'struct',
-            mask: 'u32',
-            iLink: 'i32',
-            state: 'u32',
-            stateMask: 'u32',
-            szID: 'u16[48]@utf-16le',
-        };
-        const LITEM = /* @__PURE__ */ struct('LITEM', LITEM_DECL);
-        const NMLINK = struct('NMLINK', {
-            hdr: NMHDR_DECL,
-            item: LITEM_DECL,
-            szUrl: 'u16[2084]@utf-16le',
-        });
-        t.check('LITEM.offsetOf szID', 16, LITEM.offsetOf('szID'));
-        t.check('NMLINK.offsetOf szUrl', is64 ? 136 : 124, NMLINK.offsetOf('szUrl'));
-        // === 位域读/写往返 ===
-        // 布局 ground truth 在 test_ffi_struct_layout.ts（mingw 交叉实测），这里只测读写。
-        t.section('bitfield roundtrip: LSB→MSB 打包 + 读改写隔离');
-        {
-            // 字段按序写入同一 buffer：写 d 时单元里已有 a/b/c 的位，
-            // 若 writeBitfield 不做读改写（直接 val<<bit）会把 a/b/c 清零。
-            const BF = struct('BF', {
-                a: 'u32:3',
-                b: 'u32:5',
-                c: 'u32:4',
-                d: 'u32:10', // 3+5+4+10=22 <= 32
-                tail: 'u32',
-            });
-            t.check('BF.size == 8', 8, BF.size);
-            const bd = BF.decode(BF.encode({ a: 5, b: 31, c: 15, d: 1023, tail: 0xDEAD }));
-            t.check('a (LSB)', 5, bd.a);
-            t.check('b', 31, bd.b);
-            t.check('c', 15, bd.c);
-            t.check('d (max 10-bit)', 1023, bd.d);
-            t.check('tail survives bitfield unit', 0xDEAD, bd.tail);
-            // 位域写不破坏同单元的邻居：a=5 后写 b=31，a 仍为 5
-            t.check('a survives b write', 5, bd.a);
-        }
-        t.section('bitfield roundtrip: signed sign extension');
-        {
-            const SB = struct('SB', {
-                s: 'i32:8',
-                u: 'u32:4',
-            });
-            t.check('SB.size == 4 (同宽不分签别，共单元)', 4, SB.size);
-            const sbd = SB.decode(SB.encode({ s: -5, u: 9 }));
-            t.check('signed -5', -5, sbd.s);
-            t.check('unsigned 9', 9, sbd.u);
-            t.check('signed -1', -1, SB.decode(SB.encode({ s: -1, u: 0 })).s);
-            t.check('signed 127 (min int8)', 127, SB.decode(SB.encode({ s: 127, u: 0 })).s);
-            t.check('signed 128 → -128', -128, SB.decode(SB.encode({ s: 128, u: 0 })).s);
-        }
-        t.section('bitfield roundtrip: overflow starts a new unit');
-        {
-            const OV = struct('OV', {
-                a: 'u32:30',
-                b: 'u32:4', // 30+4=34 > 32 → 新单元，剩余 2 位废弃
-                c: 'u32',
-            });
-            t.check('OV.size == 12', 12, OV.size);
-            t.check('OV.offsetOf b (new unit)', 4, OV.offsetOf('b'));
-            t.check('OV.offsetOf c', 8, OV.offsetOf('c'));
-            const ovd = OV.decode(OV.encode({ a: 0x3FFFFFFF, b: 15, c: 7 }));
-            t.check('OV a (max 30-bit)', 0x3FFFFFFF, ovd.a);
-            t.check('OV b', 15, ovd.b);
-            t.check('OV c', 7, ovd.c);
-        }
-        t.section('bitfield: DCB roundtrip (Windows serial port config)');
-        {
-            const DCB = struct('DCB', {
-                DCBlength: 'u32',
-                BaudRate: 'u32',
-                fBinary: 'u32:1',
-                fParity: 'u32:1',
-                fOutxCtsFlow: 'u32:1',
-                fOutxDsrFlow: 'u32:1',
-                fDtrControl: 'u32:2',
-                fDsrSensitivity: 'u32:1',
-                fTXContinueOnXoff: 'u32:1',
-                fOutX: 'u32:1',
-                fInX: 'u32:1',
-                fErrorChar: 'u32:1',
-                fNull: 'u32:1',
-                fRtsControl: 'u32:2',
-                fAbortOnError: 'u32:1',
-                fDummy2: 'u32:17',
-                wReserved: 'u16',
-                XonLim: 'u16',
-                XoffLim: 'u16',
-                ByteSize: 'u8',
-                Parity: 'u8',
-                StopBits: 'u8',
-                XonChar: 'i8',
-                XoffChar: 'i8',
-                ErrorChar: 'i8',
-                EofChar: 'i8',
-                EvtChar: 'i8',
-                wReserved1: 'u16',
-            });
-            t.check('DCB.size == 28', 28, DCB.size);
-            const d = DCB.decode(DCB.encode({
-                DCBlength: 28, BaudRate: 0x1C200,
-                fBinary: 1, fParity: 0, fOutxCtsFlow: 0, fOutxDsrFlow: 0,
-                fDtrControl: 2, fDsrSensitivity: 1, fTXContinueOnXoff: 0,
-                fOutX: 1, fInX: 0, fErrorChar: 1, fNull: 0,
-                fRtsControl: 2, fAbortOnError: 1, fDummy2: 0,
-                wReserved: 0, XonLim: 200, XoffLim: 100,
-                ByteSize: 8, Parity: 0, StopBits: 0,
-                XonChar: 3, XoffChar: 4, ErrorChar: 0xFF,
-                EofChar: 3, EvtChar: 0x4, wReserved1: 0,
-            }));
-            t.check('DCBlength', 28, d.DCBlength);
-            t.check('BaudRate', 0x1C200, d.BaudRate);
-            t.check('fBinary', 1, d.fBinary);
-            t.check('fParity', 0, d.fParity);
-            t.check('fDtrControl', 2, d.fDtrControl);
-            t.check('fDsrSensitivity', 1, d.fDsrSensitivity);
-            t.check('fOutX', 1, d.fOutX);
-            t.check('fRtsControl', 2, d.fRtsControl);
-            t.check('fAbortOnError', 1, d.fAbortOnError);
-            t.check('fDummy2', 0, d.fDummy2);
-            t.check('wReserved', 0, d.wReserved);
-            t.check('XonLim', 200, d.XonLim);
-            t.check('XoffLim', 100, d.XoffLim);
-            t.check('ByteSize', 8, d.ByteSize);
-            t.check('Parity', 0, d.Parity);
-            t.check('StopBits', 0, d.StopBits);
-            t.check('XonChar', 3, d.XonChar);
-            t.check('XoffChar', 4, d.XoffChar);
-            t.check('ErrorChar (i8)', -1, d.ErrorChar);
-            t.check('EofChar', 3, d.EofChar);
-            t.check('EvtChar', 4, d.EvtChar);
-            t.check('wReserved1', 0, d.wReserved1);
-        }
-        // 类型层：位域成员值类型是 number
-        {
-            const BF = struct('BF', {
-                a: 'u32:3',
-                s: 'i32:8',
-            });
-            expectType();
-            expectType();
-        }
-        // 位域 width>53：值域装不进安全整数 → bigint（与类型层 BitShape 同界）
-        t.section('bitfield width>53: bigint roundtrip (u64/i64)');
-        {
-            // u64:60 + u64:4 同单元混合形态：>53 的字段 bigint、≤53 的字段 number
-            const W64 = struct('W64', {
-                u: 'u64:60',
-                v: 'u64:4',
-            });
-            t.check('u64:60+u64:4 size == 8（同单元）', 8, W64.size);
-            t.check('v 与 u 同单元 offset == 0', 0, W64.offsetOf('v'));
-            const big = 0x0fffffffffffffffn; // 60 位内大值 > 2^53
-            const d1 = W64.decode(W64.encode({ u: big, v: 15 }));
-            t.check('u64:60 大值精确往返', big, d1.u);
-            t.check('u64:4 同单元往返', 15, d1.v);
-            expectType();
-            expectType();
-            // i64:60 负值符号扩展 → 精确 bigint（回归：曾被有符号分支的 Number() 截断）
-            const I64 = struct('I64', { s: 'i64:60' });
-            const neg = -12345678901234567n;
-            t.check('i64:60 负值精确往返', neg, I64.decode(I64.encode({ s: neg })).s);
-            // 符号位为 0 的正值：width>53 → 依然 bigint
-            t.check('i64:60 正值 bigint', 100n, I64.decode(I64.encode({ s: 100n })).s);
-            expectType();
-            if (false) {
-                // @ts-expect-error width>53 位域收 bigint，number 被类型层拒绝
-                I64.encode({ s: 42 });
-            }
-            // 分界：53 → number（2^53-1 精确），54 → bigint（2^54-1 精确）
-            const B53 = struct('B53', { a: 'u64:53' });
-            expectType();
-            t.check('u64:53 边界 number 精确', 9007199254740991, B53.decode(B53.encode({ a: 9007199254740991 })).a);
-            const B54 = struct('B54', { a: 'u64:54' });
-            expectType();
-            t.check('u64:54 边界 bigint 精确', 18014398509481983n, B54.decode(B54.encode({ a: 18014398509481983n })).a);
-        }
-        // ============ token @Enum：struct 字段值域 ============
-        t.section('struct 字段 @Enum: 词汇定义点拒绝 + 值域收窄 + 必填判定');
-        {
-            // 定义点拒绝（∉ SimpleValue —— 未知枚举名与拼错 token 同一道闸）。if(false)
-            // 纯类型层断言：位域反例运行时 normToken 也会 throw，不执行。
-            if (false) {
-                // @ts-expect-error 未知枚举名（TypoEnum ∉ keyof EnumMap）
-                struct('Bad1', { m: 'u32@TypoEnum' });
-                // @ts-expect-error 位域单元不收 @（值域标注对位域无意义，词汇拒）
-                struct('Bad2', { m: 'u32@WmMsg:3' });
-                // @ts-expect-error ptr 位未知枚举名
-                struct('Bad3', { p: '<>ptr@TypoEnum' });
-                // @ts-expect-error 数组糖元素同样受词汇守卫
-                struct('Bad4', { a: 'u32@TypoEnum[4]' });
-            }
-            // 合法定义：数字位 + ptr 位 @ 标注
-            const EV = struct('EV', {
-                msg: 'u32@WmMsg', // WM_NULL = 0 ∈ 值域 → encode 可省
-                key: 'u32@MouseKeyFlag', // 仅 MK_SHIFT = 4，0 ∉ 值域 → encode 必填
-                hp: '<>ptr@SetWindowPosHwnd', // ptr 位（HWND_TOP = 0 ∈ → 可省）
-            });
-            // decode：值域收窄（与 bind 签名位同构；异种枚举/域外字面量由枚举 nominal 拦）
-            const dev = EV.decode(EV.encode({ key: 4 }));
-            expectType();
-            expectType();
-            expectType();
-            t.check('数字位 @ 字段归一往返', 4, dev.key);
-            // encode 必填判定：0 ∉ 值域的 @ 字段必填（省略 = 新槽写 0 = 静默违约）；
-            // 0 ∈ 值域可省。下面 { key } 行能编译即 msg/hp 可省的断言。
-            EV.encode({ key: 4 /* MouseKeyFlag.MK_SHIFT */ });
-            // @ts-expect-error key 必填：省略即编译错（0 ∉ MouseKeyFlag）
-            EV.encode({ msg: 0 });
-            if (false) {
-                // @ts-expect-error 域外字面量（3 不是任何 MK_ 标志）
-                EV.encode({ key: 3 });
-                // @ts-expect-error 跨枚举误用（WmMsg 成员不是 MouseKeyFlag）
-                EV.encode({ key: 1 /* WmMsg.CREATE */ });
-            }
-            // 数组糖元素带 @：lower 递归归一（normToken 剥 @）+ 元素值域
-            const EA = struct('EA', { msgs: 'u32@WmMsg[4]' });
-            const dea = EA.decode(EA.encode({ msgs: [0, 1, 2, 0] }));
-            expectType();
-            t.check('数组 @ 元素运行时归一往返', 2, dea.msgs[2]);
-        }
-        // ============ EncodeIn 后序穿透：嵌套/数组子树含必填 ⇒ 父键必给 ============
-        t.section('EncodeIn DFS 后序：子树含必填 ⇒ 键必填；值后序合成（非必填兄弟可省）');
-        {
-            // 嵌套子结构含 '!'（内层强制）+ 标量/字符串糖（内层可省：''/0 是合法零值）
-            const NSUB_DECL = {
-                '#': 'struct',
-                hp: '<X>ptr!',
-                rest: 'u32',
-                s: 'u16[4]@utf-8',
-            };
-            const NSUB = /* @__PURE__ */ struct('NSUB', NSUB_DECL);
-            const NOUT = struct('NOUT', { top: 'u32', sub: NSUB_DECL });
-            // decode 造全量对象（hp 槽预填非零，绕 '!' 的 decode 0 断言）
-            const nbuf = new PtrArrayBuffer(NOUT.size);
-            new DataView(nbuf).setUint32(NOUT.offsetOf('sub') + NSUB.offsetOf('hp'), 0x1234, true);
-            const dn = NOUT.decode(nbuf);
-            NOUT.encode(dn); // 全量回喂 ✓
-            NOUT.encode({ sub: dn.sub }); // 顶层 top 可省 ✓
-            // B 形态关键钉：内层非必填兄弟 rest/s 可省（A「全量严格形」形态此行编译错）
-            NOUT.encode({ sub: { hp: dn.sub.hp } });
-            // @ts-expect-error 嵌套穿透：sub 子树含 '!' ⇒ sub 必填 —— 省略即编译错
-            NOUT.encode({ top: 1 });
-            // @ts-expect-error 内层 '!' 必填：sub.hp 省略即编译错，不静默写 0
-            NOUT.encode({ sub: { rest: 1 } });
-            // 数组穿透：元素 0 ∉ 值域 ⇒ 整组必填（省 = 元素全 0 静默违约）
-            const ARMAND = struct('ARMAND', { keys: 'u32@MouseKeyFlag[2]' });
-            ARMAND.encode({ keys: [4, 4] });
-            // @ts-expect-error 数组含必填元素：整组省略即编译错
-            ARMAND.encode({});
-            // weak-type 防线在「无必填」分支保持：裸 number 与全可选形无公共键（TS2559）。
-            // if(false) 纯类型层断言（运行时 encode(123) 会炸，不执行）。
-            if (false) {
-                // @ts-expect-error 无必填 struct 的入参退化纯 DeepPartial，裸 number 被拦
-                RECT.encode(123);
-            }
-        }
-    },
-};