Без заголовка
Перечитал в очередной раз и в очередной раз удивился как вы предъявляете требования к ненаблюдаемому объекту (я 4д экстент ищу как вы меня научили). Ведь это не позволит провести верификацию! А вот валидацию - можно, но для этого нужны требования к использующей системе.
Не понял, что такое использующая граница. А какая еще бывает граница? Или имеется ввиду что границу провести не удается поэтому приходится говорить о деятельности агента? То есть переход к использующей системе.
Если "где-то внутри", значит конструкция агента не ясна, а значит требования пока можно предъявить только к агенту и к его деятельности. А потом проводить валидацию мышления (не верификацию).