<jZ9jdZddlZddlZddlZddlZddlZddlmZddlZee jjdZ e dz dz Z dZdefd Zdefd Zd edefd Zd edefd ZGddZdedeeeffdZej0dZej0dZej0dZej0dZdZdZdZdZ dZ!ejDjGe ddZ$ejDjGe ddZ%y)uQ test_guard7_local_operational_patch.py task: task-2571 TODO-7 T-5 검증 목표: - spec §7 guard #7 3-state 정합화 검증 - LOCAL_OPERATIONAL_PATCH doctrine 기반 3-state 분기: A. HEAD == origin/main → PASS B. ahead-only (local ahead) → PASS + WARN C. behind (local behind) → FAIL D. diverged (양쪽 다 ahead) → FAIL - start_task_guard.py 수정 완료 전에는 spec 기반 reference implementation 으로 검증 - 백엔드 수정 완료 후 실제 호출 검증은 통합 단계에서 수행 작성자: 하누만 (개발4팀 QA) N)Pathscriptszstart_task_guard.pyFreturncjtjj}d|d<d|d<d|d<d|d<|S)u"git 명령 실행용 환경변수.testGIT_AUTHOR_NAMEtest@example.comGIT_AUTHOR_EMAILGIT_COMMITTER_NAMEGIT_COMMITTER_EMAIL)osenvironcopy)envs 7tests/regression/test_guard7_local_operational_patch.py_git_envr*sC **// C#C0C &C!3C Jc|tjd}t}tjgd|d||S)u%origin 역할의 bare repo 초기화.zguard7-origin-prefix)gitinitz--bare-bmain-qTcwdcheckrtempfilemkdtempr subprocessrun)drs r_init_bare_originr&4s3 01A *CNN@atY\] Hr origin_pathctjd}t}tjdd||dgd|tjgd|d| tjgd |d| |S) u5origin 을 remote 로 clone 한 local repo 초기화.z guard7-local-rrclonerTrrrconfigz user.emailr rrr,z user.namerr )r'r%rs r_init_local_repor.<sb0A *CNNE7KD93ONNFAUY_bcNN9qRUV Hrctjd}t} tjgd|d|tjgd|d|tjgd|d|t |dz j d tjgd |d|tjgd |d|tjd d dd|g|d|tjgd|d|tjgd|ddd|}|jjtj|dS#tj|dwxYw)u origin bare repo 에 초기 커밋 push. 임시 work repo 를 만들어 커밋 후 origin 으로 push. 반환값: 초기 커밋 SHA. z guard7-work-r)rrrrrTrr+r-a.txtinitial)raddr0)rcommitr-mrrremoter2origin)rpushz-ur6rrr rev-parseHEAD)rcapture_outputtextrr ignore_errors) r!r"rr#r$r write_textstdoutstripshutilrmtree)r'work_dirrrs r!_setup_origin_with_initial_commitrFFs ~6H *C 4:PTZ]^JPX`djmn=8SW]`a h' !--i8.HDcR<(RV\_`x+FH\`fijD(Z^dgh NN7XVZaemqwz {xx~~ hd3 hd3s DE E&ceZdZdZdZdZy) Guard7ResultPASSz PASS+WARNFAILN)__name__ __module__ __qualname__rI PASS_WARNrJrrrHrHas DI DrrH local_repoct}tjgd||dtjgd|dd|}tjgd|dd|}|jdk7s|jdk7rtj dfS|j j}|j j}||k(rtjd |d d d fStjgd ||d}|jdk(rtj dfStjgd||d}|jdk(rtjd|d d d|d d d fStj d|d d d|d d fS)u spec §7.3 3-state 기반 guard #7 reference implementation. Returns: (result, detail_msg) result: Guard7Result.PASS / PASS_WARN / FAIL )rfetchr6rT)rrr;r8)rr;r<r)rr9 origin/mainru)HEAD 또는 origin/main SHA 조회 실패zHEAD == origin/main (N))r merge-base --is-ancestorr:rSu9local main 이 origin/main 보다 behind — fetch 권장)rrVrWrSr:uGLOCAL_OPERATIONAL_PATCH: local main 이 origin/main 보다 ahead-only (z > zdiverged: HEAD=z, origin/main=) rr#r$ returncoderHrJr@rArIrN)rPrhead_rorigin_rhead_sha origin_shabehind_rahead_rs r guard7_checkr_gs *CNN3]ab ^^8jY]dhnq rF~~Azbfmqwz{H A!4!4!9  "MMM}}""$H&&(J:  $9(2A,q"III~~E CHa  $]^^nnE CGQ%%! ~SBQ 0 3    ! ~^JWYXYNK[\ \\rc#Kt}t|t|}||ftj|dtj|dyw)u$시나리오 A: HEAD == origin/main.Tr=N)r&rFr.rBrC)r6locals rscenario_a_reposrbsH F%f- V $E %- MM&- MM%t,sAAc#nKt}t|t|}t}t |dz j dt jgd|d|t jgd|d|||ftj|dtj|dyw) u<시나리오 B: local main 에 1 커밋 추가 (ahead-only).local_only.txtzlocal operational patch)rr2rdTr)rr3rr4zlocal operational patch commitr=N) r&rFr.rrr?r#r$rBrC)r6rars rscenario_b_reposres F%f- V $E *C %[##//0IJNN3dPSTNNRX]eiors %- MM&- MM%t,sB3B5c#Kt}t|t|}tjd}t } t jdd||dgd|t jgd|d| t jgd |d| t|d z jd t jgd |d| t jgd|d| t jgd|d| tj|d||ftj|dtj|dy#tj|dwxYww)u?시나리오 C: origin main 에 1 커밋 추가 (local behind).zguard7-scenarioc-work-rrr)rTr*r+rr-origin_new.txtzorigin new commit)rr2rg)rr3rr4zorigin ahead commitrr7r6rrr=N) r&rFr.r!r"rr#r$rr?rBrC)r6rarDrs rscenario_c_reposris% F%f- V $E'?@H *C 4w$?tQTUJPX`djmn=8SW]`a h* *667JK7XTWZ[KQYaekno>HTX^ab hd3 %- MM&- MM%t,  hd3s AE-CEA E-E**E-c#Kt}t|t|}t}t |dz j dt jgd|d|t jgd|d|tjd} t jd d ||d gd| t jgd |d|t jgd|d|t |dz j dt jgd|d|t jgd|d|t jgd|d|tj|d||ftj|dtj|dy#tj|dwxYww)u;시나리오 D: 양쪽 다 다른 커밋 추가 (diverged).local_diverge.txtz local diverge)rr2rkTr)rr3rr4zlocal diverge commitzguard7-scenariod-work-rrr)rr*r+r-origin_diverge.txtzorigin diverge)rr2rl)rr3rr4zorigin diverge commitrhr=N) r&rFr.rrr?r#r$r!r"rBrC)r6rarrDs rscenario_d_reposrmsi F%f- V $E *C %[&&22?CNN6ESVWNNHe[_ehi'?@H 4w$?tQTUJPX`djmn=8SW]`a h. .::;KL;QU[^_MS[cgmpq>HTX^ab hd3 %- MM&- MM%t,  hd3s BGCF$A G$F==Gcj|\}}t|\}}|tjk(s Jd|d|y)u] 시나리오 A: HEAD == origin/main → PASS 기대. spec §7.3 첫 번째 행. u%시나리오 A: PASS 기대, 실제: 상세: N)r_rHrI)rb_raresultdetails rtest_guard7_scenario_a_passrsF HAu!%(NFF \&& & /xz&J &rcj|\}}t|\}}|tjk(s Jd|d|y)u 시나리오 B: local 이 origin/main 보다 ahead-only → PASS+WARN 기대. spec §7.3 세 번째 행 (LOCAL_OPERATIONAL_PATCH 허용). u*시나리오 B: PASS+WARN 기대, 실제: roN)r_rHrNrerprarqrrs r test_guard7_scenario_b_pass_warnrwsF HAu!%(NFF \++ + 4VHJvhO +rc|\}}t|\}}|tjk(sJd|jvsd|vs Jd|yy)up 시나리오 B: WARN 메시지에 'ahead' 또는 'LOCAL_OPERATIONAL_PATCH' 가 포함되어야 한다. aheadLOCAL_OPERATIONAL_PATCHuCWARN 메시지에 'ahead' 또는 'LOCAL_OPERATIONAL_PATCH' 없음: N)r_rHrNlowerrvs r2test_guard7_scenario_b_warn_message_mentions_aheadr|sbHAu!%(NFF \++ ++ + flln $(AV(K MfXV K(K $rcj|\}}t|\}}|tjk(s Jd|d|y)um 시나리오 C: local 이 origin/main 보다 behind → FAIL 기대. spec §7.3 두 번째 행. u%시나리오 C: FAIL 기대, 실제: roNr_rHrJ)rirprarqrrs rtest_guard7_scenario_c_failr#rtrcj|\}}t|\}}|tjk(s Jd|d|y)ur 시나리오 D: diverged → FAIL 기대. spec §7.3 네 번째 행 (BYPASS 금지 doctrine 유지). u%시나리오 D: FAIL 기대, 실제: roNr~)rmrprarqrrs rtest_guard7_scenario_d_failr3rtruVstart_task_guard.py guard #7 3-state 정합화 미완료 (백엔드 수정 대기 중))reasonc|\}}tjj}||d<tjt j ttddgdd|}|jdk(s.Jd|jd|jd |jd |jvs1d |jjvsJd |jy y )u [통합 테스트] 실제 start_task_guard.py 를 호출하여 시나리오 B 에서 exit code 0 (PASS+WARN) 검증. 백엔드 정합화 완료 후 GUARD7_REFINED_IMPL_AVAILABLE = True 로 변경. WORKSPACE_ROOT--task task-testTr;r<rru7실제 guard #7 시나리오 B: exit 0 기대, 실제: z stdout: z stderr: WARNryuWARN 메시지 없음 stderr: N) rrrr#r$sys executablestrSTART_TASK_GUARD_PYrXr@stderrr{)rerprarrqs r*test_guard7_real_impl_scenario_b_pass_warnrCsHAu **// C!C ^^ 018[I   F    ! A&BSBSATU==/FMM? < ! V]] "g1D1D1F&F )&--9 F&F "rc |\}}tjj}||d<tjt j ttddgdd|}|jdk7sJd|jy) u [통합 테스트] 실제 start_task_guard.py 를 호출하여 시나리오 C 에서 exit code != 0 (FAIL) 검증. rrrTrru>실제 guard #7 시나리오 C: FAIL(exit!=0) 기대, 실제: N) rrrr#r$rrrrrX)rirprarrqs r%test_guard7_real_impl_scenario_c_failrbsHAu **// C!C ^^ 018[I   F    ! HIZIZH[\ !r)&__doc__rrBr#rr!pathlibrpytest__file__resolveparents WORKTREE_ROOTrGUARD7_REFINED_IMPL_AVAILABLEdictrrr&r.rFrHtupler_fixturerbrerirmrsrwr|rrmarkskipifrrrOrrrs$   X&&(003 #i/2GG !&$ 3  # # 434346 .]S.]U38_.]j----"--2--F      %% c 6%% c r