Proposit

June 3, 2026

Imports settle on a conclusion more reliably. When an imported argument had several claims that could each be the main point, the builder used to sometimes give up and produce nothing. It now picks the most strongly supported claim as the conclusion, so an import no longer fails just because the conclusion was ambiguous.
Clearer outcome when an argument truly can't be formed. In the rare case where no argument can be built from the source text, the import now finishes with a clear "couldn't build an argument" message instead of an opaque failure.