cs-domain

csDomain :: DomainRequest -> DomainOutcome

data DomainRequest = DomainRequest
  { intent        : Maybe DomainIntent    -- 术语 / ADR / 拓扑升级；缺则读用户话术
  , candidate     : Maybe DomainCandidate -- 真实术语、决策或拓扑方案；gate 不对裸 intent 做判断
  , triggerSource : TriggerSource         -- 拓扑升级必须来自 owner 显式请求
  , repoFacts     : RepoFacts             -- .codestable/requirements/ 下现有产物，优先于聊天历史
  , attention     : Maybe Attention       -- .codestable/attention.md；缺则 route to cs-onboard
  }

data DomainIntent = AddTerm | WriteADR | UpgradeTopology
data DomainCandidate = TermCandidate TermDraft | AdrCandidate DecisionDraft | TopologyCandidate TopologyPlan
data TriggerSource = ExplicitOwnerRequest | InferredRequest

data Topology = None | Single | Multi -- 由 CONTEXT.md / CONTEXT-MAP.md 是否存在判定

data DomainState = DomainState        -- 从 .codestable/requirements/ 恢复
  { topology     : Topology
  , hasContext   : Bool               -- CONTEXT.md 是否存在
  , hasContextMap: Bool               -- CONTEXT-MAP.md 是否存在
  , maxAdrNum    : Int                -- 对应 adrs/ 目录最大编号，新 ADR = +1
  }

data DomainOutcome
  = TermWritten Path                  -- CONTEXT.md 落对拓扑位置，同义词入 _Avoid_
  | AdrWritten Path                   -- 通过守门 3 判据；frontmatter 全 + Nygard 四节齐
  | TopologyUpgraded                  -- CONTEXT-MAP.md + 子目录 + 术语拆分 + ADR 分级
  | NeedsHuman Reason

selectDomainAction :: DomainState -> DomainRequest -> DomainOutcome
selectDomainAction(s, r)
  | attentionMissing r                                      -> NeedsHuman "route to cs-onboard"
  | isNothing (intent r)                                    -> NeedsHuman "which domain action?"
  | intent r == Just AddTerm && not (isTermCandidate r)     -> NeedsHuman "term material missing"
  | intent r == Just WriteADR && not (isAdrCandidate r)     -> NeedsHuman "decision material missing"
  | intent r == Just WriteADR && not (passesGate3 (adrCandidate r))
                                                              -> NeedsHuman "ADR 未过守门 3 判据"
  | intent r == Just WriteADR                               -> AdrWritten (adrPath s)
  | intent r == Just AddTerm                                -> TermWritten (contextPath s)
  | intent r == Just UpgradeTopology && triggerSource r /= ExplicitOwnerRequest
                                                              -> NeedsHuman "升级需用户显式触发"
  | intent r == Just UpgradeTopology && not (isCompleteTopologyPlan r)
                                                              -> NeedsHuman "topology plan incomplete"
  | intent r == Just UpgradeTopology                        -> TopologyUpgraded

.codestable/requirements/
├── CONTEXT.md              # 术语表
├── adrs/                   # 顺序编号 ADR
│   ├── 001-xxx.md
│   └── 002-xxx.md
└── {capability}.md         # 能力 doc（cs-req 产出，不归本技能管）

.codestable/requirements/
├── CONTEXT-MAP.md          # 子 context 列表 + 关系
├── adrs/                   # 系统级 ADR（跨 context）
├── ordering/
│   ├── CONTEXT.md          # 子 context 术语
│   └── adrs/               # 子 context 特定 ADR
└── billing/
    ├── CONTEXT.md
    └── adrs/

# {Context 名}

{一两句描述这个 context 是什么、为什么存在。}

## Language

**Order**:
{一两句话定义。}
_Avoid_: Purchase, transaction

**Invoice**:
A request for payment sent to a customer after delivery.
_Avoid_: Bill, payment request

---
id: 001
title: 选择 X 而不是 Y
status: proposed | accepted | superseded | deprecated | partially-superseded
date: YYYY-MM-DD
supersedes: [003]                          # 可选
superseded_by: [015, 017]                  # 可选
relates_to: [requirements/{slug}, 002]     # 可选
---

# {Title}

## Context
{决策面对的问题、约束、当时的状况。}

## Decision
{我们决定做什么。}

## Consequences
{这个决定带来的正负影响、新出现的约束。}

## Alternatives Considered
{讨论过的备选方案 + 为什么没选。}