From 67fb61e988a329c15a72535cce8cd1016f12a575 Mon Sep 17 00:00:00 2001
From: qwreey-agent-selene <yaejihan54@gmail.com>
Date: Sat, 29 Aug 2026 01:48:04 +0900
Subject: [PATCH] =?UTF-8?q?docs:=20=EB=8B=A8=EC=9C=84=202=20=EA=B0=90?=
 =?UTF-8?q?=EC=82=AC=205=EB=9D=BC=EC=9A=B4=EB=93=9C=20=EB=B0=98=EC=98=81?=
 =?UTF-8?q?=20=E2=80=94=20H-174=20=EC=9E=8E=20=EB=AA=A9=EB=A1=9D=EC=9D=80?=
 =?UTF-8?q?=20=ED=8C=8C=EC=9D=BC=20=ED=97=A4=EB=8D=94=EA=B0=80=20=EC=86=8C?=
 =?UTF-8?q?=EC=8A=A4(module-lifecycle-plan),=20InitState=E2=86=92State.Ini?=
 =?UTF-8?q?t=20=ED=91=9C=EA=B8=B0,=20EpochMap=20=EC=A3=BC=EC=84=9D=20?=
 =?UTF-8?q?=EC=9D=B8=EC=9A=A9=EC=9D=84=20=EC=82=B0=EB=AC=B8=EC=9C=BC?=
 =?UTF-8?q?=EB=A1=9C?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: qwreey <me@qwreey.moe>
---
 .claude/base/module-lifecycle-plan.md | 5 +++--
 ROADMAP.md                            | 2 +-
 quad-base/src/EpochMap.luau           | 4 ++--
 quad-base/src/State.luau              | 4 ++--
 4 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/.claude/base/module-lifecycle-plan.md b/.claude/base/module-lifecycle-plan.md
index be12803..f300af7 100644
--- a/.claude/base/module-lifecycle-plan.md
+++ b/.claude/base/module-lifecycle-plan.md
@@ -36,8 +36,9 @@ RBVM처럼 `init namespace` 하나하나 부르는 방식은 별로(`base/lifecy
 > 생명주기 4종을 `InitLifetimeHandle(module)`로 **인스턴스별 필드**로 만들었으므로,
 > `Source`/`State`/`Observer`/`Effect`처럼 그 게이트를 부르는 모듈은 `InitXxx(module)`이
 > `module`을 클로저로 쥐고 **발화 시점에 `module.canExecute(self)`로 늦게 읽는다**(백엔드가
-> `New()` 뒤에 덮어쓰므로 `Init` 시점 캡처는 스텁을 영원히 잡는다). `Ref`/`Void`/`Relate`/
-> `Brand`처럼 게이트를 안 부르는 잎 모듈만 인스턴스 간 공유된다. 소스는
+> `New()` 뒤에 덮어쓰므로 `Init` 시점 캡처는 스텁을 영원히 잡는다). 게이트를 안 부르는
+> 잎 모듈만 인스턴스 간 공유된다 — 어느 파일이 잎인지는 **각 파일의 헤더 주석이 소스**
+> (여기 나열하지 않는다, 실제로 한 번 갈라졌다). 소스는
 > `base/lifecycle-pattern.md` "탑레벨 평범한 함수로 확정" 절의 `H-174` 문단.
 
 바로 위 절이 확정한 `InitRoblox(Module)` 패턴(팩토리가 모듈 테이블을
diff --git a/ROADMAP.md b/ROADMAP.md
index b4a0197..d7d9920 100644
--- a/ROADMAP.md
+++ b/ROADMAP.md
@@ -397,7 +397,7 @@ Luau 코드로 부딪혀본 적 없는 세 가지**를 던지는 코드로 검
       돌며 **값만 앞당기고 통지는 상류 emit을 기다린다**. 다이아몬드 중복
       통지가 접히므로 스파이크 `05`도 그에 맞춰 재작성해야 한다
       (`luau-test/STATUS.md`).
-- [x] **[2026-08-28 완료 — 단위 2]** `Source.luau`/`State.luau`/`Store.luau` — `InitState`/`InitSource`/`InitStore` 팩토리(`H-174`), `test/spec.{epochmap,source,state,store}.luau`
+- [x] **[2026-08-28 완료 — 단위 2]** `Source.luau`/`State.luau`/`Store.luau` — `State.Init`/`InitSource`/`InitStore` 팩토리(`H-174`), `test/spec.{epochmap,source,state,store}.luau`
 - [x] **[2026-08-28 완료 — 단위 2]** **[2026-08-28 10라운드 `H-153`]** Store 생성자의 `isSource` 순회와 `store:Of(name)`에
       **예약 이름 런타임 가드**(`error(…, 2)`) — 동적 키는 타입이 못 막는다;
       그림자 = store 자신(`base/store-plan.md`).
diff --git a/quad-base/src/EpochMap.luau b/quad-base/src/EpochMap.luau
index 13b36a7..1fb8814 100644
--- a/quad-base/src/EpochMap.luau
+++ b/quad-base/src/EpochMap.luau
@@ -19,8 +19,8 @@
 	decided at runtime with `isEpoch` (§5 "런타임 분기는 `isEpoch`로").
 
 	Keys are weak: when an `Epoch` dies its entry goes with it. Values are
-	plain numbers, so `relate-plan.md`'s "value must not refer back to the
-	key" caveat does not apply.
+	plain numbers, so the weak-table hazard relate-plan.md warns about (a
+	value that refers back to its key keeps the key alive) cannot arise here.
 ]]
 
 local Brand = require("./Brand")
diff --git a/quad-base/src/State.luau b/quad-base/src/State.luau
index 582b061..4f2dffa 100644
--- a/quad-base/src/State.luau
+++ b/quad-base/src/State.luau
@@ -2,7 +2,7 @@
 	State — derived reactive node (`:Compute` / `:With` / `:Apply`), the
 	propagation loop, and the epoch-based recompute judgement.
 
-	Assembly (`H-174`, user-confirmed 2026-08-28): `InitState(module)` builds
+	Assembly (`H-174`, user-confirmed 2026-08-28): `State.Init(module)` builds
 	one implementation table per `quad` instance and keeps `module` in its
 	closure, so later units (`Observer`, `Gate`) can read lifetime gates as
 	`module.canExecute(...)` AT FIRE TIME (never captured at init — the
@@ -193,7 +193,7 @@ end
 local function implFor(module: any)
 	local impl = implByModule[module]
 	if impl == nil then
-		error("State: InitState(module) has not run for this quad instance", 1) -- invariant check; every caller pulls it in first (`H-177`)
+		error("State: State.Init(module) has not run for this quad instance", 1) -- invariant check; every caller pulls it in first (`H-177`)
 	end
 	return impl
 end