Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75
The access contract
Access as a circuit invariant and the complete channel › The access contract · lines 994–1000
A joint inverse on all five legs is forbidden when it uses inaccessible legs. For , all five legs are accessible, and a joint inverse is not an access violation. This qualification repairs an overly broad version of the prohibition.