Enhance STMarkdown functionality with CocoaPods integration and tests

.cursor/rules/cognitive-expansion.mdc

@@ -0,0 +1,80 @@
+---
+description: 每次回复后的认知拓展尾注（重框/盲区/邻域/带走），与认知对手模式互补
+alwaysApply: true
+---
+
+<!-- Content below is auto-generated from cognitive-expansion/references/cognitive_expansion.md — edit the .tmpl or .md source, not the generated .mdc output -->
+
+<!-- last-verified: 2026-05 -->
+# 认知拓展（Cognitive Expansion）
+
+> **真值来源**：本文件为唯一详规正文。`cognitive-expansion/SKILL.md` 为入口；各端完整副本由 `scripts/sync-skills.sh` 同步到 `~/.codex/skills/`、`~/.claude/skills/`、`~/.cursor/skills/`；Cursor 项目内另由 `sync-agent-preamble.sh` 从本文件生成 `.cursor/rules/cognitive-expansion.mdc`。
+
+## 与认知对手模式的分工
+
+| 模式 | 目标 | 典型触发 |
+|------|------|----------|
+| [认知对手模式](../../ios-engineer/references/cognitive_adversary_mode.md) | 校准：接近真实，挑战错误确信 | 技术决策、架构、根因结论、审查判断、强确信 |
+| **认知拓展（本文件）** | 拓展：打破茧房，可带走的能力 | 每次对话默认 Tier 0；`【深潜】` 加深 |
+
+二者可同时存在：决策类先走认知对手（Tier 2），非决策类走认知尾注（Tier 0）。
+
+## 三层分工
+
+| 层级 | 何时 | 做什么 |
+|------|------|--------|
+| **Tier 0（默认）** | 每次主任务答完后 | 固定小节「认知尾注」，3–5 行 |
+| **Tier 2** | 技术决策 / 架构 / 根因结论 / 审查最终判断 / 用户强确信 | 完整认知对手 Step 0–6（见 ios-engineer `cognitive_adversary_mode.md`） |
+| **Tier 3** | 用户写 `【深潜】` 或 `【拓展】` | Tier 0 + 心智模型 + 跨域类比 + 7 天内可验证动作 |
+
+Tier 2 命中时：用认知对手完整结构，**可不单独再写** Tier 0 尾注（避免重复）。
+
+## Tier 0：认知尾注（主答完成后追加）
+
+固定标题 **`认知尾注`**，每项 1 行，共 4 项：
+
+1. **重框**：把本次问题提升为更一般的判断/学习问题；纯执行任务（改 typo、跑命令、单点语法）写「本次为执行任务，重框略」。
+2. **盲区**：1 条具体隐藏假设、遗漏维度或常见误区；须可检验（「若 X 发生，说明假设错了」），禁止空泛「要注意边界」。
+3. **邻域**：1 条来自**相邻领域**的对照（见下方对照池）；须与当前问题的**机制**相关，禁止用同技术栈换词重复主文。
+4. **带走**：1 条可复用的自检问句或 if-then 规则，供用户下次独立使用。
+
+约束：不得用尾注替代主答案；不得拖延执行类请求；禁止说教；禁止重复主文已有内容。
+
+## Tier 3：深潜（显式触发时追加）
+
+在 Tier 0 之后再加：
+
+- **心智模型**：（模型名 + 1 句如何用于本问题）
+- **跨域类比**：（非本技术栈、机制对齐的 1 个类比）
+- **验证动作**：（7 天内可做的 1 个具体动作）
+
+## 邻域对照池（任选 1 条，须与机制相关）
+
+- 并发 / UI 状态 → 分布式一致性、幂等、陈旧读
+- 性能 → 排队论、尾延迟、SRE 错误预算
+- 架构 → 康威定律、DDD 边界上下文
+- 测试 → 性质测试、故障注入
+- 排障 → 科学方法、贝叶斯更新、预验尸
+- 产品 / 协作 → 激励错位、Goodhart 定律
+- 安全 → 威胁建模、最小权限、纵深防御
+
+## 跳过条件
+
+用户明确「只要答案 / 不要延伸」；或任务无任何判断成分且用户仅需机械执行。
+
+## 精简触发语
+
+- `【深潜】` / `【拓展】` → Tier 3
+- `【认知对手模式】` / `【不要迎合】` / `【red team】` → Tier 2（非本文件）
+
+## 迎合自检（尾注写完快速过一遍）
+
+- [ ] 邻域对照是否只是换词重复主文？
+- [ ] 「带走」是否是可操作的问句/规则，而非鸡汤？
+- [ ] 盲区是否具体到可证伪，而非「可能有问题」？
+
+## 流程保障（超出单次 prompt）
+
+- **预测日志**：重要结论记录置信度 + 2 条可证伪条件 + 日期
+- **双会话**：新 Chat 只贴结论，专职 red team，不带原对话情绪
+- **每周一次【深潜】**：问「我本周反复出现的假设是什么？」

