leerness 1.36.30 → 1.36.31

package/CHANGELOG.md

@@ -1,5 +1,15 @@
 # Changelog
 
+## 1.36.31 — 2026-07-15 — 동시성 직렬화 — 병렬 에이전트의 lost update 차단 (codex 미검토표면 헌트 이연분 #1/#2/#5/#7)
+
+1.36.28 헌트에서 이연했던 동시성 P1 계열. 기존 `_withLock`(원자 배타 생성 + stale 회수 + 재진입 안전)을 재사용 — 새 락 발명 아님.
+
+- **#1 P1 — 병렬 `state start` run 유실/충돌**: 두 병렬 start 가 같은 run-0001 을 배정해 한쪽 goal 이 덮이거나 EPERM 크래시(codex 12-trial 실측 6~9/12 발화). → stateCmd 변경 sub(start/record/verify/handoff) 전체를 state.json 락으로 직렬화(load→카운터→run 저장→state 저장이 한 임계구역). 실측: 병렬 8 start → run 파일 8/8·고유 goal 8/8·EPERM 0.
+- **#2 P1 — 병렬 `team add` 무성 유실**: 20 병렬 add 전부 exit 0 인데 16 팀만 잔존(4건 무성 소실). → 락 안 재로드→중복검사→추가→저장 + Windows 일시 EPERM(락 밖 병렬 읽기가 파일을 잠깐 여는 사이 원자 rename 실패) 소규모 재시도. 실측: **20/20 잔존 ×2회**.
+- **#5 P2 — record↔handoff 경합 stale handoff**: 같은 state.json 락으로 함께 직렬화. 실측 6-trial 에러 0.
+- **#7 P2 — pre-wake-audit 테이블형 in-progress 미인식**: `status: in-progress`(YAML형)만 매치해 CLI 가 생성하는 canonical 테이블(`| T-XXXX | in-progress |`)을 못 봄 — session-resume 과 동일 정규식 추가(YAML형 호환 유지). 실측: 3일 stale 테이블 픽스처에서 `stale-in-progress` 감지.
+- **검증**: selftest 301/301, codex 원 재현 스크립트 재실행(4건 전부 ✓, #2 는 2회 반복), 게이트 e2e, 게시본 클린룸. 이로써 1.36.28 헌트 10건 중 **9건 처리**(잔여: state 손상 시 quarantine 심화 — 저가치).
+
 ## 1.36.30 — 2026-07-15 — 온톨로지 그래프 기본 활성 + roadmap 통합 + 기능 토글 (사용자 요청)
 
 `leerness.html`(온톨로지 그래프)가 **컨트롤 타워**가 된다: install/session-close 자동생성 대상이 roadmap.html → leerness.html 로 전환(기본 활성), roadmap 기능은 그래프 파일의 탭으로 통합, 그래프 뷰에서 leerness 기능(gate 등)을 토글.

package/README.md

@@ -121,7 +121,7 @@ MIT
 <!-- leerness:project-readme:start -->
 ## Leerness Project Harness
 
-이 프로젝트는 Leerness v1.36.30 하네스를 사용합니다. AI 에이전트는 작업 전 `leerness handoff`로 컨텍스트를 적재하고, 작업 후 `leerness check`/`leerness audit`/`leerness session close`를 수행해야 합니다.
+이 프로젝트는 Leerness v1.36.31 하네스를 사용합니다. AI 에이전트는 작업 전 `leerness handoff`로 컨텍스트를 적재하고, 작업 후 `leerness check`/`leerness audit`/`leerness session close`를 수행해야 합니다.
 
 ### 정체성 — AI 에이전트 운영 레이어 (UR-0030)
 
@@ -175,7 +175,7 @@ leerness memory restore decision <date|title>
 
 ### MCP server (외부 AI 통합)
 
-Leerness v1.36.30는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **86개 도구**를 노출:
+Leerness v1.36.31는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **86개 도구**를 노출:
 
 ```jsonc
 // 카테고리별
@@ -196,7 +196,7 @@ Leerness v1.36.30는 stdio JSON-RPC MCP server를 내장합니다 — Claude Cod
 `<<autonomous-loop-dynamic>>` 신호만 보내면 AI가:
 1) 다음 라운드 후보 선정 → 2) 코드 변경 → 3) stress-v* 신규 작성 + 누적 회귀 → 4) e2e 219/219 → 5) npm pack + git tag + GitHub release → 6) main 자동 push → 7) session close → 8) 다음 라운드 예약.
 
-현재 누적: **70 라운드 (1.9.40 → 1.36.30)** · 매 라운드 GitHub release/태그 생성 · _reports/는 비공개 보존.
+현재 누적: **70 라운드 (1.9.40 → 1.36.31)** · 매 라운드 GitHub release/태그 생성 · _reports/는 비공개 보존.
 
 ### 성능 가이드
 
@@ -234,6 +234,6 @@ leerness release pack --close --auto-main-push
 - `.harness/session-handoff.md`: 다음 세션 인수인계 (자동 작성)
 - `.harness/lessons.md` / `decisions.md` / `rules.md`: 영구 메모리 (5 surface)
 
-Last synced by Leerness v1.36.30: 2026-07-15
+Last synced by Leerness v1.36.31: 2026-07-15
 <!-- leerness:project-readme:end -->
 

package/bin/leerness.js

@@ -34,7 +34,7 @@ const { CAPABILITY_SURFACE, POWERFUL_COMMANDS, ADAPTERS, REUSE_CATEGORIES, REUSE
 const { tokenizeForRank: _tokenizeForRank, expandQuery: _expandQuery, scoreHits: _scoreHits, suggestTerms: _suggestTerms } = require('../lib/search-core');  // 1.36.23: memory search 랭킹 코어(순수·0-deps)
 const { findCorruptedStateJson: _findCorruptedStateJson } = require('../lib/state-integrity');  // 1.36.1 (클린룸 리뷰 FN): .harness/*.json 상태 무결성 (audit/health/check 공유)
 
-const VERSION = '1.36.30';
+const VERSION = '1.36.31';
 
 // 1.9.290 (UR-0037, Codex gpt-5.5 #4 수렴): CLI 전용 부작용은 require 시 실행하지 않는다.
 //   이전: warning listener 제거 / NODE_OPTIONS 변경 / chcp IIFE 가 top-level 즉시 실행 → require('harness') 시 호스트 프로세스 오염.
@@ -3103,6 +3103,21 @@ function _selfTestCases() {
         && s.includes("cmd === 'toggle'") && s.includes("_tgl.toggleOn(root, 'delegation-brief')");
       return regOk && behavOk && htmlOk && wired;
     } },
+    { name: '동시성 직렬화 (1.36.31, codex #1/#2/#5/#7): state 변경 락 + team add 락내 재로드 + EPERM 재시도 + pre-wake 테이블 매처 — 소스가드+행위', run: () => {
+      const s = read(__filename);
+      // #1/#5: stateCmd 변경 sub 가 state.json 락으로 재귀 직렬화 (재진입 가드 포함 — 무한재귀 방지 형태)
+      const stateLock = s.includes("const _mut = ['start', 'record', 'verify', 'handoff'].includes(sub || '')")
+        && s.includes("_withLock(path.join(_leernessStateDir(root), 'state.json'), () => stateCmd(root, sub, ...args))")
+        && s.includes("!_heldLocks.has(path.join(_leernessStateDir(root), 'state.json') + '.lock')");
+      // #2: team add 가 락 안 재로드→중복검사→저장 + EPERM 재시도
+      const teamSrc = read(path.join(path.dirname(__filename), '..', 'lib', 'team.js'));
+      const teamLock = teamSrc.includes('const cur = _loadTeams(root);') && teamSrc.includes("deps._withLock(require('path').join(root, '.harness', 'teams.json'), _doAdd)") && teamSrc.includes("e.code === 'EPERM'");
+      const teamWired = s.includes('_detectShellCtx, arg, has, _withLock }');
+      // #7: pre-wake 매처가 테이블형+YAML형 모두 (행위)
+      const both = ('| T-0001 | in-progress | x |\nstatus: in-progress\n'.match(/^\|\s*T-\d{4,}\s*\|\s*in-progress\s*\|/gm) || []).length === 1;
+      const pwWired = /_runPreWakeAudit[\s\S]{0,2200}\^\\\|\\s\*T-\\d\{4,\}\\s\*\\\|\\s\*in-progress/.test(s);
+      return stateLock && teamLock && teamWired && both && pwWired;
+    } },
     { name: 'debug 렌즈 (1.36.27, obra/superpowers systematic-debugging): 자기질문 6문항 ko/en 락스텝 + affects 유효 + route bugfix 힌트 + 파일매핑 미확장 — 행위검사', run: () => {
       const d = LENS_CATALOG.debug;
       if (!d) return false;
@@ -5734,7 +5749,10 @@ function _runPreWakeAudit(root) {
       const stat = fs.statSync(ptPath);
       const ageMin = Math.floor((Date.now() - stat.mtimeMs) / 60000);
       // in-progress 태그가 있는데 24h+ 갱신 없음
-      const inProgressCount = (content.match(/status:\s*in-progress/gi) || []).length;
+      // 1.36.31 (codex 미검토표면 #7): CLI 가 생성하는 canonical 테이블형(| T-XXXX | in-progress |)을 못 보던 매처 —
+      //   session-resume 의 테이블 정규식과 동일하게 인식(구 YAML 형도 호환 유지).
+      const inProgressCount = (content.match(/^\|\s*T-\d{4,}\s*\|\s*in-progress\s*\|/gm) || []).length
+        + (content.match(/status:\s*in-progress/gi) || []).length;
       if (inProgressCount > 0 && ageMin > 24 * 60) {
         audit.findings.warning.push({
           kind: 'stale-in-progress',
@@ -7912,7 +7930,7 @@ function _saveTeams(root, teams) {
 //   harness 는 deps(VERSION · 공유 저장 _loadTeams/_saveTeams · _detectShellCtx · argv 파서 arg/has)를 구성해 위임(thin wrapper). 호출부/동작 무변경.
 const _team = require('../lib/team');
 const _tgl = require('../lib/toggles');   // 1.36.30: 기능 토글 (그래프 ⚙ 탭 연동 — gate/lens/auto-graph/delegation-brief)
-function teamCmd(root, sub, id, opts = {}) { return _team.teamCmd(root, sub, id, opts, { VERSION, _loadTeams, _saveTeams, _detectShellCtx, arg, has }); }
+function teamCmd(root, sub, id, opts = {}) { return _team.teamCmd(root, sub, id, opts, { VERSION, _loadTeams, _saveTeams, _detectShellCtx, arg, has, _withLock }); }   // 1.36.31: add 경합 락
 
 // 1.9.112: 전용 lessons.md (Memory Write Surface 5번째)
 const lessonsPath = root => path.join(root, '.harness/lessons.md');
@@ -18992,6 +19010,13 @@ function contextCmd(root, opts = {}) {
 }
 function stateCmd(root, sub, ...args) {
   root = absRoot(root || process.cwd());
+  // 1.36.31 (codex 미검토표면 #1/#5): 변경 sub 는 state.json 락으로 전체 직렬화 — 병렬 start 가 같은 run-0001 을
+  //   배정/덮어쓰거나(카운터 lost update), record↔handoff 경합으로 stale handoff 가 나오던 것을 차단.
+  //   load→카운터→run 저장→state 저장이 한 임계구역. _withLock 은 재진입 안전 + stale 락 자동 회수.
+  const _mut = ['start', 'record', 'verify', 'handoff'].includes(sub || '');
+  if (_mut && !_heldLocks.has(path.join(_leernessStateDir(root), 'state.json') + '.lock')) {
+    return _withLock(path.join(_leernessStateDir(root), 'state.json'), () => stateCmd(root, sub, ...args));
+  }
   const json = has('--json');
   sub = sub || 'show';
 

package/lib/team.js

@@ -42,8 +42,24 @@ function teamCmd(root, sub, id, opts = {}, deps = {}) {
       status: 'active',
       createdAt: now()
     };
-    teams.push(team);
-    _saveTeams(root, teams);
+    // 1.36.31 (codex 미검토표면 #2): 병렬 team add 가 서로의 등록을 덮어쓰던 lost update — 락 안에서 재로드→중복검사→추가→저장.
+    const _doAdd = () => {
+      const cur = _loadTeams(root);
+      if (cur.some(t => t.id === teamId)) { warn(`이미 존재: ${teamId} (제거 후 재정의: leerness team remove ${teamId})`); return false; }
+      cur.push(team);
+      // Windows: 락 밖의 병렬 _loadTeams 읽기가 파일을 잠깐 열어둔 사이 원자 rename 이 EPERM(일시적) — 짧은 재시도.
+      let _lastErr = null;
+      for (let k = 0; k < 4; k++) {
+        try { _saveTeams(root, cur); _lastErr = null; break; }
+        catch (e) { _lastErr = e; if (e && e.code === 'EPERM') { const t0 = Date.now(); while (Date.now() - t0 < 25) {} continue; } throw e; }
+      }
+      if (_lastErr) throw _lastErr;
+      return true;
+    };
+    const _added = (typeof deps._withLock === 'function')
+      ? deps._withLock(require('path').join(root, '.harness', 'teams.json'), _doAdd)
+      : _doAdd();
+    if (!_added) return;
     ok(`team 정의: ${teamId} (personas:${team.personas.length} members:${team.members.length} schedule:${team.schedule} review:${team.review ? 'on' : 'off'})`);
     log(`  ⓘ 정의 전용 — 자동 실행 없음. 목록: leerness team list`);
     return;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "leerness",
-  "version": "1.36.30",
+  "version": "1.36.31",
   "description": "The AI-coding operations layer that makes \"done\" require evidence — persistent memory, evidence-gated completion checks, and clean handoffs for any AI agent (Claude Code, Codex, Cursor). State lives as plain files in your repo. CLI + MCP, 0 runtime dependencies.",
   "keywords": [
     "leerness",