形式化

Formal Appendix | 公理化附录Module: spec/formal-appendixPurpose: MVM 核心概念的形式化定义与符号约定Status: Living Document (持续更新)概述本附录为 MVM 的核心概念提供半形式化定义。我们有意保持一定的开放性——这不是一套封闭的公理系统，而是一个可扩展的形式化接口，欢迎研究者在此基础上提出更严格的数学形式。