Manuscript VII-F-ST@1 · VII-F-ST.tex · section · 9eee7a44
The Enter interface discipline
Introduction, Enter philosophy, and the adaptation contract › The Enter interface discipline · lines 202–212
roles. VII-F provides the source family and certificate discipline. I-B provides the operational pattern. VII-E, VII-G, VII-E-ST, En09-A, En05-A, and VII-J provide documentary comparisons CheungOperational,CheungEn09,CheungLocality. Every positive result used in this adaptation is proved below. A documentary separation is not a proof transfer.