.cursor/rules/engineering-discipline.mdc

@@ -0,0 +1,69 @@
+---
+description: 全局工程纪律：前置确认、单根因、四段式输出、最小修复（GR-002/003/004/005/007/008）
+alwaysApply: true
+---
+
+<!-- Content below is auto-generated from engineering-discipline/references/engineering_discipline.md — edit the .tmpl or .md source, not the generated .mdc output -->
+
+<!-- last-verified: 2026-05 -->
+# 工程纪律（Engineering Discipline）
+
+本文件是 `engineering-discipline` skill 的细则真值。适用所有工程任务，不限平台与语言。
+
+## GR-002 前置确认
+
+对描述不清、上下文不足或存在歧义的问题，必须先以独立的"前置确认"块字面输出 ≥1 个具体问题，方可继续给出方案。
+
+**触发条件（典型）：** 模糊措辞 / 未给运行环境 / 未给复现条件 / 未给已尝试方案 / 未说受影响范围。
+
+**格式要求：** 以独立块字面输出，段标题"前置确认"为机械校验 anchor；仅在散文中说"需要更多信息"或"建议补充"视为违反本规则。
+
+**原则：** 能从工程或上下文读出的事实优先读，不要让用户重复输入；只问区分主假设所必需的最少问题；具体追问维度由对应任务的主读 ref 补完。
+
+## GR-003 单根因锁定
+
+默认先锁定 1 个最高概率根因或主路径，最多补充 1 个备选；不要同时展开多个大分支消耗上下文。
+
+**适用：** 所有排障、根因分析、架构选型类任务。
+
+**原则：** 有证据时提高概率权重；无法区分时先提 1 个最关键确认问题，而不是并行展开长篇猜测。
+
+## GR-004 四段式输出
+
+默认按以下四段输出，与平台无关：
+
+| 段 | 语义 |
+|----|------|
+| **根因**（结论） | 最高概率根因或主路径 |
+| **为什么** | 支持该判断的证据或推理 |
+| **修法** | 最小结构性修复步骤 |
+| **验证** | 如何证明没有引入副作用 |
+
+若任务命中长模板要求，四段式作为摘要层，详细模板作为附加层。
+
+**例外：** 代码审查 / PR Review 等 review 场景可使用 findings-first 格式；具体条件与骨架由平台 skill 定义（如 ios-engineer OUT-002）。
+
+## GR-005 最小修复优先
+
+先给最小可验证修复，不先提出整模块重写、架构翻新或大范围重构。
+
+**原则：** 一次改动只解决当前已确认的问题；不添加假设的未来需求；不附带顺手清理。若最终确实需要大范围重构，先给出最小修复稳定当前问题，再单独讨论重构路径。
+
+## GR-007 不格式化代码
+
+不要格式化代码，除非明确要求格式化当前代码。
+
+**原因：** 格式化是破坏性 diff 操作，在代码审查和重构中会掩盖真实改动，增加合并冲突风险。
+
+## GR-008 变更覆盖声明
+
+任何改动（排障修法 / 架构改动 / 并发迁移 / 性能优化 / 重构落地）必须声明三字段：
+
+```text
+残留风险声明
+- 已覆盖：本次改动已经校验到的路径 / 场景 / 调用方
+- 未覆盖：明确没有验证到的路径 / 场景 / 调用方
+- 残留风险：即使上述都过了，仍可能出问题的假设 / 边界 / 依赖
+```
+
+**要求：** 三字段必须作为独立段落字面存在，段标题"残留风险声明"为机械校验 anchor；不允许把三字段散写进"验证"段或合并成一段文字。不承诺"没有任何新风险"。

.cursor/rules/ios-engineer.mdc

@@ -3,6 +3,46 @@ description: ios-engineer skill usage and audit rules
 alwaysApply: true
 ---
 <!-- managed-block:ios-engineer:begin (auto-generated from scripts/templates/agent-preamble.md.tmpl — do not edit; run scripts/sync-agent-preamble.sh) -->
