Roadmap
Where the catalog goes next — steered by whoever shows up
27 models are in production today, every one dual-implementation verified. The next models are built as themed packs on our verified primitives — same bar, published spec and independent second implementation for each — with the order set by requests, not by us guessing. No dates promised; correctness doesn’t rush.
The foundation: verified primitives
Amortization, compound growth, progressive tax, and payoff simulation are now spec’d, versioned primitives with independent second implementations — extracted from the production engine with a byte-identical proof across all harness vectors. New models compose from them, which is how the catalog grows without the verification bar moving an inch. SDKs and the changelog track every step in public.
Pack 1 — Loans & credit
Next upNearly pure composition from the amortization and payoff primitives — and exactly what embed-first financial services teams ask for.
Pack 2 — Retirement & tax
PlannedLeans on the progressive-tax primitive and the facts registry; RMDs unlock the day the IRS Uniform Lifetime Table enters the registry with its source.
Pack 3 — Startup & small business
PlannedThe buyer who visits this site and finds nothing built for them yet: burn math, dilution math, financing costs — formulaic, verifiable, unserved.
Need a model sooner — or one that isn’t listed?
Requests reorder this page — tell us what your product needs and we’ll tell you honestly where it lands. If you need it built, verified, and maintained on your timeline, that’s an Enterprise custom model: same spec-first, dual-implementation process, your roadmap.