Добрый день!
Настраиваем генерацию лимитов,разветвленность признака QUOMO получается большая, и в таком виде он сохраняться не хочет . Какие ограничения на размерность дерева? Если нам не хватают информации по структуре PME87 , можно ли его расширить?

а можно вставить свой z-подпризнак наверное
да и к тому же, если совсем что-то сложное, можно вставить вызов формы, где абапом пропишите принятие решение

А вот вопрос: если мы вставляем в признак узел Программа, какой должен быть у этой программы интерфейс, чтобы он передавал сформированное значение обратно в признак?

смотрите, как сделано в признаке, например, P0016 и т.п. программка RPCADD00 - нужно создать форму с именем exit_call_f с параметрами как в RPCADD00 в своей Z-программе. Внутри формы параметр STRUC хранит поля, по которым идёт принятие решения в признаке, поле NAME хранит вызывающий признак (можно разузловать).
Если не хватает, добираете селектами, обрабатываете как надо данные и в конце записываете результат в параметр BACK - это то, что возвращается потом признаком (фичей).

Там еще форма exit_call_t если возвращает таблицу, но я так навскидку и не вспомню признак, который возвращает таблицу

DOKNT можно глянуть на предмет таблиц, а к нему RPU045A0

см. SAP Library - Additional Information on Program Operations