refactor(topics): 멀티 에이전트용 지식 재편 — _Common(공통 기본기) + Domain_* 구조

에이전트 8종(대화형/프로그래머 C·S/디자이너/설계자/기획자/QA/PD/PM)에게
[공통 기본 능력 + 롤별 Specialty] 2층으로 지식을 주입하기 위한 재분류.
문서 내용·포맷은 무수정, 폴더 이동만 (6,372개 문서 수 보존 확인).

- Topic_Programming → Domain_Programming (내부 구조 보존)
- Topic_Graphic → Domain_Design
- Topic_Business → Domain_Product
- Topic_General → Domain_General
- _Common 신설: Math(구 Topic_Math_Specialty), Reasoning(구 General/From_Thinking & Reasoning),
  Reasoning_Creativity(구 General/From_창의성), Communication(Poetic_Blog_Writing + From_writing)
- 타 도메인의 From_* 폴더는 유지 (출처 표기일 뿐, 이미 도메인에 맞게 분류된 문서)
- 빈 폴더 정리 (memory/procedures)
- 에이전트→폴더 매핑은 workspace의 .astra/agent-knowledge-map.json (9개 에이전트)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

10_Wiki/Topics/Domain_Design/Visual_Effects/Temporal-Logic.md

@@ -0,0 +1,99 @@
+---
+id: wiki-2026-0508-temporal-logic
+title: Temporal Logic
+category: "10_Wiki/Topics/Mathematics & Logic"
+status: verified
+canonical_id: self
+aliases: [MATH-RES-2026-05-001]
+duplicate_of: none
+source_trust_level: A
+confidence_score: 0.99
+tags: [logic, math, formal-verification, concurrency, computer-science]
+raw_sources: []
+last_reinforced: 2026-05-08
+github_commit: pending
+inferred_by: Claude Opus 4.7 (auto-normalize 2026-05-08)
+tech_stack:
+  language: unspecified
+  framework: unspecified
+---
+
+# Temporal Logic (시간 논리)
+
+## 📌 한 줄 통찰 (The Karpathy Summary)
+> "시간의 흐름을 기술하는 수학적 언어: 정적인 참/거짓을 넘어, '결국 ~가 될 것이다(Eventually)', '항상 ~이다(Always)', '~할 때까지(Until)'와 같은 시점의 개념을 논리식에 도입하여 동적 시스템의 명세를 정의하는 틀."
+
+## 📖 구조화된 지식 (Synthesized Content)
+*   **선형 시간 논리 (LTL, Linear Temporal Logic)**: 시간을 하나의 경로(Path)로 간주한다. 미래의 특정 시점이나 범위에 대한 조건을 정의하는 데 유용하며, 프로그램의 실행 흐름을 검증할 때 주로 사용된다.
+*   **계층 시간 논리 (CTL, Computation Tree Logic)**: 시간을 여러 갈래로 뻗어나가는 트리(Tree) 구조로 간주한다. "모든 경로에서 ~가 발생한다" 또는 "어떤 경로에서는 ~가 가능하다"와 같은 분기적(Branching) 특성을 기술할 수 있다.
+*   **주요 연산자**:
+    *   **G (Global)**: 항상 만족함.
+    *   **F (Future)**: 언젠가 한 번은 만족함.
+    *   **X (Next)**: 바로 다음 시점에 만족함.
+    *   **U (Until)**: 특정 조건이 충족될 때까지 지속됨.
+
+## ⚖️ 트레이드오프 및 고려사항
+*   **표현력 vs 결정 가능성**: 논리가 복잡해질수록(예: 고차 논리 결합) 표현력은 좋아지지만, 해당 논리식이 참인지 거짓인지 판별하는 알고리즘의 복잡도가 기하급수적으로 증가하거나 판별 불가능해질 수 있다.
+*   **형식 검증 (Formal Verification)**: 시스템의 안전성(Safety)과 활성(Liveness)을 증명하는 데 강력하지만, 실제 대규모 소프트웨어에 적용하기에는 명세 작성 비용이 매우 높다.
+*   **실무적 적용**: 주로 하드웨어 설계 검증, 분산 알고리즘의 무한 루프 방지, 자율 주행 에이전트의 제약 조건 설정 등에 부분적으로 활용된다.
+
+## 🔗 지식 연결 (Graph)
+- **상위 개념**: [[Mathematical Logic]], [[Formal Methods]]
+- **유사 개념**: [[Model Checking]]
+
+---
+*Last updated: 2026-05-08*
+
+## 🤖 LLM 활용 힌트 (How to Use This Knowledge)
+
+**언제 이 지식을 쓰는가:**
+- *(TODO)*
+
+**언제 쓰면 안 되는가:**
+- *(TODO)*
+
+## 🧪 검증 상태 (Validation)
+
+- **정보 상태:** verified
+- **출처 신뢰도:** A
+- **검토 이유:** *(P-Reinforce Phase 1 자동 정규화. 본문 검증 필요.)*
+
+## 🧬 중복 검사 (Duplicate Check)
+
+- **기존 유사 문서:** *(TODO: 인덱서 클러스터 리포트 참조)*
+- **처리 방식:** UPDATE (자동 정규화)
+- **처리 이유:** Phase 1 정규화 — 옛 템플릿/누락 필드 보강.
+
+## ⚠️ 모순 및 업데이트 (Contradictions & Updates)
+
+- **과거 데이터와의 충돌:** 없음
+- **정책 변화:** 없음
+
+## 🕓 변경 이력 (Changelog)
+
+| 날짜 | 변경 내용 | 처리 방식 | 신뢰도 |
+|------|-----------|-----------|--------|
+| 2026-05-08 | P-Reinforce Phase 1 정규화 (frontmatter + 헤더 표준화) | UPDATE | A |
+
+## 💻 코드 패턴 (Code Patterns)
+
+**패턴 1:** *(TODO: 이 프로젝트 컨벤션 반영한 구조 스켈레톤)*
+
+```text
+# TODO
+```
+
+## 🤔 의사결정 기준 (Decision Criteria)
+
+**선택 A를 써야 할 때:**
+- *(TODO)*
+
+**선택 B를 써야 할 때:**
+- *(TODO)*
+
+**기본값:**
+> *(TODO)*
+
+## ❌ 안티패턴 (Anti-Patterns)
+
+- **[안티패턴]:** *(TODO: 무엇을 하면 안 되는가 + 이유 + 대신 무엇을)*