feat(ffi): 链接源码分层跟踪——CXSparse T1 进仓 vendor + spglib.h 提为跟踪件

CXSparse 3.1.9 vendor 进 src/suitesparse/cxsparse/（native-stub 摊平 55 件： cs.h + SuiteSparse_config + cs_*.c×53），引号包含自解析、无需 -I、无外部 .a——bak/local 与 /mnt/d MATLAB 树退出关键路径（clone 即测）
PROVENANCE.md：出处 MATLAB 发行包、钉 = 版本宏 3/1/9 + 文件清单（无 commit 可钉）、 LGPL-2.1 原文随目录（独立组件，主仓 Apache-2.0 不受染）
spglib.h 2.7.0 提为跟踪件（src/spglib/spglib.h，stub 改引号包含）， .a 仍 T3 外部构建；stub-cc-flags 相应清零
spec.md 卷二补「链接源码分层跟踪」四层表（T1 进仓/T2 系统包/T3 外部构建+头进仓/ T4 运行时）；ctx.md §2 换机清单同步（cxsparse 行改已进仓、spglib.h 改跟踪）
验证：moon test 69/69 绿

MoonMat

国产材料计算平台，对标 Materials Studio，基于 MoonBit 构建。

定位

自主可控的材料研究基础设施，覆盖从原子尺度到宏观性能的全链条模拟。

实现路径：用 MoonBit 的 native FFI 把成熟的开源科学计算库接进来（晶体学文件、对称性、分子动力学、稀疏线性代数），经 C 包装层交 GC 托管；Python 科学生态（pymatgen 等）经 CPython 互操作复用，不重复造轮子。

包	职责	底层库
`cbflib`	晶体学 CIF/CBF 文件读写	CBFlib（libcbf）
`spglib`	晶体对称性 / 空间群分析	spglib（libsymspg）
`hdf5lib`	科学数据 HDF5 读写	HDF5（serial 布局）
`lammpslib`	分子动力学引擎	LAMMPS
`suitesparse`	稀疏矩阵分解（LU / Cholesky / QR）	CXSparse 3.1.9
`mypylib`	Python 互操作（Counter / pymatgen 晶格）	CPython 3.13
`mytypes`	绑定公共 stub 基件	—
`cmd/main`	平台入口，自检各库版本	—

工具链：MoonBit moon，native 后端（preferred_target = "native"）。
系统依赖：libcbf、hdf5（serial）、libsymspg、liblammps、CXSparse；完整清单与换机迁移步骤见 ctx.md §2。
命令：moon check ／ moon test --target native ／ moon run src/cmd/main。
现状：69/69 测试全绿（2026-10-09 修复役），主入口全链路自检通过（spglib 2.7.0 / CBFlib 0.9.6 / LAMMPS 2025-07 / Python 3.13 互操作）。

卷	职责
`spec.md`	规范：C 包装范式（卷一）+ 绑定配置与生成选型（卷二）
`const.md`	纪律：写绑定面四钉（必须/禁止句式）+ 实证对账表；与 spec 冲突以此为准
`ctx.md`	即时账本：修复役实态、换机迁移清单（有时效，可修改）
`todo.md`	战役路线：待役 / 已关战役 / 执行记录滚动追加
`requirements.md`	需求档：对标 Materials Studio 的 FR/NFR/里程碑（决策依据面）

Apache-2.0