feat(core): TLA+ 验证器 + evolution/phone/recursive + lite CLI + sidecar mcp 增强

[frankiehot-tech]

🤖 自动改进 PR — 来自 RSI 进化循环

改进类型

code

描述

提交 6997f712: feat(core): TLA+ 验证器 + evolution/phone/recursive + lite CLI + sidecar mcp 增强

指标变化

无指标数据

变更文件

• src/formal/MarefAgent24.tla
• src/formal/MarefAgent24MC.cfg
• src/formal/MarefJoint34.tla
• src/formal/MarefJoint34MC.cfg
• src/formal/agent_24_validator.py
• src/formal/gray_code_validator.py
• src/formal/joint_symmetry_reduction.py
• src/maref/__init__.py
• src/maref/evolution/daily_loop.py
• src/maref/phone/__init__.py

脱敏说明

本 PR 由私有仓库的 RSI 自进化循环自动生成，
已通过脱敏层移除所有内部路径、密钥和专有引用。

---

Generated by Track A → Track B Bridge v1.0

[cla-assistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.

---

Athena seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

[cla-assistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.

---

Athena seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}