化无所化分

做过大型系统的人都有一个共同的直觉：最可靠的节点是无状态的节点。一个无状态的 handler 做的是真实的工作——请求进来，转换发生，响应返回——但它不保留任何东西：没有会话，没有「我服务过的客户」列表，没有随处理量增长的计数器。工作发生了，账没有落下。

本品做的，是把这个直觉推到极限。「若有众生如来度者，如来则有我、人、众生、寿者」——用工程语言重写：一旦系统在完成一次转换之后保留了对它的引用，四样东西被同时实例化。要有一个能拥有这份状态的持久主体（我相：一个必须活得比调用更久的 this）；要有一个被钉在内存里的客户对象（人相）；要有一张不断增长的「所有被我处理过的对象」集合（众生相）；这些状态还必须有生命周期管理（寿者相：TTL、会话、租约）。四相不是四个观念，而是四类被保留的引用。梵文本此处用的是 grāha（执、抓取）而不是 saṃjñā（想）——「执」翻成工程语言就是 retain：关键不在你怎么想，而在调用返回之后你手里还攥着什么。

所以「实无有众生如来度者」不是说转换没有发生，而是说：调用返回，栈帧弹出，没有任何引用存活下来。反过来，只要「我度了他」这条记录还在堆上，它就是一个泄漏——而且是最隐蔽的那种，因为它泄漏出来的不是内存，是「我」本身。那条记录必须有一个记账的主体才能成立，于是「度化」这个动作反手重新构造出了它本该消解的自我。功德账本，就是自我的建堆过程。

第二段经文处理的是命名问题。无状态的服务仍然有名字，日志里仍然写着 service-a handled the request。「如来说有我」就是这个层面的「我」：一个用于路由和沟通的接口标识符，背后并不需要一个必然存在的单例。凡夫的错误是把服务名当成了有状态的实例，以为标识符解析出来的必定是一个持久对象。同理，「凡夫」也只是按当前堆上内容打的运行时标签：一个进程此刻攥着引用，它就表现为凡夫；引用一放，标签即刻失效。标签描述的是当前行为，不是不可变的本质——所以转迷为悟在架构上是可能的，这正是「凡夫者，则非凡夫，是名凡夫」。

from dataclasses import dataclass

@dataclass(frozen=True)
class Teaching:
    """指出方法。随请求生成，不指向任何实体。"""
    content: str

class DeludedTeacher:
    """反面示范：每次度化都落账，四相由此实例化。"""
    def __init__(self) -> None:
        self.liberated: list[str] = []  # 众生相：被持有的客体集合
        self.merit: int = 0             # 我相：必须有个记账的主体

    def liberate(self, being: str) -> Teaching:
        teaching = Teaching(f"path for {being}")
        self.liberated.append(being)    # 「若有众生如来度者」：引用被保留
        self.merit += 1                 # 自我随账本一起增长
        return teaching

class Tathagata:
    """化无所化：转换照常发生，但没有任何字段可供落账。"""
    __slots__ = ()  # 类型层面封死：实例上不可能挂任何状态

    def liberate(self, being: str) -> Teaching:
        # 「实无有众生如来度者」：调用返回，栈帧弹出，不留引用
        return Teaching(f"path for {being}")

def test_liberation_retains_nothing() -> None:
    t = Tathagata()
    t.liberate("subhuti")
    t.liberate("anyone")
    assert not hasattr(t, "__dict__")   # 度前度后，无处结存

这个映射在关键处失效。无状态在工程里是一种权衡后的设计选择——我们本可以存、但为了伸缩性选择不存；而本品说的是「实无」：众生从来就不是一个可被持有的对象，根本不存在那个可供取舍的存储方案。并且无状态服务对请求是冷漠的，佛却在无人调用时依然大悲常运——一个不为任何 SLA 工作、也不写任何日志的进程持续运转，这在工程语义里没有位置，它恰是般若越出代码的地方。