[feynlang]

10월 25일 미팅을 위해 손지연의 검증·수리 자료를 정리합니다. Week 3의 설계·초기 검증 요약과 Week 4의 controller 구현·Warm-up P1–P15 비교 실험을 구분하고, 현재 자료 위치에 맞춰 관련 README와 공유 목차를 갱신했습니다.

자료 구성

• docs/research/verification-repair/손지연/README.md: Week 3·4 자료 범위와 대표 보고서 안내
• design-and-pilot(week3)/: 기존 REPL 예제, P7·P12 통제 실험과 P7 모델 후보 검증 보고서·요약 근거
• experiment(week4)/: 연구 질문부터 구현·실험·결과·한계·재현 방법까지 통합한 HTML·Markdown 보고서와 metrics.json
• experiment(week4)/evidence/: controller 소스·시험, 15문제 실험 harness·후보·측정·원시 로그, 보존 기록과 재생 도구
• 문서·연구 상위 목차, Refactoring·Warm-up·Verifier-guided Agent 안내와 Week 3 모임의 손지연 자료 링크 수정
• 괄호가 포함된 디렉터리명에 맞춰 Markdown 링크와 재현 명령의 기준 경로 수정

원시 실험 근거를 포함해 약 6만 개 파일, 원본 파일 크기 합계 약 5.26GB의 자료를 추가합니다. 검토는 발표자 README와 experiment(week4)/README.md, report.html·report.md부터 시작할 수 있습니다. 병합 전 공유 문서는 evidence/packaging/source-documents/에 출처 확인용으로 보관했습니다.

구현의 과거 73개 시험, 실제 구독 모델 호출 795회, 기록 재생과 fresh Lean 재검증을 구분합니다. P-A의 정상 proof 리팩터링에는 생성 후보 선택 96건과 원본 fallback 84건이 포함되며, V-B의 손상 proof 복구는 123/180입니다. API USD 비용·공식 Arena 점수는 미측정이고, usage 미수신 1회와 soft token 상한 초과 2건 등 관측 한계를 보고서에 유지했습니다. 이번 정리에서는 새 모델 호출이나 Lean 통합실험을 수행하지 않았습니다.

검증

• 관련 README 13개, 상대 링크 157개 검사 통과
• 대표 보고서·안내 17개 문서의 로컬 링크 305개가 실제 커밋에 포함된 파일·디렉터리를 가리키는지 확인
• Week 3 HTML·측정 JSON 7개 파일과 실험 CSV 16개 파일의 원본 바이트 보존 확인
• 현재 Week 4 자료 위치에서 CLI 도움말 및 모의 adapter·순수 로직 단위 테스트 51개 통과
• 모델·Lean·네트워크 호출 없이 360/360 이력 재생 일치
• 수정 README의 git diff --cached --check 통과
• 브라우저가 연결되어 있지 않아 HTML의 실제 브라우저 탐색은 미확인