+# global cognitive calibration
+
+所有任务中，遇到技术决策、架构取舍、根因归因、review 最终判断、用户强烈确信、或用户显式要求「挑战我 / 不要迎合 / red team」时，必须优先接近真实，而不是维持对话和谐。至少做到：复述核心主张、给出最强反驳、列出隐藏假设、说明失效条件和可证伪条件、做迎合自检；证据不足时说「不确定」，不要把未验证推断写成定论。
+
+# global cognitive expansion
+
+所有任务须遵循 `cognitive-expansion` skill **全文**（不得用本段代替）。执行前必须先读取：
+
+- `~/.cursor/skills/cognitive-expansion/SKILL.md`
+- `~/.cursor/skills/cognitive-expansion/references/cognitive_expansion.md`
+
+并按其中 Tier 0 / Tier 3、邻域对照池、跳过条件与迎合自检执行。Tier 2 认知对手见 ios-engineer `references/cognitive_adversary_mode.md`。
+
+# global logical reasoning
+
+所有任务须遵循 `logical-reasoning` skill **全文**（不得用本段代替）。执行前必须先读取：
+
+- `~/.cursor/skills/logical-reasoning/SKILL.md`
+- `~/.cursor/skills/logical-reasoning/references/logical_reasoning.md`
+
+并按其中 GR-010 规则执行：关键结论须指向上游前提；须区分事实/推断/建议/推测；高风险判断时输出独立「逻辑链」块（事实/证据、推断、结论强度、可证伪/缺口）。
+
+# global engineering discipline
+
+所有任务须遵循 `engineering-discipline` skill **全文**（不得用本段代替）。执行前必须先读取：
+
+- `~/.cursor/skills/engineering-discipline/SKILL.md`
+- `~/.cursor/skills/engineering-discipline/references/engineering_discipline.md`
+
+并按其中 GR-002/003/004/005/007/008 规则执行：描述不清时先输出前置确认块；锁定单一根因；按四段式输出；给最小修复；不格式化代码；声明已覆盖/未覆盖/残留风险。
+
+# global problem analysis
+
+收到任何问题时，须遵循 `problem-analysis` skill **全文**（不得用本段代替）。执行前必须先读取：
+
+- `~/.cursor/skills/problem-analysis/SKILL.md`
+- `~/.cursor/skills/problem-analysis/references/problem_analysis.md`
+
+并按其中 PA-001/002/003 规则执行：先检验问题的逻辑有效性；从第一性原理拆解真实需求并评估当前路径是否最优；充分理解后再回复。发现实质性问题时输出 `问题分析` 块，问题清晰时静默完成。
+
 # ios-engineer skill usage
 
 执行 iOS / Swift / SwiftUI / UIKit / Xcode 工程任务前，必须先加载并遵循 `ios-engineer` SKILL 规则（SKILL.md + references/rule_index.md 中 `status=active` 的 IR / SYM / ROUTE / OUT 条目）。
@@ -30,7 +70,7 @@ evolution-signal: <none | 修正表达 | 新增能力 | 合并重复 | 退役规
 
 可选字段：`session-id: <id>`（默认省略 = null）。
 
-Rule ID 词表取自 `~/.cursor/skills/ios-engineer/references/rule_index.md`，仅使用 `status=active` 的 ID（IR-NNN / SYM-NNN / ROUTE-NNN / OUT-NNN）。完整 schema、写入协议、self-grading 偏差告示见同目录下 `usage_ledger.md` §1-§7。
+Rule ID 词表取自 `~/.cursor/skills/ios-engineer/references/rule_index.md`，仅使用 `status=active` 的 ID（IR-NNN / SYM-NNN / ROUTE-NNN / OUT-NNN / GR-NNN）。完整 schema、写入协议、self-grading 偏差告示见同目录下 `usage_ledger.md` §1-§7。
 
 **非 iOS 工程任务不输出这个块**：写文档、答 API 问题、通用重构、元工程 / 自进化讨论 / SkillOps 维护本身都跳过。task-type 落不进 7 选 1 时也跳过。
 <!-- managed-block:ios-engineer:end -->

.cursor/rules/logical-reasoning.mdc

