VISCOUS SHOCK STABILITY / REAL-DATA VALIDATION

문헌·노트·TeX로 확인한
전체 검증 범위와 결과

개정판 v2: 기존 문헌 검증에 기능별 스크립트 6개와 실제 연구 노트·TeX 복사본의 저장·재개·용어 검사 14개 시나리오를 추가했습니다.

판정: 검증 범위 확대 완료. 추가 스크립트 6/6, 실제 노트·TeX 시나리오 14/14 통과. MaZ4·Z2 및 권한 관련 미검증 범위는 남아 있습니다.

2026-10-30 21:28 KST · Windows / Python 3.14.2 · Workbench 0.1.0.dev5 · 원본 코드 수정 없음

EXAMPLE SOURCES

검증에 사용한 예시 자료 · 출처

실제 자료: viscous-shock-stability / Resources의 논문 PDF·BibTeX 등 16개 파일과 Zumbrun 2011 노트·강의 TeX, Zumbrun–Howard 1998 노트·TeX 등 7개 파일의 복사본을 사용했습니다. 예: Z1, MaZ2·MaZ4, ZH 논문 및 기존 읽기 노트.

시험용 자료: research-workbench 검증 스크립트가 생성한 합성 프로젝트와 이번 검사에서 임시로 넣은 오탈자·규칙을 사용했습니다. 추가 재검증에서는 이전에 수집한 Crossref 응답을 재사용했습니다.

자료 기준 커밋: 5c7ce77 · 검증 도구: ab0145e. 원본은 보존했으며, 시험용 오탈자는 원본 오류가 아닙니다. 위 링크는 검증 당시의 고정 버전입니다.

REVISION 2 / COMPLETE SCOPE MAP

전체 검증 범위와 이번에 추가한 결과

기능별 스크립트 6개 모두 통과했고, 실제 노트·TeX 기반 추가 시나리오 14개도 모두 통과했습니다. 기존 문헌 검증의 MaZ4 등록 보류와 Windows 단위 테스트의 권한 관련 검증 공백은 그대로 남아 있습니다.

6 / 6기능별 검증 스크립트이번에 실제 실행

6 / 6실제 노트 저장·재개설치된 실행기 사용

7 / 7실제 TeX·메모 검사임시 오탈자 규칙 2개

23 / 23원본 보존 사본최종 보존 시험 1건 추가

검증 범위	실행 상태	관찰 결과	해석·남은 범위
자동 테스트 185개	1차 실행 완료	178통과·5오류·2건너뜀	이번 개정에서 전체를 재실행하지 않음. 인코딩 오류 2개는 앞선 개별 재검증 통과
기능별 검증 스크립트 6개	이번 추가 실행	6/6 정상 종료·passed	일반 Windows 권한, UTF-8 모드, 독립 임시 폴더
실제 참고 문헌 시나리오 15개	1차 실행 완료	14통과·MaZ4 등록 보류 1	문헌 검증 결과 유지. MaZ4 로직 수정 없음
실제 노트 기록·재개	이번 추가 실행	6/6 통과	설치된 실행기의 별도 Python 프로세스. 새 Codex 대화 시험 아님
실제 TeX·메모 용어 검사	이번 추가 실행	7/7 통과	시험용 오탈자 규칙 2개. 프로젝트 전체 용어 정책·수학 검증 아님
추가 원본 보존 시나리오	이번 추가 실행	1/1 통과	Resources 16개 + 노트·TeX·PDF 7개 = 23개 원본 해시 일치
새 대화의 자동 스킬 선택	미실행	미검증	설치된 스킬의 파일 존재·CLI 실행과 별도
학교 인증·새 PDF 다운로드	이번 범위 외	미검증	public 검증 스크립트의 성공으로 대체하지 않음
TeX 컴파일·수학적 정확성	이번 범위 외	미검증	원고의 기존 PDF 3개는 보존만 수행; 새 TeX 산출물 없음

서로 다른 시험 집합의 통과 수를 합산해 하나의 통과율로 표시하지 않았습니다. 스크립트 6개 통과가 기존 185개 테스트의 미통과 항목이나 실제 문헌의 MaZ4 문제를 해결한 것은 아닙니다.

