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, routes cross-domain concerns to other epistemic protocols, 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 with routing t...