docs(adr): write the replay ADR and proposed ADRs in ASD-STE100
Merged
TH
5h ago+2929+2929+0123456789012345678901234567890123456789-2390-2390-0123456789012345678901234567890123456789
Summary
Rewrites ADR 0012 (Interactive Replay) and the Proposed ADRs 0018, 0020, 0024, and 0028 in ASD-STE100 Simplified Technical English. This is a language change: the meaning of each rule is frozen. Proposed ADRs stay conditional. Completed process history is deleted from ADR 0012 and ADR 0024 in separate commits. Two stale owner pointers in ADR 0018 are corrected.
Review rounds
- Round 1 (independent, Claude Opus): 3 high and about 20 medium meaning changes. Fixed in
8773862e41..6df38aae76, with about 90 further drifts from a sentence-by-sentence re-audit against59fdf008b9. - Round 2 (independent, Codex): ADRs 0018, 0020, 0024, and 0028 are equivalent to the base. One medium finding in ADR 0012 (the sibling signal read as a filter) is fixed in
098ec9f072. No high finding is open. Fenced blocks are byte-identical to the base.
Problems at base, not changed here
- ADR 0020 cites
src/core/dispatch.ts,dispatchKnownCommand, anddispatch-keyboard.test.ts; none exists. - ADR 0012 points to a "hard-reject alternative" that is not in Alternatives.
- ADR 0019's amendment blockquote has the per-kind gate and fence-generation archiving; ADR 0024 §2.7 has neither.
Validation
pnpm check:affected --run --head 6df38aae76: passed,exactCommit=true; it selects zero checks for ADR-only changes.- Links, anchors, and section references into these ADRs resolve.