backend-independent-self-correction
OUT derived (depth 5)
The complete self-correction pipeline — contradiction resolution through dependency-directed backtracking, staleness detection through source hash comparison, and ongoing belief currency management — operates identically across all storage backends, making the system's self-maintaining properties a deployment-independent guarantee rather than a backend-specific capability.
Summary
The system's ability to catch and fix its own problems — resolving contradictions, detecting when source material has changed, and keeping beliefs up to date — works the same way no matter which database backend is running underneath. This means self-correction is a property of the system's logic layer, not something that depends on choosing the right storage option.
Justifications
SL — Self-correction relies on operations that PgApi has not yet fully implemented; once PgApi achieves complete API coverage, self-correction becomes backend-independent
Antecedents (all must be IN):
- complete-system-is-self-correcting — The system actively maintains its own consistency along two independent dimensions: the TMS core handles exceptional conditions (contradictions trigger deterministic resolution, propagation respects lifecycle state), while belief currency management detects and surfaces drift in source material — no inconsistency persists undetected or unresolved.
- storage-layer-is-backend-agnostic-and-safe — Both storage backends provide equivalent safety guarantees through backend-appropriate mechanisms: atomic isolated mutations (context-managed load/save for SQLite, per-method transactions for PgApi) and safe hypothetical reasoning (write-flag gating for SQLite, transaction rollback for PgApi), making safety properties independent of backend choice.
Unless (any of these IN defeats this justification):
- pgapi-partial-api-coverage — PgApi implements core operations (add/retract/assert/search/nogood/explain) but defers simulation, dialectics, namespace support, import/export, and maintenance operations to future work