dual-quality-gates-are-complementary-and-non-mutating
IN derived (depth 2)
The system enforces belief quality through dual non-mutating gates targeting complementary validity dimensions: review validates logical soundness of derived beliefs (scoped to justified nodes, dry-run gated auto-retraction), while staleness checking validates source currency of all IN beliefs (conservative CI gate with nonzero exit on drift) — neither gate can corrupt network state.
Summary
The system has two separate safety checks that catch different kinds of problems — one checks whether derived conclusions still follow logically, and the other checks whether source information is still current. Importantly, both checks are read-only, so running them can never accidentally damage or change the data they're checking.
Justifications
SL — Review validates logical soundness while staleness validates source currency
Antecedents (all must be IN):
- review-pipeline-is-scoped-and-mutation-safe — The belief review pipeline restricts evaluation to derived beliefs only (premises excluded) and gates auto-retraction behind the dry-run flag, ensuring review operations are scope-limited and mutation-safe by default.
- staleness-is-conservative-ci-gate — Staleness checking is designed as a safe CI gate: it never mutates state, only checks IN nodes, requires both source fields, and exits nonzero to fail the pipeline