docs(dummies): add the architecture and design audit report

[Reefact]

Summary

Adds the 2026-07-20 architecture & design audit of the standalone Dummies library — a maintainer-facing report under doc/handwritten/for-maintainers/audit/, in English (canonical) and French in lockstep. Documentation-only; no source or behavior changes. The audit is advisory per ADR-0004; its recommendations were opened as issues #206–#226, cross-referenced from §14.

Type of change

• Bug fix
• New feature
• Breaking change
• Refactoring
• Analyzer / diagnostic change
• Tests
• Documentation
• Build / CI / tooling

Changes

• Add doc/handwritten/for-maintainers/audit/2026-07-20-dummies-architecture-and-design-audit.md — the full audit (13 review sections: executive summary, assessment, strengths, weaknesses, ADR review & compliance, architecture, API, maintainability, feature-gap analysis, recommendations, roadmap, conclusion), documenting three runtime-reproduced defects (AnyDecimal upper-half unreachability, Single/Half exclusion-nudge stall, regex U+FFFF class-range hang) with evidence and proposed fixes.
• Add the French sibling …-audit.fr.md, a faithful translation, with reciprocal language navigation links on both files.
• Add §14 "Issue tracking" (EN + FR): a static table mapping each §11 recommendation to the GitHub issues opened from it (Dummies: AnyDecimal never generates the upper half of a range #206–Dummies: Nice-to-Have generator and ergonomics backlog (demand-driven) #226) and its §12 roadmap phase.

Testing

• dotnet build FirstClassErrors.sln
• dotnet test FirstClassErrors.sln
• Analyzer tests pass (FirstClassErrors.Analyzers.UnitTests)

Documentation-only change — no source modified, so the solution build and tests are unaffected and were not re-run for this PR. The Dummies unit suite was executed during the audit itself (dotnet test Dummies.UnitTests → 222/222 passing on the net10.0 runner) and is unchanged here.

Documentation

• Public API / error documentation updated
• README / doc/ updated
• French translation updated if user-facing behavior changed
• No documentation change required

The audit lives under doc/handwritten/for-maintainers/; the English document is canonical and the French translation is kept in lockstep per CLAUDE.md. No public API or user-facing behavior changes, so no for-users docs or NuGet READMEs are touched by this PR (the audit recommends such doc work in follow-up issues #218/#219).

Architecture decisions

• No architectural decision in this pull request
• New decision recorded — ADR drafted as Proposed: ADR-____
• Supersedes an existing ADR — successor proposed, status not flipped: ADR-____
• ⚠️ Conflicts with an existing ADR — flagged for the maintainer: ADR-____

This PR records no ADR. The audit reviews the existing Dummies ADRs (0006, 0011, 0013, 0015, 0020, 0022, 0025, 0026) for quality and compliance, and recommends drafting two new Proposed ADRs (a determinism-contract ADR and an ordinal-engine ADR) — tracked in issues #216 and #217, to be drafted in their own changes.

Related issues

Opened from this audit (§14) — not closed by this PR:

• Defects: Dummies: AnyDecimal never generates the upper half of a range #206, Dummies: AnySingle/AnyHalf exclusion nudge stalls on satisfiable specs #207, Dummies: a character-class range ending at U+FFFF hangs generation #208, Dummies: balancing groups and invalid group names are silently accepted by StringMatching #209, Dummies: minor StringMatching dialect edges (limit message, conservative refusals, negated-class taxonomy) #210, Dummies: seed report is wrong or inapplicable for fixed-context and mixed-source compositions #211, Dummies: distinct-collection exhaustion message over-promises replay for foreign element generators #212
• Tests: Dummies: add reachability tests and a cross-engine scenario suite #213, Dummies: add Any/AnyContext and constraint-algebra parity guards #214, Dummies: run the test suite on the .NET Framework 4.7.2 floor and assert cross-TFM seed equality #215 (follow-up to Dummies: Exercise both packaged target-framework assets in compatibility tests #191)
• Determinism & ADRs: Dummies: settle and document the determinism contract, and record it in a Proposed ADR #216, Dummies: record the ordinal-engine architecture in a Proposed ADR #217
• Documentation: Dummies: surface the package in the repository README and write a user guide #218, Dummies: correct the "printable ASCII" claim and other stale docs/comments #219, Dummies: ADR hygiene — resolve ADR-0025 status/wording and record ADR-0026/0013/0015 clarifications #220
• Release engineering: Dummies: add a public-API baseline and package validation before the first release #221, Dummies: decide Any.Bool() vs Any.Boolean() before 1.0 and record the naming rule #222
• Features & backlog: Dummies: add a top-level choice combinator Any.OneOf<T> / Any.ElementOf<T> #223, Dummies: add exclusion constraints to AnyString (DifferentFrom / Except / OneOf) #224, Dummies: give AnyDictionary a containment constraint and share the count facade #225, Dummies: Nice-to-Have generator and ergonomics backlog (demand-driven) #226

🤖 Generated with Claude Code

https://claude.ai/code/session_01GvrWFVoG74xiys3oyEft1G

---

Generated by Claude Code