Validation: adversarial rule and privacy enforcement

Окружение#

Параметр	Фактическое значение
Дата проверки	2026-07-25, Asia/Ho_Chi_Minh
Commit	`68582c97cb6b51804532cbd021290f07f4f74fa5`; dirty working tree
OS и hardware	macOS 26.4 build 25E246, arm64
Runtime	Node.js 24.14.0; npm 11.9.0; TypeScript 7.0.2; fast-check 4.9.0
Внешние сервисы	none
Входные данные	adversarial corpus 1.0.0; generated strings/command sequences

Результаты по критериям#

ID	Проверка	Ожидалось	Получено	Evidence	Результат
AC-01	Corpus categories	≥14 named categories	16 cases, 16 unique categories	`E-005`, `E-006`	`pass`
AC-02	Rejected/clarification transitions	0 invalid mutations	invalid state transition rate `0`; 0 failed cases	`E-006`	`pass`
AC-03	GM/player/split-party projections	0 leaks	private information leakage rate `0`; 0 failed cases	`E-005`, `E-006`	`pass`
AC-04	Duplicate + stale concurrent commands	0 duplicate commits; stale rejected	duplicate commit count `0`; both categories passed	`E-005`, `E-006`	`pass`
AC-05	Generated invalid targets	200 runs, seed `20260725`	200/200 pass; additionally 200/200 replay sequences pass	`E-007`, `E-008`	`pass`

Команды проверки#

node RnD/technical/2026-07-25-adversarial-rules-privacy/prototype/verify.ts
node --test RnD/technical/2026-07-25-ai-gm-vertical-slice/prototype/tests/*.test.ts
npm run test:technical
npm run typecheck
npm run technical:demo

Существенный wrapper output:

{
  "corpusVersion": "1.0.0",
  "caseCount": 16,
  "failedCases": [],
  "invalidStateTransitionRate": 0,
  "privateInformationLeakageRate": 0,
  "duplicateCommitCount": 0,
  "propertyChecks": {
    "seed": 20260725,
    "invalidTargetRuns": 200,
    "replaySequenceRuns": 200,
    "status": "pass"
  }
}

Central suite: 10 tests, 10 pass, 0 fail. Typecheck: exit 0. Integrated demo: adversarial cases/failures 16/0; private projection leakage false. Expanded technical suite: 41 tests, 41 pass, 0 fail.

Ошибки и нестабильность#

Baseline RED failure сохранён как E-004. Fresh wrapper, central tests и typecheck завершились без errors. fast-check failure path отсутствовал, поэтому shrink/path artifact не создавался.

Repository npm run check прошёл: 4 site tests, 41 technical tests, typecheck, 10-study validator, 96-document build и rendered-link validation с 0 failures.

Воспроизводимость#

Wrapper и central tests повторены в одном checkout. Независимого повтора на другой машине, с другим seed corpus или real concurrent event store не было.

Финальный исход#

Outcome: pass
Обоснование: все пять AC выполнены fresh wrapper/test/typecheck/demo evidence (E-005–E-010).
Что результат не доказывает: полноту security coverage, network/storage isolation, semantic exfiltration resistance или provider/STT safety.