可计算结构主义：神话变体的范畴重写演算

神话与叙事的结构主义方法在文本细读中极具吸引力，但难以跨传统、媒介和规模进行比较。我们提出了一个形式化框架，将列维-斯特劳斯式转换转化为数学，同时保持作为叙事分析的可读性。变体、超级英雄连续性和特许经营弧线被建模为在耦合双寄存器状态 $(X,Y)$ 上的类型化重写程序，该状态抽象了日常/社会通道与象征/合法性通道。规范公式成为一致性数据：更新自函子之间的自然变换 $\eta:U\Rightarrow V$，其中 $U$ 原地更新每个寄存器，而 $V$ 执行交换+反转。上下文通过算子选择被内化，将自然性转化为面向语料的类型检查：失败诊断出错误指定的对立或非法转换；成功见证连贯的结构模型。顺序效应由一个五值不变量（Key）概括。我们将该方法应用于80个叙事（20个民间故事、20个宗教神话、20个超级英雄、20个特许经营），每个编码为带有Key的 $(a,b,x,y)$。59/80（74%）在 $y$ 中明确命名了规范性约束（法律、禁忌、契约、预言），支持双寄存器抽象。其结果是结构人类学与文化分析之间可测试的桥梁：故事保持可解释性，同时成为用于计算、比较和可证伪转换约束的可传输对象。