SYSE.48:5.3 - Recover an outcome lookup from interruption traces

Accepted-but-unresolved traces identify another candidate operation: take the original attempt identity, call its supported outcome query, and return the observed known, unknown or failed status. The engineer recovers and parameterizes that operation; ME.21 is unnecessary unless already recovered contributions need allocation. Keep the actual interface as the status source and retain its failure meaning.

A wrapper queried for A19 must use A19, not a harvested A17 constant. Exercise another identity and an unsupported lookup. A wrapper that silently repeats the mutation on an unknown return fails the at-most-one-effect condition. ME.10 makes the qualified implementation and use conditions reachable, ME.15 maintains its variant meaning, and the receiving procedure uses the result before considering another action.