Skip to content

spec(kosmos/2.1): 2.0 deferrals landed 기록 + LSP @corpus byte-parity 복원#18

Merged
dancinlife merged 1 commit into
mainfrom
lane/kosmos-finalize
Jun 4, 2026
Merged

spec(kosmos/2.1): 2.0 deferrals landed 기록 + LSP @corpus byte-parity 복원#18
dancinlife merged 1 commit into
mainfrom
lane/kosmos-finalize

Conversation

@dancinlife

Copy link
Copy Markdown
Contributor

kosmos 저장소를 coherent release-ready 상태로 마감. .kosmos 문법(§1–§6)은 byte-무변경 — spec/format/tooling 정합성만 정직하게 정리(날조 없음, EXISTS만 finalize + 진짜 gap은 honest flag).

마감 전 상태 vs "final"이 필요로 한 것

저장소는 이미 매우 견실했다 — spec kosmos/2.0, 5-lang README, profile 2개, .limen 코덱(14/14), HF export, hexa-native LSP, tree-sitter. 다만 세 가지 실제 정합성 gap이 있었다:

  1. spec/kosmos.md §8 kosmos/2.0 항목이 .limen/merkle/HF/LSP @corpus를 "deferred to 2.x minors"라 적어뒀지만 네 layer 모두 그 후 landed — version-history SSOT에 기록 누락.
  2. canonical .hexa LSP는 @corpus를 인식하나 deprecated .py 라이브 에디터 서버는 미인식 → 유효한 @corpus 파일을 "exactly one @anchor"로 오탐, 진단 5건 drift, PARITY_VERIFY "byte-parity" 주장 stale.
  3. .kanchors.limen rename(rename(kosmos): .kanchors → .limen (anchor-harbor, 그리스어 λιμήν=항구) #14)이 놓친 canonical .hexa hover 참조 1건.

정확히 finalize한 것

  • spec: §8에 kosmos/2.1 항목 append(append-only 준수·2.0 항목 불변) + SPEC VERSION 헤더 2.0→2.1 + README 뱃지 lockstep + limen.md status에 2.1 fold 명시.
  • tooling: .py LSP를 .hexa에 맞춰 @corpus top-level + nested member + corpus meta + corpus hover 미러(byte-parity 복원). .hexa hover의 stale *.kanchors*.limen.
  • docs: CHANGELOG 2026-06-04 release entry. README LSP 절(파일 수 26·.log.md 교정).
  • PARITY_VERIFY.md: 26/26 + @CorPuS FALSIFIER 4 + reproduce 이식성.

verify (verbatim)

LSP py↔hexa parity : 26/26 byte-equal (11 anchors + 11 fixtures + 4 examples; @corpus exit 0)
limen self-test    : 14/14 PASS
HF export          : examples/04 → datasets manifest exit 0
residual kanchors  : 0
py ast.parse       : OK

남은 정직한 ⏳ (날조하지 않음 · 마감 범위 밖)

  • corpus-of-shards merkle root = spec/limen.md §4 future-minor.
  • anima-emergence-trace profile = draft (Phase B observability fire 대기 · 문서에 명시).
  • tree-sitter CLI 로컬 미설치 → grammar.js @corpus rule 존재만 정적 확인(파싱 미실행).
  • 실제 .limen shard 미동봉(scale corpus 부재) — example는 placeholder sha256 pointer.

최종 spec version: kosmos/2.1.

🤖 Generated with Claude Code

…y 복원

kosmos 저장소를 coherent release-ready 상태로 마감. 문법(§1–§6)은 byte-무변경 —
spec/format/tooling 정합성만 정직하게 정리.

kosmos/2.1 (grammar-identical minor):
- spec/kosmos.md §8에 `kosmos/2.1` 항목 append (§8 append-only 준수, 2.0 항목 불변) +
  SPEC VERSION 헤더 2.0→2.1, README 뱃지 lockstep. kosmos/2.0이 "2.x minors로
  deferred"라 적어둔 4개 layer — ① `.limen` 포맷+코덱(spec/limen.md, impl/limen.hexa,
  14/14 self-test) ② merkle 구성(spec/limen.md §3) ③ HF export(tool/corpus_to_hf.hexa,
  docs/hf_export.md) ④ LSP/tree-sitter `@corpus` 인식 — 전부 landed 상태를 정직하게 기록.

deprecated `.py` LSP @CorPuS 동기화 (byte-parity 복원):
- canonical lsp/kosmos_lsp.hexa는 `@corpus` 최상위 entry를 인식하나 라이브 에디터
  stdio 서버 lsp/kosmos_lsp.py는 미인식 → 유효한 @CorPuS 파일을 "exactly one @anchor"로
  오탐하고 진단 5건이 drift. `.py` validate()/hover()를 `.hexa`에 맞춰 @CorPuS top-level +
  nested member + corpus meta + corpus hover 미러. PARITY_VERIFY.md 갱신.

stale 참조 교정:
- .kanchors→.limen rename(#14)이 놓친 lsp/kosmos_lsp.hexa member hover 1건 → `*.limen`.
  repo 전체 kanchors 잔존 0.

verify (verbatim):
- LSP py↔hexa parity: 26/26 byte-equal (11 anchors + 11 fixtures + 4 examples,
  @CorPuS example exit 0 포함) — stdout+exit 동일.
- limen 코덱 self-test: 14/14 PASS (FIPS SHA-256+CRC vectors, round-trip, tamper,
  merkle edge, disk I/O).
- HF export: examples/04 → datasets manifest emit exit 0.
- residual `kanchors`: 0.

남은 정직한 ⏳ (날조 없음, 본 마감 범위 밖):
- corpus-of-shards merkle root (모든 shard 위 root) = spec/limen.md §4 future-minor.
- anima-emergence-trace profile = draft (Phase B observability fire 대기, 명시됨).
- tree-sitter CLI 로컬 미설치 → grammar.js의 @CorPuS rule 존재만 정적 확인(파싱 미실행).
- 실제 .limen shard 미동봉(scale corpus 부재) — example는 placeholder sha256 pointer.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@dancinlife dancinlife merged commit c51fa44 into main Jun 4, 2026
@dancinlife dancinlife deleted the lane/kosmos-finalize branch June 4, 2026 05:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant