Профиль реализации для агента¶
Назначение: informative contract для агента или нативного для носителя runtime, который имплементирует RENAR без догадок. Нормативный текст —
standard/; этот документ — operational mapping без привязки к конкретному vendor tooling.
Машиночитаемо:normative-index.yaml
1. Как читать таблицу¶
| Колонка | Смысл |
|---|---|
clause_id |
Стабильный ID из normative-index.yaml |
Действие агента (абстрактно) |
Что должен уметь runtime без vendor CLI |
Входы / выходы |
Артефакты носителя |
Gate |
Контрольная точка качества или проверка под управлением runner |
2. MVR ↔ действия агента¶
| clause_id | Действие агента (абстрактно) | Входы | Выходы | Gate |
|---|---|---|---|---|
| MVR-1 | Блокировать reverse-engineering SR/SPEC из кода без bug-fix justification; источник истины = иерархия требований | code diff, SR/SPEC | audit record / blocked promotion | — |
| MVR-2 | Проверить, что носитель декларирует V1–V6 в манифест; прогнать capability checks | RENAR-CONFORMANCE.yaml |
pass/fail report | — |
| MVR-3 | Реактивный стадийно-независимый ADAPT: создавать ADAPT (0..N на ТЗ) только при findings состязательного обзора; нет findings → source.tz-section + adversarial-review-ref; delta-ТЗ → тот же реактивный паттерн; дезавуирование через superseded | TZ, состязательный вердикт, ADAPT draft | ADAPT approved / вердикт-свидетельство | QG-ADAPT-approve |
| MVR-4 | Отклонять SPEC с type ∉ закрытого списка | SPEC frontmatter | validation error | QG-spec-approved |
| MVR-5 | Обеспечить pos/neg пару TC на каждое нормативное утверждение | SR/SPEC, TC set | paired TC | QG-2 |
| MVR-6 | Отклонять custom gate types; требовать QG-0..2 | project config | манифест | — |
| MVR-7 | Требовать подписанный RENAR-CONFORMANCE.yaml с senar-version |
манифест | claim соответствия | — |
3. Взаимное соответствие MVR ↔ обязательные положения §13.3¶
Полное взаимное соответствие MVR ↔ §13.3 — 08-conformance-self-assessment.md §1. Агент не должен считать проект соответствующим, если любое поле mandatory-clauses-confirmed = false.
4. Контракт gate runner (абстрактно)¶
| Gate | Pre (проверки агента) | Post (записи агента) |
|---|---|---|
| QG-0 | Schema valid; parent links; ADAPT exists for TZ-backed SR | approved transition + audit-trail |
| QG-1 | TR links implements-spec[]; носитель реализации pinned (V5) |
TR in_progress → done evidence |
| QG-2 | All verified-by TC passing; pos/neg; last-run.requirement-version match |
artifact → verified |
Decision trees: standard/09 §9.1.1, standard/10 §10.1.1.
5. Правило нейтральности к носителю для implementer-ов¶
Runtime должен map-ить abstract actions на нативные для носителя primitives через RENAR-CONFORMANCE.yaml#v1-v6-mapping (§3.7). Vendor-specific команды не могут быть единственным способом выполнить обязательное положение.
6. Статус покрытия (v1.0-draft)¶
| Область | Index entries | Profile rows | Примечание |
|---|---|---|---|
| MVR | 7/7 | 7/7 | complete |
| §13.3 обязательные | 7/7 | via bijection | complete |
| QG-0..2 | 3/3 | 3/3 | QG-¾ deferred optional |
| Обязательные положения по главам | partial | — | expand in later pass |