BennyFit runs every eligibility judgement through Jev, TypeSafe’s typed-readout model. We put Claude Sonnet 5 through the identical pipeline in two configurations, on the same held-out households, and measured all three.
Jev answers all of a household’s checks in a single request, each as a probability over a fixed set of options. A general-purpose model writing the same answers under a schema had to be split into batches to stay within its limits.
Every answer arrives as a distribution, so BennyFit can tell a settled fact from an open one and ask only where the expected change in benefits is worth a person’s time.
Jev never writes a figure. Code finds every amount, Jev says what each one is, and code does the arithmetic, so an amount cannot be invented or mistyped.
Measured on 49 synthetic held-out households, 21 programs each. The error counts are small, the difference from the schema configuration is not statistically significant, and on households missing a deciding fact Jev reached a wrong verdict more often (4 of 10 households, against 1 and 3). The report below covers all of it, with the method and every limitation. Results
A typed-readout decision model compared with schema-constrained generation. Jobin Ayathil, September 2026. 12 pages.
Opening the report…