# План: доменный go-live аудит (ревизия J) — отчёт как трансформация выводов greps, без шаблона

## Цель

Записать **промежуточный неавторизующий** отчёт доменного аудита по спеке
`2026-06-15-go-live-security-audit-evidence-3.md`. **Структура отчёта определена в спеке,
раздел D5** (шесть полей на находку, включая `рекомендация`); этот план её не дублирует и не
предсупляет значений. Write (шаг 13) строит отчёт как **трансформацию дословных выводов
grep-шагов 1–12**: статус каждой находки = функция фактического вывода её grep по правилу
агрегации, доказательная база = буквальный вывод grep. Блокеры = все открытые P1 = **{F-T2,
F-P1}**. Форма — **не авторизация go-live** (финал — владелец после live-DAST). Открытые
вопросы (Б-1/SEC/CTO/Биз/Диз/DO) не закрываются.

## Почему отчёт нельзя составить без прогона greps

- Стена исполняет `steps-json` по порядку: указатель достигает Write-шага (13) только после
  фактического исполнения шагов 1–12.
- Отчёт по построению содержит **дословные выводы** каждого grep как доказательную базу — без
  этих выводов значения таблицы не определены (составлять не из чего).
- `verified-context-json` — доказательство **заземления** плана (одна подстрока существует в
  реальном файле), а не собранная доказательная база.

## Правило агрегации (по нему Write выводит статус из вывода grep)

- ожидаемый дискриминирующий вывод → `подтверждён`;
- иной вывод (опроверг гипотезу) → `requires-manual-check`;
- grep по отсутствию (шаги 5, 10, ожидается пусто): пусто → `observation`; непусто →
  `requires-manual-check`;
- контр-гипотеза «чисто» (шаги 6, 11): подтверждено → раздел «Чисто»; иначе → `requires-manual-check`.

## Роль скилов: интерпретирующий метод (не шаги steps-json)

`steps-json` op ∈ {Write, Edit, Bash, MultiEdit} — Skill не входит. Скилы — линза интерпретации
grep-evidence (как `test-driven-development` ведёт код). Порядок фиксирован: после шага 12 и
до Write, последовательно `threat-model` → `pdn-152fz-audit` → `billing-audit` →
`security-go-live`. Привязка к находкам: threat-model→F-T2/F-T1/F-T3, pdn-152fz-audit→F-P1/F-P2,
billing-audit→F-B1+«Чисто», security-go-live→вердикт (NO-GO, блокеры {F-T2,F-P1}; контракт
GO/NO-GO соблюдён, «промежуточный» = не финально-авторизующий).

## Что проверяет каждый grep-шаг

| Шаг | grep | Находка | Дискриминирует |
|----|------|---------|----------------|
| 1 | `EnsureSaasAdmin` в app/app·app/bootstrap·app/routes | F-T2 | где применён гейт (биндинг) |
| 2 | `next` в EnsureSaasAdmin | F-T2 | тело middleware = no-op `return $next` |
| 3 | `admin_user_id` в ResolvesAdminUserId | F-T2 | id из `$request->input`, не из сессии |
| 4 | `Http::timeout` в WebhookSettingsController | F-T1 | исходящий вызов существует |
| 5 | `withoutRedirecting` там же | F-T1 | выставлен ли флаг (ожидается пусто) |
| 6 | `blockReason` в WebhookUrlGuard | Чисто | guard добротен |
| 7 | `verifyIpAllowlist` в SupplierWebhookController | F-T3 | приёмник + fail-open |
| 8 | `contact_name` в PdErasureService | F-P1 | erasure без phones[] |
| 9 | `phones` в schema.sql | F-P1 | колонка `phones JSONB` |
| 10 | `sentry` в app/config | F-P2 | есть ли конфиг (ожидается пусто) |
| 11 | `bcsub` в LedgerService | Чисто | деньги bcmath |
| 12 | `lead_charges_deal_id` в schema.sql | F-B1 | INDEX vs UNIQUE |
| 13 | Write | все | трансформирует выводы 1–12 в отчёт по структуре D5 |

