chore(release): add 0.5.5 changelog

Author: moluopro

CHANGELOG-ZH.md

@@ -1,3 +1,20 @@
+## 0.5.5
+
+- Matlab 方阵左除和右除现可识别完整实数三对角系数矩阵，对齐 Matlab R2024a 为稠密输入引入的结构能力。
+- 三对角系统现使用相邻行部分主元 LU 与紧凑对角存储，不再进入一般稠密 LU。
+- 三对角 runtime 支持多列右端项和专用转置求解，因此右除复用同一特化契约。
+- 精确对称正定矩阵现由生成的 JavaScript 与 C++17 使用 Cholesky 分解和三角替换求解。
+- 不是正定的对称矩阵会确定性回退到部分主元稠密 LU，不会暴露失败的 Cholesky 中间结果。
+- 两个输出目标现按对角、三角、三对角、对称正定及稠密回退的固定优先级选择方阵结构。
+- 三对角与 Cholesky 内核现进入统一的迭代 1-范数倒条件估计，用于方阵条件 warning。
+- 精确奇异三对角系统和近奇异正定系统会给出稳定的 Matlab 风格 warning，并继续返回计算结果。
+- 可验证矩阵结构策略现通过 Semantic、MIR、JavaScript LIR 和 `cpp` LIR 表达完整实数方阵分类。
+- 生成 helper 名称现描述实数结构化方阵契约，不再保留早期仅含对角/三角含义的身份。
+- 新增可执行的三对角左/右除、正定、对称不定、奇异及近奇异示例，并验证双目标输出和 warning。
+- 扩充高级结构路径的 source map 断言、verifier 损坏检查、架构检查和 Matlab fuzz seed。
+- 发布性能门禁现覆盖十九类编译场景，其中包含独立的高级结构化方阵 workload。
+- 发布验证现覆盖 216 项内部测试、77 个差分 case、19 个性能场景和 90.40% 生产代码行覆盖率。
+
 ## 0.5.4
 
 - Matlab 方阵左除与右除现会在运行时识别对角、上三角、下三角和一般稠密实数系数矩阵。

CHANGELOG.md

@@ -1,3 +1,20 @@
+## 0.5.5
+
+- Matlab square left and right division now detects full real tridiagonal coefficient matrices, matching the structure introduced for dense inputs in Matlab R2024a.
+- Tridiagonal systems now use an adjacent-row partial-pivoting LU factorization with compact diagonal storage instead of general dense LU.
+- The tridiagonal runtime supports multiple right-hand sides and dedicated transpose solves, so right division uses the same specialized contract.
+- Exact symmetric positive-definite matrices now use Cholesky factorization and triangular substitution in generated JavaScript and C++17.
+- Symmetric matrices that are not positive definite fall back deterministically to partial-pivoting dense LU without exposing a failed Cholesky result.
+- Square structure selection now follows diagonal, triangular, tridiagonal, symmetric-positive-definite, and dense fallback priority in both output targets.
+- Tridiagonal and Cholesky kernels now participate in the same iterative 1-norm reciprocal-condition estimation used for square-system warnings.
+- Exact singular tridiagonal systems and nearly singular positive-definite systems emit the stable Matlab-style warning and continue with the computed result.
+- The verified matrix structure policy now represents full real-square classification through semantic analysis, MIR, JavaScript LIR, and `cpp` LIR.
+- Generated helper names now describe the real structured-square contract and no longer retain the earlier diagonal/triangular-only helper identity.
+- Added executable left/right tridiagonal, positive-definite, symmetric-indefinite, singular, and nearly singular examples with dual-target output and warning validation.
+- Expanded source-map assertions, verifier corruption checks, architecture checks, and Matlab fuzz seeds for the advanced structure paths.
+- The release performance gate now covers nineteen compile scenarios, including a dedicated advanced structured-square workload.
+- Release validation now covers 216 internal tests, 77 differential cases, 19 performance scenarios, and 90.40% production line coverage.
+
 ## 0.5.4
 
 - Matlab square left and right division now detects diagonal, upper-triangular, lower-triangular, and general dense real coefficient matrices at runtime.