Lifecycle: draft
Contradiction Resolution and Failure Learning
Purpose and scope
Use this skill when sources, skills, tests, reviewers, or real-world failures disagree. It produces an auditable decision or preserves an unresolved contradiction with explicit boundaries. It does not force consensus, average incompatible evidence, or declare an authority correct without tracing the claim.
Triggers and prerequisites
Trigger when two claims conflict, a validation result contradicts a trusted skill, a production failure recurs, or reviewers disagree on a material decision. Prerequisites: claims, provenance, contexts, affected artifacts, and the observed failure or counterexample.
Decision criteria
Prefer the claim supported by more direct, independent, current, and scope-matched evidence. If evidence is incomparable or insufficient, preserve the contradiction and narrow the decision rather than forcing a winner.
Procedure
- State each competing claim separately, including scope, assumptions, knowledge label, confidence, and intended decision.
- Trace each claim to primary evidence and identify circular, dependent, stale, or non-independent sources.
- Normalize the comparison: same inputs, versions, definitions, populations, risk tolerance, and success criteria. Do not compare context-free slogans.
- Seek disconfirming evidence for each claim and design the smallest discriminating experiment, test, or source lookup.
- Classify the relationship: one claim is refuted, claims apply in different contexts, evidence is insufficient, or the contradiction remains unresolved.
- Record decision boundaries, affected skills, rejected hypotheses, and required follow-up. Preserve the losing claim and rationale rather than deleting it.
- For failures, record symptom, impact, root cause, contributing conditions, detection gap, corrective action, and regression guard. Avoid substituting blame for mechanism.
- Update dependent artifacts only after the decision is evidenced; mark confidence and freshness changes explicitly.
Acceptance checklist
- Competing claims and contexts are stated separately.
- Evidence lineage and source independence are recorded.
- Disconfirming evidence was sought for each material claim.
- A discriminating test, experiment, or source check was run or its blocker recorded.
- Outcome is classified as refuted, contextual, insufficient, or unresolved.
- Decision boundaries and affected dependents are explicit.
- Rejected hypotheses and failure mechanisms are preserved.
- Corrective action has a regression or review trigger.
Examples and counterexamples
Good: Two sources disagree because one describes a newer version; compare versions and scope, preserve the older boundary, and record which claim applies when.
Bad: Choose the source with the larger audience or average incompatible claims without checking provenance.
Failure modes and recovery
If evidence is incomparable, split the claims by context instead of choosing a winner. If evidence is insufficient, keep the contradiction open and lower confidence. If a failure has no reproducible mechanism, record the uncertainty and prioritize instrumentation or reproduction before changing foundational guidance.
Validation evidence and provenance
Claims in this skill map to graded findings in docs/research.md:
- Evidence-hierarchy and source-independence reasoning (S8, Principled): no direct study of contradiction-resolution procedures exists; graded honestly.
- Preserving facts, roles, and explicit follow-ups while conflicting reports are reconciled (C2, Moderate): convergent incident-management practice.
- Uncertainty management framing (NIST AI RMF; NIST AI 600-1 via S5): authoritative risk enumeration, not evaluated controls.
Source boundary: the sources are design input, not proof that this procedure resolves conflicts better than alternatives.
Confidence: medium. Freshness: re-review when the source hierarchy in docs/evidence-standard.md or the research base changes.
Disconfirmation: a study showing intuition-first triage outperforms evidence-hierarchy resolution in comparable settings would weaken the procedure's ordering.
Related skills and conflicts
Related: differential-patch-review, knowledge-maintenance, repository-change-verification, and epistemic-coding. This skill does not authorize silently weakening governing principles to resolve local disagreement.