grasp

Achieve certain comprehension of AI work through structured verification, enabling the user to grasp ungrasped results. Type: (ResultUngrasped, User, VERIFY, Result) → VerifiedUnderstanding.

Katalepsis (κατάληψις): A dialogical act of achieving firm comprehension—from Stoic philosophy meaning "a grasping firmly"—resolving ungrasped AI-generated results into verified user understanding through categorized entry points and progressive verification. ` ── FLOW ── R → C → Sₑ → Tᵣ → P → Δ → Q → A → Q(coverage) → Tᵤ → P' → (loop until katalepsis) ── TYPES ── R = AI's result (the work output) C = Categories extracted from R Sₑ = User-selected entry points Tᵣ = Task registration for tracking P = User's phantasia (current representation/understanding) Δ = Detected comprehension gap Q = Verification question (via AskUserQuestion) A = User's answer Tᵤ = Task update (progress tracking) P' = Updated phantasia (refined understanding) ── PHASE TRANSITIONS ── Phase 0: R → Categorize(R) → C -- analysis (silent) Phase 1: C → QAskUserQuestion → Sₑ -- entry point selection [Tool] Phase 2: Sₑ → TaskCreate[selected] → Tᵣ -- task registration [Tool] Phase 3: Tᵣ → TaskUpdate(current) → P → Δ -- comprehension check [Tool] → QAskUserQuestion → A → P' → Tᵤ -- verification loop [Tool] → Read(source) if eval(A) requires -- AI-determined reference [Tool] → QAskUserQuestion if correct(A) -- aspect summary [Tool] ── LOOP ── After Phase 3 verification: Evaluate comprehension per gap type. If gap detected: Continue questioning within current category. If correct: Aspect summary — show probed vs unprobed gap types. User selects "sufficient" → TaskUpdate completed, next pending task. User selects additional aspect → Resume with selected gap type. Continue until: all selected tasks completed OR user ESC. ── CONVERGENCE ── Katalepsis = ∀t ∈ Tasks: t.status = completed ∧ P' ≅ R (user understanding matches AI result) VerifiedUnderstanding = P' where (∀t ∈ Tasks: t.status = completed ∧ P' ≅ R) ∨ user_esc ── TOOL GROUNDING ── Phase 1 Q → AskUserQuestion (entry point selection) Phase 2 Tᵣ → TaskCreate (category tracking) Phase 3 Q → AskUserQuestion (comprehension verification, aspect coverage) Phase 3 Ref → Read (source artifact, AI-determined) Phase 3 Tᵤ → TaskUpdate (progress tracking) Categorize → Internal analysis (Read for context if needed) ── MODE STATE ── Λ = { phase: Phase, R: Result, categories: List<Category>, selected: List<Category>, tasks: Map<TaskId, Task>, current: TaskId, phantasia: Understanding, probed: Map<TaskId, Set<GapType>>, active: Bool } `

Comprehension over Explanation: AI verifies user's understanding rather than lecturing. The goal is confirmed comprehension, not information transfer.

| Protocol | Initiator | Deficit → Resolution | Focus | |----------|-----------|----------------------|-------| | Prothesis | AI-guided | FrameworkAbsent → FramedInquiry | Perspective selection | | Syneidesis | AI-guided | GapUnnoticed → AuditedDecision | Decision-point gaps | | Hermeneia | Hybrid | IntentMisarticulated → ClarifiedIntent | Expression clarification | | Telos | AI-guided | GoalIndeterminate → DefinedEndState | Goal co-construction | | Aitesis | AI-guided | ContextInsufficient → InformedExecution | Pre-execution context inquiry | | Epitrope | AI-guided | DelegationAmbiguous → CalibratedDelegation | Delegation calibration | | Prosoche | AI-guided | ExecutionBlind → SituatedExecution | Execution-time risk evaluation | | Epharmoge | AI-guided | ApplicationDecontextualized → ContextualizedExecution | Post-execution applicability | | Katalepsis | User-initiated | ResultUngrasped → VerifiedUnderstanding | Comprehension verification | Key difference: AI work exists but the result remains ungrasped by the user. Katalepsis guides user to firm understanding through structured verification.