ajhdZddlmZddlZddlmcmZddl Z ddl Z ddl Z ddl Z ddl mZddlZeej#j$j$j$Zeee j*vr!e j*j-eee j*j/deeddlmZddlmZmZmZmZmZm Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*edz dz jWd Z,d,d Z-d,d Z.d-d Z/dZ0dZ1dZ2dZ3dZ4dZ5dZ6dZ7dZ8dZ9dZ:dZ;dZd.dZ?dZ@dZAd ZBd!ZCd"ZDd/d#ZEd$ZFd%ZGd&ZHd'ZId(ZJd)ZKeLd*k(r%e jejed+gyy)0u2tests/regression/test_anu_delegation_completion_callback_2595.py — task-2595 Phase 2 회귀. Phase 1 LOCKED spec: memory/tasks/task-2595.md (locked content sha256 = c151030d719762da35eb5cafc34a9f4c74df4ba4c5085e077bb109120ae050d5). 회장 Phase 2 §7 필수 검증 10항목 + §7 검증 시나리오 7건: 1. normal completion callback fixture PASS 2. fallback stale callback fixture PASS (BOT_STALE / CALLBACK_MISSING / HOLD 단일 분기) 3. duplicate callback dedupe PASS 4. ack single-winner PASS 5. BOT_STALE / CALLBACK_MISSING / RESULT_MISSING 분류 PASS 6. Critical 7 → CRITICAL_7 / HOLD_FOR_CHAIR 분류 PASS 7. PASS case result summary marker 생성 PASS 8. ANU-Codex post-result review hook mock PASS (advisory, 자동 closeout 권한 X) 9. watcher/polling/daemon 없음 검증 PASS (source 정적 grep) 10. dispatch.py/task-timer.py forbidden_write_targets 변경 0 (별도 marker 증빙) 모든 테스트 100% offline — 실제 callback cron 등록 / 실제 codex 호출 / network / git 호출 0건. tmp_path 만 사용 (live memory/events 미오염). ) annotationsN)Path)Signals)ANU_CALLBACK_CHAT_ID CallbackInput CallbackTypeClassificationForbiddenActionPostcheckNoRealCodexReviewErrorPostResultReviewStaleDistinctionEvidence"build_completion_callback_contractcompute_fallback_stale_at_epoch no_real_codex_post_result_review!run_completion_callback_collectortry_acquire_ackvalidate_callback_ack_dedupe%validate_completion_callback_contractvalidate_delegation_resultutilsz%anu_delegation_completion_callback.pyutf-8encodingcLt|tjk(rdndddddS)NPASSADVISORYTFu1mock codex:codex-rescue advisory — 실 실행 0verdictadvisoryexecution_performedauto_closeout_authority_grantednote)r r rdelegation_resultclassifications T/home/jay/workspace/tests/regression/test_anu_delegation_completion_callback_2595.pymock_review_passr'Ds- (N,?,??Z!(- @  c"tdddddS)NrTFzboundary violation fixturer)r r#s r&mock_review_boundary_violationr*Ns  (- )  r(c td idddddddtjdd d d d d dddtdd ddddddgdddidt dddddddt dd}|j |td i|S)!Ntask_idz task-9001executorz dev2 Odindispatch_cron_idzcron-disp-9001 callback_typecallback_cron_idzcron-cb-normal-9001 cron_statusok task_status completedcron_duration_ming333333?stale_distinction_evidenceTFartefact)normal_callback_registerednormal_callback_cron_idfallback_fired ttl_exceededbot_liveness_signalbot_liveness_observedoutput_markersz#memory/events/task-9001.result.jsonrequired_closeout_markersztask-9001.result.jsonforbidden_action_postcheck dev_sunsetpreservation_anchorsmatch)post_tool_use_shguardsignals chair_gated)dictrNORMALr r rupdater)overbases r& good_inputrNYs    * #))   /        $<'+$9  *"& $  ">># $$;D"A% &$<#=' () *3:GL+ , - ./ D2 KK  4  r(c b|dz }tt|t}|j}tj }||k(}|st jd|fd||fdtjvst j|rt j|ndt j|dtjvst jtrt jtndt j|dz}dd |iz}tt j|dx}x}}|j}d }||u}|st jd |fd ||fdtjvst j|rt j|ndt j|t j|d z} dd| iz} tt j| dx}x}}|j}d }||u}|st jd |fd||fdtjvst j|rt j|ndt j|t j|d z} dd| iz} tt j| dx}x}}|j }d}||u}|st jd |fd||fdtjvst j|rt j|ndt j|t j|d z} dd| iz} tt j| dx}x}}|j"} t%| }g} || k(} | s t jd| fd|| fdtjvst jt$rt jt$nddtjvst j|rt j|ndt j| t j|t j| dz}dd|iz}tt j|dx} x}x} } |j"d}d}||k(} | slt jd| fd||ft j|t j|dz}dd|iz}tt j|dx}x} }|j"d}d}||k(} | slt jd| fd||ft j|t j|dz}dd|iz}tt j|dx}x} }d }t&j(}|j"} || }||v} | st jd!| fd"||ft j|d#tjvst jt&rt jt&nd#t j|dtjvst j|rt j|ndt j| t j|d$z}d%d&|iz}tt j|dx}x} x}x} }y)'Nztask-9001.callback-ack.jsonpost_result_review_fn==zP%(py2)s {%(py2)s = %(py0)s.classification } == %(py6)s {%(py6)s = %(py4)s.PASS }resr py0py2py4py6assert %(py8)spy8Tisz4%(py2)s {%(py2)s = %(py0)s.ack_acquired } is %(py5)srWrXpy5assert %(py7)spy7z:%(py2)s {%(py2)s = %(py0)s.closeout_candidate } is %(py5)sFz=%(py2)s {%(py2)s = %(py0)s.chair_report_required } is %(py5)szW%(py5)s {%(py5)s = %(py0)s(%(py3)s {%(py3)s = %(py1)s.delegation_result }) } == %(py8)srrWpy1py3rar\assert %(py10)spy10r%rz%(py1)s == %(py4)srhrYassert %(py6)srZschemaanu_delegation_result_v1z finish-tasknot in)zx%(py1)s not in %(py10)s {%(py10)s = %(py5)s {%(py5)s = %(py3)s.dumps }(%(py8)s {%(py8)s = %(py6)s.delegation_result }) }json)rhrirarZr\rkzassert %(py12)spy12)rrNr'r%r r @pytest_ar_call_reprcompare @py_builtinslocals_should_repr_global_name _safereprAssertionError_format_explanation ack_acquiredcloseout_candidatechair_report_requiredr$rrsdumps)tmp_pathackrU @py_assert1 @py_assert5 @py_assert3 @py_format7 @py_format9 @py_assert4 @py_format6 @py_format8 @py_assert2 @py_assert7 @py_assert6 @py_format11 @py_assert0 @py_format5 @py_assert9 @py_format13s r&test_normal_completion_passrzs2 2 2C + c1A C   4!4!44 !4 4444 !444444434443444 444444444444!44444444   #t# t #### t######3###3### ###t#######  ! !)T) !T )))) !T))))))3)))3))) !)))T)))))))  $ $-- $ ---- $------3---3--- $----------&)&;&;B %&; <BB < BBBB <BBBBBB %BBB %BBBBBBcBBBcBBB&;BBB <BBBBBBBBBB  !1 2!>!>> !> >>>> !>>>>>>>3>>>3>>> >>>>>>>>>>>>!>>>>>>>> 3Gs7G7GG 37G GGGG 37GGGG 3GGGGGGsGGGsGGG7GGGGGGGGr(cF |dz }tdd}tdtjd}t||t}t||t}|j }d}||u}|st jd |fd ||fd tjvst j|rt j|nd t j|t j|d z} d d| iz} tt j| dx}x}}|j}tj } || k(}|st jd|fd|| fd tjvst j|rt j|nd t j|dtjvst jtrt jtndt j| dz} dd| iz} tt j| dx}x}} |j }d}||u}|st jd |fd ||fdtjvst j|rt j|ndt j|t j|d z} d d| iz} tt j| dx}x}}|j}tj"} || k(}|st jd|fd|| fdtjvst j|rt j|ndt j|dtjvst jtrt jtndt j| dz} dd| iz} tt j| dx}x}} |j$}d}||u}|st jd |fd||fdtjvst j|rt j|ndt j|t j|d z} d d| iz} tt j| dx}x}}d}|j&d}||v}|slt jd|fd||ft j|t j|dz}dd|iz} tt j| dx}x}}|j&}t)|}g}||k(}|s t jd|fd ||fd!tjvst jt(rt jt(nd!d tjvst j|rt j|nd t j|t j|t j|d"z} d#d$| iz}tt j|dx}x}x}}y)%Nztask-9005.callback-ack.jsonz task-9005zcron-normal-9005)r,r0zcron-fallback-9005)r,r/r0rPTr]r_firstr`rbrcrRrTr rVr[r\Fsecond)zf%(py2)s {%(py2)s = %(py0)s.classification } == %(py6)s {%(py6)s = %(py4)s.DUPLICATE_CALLBACK_IGNORED }rdDUPLICATE_CALLBACK_IGNOREDduplicate_resolutionr)z%(py1)s in %(py4)srmrnrZ)zP%(py5)s {%(py5)s = %(py0)s(%(py3)s {%(py3)s = %(py1)s.ack_dedupe }) } == %(py8)srrgrjrk)rNrrrr'r}rurvrwrxryrzr{r|r%r rrr~ ack_deduper)rrinp1inp2rrrrrrrrrrrrrrrrs r&test_duplicate_callback_ignoredrs 2 2C k#6#66 #6 6666 #666666656665666 666666>666>666#66666666   '%' % '''' %''''''6'''6''' '''%'''''''  MN$M$MM $M MMMM $MMMMMMM6MMM6MMM MMMMMMNMMMNMMM$MMMMMMMM  $ $-- $ ---- $------6---6--- $---------- 'T6+<+<=S+TT '+T TTTT '+TTTT 'TTT+TTTTTTTT(-(8(8? '(8 9?R? 9R ???? 9R?????? '??? '????????????(8??? 9???R???????r(c |dz gtj d fd }tdDcgc]}tj|d|f}}|D]}|j |D]}|j j }d}||}d}||k(} | stjd| fd ||fd tjvstjrtjnd tj|tj|tj|tj|d z} d d | iz} ttj| dx}x}x}x} }j }d}||}d}||k(} | stjd| fd ||fd tjvstjrtjnd tj|tj|tj|tj|d z} d d | iz} ttj| dx}x}x}x} }ycc}w)uInormal/fallback 동시 fire — atomic ack 가 정확히 1 winner 보장.ztask-9006.callback-ack.jsonctdtj|\}}5j|dddy#1swYyxYw)Nz task-9006)r,winning_callback_typewinning_callback_cron_id)rrrJappend)cron_idacquired_rlockresultss r&workerz1test_ack_single_winner_under_race..workersI% "."5"5%,  !  % NN8 $ % % %s ?A zcron-)targetargsTrR)zK%(py6)s {%(py6)s = %(py2)s {%(py2)s = %(py0)s.count }(%(py4)s) } == %(py9)sr)rWrXrYrZpy9zassert %(py11)spy11NF )rstr) threadingLockrangeThreadstartjoincountrurvrwrxryrzr{r|)rrithreadstrrr @py_assert8r @py_format10 @py_format12rrrs @@@r&!test_ack_single_winner_under_racers 2 2CG >> D%GLBiAB aSk^<G     ==##= #!# ! #### !######7###7###=###### ###!####### ==%%= %2% 2 %%%% 2%%%%%%7%%%7%%%=%%%%%% %%%2%%%%%%%%s"Jc|dz }tdddd}t||t}|j}tj }||k(}|st jd|fd ||fd tjvst j|rt j|nd t j|d tjvst jtrt jtnd t j|d z}d d|iz}tt j|dx}x}}|j}d} || u}|st jd|fd|| fd tjvst j|rt j|nd t j|t j| dz} dd| iz} tt j| dx}x}} d|jD}t!|}|sddtjvst jt rt jt ndt j|t j|dz} tt j| dx}}y)Nztask-9007.callback-ack.jsonz task-9007FT)ztask-9007.result.jsonztask-9007.report.md)r,r?rPrR)zZ%(py2)s {%(py2)s = %(py0)s.classification } == %(py6)s {%(py6)s = %(py4)s.RESULT_MISSING }rUr rVr[r\r]rer`rbrcc3$K|]}d|v yw)missing_required_markerNrH.0rs r& z&test_result_missing..sH!(A-H,assert %(py4)s {%(py4)s = %(py0)s(%(py2)s) }anyrWrXrY)rNrr'r%r RESULT_MISSINGrurvrwrxryrzr{r|rrr) rrrrUrrrrrrrrrs r&test_result_missingrs 2 2C %*#'#  C , S(8 C   >!>!>> !> >>>> !>>>>>>>3>>>3>>> >>>>>>>>>>>>!>>>>>>>>  $ $,, $ ,,,, $,,,,,,3,,,3,,, $,,,,,,,,,,Hs7G7GHH3H HH HHHHHH3HHH3HHHHHHH HHHHHHHr(c|dz }tdtd}t||t}|j}t j }||k(}|stjd|fd||fd tjvstj|rtj|nd tj|d tjvstjt rtjt nd tj|d z}d d |iz}ttj|dx}x}}d} |j} | | v} | stjd| fd| | ftj| d tjvstj|rtj|nd tj| dz} dd| iz} ttj| dx} x} } |j }d} || u}|stjd|fd|| fd tjvstj|rtj|nd tj|tj| dz} dd| iz} ttj| dx}x}} y)Nztask-9008.callback-ack.jsonz task-9008)forbidden_path_count)r,rFrPrR)zV%(py2)s {%(py2)s = %(py0)s.classification } == %(py6)s {%(py6)s = %(py4)s.CRITICAL_7 }rUr rVr[r\FORBIDDEN_PATH_INTRUSIONr)z6%(py1)s in %(py5)s {%(py5)s = %(py3)s.critical_7_hit }rrbrcTr]rer`)rNrrr'r%r CRITICAL_7rurvrwrxryrzr{r|critical_7_hitrrs r&test_critical_7_routingr#s 2 2C ['q2Q RC + S(8 C   :!:!:: !: :::: !:::::::3:::3::: ::::::::::::!:::::::: %;););; %); ;;;; %);;;; %;;;;;;;;;;;;);;;;;;;;  $ $,, $ ,,,, $,,,,,,3,,,3,,, $,,,,,,,,,,r(c,|dz }tdtd}t||t}|j}t j }||k(}|stjd|fd||fd tjvstj|rtj|nd tj|d tjvstjt rtjt nd tj|d z}d d |iz}ttj|dx}x}}d} |j} | | v} | stjd| fd| | ftj| d tjvstj|rtj|nd tj| dz} dd| iz} ttj| dx} x} } y)Nztask-9009.callback-ack.jsonz task-9009r)forbidden_write_targets_changed)r,r@rPrRrrUr rVr[r\#forbidden_action_postcheck_violatedrrrrbrc)rNr rr'r%r rrurvrwrxryrzr{r|rrs r&%test_forbidden_action_holds_for_chairr/sJ 2 2C #;,-$  C , S(8 C   >!>!>> !> >>>> !>>>>>>>3>>>3>>> >>>>>>>>>>>>!>>>>>>>> 0DC4D4DD 04D DDDD 04DDDD 0DDDDDDCDDDCDDD4DDDDDDDDr(c|dz }tdddi}t||t}|j}tj }||k(}|st jd|fd||fd tjvst j|rt j|nd t j|d tjvst jtrt jtnd t j|d z}d d |iz}tt j|dx}x}}d|jD}t|}|sddtjvst jtrt jtndt j|t j|dz} tt j| dx}}y)Nztask-9010.callback-ack.jsonz task-9010rDmismatch)r,rBrPrRrrUr rVr[r\c3$K|]}d|v yw)preservation_anchor_mismatchNrHrs r&rz:test_preservation_anchor_mismatch_holds..HsMq-2Mrrrr)rNrr'r%r rrurvrwrxryrzr{r|rr) rrrrUrrrrrrs r&'test_preservation_anchor_mismatch_holdsr>s7 2 2C 0*= C , S(8 C   >!>!>> !> >>>> !>>>>>>>3>>>3>>> >>>>>>>>>>>>!>>>>>>>>MCAc~|dz }ttd|}|j}tj}||k(}|st j d|fd||fdtjvst j|rt j|ndt j|dtjvst jtrt jtndt j|dz}d d |iz}tt j|d x}x}}|j}d }||u}|st j d |fd ||fdtjvst j|rt j|ndt j|t j|dz} dd| iz} tt j| d x}x}}|jd} d }| |u} | slt j d | fd| |ft j| t j|dz} dd| iz}tt j|d x} x} }|j} t| }g}||k(}|s t j d|fd||fdtjvst jtrt jtnddtjvst j|rt j|ndt j| t j|t j|dz}dd|iz}tt j|d x} x}x}}y )u9기본 invoker 미주입 시 advisory SKIP 으로 안전 진행 (분류 불변). spec §3 계약: ``codex_post_result_review_ref`` 는 *marker path | null*. review 미수행(SKIP)이면 상태 문자열이 아니라 **null** 이어야 한다 (task-2595_2+1 항목 1 — status 문자열 제거). ztask-9012.callback-ack.jsonz task-9012rrRrTrUr rVr[r\Nr])zD%(py2)s {%(py2)s = %(py0)s.codex_post_result_review_ref } is %(py5)sr`rbrcrz%(py1)s is %(py4)srmrnrZrfrrgrjrk)rrNr%r rrurvrwrxryrzr{r|rr$r)rrrUrrrrrrrrrrrrrrs r&)test_post_result_review_default_safe_skipr hs0 2 2C +J{,KS QC   4!4!44 !4 4444 !444444434443444 444444444444!44444444  + +3t3 +t 3333 +t33333333333333 +333t3333333  !? @HDH @D HHHH @DHHH @HHHDHHHHHHH&)&;&;B %&; <BB < BBBB <BBBBBB %BBB %BBBBBBcBBBcBBB&;BBB <BBBBBBBBBBr(c|dz }ttd|t}|j}tj }||k(}|st jd|fd||fdtjvst j|rt j|ndt j|dtjvst jtrt jtndt j|d z}d d |iz}tt j|d x}x}}d |jD}t|}|sddtjvst jtrt jtndt j|t j|dz}tt j|d x}}y )uJcodex 가 실행 수행 보고 시 (회장 §7 위반) → HOLD_FOR_CHAIR.ztask-9013.callback-ack.jsonz task-9013rrPrRrrUr rVr[r\Nc3$K|]}d|v yw)BOUNDARY_VIOLATIONNrHrs r&rzCtest_post_result_review_boundary_violation_holds..sCQ#q(Crrrr)rrNr*r%r rrurvrwrxryrzr{r|rr) rrrUrrrrrrs r&0test_post_result_review_boundary_violation_holdsrxs& 2 2C +;' < C   >!>!>> !> >>>> !>>>>>>>3>>>3>>> >>>>>>>>>>>>!>>>>>>>>C#2B2BCC3C CC CCCCCC3CCC3CCCCCCC CCCCCCCr(c|dz }ttd|t}|j}d}||u}|st j d|fd||fdt jvst j|rt j|ndt j|t j|d z}d d |iz}tt j|d x}x}}d }t||}| } | sddt jvst jtrt jtnddt jvst j|rt j|ndt j|t j|dz} tt j| d x}x}} y )uL회장 §5 — 자동 closeout 권한 미부여. PASS 라도 candidate only.ztask-9014.callback-ack.jsonz task-9014rrPTr]rdrUr`rbrcNauto_closeout_performedz9assert not %(py5)s {%(py5)s = %(py0)s(%(py1)s, %(py3)s) }hasattrrWrhrira) rrNr'r~rurvrwrxryrzr{r|r) rrrUrrrrrrrrs r&*test_auto_closeout_authority_never_grantedrs 2 2C +;' . C  ! !)T) !T )))) !T))))))3)))3))) !)))T)))))))56ws5666 66 666666w666w666666s666s66656666666666r(c,tj|S)uAST 로 실행 코드만 분석 — docstring/comment prose 는 제외. spec §8 boundary 를 *문서로 설명*하는 것은 허용·필수 (회장 §3 명시 의무). 금지는 **기능적** watcher/polling/daemon 구현이다. )astparse)srcs r&_strip_docstrings_and_coders 99S>r(c Z tt}hd}d}d}d}tj|D]H}t |tj r"|j D]}|jjdd}||v}|stjd|fd||fdtjvstj|rtj|nddtjvstj|rtj|ndd z} tjd |jd zd | iz} t!tj"| d }t |tj$r|j&xsdjdd}||v}|stjd|fd||fdtjvstj|rtj|nddtjvstj|rtj|ndd z} tjd|j&d zd | iz} t!tj"| d }t |tj(r>t |j*tj,r|j*j.durd}t |tj0s|j2} t | tj4s | j6dk(rd}| j6dvs| j6j9dsGd}Kd} || u}|stjd|fd|| fdtjvstj|rtj|ndtj| dz} tjddzd| iz}t!tj"|d x}} d} || u}|stjd|fd|| fdtjvstj|rtj|ndtj| dz} tjddzd| iz}t!tj"|d x}} d} || u}|stjd|fd|| fdtjvstj|rtj|ndtj| dz} tjddzd| iz}t!tj"|d x}} y )u 시나리오 7 — 기능적 watcher/polling/daemon/systemd 패턴 0 (AST 검증). docstring 의 boundary 설명 prose 는 false-positive 아님 (회장 §3 — boundary 를 명시 문서화하는 것은 의무). AST 로 실행 구문만 점검한다. > scheddaemonsignalasynciosystemdschedulewatchdogr subprocess apschedulerF.rrq)z%(py0)s not in %(py2)srootforbidden_import_roots)rWrXzforbidden import: z >assert %(py4)srYNzforbidden import-from: Tsleep)systempopenexecr])z%(py0)s is %(py3)swhile_true_foundrWriz infinite while-True loop present >assert %(py5)srasleep_call_foundzsleep() call present (polling)process_exec_founduCprocess-exec (os.system/popen/exec*) present — real cron reg path)r MODULE_SRCrwalk isinstanceImportnamesnamesplitrurvrwrxryrz_format_assertmsgr{r| ImportFrommoduleWhiletestConstantvalueCallfunc Attributeattr startswith)treer'r-r0r1nodear&r @py_format3rfr @py_format4rs r&'test_no_watcher_polling_daemon_patternsrKs/ &j 1D . dCJJ 'ZZ vv||C(+#99t#9 6  6$: $:)1  dCNN +KK%2,,S1!4D55  45   v     I   v   6   I 6  *$++7      dCII &499cll3IIOOt+#'  dCHH % A!S]]+66W$'+$6600AFF4E4Ef4M)-&9.< %H u $HHH uHHHHHH HHH HHHuHHH&HHHHHHH$F u $FFF uFFFFFF FFF FFFuFFF&FFFFFFF!&  &   "' Nr(c0td}|d}g}d}||v}|}|rd}||v}|}|sXtjd|fd||ftj|dt j vstj |rtj|nddz}d d |iz} |j| |rtjdfd |ftj|dt j vstj |rtj|ndd z} d d| iz} |j| tj|diz} dd| iz} ttj| dx}x}x}x}x}}ddl m }d}|j}||v}|stjd|fd||ftj|dt j vstj |rtj|ndtj|dz}dd |iz} ttj| dx}x}}d|jD}t|}| }|sddt j vstj trtjtndtj|tj|dz}ttj|dx}x}}y)uspec §4 — cokacdir --cron 템플릿은 contract *데이터* 이지 실행 아님. 템플릿 문자열 존재는 spec §4 의무. 본 모듈이 그 문자열을 *실행*하는 경로(subprocess/os.system 등)가 없음을 위 AST 테스트가 보증한다. anu-key-ref"callback_register_command_templatecokacdirz--cronr)z%(py3)s in %(py5)stmpl)rira%(py7)src)z%(py10)s in %(py12)s)rkrtz%(py14)spy14rzassert %(py17)spy17Nr)z/%(py1)s in %(py5)s {%(py5)s = %(py3)s.__all__ }mrrbc3>K|]}|jdyw) register_realN)rDrns r&rzGtest_spec_s4_contract_template_is_data_not_execution..sDQ1<<0Ds0assert not %(py4)s {%(py4)s = %(py0)s(%(py2)s) }rr)rrurvrzrwrxryr_format_boolopr{r|(utils.anu_delegation_completion_callback"anu_delegation_completion_callback__all__r)contractrPrrrrr @py_assert11rrr @py_format15 @py_format16 @py_format18rTrrs r&4test_spec_s4_contract_template_is_data_not_executionrcs 2-@H 8 9D2:2: 2(2(d"22222:222:2222222222222222(d222(222222d222d222222222222228 .;!)); .) ;;;; .);;; .;;;;;;!;;;!;;;);;;;;;;D!))DDsDDDD DD DDDDDDsDDDsDDDDDDDDDDDDDDr(c2ddlm}d|jD}t|}| }|sddt j vst jtrt jtndt j|t j|dz}tt j|dx}x}}td}t|}g}||k(}|st jd|fd ||fd t j vst jtrt jtnd d t j vst j|rt j|nd t j|t j|d z}d d|iz} tt j| dx}x}}|d} d}| |u}|slt jd|fd| |ft j| t j|dz} dd| iz}tt j|dx} x}}|d} | tk(}|st jd|fd| tft j| dt j vst jtrt jtnddz} dd| iz}tt j|dx} }y)uR모듈은 cron 등록 함수를 노출하지 않는다 (compute/build schema 만).rNc3<K|]}d|vxr d|vxrd|vyw)registercallbackcommandNrHrWs r&rz5test_no_real_cron_registration_api..s2  q CZ1_ C!1C CsrYrrrMrRrrr^rr[r\dispatch_py_untouchedTr]r rmrnrZcallback_chat_id)z%(py1)s == %(py3)srrhriassert %(py5)sra)r[r\r]rrwrxruryrzr{r|rrrvr) rTrrrrr^rrrrrrrJs r&"test_no_real_cron_registration_apirms 8s  2-@H 0 :@b@ :b @@@@ :b@@@@@@ 0@@@ 0@@@@@@@@@@@@ :@@@b@@@@@@@ + ,44 , 4444 ,444 ,4444444444 & '? '+? ???? '+???? '??????+????+????????r(c d}t|}d}d}||z}||z}d}d}||z}||z} || k(} | sstjd| fd|| fdtjvstj trtj tndd tjvstj |rtj |nd tj |d tjvstj |rtj |nd tj |tj |tj |tj |d z} d d | iz} ttj| d x}x} x}x}x}x}x}x}x}} d}t||} d}d}||z}||z} d}d}||z}| |z}| |k(}|stjd|fd| |fdtjvstj trtj tndd tjvstj |rtj |nd tj |tj | d tjvstj |rtj |nd tj |tj |tj |tj |d z} dd| iz}ttj|d x}x} x}x}x}x}x} x}x}x}}y )uL회장 §6 — fallback = dispatch_ts + ttl + 10m. 계산만, cron 등록 X.g.Ai <rR)zb%(py3)s {%(py3)s = %(py0)s(%(py1)s) } == ((%(py5)s + (%(py7)s * %(py9)s)) + (%(py13)s * %(py15)s))rrM)rWrhrirarcrpy13py15assert %(py19)spy19Nr)task_ttl_hours)z{%(py5)s {%(py5)s = %(py0)s(%(py1)s, task_ttl_hours=%(py3)s) } == ((%(py7)s + (%(py9)s * %(py11)s)) + (%(py15)s * %(py17)s))) rWrhrirarcrrrsrSzassert %(py21)spy21) rrurvrwrxryrzr{r|)rMrrr @py_assert10r_ @py_assert12 @py_assert14 @py_assert16 @py_assert17rrb @py_format20 @py_assert13 @py_assert18 @py_assert19 @py_format22s r& test_compute_fallback_ttl_marginrs D *4 0M1MtM1t8MD8OMbM2Mb2gMOg4MM 04M MMMM 04MMMMMMM *MMM *MMMMMM4MMM4MMM 0MMMMMMDMMMDMMM1MMMtMMMbMMM2MMMMMMMMM=>'Q?d( (?"$"W W $? $ %? $ ( ()-)->? @   #%r(cvddi}t|}g}||k7}|stjd|fd||fdtjvstj trtj tndtj |tj |tj |dz}dd|iz}ttj|dx}x}x}}i}t|}g}||k7}|stjd|fd||fd tjvstj trtj tnd tj |tj |tj |dz}dd|iz}ttj|dx}x}x}}dd i}t|}g}||k7}|stjd|fd||fd tjvstj trtj tnd tj |tj |tj |dz}dd|iz}ttj|dx}x}x}}y) Nrowrong!=)z0%(py4)s {%(py4)s = %(py0)s(%(py2)s) } != %(py7)sr)rWrXrYrczassert %(py9)srrxr) rrurvrwrxryrzr{r|rr)rrrrrrs r&test_schema_validation_negativers'/&9@ %&9 :@b@ :b @@@@ :b@@@@@@ %@@@ %@@@&9@@@ :@@@b@@@@@@@13: 0 4:: 4 :::: 4:::::: 0::: 0:::::: 4::::::::::)13> ' 8>B> 8B >>>> 8B>>>>>> '>>> '>>>>>> 8>>>B>>>>>>>r(c|dz }ttd|t}|j}t |}g}||k(}|s t j d|fd||fdtjvst jtrt jtnddtjvst j|rt j|ndt j|t j|t j|d z}d d |iz}tt j|d x}x}x}}|jS) uEspec §3 계약을 만족하는 정상 anu_delegation_result_v1 dict.ztask-9100.callback-ack.jsonz task-9100rrPrRrfrrUrgrjrkN) rrNr'r$rrurvrwrxryrzr{r|) rrrUrrrrrrs r&_valid_result_fixturers 2 2C +;' . C '*&;&;B %&; <BB < BBBB <BBBBBB %BBB %BBBBBBcBBBcBBB&;BBB <BBBBBBBBBB   r(ct|}d|d<t|}g}||k7}|stjd|fd||fdt j vstj |rtj|ndtj|dz}tjddzd |iz}ttj|d x}}d |D}t|}|sd d t j vstj trtjtnd tj|tj|dz}ttj|d x}}y )u항목 1/4 — review_ref 가 status 문자열이면 validate() 가 거부. 보강 전: validate() 가 shape 를 검사하지 않아 통과(RED). 보강 후: marker path|null 이 아니므로 errors 반환(GREEN). z&post_result_review:PASS(advisory=True)rrz%(py0)s != %(py3)serrorsr.uEstatus 문자열 review_ref 가 거부되지 않음 (drift 미검출)r/raNc3$K|]}d|v yw)rNrHres r&rzBtest_negative_review_ref_status_string_rejected..*sCq-2Crrrr rrrurvrwrxryrzr9r{r|r rdrrrrJrrrs r&/test_negative_review_ref_status_string_rejectedr s h'A(PA$% ' *F`6R<```6R``````6```6```R``````````CFCC3C CC CCCCCC3CCC3CCCCCCC CCCCCCCr(c~|dz }ttd|t}|jd}g}d}||u}|}|sag}t |t } | } | rI|j } d} | | } | } | r/d}||v}|} |r%d }||v}|} |r|j}d }||}| }|} | }|s`tjd |fd ||fd tjvstj|rtj|nd tj|dz}dd|iz}|j||szddtjvstjtrtjtndd tjvstj|rtj|nd dtjvstjt rtjt ndtj dz}j|| rHdd tjvstj|rtj|nd tj tj tj dz}|j|| rtjdfd|ftj|d tjvstj|rtj|nd dz}dd|iz}|j||r"tjdfd|ftj|d tjvstj|rtj|nd dz}dd|iz}|j||rd d tjvstj|rtj|nd tjtjtjd!z}|j|tj|d"iz}d#d$|iz} |j| tj|d%iz}!tj d&|d'zd(|!iz}"t#tj$|"dx}x}x}x}x} x}x} x} x} x} x}x}x}x}x}x}x}}g}d}||u}|}|r t'|}#|#j(}$|$}%|%}|stjd)|fd*||fd tjvstj|rtj|nd tj|dz}dd|iz}|j||rd+d,tjvstjt&rtjt&nd,d tjvstj|rtj|nd tj#tj$tj%d-z}&|j|&tj|d"iz}'d.d/|'iz}(t#tj$|(dx}x}x}x}x}#x}$}%|j})t+|)}g}*||*k(}+|+s tjd0|+fd1||*fd2tjvstjt*rtjt*nd2d3tjvstj|rtj|nd3tj|)tj|tj|*d4z},d5d6|,iz}-t#tj$|-dx})x}x}+}*y)7u항목 1/4 — collector 출력 review_ref 는 절대 status 문자열이 아니다. marker path (.json) 또는 None 만 허용. status 패턴 문자열 출현 시 실패. ztask-9101.callback-ack.jsonz task-9101rrPrNz.json(=zpost_result_review:r])z%(py2)s is %(py5)sref)rXrarQrcz3%(py15)s {%(py15)s = %(py11)s(%(py12)s, %(py13)s) }r4r)rrtrrrszI%(py23)s {%(py23)s = %(py19)s {%(py19)s = %(py17)s.endswith }(%(py21)s) })rSrurwpy23rq)z%(py26)s not in %(py28)s)py26py28z%(py30)spy30)z%(py33)s not in %(py35)s)py33py35z%(py37)spy37zOnot %(py45)s {%(py45)s = %(py41)s {%(py41)s = %(py39)s.startswith }(%(py43)s) })py39py41py43py45rz%(py49)spy49ru/review_ref 가 marker path|null 계약 위반: z >assert %(py52)spy52r)z%(py2)s is not %(py5)sz`%(py16)s {%(py16)s = %(py14)s {%(py14)s = %(py12)s {%(py12)s = %(py9)s(%(py10)s) }.is_file }() }r)rrkrtrRpy16rtrurRrfrrUrgrjrk)rrNr'r$r4rendswithrDrurvrwrxryrzrrZr9r{r|ris_filer).rrrUrrrrrrxrzrr @py_assert20 @py_assert22 @py_assert25 @py_assert27 @py_assert32 @py_assert34 @py_assert40 @py_assert42 @py_assert44 @py_assert46rrra @py_format24 @py_format29 @py_format31 @py_format36 @py_format38 @py_format47 @py_format48 @py_format50 @py_format51 @py_format53r_r~ @py_assert15 @py_format17rbr}rrrrrs. r&9test_negative_collector_review_ref_is_marker_path_or_nullr-s 2 2C +;' . C    > ?CA$A3$;A3AA LLA A  !A !A ! A sNA  A sN A  A 5 A 45 A 6 5 A 6 AA 0A/@ A3$AA ;A& AA )A(@ AA 8Ay AA 8Ay AAA ;A& A ;A AA ;A& AA )A(@ AA 8Ay AA ;A& AA )A(@ AA 8Ay AA ;A& AA )A(@ AA 8Ay AA 8Ay AA ;A& A ;A A ;A& AA )A(@ AA 8Ay AA 8Ay AA 8Ay !AA 8Ay "AA ;A& A ;A "A 0A/@ A sAA 8Ay AA ;A& AA )A(@AA 8AyAAA ;A& A ;A A 0A/@ A s AA 8Ay  AA ;A& AA )A(@ AA 8Ay AAA ;A& A ;A AA ;A& AA )A(@ AA 8Ay AA 8Ay AA 8Ay 5 AA 8Ay6 AA ;A& A ;A A 3A. AAA ;A& A ;A A 3A. AA 0A/@ 8@ AAA .A-@ AAAAAA3d23d?2tCy2y00202222223d22222232223222d2222222222t222t222222C222C222y222022222222222222222&)&;&;B %&; <BB < BBBB <BBBBBB %BBB %BBBBBBcBBBcBBB&;BBB <BBBBBBBBBBr(ct|}d|dd<t|}g}||k7}|stjd|fd||fdt j vstj |rtj|ndtj|dz}tjdd zd |iz}ttj|d x}}d |D}t|}|sd dt j vstj trtjtndtj|tj|dz}ttj|d x}}y )u항목 2/4 — stale_distinction_evidence 미명세 key 는 거부. 보강 전: validate() 가 nested key 화이트리스트를 모르므로 통과(RED). 보강 후: 허용 key 집합 외 → errors(GREEN). Tr6surprise_unspecified_keyrrrr.u=미명세 stale key 가 거부되지 않음 (drift 미검출)r/raNc3$K|]}d|v yw)rNrHrs r&rz?test_negative_unspecified_stale_key_rejected..Os?1)Q.?rrrrrrs r&,test_negative_unspecified_stale_key_rejectedrEs h'ABFA"#$>? ' *FX6R<XXX6RXXXXXX6XXX6XXXRXXXXXXXXXX???3? ?? ??????3???3??????? ???????r(c d}|D] t|}|dj dt|}g}||k7}|stjd|fd||fdt j vstj|rtj|ndtj|dz}tjd d zd |iz}ttj|dx}} fd |D}t|}|stjd d |dzdt j vstjtrtjtndtj|tj|dz} ttj| dx}}y)u항목 3/4 — spec §3 7 nested key 중 하나라도 누락 시 validate() 실패. 보강 전 validate() 는 normal_callback_cron_id / ttl_expiry_ts_utc 를 검사하지 않았다 → 누락을 통과(RED). 보강 후 누락 검출(GREEN). )r8r9r:ttl_expiry_ts_utcr;r<r=r6Nrrrr.unested key 누락 미검출: r/rac3&K|]}|v ywrrH)rrdrops r&rzBtest_negative_missing_stale_nested_key_rejected..fs-419-su 누락 key 'u&' 가 errors 에 명시되지 않음: z. >assert %(py4)s {%(py4)s = %(py0)s(%(py2)s) }rr) rpoprrurvrwrxryrzr9r{r|r) rspec_nested_keysrrrrrJrrrrs @r&/test_negative_missing_stale_nested_key_rejectedrRsb !  !( + &'++D$7+A.Cv|CCCvCCCCCCvCCCvCCCCCCr;r:rr<r=r9r8rR)z0%(py3)s {%(py3)s = %(py0)s(%(py1)s) } == %(py5)ssetrspec7rrbrcN)<=)z0%(py0)s <= %(py5)s {%(py5)s = %(py2)s(%(py3)s) }r)rWrXrirarr)z%(py1)s in %(py3)srkrlra)z<%(py3)s {%(py3)s = %(py0)s(%(py1)s) } == (%(py5)s | %(py7)s))rWrhrirarcrjrk) r[rrrrurvrwrxryrzr{r|)rrrrrrrrrrJrrrrs r&/test_stale_evidence_allowed_key_set_is_explicitrks   E 3 4= 4 ==== 4======3===3======3===3=== 4================?@@5@ @@@@5@@@@@@@5@@@5@@@@@@C@@@C@@@@@@?@@@?@@@@@@@@@@@ 'R '+R RRRR '+RRRR 'RRRRRR+RRRR+RRRRRRRR 6 7$D5D< 7<  7<  77 8rs.#   N " " $ + + 2 2 9 9 y>SXXHHOOC N#3y>"0(AA )W) !BB*20H4@.&<I( - E N @*B C D 7 :z E @? ! DC0 @ 2:/ z CHH[V[[(D) *+r(