If two linear maps agree on a basis, they agree everywhere: expand $v=\sum_jc_jb_j$ and apply linearity to both. Conversely, arbitrary assigned images of basis vectors extend to one linear map. No compatibility constraints are needed because a basis has no nontrivial relations.
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.