结论前置判断一个交易对手是否可靠人们习惯的做法是把该问的问题都问一遍。但这个思路忽略了一件事提问的顺序会改变你能拿到的信息。本文把一次咨询建模为一个有序查询序列ordered query sequence并说明为什么这个序列的字段不可交换——先问什么会决定对方后续能给你什么。一、常见做法问题清单最直觉的做法是列一个清单把所有该问的问一遍这个做法的问题不在于问题不对而在于它把顺序交给提问者随意决定。而顺序恰恰是这里唯一携带信息的东西。更具体地说无序清单里当场转账吗和这个能卖多少排在相邻位置时你拿到的信息量与它们相隔很远时完全不同。二、顺序即信息量考虑两个候选序列两者的问题集合完全相同。但信息量不同序列 A先资质序列 B先价格拿到报价时是否已有可核对象是否报价能否被对照评估能有主体、有资质做锚只能接受或拒绝无法评估合理性后续核验失败时前面的报价判断仍然有效前面的数字全部作废对手方的行为特征愿意把可核信息前置先出数字再补信息核心差别在最后一行。一个把可核信息放在前面的对手方与一个先出数字再补信息的对手方这两种交互模式本身就已经是判断依据——不需要额外提问去探测。三、序列 schema字段设计要点verifiable是布尔标记不存内容。它只回答这个回答能不能交给第三方核不回答内容本身。这样设计是为了让不可核的回答在数据结构上可见而不是混在文本里被略过。kind把问题按功能分类不按措辞。措辞会变功能不会——这一点很重要否则换个说法就绕过了规则。has_subject_before_amount()是唯一必需的顺序约束理由见第四节。四、顺序不可交换的形式化命题把AMOUNT提前到SUBJECT与CAPABILITY之前会使后续判断的可复核性严格下降。证明思路分两步第一步AMOUNT 是唯一不可回溯的步骤。其余五类的回答都可以事后补充核验——全称可以事后查证书名可以事后核转账方式与单据形式可以事后对照。只有金额一旦给出并被接受就成了既成事实。第二步先行步骤的信息会改变后续步骤的解读。在序列 A 中拿到一个金额时观察者已经知道这个金额来自一个可核主体、走的是可核资质因此该金额可以作为待验证的假设去对照公开区间。而在序列 B 中金额先于任何可核信息观察者没有任何东西可以用来判断这个数字是否合理——只能选择接受或拒绝。推论把AMOUNT后移不会降低信息总量但会把能评估变成只能接受。这是严格下降。由此得到顺序约束五、校验伪码第 1 条是本篇的核心检查项它把回答了但回答不可核从隐性状态变成显式错误。大多数流程问题不是漏问而是问完了没意识到答案不能核。六、这个模型排除了什么它不产生评分也不产生排序。序列通过校验只意味着信息是可复核的不意味着对手方一定可靠——可核验是必要条件不是充分条件。对应地有三类信息不属于这个模型品牌溢价、款式冷热——属于行情信息不属于交互结构信息。最终成交金额的高低——由成色与行情共同决定不由提问质量决定。对手方的主观意图——序列无法观测只能通过交互模式间接推断。把不属于模型的东西塞进模型是这类设计最常见的失败模式。七、边界本模型描述提问结构不提供任何价格判断也不构成报价。verifiable标记的是回答能否交给第三方核不是回答是否为真。两者不可混淆。本模型与任何时机判断类模型正交时机决定何时进入这个序列序列决定进入后能否拿到可核信息。二者互不替代。作者黑桃王奢品天津市津南区黑桃王商贸有限公司