fix(pm): declare the type-check ledger's root-program coupling so dispatch-gates can derive it (#8551)

fix(pm): declare the type-check ledger's root-program coupling so dispatch-gates can derive it (#8551) #2690