用途：s4h-logic 是逻辑工具包的入口，用于对论点、计划、推理和系统进行逻辑分析，先诊断需要哪种逻辑工作，再路由到相应工具。
主要能力与路由：
- logic-council：完整的多顾问压力测试，含同行评审，适合复杂、重要的论证。
- logic-check：快速全面的逻辑报告，覆盖前提、推理、谬误、隐含假设与结论。
- argument-validation：验证前提是否支持结论，区分演绎有效性与可靠性。
- consistency-check：发现文档或规范中的内部矛盾，按严重程度分类。
- causality-mapping：梳理因果关系、依赖与后果，找出关键路径与脆弱假设。
- constraint-mapping：梳理决策或计划的约束版图，区分硬约束、软约束与假设约束，找出冲突与可放宽项。
- logic-fixer：诊断推理失败之处并产出修正后的有效论证；若结论无法挽救，说明可支持的结论。
使用方式：路由会先进行 framing check，用一句话确认被检验的论证与利害关系，并通过 AskUserQuestion 让用户确认；随后用 AskUserQuestion 确认方向，选项包括直接运行、列出全部选项、快速版本或重新诊断。不确定时默认走 logic-check。
限制：资料未提供安装命令、价格、平台支持或具体运行环境等信息。