leerness 1.36.111 → 1.36.112

package/README.md

@@ -122,7 +122,7 @@ MIT
 <!-- leerness:project-readme:start -->
 ## Leerness Project Harness
 
-이 프로젝트는 Leerness v1.36.111 하네스를 사용합니다. AI 에이전트는 작업 전 `leerness handoff`로 컨텍스트를 적재하고, 작업 후 `leerness check`/`leerness audit`/`leerness session close`를 수행해야 합니다.
+이 프로젝트는 Leerness v1.36.112 하네스를 사용합니다. AI 에이전트는 작업 전 `leerness handoff`로 컨텍스트를 적재하고, 작업 후 `leerness check`/`leerness audit`/`leerness session close`를 수행해야 합니다.
 
 ### 정체성 — AI 에이전트 운영 레이어 (UR-0030)
 
@@ -176,7 +176,7 @@ leerness memory restore decision <date|title>
 
 ### MCP server (외부 AI 통합)
 
-Leerness v1.36.111는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **89개 도구**를 노출:
+Leerness v1.36.112는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **89개 도구**를 노출:
 
 ```jsonc
 // 카테고리별
@@ -197,7 +197,7 @@ Leerness v1.36.111는 stdio JSON-RPC MCP server를 내장합니다 — Claude Co
 `<<autonomous-loop-dynamic>>` 신호만 보내면 AI가:
 1) 다음 라운드 후보 선정 → 2) 코드 변경 → 3) 회귀 테스트 갱신 → 4) 전체 e2e 스위트 통과 → 5) npm publish + git tag → 6) main push → 7) session close → 8) 다음 라운드 예약.
 
-현재 누적: **v1.9.x → 1.36.111 릴리스 태그 이력** (수백 라운드) · _reports/는 비공개 보존.
+현재 누적: **v1.9.x → 1.36.112 릴리스 태그 이력** (수백 라운드) · _reports/는 비공개 보존.
 
 ### 성능 가이드
 
@@ -235,5 +235,5 @@ 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.111: 2026-08-10
+Last synced by Leerness v1.36.112: 2026-08-11
 <!-- 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.111';
+const VERSION = '1.36.112';
 
 // 1.9.290 (UR-0037, Codex gpt-5.5 #4 수렴): CLI 전용 부작용은 require 시 실행하지 않는다.
 //   이전: warning listener 제거 / NODE_OPTIONS 변경 / chcp IIFE 가 top-level 즉시 실행 → require('harness') 시 호스트 프로세스 오염.
@@ -660,10 +660,13 @@ function _readManifestChecked(root) {
   const mf = path.join(absRoot(root || process.cwd()), '.harness', 'manifest.json');
   if (!exists(mf)) return { path: mf, exists: false, corrupt: false, data: {} };
   let raw = null;
-  try { raw = read(mf); } catch { return { path: mf, exists: true, corrupt: true, reason: '읽기 실패', data: {} }; }
+  // 1.36.112: `reason` 은 한국어 문장뿐이라, 이걸 끼워 넣는 영어 문장이 한국어를 새게 한다
+  //   (영어 손상 경고 안에 `읽기 실패` 가 그대로 박혔다 — 이 저장소가 래칫으로 세는 바로 그 결함이다).
+  //   기존 소비자(`corruptReason`)를 위해 `reason` 은 그대로 두고, 표시 쪽이 언어를 고르도록 **안정 코드**를 함께 싣는다.
+  try { raw = read(mf); } catch { return { path: mf, exists: true, corrupt: true, reason: '읽기 실패', code: 'read_failed', data: {} }; }
   let j = null;
-  try { j = JSON.parse(raw); } catch { return { path: mf, exists: true, corrupt: true, reason: 'JSON 파싱 실패', data: {} }; }
-  if (!j || typeof j !== 'object' || Array.isArray(j)) return { path: mf, exists: true, corrupt: true, reason: '최상위가 객체가 아님', data: {} };
+  try { j = JSON.parse(raw); } catch { return { path: mf, exists: true, corrupt: true, reason: 'JSON 파싱 실패', code: 'json_parse_failed', data: {} }; }
+  if (!j || typeof j !== 'object' || Array.isArray(j)) return { path: mf, exists: true, corrupt: true, reason: '최상위가 객체가 아님', code: 'not_an_object', data: {} };
   return { path: mf, exists: true, corrupt: false, data: j };
 }
 function _projectMode(root) {
@@ -6430,7 +6433,7 @@ function _selfTestCases() {
       return clar && shape && noDbUrl && reqOk && guards && uiOk && _p0013LibraryOk() && _p0088CurrentStatePreserved()
         && _p0101SurfaceOk() && _p0101SkillIdOk() && _p0101PathStrictOk() && _p0102HonestyOk()
         && _p0103FlagsOk() && _p0103JsonOk() && _p0103RootOk() && _p0104UsageOk()
-        && _p0014SecretBaselineOk() && _p0104ReminderOk() && _p0015ModeOk() && _p0097AsyncLockOk() && _p0109ClaimGateOk() && _p0110HonestyOk();
+        && _p0014SecretBaselineOk() && _p0104ReminderOk() && _p0015ModeOk() && _p0097AsyncLockOk() && _p0109ClaimGateOk() && _p0110HonestyOk() && _p0112CarryOk();
     } },
     { name: '시크릿 스캐너 F-06 (1.36.56, 외부감사): 무명 확장자 소형 텍스트 스캔(이진 NUL 제외) + 같은 토큰 중복 보고 dedupe — 행위검사', run: () => {
       const tmp = fs.mkdtempSync(path.join(os.tmpdir(), '__leerness_sc56_'));
@@ -8164,6 +8167,51 @@ function _p0110HonestyOk() {
     return symmetric && neverBlocks && highSymmetric && futureScopeAllowed && noFalseBlock && optIn;
   } catch { return false; }
 }
+// 1.36.112: 이월 블록의 **경계 판정**. 쓰는 쪽(_managedMerge)과 읽는 쪽(_splitPreserved)이 같은 상수를 봐야 한다 —
+//   어긋나면 `context budget` 이 이월분을 0 으로 보고하고, 두 번(1.36.95 · 1.36.105) 미뤄진 부채가 다시 안 보이게 된다.
+//   양방향으로 단언한다: 있는 경계를 찾는지, 그리고 **없는 경계를 만들지 않는지**. 후자가 더 위험하다 —
+//   사용자 산문을 이월분으로 오인하면 "지침의 100% 가 이월" 이라는 거짓 보고가 나온다.
+function _p0112CarryOk() {
+  try {
+    const p = require('../lib/pure-utils');
+    const base = '# T\n\n- managed line\n';
+    const merged = p._managedMerge('AGENTS.md', base, base + '\n- CUSTOM-CARRY-A\n- CUSTOM-CARRY-B\n', '.harness/archive', new Set(), {});
+    const s = p._splitPreserved(merged);
+    // ① 무손실 — 관리분 + 이월분이 원문과 **바이트 동일**. 한쪽이라도 흘리면 계량이 조용히 틀린다.
+    const lossless = (s.managed + s.preserved) === merged;
+    // ② 경계가 옳은 쪽에 있다
+    const placed = s.preserved.includes('CUSTOM-CARRY-A') && !s.managed.includes('CUSTOM-CARRY-A')
+      && s.managed.includes('- managed line') && s.preserved.includes(p.PRESERVED_TAG);
+    // ③ 경계가 없으면 만들지 않는다
+    const noop = (() => { const n = p._splitPreserved(base); return n.preserved === '' && n.managed === base && n.at === -1; })();
+    // ④ 태그가 지워진 구형 설치본은 제목으로 가르되, **생성 안내문이 뒤따를 때만** 인정한다.
+    const legacy = (() => {
+      const r = p._splitPreserved(base + '\n---\n## Preserved previous content\n\n> 이전 버전에서 이어진 내용. 전체 원본 백업: `.harness/archive`\n\n- OLD-LINE\n');
+      return r.preserved.includes('OLD-LINE') && !r.managed.includes('OLD-LINE');
+    })();
+    // ④-b 같은 제목이어도 안내문이 없으면 경계가 아니다 — 사용자가 쓴 동명 섹션을 통째로 삼키지 않기 위해서다.
+    //    편향은 **과소 보고** 쪽에 둔다: 못 세는 것보다, 사용자 산문을 "옮기세요" 라고 권하는 쪽이 나쁘다.
+    const legacyNeedsNote = p._splitPreserved(base + '\n---\n## Preserved previous content\n\n- 사용자가 직접 쓴 항목\n').preserved === '';
+    // ⑤ 본문에 그 낱말이 **문장으로** 나오는 것만으로는 가르지 않는다(제목 줄 전체를 앵커로 쓰는 이유)
+    const inline = (() => {
+      const r = p._splitPreserved('# T\n\nWe keep Preserved previous content in the wiki, not here.\n');
+      return r.preserved === '' && r.at === -1;
+    })();
+    // ⑤-b 태그가 **문장 안에 인용**된 경우도 경계가 아니다 — 생성기는 태그를 자기 줄에 쓰고 바로 다음 줄에 제목을 쓴다.
+    //    (leerness 자신을 설명하는 문서가 이 마커를 인용하면, 그 뒤 전부가 '이월분' 이 되던 형태다.)
+    const quoted = p._splitPreserved(`# T\n\n우리는 이 마커를 씁니다: \`${p.PRESERVED_TAG}\`\n\n- 실제 지침\n`).preserved === '';
+    // ⑥ 빈/비문자열 입력에서 죽지 않는다
+    const edge = p._splitPreserved('').preserved === '' && p._splitPreserved(null).managed === ''
+      && p._splitPreserved(undefined).at === -1;
+    // ⑦ 병적 입력에서 선형이어야 한다. 초안은 접두 **전체**를 정규식으로 훑어 개행 40만 개 입력이 **52,790ms** 였다
+    //    (5만 642ms → 40만 52,790ms, 명백한 2차식). 꼬리만 보도록 고친 뒤 0.2ms. 넉넉히 1.5초로 건다.
+    const perf = (() => {
+      const big = '\n'.repeat(400000) + p.PRESERVED_TAG + '\n## Preserved previous content\n';
+      const t0 = Date.now(); p._splitPreserved(big); return (Date.now() - t0) < 1500;
+    })();
+    return lossless && placed && noop && legacy && legacyNeedsNote && inline && quoted && edge && perf;
+  } catch { return false; }
+}
 function _p0109ClaimGateOk() {
   try {
     const an = require('../lib/analyzers');
@@ -26187,25 +26235,88 @@ async function main() {
     const _cy = s => _tty2 ? `\x1b[36m${s}\x1b[0m` : s, _dm = s => _tty2 ? `\x1b[2m${s}\x1b[0m` : s;
     const _bRoot = absRoot(arg('--path', null) || _taskPositionalPath(args, 2) || process.cwd());
     const _bj = has('--json');
-    if (!exists(path.join(_bRoot, '.harness'))) { failJson(_bj, 'harness_missing', `leerness 미설치: ${_bRoot} — 먼저 leerness init`); return; }
+    // 1.36.112 (T-0100 일부 상환): 이 명령은 i18n 래칫의 측정 대상이다. 여기에 한국어 줄을 더하면 부채가 는다 —
+    //   손대는 표면은 영어화까지 하고 간다(leerness 는 한국어 우선 도구가 아니다). 아래 `_bt` 로 고른다.
+    const _bEn = _uiLang(_bRoot) === 'en';
+    const _bt = (ko, en) => (_bEn ? en : ko);
+    if (!exists(path.join(_bRoot, '.harness'))) { failJson(_bj, 'harness_missing', _bt(`leerness 미설치: ${_bRoot} — 먼저 leerness init`, `leerness not installed: ${_bRoot} — run leerness init first`)); return; }
     const _tok = (s) => Math.round(String(s || '').length / 3.2);   // 한글 혼합 대략치 — 절대값이 아니라 추세/비교용
     const parts = [];
+    // 1.36.112: 지침 파일을 **관리분 / 이월분**으로 갈라 잰다.
+    //   종전엔 `AGENTS.md 4,248 tok` 처럼 덩어리로만 보여, 그 안의 몇 %가 마이그레이션이 실어 나른
+    //   과거 내용인지 알 수 없었다. 실측(이 저장소)에서 지침 파일의 **78.0%(6,048 tok)** 가 이월분이고,
+    //   그건 등급을 minimal 로 낮춰도 **그대로 남는다**(33,928 → 7,242 tok 로 줄지만 그중 83% 가 이월분).
+    //   즉 예산 초과의 주원인이 첫 번째 권고로는 해결되지 않는데 출력이 그 사실을 숨기고 있었다.
+    //   여기서는 재기만 한다 — 이월분 삭제는 1.36.95/1.36.105 가 안전을 증명 못 해 뺀 그대로 두고,
+    //   그 판단(false-DROP 이 버그)은 유효하다. 다만 **비용을 모르면 우선순위를 못 정한다**.
+    const { _splitPreserved } = require('../lib/pure-utils');
+    let carriedTok = 0, carriedB = 0;
+    const _carryFiles = [];
     for (const f of ['AGENTS.md', 'CLAUDE.md']) {
       const p = path.join(_bRoot, f);
-      parts.push({ what: f, bytes: exists(p) ? fs.statSync(p).size : 0, tokens: exists(p) ? _tok(read(p)) : 0 });
+      if (!exists(p)) { parts.push({ key: f, what: f, bytes: 0, tokens: 0, carriedTokens: 0 }); continue; }
+      const txt = read(p);
+      const sp = _splitPreserved(txt);
+      const cT = sp.preserved ? _tok(sp.preserved) : 0;
+      carriedTok += cT; carriedB += sp.preserved ? Buffer.byteLength(sp.preserved) : 0;
+      if (cT) _carryFiles.push({ file: f, preserved: sp.preserved });
+      parts.push({ key: f, what: f, bytes: fs.statSync(p).size, tokens: _tok(txt), carriedTokens: cT });
+    }
+    // 이월 안내는 "전체 원본 백업: `<경로>`" 라고 **약속**한다. "옮겨도 안전하다" 는 권고는 그 약속 위에 서 있으므로
+    //   권고하기 전에 백업이 실재하는지 확인한다(설치본 표본 22건 중 4건은 .harness/archive 없이 복사된 사본이었다).
+    //   판정은 **이월분을 가진 파일 전부**에 대해 한다. 종전엔 첫 파일(AGENTS.md)만 보고 그 결과를 두 파일에
+    //   적용해, AGENTS 만 백업된 상태에서 "원본은 이미 보관돼 있습니다" 라고 말했다(검수 재현). 하나라도 없으면 false.
+    let _archive = null;
+    if (_carryFiles.length) {
+      let allOk = true, shown = null;
+      for (const c of _carryFiles) {
+        try {
+          const m = /(?:전체 원본 백업|Full original backup):\s*`([^`]+)`/.exec(c.preserved);
+          if (!m) { allOk = false; continue; }
+          const rel = m[1].trim();
+          if (!shown) shown = rel;
+          const abs = path.resolve(_bRoot, rel);
+          // 안내 문구는 **프로젝트 파일에서 온 입력**이다. `../` 탈출이나 절대경로로 프로젝트 밖을 가리키면
+          //   남의 디렉토리 구조를 백업으로 인정하게 된다(검수 재현: `../outside` → exists:true). 루트 안으로 가둔다.
+          if (abs !== _bRoot && !abs.startsWith(_bRoot + path.sep)) { allOk = false; continue; }
+          // 안내는 두 형식으로 존재한다 — 스냅샷 경로(`.harness/archive/leerness-1.36.100-…`)와
+          //   아카이브 루트(`.harness/archive`, archiveRel 미주입 시의 폴백). 한쪽만 상정하면 백업이
+          //   멀쩡한 프로젝트에 "백업이 없습니다" 라고 말한다(작성 중 실제로 냈다 — 오경보는 이 경고를 못 믿게 만든다).
+          let found = exists(path.join(abs, 'files', c.file));
+          if (!found && exists(abs)) {
+            // 항목 수가 병적으로 많은 디렉토리에서 비용이 터지지 않게 상한을 둔다(정상 아카이브는 마이그레이션당 1개).
+            try { found = fs.readdirSync(abs).slice(0, 500).some(d => exists(path.join(abs, d, 'files', c.file))); } catch {}
+          }
+          if (!found) allOk = false;
+        } catch { allOk = false; }
+      }
+      if (shown) _archive = { path: shown, exists: allOk, files: _carryFiles.length };
     }
     // 1.36.105 (codex 검수 HIGH#7): AGENTS.md 가 "읽어라" 고 지목하는 .harness 문서를 빼고 재면 예산이 거짓이 된다
     //   (검수 재현: session-workflow.md 에 100,000자를 넣어도 ok:true). 지목된 문서를 합산에 넣는다.
+    //   1.36.112 (독립 검수, 실제 설치본에서 조건 확인): 지목은 **파일 전체**에서 세야 맞다(이월 블록 안의
+    //   언급도 AI 는 그대로 읽는다). 그러나 등급 절감으로 칠 수 있는 것은 **관리분 안의 지목뿐**이다 —
+    //   이월 블록은 등급을 낮춰도 그대로 남으므로 거기서 나온 지목은 사라지지 않는다.
+    //   구분하지 않으면 "등급을 낮추면 N tok 이 빠진다" 가 최악의 경우 전부 허수가 된다(_bench/v19-demo 가 그 형태다:
+    //   옛 템플릿의 문서 목록 전체가 이월 블록 안에 들어가 있다). 두 집합을 따로 센다.
+    let _refManagedTok = 0;
     try {
       const agp = path.join(_bRoot, 'AGENTS.md');
-      const refs = exists(agp) ? [...new Set((read(agp).match(/\.harness\/[A-Za-z0-9._-]+\.md/g) || []))] : [];
+      const _agTxt = exists(agp) ? read(agp) : '';
+      const _REF_RE = /\.harness\/[A-Za-z0-9._-]+\.md/g;
+      const refs = [...new Set(_agTxt.match(_REF_RE) || [])];
+      const _managedRefs = new Set(_splitPreserved(_agTxt).managed.match(_REF_RE) || []);
       let rb = 0, rt = 0, rn = 0;
       for (const r of refs) {
         const p = path.join(_bRoot, r.replace(/\//g, path.sep));
         if (!exists(p)) continue;
-        rn++; rb += fs.statSync(p).size; rt += _tok(read(p));
+        const t = _tok(read(p));
+        rn++; rb += fs.statSync(p).size; rt += t;
+        if (_managedRefs.has(r)) _refManagedTok += t;   // 등급을 낮추면 실제로 빠지는 몫만 따로 센다
       }
-      if (rn) parts.push({ what: `AGENTS.md 가 지목하는 문서 ${rn}종`, bytes: rb, tokens: rt });
+      // `what` 은 사람용 라벨이라 로케일에 따라 흔들린다 — 기계가 그걸 파싱하지 않도록 안정 키를 함께 싣는다
+      //   (1.36.111 에서 배운 것: 값을 로케일화할 거면 의존을 **명시**하고, 기계 계약은 흔들리지 않는 축을 준다).
+      if (rn) parts.push({ key: 'referencedDocs', what: _bt(`AGENTS.md 가 지목하는 문서 ${rn}종`, `${rn} docs referenced by AGENTS.md`), bytes: rb, tokens: rt, count: rn });
     } catch {}
     // spawnChild 는 자기 스코프의 root 를 cwd 로 쓰므로 여기서는 직접 부른다(측정 대상이 빈 문자열이 되면 예산이 무의미해진다).
     let ho = '';
@@ -26218,8 +26329,8 @@ async function main() {
       });
       ho = (r && r.stdout) || '';
     } catch {}
-    if (!ho) { log(_dm('  ⚠ handoff 출력을 측정하지 못했습니다 — 합계는 지침 파일만 반영합니다')); }
-    parts.push({ what: 'handoff 출력', bytes: Buffer.byteLength(ho), tokens: _tok(ho) });
+    if (!ho) { log(_dm(_bt('  ⚠ handoff 출력을 측정하지 못했습니다 — 합계는 지침 파일만 반영합니다', '  ⚠ could not measure handoff output — the total covers instruction files only'))); }
+    parts.push({ key: 'handoff', what: _bt('handoff 출력', 'handoff output'), bytes: Buffer.byteLength(ho), tokens: _tok(ho) });
     const total = parts.reduce((s, p) => s + p.tokens, 0);
     const mode = _projectMode(_bRoot);
     // 예산은 **실측에서** 정한다. 지목 문서(11종 4,133 tok)를 합산에 넣자 신규 standard 설치가 6,933 tok 이 됐다 —
@@ -26233,20 +26344,81 @@ async function main() {
     //   등급을 파생시키는 표면은 손상 상태를 함께 실어야 한다 — 안 그러면 "예산 이내" 라는 판정이
     //   실은 읽지 못한 등급의 기본값 위에서 나온 것이 된다. 술어를 공유하지 않으면 표면마다 진실이 갈린다.
     const _bChk = _readManifestChecked(_bRoot);
-    if (_bj) { log(JSON.stringify({ ok: !over && !_bChk.corrupt, root: _bRoot, mode, budget, total, over, corrupt: !!_bChk.corrupt, corruptReason: _bChk.reason || null, parts }, null, 2)); if (over || _bChk.corrupt) process.exitCode = 1; return; }
+    // 등급을 낮추면 사라지는 것과 남는 것을 **각각** 센다. minimal 은 지목 문서를 아예 싣지 않지만(→0),
+    //   이월분은 지침 파일 안에 있어 등급과 무관하게 남는다. 실측: 33,879 → 7,165 tok 인데 그 7,165 의 84% 가 이월분이다.
+    const _refPart = parts.find(p => p.key === 'referencedDocs');
+    // 등급 절감 = 지목 문서(minimal 은 아예 안 싣는다 → 0) + **관리분 템플릿 축소분**.
+    //   종전엔 지목 문서만 셌고, 검수가 그게 실제 절감을 크게 밑돈다는 것을 재현했다(실제 6,600 vs 4,133).
+    //   그 과소평가는 정렬을 뒤집을 수 있다 — 이월분이 두 값 **사이**에 있으면 순서가 틀린다.
+    //   템플릿 축소분은 minimal 템플릿을 실제로 생성해 정확히 잰다. handoff 감소분은 여기서 못 재므로
+    //   포함하지 않는다 → 이 값은 여전히 **하한**이고, 출력도 "최소" 라고 말한다.
+    //   ⚠ 축소분은 **템플릿끼리** 비교해야 한다. 처음엔 `관리분 − 최소템플릿` 으로 쟀는데, 관리 영역에 사용자가
+    //   덧붙인 줄은 등급을 바꿔도 **삭제되지 않고 이월 블록으로 옮겨간다**(managedMerge 의 계약이 그렇다).
+    //   그걸 절감으로 세면 "낮추면 N tok 빠진다" 가 다시 허수를 포함한다 — 현재 등급의 템플릿과 최소 템플릿만 견준다.
+    let _tplShrink = 0;
+    if (mode !== 'minimal') {
+      try {
+        const _l = _uiLang(_bRoot);
+        const _now = coreFiles(_bRoot, _l, [], { mode });
+        const _min = coreFiles(_bRoot, _l, [], { mode: 'minimal' });
+        for (const f of ['AGENTS.md', 'CLAUDE.md']) {
+          if (!_now[f] || !_min[f]) continue;
+          const d = _tok(_now[f]) - _tok(_min[f]);
+          if (d > 0) _tplShrink += d;
+        }
+      } catch {}
+    }
+    //   지목 문서 중 **관리분에서 나온 것만** 절감으로 친다(이월 블록의 지목은 등급을 낮춰도 남는다).
+    const _modeSaves = (mode !== 'minimal') ? (_refManagedTok + _tplShrink) : 0;
+    if (_bj) {
+      log(JSON.stringify({
+        ok: !over && !_bChk.corrupt, root: _bRoot, lang: _bEn ? 'en' : 'ko', mode, budget, total, over,
+        corrupt: !!_bChk.corrupt, corruptReason: _bChk.reason || null,
+        // 1.36.112: 이월분은 등급으로 못 줄이는 **바닥값**이다 — 기계도 그걸 알아야 우선순위를 정한다.
+        carried: { tokens: carriedTok, bytes: carriedB, pctOfTotal: total ? Math.round(carriedTok / total * 100) : 0, survivesModeChange: true, archive: _archive },
+        // 하한임을 이름으로 못박는다 — handoff 감소분은 여기서 재지 않는다(정확한 값인 척하지 않는다).
+        modeSavesAtLeast: _modeSaves,
+        parts
+      }, null, 2));
+      if (over || _bChk.corrupt) process.exitCode = 1; return;
+    }
     log(_cy(`# leerness context budget — mode ${mode}`));
-    if (_bChk.corrupt) log(`  ⚠ manifest.json 손상(${_bChk.reason}) — 위 등급은 **저장값이 아니라 기본값**입니다: ${_bChk.path}`);
-    for (const p of parts) log(`  ${String(p.tokens).padStart(6)} tok  ${String(p.bytes).padStart(7)} B   ${p.what}`);
-    log(`  ${String(total).padStart(6)} tok  합계 · 예산 ${budget} tok`);
+    // 사유까지 언어를 맞춘다 — 영어 문장에 한국어 사유를 끼워 넣으면 그 줄은 여전히 누출이다.
+    const _reasonEn = { read_failed: 'unreadable', json_parse_failed: 'invalid JSON', not_an_object: 'top level is not an object' }[_bChk.code] || 'unknown';
+    if (_bChk.corrupt) log(_bt(`  ⚠ manifest.json 손상(${_bChk.reason}) — 위 등급은 **저장값이 아니라 기본값**입니다: ${_bChk.path}`,
+      `  ⚠ manifest.json corrupt (${_reasonEn}) — the mode above is the **default, not the stored value**: ${_bChk.path}`));
+    for (const p of parts) {
+      const cp2 = p.carriedTokens ? _dm(_bt(`   · 이월 ${p.carriedTokens} tok (${Math.round(p.carriedTokens / (p.tokens || 1) * 100)}%)`,
+        `   · carried-over ${p.carriedTokens} tok (${Math.round(p.carriedTokens / (p.tokens || 1) * 100)}%)`)) : '';
+      log(`  ${String(p.tokens).padStart(6)} tok  ${String(p.bytes).padStart(7)} B   ${p.what}${cp2}`);
+    }
+    log(`  ${String(total).padStart(6)} tok  ` + _bt(`합계 · 예산 ${budget} tok`, `total · budget ${budget} tok`));
     log('');
     if (over) {
-      fail(`세션 적재가 예산을 넘습니다 (${total} > ${budget})`);
-      log(_dm(`  → 등급을 낮추거나: leerness mode set minimal`));
-      log(_dm(`  → 이월 이력을 줄이거나: AGENTS.md/CLAUDE.md 의 "Preserved previous content" 를 archive 로 옮기세요`));
+      fail(_bt(`세션 적재가 예산을 넘습니다 (${total} > ${budget})`, `session load exceeds the budget (${total} > ${budget})`));
+      // 종전엔 권고 2줄이 **고정 순서**였고 절감액이 없었다. 등급을 낮춰도 예산을 못 지키는 프로젝트에서
+      //   첫 권고를 따르는 것은 헛수고인데 출력이 그 사실을 말하지 않았다 — 실측 절감액 순으로 낸다.
+      const rem = [];
+      if (_modeSaves) rem.push({ save: _modeSaves, line: _bt(
+        `등급을 낮추면 최소 ${_modeSaves} tok 이 빠집니다 (지목 문서 ${_refManagedTok} + 템플릿 축소 ${_tplShrink}, handoff 감소분 제외): leerness mode set minimal`,
+        `lowering the mode drops at least ${_modeSaves} tok (referenced docs ${_refManagedTok} + template shrink ${_tplShrink}; handoff reduction not counted): leerness mode set minimal`) });
+      if (carriedTok) {
+        const where = _archive ? (_archive.exists
+          ? _bt(` — 원본은 ${_archive.path} 에 이미 보관돼 있습니다`, ` — the original is already archived at ${_archive.path}`)
+          : _bt(` — ⚠ 안내가 가리키는 백업(${_archive.path})이 없습니다. 옮기기 전에 직접 복사해 두세요`, ` — ⚠ the referenced backup (${_archive.path}) is missing. Copy it yourself before moving anything`))
+          : '';
+        rem.push({ save: carriedTok, line: _bt(
+          `이월분 ${carriedTok} tok (합계의 ${Math.round(carriedTok / total * 100)}%) 은 **등급을 낮춰도 남습니다** — AGENTS.md/CLAUDE.md 의 "Preserved previous content" 를 옮기세요${where}`,
+          `carried-over content is ${carriedTok} tok (${Math.round(carriedTok / total * 100)}% of the total) and **survives a mode change** — move the "Preserved previous content" section out of AGENTS.md/CLAUDE.md${where}`) });
+      }
+      rem.sort((a, b) => b.save - a.save);
+      for (const r of rem) log(_dm(`  → ${r.line}`));
+      if (!rem.length) log(_dm(_bt(`  → 지침 파일과 handoff 출력을 줄이세요`, `  → trim the instruction files and handoff output`)));
     } else {
-      ok(`예산 이내 (${total}/${budget} tok)`);
+      ok(_bt(`예산 이내 (${total}/${budget} tok)`, `within budget (${total}/${budget} tok)`));
     }
-    log(_dm('  ⓘ 토큰은 길이 기반 추정치입니다 — 절대값이 아니라 추세/비교용으로 쓰세요.'));
+    log(_dm(_bt('  ⓘ 토큰은 길이 기반 추정치입니다 — 절대값이 아니라 추세/비교용으로 쓰세요.',
+      '  ⓘ Token counts are length-based estimates — use them for trends and comparisons, not as absolute values.')));
     return;
   }
   if (cmd === 'init') {

package/lib/pure-utils.js

@@ -946,9 +946,13 @@ function _mergeReadmeSection(existing, block, START, END) {
 }
 // 1.9.368 (UR-0025): 관리 파일 마이그레이션 머지 순수 코어 — 이전 내용을 migration-preserved 블록으로 보존(데이터/인덱스 파일은 overwrite).
 //   archiveRel(사전 계산된 표시 경로) + overwriteSet 을 인자로 주입 → path/process/상수 비결합(순수).
+// 1.36.112: 이월 블록의 경계는 **쓰는 쪽과 읽는 쪽이 같은 상수**를 봐야 한다.
+//   종전엔 이 태그가 _managedMerge 안의 지역 변수라 밖에서 재구현할 수밖에 없었고,
+//   그 재구현이 1.36.88→90 에서 판정 불일치를 되살린 것과 같은 형태다(술어를 공유하지 않으면 표면마다 진실이 갈린다).
+const PRESERVED_TAG = '<!-- leerness:migration-preserved -->';
 function _managedMerge(file, next, previous, archiveRel, overwriteSet, opts = {}) {
   if (!previous || previous.trim() === next.trim()) return next;
-  const tag = '<!-- leerness:migration-preserved -->';
+  const tag = PRESERVED_TAG;
   if (overwriteSet && overwriteSet.has(String(file).replace(/\\/g, '/'))) return next;
   // 1.36.60 (F-05 2회차, 검수 High): 언어 전환 시 구 언어 canonical 템플릿(altTemplate)의 라인도 차감 —
   //   종전엔 KO→EN 재init 에서 KO 템플릿 전체가 "커스텀"으로 오인돼 Preserved 에 통째 이월됐다.
@@ -1011,6 +1015,43 @@ function _managedMerge(file, next, previous, archiveRel, overwriteSet, opts = {}
   return next.trimEnd() + `\n\n---\n${tag}\n## Preserved previous content\n\n${note}\n\n` + custom.join('\n') + '\n';
 }
 
+// 1.36.112: 위가 쓴 이월 블록을 **되읽는** 짝. `context budget` 이 지침 파일을 관리분/이월분으로 가르는 데 쓴다.
+//   왜 필요한가: 이월분은 1.36.95·1.36.105 에서 두 번 "provenance 라운드로 미룬다" 며 남겨졌는데,
+//   그동안 **비용을 한 번도 재지 않았다**. 이 함수로 잰 실측(설치본 45개)에서 12개가 이월분을 갖고 합계 10,895 tok,
+//   최악(이 저장소)은 지침 파일의 78.0%(6,048 tok)이고, minimal 등급으로 낮춰도 적재 7,242 tok 중 83% 가 그것이다.
+//   여기서 하는 일은 **재는 것뿐**이다 — 지우지 않는다. 삭제를 막은 두 번의 판단(false-DROP 이 버그)은 그대로 유효하다.
+const _TAG_ESC = PRESERVED_TAG.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+// 경계는 **생성기가 쓰는 opener 전체**로만 확정한다. 태그 하나 또는 제목 하나로 정하면 두 가지를 오인한다
+//   (검수 재현): (a) 사용자가 직접 쓴 `## Preserved previous content` 섹션 51B, (b) 문서에 인용된 태그 60B.
+//   그 뒤 전부가 '이월분' 으로 계상되고, 도구는 사용자에게 **자기 산문을 옮기라고** 권하게 된다.
+//   그래서 편향을 **과소 보고** 쪽에 둔다 — 못 세는 것보다 잘못 권하는 쪽이 나쁘다.
+const _OPENER_RE = new RegExp(`^[ \\t]*${_TAG_ESC}[ \\t\\r]*$\\r?\\n^#{1,3}[ \\t]*Preserved previous content[ \\t\\r]*$`, 'm');
+const _HEAD_RE = /^#{1,3}[ \t]*Preserved previous content[ \t\r]*$/gm;
+// 태그가 없는 구형 설치본은 제목 **뒤에 생성 안내문이 따라올 때만** 인정한다(제목만으로는 사용자 섹션과 구분 불가).
+const _NOTE_RE = /전체 원본 백업|Full original backup|Previous content was backed up|이전 버전에서 이어진|Custom user\/project content carried over/;
+function _splitPreserved(text) {
+  const s = String(text == null ? '' : text);
+  let at = -1;
+  const m1 = _OPENER_RE.exec(s);
+  if (m1) at = m1.index;
+  if (at < 0) {
+    _HEAD_RE.lastIndex = 0;
+    let h;
+    while ((h = _HEAD_RE.exec(s))) {
+      if (_NOTE_RE.test(s.slice(h.index, h.index + 800))) { at = h.index; break; }
+    }
+  }
+  if (at < 0) return { managed: s, preserved: '', at: -1 };
+  // 앞의 `---` 구분선도 생성물이라 이월분에 포함시킨다(관리분에 남기면 관리분이 그만큼 부풀어 보인다).
+  //   ⚠ 여기서 접두 **전체**를 정규식으로 훑으면 개행만 긴 입력에서 2차식이 된다 —
+  //   검수 재현에서 개행 40만 개 입력이 52.8초였다(5만 0.6s → 40만 52.8s). 꼬리 64자만 본다.
+  const before = s.slice(0, at);
+  const tail = before.slice(-64);
+  const hr = /(?:\r?\n)*---[ \t]*(?:\r?\n)+$/.exec(tail);
+  const start = hr ? at - (tail.length - hr.index) : at;
+  return { managed: s.slice(0, start), preserved: s.slice(start), at: start };
+}
+
 // 1.9.369 (UR-0025): --skills 값 파싱 순수 코어 — catalog 주입(harness skillCatalog 비결합). all/recommended/csv 처리 + catalog 필터.
 function _parseSkillsValue(v, catalog) {
   if (!v || v === true) return [];
@@ -1440,7 +1481,7 @@ module.exports = { _decisionBlocksWithOffset, _blocksWithOffset, _lineOfOffset,
   _matchTool, _parsePackageJsonDeps, _parseRequirementsTxt, _buildGlossary, _renderGlossaryMd, GLOSSARY_START, GLOSSARY_END,
   _isSecretKey, redactSecrets, hasCredentialMarker, compareVer, parseHarnessVersion,
   _isPlaceholderSecret, _looksSecretLike,
-  _mergeLines, _mergeEnvLines, _mergeReadmeSection, _managedMerge, _parseSkillsValue,
+  _mergeLines, _mergeEnvLines, _mergeReadmeSection, _managedMerge, _splitPreserved, PRESERVED_TAG, _parseSkillsValue,
   _parseArchiveBlocks, _parseSkillCatalog, _renderTeamsMd, _composeTeamPlan, _teamHandoffReminders, _cadenceAssessment, _teamDeployGate, _renderWorkspaceReferenceGuide, _memorySurface, _renderPulseLine,
   _classifyCJK, _riskLabel, _detectSystemLang, _parseSlashFromHelp,
   // 1.9.283 (UR-0025 2단계)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "leerness",
-  "version": "1.36.111",
+  "version": "1.36.112",
   "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",

package/scripts/e2e.js

@@ -10580,7 +10580,9 @@ total++;
     // 래칫: 지금 측정된 부채보다 **늘면 실패**. 줄어드는 것은 언제나 통과.
     // 1.36.111 실측. 처음엔 21개 명령만 재서 46 이었는데, 검수 지적으로 커버리지를 39개로 넓히자 **111** 이 드러났다 —
     //   좁은 목록의 기준선은 실제 부채보다 낙관적이었다. 줄인 만큼만 낮춘다(느슨하게 두면 그 안에서 조용히 썩는다).
-    const BASELINE = 111;
+    // 1.36.112: 106 으로 조인다. `context budget` 을 손대는 김에 영어화해 5줄을 갚았다(111 → 106, 실측).
+    //   갚은 만큼만 낮춘다 — 여유를 남기면 그 안에서 조용히 썩는다(1.36.82 의 자기참조 가드에서 겪은 형태).
+    const BASELINE = 106;
     dbg.baseline = BASELINE;
     dbg.withinRatchet = leaky <= BASELINE;
     // 이번 라운드가 고친 표면은 **0 이어야** 한다 — 래칫과 별개로 회귀를 직접 막는다.
@@ -10605,6 +10607,237 @@ total++;
   if (!ok) failed++;
 }
 
+// ── 1.36.112 블록 P: 이월분(Preserved previous content) 비용을 `context budget` 이 **분해해 보인다**.
+//   왜: 1.36.95 와 1.36.105 가 각각 "기존 설치본 정리는 provenance 라운드로", "오래된 이월을 줄이는 일은
+//   별도 라운드로" 미뤘다. 두 판단(삭제는 안전을 증명 못 한다 · false-DROP 이 버그)은 지금도 유효하다.
+//   미룬 두 번이 건너뛴 것은 **비용 측정**이다 — 설치본 45개 중 12개가 이월분을 갖고 합계 10,895 tok,
+//   최악(이 저장소)은 지침 파일의 78.0%(6,048 tok)이고, minimal 로 낮춰도 적재 7,242 tok 중 83% 가 그것이다.
+//   (이 수치는 **출하되는 `_splitPreserved` 로** 다시 잰 값이다 — 분해기를 엄격하게 고친 뒤 재측정했다.)
+//   이 가드는 "재서 보인다" 만 지킨다. 지우는 동작은 여전히 없고, 그게 없다는 것도 아래에서 단언한다.
+{
+  total++;
+  let ok = false; const dbg = {};
+  const sb = fs.mkdtempSync(path.join(os.tmpdir(), 'leerness-carry112-'));
+  const ENV = Object.assign({}, process.env, { TMPDIR: sb, TEMP: sb, TMP: sb });
+  try {
+    const mk = (name, lang) => {
+      const d = path.join(sb, name); fs.mkdirSync(d, { recursive: true });
+      fs.writeFileSync(path.join(d, 'package.json'), '{"name":"proj","version":"0.1.0"}');
+      cp.spawnSync(process.execPath, [CLI, 'init', d, '--yes', '--language', lang || 'ko'], { cwd: d, encoding: 'utf8', timeout: 300000, env: ENV });
+      return d;
+    };
+    const R = (d, a, env) => cp.spawnSync(process.execPath, [CLI, ...a, '--path', d], { cwd: d, encoding: 'utf8', timeout: 300000, env: env || ENV });
+    const J = (d, a, env) => { try { return JSON.parse(String((R(d, a.concat(['--json']), env)).stdout || '').trim()); } catch { return null; } };
+
+    // 대조군 ①: 이월분이 **없는** 프로젝트는 0 이어야 한다. 없는 부채를 보고하면 이 지표 자체를 못 믿는다.
+    const clean = mk('clean');
+    const cleanB = J(clean, ['context', 'budget']);
+    dbg.cleanZero = !!cleanB && cleanB.carried && cleanB.carried.tokens === 0
+      && cleanB.parts.every(p => !p.carriedTokens)
+      && !/이월|carried-over/.test(String(R(clean, ['context', 'budget']).stdout || ''));
+
+    // 측정 대상 블록은 **실제 writer 로** 만든다. 손으로 흉내 내면 형식이 갈릴 때 가드가 조용히 죽는다.
+    const PU = require(path.resolve(path.dirname(CLI), '..', 'lib', 'pure-utils'));
+    const carried = mk('carried');
+    const agp = path.join(carried, 'AGENTS.md');
+    const base = fs.readFileSync(agp, 'utf8');
+    const legacy = Array.from({ length: 150 }, (_, i) => `- LEGACY-CARRY-${i} 과거 릴리스 이력 항목 (1.9.${100 + i})`).join('\n');
+    const merged = PU._managedMerge('AGENTS.md', base, base + '\n' + legacy + '\n', '.harness/archive', new Set(), {});
+    dbg.writerMadeBlock = merged.includes(PU.PRESERVED_TAG) && merged.includes('LEGACY-CARRY-149');
+    fs.writeFileSync(agp, merged);
+
+    // ② 분해기는 writer 가 쓴 것을 **한 바이트도 잃지 않고** 가른다 (관리분 + 이월분 === 원문)
+    const sp = PU._splitPreserved(merged);
+    dbg.roundTrip = (sp.managed + sp.preserved) === merged && sp.preserved.includes('LEGACY-CARRY-0')
+      && !sp.managed.includes('LEGACY-CARRY-0') && sp.preserved.startsWith('\n');
+    // 이월 블록이 없는 입력은 통째로 관리분이다(경계 없는 곳에 경계를 만들지 않는다)
+    const spNone = PU._splitPreserved(base);
+    dbg.splitNoop = spNone.preserved === '' && spNone.managed === base && spNone.at === -1;
+
+    // ③ 실제로 센다 — 파일 라인과 carried 합계 양쪽에서
+    const cb = J(carried, ['context', 'budget']);
+    const agPart = cb && cb.parts.find(p => p.key === 'AGENTS.md');
+    dbg.counts = !!cb && cb.carried.tokens > 500 && !!agPart && agPart.carriedTokens > 500
+      && cb.carried.tokens === agPart.carriedTokens && cb.carried.pctOfTotal > 0;
+
+    // ④ **이 라운드의 핵심 주장**: 이월분은 등급을 낮춰도 남는다. 주장을 출력만 하지 말고 측정으로 확인한다.
+    R(carried, ['mode', 'set', 'minimal']);
+    const mb = J(carried, ['context', 'budget']);
+    dbg.survivesMode = !!mb && mb.mode === 'minimal' && mb.total < cb.total
+      && mb.carried.tokens === cb.carried.tokens && mb.carried.tokens > 0
+      && mb.carried.pctOfTotal > cb.carried.pctOfTotal;   // 총량이 줄어 이월분의 **비중은 오히려 커진다**
+    R(carried, ['mode', 'set', 'standard']);
+
+    // ⑤ 백업 존재 판정은 **양방향**으로 움직여야 한다. 한 방향만 보면 상수를 반환해도 통과한다.
+    //   (작성 중 실제로 오경보를 냈다 — 안내가 아카이브 '루트' 를 가리키는 형식을 상정하지 않아서였다.)
+    const arch = path.join(carried, '.harness', 'archive', 'leerness-1.0.0-x', 'files');
+    fs.mkdirSync(arch, { recursive: true }); fs.writeFileSync(path.join(arch, 'AGENTS.md'), base);
+    const withArch = J(carried, ['context', 'budget']);
+    fs.rmSync(path.join(carried, '.harness', 'archive'), { recursive: true, force: true });
+    const noArch = J(carried, ['context', 'budget']);
+    dbg.archiveBothWays = !!withArch && !!noArch
+      && withArch.carried.archive && withArch.carried.archive.exists === true
+      && noArch.carried.archive && noArch.carried.archive.exists === false;
+
+    // ⑥ 권고는 **실측 절감액 순**이다. 순서는 권고가 **둘 다 있을 때만** 판별되므로 양방향 픽스처를 쓴다.
+    //   1차 작성 때 minimal 케이스만 뒀다가 "고정 순서로 되돌림" 변이가 살아남았다 — 권고가 하나뿐이면
+    //   어떤 정렬을 써도 결과가 같다(정렬을 주장해 놓고 정렬을 시험하지 않은 공허한 커버리지).
+    //   ⑥-a 등급 절감 > 이월분  → 등급 권고가 먼저   (뒤집기 변이를 잡는다)
+    //   ⑥-b 이월분 > 등급 절감  → 이월분 권고가 먼저 (정렬 제거 변이를 잡는다 — 삽입 순서가 곧 옛 고정 순서다)
+    const remLines = (d) => String(R(d, ['context', 'budget']).stdout || '').split('\n').filter(l => /^\s*→ /.test(l));
+    fs.appendFileSync(path.join(carried, 'CLAUDE.md'), '\n' + 'x'.repeat(20000) + '\n');   // 관리분만 키운다(이월분 불변)
+    const aStd = J(carried, ['context', 'budget']);
+    const aRef = aStd && aStd.parts.find(p => p.key === 'referencedDocs');
+    const aLines = remLines(carried);
+    dbg.remedyOrderModeFirst = !!aStd && aStd.over === true && !!aRef
+      && aRef.tokens > aStd.carried.tokens            // 판별 조건이 실제로 성립했는지 **먼저** 단언
+      && aLines.length === 2 && /mode set minimal/.test(aLines[0]) && /이월분/.test(aLines[1]);
+
+    const big = mk('big');
+    const bagp = path.join(big, 'AGENTS.md');
+    const bbase = fs.readFileSync(bagp, 'utf8');
+    const huge = Array.from({ length: 1200 }, (_, i) => `- LEGACY-BIG-${i} 과거 릴리스 이력 항목 (1.9.${i})`).join('\n');
+    fs.writeFileSync(bagp, PU._managedMerge('AGENTS.md', bbase, bbase + '\n' + huge + '\n', '.harness/archive', new Set(), {}));
+    const bStd = J(big, ['context', 'budget']);
+    const bRef = bStd && bStd.parts.find(p => p.key === 'referencedDocs');
+    const bLines = remLines(big);
+    dbg.remedyOrderCarriedFirst = !!bStd && bStd.over === true && !!bRef
+      && bStd.carried.tokens > bRef.tokens
+      && bLines.length === 2 && /이월분/.test(bLines[0]) && /mode set minimal/.test(bLines[1]);
+
+    // minimal 에서는 등급 권고의 절감이 0 이므로 이월분 권고만 남아야 한다
+    //   (종전엔 순서가 고정이라, 등급을 낮춰도 예산을 못 지키는 프로젝트에 헛수고를 먼저 권했다).
+    R(carried, ['mode', 'set', 'minimal']);
+    const minOut = String(R(carried, ['context', 'budget']).stdout || '');
+    const lines = minOut.split('\n').filter(l => /^\s*→ /.test(l));
+    dbg.remedyOrder = lines.length === 1 && /이월분/.test(lines[0]) && !lines.some(l => /mode set minimal/.test(l));
+    dbg.remedyQuantified = /이월분 \d+ tok \(합계의 \d+%\) 은 \*\*등급을 낮춰도 남습니다\*\*/.test(minOut);
+
+    // ⑦ 이 라운드는 **지우지 않는다**. 이월 블록이 그대로 남아 있어야 한다(측정이 삭제로 번지지 않았음을 단언).
+    dbg.noDeletion = fs.readFileSync(path.join(carried, 'AGENTS.md'), 'utf8').includes('LEGACY-CARRY-149');
+
+    // ⑧ 영어 모드에서 이 표면은 한글을 내지 않는다(T-0100 상환분 — 래칫 여유에 숨지 못하게 직접 단언).
+    //   ⚠ 종전엔 **예산 이내** 신규 프로젝트만 봐서 `if (over)` 안의 영어 문구 6종이 한 번도 렌더되지 않았다
+    //   (독립 검수 지적). 한국어가 되살아나기 가장 쉬운 절반을 가드가 못 보고 있었다 — 초과·이월 분기를 실제로 밟힌다.
+    const en = mk('en_carry', 'en');
+    const enEnv = Object.assign({}, ENV, { LEERNESS_LANG: 'en' });
+    {
+      const p = path.join(en, 'AGENTS.md'); const t = fs.readFileSync(p, 'utf8');
+      const extra = Array.from({ length: 200 }, (_, i) => `- CARRY-EN-${i} legacy release note`).join('\n');
+      fs.writeFileSync(p, PU._managedMerge('AGENTS.md', t, t + '\n' + extra + '\n', '.harness/archive', new Set(), { lang: 'en' }));
+      fs.appendFileSync(path.join(en, 'CLAUDE.md'), '\n' + 'x'.repeat(40000) + '\n');
+    }
+    const enOut = String(R(en, ['context', 'budget'], enEnv).stdout || '');
+    const enJ = J(en, ['context', 'budget'], enEnv);
+    // 손상 경고까지 영어여야 한다 — 사유 문자열이 한국어면 그 줄은 여전히 누출이다(별도 프로젝트로 분리 측정).
+    const enCorrupt = mk('en_corrupt', 'en');
+    fs.writeFileSync(path.join(enCorrupt, '.harness', 'manifest.json'), '{ not json');
+    const enCorruptOut = String(R(enCorrupt, ['context', 'budget'], enEnv).stdout || '');
+    dbg.enClean = enOut.split('\n').filter(l => /[가-힣ㄱ-ㆎ]/.test(l)).length === 0
+      && enCorruptOut.split('\n').filter(l => /[가-힣ㄱ-ㆎ]/.test(l)).length === 0
+      && /manifest\.json corrupt \(invalid JSON\)/.test(enCorruptOut)   // 손상 분기를 실제로 밟았는지 단언
+      && !!enJ && enJ.lang === 'en'
+      && enJ.over === true && enJ.carried.tokens > 0                    // 초과·이월 분기를 실제로 밟았는지 단언
+      && /carried-over/.test(enOut) && /survives a mode change/.test(enOut)
+      && /at least/.test(enOut) && /session load exceeds the budget/.test(enOut)
+      && enJ.parts.every(p => typeof p.key === 'string');   // 기계는 로케일 흔들리는 라벨 대신 안정 키를 본다
+
+    // ⑨ 두 파일이 **모두** 이월분을 가진 형태 — 이 라운드의 근거 수치(77.6%)가 나온 저장소가 바로 이 형태다.
+    //   종전 픽스처는 AGENTS.md 에만 넣어 **합산이 한 번도 시험되지 않았고**, 독립 검수가
+    //   `carriedTok = Math.max(carriedTok, cT)` 변이의 생존을 지적했다(합계가 최댓값과 구별되지 않았다).
+    const both = mk('both');
+    for (const f of ['AGENTS.md', 'CLAUDE.md']) {
+      const p = path.join(both, f); const t = fs.readFileSync(p, 'utf8');
+      const extra = Array.from({ length: f === 'AGENTS.md' ? 140 : 55 }, (_, i) => `- CARRY-${f}-${i} 과거 항목`).join('\n');
+      fs.writeFileSync(p, PU._managedMerge(f, t, t + '\n' + extra + '\n', '.harness/archive', new Set(), {}));
+    }
+    const twoJ = J(both, ['context', 'budget']);
+    const pA = twoJ && twoJ.parts.find(p => p.key === 'AGENTS.md');
+    const pC = twoJ && twoJ.parts.find(p => p.key === 'CLAUDE.md');
+    dbg.twoFileSum = !!twoJ && !!pA && !!pC && pA.carriedTokens > 0 && pC.carriedTokens > 0
+      && pA.carriedTokens !== pC.carriedTokens                                   // 합계와 최댓값이 갈리는 입력인지 **먼저** 확인
+      && twoJ.carried.tokens === pA.carriedTokens + pC.carriedTokens
+      && twoJ.carried.bytes > twoJ.carried.tokens;                               // bytes 가 tokens 의 복사본이 아님(계약 필드 커버리지)
+
+    // ⑩ 백업 판정은 이월분을 가진 **모든** 파일을 본다. AGENTS 만 백업된 상태에서 "보관돼 있습니다" 는 거짓이다.
+    const snap2 = path.join(both, '.harness', 'archive', 'leerness-1.0.0-x', 'files');
+    fs.mkdirSync(snap2, { recursive: true }); fs.writeFileSync(path.join(snap2, 'AGENTS.md'), 'x');
+    const partial = J(both, ['context', 'budget']);
+    fs.writeFileSync(path.join(snap2, 'CLAUDE.md'), 'x');
+    const full = J(both, ['context', 'budget']);
+    dbg.archivePerFile = !!partial && !!full && !!partial.carried.archive && !!full.carried.archive
+      && partial.carried.archive.exists === false && full.carried.archive.exists === true
+      && full.carried.archive.files === 2;
+
+    // ⑪ 프로젝트 **밖**을 가리키는 안내는 백업으로 인정하지 않는다(안내 문구는 프로젝트 파일에서 온 입력이다)
+    const esc = mk('esc');
+    {
+      const outside = path.join(sb, 'outside', 'files'); fs.mkdirSync(outside, { recursive: true });
+      fs.writeFileSync(path.join(outside, 'AGENTS.md'), 'x');
+      const p = path.join(esc, 'AGENTS.md'); const t = fs.readFileSync(p, 'utf8');
+      fs.writeFileSync(p, PU._managedMerge('AGENTS.md', t, t + '\n- CARRY-ESC\n', '.harness/archive', new Set(), {})
+        .replace('`.harness/archive`', '`../outside`'));
+    }
+    const escJ = J(esc, ['context', 'budget']);
+    dbg.noEscape = !!escJ && !!escJ.carried.archive && escJ.carried.archive.exists === false;
+
+    // ⑫ 이월 블록 **안의** `.harness/*.md` 지목은 등급 절감으로 치지 않는다 — 등급을 낮춰도 그 언급은 남기 때문이다.
+    //   독립 검수가 이 머신의 실제 설치본(_bench/v19-demo)에서 옛 문서 목록이 통째로 이월된 형태를 확인했다.
+    //   구분하지 않으면 "등급을 낮추면 N tok 이 빠진다" 가 최악의 경우 **전부 허수**가 된다.
+    const refc = mk('refcarry');
+    {
+      const p = path.join(refc, 'AGENTS.md');
+      const stripped = fs.readFileSync(p, 'utf8').replace(/\.harness\//g, 'dot-harness/');   // 관리분에서 지목 제거
+      fs.writeFileSync(p, PU._managedMerge('AGENTS.md', stripped,
+        stripped + '\n- 읽어라: .harness/plan.md\n- 읽어라: .harness/decisions.md\n', '.harness/archive', new Set(), {}));
+      fs.appendFileSync(path.join(refc, 'CLAUDE.md'), '\n' + 'x'.repeat(60000) + '\n');       // 예산 초과 유도
+    }
+    const refJ = J(refc, ['context', 'budget']);
+    const refPart = refJ && refJ.parts.find(p => p.key === 'referencedDocs');
+    const refLines = remLines(refc);
+    //   판별 대조군: **같은 지목**을 관리분에 둔 쌍둥이 프로젝트. 두 값의 차이가 정확히 지목 토큰이어야 한다.
+    //   ⚠ 표시 문자열만 단언하면 공허하다 — 변이가 **정렬에 쓰는 값**만 바꾸면 화면은 그대로다(변이 M18 이 그렇게 생존했다).
+    //   ⚠ "절감 < 지목" 같은 크기 가정도 못 쓴다 — 신규 프로젝트에서는 그 관계가 성립하지 않는다(작성 중 실측).
+    const refm = mk('refmanaged');
+    {
+      const p = path.join(refm, 'AGENTS.md');
+      const stripped = fs.readFileSync(p, 'utf8').replace(/\.harness\//g, 'dot-harness/');
+      const withRefs = stripped + '\n- 읽어라: .harness/plan.md\n- 읽어라: .harness/decisions.md\n';
+      fs.writeFileSync(p, PU._managedMerge('AGENTS.md', withRefs, withRefs + '\n- CARRY-FILLER\n', '.harness/archive', new Set(), {}));
+      fs.appendFileSync(path.join(refm, 'CLAUDE.md'), '\n' + 'x'.repeat(60000) + '\n');
+    }
+    const refmJ = J(refm, ['context', 'budget']);
+    const refmPart = refmJ && refmJ.parts.find(p => p.key === 'referencedDocs');
+    dbg.carriedRefsNotCounted = !!refJ && refJ.over === true
+      && !!refPart && refPart.tokens > 0                    // 총량에는 들어간다 — AI 는 이월 블록도 읽는다
+      && typeof refJ.modeSavesAtLeast === 'number' && !!refmJ && typeof refmJ.modeSavesAtLeast === 'number'
+      && !!refmPart && refmPart.tokens === refPart.tokens   // 두 프로젝트가 같은 문서를 가리키는지 먼저 확인
+      && refmJ.modeSavesAtLeast - refJ.modeSavesAtLeast === refPart.tokens
+      && refLines.some(l => /지목 문서 0 /.test(l));         // 표시도 0 이어야 한다
+
+    // ⑬ 관리 영역에 **사용자가 덧붙인** 내용은 등급을 낮춰도 삭제되지 않고 이월 블록으로 옮겨간다(managedMerge 의 계약).
+    //   따라서 절감으로 세면 안 된다. 처음엔 `관리분 − 최소템플릿` 으로 재서 이 몫이 절감에 섞여 있었다.
+    const pad = mk('padded');
+    const padBefore = J(pad, ['context', 'budget']);
+    fs.appendFileSync(path.join(pad, 'AGENTS.md'), '\n' + '사용자가 덧붙인 지침 줄입니다.\n'.repeat(2000));
+    const padAfter = J(pad, ['context', 'budget']);
+    const padA = padBefore && padBefore.parts.find(p => p.key === 'AGENTS.md');
+    const padB = padAfter && padAfter.parts.find(p => p.key === 'AGENTS.md');
+    dbg.userContentNotSaving = !!padA && !!padB
+      && padB.tokens - padA.tokens > 5000                                    // 덧붙임이 실제로 컸는지 먼저 확인
+      && padAfter.modeSavesAtLeast === padBefore.modeSavesAtLeast;           // 그런데 절감은 그대로여야 한다
+
+    ok = dbg.cleanZero && dbg.writerMadeBlock && dbg.roundTrip && dbg.splitNoop && dbg.counts
+      && dbg.survivesMode && dbg.archiveBothWays && dbg.remedyOrder && dbg.remedyQuantified
+      && dbg.remedyOrderModeFirst && dbg.remedyOrderCarriedFirst
+      && dbg.twoFileSum && dbg.archivePerFile && dbg.noEscape && dbg.carriedRefsNotCounted
+      && dbg.userContentNotSaving && dbg.noDeletion && dbg.enClean;
+  } catch (e) { dbg.err = String(e && e.message).slice(0, 200); } finally { try { fs.rmSync(sb, { recursive: true, force: true }); } catch {} }
+  console.log(ok ? '✓ P(1.36.112) 이월분 계량: 무이월 0 · 분해 무손실(왕복) · 경계없음 무동작 · 두 파일 합산(≠최댓값) · bytes 계약 · **등급을 낮춰도 잔존**(비중은 증가) · 백업판정 양방향+파일별+경로가둠 · 이월 안의 지목은 절감 아님 · 권고 절감액순(양방향 판별) + 수치동반 · 삭제 없음 · 영어표면 한글 0'
+    : '✗ 1.36.112 이월분 계량 실패 ' + JSON.stringify(dbg));
+  if (!ok) failed++;
+}
+
 console.log(`\nE2E result: ${total - failed}/${total} passed · ${((Date.now() - _e2eStart) / 1000).toFixed(0)}s`);
 if (failed > 0) process.exit(1);