배치 14H (home, 2026-09-10): 10건 독립 병렬 생성. 전건 신규.
- 말소등기 6: 소유권이전(PROV-080) 근저당권설정(PROV-082) 가등기(PROV-083)
대위에의한소유권이전(PROV-086) 사위판결에의한(PROV-089) 기타등기(PROV-090)
- 금전 3: 대여금(PROV-001) 공사대금(PROV-004) 구상금(PROV-007)
- 특정물 인도 1: 건물의 명도(인도)의 소(PROV-063)
- 10건 전부 게이트 v4.2 24/24 PASS, R1~R6 전 항목 4점, 1라운드, QUALIFIED. 총 1.59 MB.
오케스트레이터가 산출물 10건에 표준 구현체를 다시 돌려 rc=0·FAIL 0을 독립 확인했다.
경로별 상이 형식의 첫 실전 — 6/10 사용, 4/10은 근거를 대고 기각. 설계 의도와 맞았다.
기각한 넷이 더 중요하다. 대여금은 추정이 붙는 요건(상법 제55조 제1항)이 준소비대차에
적용되지 않아 전 경로 공통이 아님을 밝혀 §5로 내렸고, 대위에의한말소는 경로마다 갈리는 것이
추정이 아니라 보전의 필요성의 내용임을 밝혀 §5로 내렸다. 의무 셋 중 셋째가 남용을 막았다.
발동 임계에 구멍 하나 — 오른쪽 값이 「없음」인 형식이 설명 예시에 없다(워커 둘이 지적).
게이트는 값의 형식만 보고 의무 ①(경로별 내역을 증명 실무에)은 검사 밖이다.
오케스트레이터 브리프에 오류 4건이 있었고 전부 워커가 원문으로 바로잡았다.
가장 무거운 것은 실체법 오류 — 하자담보책임의 제척기간을 §6.4로 지목했으나 그 기간은
도급인의 권리에 붙으므로 §6.2.2·§6.3.2의 재항변이 정확한 자리다. 브리프를 그대로 따랐으면
§6.4에 방향이 뒤집힌 표가 들어갔을 것이다. 나머지는 변제자대위와 보험자대위의 혼동,
「말소등기의 소송물은 하나」 전제가 기타등기 leaf에서 불성립, 브리프 내부의 「가장 작다」 중복.
게이트 v4.2 오탐 0건. 사각지대 넷 실측 — S11(c)의 문언을 엉뚱한 §2.2 행에 붙여도 통과,
S10b의 절 서두 산문이 문서 전역에서 단일 면제 단위 공유, 다른 문서의 절을 §11로 적으면
이 문서의 절 참조로 읽음, 소유격 면제는 § 바로 뒤에 「의」가 붙을 때만 작동.
말소등기 6건 동시 실행에서 침범 없음. 인접 leaf PROV ID를 전건 직접 재도출해 브리프와 일치.
MEMORY.md에 배치 절 + 사건별 10절 병합(+88,437 B).
브리프·대상표·패치 후보: tmp/rf_draft/_shared/*_b14home*
함께 반영: 사무실 머신 배치 산출물 3건(말소등기 소유권보존·전세권설정·지상권설정),
자료·규칙 문서의 폴더 간 이관 상태, plans/ 문서, 그 밖 부속 파일.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
배치 13H에서 워커 넷이 서로 다른 사건종류에서 같은 벽에 부딪힌 문제를 반영했다.
§4.2 추정·전환은 요건 블록 하나에 값 하나인데, §4의 진짜 공통 요건이면서 추정의 근거가
경로마다 다른 경우가 실재한다. 손해배상(지)의 「고의 또는 과실」은 일곱 경로 전부에
성립하는데 추정은 조문상 법률상 추정·판례에 의한 추정·부존재 셋으로 갈린다.
어느 기본값을 골라도 §7 총괄표의 그 행이 일부 경로에 대하여 거짓이 되고,
§7은 벡터 DB로 변환되는 구조화 산출물이므로 거짓값이 후속 에이전트에게 그대로 전달된다.
후보 셋 중 (c) 복합 형식 신설을 택했다. (a) 명문화만 하는 안은 §12.7 공개가 문서 밖의
조치일 뿐 §7 자체는 거짓인 채로 남고, (b) 선택적 필드 신설은 10필드 계약과 L-f의
REQ_FIELDS를 바꾸어 기존 코퍼스 전건에 회귀를 낸다.
반영 3건
1. 추정·전환에 「경로별 상이 — <다수 경로의 값>」 형식 신설. 쓸 때의 의무 셋을 함께 정했다 —
경로별 내역을 증명 실무에 전부 적을 것, §12.7에 올리지 않을 것(근사가 아니라 정규형),
먼저 §5로 내릴 수 있는지 볼 것(요건 자체가 갈리면 공통 요건이 아니다).
2. 한 경로 안에서 증명책임 방향이 갈리면 요건 블록을 나눈다(상법 제826조의 준용 목록이
운송인·여객으로 부담을 뒤집는 경우). 경로별 상이로도 담기지 않는다.
3. 증거방법의 진정성립 추정은 이 필드가 아니다(민사소송법 제356조·제358조).
추정·전환: 없음 + 증명 실무가 정규 처리이고, 증거법칙적 추정은 그 요건사실 자체가
조문에 근거해 추정되나 반증으로 깨지는 경우에 쓴다.
게이트 v4.2 — L-f의 추정·전환 검사에 ^경로별 상이 — (.+)$ 형식을 추가 허용(CHU_MIXED).
허용 집합을 넓히기만 하는 개정이다. 코퍼스 108건 전수 회귀 실측 결과 v4.1과 v4.2의
FAIL 분포가 완전히 동일하고 기존 PASS → 신규 FAIL 0건이다. 새 형식의 실동작도 확인했다
(v4.1은 L-f FAIL, v4.2는 PASS). rf_gate.py를 v4.2로 교체하고 구버전은
rf_gate_v4.1_outdated.py로 보존했다. 프롬프트의 절차 1·2와 verification_loop의
버전 참조도 v4.2로 갱신했다.
원본 보존: ..._v4_r6_outdated.md (153,940 B, a93d093ca6be),
..._v.5_r6_outdated.txt (163,563 B, 017da9041958).
patch_candidates_b13home.md의 §1.3을 해결됨으로 표시하고 선택 근거를 적었다.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
배치 13H에서 워커 7명이 독립적으로 보고한 결함 1건을 고쳤다.
v.5-r5가 입력 폴더 화이트리스트를 넷으로 넓히면서 실재하지 않는 폴더를 넣었다 —
사건종류_청구취지작성규칙문서/(비 _done)는 코퍼스에 없고 _done(64건)만 있다.
결론에는 영향이 없었으나(코드로 목록을 읽으면 조용히 건너뛴다) 부재를 오류로 다루는
구현이면 중단할 수 있다.
목록을 셋으로 줄이지 않고 「부재를 건너뛴다」를 명문화하는 쪽을 택했다.
_v1 규칙 문서가 주 폴더로 되돌아올 수 있고 같은 문제가 _done 폴더에도 생길 수 있으므로,
「목록은 볼 수 있는 폴더의 상한이지 실재 보증이 아니다」를 규범으로 세워 두 경우를 한 번에 덮었다.
고친 자리 셋: <working_directory> 입력 폴더 목록, <input_data> [5], <method> Stage 0.4 (2).
게이트 구현체는 건드리지 않았다 — RF_GATE_VERSION = v4.1 그대로이고 코퍼스 회귀가 없다.
v.5-r5 원본은 ..._v.5_r5_outdated.txt로 보존했다(161,170 B, sha256 4137f72faa1c).
patch_candidates_b13home.md의 해당 항목을 해결됨으로 표시했다.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
배치 13H (home, 2026-09-09): 10건 독립 병렬 생성. 전건 신규.
- 이행(금전) 8: 손해배상(지)(PROV-028) 손해배상(저)(PROV-029) 손해배상(해)(PROV-033)
수표금(PROV-035) 신용장대금(PROV-037) 신용카드이용대금(PROV-038)
압류채권대금(PROV-039) 운임(운송대금)(PROV-044)
- 재판공격 2: 재심(PROV-133) 준재심(PROV-134)
- 10건 전부 게이트 v4.1 24/24 PASS, R1~R6 전 항목 4점, 1라운드 종결, QUALIFIED. 총 1.59 MB.
오케스트레이터가 산출물 10건에 표준 구현체를 다시 돌려 rc=0·FAIL 0을 독립 확인했다.
게이트 v4.1 첫 실전 — 오탐 0건. 신설 린트 L-f·L-g는 10건 전부 초회 FAIL 0건이었으나
워커 6명이 게이트 도달 전 자기점검에서 L-f 위반을 잡아 고쳤고, PROV-044는 조립 직전
조문 토큰 대조로 §12 미등재 12건을 발견해 법령 4건을 추가 조회했다(그것이 없었으면 L-g FAIL).
알려진 한계 둘: L-g가 가지조문 범위(제101조의2~제101조의5)를 전개하지 못하고,
구법 조문번호를 법령명 무시로 그대로 잡는다.
골격 v4-r6 신설 규칙 전건 정상 작동 — §6.6은 10건 전부 항 실재·8건 블록 보유,
dispute_type 빈 셀 규칙이 재심·준재심에서 처음 적용(둘 다 "형성의 소"),
case_family 대 action_type("재판공격")의 정규 괴리를 §1.0에 기록.
브리프의 PROV ID 오기(전부금 청구를 PROV-051로 적음, 실제 PROV-052)를 워커 둘이
원문으로 바로잡았다. v.5-r5가 넓힌 입력 폴더 화이트리스트 중
사건종류_청구취지작성규칙문서/(비 _done)는 코퍼스에 실재하지 않는다(워커 7명 보고, 결론 영향 없음).
MEMORY.md에 배치 절 + 사건별 10절 병합(+97,413 B).
브리프·대상표·패치 후보: tmp/rf_draft/_shared/*_b13home*
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
- 사무실 머신(office Eroom claude) 배치 산출물: 대물반환대물변제등 이전등기(재생성),
설계비시설대여금청구, 손해배상(국)청구 + 그 배치의 preflight/targets/patch_candidates/backup
- 사건종류_요건사실론문서자료 ↔ _done 폴더 간 자료 파일 이관 상태 반영
- Prompt_요건사실론_1차드래프트_병렬작성_프롬프트.txt 배치 진행 표기, case_kind_registry.json,
루트 patch_candidates_b12home.md 사본, 보관용 프롬프트, 잔여 작업 목록, 오프셋 probe 등 부속 파일
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
여러 머신에서 Dropbox로 동기화되며 누적된 작업을 한 번에 반영한다.
## 산출물
- 사건종류_요건사실론문서/ 90건. 게이트 v4.0 기준 64건 PASS(71.1%).
남은 26건은 골격 v2·v3 세대 산출물로 골격 11.5가 개정 불요로 정한 것들이다.
- 사건종류_요건사실론문서자료/ 96건, 청구취지작성규칙 문서 110건.
## 사양 문서
- 요건사실론_문서_공통골격_v4.md — v4-r5.
§4.2·§6 항변 템플릿의 `주장책임 / 증명책임`에 「슬래시 하나로 나눈 두 값」 규칙 신설.
이 필드에 문장을 쓰면 §7 총괄표의 두 열에 같은 값이 복제되는데 게이트가 잡지 못한다.
- 요건사실론_1차드래프트_생성_프롬프트_opus_v.5.txt — v.5-r4.
같은 규칙 반영, `<efficiency_rules>` 4 (a)의 예산 60/80 자기모순 제거,
법령 검색 응답의 <법령명한글>도 CDATA임을 `<external_lookup_conventions>` 0에 추가.
- 보존본 10건의 파일명을 `_r<n>_outdated` 기본형으로 정리했다.
정리 전에는 `_orig`·`_old`·`_9_4_outdated`·`_r`·`_r2`가 섞여 있었고
`..._v4_r.md`가 v4-r2를, `..._v4_r2.md`가 v4-r4를 담아 숫자가 실제와 어긋났다.
이동 전후 해시를 대조해 내용 변형이 없음을 확인했다.
## 검증 자산
- tmp/rf_draft/_shared/ — 게이트 표준 구현체(rf_gate.py, RF_GATE_VERSION v4.0),
배치별 preflight, 패치 후보, targets. tmp/rf_draft/leaf_id.py.
- MEMORY.md — 사건종류별 누적 교훈.
## .gitignore
- *.pdf 제외. 교재·자료 스캔 합계 1.7GB이고 여러 파일이 100MB를 넘어 호스트가 거부한다.
- tmp/ 스크래치 제외(_shared·leaf_id.py는 유지). law.go.kr XML 캐시 3,449개와
페이지 추출 이미지·텍스트가 대부분이며 전부 재생성 가능하다.
- 그 결과 이 커밋은 497개 파일 32MB이고 2MB를 넘는 파일이 없다.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>