#Rego Есть гуру rego? Не могу понять с функциями. В доках пишут

(https://www.openpolicyagent.org/docs/latest/policy-language/#functions)
It is possible in Rego to define a function more than once, to achieve a conditional selection of which function to execute. If a call matches multiple functions, they must produce the same output, or else a conflict error will occur.

То есть если определяешь функцию с одним и тем же именем несколько раз, то либо они должны выдавать один и тот же результат, либо эти функции должны отличаться по сигнатурам (то есть должны отличаться типы аргументов или их количетсво).

При этом в библиотеке для реализации psp на rego вижу такое: https://github.com/open-policy-agent/gatekeeper-library/blob/master/library/pod-security-policy/host-network-ports/template.yaml

Там объявляется функция input_share_hostnetwork 3 раза. И явно результат этой функции будет не один и тот же. В зависимости от объекта. Судя по доке это не должно работать.

Проверяю локально на более простом и вырожденном примере (пример специально такой, чтобы показать проблему, я знаю что можно тут функции вообще не использовать):

Входные данные: https://pastebin.com/8Y5ignhu
Политика: https://pastebin.com/HJAGQc7X
Пример выполнения:
```
$ opa eval --input input.json --data ./packages/example.rego --format=pretty 'data.example.rules.violation'
[]
```
где ./packages/example.rego - https://pastebin.com/HJAGQc7X, а input.json - https://pastebin.com/8Y5ignhu

Если check1 или check2 поставить в false:
```
$ opa eval --input input.json --data ./packages/example.rego --format=pretty 'data.example.rules.violation'
[
{
"msg": "Check failed"
}
]
```

Политика отработала правильно, хотя по докам вроде это должно вызывать ошибку, так как результат двух функий func1 будет отличаться (в одной проверяется поле check1, в другой check2).

Если бы я не видел примеров из библиотеки, то по докам я бы написал эту политику вот так: https://pastebin.com/qQVPwmTd
То есть объявил бы две разные функции func1 и func2, и два complete rules с одним названием, чтобы построить логику ИЛИ между ними, согласно доке из введения https://www.openpolicyagent.org/docs/latest/#logical-or. Такой вариант тоже работает правильно

Вобщем мне интересно, может я неправильно понимаю доку, и по всей видимости несколько раз объявленная функция вызывается именно что несколько раз (вместо выбора какой-то из функций как написано в доке). Не могу понять почему это работает

несколько функий с разным содержимым это или, если будет совпадение в одной из, политика отработает. Все что в нутри функции это И. Еще там можно тесты писать,чтобы валидность проверить

хм, по докам понял что это работает именно для rule'ов то есть конструкций вида rule_name {} Видимо и для фукнций тоже самое, спасибо

у них довольно мерзкие доки