challenge-is-outlist-injection

IN premise

The challenge mechanism creates a new premise node and adds it to the target's outlist; all truth-value changes flow through normal BFS propagation, not direct mutation

Summary

When someone challenges a belief, the system doesn't just flip it to false directly. Instead, it creates a new opposing premise and wires it into the dependency graph, so the effects ripple outward through the normal propagation machinery. This means challenges are first-class participants in the reasoning network rather than special-case overrides, and their consequences are tracked and reversible just like any other justification.

Dependents

These beliefs depend on this one:

dialectical-structure-is-recursive-outlist — The entire challenge/defend dialectical system is implemented as recursive outlist injection with no dedicated dialectical machinery
outlist-is-universal-defeat-mechanism — The outlist primitive is the sole defeat mechanism underlying all non-monotonic features: challenges, agent kill-switches, supersession, and direct defeasible reasoning

Details

Source

entries/2026/04/23/topic-outlist-semantics.md