Module-boundaries

The greatest value of types isn't self-consistency within a layer, but whether cross-layer promises are honored. Tracing the chain from database to component: the frontend's fully-typed pipeline and the backend's contracts-as-projects.