Nothing here is a testimonial. Everything here is checkable.
LEXUN is new, so this page contains no press logos and no borrowed credibility. What it contains instead is the verifiable state of the system: what is tested, what is proven, what is versioned, and what is still zero.
Automated verification
160 automated checks run against the engine before any release ships — covering RNG determinism, hash stability, evidence-gate refusals, monotonicity (more cash never lowers survival; a bigger commitment never raises it), Brier scoring, calibration binning, forecast freezing, version immutability, materiality detection and trust-receipt integrity.
Suite: /platform/tests.mjs · run: node tests.mjs · current status: 160/160 passing
The suite ships in the site bundle itself — download it and run it. A claim you can execute is the only kind we make.
Determinism proof — run it yourself
Every result carries a seed, model version and input hash. Identical inputs + seed ⇒ identical output, bit for bit. The canonical worked example:
model runway@1.0.0 · seed 564 · P(survival) band 60–70% · id rw_52f9a7c3_234
Reproduce it in one click on the Reproduce a result page, or independently via the published API contract example.
The calibration record
Resolved outcomes: 0. LEXUN publishes no accuracy percentage until at least 10 outcomes per domain have resolved against frozen criteria. This zero is the load-bearing fact of the whole product: it proves the accuracy record cannot be faked, because we could have faked it already and did not. Method and scoring rules: Accuracy Centre.
Versioned model changelog
| Version | Date | Change |
|---|---|---|
| runway@1.0.0 · core@1.0.0 | 2026-07 | Initial release: seeded Monte-Carlo runway model, evidence gates, frozen resolution criteria. |
| career@1.0.0 · learning@1.0.0 | 2026-07 | Career financial-resilience model; outcome-gated learning layer; governor checks. |
| career@1.1.0 · opportunity@1.0.0 · challenge@1.1.0 | 2026-07 | Independent heuristic cross-checks; major-purchase affordability model. 120 checks passing. |
| reality@1.0.0 | 2026-07 | Decision Reality layer: monitored assumptions, materiality engine, forecast versioning, trust receipts, .lexun export. 160 checks passing. |
Methodology never changes silently: every change lands here and in the Accuracy Centre with its version number.
Worked case studies
LEXUN launched in 2026 and has no client testimonials yet — and we will not invent any. What we can publish today are fully worked, anonymised decision cases: real engine runs whose every number you can reproduce. As real outcomes resolve, their Brier scores will be appended here — whatever they show.
Case 1 — Small business runway. £80,000 cash, £12,000/mo revenue growing 2%/mo (±15% volatility), £18,000/mo costs, 12-month horizon. Forecast: 60–70% probability of maintaining positive cash (PROBABLY SAFE, WATCH IT); top driver monthly revenue; stress case falls near 30%. runway@1.0.0 · seed 564 · rw_52f9a7c3_234 — reproduce it. Outcome: resolves against the frozen criterion at its due date; no outcome yet, so no score is claimed.
Case 2 — Career change. £12,000 buffer, £2,400/mo essential costs, £2,600/mo expected new income after a 6-month ramp (±30% volatility). The engine prices the transition honestly: the buffer question is resolvable, career "success" is not — so only the former is forecast. career@1.1.0 · worked example seed 705 — full walk-through.
Case 3 — Major purchase. £12,000 buffer, £6,000 upfront, £550/mo commitment against £2,600/mo net income and £2,050/mo essentials. The model reports buffer survival and the break-even commitment, and its adversarial challenge flags the assumed running costs as the evidence gap. opportunity@1.0.0 · worked example seed 507 — full walk-through.
What would falsify us
If our resolved forecasts turn out mis-calibrated, the calibration table will say so — it is computed, not written. We commit to publishing that table whether it flatters us or not. That commitment, not a promise of accuracy, is the product.