化（「列」于（「字符串」合「爻」合「表达式」））而「有」

文言：重读须复其形，名与注亦同。汉语：检查绑定遮蔽、匿名绑定、自由变量、顺序、公开性、转义及前端元数据的精确往返。

「字符串」

暂无说明。

「表达式」

暂无说明。

（「字符串」合「整数」合「整数」合「整数」合「整数」）

暂无说明。

（「列」于「节点名称」）

暂无说明。

（「列」于（「字符串」合「爻」合「表达式」））

文言：源码之形可读，手书亦可重入。汉语：验证自然函数及文件引用扩展，并直接解析手写阶段源码。

「字符串」

暂无说明。

「字符串」

文言：手书之文亦可入，非独印本可回。汉语：独立手写源码必须解析为预期绑定结构，避免只验证打印器自身的约定。

（「列」于（「字符串」合「爻」合「表达式」））

暂无说明。

化「字符串」而「有」

文言：词法之文即原书，空白与注皆不失。汉语：词法文本保留原始源码，去掉阶段标头后重词法，连空文件和原文已有同名注释也必须精确往返。