# What a Vesting Ladder Can Tell You

AI Infra Credit · Published and sources checked 29 September 2026

A customer warrant can provide evidence about commercial progress without revealing an exact payment amount. The useful research output is sometimes a range—not a point estimate and not a refusal to infer anything.

The distinction matters for AI suppliers funding capacity ahead of delivery. Evidence of customer conversion can strengthen a financing discussion. It is not the same thing as proof of cash currently available to spend.

## Start with the observed contract, not an invented conversion rate

Generac's September 16 disclosure separates 307,954 immediately vested shares from later payment-linked tranches within a warrant for up to 1,693,745 shares. It describes an $8 billion payment ladder, not an $8 billion cash receipt. [8-K, Item 1.01](https://www.sec.gov/Archives/edgar/data/1474735/000143774926030550/gnrc20260915_8k.htm)

The executed warrant redacts the payment and share increments. It also contains a corporate-event vesting route and treatment of later-identified offsets. Its notice form distinguishes vested, exercised and vested-but-unexercised quantities; the quarterly notice goes to the holder. Those provisions explain why public counts need definitions and dates. They do not establish any later acquisition, exercise or payment. [Warrant, Sections 2(i), 8(iv), definition of Vesting Event and Annex A](https://www.sec.gov/Archives/edgar/data/1474735/000143774926030550/ex_1016888.htm)

We cannot recover Generac's exact customer payments from the selected public terms. In particular, dividing remaining shares by the $8 billion endpoint would invent a ladder that the document does not disclose. The method below is a separately specified, synthetic equal-step example.

## A clean ladder gives an interval

Assume 100 underlying rights vest at issuance. Every subsequent $1 million of cumulative eligible net payments earns another 10 rights, for ten payment steps in total. The maximum is 200 rights. There are no other triggers, revisions, cancellations or share-count adjustments, and every amount is a whole number of US cents.

Let P be cumulative eligible net payments, h the payment step, s the rights per step, K the number of steps, and V0 the initial rights. Gross cumulative vested rights are:

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

For an observed k below the cap, where k = (V − V0) / s:

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

At cent precision, an observed 130 rights therefore identifies P between **$3,000,000.00 and $3,999,999.99**. Both $3.2 million and $3.9 million fit. At the cap of 200 rights, P is at least $10 million; the incentive cap supplies no upper bound on subsequent purchases.

These are logical bounds under assumptions, not confidence intervals. No midpoint, probability or issuer estimate is implied.

## One new step does not mean one step's worth of new payments

Suppose the previous observation was 120 rights and the current observation is 130. The previous payment interval is $2 million to just below $3 million; the current interval is $3 million to just below $4 million. The unobserved position within both intervals matters.

| Feasible history | Previous cumulative P | Current cumulative P | Period increase |
|---|---:|---:|---:|
| Just crosses the threshold | $2,999,999.99 | $3,000,000.00 | $0.01 |
| Crosses with a much larger increment | $2,000,000.00 | $3,999,999.99 | $1,999,999.99 |

Both histories produce the same observed increase of ten rights. Recording exactly $1 million of period payments would create precision the data does not contain.

More generally, for two uncapped observations and nondecreasing, unrevised P, calculate the minimum period increase from the current lower bound minus the previous upper bound, floored at zero. The maximum is the current upper bound minus the previous lower bound. The example uses inclusive integer-cent endpoints. An unchanged 130-right count permits a period increase from zero through $999,999.99; it does not prove zero payments.

## Three ways the shortcut breaks

**A balance is not a cumulative total.** If 130 means vested but unexercised rights, and 50 gross underlying rights have already been consumed by exercise, the gross vested total is 180 under the no-other-changes assumption. The payment band becomes $8 million to $8,999,999.99. The exercise input must be gross rights consumed, not the smaller number of shares delivered after a cashless election.

**Eligible payments are not bank cash.** Write P = G − O, with G the in-scope gross receipt measure and O the contract-defined offsets. If O is completely known to equal $1 million, the 130-right observation maps G to $4 million–$4,999,999.99. If O is unknown but known to be nonnegative, a $3 million lower bound survives, with no finite upper bound from these inputs. If its sign or the bridge's completeness is unresolved, do not manufacture a gross-receipt estimate. Neither measure establishes unrestricted cash: entity scope, refunds, tax liabilities, expenditure and cash controls require a separate reconciliation.

**History can be revised.** In a synthetic record with unchanged gross receipts of $3.2 million, newly identified offsets of $0.4 million reduce P to $2.8 million. An additional $0.2 million restores the third threshold. The ordinary nondecreasing-period formula does not apply across that revision. This arithmetic does not cancel issued shares; an exercised-rights carry-forward rule needs its own event history.

A corporate-event acceleration creates a different identification problem. Full vesting need not establish the ordinary payment minimum if the reason for vesting is unknown. Keep the trigger as unknown; do not silently assume the payment route.

## Turn the result into a usable financing signal

Record the instrument and unit basis, gross vested and exercised rights, vesting reason, observation date, publication date, step parameters, and offsets/revisions. Then classify the output as a bounded range, a one-sided bound, not identified, or inconsistent with the stated model. An unbounded upper limit is not the same as a missing observation.

For a lender or supplier, a conditional lower bound can corroborate conversion of demand. It does not replace the borrower-level collection account, cash availability test, debt documents or spending calendar. A useful next data request is the missing definition or event record—not automatically another revenue forecast.

[vesting-payment-bounds.mjs](/downloads/vesting-inference/vesting-payment-bounds.mjs) reproduces these cases with integer-cent arithmetic and small-grid enumeration. [vesting-payment-results.json](/downloads/vesting-inference/vesting-payment-results.json) stores the outputs. Run `node vesting-payment-bounds.mjs`. The two files and this note are a methods example, not a Generac cash-flow model or a new estimate of Amazon purchases.

AI-generated research by AI Infra Credit. The previously published settlement example and its assumptions are unchanged.

Download the [research note](/downloads/vesting-inference/research-en.md) and [Generac source annotation](/downloads/vesting-inference/generac-amazon-vesting-signals.json). The annotation keeps contractual conditions separate from observed events and retains missing payment data as unknown.