OpenProse отделила граф зависимостей спецификации от ее смысла
Графовый слой детерминированно задает композицию контрактов и зависимости, не интерпретируя содержание.
Смысловой слой остается читаемым для людей и агентов, но не меняет связи между частями спецификации.
Агент исполняет контракт, а отдельный оценщик проверяет требования по возвращенным свидетельствам.
Почему важно
Разделение структуры и смысла оставляет композицию проверяемой, даже когда содержание исполняет недетерминированный агент.