API Reference / SyntheticDiagnosis · interface
Interface: SyntheticDiagnosis
Why a system is unsatisfiable, if it is — the impossible/residual honesty
pattern, mirroring CompiledForm. A system with problems
still computes for the bodies that are individually valid, but flags the rest
rather than silently producing garbage.
Extended by
Properties
| Property | Type | Description |
|---|---|---|
<a id="impossible"></a> impossible | boolean | true when at least one problem makes the system ill-defined. |
<a id="problems"></a> problems | string[] | One human-readable line per problem (empty when the system is sound). |