review-driven-quality-lifecycle-is-fully-code-enforced
OUT derived (depth 5)
The complete LLM-driven quality lifecycle — creation via derive with structural validation and retraction guards, classification via list-negative with defensive bounding, and evaluation via review with scoped mutation safety — achieves full code enforcement of all quality constraints, but only when the derive pipeline's minimum antecedent requirement is enforced in code rather than prompt-only.
Summary
The system has three LLM-powered operations for managing belief quality — creating new beliefs, classifying problematic ones, and reviewing existing ones — and each has its own safety guardrails. This claim asserts that taken together, those guardrails amount to full code-level enforcement of quality constraints, but it falls short because the derive command's requirement for a minimum number of supporting antecedents is only enforced through the LLM prompt rather than in the code itself, leaving a gap that could allow unsupported beliefs to slip through.
Justifications
SL — Full code enforcement of the quality lifecycle requires the minimum-antecedent constraint to move from prompt to code
Antecedents (all must be IN):
- llm-belief-operations-span-creation-and-classification — All LLM-driven belief operations — creation via derive (with safety, completeness, and resource efficiency) and classification via list-negative (with defensive bounding and batch scaling) — share consistent defensive patterns across the complete belief quality lifecycle.
- 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.
Unless (any of these IN defeats this justification):
- derive-min-antecedents-is-prompt-only — The minimum-2-antecedents rule for derived beliefs is enforced only by the LLM prompt instructions, not validated in code by `validate_proposals`.