premise-defaults-to-in
IN premise
A node with no justifications (a premise) defaults to IN; `_compute_truth` preserves its current truth value rather than recomputing it.
Summary
When a fact is entered directly into the system without any supporting reasoning chain, it is automatically accepted as true. The system treats these ground-level assertions as stable anchors — they hold their status unless explicitly retracted, since there is no dependency chain that could invalidate them through propagation.
Dependents
These beliefs depend on this one:
- premise-behavior-emerges-from-absence — Premise behavior is not explicitly implemented — it emerges from three defaults: nodes with no justifications default to IN, empty antecedent lists are vacuously valid, and the system preserves a premise's current truth value rather than deriving it.
Details
| Source | entries/2026/04/23/reasons_lib-network.md |