justification-valid-is-pure
IN premise
`_justification_valid` is a pure query with no side effects, no logging, and no mutations to network state
Summary
This function only reads data and returns a result without changing anything. That means it can be called safely at any time — during validation, debugging, or repeated checks — without worrying about it altering the belief network or producing unwanted side effects.
Dependents
These beliefs depend on this one:
- justification-evaluation-is-uniform-and-pure — All justification types (SL and CP) use the same validity rule (antecedents IN, outlist OUT), evaluated as a pure function with no side effects
Details
| Source | entries/2026/04/23/reasons_lib-network-_justification_valid.md |