개정 2026-10-30 21:41 KST. 추가 시험은 같은 원본 커밋으로 수행했습니다. 1차 보고서 보존본도 남겼습니다.

16 / 16원본 보존 사본 해시 일치PDF 12 + 관리 파일 4

14 / 15실제 자료 시나리오 통과등록 보류 1건 포함해 결과 공개

7 / 8외부 서지·PDF 자동 식별기존 7편 + 신규 시험 1편

8 → 9시험용 BibTeX 항목 수원본 8항목의 바이트 그대로 보존

01 / OUTCOME

1차 문헌 검증의 결론과 성과

사용자님의 실제 자료로 복사본 기반 검증이 가능했습니다. 기존 인용키를 유지하는 재등록 5건, 신규 문헌 1건의 등록·중복 방지, 잘못된 PDF 차단, 미리보기·저장 금지, 중단 후 복구와 동시 수정 보호를 확인했습니다.

확인한 성과

GitHub 원본과 동일한 16개 파일을 확보하고 검증 종료 후에도 보존했습니다.
기존 manifest의 PDF 7개는 SHA-256과 페이지 수가 모두 일치했습니다.
실제 문헌의 등록·반복 등록·복구를 검증하고 실행 증거를 남겼습니다.
MaZ4 등록 차단과 Z2 조회 한계를 실제 사용 전에 드러냈습니다.

현재 적용 판단

식별이 확인된 자료를 검토하면서 개별 등록하는 방식은 사용할 수 있습니다. 그러나 전체 Resources의 무인 일괄 등록이 준비되었다고 보기는 어렵습니다.

자동 식별 통과는 첫 페이지 기반 동일 논문 확인입니다. 논문의 정리·증명·수학적 타당성이나 모든 페이지의 내용까지 검증한 결과가 아닙니다.

GitHub에 commit·push하지 않았습니다. source 보존 사본 16개는 모두 그대로이며, 시험 프로젝트에서는 BibTeX 끝에 신규 1항목과 문헌 연결 registry만 추가되었습니다. 실행 코드 99개도 Git 원본 바이트와 일치합니다.

원본 해시 일치

16/16

PDF 페이지 렌더링

12/12

첫 페이지 텍스트 검사

11/12

외부 서지·PDF 자동 식별

7/8

실제 자료 시나리오 통과

14/15

각 막대의 분모가 다릅니다. Goodman 문헌 G는 기존 목록에 있지만 PDF가 없어 자동 식별 시도 8건에 포함하지 않았습니다.

02 / METHOD

원본과 시험 데이터를 분리했습니다

READ ONLY① GitHub 원본연동 도구로 목록·커밋 확인
원격 쓰기 없음

BYTE VERIFIED② source 사본Git 객체 바이트 저장
크기·blob SHA-1 대조

ISOLATED WRITES③ sandbox 시험실제 문헌 복사본 등록
의도적 중단·충돌 시험

EVIDENCE④ 결과 대조SHA-256 전후 비교
표·로그·이미지 보고

GitHub 연동 도구의 큰 PDF 반환 제한 때문에 대용량 바이너리는 기존 Git 인증으로 받은 동일 커밋에서 추출했습니다. 브라우저 로그인은 사용하지 않았습니다. collect_references.py는 실행하지 않았으며, 원본 수집 경로나 자료를 재구성하지 않았습니다.

항목	방법	판정 범위
원본 무결성	GitHub blob SHA-1·파일 크기 → 로컬 SHA-256 기록	16개 파일 전체
PDF 상태	pdfinfo + pdftotext 첫 페이지 + 실제 첫 페이지 렌더링	전체 PDF 12개, 1,459쪽 중 첫 페이지 시각 확인
서지 식별	실제 Crossref 응답과 PDF 첫 페이지 대조	기존 7편과 신규 시험 1편
데이터 보존	복사본에서 쓰기 시험 후 원본 및 기존 데이터 비교	바이트 보존·인용키·중복·복구
프로그램 테스트	동일 원본 코드의 unittest 185개	합성 시험과 실제 자료 시험을 별도 집계

03 / COLLECTION

PDF 12개, BibTeX 8항목

