"A decision model can guarantee conformity to a predefined output schema without thereby guaranteeing that its chosen decision is factually correct."
TypeSafe distinguishes its guaranteed type-safe outputs from the empirical evaluation of model performance and acknowledges that its reported zero schema-error figure is not an empirical measurement. This supports the manuscript's refund example, where a model constrained to approve or reject can return a perfectly valid output while selecting the wrong action.
View Source