revision-governs-richer-state-than-truth-values
IN derived (depth 6)
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.
Summary
The revision system tracks more than just whether something is true or false. It maintains rich contextual information — like why something was retracted, whether it's gone stale, who can access it, or what replaced it — and uses that information to actively control how beliefs are read and modified, giving the system a nuanced understanding of each claim's status that a simple on/off switch could never capture.
Justifications
SL — Complete revision semantics (depth-5) combined with metadata-based lifecycle governance beyond binary truth (depth-5) shows revision operates on a richer state space than truth values alone
Antecedents (all must be IN):
- revision-has-complete-semantics-with-controlled-irreversibility — The belief revision system is simultaneously comprehensive and minimal, with complete negative semantics exhibiting a controlled asymmetry: all defeat mechanisms (challenge, kill-switch, supersession) are truth-value reversible, but the identity transformation during challenge (premise-to-justified) is permanent — the system can undo the effects of any defeat but cannot restore a node's original unjustified status.
- metadata-enables-lifecycle-governance-beyond-binary-truth — Node metadata enables lifecycle governance capabilities that transcend the binary IN/OUT truth model: extensible metadata provides structured lifecycle state (retraction flags, stale reasons, access tags, supersession markers) that actively governs both read and write paths, while staleness information is preserved and surfaced in compact output despite having no dedicated truth state in the TMS data model.
Dependents
These beliefs depend on this one:
- dialectical-revision-governs-rich-traceable-state — Dialectical revision — deterministic, reliable, and semantically complete with controlled irreversibility — governs metadata-enriched state beyond binary truth values, producing traceable deterministic changes to retraction flags, stale reasons, and access tags through every challenge/defend operation, not just binary IN/OUT transitions.
- revision-is-richly-governed-and-exception-safe — The belief revision system simultaneously governs state richer than binary truth values — metadata-enabled lifecycle management including retraction reasons, staleness markers, and access tags — while remaining exception-safe and recoverable under all failure conditions, ensuring that metadata-carried lifecycle state is never corrupted by exceptions.
- rich-governance-emerges-from-minimal-foundations — Rich state governance — metadata-enabled lifecycle management extending beyond binary IN/OUT truth to retraction pins, stale reasons, and access tags — is achieved through the same minimal foundations that unify truth computation and belief revision, not through additional machinery layered on top.
- rich-governance-is-deterministic-and-lifecycle-complete — The deterministic lifecycle-complete architecture governs state richer than binary truth values — deterministic reasoning ensures predictable state trajectories and gapless lifecycle monitoring ensures no belief escapes management, while metadata-enabled governance extends these guarantees to retraction reasons, staleness tracking, and access control beyond IN/OUT.
- richer-revision-preserves-evaluation-invariance — 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.