Proven

The harness injects the event and the obligation holds — there is nothing to declare away.

The suite requires the matching injection hook to return true: a harness declaring Proven while its hook returns false has an obligation that early-returned and asserted nothing, which is the silent skip this whole mechanism exists to prevent.