validate-proposals-rejects-jaccard-similar-to-out
IN premise
`validate_proposals` skips any proposal whose tokenized ID has >= 0.5 Jaccard similarity to an existing OUT belief, returning "similar to retracted" in the skip reason — preventing re-derivation of retracted beliefs under variant names
Summary
The system has a safeguard that catches attempts to re-introduce a previously retracted claim under a slightly different name. If a proposed new node's ID is too similar to something already marked OUT, the proposal is rejected automatically. This prevents the derivation engine from circumventing retractions by generating minor spelling or phrasing variations of beliefs that were deliberately removed.
Details
| Source | entries/2026/05/11/tests-test_derive.md |