이 BibTeX는 Resources 전체의 목록이 아니라, 기존 README가 설명하는 주 논문 Section 1의 인용문헌 8항목입니다. PDF 7개가 이 목록에 연결되고 G 1항목은 원문이 없습니다. 나머지 PDF 5개가 이 목록에 없다는 사실만으로 누락 오류라고 판단하지 않았습니다.

자료 / 원본 링크	쪽수	MiB	기존 manifest 키	첫 페이지 텍스트	바이트
Balance Laws (2007)B_BressanSerreWilliamsZumbrun_2007_HyperbolicSystems_BalanceLaws.pdf	365	3.74	해당 8항목 밖	추출 가능	원본 일치
Shock Waves (2001)B_FreistuhlerSzepessy_2001_Advances_ShockWave_Theory.pdf	527	36.66	해당 8항목 밖	첫 페이지 텍스트 없음	원본 일치
GMWZ · 다차원 충격파P_GuesMetivierWilliamsZumbrun_2005_MultiDShock_VanishingViscosity_ExistenceStability.pdf	94	0.61	GMWZ	추출 가능	원본 일치
MaZ3 · Green 함수P_MasciaZumbrun_2003_RealViscosity_ShockProfile_PointwiseGreenBounds.pdf	87	0.59	MaZ3	추출 가능	원본 일치
MaZ4 · 큰 진폭P_MasciaZumbrun_2004_HyperbolicParabolic_LargeAmplitudeShock_Stability.pdf	39	0.28	MaZ4	추출 가능	원본 일치
MaZ2 · 작은 진폭P_MasciaZumbrun_2004_HyperbolicParabolic_SmallAmplitudeShock_Stability.pdf	36	0.26	MaZ2	추출 가능	원본 일치
ZH · 점별 반군P_ZumbrunHoward_1998_PointwiseSemigroup_ViscousShock_Stability.pdf	131	0.90	ZH	추출 가능	원본 일치
Zumbrun (1995)P_Zumbrun_1995_ScalarConservationLaw_DiffusionWaveFormation.pdf	10	0.81	해당 8항목 밖	추출 가능	원본 일치
Z1 · wave trackingP_Zumbrun_2000_RefinedWaveTracking_LaxShock_Stability.pdf	22	0.56	Z1	추출 가능	원본 일치
Z2 · 평면 충격파P_Zumbrun_2007_PlanarStabilityCriteria_RealViscosity.pdf	98	13.15	Z2	추출 가능	원본 일치
Zumbrun (2009)P_Zumbrun_2009_UnstableViscousShock_ConditionalStability.pdf	24	0.32	해당 8항목 밖	추출 가능	원본 일치
Zumbrun (2010) · 신규 등록P_Zumbrun_2010_UnstableViscousShock_ConditionalStability_GasDynamicsMHD.pdf	26	0.30	해당 8항목 밖	추출 가능	원본 일치

527쪽 Advances in the Theory of Shock Waves는 첫 페이지가 이미지 표지입니다. 화면에는 제목이 보이지만 텍스트 추출은 비어 있습니다. PDF 손상으로 단정하지 않았고, 자동 식별과 별개로 바이트 보존 동작이 성공하는지 확인했습니다.

모든 PDF의 첫 페이지를 렌더링했습니다. 전체 페이지에 대한 렌더링·OCR·수학적 내용 검토는 수행하지 않았습니다.

04 / IDENTITY

서지정보와 PDF는 별도로 확인했습니다

키	기존 제목	판정	확인한 DOI	해석
Z1	Refined Wave-Tracking and Nonlinear Stability of Viscous Lax Shocks	자동 식별 통과	10.4310/maa.2000.v7.n4.a8	제목·저자·연도/식별자 일치
MaZ2	Stability of Small-Amplitude Shock Profiles of Symmetric Hyperbolic-Parabolic Systems	자동 식별 통과	10.1002/cpa.20023	제목·저자·연도/식별자 일치
MaZ3	Pointwise Green Function Bounds for Shock Profiles of Systems with Real Viscosity	자동 식별 통과	10.1007/s00205-003-0258-5	제목·저자·연도/식별자 일치
MaZ4	Stability of Large-Amplitude Viscous Shock Profiles of Hyperbolic-Parabolic Systems	자동 식별 통과	10.1007/s00205-003-0293-2	제목·저자·연도/식별자 일치; 통합 폴더 등록은 별도 후보 충돌로 보류
G	Remarks on the Stability of Viscous Shock Waves	PDF 없음	—	기존 manifest에 원문 미확보로 명시
GMWZ	Existence and Stability of Multidimensional Shock Fronts in the Vanishing Viscosity Limit	자동 식별 통과	10.1007/s00205-004-0342-5	제목·저자·연도/식별자 일치
ZH	Pointwise Semigroup Methods and Stability of Viscous Shock Waves	자동 식별 통과	10.1512/iumj.1998.47.1604	제목·저자·연도/식별자 일치; 페이지 범위 메타데이터 차이는 별도 검토
Z2	Planar Stability Criteria for Viscous Shock Waves of Systems with Real Viscosity	서지 식별 보류	—	Crossref 후보 중 일치 항목을 선택하지 못함

