richer-revision-preserves-evaluation-invariance
OUT derived (depth 7)
Although the revision system governs state richer than binary truth values — including metadata-enabled lifecycle governance with retraction reasons, staleness indicators, and access controls — truth evaluation remains transformation-invariant, producing identical results regardless of attachment history or structural origin; the richer governance layer operates orthogonally to evaluation, enriching management capabilities without compromising core determinism.
Summary
Even though the system tracks rich metadata alongside each claim — retraction reasons, staleness flags, access controls, and more — none of that extra information affects how truth is computed. The truth evaluation engine only looks at the current justification structure, so adding governance features never risks changing which claims come out true or false.
Justifications
SL — Richer-than-binary revision + transformation-invariant evaluation means governance richness and evaluation simplicity are orthogonal
Antecedents (all must be IN):
- revision-governs-richer-state-than-truth-values — The belief revision system achieves complete semantics that extend beyond binary IN/OUT truth through metadata-enabled lifecycle governance — revisions track, preserve, and act on richer state (retraction reasons, staleness markers, access tags, challenges, supersession) that the binary truth model alone cannot express.
- truth-evaluation-is-transformation-invariant — Truth evaluation produces identical results regardless of both temporal context (when a justification was attached — at node creation vs. later addition) and structural transformation (premise → justified node via challenge) — all forms of node history and identity change are invisible to the evaluation function, making truth a pure function of current network state.
Dependents
These beliefs depend on this one:
- revision-is-evaluation-invariant-and-auditable-across-origins — The belief revision system achieves two independent trustworthiness properties universally: evaluation invariance (revision governs richer state than binary truth yet produces identical evaluation results regardless of mutation path) and full auditability across all origins (every correction — dialectical or automated — is reliable and auditable regardless of whether the belief was human-initiated, LLM-derived, or agent-imported).