# Stage 54: Conflict & Meta-Conflict (aq54_resolve_conflict_and_meta_conflict / DB-UNIT-03)

Resolves conflicting directions and meta-conflicts over authority rules via ASPIC+ priority defeat, Dung grounded extensions, or Pareto splits.

- Atomic micro-queue: `aq54_resolve_conflict_and_meta_conflict` (visibility: `public_commons`)
- Backing database unit: `DB-UNIT-03` (`Confusion Diagnostics & Card Disambiguation Core`)
- Database cell: `queues-db.teleon.dev` (`teleon_core.agent_confusion_incidents`, `teleon_core.disambiguation_patches`, `teleon_core.negative_constraint_rules`)
- Claim row hydration: `single_self_contained_flat_task_row` (100% context inline, normalized writeback)
- Track 2 Sister queue (`SISTER-03`): `sq03-improve-confusion-queue.teleon.dev` (Discover new confusion aspects, sharpen agent consumption formatting, and automate recurring repairs.)
- Lanes: ASPIC+ Priority, Dung Grounded AF, Pareto Split vs Probe

## Execution engines & AI Agent freedom contract

- **Deterministic (0 model calls)**: `schema_mismatch_rule_extractor_v1` (ASPIC+ priority filter, Dung AF solver & Pareto-split classifier)
- **Hybrid (<=1 model call)**: `contrast_pair_card_rewriter_v1`
- **AI Agent & Bot Fleet (1..6 calls)**: `multi_trace_root_cause_investigator_v1` (Dialectical attack-graph extractor & factual-probe designer)
  - Contract: **Instructions + Resources + Freedom to search for new resources and new ways not bound by instructions**

## Database invariants

- Every confusion patch must include a deterministic regression probe reproducing the prior failure.

## External & internal bot fleet actions

- Filter invalid heuristic attacks against safety floors, formal proofs, and user contracts
- Preserve genuine multi-objective trade-offs as labeled Pareto splits alongside bare_baseline
- Dispatch targeted factual verification probes (aq15 / aq56) when factual premises collide

## Sister self-tuning areas

- Add new diagnostic aspects for cross-model tool-call quirks
- Tune negative-constraint formatting density for smaller local models (Gemma 4)
- Convert recurring confusion fixes into deterministic lint code_blocks