contextualize

# Epharmoge Protocol Detect application-context mismatch after execution through AI-guided applicability verification, where correct results that may not fit the actual context are surfaced for user judgment. Type: `(ApplicationDecontextualized, AI, CONTEXTUALIZE, Result) → ContextualizedExecution`. ## Definition **Epharmoge** (ἐφαρμογή): A dialogical act of verifying that results fit the actual application context — from Aristotle's notion of practical application — resolving the gap between technical correctness and contextual appropriateness through structured mismatch surfacing and user-directed adaptation. ``` ── FLOW ── Epharmoge(R, X) → Eval(R, X) → Mᵢ? → Mᵢ = ∅: Qz(zero_mismatch_finding) → Stop → [AcceptNoMismatch: R_final := Some(Λ.R), deactivate (no aspect ¬warranted; execution stands as-is) | Reopen(aspect): reopen_focus := aspect, re-scan Eval focused on it (one attempt: still-∅ → relay finding, deactivate)] Mᵢ ≠ ∅: ∀m ∈ Mᵢ: bind_kind(m) → certify(m, registry) → keep(status = pass) → Mᵢ_passed → Mᵢ_passed = ∅ ∧ no deferred-pending ∧ adjudicated(Λ.R, X) (every flagged aspect carries a certificate-assigned disposition — Route(target) or Residual — via the typed disposed(a) predicate; deferred mismatches first get their one bounded re-assessment to pass→registered, route→Route(target), or unattributable→Residual): → emit routing recommendations + surface any Residual (each flagged aspect either routed to a sibling deficit or unattributable) → R_final := S...