추가 시험으로 선택한 2010년 논문은 PDF 첫 페이지와 Crossref DOI 10.1007/s00205-010-0359-x가 일치했고, 시험용 BibTeX에 새 항목으로 등록했습니다. 원본 BibTeX는 수정하지 않았습니다.

메타데이터 차이: ZH의 기존 BibTeX 페이지는 741–871이고 Crossref 응답은 741–872입니다. 동일 논문 식별은 통과했지만 페이지 범위 정정 여부는 별도 확인 사항으로 남겼습니다. 원본의 페이지 값을 자동 교체하지 않았습니다.

외부 조회 중 2건에 HTTP 429가 발생했습니다. 해당 2건만 간격을 두고 재조회하여 성공했습니다. Z2는 일치 후보를 얻지 못했으므로 다른 논문의 DOI나 임의의 출처로 대체하지 않았습니다.

05 / REAL-DATA TESTS

검증 내용과 실행 결과

15개 시나리오 중 14개 통과, MaZ4 등록 1개 보류. 보류는 데이터 유실이 아니라, 동일 폴더의 별개 PDF를 의심 대상으로 판단하여 쓰기를 막은 결과입니다.

검증 항목	실행 내용	결과	관찰한 사실
기존 manifest 대조	연결된 7개 PDF의 SHA-256과 페이지 수를 과거 기록과 비교	통과	7개 모두 일치
기존 인용키 조회	BibTeX 8항목을 Workbench로 조회	통과	8개 키 모두 원래 키로 조회
미리보기·저장 금지	등록 계획 후 preview-only / no-save 실행	통과	시험 폴더에 파일 변경 없음
Z1 기존 문헌 재등록	실제 PDF·기존 키 연결 후 같은 자료를 다시 등록	통과	기존 키·BibTeX 유지, 두 번째 등록 noop
MaZ2 기존 문헌 재등록	실제 PDF·기존 키 연결 후 같은 자료를 다시 등록	통과	기존 키·BibTeX 유지, 두 번째 등록 noop
MaZ3 기존 문헌 재등록	실제 PDF·기존 키 연결 후 같은 자료를 다시 등록	통과	기존 키·BibTeX 유지, 두 번째 등록 noop
MaZ4 기존 문헌 재등록	실제 PDF·기존 키 연결 후 같은 자료를 다시 등록	등록 보류	등록 보류: 다른 논문 MaZ2를 관련 후보로 판단
GMWZ 기존 문헌 재등록	실제 PDF·기존 키 연결 후 같은 자료를 다시 등록	통과	기존 키·BibTeX 유지, 두 번째 등록 noop
ZH 기존 문헌 재등록	실제 PDF·기존 키 연결 후 같은 자료를 다시 등록	통과	기존 키·BibTeX 유지, 두 번째 등록 noop
신규 문헌 등록·반복	2010 논문을 기존 목록의 사본에 등록 후 재등록	통과	8 → 9항목, 기존 바이트 보존, 재등록 noop
다른 논문 혼입 방지	MaZ2 PDF에 MaZ4 메타데이터를 의도적으로 연결	통과	등록 차단, 파일 변경 없음
텍스트 없는 표지 PDF 보존	527쪽 서적의 보존 전용 동작 실행	통과	원본과 동일 바이트 보존; 식별 성공으로 표시하지 않음
중단 후 복구	신규 PDF 복사 후 인위적 쓰기 오류를 주입하고 recover 실행	통과	미완료 단계 재개, 중복 없이 9항목 완성
동시 수정 보호	계획 후 시험 BibTeX에 주석을 추가하고 기존 계획 적용	통과	오래된 계획 차단, 추가 주석 보존
최종 원본 보존	source 16개와 시험 자료의 전후 해시 및 BibTeX 접두 바이트 비교	통과	source 16/16 보존; 시험 BibTeX에만 신규 항목 추가

