Affected-System discovery uses supported relations or modal paths and states uncertainty and specialist returns.
Claims about assignment, responsibility, sponsorship, permission, capability and authority have their respective support; none is inferred from another category alone.
An “interface” is never used instead of the selected boundary and direct relations.
Exclusions, next result, and an observable reopen condition are explicit.