docs: unify language switchers - current language plain, other language linked (match README)
docs: refresh current counts - 36 reference cases (12 families), 38 boundary, 268 total
Testing/Performance: suite 36/36 clean — host-variant FALSE_POSITIVEs resolved via craftable translation
Performance: lightning suite after faithful-replica batching — 173-194ms, timeout=0
benchmarks: v1.1.0
benchmarks: v1.0.0
恢复 CI 基准数据(v1.0.0, 美国 runner): 被前次 force push 覆盖
术语对齐上游 + 死环对标表述更新 对照上游 README_en/README.md: 替代槽/组→替换槽/组, 子合成→子样板(上游正统); 死环预剪对标更新为'上游 v1.13.12 主线已内置(环感知样板选择), 本移植独立实现'; 英文页 substitute 首现处加 replacement 映射注(1.12 API canSubstitute)
wiki 初版: 中英双语七页(概述/功能/架构/求解器/性能/测试/差异) + 侧边栏 主中文次英文, 每页顶部互跳; 性能页含 ci-benchmarks 标记区块待发版 CI 填充