"""Core abstractions: protocols, results, errors, determinism."""