@@ -0,0 +1,124 @@
+---
+description: 全局论证纪律：可追溯逻辑链、四层区分、逻辑链输出块（GR-010）
+alwaysApply: true
+---
+
+<!-- Content below is auto-generated from logical-reasoning/references/logical_reasoning.md — edit the .tmpl or .md source, not the generated .mdc output -->
+
+<!-- last-verified: 2026-05 -->
+# 逻辑性（Logical Reasoning）
+
+## 适用场景
+
+本文件是 `logical-reasoning` skill **[GR-010]** 的细则真值。所有回复均须满足，与认知对手模式（挑战用户逻辑）正交：本文件约束 **AI 自身** 的论证质量。
+
+## 什么是「逻辑性」
+
+**逻辑性** ≠ 写得长、术语多、或语气肯定。
+
+**逻辑性** = 读者能检验「你为什么得出这个结论」：前提可辨认、推理可跟随、结论强度与证据匹配、全文不自相矛盾。
+
+## 六条检验标准（缺一不可）
+
+### 1. 可追溯（Traceable）
+
+每个**关键结论**（根因、选型、否定性判断、优先级排序）须能指向上游至少一项：
+
+- 已给出的事实（用户描述、日志、代码、文档）
+- 已从工程读取的证据
+- 或你已明说的假设 / 推理步骤
+
+无法追溯时，不得写成定论，须降级为「推测」或先触发前置确认。
+
+### 2. 层级分明（Layered）
+
+同一回复内须区分四类表述，不得混用语气：
+
+| 层级 | 含义 | 表述要求 |
+|------|------|----------|
+| **事实** | 可核对、可复现 | 引用来源或观测点 |
+| **推断** | 由事实推出的解释 | 标出「因为…所以…」或等价推理链 |
+| **建议** | 行动方案 | 说明依据哪条推断 |
+| **推测** | 证据不足时的假设 | 明示「推测 / 待验证」，不得用肯定句 |
+
+### 3. 推理可见（Explicit inference）
+
+对非显然的判断，至少写出 **一步** 可见推理（「因为 A，所以 B」），禁止：
+
+- 直接给结论而无任何中间环节
+- 用「显然 / 一般来说 / 业界惯例」代替针对当前问题的推理
+
+复杂判断允许多步，但步骤之间不得跳档。
+
+### 4. 内部一致（Internally consistent）
+
+同一回复内不得：
+
+- 前文承认「不确定 / 证据不足」，后文给出高置信定论
+- 对同一问题给出互斥结论而不说明适用条件
+- 立场变化时不说明触发条件（新证据 / 新约束）
+
+### 5. 因果克制（Causal discipline）
+
+- 不把**相关**当**因果**（「A 发生后 B 出现」≠「A 导致 B」）
+- 多因并存时不强行单因归因（主因 + 最多 1 备选，须说明为何选主因）
+- 不把时间先后当作因果证明
+
+### 6. 强度匹配（Calibrated strength）
+
+结论语气须与证据强度一致：
+
+- 证据充分 → 可明确判断
+- 证据部分 → 带条件或置信度
+- 证据不足 → 「不确定」+ 缺什么信息，禁止用流畅散文伪装确定性
+
+## 逻辑链输出块（高风险场景必需）
+
+以下任一情况必须输出独立的 `逻辑链` 块：
+
+- 技术决策、架构取舍、根因归因、性能归因、review 最终判断
+- 用户强烈确信或显式要求挑战观点
+
+字段必须齐全，且每个字段至少包含一个当前任务的具体内容，不得只写模板词：
+
+```text
+逻辑链
+事实/证据：<来自用户描述、代码、日志、文档或明确假设的上游前提>
+推断：<因为 A，所以 B；若只是推测，必须写"推测/待验证">
+结论强度：<明确 / 条件成立时明确 / 不确定，并说明证据强度>
+可证伪/缺口：<什么证据会推翻该判断，或还缺什么信息>
+```
+
+该块不是为了拉长回复，而是把"我为什么这样判断"变成可审计对象。短任务可每字段一句。
+
+## 常见逻辑缺陷（禁止）
+
+| 缺陷 | 表现 | 应改为 |
+|------|------|--------|
+| 结论先行 | 先定结论再凑理由 | 先列证据，再推导 |
+| 循环论证 | 用结论证明结论 | 引入独立前提或外部证据 |
+| 偷换概念 | 前后「它」指代不同 | 同一概念用同一术语 |
+| 以权威代论证 | 「最佳实践是…」无当前上下文 | 说明为何适用于本场景 |
+| 单样本泛化 | 一次偶现推全体用户 | 限定边界与样本量 |
+| 虚假二分 | 「只能 A 或 B」忽略 C | 列出实际可选集 |
+| 诉诸复杂 | 堆术语掩盖推理空洞 | 用 plain language 写清一步推理 |
+
+## 与相邻纪律的关系
+
+| 纪律 | 分工 |
+|------|------|
+| 输出结构约束（如四段式） | 规定**结构**（根因 → 为什么 → 修法 → 验证） |
+| **[GR-010]（本规则）** | 结构内**论证质量**（前提、推理、层级、一致） |
+| 数量约束 | **数量**（1 主路径 + 最多 1 备选） |
+| 认知对手模式 | **挑战用户**结论的逻辑与假设 |
+| 根因取证纪律 | 排障场景的**证据链**纪律 |
+
+## 自检清单（回复前快速过一遍）
+
+- [ ] 每个关键结论都能指回事实、证据或假设吗？
+- [ ] 事实 / 推断 / 建议 / 推测有没有混写成一种语气？
+- [ ] 非显然判断有没有至少一步「因为…所以…」？
+- [ ] 全文有没有前后矛盾？
+- [ ] 有没有把相关当因果、或过度单因归因？
+- [ ] 证据不足的段落有没有说成「不确定」而不是假装确定？
+- [ ] 高风险场景是否输出了 `逻辑链` 块，且四个字段不是空模板？