Seed Spec — 확장의 정본

Metadata

• Created: 2026-09-16
• Revised: 2026-09-16 (v1.1.0 — Contrarian 15건 · Simplifier 8건 · 모호성 채점 10건 반영 / v1.1.1 — Round 2 문구 교정 5건)
• Author: 프로젝트 오너(Discovery §5.1 권장안 일괄 수용 — "계속 진행 해줘", 2026-09-16) · 작성: Claude (cc-spec:seed)
• Locked: 2026-09-16 (잠금 직전 내용 hash 194efa34 — 잠금은 Metadata 3줄 · AC-01 의 ux-spec 절 번호 · Evolution Log 1행만 바꿨다). ⚠️ A-01 은 오너 일괄 수용에 의한 잠정 결정 상태로 잠긴다(D-014) — 개별 확답이 오면 PATCH 로 검증 상태만 갱신하고, H2 로 정정되면 이 문서는 폐기된다
• Ambiguity Score: 0.07 (v1.1.1, Round 2b — CLEAR) · 이력: v1.0.0 0.275(WARNING) → v1.1.0 0.130 → v1.1.1 0.07. 복잡도 30.0(Caution, ≤ 30). 독립 감사 보고: Round 1 ambiguity-score-round1.md, Round 2/2b audit-round2.md(scratchpad, 평가 보고서에 요약)
• Parent: docs/seed-spec-cocode.md v3.4.0 (DRAFT). 이 문서의 C-nn · AC-nn · A-nn · D-nnn 은 이 문서 고유 번호 공간이며, 상위 문서 항목은 cocode/C-02 처럼 접두어를 붙여 인용한다.
• 상속: 이 문서는 상위 Seed Spec 의 불변 제약 cocode/C-01~C-05 와 Must-Not cocode/AC-04 · AC-05 · AC-21 · AC-24 를 그대로 상속하며 완화하지 않는다. 이 줄은 §2 와 같은 잠금 규칙을 따른다(v1.0.0 의 C-01 을 옮긴 것, S-002). 상위의 C-01~C-05 가 개정되면 이 문서는 진화 프로토콜로 추종하는 것이 아니라 새 Seed 로 대체된다(Core Problem 과 불변 제약은 진화 불가, CH-015).
• 잠금 근거: §1 Core Problem 과 C-02 의 "Dart 풀스택"(Discovery §0 의 H1) 확정 근거는 오너가 Discovery §5.1 Q1 에 대한 권장안을 "계속 진행 해줘"로 일괄 수용한 것이다(A-01 · D-001 · D-014). 오너의 개별 확답은 없다. 오너가 H2(다국어)로 정정하면 이 문서는 폐기되고 새 Seed 가 작성된다.

작성 원칙(상위 v3.0.0 재작성 원칙 승계): §4 는 "무엇을 만들고 무엇을 안 만드는가"의 경계만 규정한다. 임계값 · 측정 환경 · 픽스처는 담지 않으며, 그 값들은 Planning 의 BDD 인수 조건이 된다. 수치는 출처가 있는 것만 쓴다.

0. Glossary

1. Core Problem

Immutable after locking. Cannot evolve.

Dart 풀스택 개발자가 풀스택 워크스페이스(§0)의 Flutter 클라이언트 · Serverpod 서버 · PostgreSQL 을 한 작업에서 함께 고칠 때 편집·실행·검사를 한 창에서 끝낼 수 있는 데스크톱 에디터가 없고, cocode ADE 가 3-OS 에 제공하기로 한 개발자 표면(상위 cocode/AC-03: 코드 에디터 · 파일 트리 · 터미널)은 플레이스홀더 상태다.

Problem Rationale

