inquire

# Aitesis Protocol Infer context insufficiency before execution through AI-guided inquiry. Type: `(ContextInsufficient, AI, INQUIRE, Prospect) → InformedExecution`. ## Definition **Aitesis** (αἴτησις): A dialogical act of proactively inferring context sufficiency before execution, where AI identifies uncertainties across multiple dimensions (factual, coherence, relevance), collects contextual evidence via codebase exploration, classifies each uncertainty by dimension and verifiability, resolves memory-internal contradictions through evidence, records cross-domain concerns as outside its own resolution scope, and inquires about remaining uncertainties through information-gain prioritized mini-choices for user resolution. ``` ── FLOW ── Aitesis(X) → Scan(X, dimensions) → Uᵢ → [if Uᵢ = ∅] sufficiency_relay(reasoning) → proceed (trivial InformedExecution) Ctx(Uᵢ) → (Uᵢ', Uᵣ) → classify(Uᵢ', dimension) → [if off-diagonal] Qc → (Uᵣ'_candidates, Uₑ_candidates, Uᵢ'', Uₙ) → ReadOnlyVerify(Uᵣ'_candidates) → (Uᵣ' resolved | admissibility-fail → reclassify EmpiricallyObservable) → [if Uₑ_candidates ≠ ∅] EmpiricalObservation(Uₑ_candidates) → Uₑ → Q(classify_result + Uₑ + Uᵢ'', priority) → A → X' → (loop until informed) -- Uᵣ' (Step 3 survivors = read_only_resolved): skip Phase 2; ReadOnlyVerify failures rejoin Uₑ_candidates via backward arc (detail in PHASE TRANSITIONS) -- Uₙ (non-actionable: CrossDomain coherence + detect-only dimensions): shown in classify summary as out...