Trace every binding provider, omit and trigger decision into implementation-facing specs and no-rebuild gates.