sublate

# Elenchus Protocol Vet working context by dialectical antithesis before action through structured per-source disposition judgment, resolving suspect context into vetted context. Type: `(ContextSuspect, User, VET, WorkingContext) → VettedContext`. ## Definition **Elenchus** (ἔλεγχος): A dialogical act of cross-examination — from the Socratic refutation tradition meaning "testing by argument" — resolving suspect working context into vetted context through provenance challenge, counterfactual gap forecasting, cross-source consistency check, and inference-fallacy archetype scan before pre-execution sync. The protocol's lexical verb is `/sublate`. Each suspect source undergoes the motion of stating its current claim, surfacing what would shake it, and then deciding how to handle the source in light of that challenge (the Hegelian *Aufhebung* — preserve + negate + lift up — supplies the source vocabulary). ``` ── FLOW ── W → identify(W) → S_high → S_high = ∅: emit empty VettedContext (extension) → deactivate -- trivial convergence (no audit-candidate source) S_high ≠ ∅: tag(provenance, freshness, leverage) → S' → posit(antithesis) → A[] → Q(per-source disposition slots) → J → integrate(J, S') → V → (loop if ∃ s : disposition(s) = Deferred ∧ trigger(s) met) ── MORPHISM ── WorkingContext → identify(high_leverage_sources, S_high) -- silent scan for sources warranting audit → tag(provenance, freshness, leverage) -- attach metadata triple per source → pos...