| name | dnv-verify |
| description | Методология адверсариальной верификации claim'ов через агента devils-advocate. extract_claims.py для извлечения, per-claim вердикты, правила валидации тегов достоверности. Формат verification_report.md. |
Верификация claim'ов — методология (devils-advocate)
Когда нужно проверить утверждения в документе (spec, memoria, escrito) на
трассируемость и достоверность, используй эту методологию. Верификация
покрывает трассируемость claim'ов и механику полей, не юридическую
правильность.
Извлечение claim'ов
python engine/scripts/extract_claims.py user/spec.md user/claims.json
user/claims.json — тегированные claim'ы (с уровнем достоверности, ссылками,
секцией). Идемпотентно перегенерируется при изменении документа. Можно указать
любой другой файл вместо spec.md.
Запуск devils-advocate
Вызови субагента devils-advocate (.claude/agents/devils-advocate.md). Он:
- сам пре-загружает источники (
knowledge_base/norms|sources|practice),
локальные user/slices/ (Grep-only, не Read целиком), и web;
- проверяет по стратегии на тег:
[норма]→BOE/WebSearch; [практика — Telegram]
→ Grep дайджеста/slices, счёт РАЗНЫХ псевдонимов (один человек ×5 ≠ 5);
[не подтверждено] → UNVERIFIABLE + конкретная внешняя проверка;
- выдаёт вердикты (CONFIRMED / WEAKLY SUPPORTED / CONTRADICTED / UNVERIFIABLE /
OUTDATED / TAG TOO HIGH/LOW) и пишет
user/verification_report.md.
Если запускаешь частично — передай агенту номер секции (он поддерживает partial).
Ключевые инварианты верификации
Агент их держит; проверь на выходе:
[практика — Telegram] никогда не апгрейдится до [норма] количеством
сообщений — только текст закона/офиц. разъяснение меняет уровень.- Приватные консультантские чаты — не источник ни в каком виде.
- Claim без найденного источника → UNVERIFIABLE + пункт в «список внешних
проверок», не «похоже на правду».
- as-of: источник старше текущего года на процедурном → OUTDATED + живая
сверка.
Полнота практики
Если user/slices/ есть — они войдут в проверку практики (Grep). Если нет —
практика проверяется только по опубликованному дайджесту; пометь сниженную
полноту практики в отчёте.
Формат отчёта
user/verification_report.md:
- явный вердикт на каждый claim;
- сводка по уровням достоверности;
- «список внешних проверок (вручную)»;
- проверка актуальности дат/порогов.
Отчёт — вход для экспертной/официальной проверки, не замена её.
