F07-I2: Yes
Rationale
A signed LeaseSet binds destination reachability information to the Destination signing key. F07 permits signed authorship and does not require current presence or mutual authentication. This positive does not authenticate every incoming application-message sender; the default destination/tunnel interface and added sender-aware protocols are separate.
Assessment method
Individual review of inherited classification; no protocol execution
Source context
Primary specification / explicit endpoint and observer scope