Главная Обзор Помощь
Регистрация Вход
haiany
/
deepseek-harness
зеркало из https://github.com/deepseek-ai/deepseek-harness.git
1
0
Ответвить 0
Файлы Задачи 0 Вики
Дерево: 11a29fdefe
Ветки Метки
deepseek-harnes...
/
docs
/
rfc
Tianyi Cui 11a29fdefe feat(invariants): dev-mode event-contract assertions + session-log freeze (RFC 005 pt 3, RFC 008) 4 месяцев назад
..
001-property-based-testing.md 066f94c7e0 docs: unwrap hard-wrapped Markdown to one line per paragraph 4 месяцев назад
002-mutation-testing.md 066f94c7e0 docs: unwrap hard-wrapped Markdown to one line per paragraph 4 месяцев назад
003-deterministic-and-stress-testing.md 066f94c7e0 docs: unwrap hard-wrapped Markdown to one line per paragraph 4 месяцев назад
004-architectural-conformance.md 066f94c7e0 docs: unwrap hard-wrapped Markdown to one line per paragraph 4 месяцев назад
005-runtime-validation-and-error-taxonomy.md 11a29fdefe feat(invariants): dev-mode event-contract assertions + session-log freeze (RFC 005 pt 3, RFC 008) 4 месяцев назад
006-doc-sync-and-api-reports.md 066f94c7e0 docs: unwrap hard-wrapped Markdown to one line per paragraph 4 месяцев назад
007-supply-chain-and-vendor-drift.md 066f94c7e0 docs: unwrap hard-wrapped Markdown to one line per paragraph 4 месяцев назад
008-immutable-public-surfaces.md 11a29fdefe feat(invariants): dev-mode event-contract assertions + session-log freeze (RFC 005 pt 3, RFC 008) 4 месяцев назад
README.md 11a29fdefe feat(invariants): dev-mode event-contract assertions + session-log freeze (RFC 005 pt 3, RFC 008) 4 месяцев назад

README.md

RFCs

Proposals for substantial future work — reviewed before implementation, unlike ADRs (which record decisions already made). Each RFC groups a related set of ideas from the quality/robustness proposal (2026-06-11); statuses move proposed → accepted → implemented (then usually graduate to an ADR).

# Title Status
001 Property-based testing for protocol-shaped code proposed
002 Mutation testing as the coverage counterweight proposed
003 Deterministic tests + replay invariant fixture + race stress proposed
004 Architectural rules: dependency-cruiser, adapter conformance kit proposed
005 Runtime arg validation, structured error taxonomy, dev-mode invariants partially implemented
006 Doc-sync enforcement and API extractor reports proposed
007 Supply chain checks and vendor drift verification proposed
008 Deep-readonly public surfaces implemented (revised)