reasonerRemote property

bool reasonerRemote

True when the reasoner was not local. A domain judgment made remotely is a bootstrap, and the record says so rather than letting it pass for the arrangement this contract is for.

Implementation

final bool reasonerRemote;