docs(adr): write ADRs 0001–0011 and 0013–0017 in ASD-STE100

TH
6h ago
+3653-2861

Summary

Rewrite the prose of 16 ADRs (0001–0011, 0013–0017) and the index in ASD-STE100. Add the missing "Rules at a glance" sections. Meaning is frozen: where STE wording and exact meaning conflict, the base sentence wins.

The fixup commits ("restore the frozen meaning in ADR NNNN") fix the round-1 review. They restore operative content that the history commits deleted: ADR 0005 preflight gate, ADR 0011 open migration step 3, ADR 0013 gesture/snapshot-session rule, ADR 0016 #1533 invariant, ADR 0003 interim-owner sentence. ADRs 0002, 0003, 0005, and 0016 now delete no history. About 3.5 KB of completed history stays deleted in ADRs 0001, 0004, 0008, 0009, 0011, 0013, and 0014.

Discrepancies found, not changed

  • ADR 0003: lines name daemon-command-registry.ts as the trait declaration site, but traits are inline daemon: {…} fields in packages/command-registry/src/registry.ts; catalog.ts holds no per-command data. Maintainer: is the inline facet an accepted change to Invariant 1? Should the ADR point at registry.ts?
  • ADR 0011: the text says the fake runner derives tap-point behavior from the golden table. No fake runner reads contracts/fixtures/tap-point-policy.json.
  • Code comments cite deleted ADR text: interaction-guarantees.ts:6 ("phase 3"), registry.ts:1602-1606 and command-descriptor-ref-frame-effect.test.ts:51 ("ADR 0014 escape hatch").
  • ADR 0007 "five minutes" vs the 60 s lease default; ADR 0015 #1299 is closed; ADR 0013 codec caller list is dated 2026-07.

Review and validation

  • Round 1 (Claude Opus): 5 high, about 20 medium; fixed. Round 2 (Codex): 15 ADRs and the index equivalent to base; one medium in ADR 0017 fixed in ea9be72adc. No finding open.
  • check:affected passed, exactCommit=true, 0 checks selected (ADR-only). check:agent-guidance passed.