# Internals


Internals explains how nix-effects is put together. These pages cover
the trampoline, the relationship between the effect layer and the
type-checking kernel, the trusted computing boundary, and the formal
contract maintained by the kernel.