jT dZddlZddlmcmZddlZddlZddl Z ddl Z ddl Z ddl Z ddl mZddlZeej#j$dZedz dz Zedz dz Zdefd Zdefd Zd ed ed ededdf dZd edefdZdZdedefdZej>dZ dedede!de"eeeffdZ#dedefdZ$dZ%dededdfdZ&dZ'dZ(d Z)d!Z*d"Z+d#Z,d$Z-d%Z.d&Z/y)'u test_stash_lifecycle_failstop.py task: task-2571+1 (Gemini HIGH carry-over) — spec §3.2.2.3 fail-stop 회귀 검증 목표 (Gemini HIGH finding 회귀 차단): - spec §3.2.2.3 "실패 시 stop (다음 stash 건드리지 않음)" 강제 - scripts/finish-task.sh 의 stash-lifecycle dispatch heredoc 내부에서 git stash pop/drop 이 실패한 경우, 루프가 BREAK 되어 다음 stash 를 건드리지 않아야 한다. - 박제된 audit log (memory/events/stash-lifecycle-action..json) 가 다음을 포함해야 한다: * top-level fail_stop == True * 실패한 decision 의 action == "failed" * 실패한 decision 의 stderr 필드 (non-empty) * decisions 배열 길이 == 실패까지 처리된 stash 수 (전체 stash 수보다 적음) 작성자: 하누만 (개발4팀 QA) 관련 PR: #123 (Gemini HIGH BLOCK 사유) 관련 fix: 카르티케야 (scripts/finish-task.sh) N)Pathscriptszfinish-task.shstash_audit.pyreturncjtjj}d|d<d|d<d|d<d|d<|S)uIgit 명령 실행용 환경변수 (테스트용 author/committer 고정).testGIT_AUTHOR_NAMEtest@example.comGIT_AUTHOR_EMAILGIT_COMMITTER_NAMEGIT_COMMITTER_EMAIL)osenvironcopy)envs E/home/jay/workspace/tests/regression/test_stash_lifecycle_failstop.py_git_envr)sC **// C#C0C &C!3C JcDtjd}t}tjgd|d|tjgd|d|tjgd|d|t |dz j d tjgd |d|tjgd |d|t |d z }|jdd |dz jtt |dz dz jdd |S)u 격리된 임시 git repo 초기화 + scripts/stash_audit.py 심볼릭 링크 + memory/events 생성. finish-task.sh 의 lifecycle dispatch heredoc 가 기대하는 워크스페이스 레이아웃 구성. zstash-failstop-test-)prefix)gitinit-qz-bmainTcwdcheckr)rconfigz user.emailr )rrz user.namer base.txtz base initial )raddr )rcommitr-mrr)parentsexist_okrmemoryevents) tempfilemkdtempr subprocessrunr write_textmkdir symlink_toSTASH_AUDIT_PY)dr scripts_dirs r_init_temp_workspacer23s  67A *CNN6ATsSNNFAUY_bcNN9qRUV !Wz%%&67NN-1DcJNN8atQTUq'I%KdT2##//? !Wx("))$)F Hrrepo_dirmessagefilenamecontentct}t||z }|j|tjdd|g|d|tjdddd|g|d|y) u 파일을 dirty 상태로 만든 뒤 stash push. 동일 filename 을 반복 호출하면 stash 충돌을 의도적으로 유발 가능. rr!Trstashpushr#N)rrr,r*r+)r3r4r5r6rfpaths r_stash_push_modifyr;Ls_ *C NX %E WNNE5(+3ONNE7FD':PTZ]^rc0t}tjgd|dd|}|jdk7s|jj syt |jjDcgc]}|j s|c}Scc}w)N)rr8listT)rcapture_outputtextrr)rr*r+ returncodestdoutstriplen splitlines)r3rrlines r _stash_countrGXso *C ht$TW A ||q 0 !4!4!6G$**,G HHGs 2BBz#task-2571: stash lifecycle dispatchfinish_task_shc|jd}|j}d}t|D]\}}t|vs|}nd}||u}|st j d|fd||fdt jvst j|rt j|ndt j|dz}t j|dtd zd |iz} tt j| dx}}d} t|t|D]}d ||vs |d z} nd}| |u}|st j d|fd| |fd t jvst j| rt j| nd t j|dz}t jd|dd zd |iz} tt j| dx}}d} t| t|D]}||jdk(s|} nd}| |u}|st j d|fd| |fdt jvst j| rt j| ndt j|dz}t jd| dd zd |iz} tt j| dx}}dj!|| | dz} | S)u finish-task.sh 에서 stash-lifecycle dispatch heredoc 본문을 추출한다. 카르티케야가 finish-task.sh 를 수정해도 마커 기반이라 lock-in 되지 않음. 추출 규칙: 1. LIFECYCLE_DISPATCH_MARKER 가 포함된 라인의 위치를 찾음. 2. 그 이후 첫 <<'PYEOF' 라인을 heredoc 시작점으로 한다. 3. 다음 ^PYEOF$ 라인을 heredoc 종료점으로 한다. utf-8encodingN)is not)z%(py0)s is not %(py3)s marker_idxpy0py3u 에서 마커 미발견:  >assert %(py5)spy5 <<'PYEOF' start_idxu마커(u) 이후 <<'PYEOF' 미발견PYEOFend_idxu%PYEOF 종료 토큰 미발견 (start=) ) read_textrD enumerateLIFECYCLE_DISPATCH_MARKER @pytest_ar_call_reprcompare @py_builtinslocals_should_repr_global_name _saferepr_format_assertmsgAssertionError_format_explanationrangerCrBjoin) rHr?linesrNirF @py_assert2 @py_assert1 @py_format4 @py_format6rVrXbodys r#_extract_lifecycle_dispatch_heredocrpks  # #W # 5D OO EJU#4 $ ,J ":T !:T  "  45N4QR I :s5z * %( "AI !9D 9D  ! *9: G 9c%j ) 8>> w &G 7$ 7$   0 {!< 99U9W- . 5D Krc#Kt}t|dddt|dddt|dz jd|dft j |d y w) u pre-task 분류 stash 2건 + working tree dirty conflict 시나리오. yield: (workspace_dir, expected_stash_count_before) z WIP: pre-task-2571-A first stashzc.txtzstash_A_content )r4r5r6z!WIP: pre-task-2571-B second stashzstash_B_content zdirty_uncommitted_change rT) ignore_errorsN)r2r;rr,shutilrmtree)r3s r'two_pretask_stashes_with_dirty_conflictrusn $%H2# 3#  (^g))*FG A+ MM($/sA$A& workspacetask_idapprovec rtt}tjdddd} |j ||j t t|dz dz |dz }tj|j||rd nd d d ||d g }tj|d d t}|j|j|j f t#j$|jS#t&$rYSwxYw# t#j$|jw#t&$rYwwxYwxYw)u finish-task.sh 에서 추출한 lifecycle dispatch heredoc 본문을 임시 .py 로 쓴 뒤 동일 argv 시그니처로 실행한다. 박제 audit log 는 workspace/memory/events/ 에 생성된다. Returns: (exit_code, stdout, stderr) wz.pyFrJ)modesuffixdeleterLr&r'z.done1030T)r>r?r)rpFINISH_TASK_SHr(NamedTemporaryFilewriteclosestrrsys executablenamer*r+rr@rAstderrrunlinkOSError)rvrwrxrotmp_py done_fileargvprocs r_run_lifecycle_dispatchrs /~ >D  ( ( uwF T Y(2X=7)5@QQR NN KK C       ~~d4d S T[[8  IIfkk "     IIfkk "   sBB+DC66 DDD6D'&D6' D30D62D33D6c (t|dz dz }t|jd}|stjd|d|j rt |jnddzdd tjvstj|rtj|nd iz}ttj|t|d d d 5}tj |cdddS#1swYyxYw)uc workspace/memory/events/stash-lifecycle-action.*.json 중 가장 최근 파일을 로드. r&r'zstash-lifecycle-action.*.jsonuaudit log 미발견: u@ 내 stash-lifecycle-action.*.json 없음. 실제 디렉토리: z NOT EXISTS >assert %(py0)srP candidatesrErJrKN)rsortedglobr^rdexistsr=iterdirr`rarbrcrerfopenjsonload)rv events_dirr @py_format1fs r_latest_audit_logrsi8+h6J (GHIJ  |, >H>O>O>QZ%7%7%9 :Wcd f   jncG 4yy|s )DDc0tt}d}||v}|stjd|fd||ftj|dt j vstj|rtj|nddz}tjddzd|iz}ttj|d x}}d }||v}|stjd|fd||ftj|dt j vstj|rtj|nddz}tjd dzd|iz}ttj|d x}}g}d }||v}|}|rd }||v}|}|sntjd|fd||ftj|dt j vstj|rtj|nddz}dd|iz} |j| |rtjdfd|ftj|dt j vstj|rtj|nddz} dd| iz} |j| tj|diz} tjddzd| iz} ttj| d x}x}x}x}x}}y )u finish-task.sh 에서 stash-lifecycle dispatch heredoc 본문을 마커 기반으로 추출 가능해야 한다. 추출본에 핵심 토큰들이 포함되어야 한다. zpre-taskinz%(py1)s in %(py3)sropy1rQu+heredoc 추출본에 pre-task 분기 없음rRrSNzstash-lifecycle-actionu3heredoc 추출본에 audit log 박제 토큰 없음r8pop)z%(py3)s in %(py5)s)rQrSz%(py7)spy7)z%(py10)s in %(py12)s)py10py12z%(py14)spy14ru,heredoc 추출본에 stash pop 호출 없음z >assert %(py17)spy17) rprr^r_rcr`rarbrdrerfappend_format_boolop)ro @py_assert0rkrmrnrl @py_assert4 @py_assert9 @py_assert11 @py_format8 @py_format13 @py_format15 @py_format16 @py_format18s r&test_failstop_heredoc_extraction_worksr s( /~ >D L: LLL:LLL:LLLLLLLLLLLLLLLLLLLL #b #t +bbb #tbbb #bbbbbbtbbbtbbbb-bbbbbbb77d?uu}7d u %)-)- 7rrcrc.|dvrtd|d|y)uc dispatch heredoc 의 exit 코드 검증. spec §3.2.2.3 fail-stop 시 sys.exit(1) 가 정상 동작이므로 rc ∈ {0, 1} 모두 허용. 그 외 (예: IndexError → 2, 기타 예외 → 1 with traceback) 는 실패로 간주. fail_stop 시그널은 stderr 에서 식별: "FAIL-STOP" 또는 audit log 자체 존재 여부로 검증. )rrUu*lifecycle dispatch 비정상 종료: exit=z stderr=N)re)rrs r_assert_dispatch_rc_acceptablers. 8IfX N  rc |\}}t|dd\}}}t||t|}d}||v}|stjd|fd||ftj |dt jvstj|rtj |nddz}tjd t|jd zd |iz} ttj| d x}}y ) u pre-task 2건 시드 + dirty conflict 환경에서 lifecycle dispatch 를 approve=1 로 실행하면 workspace/memory/events/ 에 audit log 가 박제되어야 한다. fail-stop 시 sys.exit(1) 동작 (spec §3.2.2.3 의 시그널 전파) 도 정상으로 간주. task-failstop-testTrwrx decisionsrrlogru'audit log 에 decisions 필드 없음: rRrSN)rrrr^r_rcr`rarbrdr=keysrerf) rurv_rrrrrkrmrns r#test_failstop_audit_log_is_producedr&s ;LIq+I?S]abMB6"2v. I &C [;# [[[;#[[[;[[[[[[#[[[#[[[[!HchhjIYHZ[[[[[[[rc|\}}t|dd\}}}t||t|}|j}d}||}d} || u} | st j d| fd|| fdt jvst j|rt j|ndt j|t j|t j|t j| dz} t jd tj|d d d zd| iz} tt j| dx}x}x}x} } y)u spec §3.2.2.3: 실패 시 fail_stop=True 가 audit log top-level 에 박제되어야 한다. 카르티케야의 fix 적용 전에는 이 assertion 이 RED 가 된다 (예상된 동작). rTr fail_stopiszI%(py6)s {%(py6)s = %(py2)s {%(py2)s = %(py0)s.get }(%(py4)s) } is %(py9)srrPpy2py4py6py9uCspec §3.2.2.3: top-level fail_stop=True 기대, 실제 audit log: Fr ensure_asciiindent >assert %(py11)spy11N)rrrgetr^r_r`rarbrcrdrdumpsrerf) rurvrrrrrl @py_assert3 @py_assert5 @py_assert8 @py_assert7 @py_format10 @py_format12s r)test_failstop_top_level_fail_stop_is_truer4sK ;LIq+I?S]abMB6"2v. I &C 77;7; 4 4 ' 4    $( O ::ca 8 9 ;rc n|\}}t|dd\}}}t||t|}|jdg}|Dcgc]}|jddk(s|}}t |} d} | | k\} | s1t j d| fd | | fd tjvst jtrt jtnd d tjvst j|rt j|nd t j| t j| d z} t jd t |dtj|dddzd| iz} tt j| dx} x} } ycc}w)u spec §3.2.2.3: 실패한 stash 의 decision.action == "failed" (기존 'skipped' 가 아님). Gemini HIGH 의 핵심 회귀 포인트 — 'skipped' 로 표기 시 fail-stop 식별 불가. rTrractionfailedrU)>=)z0%(py3)s {%(py3)s = %(py0)s(%(py1)s) } >= %(py6)srCfailed_decisions)rPrrQru6action=='failed' decision 1건 이상 기대, 실제: z decisions: Frrz >assert %(py8)spy8N)rrrrrCr^r_r`rarbrcrdrrrerf)rurvrrrrrr0rrkrr @py_format7 @py_format9s r/test_failstop_failed_decision_has_action_failedrDs ;LIq+I?S]abMB6"2v. I &C R(I#,Lah80KLL  A A % A     !%& AEUAV@WXjjqIJ LMs F2F2c |\}}t|dd\}}}t||t|}|jdgDcgc]}|jddk(s|}}|s{t j ddzd d t jvst j|rt j|nd iz}tt j||D]$} | jd d } g} t| t} | } | r| j}|}|} | sd dt jvst jtrt jtnddt jvst j| rt j| nddt jvst jtrt jtndt j| dz}| j|| rddt jvst j| rt j| ndt jt jdz}| j|t j | diz}t j d| dzd|iz}tt j|dx} x} x} x}}'ycc}w)u spec §3.2.2.3: 실패 decision 은 stderr 필드에 git 의 실제 오류 메시지를 박제해야 한다. 회장결정 박제 doctrine — 사후 진단 가능성 확보. rTrrrrua전제: action=='failed' decision 존재 (test_failstop_failed_decision_has_action_failed 참조)rrPrrrz.%(py6)s {%(py6)s = %(py2)s(%(py3)s, %(py4)s) } isinstance stderr_valuer)rrQrrz=%(py12)s {%(py12)s = %(py10)s {%(py10)s = %(py8)s.strip }() })rrrru=failed decision 에 stderr 필드(non-empty) 기대, 실제: z >assert %(py15)spy15N)rrrrr^rdr`rarbrcrerfrrrBrr)rurvrrrrr0rrfdrrlrrrrrr @py_format14rs r1test_failstop_failed_decision_has_nonempty_stderrrVs ;LIq+I?S]abMB6"2v. I &C#&77;#;[aquuXRZ?Z[[ AAAAAAAAA AAA AAAAA vvh+  z,, , ,1C1C 1C1E 1E   6       6  '  '   6  ),  ),  -   6  -  6  2>  2>  2D  2F   6     LB6 R       \s L L c  |\}}t|}||k(}|sHtjd|fd||fdtjvstj trtj tnddtjvstj |rtj |ndtj |dtjvstj |rtj |nddz}tjd|dt|d zd |iz}ttj|d x}}t|d d \}}} t|| t|} | jdg} | j} d} | | }d }||u}|stjd|fd||fdtjvstj | rtj | ndtj | tj | tj |tj |dz}tjddzd|iz}ttj|d x} x} x}x}}| s{tjddzddtjvstj | rtj | ndiz}ttj|| d}|j} d} | | }d}||k(}|stjd|fd||fdtjvstj |rtj |ndtj | tj | tj |tj |dz}tjd |jdd!tj| d"d#$dzd|iz}ttj|d x} x} x}x}}t!| }||k}|satjd%|fd&||fd'tjvstj t rtj t nd'dtjvstj | rtj | ndtj |dtjvstj |rtj |nddz}tjd(|d)t!| d*tj| d"d#$d zd |iz}ttj|d x}}y )+u2 spec §3.2.2.3 핵심: 실패 발생 시 루프가 BREAK 되어야 하며, 그 이후 stash 는 decisions 배열에 등장하지 않아야 한다. 이 시나리오: - stash 2건 시드 (양쪽 모두 pre-task) - 역순 처리 (높은 index 부터): stash@{1} 가 먼저 처리됨 - stash@{1} pop 은 dirty conflict 로 실패 - spec 통과 시: decisions 길이 == 1 (stash@{1} 만 등장; stash@{0} 미처리) - spec 위반(현행 버그) 시: decisions 길이 == 2 (stash@{0} 도 'skipped' 로 등장) ==)z0%(py3)s {%(py3)s = %(py0)s(%(py1)s) } == %(py5)srGrvexpected_count)rPrrQrSu전제: stash u건 시드 기대, 실제: z >assert %(py7)srNrTrrrrrrruI전제: fail_stop=True (test_failstop_top_level_fail_stop_is_true 참조)rrudecisions 비어있음rrPrrr)zI%(py6)s {%(py6)s = %(py2)s {%(py2)s = %(py0)s.get }(%(py4)s) } == %(py9)slastuspec §3.2.2.3 fail-stop 위반: failed decision 이후 다른 decision 추가됨. 마지막 decision.action 기대: 'failed', 실제: u 전체 decisions: Frr<)z/%(py3)s {%(py3)s = %(py0)s(%(py1)s) } < %(py5)srCu.spec §3.2.2.3 fail-stop 위반: 전체 stash u%건 모두 처리됨 (decisions 수: u;). 실패 시 break 되지 않았다는 증거. decisions: )rGr^r_r`rarbrcrdrerfrrrrrrrC)rurvrrkrrnrrrrrrrlrrrrrrrrs r.test_failstop_loop_breaks_no_further_decisionsrjs!HI~  " "n 4 "n  "" #'5'5 ((CLQZD[C\],I?S]abMB6"2v. I &C R(I 77;7; 4 4 ' 4    $( T .........9...9..... R=D 88H8H   )         "* ??Cxx?Q>TU!ZZ aPQ S  y>>N * >N         + + 98HIy>*+jjqIJ L rc6|\}}t|dd\}}}t||t|}||k(}|stjd|fd||fdt j vstj|rtj|nddt j vstj|rtj|nddz}tjd |d |d zd |iz} ttj| d }y )u spec §3.2.2.3: 실패 후 break 되었으므로 처리되지 않은 stash 는 그대로 남아있어야 한다. stash 2건 중 stash@{1} pop 실패 시: - pop 실패 → stash@{1} 도 그대로 남음 (git stash pop 의 keep-on-conflict 동작) - stash@{0} 은 break 로 인해 미처리 → 그대로 남음 => 최종 stash 수 == 2 (변동 없음) rTrr)z%(py0)s == %(py2)safterrrPruFspec §3.2.2.3 위반 가능성: 실패 후 stash 수 변동. 기대: uB (stash@{1} pop 실패 keep + stash@{0} break 미처리), 실제:  >assert %(py4)srN) rrrGr^r_r`rarbrcrdrerf) rurvrrrrrrl @py_format3 @py_format5s r'test_failstop_remaining_stash_preservedrs!HI~+I?S]abMB6"2v.  #E N " 5N     # # !"#'  rctt}d}||v}|stjd|fd||ftj|dt j vstj|rtj|nddz}tjddzd|iz}ttj|d x}}y ) u Codex G1 MEDIUM: lifecycle dispatch heredoc 본문에 `timeout=30` 리터럴이 재등장하지 않아야 한다. 상수 (STASH_AUDIT_TIMEOUT_SEC → sys.argv[7]) 연결을 사용해야 함. z timeout=30)not in)z%(py1)s not in %(py3)sroruCodex G1 MEDIUM 회귀: heredoc 본문에 `timeout=30` 리터럴 재등장. STASH_AUDIT_TIMEOUT_SEC 상수 연결이 끊겼을 가능성. sys.argv[7] 경로 확인 필요.rRrSN rprr^r_rcr`rarbrdrerfrorrkrmrns r6test_medium_no_timeout_30_literal_in_lifecycle_heredocrs /~ >D D - - 5 - .2626 : # "d * "d #'+'+ Frctjd}|jt}d}| }||k7}|st j d|fd||fdt jvst j|rt j|ndt j|dz}t jdtd zd |iz}tt j|d x}x}}||d }|jd }|jd } d}| }||k7}|st j d|fd||fdt jvst j|rt j|ndt j|dz}t jdd zd |iz}tt j|d x}x}}d}| }| |k7}|st j d|fd| |fdt jvst j| rt j| ndt j|dz}t jdd zd |iz}tt j|d x}x}}|| k}|st j d|fd|| fdt jvst j|rt j|nddt jvst j| rt j| nddz} t jd|d| ddzd| iz}tt j|d }||| } d} | | v}|st j d|fd| | ft j| dt jvst j| rt j| nddz} t jd| d zd!| iz}tt j|d x} }y )"u  Codex G1 MEDIUM: scripts/finish-task.sh 의 dispatch 호출 블록에서 `"$STASH_AUDIT_TIMEOUT_SEC"` 가 `"$DONE_FILE"` 와 `<<'PYEOF'` 사이에 위치해야 한다. 이는 bash 측 상수 → python sys.argv[7] 매핑을 정적으로 검증한다. rJrKrU)!=)z%(py0)s != -%(py3)s marker_posrOu마커 미발견: z >assert %(py6)srNz "$DONE_FILE"rTdone_posu0dispatch 블록에 "$DONE_FILE" 인자 미발견 pyeof_posu&dispatch 블록에 <<'PYEOF' 미발견r)z%(py0)s < %(py2)srz"$DONE_FILE" (pos=u) 가 <<'PYEOF' (pos=u) 보다 뒤에 위치.rrz"$STASH_AUDIT_TIMEOUT_SEC"rrbetweenruCodex G1 MEDIUM 회귀: dispatch 블록 ["$DONE_FILE" ... <<'PYEOF'] 사이에 `"$STASH_AUDIT_TIMEOUT_SEC"` 인자가 없음. bash → python sys.argv[7] 연결 끊김. 실제 사이 구간: rRrS) rr[findr]r^r_r`rarbrcrdrerf)r?rrkrrlrrregionrrrrrrmrns r+test_medium_constant_passed_as_argv_in_bashr s  # #W # 5D45JO!O: OOO:OOOOOO:OOO:OOO!OOO12K1NOOOOOOOO *+ F{{>*H K(IOrO8r>OOO8rOOOOOO8OOO8OOOOOOOOOOOOOODD9?DDD9DDDDDD9DDD9DDDDDDDDDDDDDD i 8i     xj(=i[H_`Xi(G ' '7 2  '7 (  ,3 ,3 "") , r)0__doc__builtinsr`_pytest.assertion.rewrite assertionrewriter^rrrsr*rr(pathlibrpytest__file__resolver$ WORKTREE_ROOTrr/dictrrr2r;intrGr]rpfixturerubooltuplerrrrrrrrrrrrr rrrs(   X&&(003 *-==*-==$ c 2 _ _s _c _C _TX _I3I3I B+++x00D*s*S*4*ERUWZ\_R_L`*Z   $   s  C  D   \  $ (*Z8   r