EM-XCT-07 · Общий контракт · W0
Действие, полномочие и делегирование агенту
Форма разрешённого действия, предусловий, эффекта, подтверждения и идемпотентности.
Частично опубликовано; исследование продолжается
Claude: independent-study-and-r3-code-adoption-audits-complete; Grok: independent-study-and-r3-recovered-code-adoption-audits-complete.
Опубликованные результаты
EM-XCT-07 remains partial: real host authority/issuer-standing and delegation evidence; broader action parameter/effect adapters, remote effects and ambiguous external outcomes; protected disclosure, continuity and recovery; quotas/rollover; stronger historical clock validation and missing edge tests; incremental/existing-Dimension native bindings and generic composer integration. Each needs a separate bounded implementation and acceptance; no production authorization is provided.
Предметная граница и кандидатные типы
- ActionContract
- ActionRequest
- ActionResult
- AuthorityBinding
Вопросы глубокого исследования
- Кто вправе выполнить действие?
- Как повторить запрос без двойного эффекта?
- Как отличить предложение от исполнения?
Проверяемые инварианты
- Описание action не даёт разрешение
- Повтор учитывает idempotency
- Результат имеет наблюдаемое подтверждение
Сквозной приёмочный сценарий
Повтор запроса создаёт один эффект, запрещённый переход отклоняется, предлагаемое действие остаётся неисполненным.
Отрицательный пример
Агент публикует модель только потому, что документ описывает Publish action.
Сопоставляемые подходы
- Действующие Vercy protocol/MMAS/whole-object и опубликованные WM-XCT
- W3C PROV/SKOS/SHACL/ODRL в применимой части
- Практика source connectors, versioned schemas и policy enforcement
Кандидаты в действующем каталоге
- WM-XCT-002 · Access Contract / Consent · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку. - WM-XCT-029 · Obligation / Commitment · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку.
Требования к результату
Каждая карточка исполняется вместе с полным контрактом исследования: определения, поля и кратности, жизненный цикл, источники, мастерство данных, права, пять граней объекта, минимум восемь инвариантов, положительные и отрицательные примеры, зависимости, миграция и ограничения применимости.