Appendix
-
The terms this documentation uses without explaining them inline — blackboard, function block, scope, dummy link,
veth, and the two different “labs”. -
Where
neops-labsits: what it consumes, what depends on it (nothing), the contracts it cannot verify locally — and theneops-remote-labdistinction, spelled out.
