We closed the September review with the same discipline as always: separate what is proven from what is assumed and from what is missing. Confusing those three categories is the expensive mistake.
What can be shown today
- A Rust posting engine with rules as data: 45 tests, more than twenty caught mutations.
- The real legacy catalogue, fully readable: 30,937 rules, 7,852 operation types and all 56 financial formulas translated with the source line number alongside.
- Three packs with real rules — Treasury, Equity Markets and Mutual Funds — loaded and tested against hand-traced oracles.
- PostgreSQL and SQL Server 2022 posting the same corpus and matching to the cent.
- An HTTP service with login, roles, sessions, per-tenant configuration and an audit trail: 267 tests.
- A product UI verified in the browser: trading day, funds, capture, blotter, treasury and administration.
- The two SOAP services SABI exposes today, answered as they are, plus their REST equivalent.
- Reproducible deployment with Docker and demo regeneration from an empty database.
What we still do not claim
Parity to the cent against production. Everything is translated literally and verified against oracles, but the definitive proof is shadow mode running beside the legacy system. The comparator already exists; the capture side of the legacy system does not yet.