• cocode ADE 앱 셸(app/cocode/lib/main.dart, PR #289)의 editorStack · terminal 슬롯은 ColoredBox 플레이스홀더이고, editor · terminal · lsp 는 앱 의존에 없다(Discovery §1.3, 2026-09-16 실측).
• 상위 cocode/AC-03(Must)은 코드 에디터 · 파일 트리 · 터미널을 3-OS MVP 출시 조건으로 둔다. 이 표면 없이 ADE 는 출시되지 않는다.
• Dart 서버(Serverpod)를 1급으로 두는 에디터는 시장에 없고(Discovery §2.1), Flutter 를 1급 템플릿으로 뒀던 Firebase Studio 는 2027-03-22 종료가 공지됐다(Discovery §2.2).
• flutter_ide 실사: Flutter 로 IDE 셸은 4주에 만들어지지만, 버퍼 소유권 · 저장 · 언어 서버 · 실행 배선이 없으면 편집이 소실되고 오류가 삼켜진다(Discovery §1.2). 가치는 표면이 아니라 배선에 있다.

2. Immutable Constraints

Immutable after locking. Each item requires rationale. C-01(상속 조항)은 v1.1.0 에서 Metadata "상속" 줄로 옮겼다(S-002). 번호는 재부여하지 않는다.

3. Domain Entities

After locking, only additions are allowed (existing entities cannot be modified). 상위 엔티티 Workspace · DelegatedTask · EditSnapshot 은 재정의하지 않고 참조한다.

DocumentBuffer (문서 버퍼)

• Attributes: path_key(상위 architecture DD-08a 의 경로 키 규칙 — 구현 workspace PathKey) · content · disk_hash(마지막 로드 또는 저장 시점 내용의 해시) · dirty(content 의 해시 ≠ disk_hash) · language_id · external_change_pending(디스크의 내용 · 존재 · 이름이 disk_hash 시점과 달라졌음이 감지된 상태)
• Relationships: 정확히 하나의 상위 Workspace 에 속한다. 0개 이상의 에디터 탭(뷰)이 같은 버퍼를 본다
• Invariants: (1) 한 Workspace 안에서 같은 path_key 의 DocumentBuffer 는 최대 1개다 (2) 버퍼의 수명은 그 버퍼를 보는 탭의 수명보다 길거나 같다 — 탭이 닫혀도 dirty 인 버퍼는 사용자 처분(저장 · 폐기) 전에 사라지지 않는다 (3) external_change_pending 이면서 dirty 인 버퍼의 content 는 사용자 선택 없이 디스크 내용으로 대체되지 않는다

RunConfiguration (실행 구성)

• Attributes: id · name · template_kind{flutterRun, serverpodStart, dartTest, custom} · command_template(실행 파일과 인자 목록) · working_dir(Workspace 루트 기준 상대 경로) · env_overrides(상위 architecture DD-23a 환경변수 화이트리스트를 통과한 키만 — 구현 toolchain EnvironmentWhitelist)
• Relationships: 정확히 하나의 상위 Workspace 에 속한다. 실행될 때마다 TerminalSession 하나를 만든다(1:n)
• Invariants: (1) working_dir 은 §0 프로젝트 디렉터리 중 하나이며 Workspace 루트 안을 가리킨다

TerminalSession (터미널 세션)

• Attributes: id · backend_kind{pty, pipe} · process_id · cwd · scrollback(출력 버퍼) · status{running, exited(exit_code)} · origin{user, runConfiguration(id)}
• Relationships: 0 또는 1개의 RunConfiguration 에서 기원한다(사용자가 연 명령 셸은 origin=user)
• Invariants: (1) 앱이 세션의 표준 입력에 쓰는 바이트는 사용자의 키 입력(IME 확정 문자열 포함)뿐이다 — 앱 자신의 명령은 쓰지 않는다(C-05)

4. Acceptance Boundaries

One flat table (FLAT — no nesting). Status defaults to PENDING at create. 이 표는 범위 경계를 규정한다. 근거 없는 임계값 · 측정 환경 · 픽스처는 담지 않는다. v1.1.0 병합: AC-02 → AC-01, AC-05 → AC-04 (D-016). 번호는 재사용하지 않는다.

수치의 출처

• 이 표에는 임계값 · 시간 · 개수 목표치가 없다. "둘 이상"(§0 · AC-03 · AC-09)과 "세 선택"(AC-03) · "기본 템플릿 3종"(AC-08)은 목표치가 아니라 열거 결과다. "양의 유한한 상한"(AC-09)은 상위 cocode/AC-08 과 같은 형식으로 값이 아니라 존재를 요구한다.

5. Exposed Assumptions

Socratic 인터뷰(docs/socratic-discovery-fullstack-code-editor.md) Level 2 가운데 §4 에 의존처가 있거나 잠금 근거인 것. A-06 은 D-003 으로, A-08 은 D-007 로, A-09 는 Discovery A-F6 으로 이관했다(S-003 · S-006). 번호는 재사용하지 않는다.

6. Evolution Log

Append-only. Records change history after locking.