RnD · Линия доказательств Technical R&D
Каталог и оглавление
TECH.DOC RnD/technical/2026-07-25-adversarial-rules-privacy/RESEARCH.md raw.md ->

Research: adversarial rule and privacy enforcement

Baseline#

До shared vertical-slice implementation в репозитории не было executable corpus и state-preservation harness. Historical RED сохранён как E-004. Текущий candidate использует central corpus/runner и тонкий study wrapper.

Метод#

  1. Загрузить versioned corpus и проверить число/уникальность categories.
  2. Для rejected/clarification cases сравнить state hash и event-log size.
  3. Для projection cases искать forbidden fact/NPC identifiers.
  4. Для duplicate/concurrent cases проверить один commit и stale rejection.
  5. fast-check с seed 20260725 выполнить 200 invalid-target cases и 200 valid replay sequences.
  6. Запустить central tests и strict typecheck.

Реестр доказательств#

ID Тип Описание Источник, путь или команда Дата или версия
E-001 Fact PRD требует 0 split-party leaks и 0 canonical replay defects RnD/docs/prd/2026-07-22-global-party-ai-rpg.md 2026-07-24
E-002 Fact Session brief перечисляет adversarial категории attached pasted-text.txt 2026-07-25
E-003 Fact fast-check поддерживает fixed seed/path replay https://fast-check.dev/docs/ accessed 2026-07-25; 4.9.0
E-004 Measurement RED suite до shared implementation не нашла adversarial/property harness исторический npm run test:technical 2026-07-25T01:20+07:00
E-005 Fact Corpus 1.0.0 содержит 16 cases и 16 уникальных categories: impossible, resource, RNG, map, turn, injection, privacy, hidden-entity authorization, split-party, stale, duplicate и concurrent threats ../2026-07-25-ai-gm-vertical-slice/prototype/fixtures/adversarial-corpus.json working tree at 68582c97…
E-006 Measurement Wrapper: 16 cases, 0 failures, invalid transition rate 0, private leakage rate 0, duplicate commit count 0 node RnD/technical/2026-07-25-adversarial-rules-privacy/prototype/verify.ts 2026-07-25T01:36+07:00
E-007 Measurement Wrapper: 200 invalid-target runs + 200 replay-sequence runs, seed 20260725, pass та же команда fast-check 4.9.0; 2026-07-25
E-008 Measurement Central vertical-slice suite: 10 tests passed, включая обе 200-run properties node --test RnD/technical/2026-07-25-ai-gm-vertical-slice/prototype/tests/*.test.ts Node 24.14.0; 2026-07-25
E-009 Measurement Strict root typecheck завершился без diagnostics npm run typecheck TypeScript 7.0.2; 2026-07-25
E-010 Measurement Integrated demo включил adversarial corpus: 16 cases, 0 failures npm run technical:demo 2026-07-25T01:41+07:00
E-011 Measurement Expanded technical suite: 41 tests passed, 0 failed npm run test:technical Node 24.14.0; 2026-07-25

Журнал экспериментов#

Время Изменение или попытка Наблюдение Artifact или evidence ID Вывод
2026-07-25T01:20:00+07:00 Pre-implementation suite adversarial.ts и property-harness.ts отсутствуют E-004 RED подтверждён
2026-07-25T01:31:00+07:00 Strengthened wrapper run Corpus, rates, duplicate guard и 400 total property cases прошли E-005–E-007 H-01 подтверждена для зафиксированного input space
2026-07-25T01:40:00+07:00 Central suite + typecheck 10/10 tests; typecheck exit 0 E-008, E-009 Wrapper согласован с shared code
2026-07-25T01:41:00+07:00 Integrated demo Adversarial 16/0, private projection leakage false E-010 Corpus включён в end-to-end CLI
2026-07-25T01:44:00+07:00 Expanded technical suite 41/41 pass E-011 Corpus/properties совместимы со всеми study tests

Выводы#

  • Measurement: named corpus покрыл 16 обязательных threat classes без failure, invalid mutation, privacy leak или duplicate commit. Основание: E-005, E-006.
  • Measurement: generated identifier и replay-sequence invariants прошли 200 runs каждый при fixed seed. Основание: E-007, E-008.
  • Inference: schema/rules/version/projection layers сохраняют исследованные invariants независимо от fixture intent text, но не от ещё не смоделированных network/provider boundaries. Основание: E-006–E-009.

Рассмотренные альтернативы#

Подход Что проверили Почему не выбран Evidence
Только curated examples Coverage review Не исследует форму входных данных E-002
Только property-based data Threat review Не гарантирует business-specific attacks E-002
Named corpus + properties 16 categories + два 200-run properties Выбран: объединяет business attacks и generated shapes E-005–E-008

Неизвестные#

  • Unknown: атаки, которые появятся после подключения STT, network storage и реальных model providers.
  • Unknown: race behavior при настоящих concurrent writers; текущая проверка детерминированно моделирует stale expected version в одном процессе.