Tool Differentia

Tool Differentia is the distinguishing information that neighboring AI-agent tool descriptions provide, or fail to provide, about when one tool should be selected instead of another. LintLang's H1.6 performs a bounded deterministic pairwise check under a finite term model; a clean result does not prove semantic distinguishability or correct runtime selection.