PreDealCheck

What it does

PreDealCheck takes a SaaS deal claim — "3 active customers", "EUR 3,600 ARR", "10% churn" — and a source table. It recomputes the claim from that table and reports one of four honest states, with the rows and arithmetic attached. The states are mutually exclusive: a claim is either supported by the evidence, contradicted by the evidence, defined differently, or unverifiable because the source is absent or unreadable.

The four states

Unverified is never favorable. A claim can only be Contradicted when a present, readable source was actually recomputed and the arithmetic disagrees like-for-like.

What it refuses to compute

Logo churn from a snapshot is disabled. Period churn needs a starting cohort plus period events — joins, reactivations, departures. The arithmetic "lost rows / all rows" from an arbitrary snapshot does not prove churn. A vendor could have acquired new accounts between your snapshot date and today; a customer lost in the snapshot window might have rejoined; or the snapshot might not capture the actual churn period at all.

For this reason, when a claim is "10% churn" and only a snapshot table is provided, PreDealCheck returns Unverified with the reason "Period churn needs a starting cohort and period events; snapshot churn is disabled." This is not evasion. This is refusal to amplify a number that is not evidence of churn.

PreDealCheck also does not compute:

• One-off or non-recurring revenue: only explicitly recurring MRR is annualized.
• FX conversion or revenue recognition.
• Usage-based billing modeling or consumption forecasting.
• Document extraction or LLM-based field matching.

Status

PreDealCheck is a local prototype. There are, as of today:

• No customers
• No paid pilots
• No revenue

This is development-stage software. It is not in production and not integrated with any platform. Tests, fixtures, and repository activity are not traction.

What it is not

PreDealCheck is explicitly not:

• An audit or accounting certification.
• Investment advice. No buy/sell recommendation, no valuation, no "this deal is safe".
• A fraud verdict. A contradiction is a discrepancy to reconcile, not an allegation.
• A legal opinion or diligence in a legal sense.
• An independent accuracy certification or a promise that all tests passing means the numbers are correct.

Evidence discipline

Every finding carries the source name, the source hash, the source version, the row numbers that contributed, the date as of, the currency, the claimed value, the recomputed value, the gap as a fraction, and a reason statement in words. A human must be able to rerun the number by hand.

The engine uses decimal arithmetic, never binary floats. It is deterministic: same input, byte-identical output. No clock, no randomness, no network, no LLM call in the core path.

Learn more

• Methodology — how the states work and what metrics are implemented.
• Sample report — a synthetic example showing what a report looks like.