# 从权证归属中，究竟能读出多少客户付款

AI Infra Credit · 2026年9月29日发表及资料核查

客户权证可以提供商业进展的证据，却未必揭示精确付款额。有时，正确的研究产物是一个有条件的区间，而不是单点估计，也不是完全放弃推断。

这对先投入产能、后交付的AI供应商有现实意义：客户需求转化的证据可以支持融资讨论，但不等于证明今天有多少现金可以支出。

## 从公开条款出发，不虚构兑换比例

Generac的9月16日披露，将发行时即归属的307,954股与之后付款挂钩的档次分开；权证原始上限为1,693,745股。文件提及80亿美元的付款阶梯，不代表已经收到了80亿美元。[8-K第1.01项](https://www.sec.gov/Archives/edgar/data/1474735/000143774926030550/gnrc20260915_8k.htm)

执行版权证删节了每档付款和股份增量，另有公司交易触发的归属路径、后续识别抵扣项的处理。通知表格分别记录已归属、已行权和已归属未行权数量，季度通知发送给持有人。这说明公开数量必须带着定义和日期阅读，不证明后来已经发生收购、行权或付款。[权证第2(i)、8(iv)条、Vesting Event定义及附件A](https://www.sec.gov/Archives/edgar/data/1474735/000143774926030550/ex_1016888.htm)

本次选取的公开条款不足以还原Generac的精确客户付款。尤其不能把剩余股份除以80亿美元，擅自生成文件未披露的阶梯。下文另设一个完整、等步长的假设模型，不对该公司作校准。

## 条件完整时，可以求区间

假设发行时归属100份标的权利；之后每累计100万美元的合同口径净合格付款，再归属10份，共十档，权利上限为200份。没有其他触发路径、修订、取消或股份基准调整；所有金额精确到美分。

记累计净合格付款为P，每档付款为h，每档权利为s，最多档数为K，初始权利为V0，则累计总归属权利为：

```text
V(P) = V0 + s × min(floor(P / h), K)
```

对尚未到顶的观测，令k = (V − V0) / s，有：

```text
k × h ≤ P < (k + 1) × h
```

因此，观测到130份权利，只能将P限定为 **3,000,000.00至3,999,999.99美元**。320万美元和390万美元都符合。若达到200份上限，只能说明P至少为1,000万美元；激励上限本身不提供后续采购额的上限。

这是给定假设下的逻辑区间，不是置信区间，也不自动支持中点、概率或公司预测。

## 新增一档，不等于当期多付一档的钱

假设上期为120份，本期为130份。上期累计付款在200万美元至略低于300万美元之间，本期在300万美元至略低于400万美元之间；两个区间内部的具体位置都未知。

| 可行情形 | 上期累计P | 本期累计P | 期间增加 |
|---|---:|---:|---:|
| 刚好跨过门槛 | 2,999,999.99美元 | 3,000,000.00美元 | 0.01美元 |
| 以更大的增量跨过门槛 | 2,000,000.00美元 | 3,999,999.99美元 | 1,999,999.99美元 |

两条路径都只增加10份权利。如果直接记成当期付款100万美元，就制造了证据并不具备的精度。

一般而言，两期都未到顶、P没有下降或修订时：期间增量下界等于本期下界减上期上界，再与零取较大者；上界等于本期上界减上期下界。本例用包含端点的整数美分区间计算。如果两期均为130份，期间付款增加仍可为0至999,999.99美元，不能据此认定没有付款。

## 三种会让捷径失效的情况

**存量余额不是累计总量。** 如果130指已归属但尚未行权的余额，同时已有50份总标的权利因行权被消耗，在没有其他变化时，总归属量应为180，付款区间变成800万美元至8,999,999.99美元。这里的行权数量必须是消耗的总权利，而不是无现金行权后较少的实际交付股份。

**净合格付款不是银行现金。** 令P = G − O，G为相应范围的毛收款指标，O为合同定义的抵扣项目。如果完整知道O等于100万美元，130份的观测可将G限定为400万美元至4,999,999.99美元。如果不知道O的具体金额，但知道它非负，仍可保留300万美元的毛收款下限，只是这些输入不再给出有限上限。连正负方向或桥接关系是否完整都不确定时，则不要制造毛收款估计。二者都不是自由可用现金，仍需核对法律实体、退款、税款义务、已发生支出和账户控制。

**历史可能被修订。** 另一个假设记录中，毛收款仍为320万美元，后来新识别40万美元抵扣，P便降到280万美元。再收到20万美元，就可以重新达到第三档门槛。跨越这种修订，不能沿用“净合格付款只增不减”的公式。这只是门槛算术，不代表已发行股份被取消；涉及已行权权利的后续抵扣，必须另读事件历史。

公司交易触发的加速归属带来另一种识别问题：如果不知道归属原因，全部归属未必证明达到常规付款下限。触发原因应保留未知，不能默认是付款路径。

## 如何转化为可用的融资信号

数据应记录工具与单位基准、总归属和总行权数量、归属原因、观察日、披露日、档次参数以及抵扣／修订。结果分别标为双边区间、单边下限、尚不能识别，或与当前模型不相容。上限无界和缺失观测是两回事。

对贷款人或供应商而言，有条件的付款下限可以佐证需求正在转化。但它不能替代借款实体的收款账户、可用现金测试、债务文件或支出日历。下一项有价值的数据请求，往往是缺少的定义或事件记录，而不必又是一份收入预测。

[vesting-payment-bounds.mjs](/downloads/vesting-inference/vesting-payment-bounds.mjs)用整数美分算术和小尺度穷举复算这些情形，[vesting-payment-results.json](/downloads/vesting-inference/vesting-payment-results.json)保存结果。运行`node vesting-payment-bounds.mjs`即可。这些文件是方法示例，不是Generac现金流模型，也不是Amazon采购额的新估计。

AI Infra Credit的AI生成研究。此前公开的结算例子及其假设保持不变。

下载[中文全文](/downloads/vesting-inference/research-zh.md)、[English note](/downloads/vesting-inference/research-en.md)及[Generac条款注释](/downloads/vesting-inference/generac-amazon-vesting-signals.json)。注释区分合同条件与实际事件，缺失付款数据保留为未知。