fix(sshx): 由 AI 解释 oracle 返回并容忍格式偏差

[loning]

nyxid oracle 的回复可能包含 Markdown、自然语言或不一致的字段格式，原有精确封装要求会把内容明确的结果送入重试。现在由 caller AI 理解完整的紧凑最终答复，再生成 canonical envelope；例如 approved、无标签的批准或拒绝、同义 verdict 镜像都可按明确语义归一化。

保留全部实质信息、限定条件与 caveat；缺少日志引用时可指向同一次调用实际保存的原始回复。含糊、矛盾、未完成或身份不匹配的结果仍走原有失败路径。canonical verdict、完成证据和权限边界保持严格，不新增自然语言 parser 或同义词字典。

同步 Lean 投影与来源模型、37 项行为语料及独立采集结果校验器。为容纳已评审的接收规则，将 SKILL 字节上限从 65,536 调整为 68,000，保留 451 行上限。

验证：

• 106 项针对性检查通过：99 项合同、3 项采集校验、4 项 formal trace/coverage 检查。
• 新增 Lean 模型通过 lake build；最终语义说明调整仅涉及注释和 trace，可执行声明保持一致。
• 独立 AI 盲采 37 项，语义审阅全部通过（19 complete、18 incomplete）。初次机械检查为 35/37；独立评审确认两条旧断言过严并修正后，同批未改写产物为 37/37。输入、原始期望及首次结果均保留，未重新运行 collector 来迎合期望。
• quick_validate、git diff --check 通过。

这些证据覆盖有限样例和整理后的记录约束，不代表机械证明任意自然语言解释正确。