Tianyi Cui 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce
..
001-property-based-testing.md 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce
002-mutation-testing.md 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce
003-deterministic-and-stress-testing.md 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce
004-architectural-conformance.md 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce
005-runtime-validation-and-error-taxonomy.md 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce
006-doc-sync-and-api-reports.md 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce
007-supply-chain-and-vendor-drift.md 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce
008-immutable-public-surfaces.md 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce
README.md 4dafad4db6 Add RFCs for the remaining quality-proposal ideas 3 ay önce

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 proposed
006 Doc-sync enforcement and API extractor reports proposed
007 Supply chain checks and vendor drift verification proposed
008 Deep-readonly public surfaces proposed