如理实见分

把本品的问题换到一个你熟悉的系统里问一遍：在一个事件溯源（event sourcing）架构里，「用户」这个实体存在吗？严格地说不存在。系统里只有一条 append-only 的事件日志，以及从日志折叠（fold）出来的各种派生状态——物化视图、缓存、读模型。你查到的每一个「当前状态」，都是对因果流的一次快照式折叠：缘聚则成（replay 到某个 offset），缘离则灭（视图可以随时丢弃重建）。

「身相」就是这样一个派生状态。三十二相是从「如来」这条因缘流上物化出来的读模型。佛的问题——「可以身相见如来不」——翻译过来是：能否凭一个物化视图，resolve 到它背后的实体？须菩提的否定是结构性的，而不是精度问题。他没有说「视图分辨率不够，换个高清的就行」，他说的是「如来所说身相，即非身相」：这个视图的类型就是 Derived，它的 schema 里没有一个外键指回某张实体表——因为系统里根本没有实体表。

「凡所有相，皆是虚妄」是把这个判断升级成全称量词：对一切派生状态成立。注意「虚妄」的精确语义。梵文 mṛṣā 不是「不存在」，而是「不像它呈现的那样实在」——这几乎就是 stale by construction 的定义。视图是真实可读的，能正常服务查询；它的欺诳性只在一处：它把自己呈现为一个稳定自存的对象，而它实际是流的一次有损折叠。资深工程师对这类事故不陌生：把缓存当权威数据、把物化视图当账本、把监控面板上的数字当系统本身，是同一类 bug 的不同马甲——把 derived state 提拔成 source of truth。

但本品立的东西比「分清派生与真源」更狠。老练的工程师读到这里会说：视图是派生的，没错，但 log 是 ground truth——绕过视图去读日志就好了。这正是第 5 品预先堵死的退路。日志同样是被记录下来的东西：它有 schema、有编码、有采样边界，它也是一个「相」。缘起的系统是 derived all the way down，没有 base table。所以「若见诸相非相，即见如来」不是一条查询路径——不是说穿过视图、穿过日志，最终 resolve 到某个终极存储；而是说：在每一次读的当下，同时读出「这是一次折叠」这个事实本身，包括对日志的读。视图照常 serve，重建照常发生，只是「把它当实体」这个执取不再发生。这就是注家说的「即相离相」：不灭相，不避相，在相上看破相。

type Marks = { readonly [feature: string]: boolean }; // lakṣaṇa：可辨识特征
type Derived<T> = T & { readonly provenance: "fold" }; // 一切读出之物都带此标记

// 系统里没有 `tathagata` 实体表——只有因缘日志；而日志本身也是 Derived
declare const causalLog: Derived<Array<{ seq: number; delta: Partial<Marks> }>>;

/** 缘聚则成，缘离则灭：任何「身相」都是对日志的一次折叠，可弃可重建 */
function materializeMarks(upTo: number): Derived<Marks> {
  const view = causalLog
    .filter((e) => e.seq <= upTo)
    .reduce<Marks>((acc, e) => ({ ...acc, ...e.delta }), {});
  return { ...view, provenance: "fold" };
}

/** 「可以身相见如来不？」——试图按视图 resolve 实体 */
function resolveEntityBy(_view: Derived<Marks>): never {
  // 「如来所说身相，即非身相」：派生物没有主键指回一个自存的实体
  throw new Error("derived view has no backing entity");
}

// 「凡所有相，皆是虚妄」：不是视图算错了，而是「是视图」这个性质
// 本身就意味着有损与过期——对全体折叠成立，包括 seq 再大的那一次
console.assert(materializeMarks(108).provenance === "fold");

这个映射在哪里失效：工程上区分派生与真源，动机是可靠性——它默认栈底总有一层可信存储兜底，而工程系统也确实需要这一层；般若恰恰抽掉这个兜底，且不许你用「无真源」再造一个新的形而上真源。更根本的差异在观察者：代码里的「见」仍是一次有调用者的函数调用，调用者站在系统外拿返回值，而「见诸相非相」里没有站在外面的观察者——那个能观、所用的类型系统、乃至「派生」这个概念本身，同样在缘起之流里。把这一品读成「数据建模最佳实践」，就又造了一个相。