attested R7 SPEC-INTERFERENCE-1