convergent-equilibria-have-complete-propagation-fidelity

OUT derived (depth 8)

System convergence to evaluation-invariant equilibria achieves complete propagation fidelity — every truth change cascades to every transitively dependent node including outlist dependents — and topology preservation covers all reference types, provided the dependency tracking assumption holds.

Summary

When the system settles into a stable state, every truth-value change should ripple out completely through all downstream dependencies without anything being missed or silently dropped, and the wiring between nodes should stay intact regardless of what kind of reference connects them. This was a strong correctness guarantee combining two properties — deterministic convergence and full cascade coverage — but it is currently unsupported, meaning one or both of those underlying assumptions no longer hold.

Justifications

SL — Convergence + topology preservation achieves full propagation fidelity only when the dependents index is complete

Antecedents (all must be IN):

  • convergence-produces-evaluation-invariant-equilibria — The system converges to equilibrium states where truth evaluation is transformation-invariant: regardless of the mutation path taken — order of additions, retractions, challenges, imports — the converged state evaluates all beliefs identically, because autonomous convergence reaches deterministic stable states and truth evaluation is agnostic to both temporal context and structural origin.
  • all-operations-converge-with-topology-and-recovery — Every operation — individual mutations, bulk deduplication, and import/sync — converges deterministically to stable states with three simultaneous guarantees: topology preservation (justification references rewired to survivors), complete effect reporting (structured before/after diffs), and guided recovery (surgical restoration hints for cascade victims).

Unless (any of these IN defeats this justification):

  • propagate-assumes-dependents-exist — Every ID in `node.dependents` is accessed via `self.nodes[dep_id]` without a membership check; a dangling dependent reference will raise `KeyError` — this is intentional (broken invariant = bug)

Dependents

These beliefs depend on this one:

Details