Si6dZddlmZddlZddlZddlZddlZddlZddlm Z ddl Z e dZ e dz dz Z ddZ dd Zdd Zdd Zd Zd ZdZdZdZdZdZdZdZy)utests/state_machine/test_transitions.py 명세 §3 "6개 금지 전이" + 상태 enum 검증 (task-2467) 벨레스(개발6팀 테스터) 작성. 스바로그의 구현 완료 전 선작성(TDD). ) annotationsN)Pathz-/home/jay/workspace/.worktrees/task-2467-dev6scriptsz taskctl.pycitj}t||d<|dz dz jdd|dz dz jdd|dz dz jdd|dz d z jdd|S) u5test마다 .tasks/state/ 와 .tasks/evidence/ 격리.WORKSPACE_ROOT.tasksstateT)parentsexist_okevidencememoryeventszorchestration-audit)osenvironstrmkdir)tmp_pathenvs U/home/jay/workspace/.worktrees/task-2467-dev6/tests/state_machine/test_transitions.py_isolated_workspacers RZZ.CMC 7"))$)F :%,,TD,I 8#**4$*G 0077t7T JcZtjdttg|zdd|dS)Npython3T)capture_outputtextrtimeout) subprocessrunrTASKCTL)argsrs r _run_taskctlr"$s- >> CL!D($C rcd|dz dz |dz }tj|jS)Nrr .json)jsonloads read_text)rtask_idps r_stater*+s28g%7)5(99A ::akkm $$rcddl}|dz dz |dz }tj|j}||d<|j dd|j Dcic]\}}|dk7s ||}}}tj |dd d } |j| jd j} | |d<|jtj |dd ycc}}w)u테스트 전용: state 파일을 직접 조작하여 체크섬 재계산 후 저장. 구현이 _compute_checksum 로직을 노출하지 않으므로, 직접 sha256 재계산. rNrr r$ current_state _checksumFT),:) ensure_ascii sort_keys separatorszutf-8)r0indent) hashlibr%r&r'popitemsdumpssha256encode hexdigest write_text) rr( target_stater5r)r kvpayloadcanonchecksums r _force_staterC0s 8g%7)5(99A JJq{{} %E)E/ IIk4 % B1k1Aq!tBGB JJwUdz ZE~~ell734>>@H!E+LLEa@A Cs C*.C*ct|}d}td|g|jdk(sJtd|g|jdk(sJtd|g|jdk(sJtd|g|jdk(sJtd|g||dz d z |d z }|jsJd t j |j }|d }|d vs Jd|y)uq§3.9 (1): PR_OPEN 없이 VERIFIED 진입 차단. init → dispatch → ack → run → verify (PR_OPEN 미경유) 현재 MVP 상태모델에서 RUNNING → GUARD_PASS(=VERIFIED)는 PR_OPEN을 거치지 않으므로 허용되면 안 된다. 신규 14+5 상태모델에서는 RUNNING → COMMITTED → PR_OPEN → ... → VERIFIED 경로만 허용. ztask-forbidden-01initrdispatchackrverifyrr r$u state 파일이 존재해야 함r,>VERIFIED GUARD_PASSu2PR_OPEN 없이 VERIFIED/GUARD_PASS 진입 발생: N)rr" returncodeexistsr%r&r')rrr( state_filer currents r6test_forbidden_transition_pr_open_to_verified_directlyrOGs h 'C!G )3 / : :a ?? ? W-s 3 > >! CC C (# . 9 9Q >> > (# . 9 9Q >> >(G$c*H$w.G9E1BBJ    B BB  JJz++- .EO$G 4 4 HUMAN_APPROVEDu.VERIFIED 없이 HUMAN_APPROVED 진입 발생: Nrr"rKr*rrr(procr s r=test_forbidden_transition_verified_to_human_approved_skippingrZjs h 'C!G )3 / : :a ?? ? W-s 3 > >! CC C (# . 9 9Q >> > (# . 9 9Q >> > GVU;S A L LPQ QQ Q GV5EF LD ??a _!__  8W %E  !); ; 89O8PQ ;rcjt|}d}td|g|jdk(sJtd|g|jdk(sJtd|g|jdk(sJtd|g|jdk(sJtd|dd g|jdk(sJtd |d g|}|jdk7sJd t||}|d dvs Jd|d d|jvs@d|jvs1d|jj vsJd|jyyy)u§3.9 (3): HUMAN_APPROVED 없이 MERGING 차단. PR_OPEN 상태 (또는 GUARD_PASS/VERIFIED 상태)에서 merge 시도 → 거부. ztask-forbidden-03rErrFrGrrQrR300merge --dry-runu;HUMAN_APPROVED 없이 MERGING 진입이 차단되어야 함r,>MERGEDMERGINGu4HUMAN_APPROVED 없이 MERGING/MERGED 진입 발생: rVu차단blockedu 예상 에러 메시지 없음: N)rr"rKr*stderrlowerrXs r;test_forbidden_transition_human_approved_to_merging_skippedrdsp h 'C!G )3 / : :a ?? ? W-s 3 > >! CC C (# . 9 9Q >> > (# . 9 9Q >> > GVU;S A L LPQ QQ Q ';7 =D ??a ^!^^  8W %E  !)> > >u_?U>VW > t{{ *h$++.EVZVaVaVgVgViIi *4;;-8 iIi.E *rct|}d}td|g|jdk(sJtd|g|jdk(sJtd|g|jdk(sJtd|g|jdk(sJtd|dd g|jdk(sJtd |g|}|jdk7sJd t||}|d d vs Jd|d y)uc§3.9 (4): MERGED 없이 DONE 차단. PR_OPEN 상태에서 done 명령 시도 → 거부. ztask-forbidden-04rErrFrGrrQrR400doneu0MERGED 없이 DONE 진입이 차단되어야 함r,>DONEu"MERGED 없이 DONE 진입 발생: NrWrXs r2test_forbidden_transition_merged_required_for_doneris h 'C!G )3 / : :a ?? ? W-s 3 > >! CC C (# . 9 9Q >> > (# . 9 9Q >> > GVU;S A L LPQ QQ Q )3 /D ??a S!SS  8W %E  ! 1 ,U?-C,DE 1rcHt|}d}td|g|jdk(sJtd|g|jdk(sJt||}|ddk(sJtd|g|}|jdk7sJdt||}|ddk(s Jd |dy ) uy§3.9 (5): CANCELLED는 terminal — 다른 상태로 복귀 불가. init → cancel → run 시도 → 차단. ztask-forbidden-05rErcancelr, CANCELLEDru1CANCELLED에서 RUN 진입이 차단되어야 함u&CANCELLED에서 상태 변경 발생: NrWrrr(r rYs r8test_forbidden_transition_cancelled_terminal_no_recoveryrns h 'C!G )3 / : :a ?? ? 7+S 1 < < AA A 8W %E  ![ 00 0 (# .D ??a T!TT  8W %E  ![ 0 01G0HI 0rc t|}d}td|g|jdk(sJtd|g|jdk(sJtd|ddg|}|jdk7sJdt||}|d d k(sJy ) u:§3.9 (5) 보완: CANCELLED 후 approve 시도 → 차단.ztask-forbidden-05brErrkrTrUhumanu5CANCELLED에서 approve 시도가 차단되어야 함r,rlNrWrXs r.test_forbidden_transition_cancelled_no_approverqs h 'C"G )3 / : :a ?? ? 7+S 1 < < AA A GVW=s CD ??a X!XX  8W %E  ![ 00 0rct|}d}td|g|jdk(sJtd|g|jdk(sJtd|g|jdk(sJtd|g|jdk(sJtd|dd g|jdk(sJt||d t ||}|d d k(sJd td |dg|}|jdk7sJdt ||}|d dvs Jd|d y)u§3.9 (6): BLOCKED 상태에서 MERGING 진입 차단. state 파일을 BLOCKED로 강제 진입시킨 후 merge 시도 → 차단. (신규 구현에서 BLOCKED 상태 진입 명령이 추가되면 해당 명령으로 대체 가능) ztask-forbidden-06rErrFrGrrQrR600BLOCKEDr,u강제 BLOCKED 설정 실패r]r^u:BLOCKED 상태에서 MERGING 진입이 차단되어야 함>rhr_r`u%BLOCKED에서 MERGING 진입 발생: N)rr"rKrCr*rms r,test_forbidden_transition_blocked_to_mergingrusO h 'C!G )3 / : :a ?? ? W-s 3 > >! CC C (# . 9 9Q >> > (# . 9 9Q >> > GVU;S A L LPQ QQ Q7I. 8W %E  !Y .N0NN . ';7 =D ??a ]!]]  8W %E  !)F F /o0F/GH Frctjjdttdz  t j d}t j| t|j}hd}hd}||z }||z }|r Jd||rWddhd hd }t}|D]3}|j|t} | |zr#|j|5|r Jd |y y #wxYw) uSTATES enum이 14 정상 + 5 예외 상태를 포함하는지 검증. 신규 구현 완료 후 통과 예상. 현재 MVP는 11종만 정의. rrtaskctl>rhr_CREATEDr`PR_OPENRUNNINGrI COMMITTED CI_PENDING REVIEW_READY HANDOFF_READYGEMINI_PENDINGrVWORKTREE_READY>FAILEDrtrl ESCALATEDADMIN_OVERRIDE_USEDu누락된 예외 상태: DISPATCHEDACKEDrJ)rrIu(누락된 정상 상태 (alias 없음): N) syspathinsertr WORKSPACE importlib import_modulereloadsetSTATESgetadd) taskctl_modstatesexpected_normalexpected_exceptionmissing_normalmissing_exception alias_map unresolvedmaliasess r.test_state_enum_includes_14_normal_5_exceptionr s HHOOAs9y012 --i8 % ## $FO %v-N*V3!Q$=>O=P"QQ  ,W5% U  "AmmAsu-Gf$q! "V!I*VV~:) s *C**C,cNtjjdttdz  t j d}t j| |j}hd}dh}||z }|r Jd|||z }|rtjd|yy#wxYw) uyDONE/CANCELLED/FAILED/ADMIN_OVERRIDE_USED는 terminal 상태. TERMINAL_STATES에 반드시 포함되어야 함. rrrw>rhrrlru 누락된 core terminal 상태: u8신규 terminal 상태 미구현 (스바로그 대기): N) rrrrrrrrTERMINAL_STATESpytestxfail)rterminalexpected expected_new missing_core missing_news r'test_terminal_states_no_transitions_outr6s HHOOAs9y012 --i8 % **H.H)*Lh&LN? ~NN )K OP[}]^ s *B""B$)rrreturndict)r!z list[str]rrrzsubprocess.CompletedProcess)rrr(rrr)rrr(rr=rrNone)__doc__ __future__rrr%rrrpathlibrrrr rr"r*rCrOrZrdrirnrqrurrrrrs #   @ A i , .% B.F6>6. 1$D)WX_r