복구 시험에서 확인한 순서

PDF 사본 저장실제 2010 논문 사용

의도적 중단첫 쓰기 뒤 오류 주입

pending 확인완료·대기 단계 분리

recover 완료중복 없이 9항목 완성

1차 문헌 시나리오는 제품 내부 Python API를 호출했습니다. 이번 개정의 실제 노트·TeX 시나리오는 시험 폴더에 설치된 스킬 실행기를 별도 Python 프로세스로 호출했습니다. CLI 검증과 새 Codex 대화의 자연어 선택은 구분합니다. 보고서용 마지막 보존 검사에서 Windows 경로 구분자 비교 오류가 있어 검사 스크립트만 정규화해 다시 확인했으며, 최초 결과도 증거 파일에 남겼습니다.

06 / WINDOWS

실행 환경과 프로그램 검증

구성	사용 환경
OS	Windows-11-10.0.26300-SP0
Python	3.14.2 (tags/v3.14.2:df79316, Dec 5 2025, 17:18:21) [MSC v.1944 64 bit (AMD64)]
PDF 도구	pdfinfo 26.07.0 / pdftotext 25.02.0 / pdftoppm
검증 대상	Research Workbench 0.1.0.dev5 · 원본 코드 변경 없음
기존 저장소의 기록	macOS·Python 3.12.1에서 185개 통과 기록; 이번 Windows 결과와 구분

제한 환경의 최초 실행

통과 62실패 9오류 112건너뜀 2

89.47초. 파일 생성의 os.link가 WinError 5로 차단되어 후속 검증에 연쇄 영향이 발생했습니다.

일반 Windows 권한 재검증

통과 178실패 0오류 5건너뜀 2

147.87초. 같은 저장소 코드·같은 시험 폴더 범위로 실행했습니다. 실제 연구 폴더나 개인 스킬에는 설치하지 않았습니다.

원인별 재검증: 일반 Windows 권한 실행은 185개 중 178개 통과, 오류 5개, 건너뜀 2개였습니다. 오류 중 CP949 디코딩 2개는 python -X utf8로 해당 항목만 다시 실행하여 2/2 통과했습니다. 나머지 오류 3개는 시험용 심볼릭 링크 생성 권한 부족(WinError 1314)입니다. 전체 185개를 UTF-8 모드로 다시 실행한 결과는 아니며, 시스템 개발자 모드나 전역 인코딩 설정은 변경하지 않았습니다.

최초 일반 Windows 실행의 오류 5개와 후속 재검증

테스트	구분	마지막 오류
test_symlink_pdf_destination_is_rejected (test_bibliography.BibliographyTests.test_symlink_pdf_destination_is_rejected)	errors	`OSError: [WinError 1314] 클라이언트가 필요한 권한을 가지고 있지 않습니다: '[validation-root]\\research-workbench\\work\\bibliography-test-ny6yfben\\outside' -> '[validation-root]\\research-workbench\\work\\bibliography-test-ny6yfben\\연구 project\\link'`
test_receipt_cannot_redirect_owned_deletion_to_research_file (test_installation.InstallationTests.test_receipt_cannot_redirect_owned_deletion_to_research_file)	errors	`UnicodeDecodeError: 'cp949' codec can't decode byte 0xec in position 13779: illegal multibyte sequence`
test_baseline_hash_tampering_and_wrong_project_are_rejected (test_terminology.TerminologyTests.test_baseline_hash_tampering_and_wrong_project_are_rejected)	errors	`UnicodeDecodeError: 'cp949' codec can't decode byte 0xec in position 1639: illegal multibyte sequence`
test_paths_symlinks_nested_git_and_exclusions_are_rejected (test_terminology.TerminologyTests.test_paths_symlinks_nested_git_and_exclusions_are_rejected)	errors	`OSError: [WinError 1314] 클라이언트가 필요한 권한을 가지고 있지 않습니다: '[validation-root]\\research-workbench\\work\\terminology-test-af_nsbf7\\연구 project\\notes.md' -> '[validation-root]\\research-workbench\\work\\terminology-test-af_nsbf7\\연구 project\\link.md'`
test_symlink_target_rejected (test_upgrades.UpgradeTests.test_symlink_target_rejected)	errors	`OSError: [WinError 1314] 클라이언트가 필요한 권한을 가지고 있지 않습니다: '[validation-root]\\research-workbench\\work\\upgrade-test-u7giridh\\project\\notes.md' -> '[validation-root]\\research-workbench\\work\\upgrade-test-u7giridh\\runtime\\releases\\0.1.0.fixture2-136690d28caf\\bootstrap.py'`

