refactor

.axiom/axiom_config.yaml

@@ -185,6 +185,8 @@ contract_type_overrides:
 # #region TagSchema [C:5] [TYPE Block] [SEMANTICS config,tags,schema]
 # @BRIEF Полная схема GRACE-тэгов: типы, алиасы, enum-ы, предикаты, применимость.
 # @RATIONALE Централизованная схема тэгов — единый источник истины для парсера, валидатора и MCP-тулов. Расширяется через alias_for без изменения канонических имён.
+# @RATIONALE LAYER.enum +Service: semantics-python использует @LAYER Service в canonical C3 Module примере (dashboard_migration).
+# @RATIONALE SEMANTICS/PRE/POST/SIDE_EFFECT/DATA_CONTRACT/INVARIANT +Agent: Core §II декларирует Agent как валидный тип контракта; Fullstack.Coder и другие Agent-контракты используют эти тэги.
 # @REJECTED Разрозненные определения тэгов в коде парсера отвергнуты — делают валидацию неконсистентной и неподдерживаемой.
 tags:
   C:
@@ -266,163 +268,6 @@ tags:
     orthogonal: false
     decision_memory: false
     alias_for: null
-  DATA_CONTRACT:
-    type: string
-    multiline: false
-    description: 'DTO-контракт: Input -> RequestDTO, Output -> ResponseDTO. Обязателен на C5.'
-    separator: null
-    is_reference: false
-    enum: []
-    allowed_predicates: []
-    contract_types:
-    - Module
-    - Function
-    - Class
-    - Component
-    protected: false
-    orthogonal: false
-    decision_memory: false
-    alias_for: null
-  INVARIANT:
-    type: string
-    multiline: false
-    description: Инвариант на всём протяжении жизни контракта. Обязателен на C5.
-    separator: null
-    is_reference: false
-    enum: []
-    allowed_predicates: []
-    contract_types:
-    - Module
-    - Function
-    - Class
-    - Component
-    protected: false
-    orthogonal: false
-    decision_memory: false
-    alias_for: null
-  LAYER:
-    type: string
-    multiline: false
-    description: 'Архитектурный слой: Domain (бизнес-логика), UI (интерфейс), Infra (инфраструктура), Test (тесты). Обязателен для Module на всех C-level.'
-    separator: null
-    is_reference: false
-    enum:
-    - Domain
-    - UI
-    - Infra
-    - Test
-    allowed_predicates: []
-    contract_types:
-    - Module
-    protected: false
-    orthogonal: false
-    decision_memory: false
-    alias_for: null
-  POST:
-    type: string
-    multiline: false
-    description: Постусловие — гарантия результата. Обязателен с C4. Запрещено ослаблять без проверки upstream @RELATION зависимостей.
-    separator: null
-    is_reference: false
-    enum: []
-    allowed_predicates: []
-    contract_types:
-    - Module
-    - Function
-    - Class
-    - Component
-    protected: false
-    orthogonal: false
-    decision_memory: false
-    alias_for: null
-  PRE:
-    type: string
-    multiline: false
-    description: Предусловие выполнения. Критические условия на входе. Обязателен с C4.
-    separator: null
-    is_reference: false
-    enum: []
-    allowed_predicates: []
-    contract_types:
-    - Module
-    - Function
-    - Class
-    - Component
-    protected: false
-    orthogonal: false
-    decision_memory: false
-    alias_for: null
-  RATIONALE:
-    type: string
-    multiline: true
-    description: Обоснование выбранного пути. Защищённый, decision_memory. C5-only.
-    separator: null
-    is_reference: false
-    enum: []
-    allowed_predicates: []
-    contract_types:
-    - Module
-    - Function
-    - Class
-    - ADR
-    - Component
-    - Block
-    - Skill
-    - Agent
-    protected: true
-    orthogonal: true
-    decision_memory: true
-    alias_for: null
-  REJECTED:
-    type: string
-    multiline: true
-    description: Запрещённый альтернативный путь + причина дисквалификации. Защищённый, decision_memory. C5-only. Resurrection — fatal regression.
-    separator: null
-    is_reference: false
-    enum: []
-    allowed_predicates: []
-    contract_types:
-    - Module
-    - Function
-    - Class
-    - ADR
-    - Component
-    - Block
-    - Skill
-    - Agent
-    protected: true
-    orthogonal: true
-    decision_memory: true
-    alias_for: null
-  RELATION:
-    type: array
-    multiline: false
-    description: 'Связь между контрактами: PREDICATE -> [TargetId]. Обязателен с C3.'
-    separator: ->
-    is_reference: true
-    enum: []
-    allowed_predicates:
-    - DEPENDS_ON
-    - CALLS
-    - INHERITS
-    - IMPLEMENTS
-    - DISPATCHES
-    - BINDS_TO
-    - CALLED_BY
-    - VERIFIES
-    contract_types:
-    - Module
-    - Function
-    - Class
-    - Component
-    - Block
-    - ADR
-    - Skill
-    - Agent
-    protected: false
-    orthogonal: false
-    decision_memory: false
-    alias_for: null
   SEMANTICS:
     type: array
     multiline: false
@@ -434,10 +279,11 @@ tags:
     contract_types:
     - Module
     - Skill
+    - Agent
     protected: false
     orthogonal: true
     decision_memory: false
-    alias_for: null
+  alias_for: null
   SIDE_EFFECT:
     type: string
     multiline: false
@@ -451,6 +297,7 @@ tags:
     - Function
     - Class
     - Component
+    - Agent
     protected: false
     orthogonal: false
     decision_memory: false