docs: add CLAUDE.md, architecture docs, and /sesh-mode skill#6247
Open
g-talbot wants to merge 3 commits intogtt/phase-31-executefrom
Open
docs: add CLAUDE.md, architecture docs, and /sesh-mode skill#6247g-talbot wants to merge 3 commits intogtt/phase-31-executefrom
g-talbot wants to merge 3 commits intogtt/phase-31-executefrom
Conversation
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
from
0ee18f5 to
b077bf3
Compare
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
from
ae409ac to
3eb3316
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
from
70a48be to
d225cc7
Compare
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
2 times, most recently
from
c4418dd to
aa5ff45
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
2 times, most recently
from
8d701de to
bcdda05
Compare
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
2 times, most recently
from
142ddd6 to
972bd20
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
from
bcdda05 to
0fd7087
Compare
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
2 times, most recently
from
73c90c4 to
44bd6bb
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
from
468ac45 to
1e5722d
Compare
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
from
44bd6bb to
add1902
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
from
1e5722d to
9b6c961
Compare
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
from
add1902 to
d88f67f
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
2 times, most recently
from
06a6296 to
8f1cbde
Compare
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
2 times, most recently
from
b5b840e to
c8e6070
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
from
8f1cbde to
a8d60a7
Compare
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
from
c8e6070 to
cc704b5
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
from
a8d60a7 to
b2bde05
Compare
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
from
cc704b5 to
bf93060
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
from
b2bde05 to
075e9c3
Compare
Ports CLAUDE.md (development guide, coding standards, known pitfalls) and the full docs/internals tree including ADRs, gap analyses, TLA+ specs, verification guides, style references, and compaction architecture. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
- Move verification-first workflow (TLA+, DST, formal specs) to /sesh-mode skill - Keep repo knowledge in CLAUDE.md (pitfalls, reliability rules, testing, docker, commands) - Remove Crate Map (derivable from filesystem) - Remove Coding Style bullet summary (CODE_STYLE.md is linked) - Fix relative links in SKILL.md for .claude/skills/sesh-mode/ path Co-Authored-By: Claude <noreply@anthropic.com>
g-talbot
force-pushed
the
gtt/phase-31-execute
branch
from
bf93060 to
cedd6ca
Compare
g-talbot
force-pushed
the
gtt/docs-claude-md
branch
from
075e9c3 to
01e7e3b
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
/sesh-modeskill for verification-first workflow (TLA+, DST, Stateright)Combines pomsky PRs #468 and #474.
Stacks on
gtt/phase-31-execute(PR #6246).The split logic (from PR #474)
/sesh-modeTest plan
/sesh-modeskill contains the full verification workflow🤖 Generated with Claude Code