On Wed, 15 Oct 2025 at 02:12, Tom Honermann <tom_at_[hidden]> wrote:

> My expectation is that standard library implementations will not tie
> their choice of a contract semantic for hardened precondition to any
> particular choice of contract semantic for user written contract
> assertions and will instead rely on some other implementation dependent
> way to select a contract semantic for hardened preconditions. Do you
> have a different expectation?

I expect that the implementations won't be using contracts, and won't
be using such a suggested
implementation-dependent way to select a contract semantic, because
using such an implementation-dependent
way requires a library implementation to possibly use three or more
different ones, if that many or any even exist.

Doing that also has the significant advantage of being exactly the
same implementation for the pre-standard hardening
and the standard hardening, while being fully conforming to the
standard specification.

This is already covered in the section of my paper under the title "Is
this QoI?"