λ

λ(ο,K).τ :: (Query, Knowledge) → (Response, Knowledge')

Kernel

λ(ο,K).τ = let τ = emit ∘ validate ∘ compose ∘ execute(K) ∘ route ∘ parse $ ο
               K' = K ∪ compound(assess(τ))
           in (τ, K')

This skill is the transformation it describes. Reading it executes it. Applying it improves it.

Pipeline