challenge-modifies-all-justifications

IN premise — entries/2026/04/23/reasons_lib-network-challenge.md

When the target has multiple justifications, the challenge node is added to the outlist of every justification, ensuring no single justification can independently keep the target IN.

Summary

A challenge doesn't just block one reason for holding a conclusion — it blocks all of them simultaneously. This means a challenge acts as a universal override: even if a belief has several independent lines of support, a single challenge can neutralize them all at once, preventing any one justification from keeping the belief standing on its own.

Dependents

These beliefs depend on this one:

IN dialectical-structure-is-recursive-outlist — The entire challenge/defend dialectical system is implemented as recursive outlist injection with no dedicated dialectical machinery