Record final CI for the parameter-scope stack update
Document parameter-default call scope correction and propagated evidence