위키독스 분석 보드 — 2026-06-29

명제논리·정언논리·술어논리의 형식 체계를 단계별로 풀어내며, 모든 논리적 판단을 '조건문의 진리표 환원'과 '타당성 판별'로 일관되게 설명하는 입문서다.

adopt 후보 1개(형식적 오류 탐지), improve 3개(조건 정형화·건전성 검증·양화사 scope), skip 3개(드모르간 최적화·AIOE 분류·도출규칙 체인). 핵심 가치는 '이미 돌아가는 형님 시스템의 판단 로직을 고전 논리학 프레임으로 정형화해 디버깅 가능하게 만드는 것' — 이 책은 새 자동화를 주는 게 아니라 현 system의 blind spot(형식적 오류·건전성·scope)에 이름과 진단 도구를 붙여준다.

1. ADOPT 형식적 오류 탐지 (선언지 긍정·전건 부정·후건 긍정)
   debug-critic/SKILL.md의 '2. Verification Questions' 단계에 '형식적 오류 스캔' 하위 단계 추가. Python 스크립트 `formal_fallacy_checker.py`를 만들어 agent 산출물의 if-then 체인에서 (p⊃q ∧ q ∴ p) 같은 패턴을 정규식+AST로 탐지.
2. IMPROVE 조건문 조건의 엄밀한 정형화 (충분조건/필요조건 구분)
   harness_integration.py나 hook_evaluator.py에 '조건 타입' 필드 추가: sufficient_condition vs necessary_condition vs biconditional. PostToolUse hook의 race condition은 필요조건을 충분조건으로 오인한 사례일 가능성 높음. 조건 타입을 명시하면 동시 충돌을 논리적으로 예방.
3. IMPROVE 논증의 타당성 vs 건전성 구분 (Validity vs Soundness)
   debug-critic/SKILL.md의 검증 축에 '전제 건전성 검증'을 2.5단계로 추가. agent가 사용한 데이터 소스의 freshness·정확성을 memcheck하거나 외부 API 재조회하는 `premise_soundness_check()` 함수. pipeline_observer.py가 감시하는 대상에 '전제 데이터 무결성' 메트릭 추가.
4. IMPROVE 양화사 순서에 따른 의미 변화 (Quantifier Scope)
   hook 발동 조건 DSL에 'scope' 개념 도입: `for_each`(∀, 각 작업 완료 시마다) vs `exists_all`(∃∀, 하나라도 특정 조건 만족 시 전역 후처리). hook_scheduler.py에서 scope 태그를 파싱해 충돌 방지. PostToolUse hook의 race condition 근본 원인을 scope mismatch로 재정의.

파이썬 표준 라이브러리를 122개 문제 풀이식으로 익히는 입문·중급 안내서 — 각 모듈의 '언제 왜 쓰는지'를 실제 상황에 연결해 보여주는 데 초점

이 책 우리한테 진짜 가치 있나? 어중간하게. adopt 후보 0개, improve 4개, skip 4개 — 핵심 가치는 '기본기 재확인'이지 '새로운 무기'가 아니다. 130+ agents 운영자가 파이썬 표준 라이브러리를 모를 리 없고, 책이 제시하는 문제 풀이 패턴도 이미 형님 시스템의 agent_registry.py가 자동화한 상태. 진짜 건질 건 @wraps·mypy·lru_cache·인코딩 3원칙 같은 '기본인데 빠져있을 수 있는' 체크리스트 항목 4개. 이 책 한 권 통으로 읽을 시간에 mypy 설정하고 @wraps grep 한 번 도는 게 10배 생산적이다.

1. IMPROVE mypy 기반 정적 타입 검사 도입
   `~/.hermes/scripts/preflight_check.py`에 `--type-check` 플래그 추가: 핵심 모듈 5~10개(harness_integration.py, pipeline_observer.py, agent_registry.py 등)에 `mypy --strict` 실행을 preflight 단계에 통합. 우선은 `--strict` 대신 `--disallow-untyped-defs`로 점진 도입. `MEMORY.md`의 약점 목록에 'mypy 도입 진행 중'으로 추적 시작
2. IMPROVE functools.wraps로 데코레이터 메타데이터 보존
   `~/.hermes/scripts/selftest/` 또는 `harness_integration.py`의 hook 등록 데코레이터에 `@functools.wraps` 추가 감사 실행: `grep -r '@\(hook_\|run_as_\)' ~/.hermes/ --include='*.py' | head -30` 후 wraps 없는 항목에 추가. SKILL.md authoring 가이드(`hermes-agent-skill-authoring`)에 '데코레이터 작성 시 @functools.wraps 필수' 규칙 추가
3. IMPROVE functools.lru_cache로 반복 호출 최적화
   `agent_registry.py`의 `lookup(kw)` 함수와 `obsidian_keywords` skill의 vault query 함수에 `@functools.lru_cache(maxsize=256)` 적용. 단, Write/Edit 트리거 직후에는 `cache_clear()` 호출로 stale 캐시 방지. session_checkpoint.py에 세션 종료 시 캐시 flush 추가
4. IMPROVE 인코딩 입출력 3원칙 (입력 즉시 decode → 내부는 unicode만 → 출력 직전 encode)
   `HARNESS_DOMAIN_REGISTRY.md` 또는 `MEMORY.md`에 '인코딩 3원칙' 섹션 추가: ①입력 즉시 decode ②내부 unicode only ③출력 직전 encode. `pre_write_harness_check.py`에 `open()` 호출 시 `encoding=` 명시 여부 검사 lint 추가. `wikidocs_crawler.py`에 encoding fallback 로직 점검