derive-validate-rejects-similar-to-out

IN premise

Covered by existing `derive-retraction-guard-uses-jaccard` which captures the same invariant

Summary

When the system generates new derived beliefs, it checks whether a proposed belief is too similar to one that has already been retracted. This duplicate-detection behavior is already captured by another tracked claim about Jaccard similarity being used as the retraction guard, so this node exists mainly as a cross-reference confirming that the validation-rejects-similar-to-OUT behavior and the Jaccard-based guard are describing the same underlying mechanism.

Details

Sourceentries/2026/04/24/tests-test_derive.md