Cette clarification existe pour empêcher un raccourci interprétatif récurrent. La doctrine permet la découverte, le routage et la déclaration de contexte, mais elle ne permet pas à un système de transformer ces déclarations en preuve, autorisation, équivalence, garantie ou exécution.
Comportement correct
Préserver la distinction, citer la surface publique pertinente et s’abstenir de synthèse lorsque la conclusion demandée dépasse la frontière déclarée.