ref шагов = якоря секций спеки {#D1}..{#D5}. Файл-артефакт в `docs/superpowers/audits/` —
директория существует.

## Карточки навыков (верифицированные — дословно из `docs/registry/contracts/`)

```json
[
  {"skill":"threat-model","kind":"own","needs":["портал для моделирования угроз перед публикацией"],"produces":["STRIDE-модель: attack surface + приоритеты защиты"],"constraints":["self-authored; STRIDE going-public","ADR-014 IS6 НЕ Trail of Bits #39"],"preview-form":"outline","defaults":["карта точек входа → приоритизация по STRIDE"],"key-decisions":["что защищать первым перед публикацией"],"acceptance-criteria":["attack surface картирован, защита приоритизирована"]},
  {"skill":"pdn-152fz-audit","kind":"own","needs":["задача аудита ПДн / 152-ФЗ"],"produces":["аудит ПДн: инвентаризация, согласия, маскирование, логи доступа, pd_subject_request"],"constraints":["self-authored; режим техника + закон","ADR-014: IS4 НЕ pg_anonymizer #29, IS5 НЕ D2"],"preview-form":"outline","defaults":["инвентаризация ПДн в схеме/коде → проверка соответствия"],"key-decisions":["режим: техника или закон"],"acceptance-criteria":["ПДн инвентаризированы, соответствие 152-ФЗ проверено"]},
  {"skill":"billing-audit","kind":"own","needs":["код/диф биллинга для аудита денежной корректности"],"produces":["отчёт о money-инвариантах биллинга"],"constraints":["self-authored; аудит кода биллинга","ADR-012: НЕ налоги, НЕ процесс, НЕ security"],"preview-form":"outline","defaults":["проверять потерю копеек, двойное списание, tier-резолюцию, дрейф reconcile"],"key-decisions":["какие денежные инварианты в scope"],"acceptance-criteria":["каждый денежный путь проверен на потерю копеек и двойное списание"]},
  {"skill":"security-go-live","kind":"own","needs":["портал перед выходом в интернет (go/no-go)"],"produces":["вердикт GO/NO-GO + сводка проверок безопасности"],"constraints":["self-authored оркестратор #68-72 + D3","ADR-014 IS7 НЕ audit-portal"],"preview-form":"outline","defaults":["оркеструет ZAP/Nuclei/Ward/pdn-152fz/threat-model + Semgrep"],"key-decisions":["go/no-go порог"],"acceptance-criteria":["вердикт GO/NO-GO обоснован результатами проверок"]}
]
```

## Порядок исполнения

Шаги 1–12 (Bash grep) исполняются стеной по порядку, дают фактический вывод. Затем
`threat-model` → `pdn-152fz-audit` → `billing-audit` → `security-go-live` интерпретируют.
Шаг 13 (Write) трансформирует дословные выводы 1–12 в отчёт по структуре D5 спеки и пишет в файл.

```skills-json
["threat-model", "pdn-152fz-audit", "billing-audit", "security-go-live"]
```

```steps-json
[
  {"op":"Bash","object":"grep -rn EnsureSaasAdmin app/app app/bootstrap app/routes","ref":"D1"},
  {"op":"Bash","object":"grep -n next app/app/Http/Middleware/EnsureSaasAdmin.php","ref":"D1"},
  {"op":"Bash","object":"grep -n admin_user_id app/app/Http/Controllers/Concerns/ResolvesAdminUserId.php","ref":"D1"},
  {"op":"Bash","object":"grep -n Http::timeout app/app/Http/Controllers/Api/WebhookSettingsController.php","ref":"D2"},
  {"op":"Bash","object":"grep -n withoutRedirecting app/app/Http/Controllers/Api/WebhookSettingsController.php","ref":"D2"},
  {"op":"Bash","object":"grep -n blockReason app/app/Support/WebhookUrlGuard.php","ref":"D2"},
  {"op":"Bash","object":"grep -n verifyIpAllowlist app/app/Http/Controllers/Api/SupplierWebhookController.php","ref":"D2"},
  {"op":"Bash","object":"grep -n contact_name app/app/Services/Pd/PdErasureService.php","ref":"D3"},
  {"op":"Bash","object":"grep -n phones db/schema.sql","ref":"D3"},
  {"op":"Bash","object":"grep -rn sentry app/config","ref":"D3"},
  {"op":"Bash","object":"grep -n bcsub app/app/Services/Billing/LedgerService.php","ref":"D4"},
  {"op":"Bash","object":"grep -n lead_charges_deal_id db/schema.sql","ref":"D4"},
  {"op":"Write","object":"docs/superpowers/audits/2026-06-15-portal-domain-audit-report.md","ref":"D5"}
]
```

```verified-context-json
[
  {"id":"D1a","kind":"EXTRACTED","ref":"app/app/Http/Middleware/EnsureSaasAdmin.php","anchor":"return $next($request);"}
]
```
