Function admit_conditional 

fn admit_conditional(precondition: Precondition) -> Result<(), Refusal>

What a surviving Support::Conditional means at execution time.

One of the five preconditions is environmental — it cannot be settled from the unit, so the table publishes it as conditional forever and the engine admits the action:

• Precondition::WithinMaxDatagramSize — no transport in the workspace exposes a maximum datagram size, so the verdict arrives as send_datagram failing, which is a Reporter::failed, not a refusal, and the session survives it.

The other four are facts about the unit, and Target supplies every one of them, so reaching those arms means a CapCtx was assembled somewhere other than Target::cap_ctx. no_fact_precondition_survives_execution sweeps every site × every action with fully-populated targets and asserts they never arrive, which is what makes the debug_assert a claim rather than a hope.