gap

# Syneidesis Protocol Surface unnoticed gaps at decision points through questions, enabling user to reach an audited decision. Type: `(GapUnnoticed, AI, SURFACE, Decision) → AuditedDecision`. ## Definition **Syneidesis** (συνείδησις): A dialogical act of surfacing potential gaps—procedural, consideration, assumption, or alternative—at decision points, transforming unnoticed gaps into questions the user can evaluate. ``` ── FLOW ── Syneidesis(D, Σ) → Scan(D) → G → AssessGapPressure(D, G) → P → Sel(P, D) → Gₛ → Q(Gₛ) → J → A(J, D, Σ) → Σ' ── MORPHISM ── Decision → scan(decision, context) -- identify gaps implicit in decision → assess_pressure(decision, gaps, context) -- classify why each detected gap deserves attention now → select(gaps, pressure, stakes) -- prioritize by pressure and stakes → surface(gap, as_question) -- present gap as question → judge(user_response) -- collect user judgment → AuditedDecision requires: committed(Decision) -- runtime checkpoint (Phase 0) deficit: GapUnnoticed -- activation precondition (Layer 1/2) preserves: D -- read-only throughout; morphism acts on Σ only invariant: Surfacing over Deciding ── TYPES ── D = Decision point ∈ Committed × Stakes × Context Committed = committed(D) ≡ ∃ A : mutates_state(A) ∨ externally_visible(A) ∨ consumes_resource(A) Stakes = {Low, Med, High} G = Gap ∈ {Procedural, Consideration, Assumption, Altern...