all-truth-effects-propagate-through-outlist-paths

IN derived (depth 4)

All truth effects — both incremental truth changes and outlist-based defeat reversals — propagate completely through outlist-connected paths without requiring full network recomputation, ensuring outlist-based non-monotonic reasoning achieves the same incremental efficiency as antecedent-based reasoning

Summary

When something changes in the reasoning network, the system can efficiently update just the affected parts rather than recalculating everything from scratch, and this works equally well for defeat-based reasoning (where one belief knocks out another) as it does for ordinary logical dependencies. This means non-monotonic features like challenges and kill-switches come with no extra computational cost during updates.

Justifications

SL — Complete outlist propagation requires outlist nodes to be tracked in the dependents index

Antecedents (all must be IN):

  • incremental-propagation-is-fully-complete — Incremental truth propagation reaches every node whose truth value should change — including nodes that depend via outlist entries — without requiring periodic full recomputation, because safe terminating BFS traversal operates over a dependents index that tracks both antecedent and outlist relationships.
  • defeat-reversal-propagates-automatically — All outlist-based defeat mechanisms (challenge, kill-switch, supersession) not only reverse in principle but propagate recovery automatically through safe terminating BFS — when a defeating node is retracted, the outlist entry becomes satisfied, and propagation cascades truth-value restoration to all affected nodes without manual re-assertion

Unless (any of these IN defeats this justification):

  • outlist-nodes-not-in-dependents-index — Outlist nodes are not tracked in the `dependents` index, so when an outlist node is retracted (goes OUT), dependent GATE beliefs are not enqueued for re-evaluation by `_propagate` — requiring manual `reasons assert` as a workaround.

Dependents

These beliefs depend on this one:

Details