Docs: crew team resume has no SRS requirements (documented in CLI contract but untraced)

[dichovsky]

crew team stop is traced by FR-U26–FR-U29 in docs/design/srs.md, but the sibling recovery verb crew team resume <session> (src/launcher/resume.ts, routed in src/cli.ts) is documented in the CLI contract's normative grammar with tests only — no SRS coverage. Future changes to its behavior (clean-stop marker, plan match, archived-exact Agents, TEAM_DRIFT) have no requirement to verify against. Docs-only; no runtime effect.

Acceptance: add SRS FR entries for team resume mirroring the FR-U26–FR-U29 treatment of team stop (eligibility proof, strict plan match, archived-exact reactivation, record/output shape), each with a Verify: pointer to the existing tests. No behavior change.

[dichovsky]

Triage: re-verified against main @ d311767. Confirmed as-is — the gap is real and the premise is unchanged.

• grep -n -i resume docs/design/srs.md returns exactly three hits, all about join --resume (srs.md:292, srs.md:294, srs.md:915). No requirement covers crew team resume.
• The sibling verb is fully specified: FR-U26–FR-U29 (srs.md:845-860) cover stop ownership proof, the adapter kill, Agent archiving, and the stop_result record.
• team resume is normatively documented one authority level down, in the CLI contract (cli-contract.md:267 grammar, cli-contract.md:343-351 semantics), and implemented in src/launcher/resume.ts (routed from src/cli.ts), with tests in tests/unit/launcher/resume.test.ts and tests/unit/format.test.ts:433.

Two deltas against the body (noted here, body left as written):

1. Group U's section heading is #### U. Local Console and owned-Team stop (srs.md:734), and the §1.3.2 summary says the group is "the local Console and Team-stop requirements" (srs.md:105-106). Both scope the group to stop only, so both need widening in the same change.
2. Two id-range statements enumerate group U and must move with it: srs.md:1322 (FR-U01–FR-U38 excluded from the v1 recount) and srs.md:1377 (Appendix E section default row).

Verdict: IMPLEMENT.

• Blast radius — docs/design/srs.md only. Nothing under src/, tests/, bin/, or web/ changes; no module boundary in CLAUDE.md is crossed. docs/ is not in package.json's files, so nothing reaches the published tarball. No code hardcodes a group-U id above FR-U38 (checked across src/, tests/, web/), and tests/unit/docs-facts.test.ts extracts the Participant roster, schema version, command surface, and ADR index — not FR ids — so no fact-extraction test is affected.
• Reversibility — a single-file docs revert. Nothing to migrate, nothing to unpublish.
• Contract impact — additive at authority level 2 (SRS). The new requirements codify behavior that is already implemented, already tested, and already normatively described at level 3 (CLI contract); they impose no new obligation on the code and change no ADR, CLI grammar, data model, or State Store schema. Level 3 and level 2 are brought into agreement in the direction the authority order requires — the SRS gains the coverage, the code is not touched.

Planned additions: FR-U39 eligibility proof (tmux required, marker + stored plan present, no live session of that name), FR-U40 strict plan match ignoring created_at, FR-U41 archived-exact reactivation and marker retirement, FR-U42 the resume_result record shape — each with a *Verify:* pointer to the tests that already exist.

Explicitly out of scope, tracked elsewhere:

• FR-U19's closed action enumeration and the Console's /api/team/resume + /api/resumable-sessions routes — Console: team-resume routes exceed FR-U19's closed action list (companion to #3) #25.
• The resume_result envelope in the CLI contract and the resume routes in architecture.md — CLI contract drift: doctor finding codes, resume_result, ui --json opener, implies-launch flags, error-code scopes #28.
• The wrong FR id on the renderTeamResumeResult test suite — filed as Tests: renderTeamResumeResult suite cites FR-U32, which is deleted-Workspace recovery #48, which depends on this issue landing first.

---

Generated by Claude Code