Output substitution/selection/input contribution failures are not exported in typed form. Receivers can’t distinguish these cases.

Todo:

• Add typed FFI errors for output substitution and input contribution.
• Preserve underlying protocol error details.
• Update receiver integration tests to assert these errors on invalid substitutions.