Named surviving source algebra

This boundary does not automatically include consumed factors, inaccessible carriers, spectator cardinality, implementation history, or coherences outside the named algebra. A produced record may be accessible when explicitly authorized. That choice changes the applicable comparison theorems.