F01-RA: Yes
Rationale
The IRATI tutorial instantiates a normal DIF over an Ethernet VLAN shim and exchanges application data through it. Management uses a local Unix socket. The shown active DIF chain needs no IP carrier; loading an unused TCP/UDP shim module does not make that shim a transport dependency.
Assessment method
Primary specification and implementation documentation review; no runtime experiment
Source context
RFC 1633, RFC 7567, RFC 2475 or IRATI Ethernet tutorial, as linked
Outstanding qualification
Documentary non-IP witness for the selected Ethernet composition. Software installation/download infrastructure is not treated as a mandatory operational carrier. No full selected-policy execution or runtime reproduction claimed.
Public sources
Editorial evidence references
The following identifiers refer to research records not included in this public package; they are not public links.
- round650.html