건너뛴 항목

test_existing_agents_permissions_are_preserved (test_installation.InstallationTests.test_existing_agents_permissions_are_preserved) — POSIX mode semantics
test_symlink_escape_is_rejected_without_touching_outside (test_installation.InstallationTests.test_symlink_escape_is_rejected_without_touching_outside) — Symlink privilege is not guaranteed on Windows

건너뜀이나 환경 오류를 성공에 포함하지 않았습니다. 전체 자동 테스트와 실제 PDF 시나리오는 다른 집합이므로 통과 수를 합산하지 않습니다.

07 / FINDINGS

먼저 해결할 문제와 권장 작업

1. MaZ4의 등록 차단: 동일 저자·연도만으로 관련 PDF 후보를 넓게 잡음

MaZ4 자체는 외부 서지·첫 페이지 식별을 통과했습니다. 그러나 등록 계획을 만들 때 Mascia + 2004가 파일명에 들어 있는 별개 MaZ2도 관련 후보로 분류했고, 이를 MaZ4로 식별하지 못해 계획 전체가 차단되었습니다.

등록하려던 MaZ4: Large-Amplitude · 39쪽

관련 후보로 분류된 별개 MaZ2: Small-Amplitude · 36쪽

관련 후보 판단 코드는 첫 저자의 성과 연도가 파일명에 있는 경우도 포함합니다. 권장 개선: 별개 논문임을 확인할 수 있는 제목·DOI·이미 등록된 관계를 함께 사용하고, 이 실제 자료 조합을 회귀 테스트에 추가합니다. 이번 검증에서 코드를 고치거나 PDF 이름을 바꾸어 문제를 숨기지는 않았습니다.

2. Z2의 외부 서지 식별 보류

장 PDF 98쪽의 원본 해시와 페이지 수는 일치했습니다. 그러나 현재 Crossref 조회 경로가 일치 후보를 반환하지 못했습니다. 출판사 장 페이지 또는 DOI를 확인해 연결 근거를 보완해야 합니다. 파일 보존 성공과 서지 식별 성공을 구분합니다.

3. 사용 전에 정할 사항

우선순위	해야 할 작업	완료 기준
높음	MaZ4 / MaZ2 후보 충돌 개선	두 논문이 같은 폴더에 있어도 각각 키를 유지하며 등록·반복 등록 가능
높음	일반 Windows 시험의 잔여 실패·오류 원인 정리	UTF-8 모드에서 해결된 2건을 반영하고, 심볼릭 링크 권한이 있는 시험 환경에서 미실행 경로 확인
보통	Z2의 출판사 근거와 ZH 페이지 범위 확인	확인한 출처에 근거해 변경 필요 여부 판단
보통	실제 사용할 BibTeX·PDF 범위 선택	Section 1 목록을 유지할지 전체 목록으로 확장할지 결정
선택	이미지 표지 PDF와 G 원문 확보·식별	OCR·내지 검토 또는 원문 확보 후 별도 확인

학교 로그인·브라우저 다운로드, 새 대화의 자동 스킬 선택, 전역 설치·제거는 이번 실제 자료 검증 범위에 포함하지 않았습니다.

08 / VISUAL EVIDENCE

실제 PDF 첫 페이지 12개

생성 이미지가 아니라 확보한 PDF를 렌더링한 화면입니다. 이미지를 누르면 확대됩니다. 보고서는 로컬 파일이며 외부에 게시하지 않았습니다.