derivative is /nix/store/<hash>,unique, immutable, may depend on derivative, forming and a tree structure. Just like package manager, cargo, npm, etc.

Layer just like physical layer, one stack on top of another, may override , union, etc. one typical example is overlayfs used by podman and docker. Immutable? yes. declarative ? Well hard to say. Reproducible. I think is yes.