4jU<dZddlmZddlZddlmcmZddl Z ddl Z ddl m Z ddlZe ej!j"dZeee j(vr"e j(j+deedZd$dZej0d d Zej0d d Zd Zd ZdZdZdZdZ dZ!dZ"dZ#dZ$dZ%dZ&dZ'dZ(dZ)dZ*d%dZ+dZ,ejZj]dgdd Z/d!Z0d"Z1d#Z2y)&uregression — task-2605 Track B READ_ONLY_OPERATIONAL_PILOT. 9-stage 실 entrypoint 자동 결선을 *증명* 한다. 본 테스트는 실 entrypoint 를 직접 호출(mock-only/문서-only 금지)하며 read-only — write 0, 실 dispatch 0, ledger byte-0 (direct write 0). mock-only FAIL: 음성 케이스로 (i) 미매핑 goal_type fail-closed, (ii) executor self key callback 구조적 차단, (iii) dead-man/fallback 진행 트리거 하드 FAIL, (iv) self-chain QUARANTINED, (v) Track A durable-success EVENT 소비 event-driven 분기(A 미완→NON_BLOCKING / A 완료→cancel-on-success live remove 또는 CANCEL_FAILED_CLASSIFIED) 를 검증한다. ) annotationsN)Path%scripts/run_operational_pilot_2605.pyctjj|ttz }g}|}|r|j }|}|sdddt jvstj|rtj|ndiz}|j||rlddt jvstj|rtj|ndtjdz}|j|tj|diz}dd|iz}ttj|dx}x}}tjj|} |j j!| | S) Nz%(py2)spy2specz#%(py6)s {%(py6)s = %(py4)s.loader })py4py6rassert %(py9)spy9) importlibutilspec_from_file_locationROOT PILOT_RELloader @py_builtinslocals @pytest_ar_should_repr_global_name _safereprappend_format_boolopAssertionError_format_explanationmodule_from_spec exec_module) modnamer @py_assert1 @py_assert0 @py_assert5 @py_format3 @py_format7 @py_format8 @py_format10mods C/home/jay/workspace/tests/regression/test_operational_pilot_2605.py_loadr)s >> 1 1'4);K LD44DKKK444DDK .. ) )$ /CKKC Jmodule)scopectdS)N _p2605_pilot)r)r*r(pilotr0&s   r*c"|jSN) run_pilot)r0s r(runr4+s ?? r*c|j}d}||k(}|stjd|fd||fdtjvstj |rtj |ndtj |tj |dz}dd|iz}ttj|dx}x}}d }|j}||v}|stjd |fd ||ftj |dtjvstj |rtj |ndtj |d z}dd|iz}ttj|dx}x}}d D]}|j}||v}|stjd |fd||fdtjvstj |rtj |nddtjvstj |rtj |ndtj |dz} dd| iz} ttj| dx}}y)u§4 expected_files allowlist = 정확히 회장 명세 10종. callback_4tuple_index.jsonl 은 track 미소유 공유 인프라 — 미포함.) r&memory/events/task-2605.pilot-run.jsonz-memory/events/task-2605.selected-profile.jsonz-memory/events/task-2605.execution-result.jsonz9memory/events/task-2605.independent-collector-result.json0memory/events/task-2605.consolidated-result.json/tests/regression/test_operational_pilot_2605.py%memory/events/task-2605.decision.json#memory/events/task-2605.result.jsonmemory/reports/task-2605.md==)z6%(py2)s {%(py2)s = %(py0)s.EXPECTED_FILES } == %(py5)sr0py0rpy5assert %(py7)spy7Nz)memory/events/callback_4tuple_index.jsonlnot in)z:%(py1)s not in %(py5)s {%(py5)s = %(py3)s.EXPECTED_FILES }py1py3r@)rr8r;)z6%(py0)s not in %(py4)s {%(py4)s = %(py2)s.EMIT_FILES }static)r?rr assert %(py6)sr ) EXPECTED_FILESr_call_reprcomparerrrrrr EMIT_FILES) r0r @py_assert4 @py_assert3 @py_format6r%r! @py_assert2rH @py_format5r$s r(#test_expected_files_allowlist_exactrR1s     $   $     $             $       4##3# $3# 4$ . #---v-----v-------v---v------U---U----------- .r*c|j}d}||k(}|stjd|fd||fdtjvstj |rtj |ndtj |tj |dz}dd|iz}ttj|dx}x}}|j}d }||k(}|stjd|fd ||fdtjvstj |rtj |ndtj |tj |dz}dd|iz}ttj|dx}x}}|j}|j}||k7}|stjd |fd ||fdtjvstj |rtj |ndtj |dtjvstj |rtj |ndtj |d z}dd|iz}ttj|dx}x}}|j}d}||k(}|stjd|fd||fdtjvstj |rtj |ndtj |tj |dz}dd|iz}ttj|dx}x}}y)uAcallback owner = 독립 ANU key; executor self key 절대 금지.c119085addb0f8b7r<)z8%(py2)s {%(py2)s = %(py0)s.ANU_CALLBACK_KEY } == %(py5)sr0r>rArBN1e41a2324a3ccdd0)z9%(py2)s {%(py2)s = %(py0)s.EXECUTOR_SELF_KEY } == %(py5)s!=)z_%(py2)s {%(py2)s = %(py0)s.ANU_CALLBACK_KEY } != %(py6)s {%(py6)s = %(py4)s.EXECUTOR_SELF_KEY }r?rr r assert %(py8)spy8z task-2604)z7%(py2)s {%(py2)s = %(py0)s.TRACK_A_TASK_ID } == %(py5)s) ANU_CALLBACK_KEYrrKrrrrrrEXECUTOR_SELF_KEYTRACK_A_TASK_ID) r0r rMrNrOr%r"r$ @py_format9s r(>test_callback_owner_is_independent_anu_executor_self_forbiddenr_Ms  ! !7%77 !%7 7777 !%777777757775777 !777%77777777  " "8&88 "&8 8888 "&888888858885888 "888&88888888  ! !assert %(py5)sr@) rrKrrritemsrrr_format_assertmsg) r4evr!rNrPrQr$namerir @py_format4rOs r(test_nine_stage_auto_chainedroUs8 \ B $ %-- % ---- %--- %---------- l #t# t #### t### ###t#######xL&&(,b+rTz+++rT++++++r+++r+++T+++dV7+++++++,r*c|dd}|d}d}||k(}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d }||u}|sltjd |fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d}|j }d}||}d} || k7} | stjd| fd|| ftj|tj|tj|tj|tj| dz} dd| iz} ttj| d x}x}x}x}x} } y )uFSTAGE1 — 회장 미지정 gate/HOLD/allowed/forbidden 자동 산출.stagesstage1statusRESOLVEDr<z%(py1)s == %(py4)srfrIr N profile_boundTrcreunknown_goal_type_resolutionrV)zJ%(py7)s {%(py7)s = %(py3)s {%(py3)s = %(py1)s.get }(%(py5)s) } != %(py10)s)rFrGr@rBpy10assert %(py12)spy12)rrKrrrget) r4s1r!rNrPrQr$rM @py_assert6 @py_assert9 @py_assert8 @py_format11 @py_format13s r(6test_stage1_profile_auto_resolved_without_chair_detailr^sE Xx B h<%:%<: %%%%<:%%%<%%%:%%%%%%% o &$& $ &&&& $&&& &&&$&&&&&&& , -I - 1 1I(I 1( ;IzI ;z IIII ;zIII -III 1III(III ;IIIzIIIIIIIIr*c|dd}|d}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d }||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}y )u7STAGE2 — executor self key callback 구조적 차단.rqstage2anu_key_registration_allowedTrcrerfrIr Nself_key_registration_allowedF2self_key_assert_raised_CallbackRegistrationBlockedrrKrrr)r4s2r!rNrPrQr$s r(%test_stage2_anu_key_contract_enforcedrfs  Xx B , -55 - 5555 -555 -5555555555 - .7%7 .% 7777 .%777 .777%7777777 B CKtK Ct KKKK CtKKK CKKKtKKKKKKKr*c|dd}|d}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}y ) u>STAGE4 — executor self collector = SELF_COLLECTOR_FORBIDDEN.rqstage4!executor_self_collector_forbiddenTrcrerfrIr Nindependent_anu_collector_okr)r4s4r!rNrPrQr$s r(-test_stage4_executor_self_collector_forbiddenrns Xx B 1 2:d: 2d :::: 2d::: 2:::d::::::: , -55 - 5555 -555 -5555555555r*c|dd}|d}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d }||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}y )uDSTAGE5 — authoritative 는 독립 ANU 만; self-chain QUARANTINED.rqstage5authoritative_passTrcrerfrIr Nself_chain_quarantinedexecutor_self_collectorFr)r4s5r!rNrPrQr$s r(@test_stage5_independent_anu_authoritative_self_chain_quarantinedrus  Xx B " #+t+ #t ++++ #t+++ #+++t+++++++ & '/4/ '4 //// '4/// '///4/////// ' (1E1 (E 1111 (E111 (111E1111111r*c@ |dd}|d}|d}|d}d}||u}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}|d }d}||u}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}|d}d}||u}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}|ddk(r|d}d}||k(}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}|dd}d}||k(}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}|d}d}||u}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}|d}d}||u}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}d}|dd}||v}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}y |d}d}||k(}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}|dd }d}||u}|sltjd|fd||ftj|tj|d z}d d |iz}ttj|d x}x}}y )!uSTAGE5 — acceptance = Track A durable-success EVENT 소비 (event-driven, NOT fixed-time/dead-man). A 미완→NON_BLOCKING(b) OPERATIONAL_PASS / A 완료→cancel-on-success live remove 또는 CANCEL_FAILED_CLASSIFIED.rqrtrack_a_event_consumptionfallback_acceptanceevent_driven_on_track_aTrcrerfrIr N event_drivenfixed_time_or_dead_man_usedFtrack_a_status A_INCOMPLETE criterionz'(b) REGISTRY_NON_BLOCKING_EXPLICIT_MARKr<ruverdictOPERATIONAL_PASSnon_blocking_mark_schema_validsemantic_binding_okbsatisfied_criterioninz%(py1)s in %(py4)s A_COMPLETEbranch+cancel_on_success_live_remove_or_classifiedr) r4rtafbr!rNrPrQr$s r(.test_stage5_acceptance_event_driven_on_track_ar}s Xx B ' (B ! "B ' (0D0 (D 0000 (D000 (000D0000000 n %%  %%%% %%% %%%%%%%%%% + ,55 , 5555 ,555 ,5555555555 ~-+K"KK"KKKKK"KKKKKKK"KKKKKKKK)}Y'=+=='+====='+===='===+========23;t;3t;;;;3t;;;3;;;t;;;;;;;'(0D0(D0000(D000(000D0000000:bm$9::s:::::s::::s:::::::::::"#3|3#|3333#|333#333|3333333 xLF G  G   G    H          r*c |dd}|d}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d }||v}|sltjd |fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d}d}||k(}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}d}|d}||v}|sltjd |fd||ftj|tj|dz}dd |iz}ttj|d x}x}}y )uSTAGE6 — +53 durable-success write-back **평가만**(read-only). 실 append 는 독립 ANU collector 소관 — ledger 직접 write 0.rqstage6durable_success_evaluatedTrcrerfrIr Nwriteback_classification)DURABLE_SUCCESS_WRITTENWRITEBACK_IDEMPOTENT_SKIPrrwrite_performedFledger_direct_writerr<ruzindependent ANU collectorapply_deferred_tor)r4s6r!rNrPrQr$s r(@test_stage6_durable_writeback_evaluated_readonly_no_ledger_writers Xx B ) *2d2 *d 2222 *d222 *222d2222222 ( ). ).  ). *.  )E) E )))) E))) )))E))))))) # $)) $ )))) $))) $)))))))))) &A"-@*AA &*A AAAA &*AAAA &AAA*AAAAAAAAr*c"|dd}|d}d}||v}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d }||u}|sltjd |fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d}d}||u}|sltjd |fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d}|d}d }||u}|sltjd |fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d}d }||u}|sltjd |fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|ddk(r|d}d}||u}|sltjd |fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d}d}||u}|sltjd |fd||ftj|tj|dz}dd |iz}ttj|d x}x}}y y )unSTAGE7 — Track A EVENT event-driven 소비; dead-man 진행 트리거 하드 FAIL; fixed-time 미사용.rqstage7r)NEXT_ACTION_READY ALL_SETTLEDWAITrrrfrIr N"event_driven_acceptance_consistentTrcrefixed_time_usedFforbidden_trigger_negative hard_fail%dead_man_signal_observed_not_promotedrrtrack_a_in_events_observed track_a_single_task_result_readyr)r4s7r!rNrPrQr$negs r(/test_stage7_loop_event_driven_deadman_forbiddenrsu Xx B i=HHH=H HHHH=HHHH=HHHHHHHHHHH 2 3;t; 3t ;;;; 3t;;; 3;;;t;;;;;;;  )E) E )))) E))) )))E))))))) ) *C { #t# t #### t### ###t####### 6 7?4? 74 ???? 74??? 7???4??????? ~-./858/58888/5888/8885888888845>>5>>>>5>>>5>>>>>>>>>>.r*c|dd}|d}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|d }d }||k(}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}|dd}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz}ttj|d x}x}}y )uJSTAGE8 — proposal-only·additive; fallback 진행 트리거 하드 FAIL.rqstage8actual_write_performedFrcrerfrIr N auto_executedmerge_pr_writerr<rurrTr)r4s8r!rNrPrQr$s r(4test_stage8_enactor_proposal_only_fallback_forbiddenrs` Xx B & '050 '5 0000 '5000 '00050000000 o '%' % '''' %''' '''%'''''''  $1$ 1 $$$$ 1$$$ $$$1$$$$$$$ * +K 8@D@ 8D @@@@ 8D@@@ 8@@@D@@@@@@@r*c,|j|}|d}|d}d}||u}|sltjd|fd||ftj|tj|dz}dd|iz}t tj |d x}x}}d }|d }||v}|sltjd |fd ||ftj|tj|dz}dd|iz}t tj |d x}x}}y )uGself-chain 산출은 영구 비권위 — authoritative 는 독립 ANU.r7self_chain_authoritativeFrcrerfrIr N%DEFERRED_TO_INDEPENDENT_ANU_COLLECTORauthoritative_selectionrr_build_artifactsrrKrrr) r4r0artcrr!rNrPrQr$s r(!test_self_chain_not_authoritativers   %C ? @B ( )2U2 )U 2222 )U222 )222U2222222 2 $% 2%  2% 3 &r*c@|j|}|d}|d}|d}g}||k(}|sltjd|fd||ftj|tj|dz}dd|iz} t tj | d x}x}}d }|d }||v}|sltjd |fd ||ftj|tj|dz}dd|iz} t tj | d x}x}}|d} | d}d}||u}|sltjd|fd||ftj|tj|dz}dd|iz} t tj | d x}x}}| d}d}||k(}|sltjd|fd||ftj|tj|dz}dd|iz} t tj | d x}x}}| d}d}||k(}|sltjd|fd||ftj|tj|dz}dd|iz} t tj | d x}x}}y )uC회장 §7 — team result contract + subagent usage ledger 강제.r:subagent_usage_ledgersubagents_usedr<rurfrIr Nusubagent 미사용 declarationrrexternal_boundary_contractteam_result_contractTrcre*executor_self_key_callback_collector_countr'executor_self_dispatch_delegation_countr) r4r0rresledr!rNrPrQr$ebcs r("test_subagent_usage_ledger_presentrs   %C 3 4C % &C  &B& B &&&& B&&& &&&B&&&&&&& 53}#55 #5 5555 #5555 555#55555555 * +C % &.$. &$ .... &$... &...$....... ; <AA < AAAA <AAA <AAAAAAAAAA 8 9>Q> 9Q >>>> 9Q>>> 9>>>Q>>>>>>>r*c |j|}|d}|d}|d}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz} t tj | d x}x}}|d }d}||u}|sltjd|fd||ftj|tj|dz}dd |iz} t tj | d x}x}}|d }d}||u}|sltjd|fd||ftj|tj|dz}dd |iz} t tj | d x}x}}|d }d}||u}|sltjd|fd||ftj|tj|dz}dd |iz} t tj | d x}x}}|d}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz} t tj | d x}x}}|d}d}||k(}|sltjd|fd||ftj|tj|dz}dd |iz} t tj | d x}x}}|d}|j } || k(}|stjd|fd|| ftj|dtjvstj|rtj|ndtj| dz} dd| iz} t tj | d x}x}} |d}d}||u}|sltjd|fd||ftj|tj|dz}dd |iz} t tj | d x}x}}d}|d}||v}|sltjd|fd||ftj|tj|dz}dd |iz} t tj | d x}x}}y )uF§2/§5 — read-only·no PR/merge/credential/branch + ledger write 0.r9conditions_satisfied_2 read_onlyTrcrerfrIr Nno_prno_merge no_credentialno_branch_commit_pushrrr<rushared_infra_not_allowlisted)z5%(py1)s == %(py5)s {%(py5)s = %(py3)s.SHARED_LEDGER }r0rErArBhold_for_chairFz(Track A(task-2604) durable-success EVENTacceptance_fallback_criterionrr) rrrKrrr SHARED_LEDGERrrr) r4r0rdeccr!rNrPrQr$rMrOr%s r(2test_decision_conditions_read_only_no_ledger_writersZ   %C 5 6C $%A [>!T!>T !!!!>T!!!>!!!T!!!!!!! W:: :: Z= D =D    =D   =   D       _ %%  %%%% %%% %%%%%%%%%% $ %-- % ---- %--- %---------- " #(q( #q (((( #q((( #(((q((((((( - .E%2E2EE .2E EEEE .2EEEE .EEEEEE%EEE%EEE2EEEEEEEE  )E) E )))) E))) )))E))))))) 5 +, 5,  5, 6 -r*c r|jdd|jgd}|j|}d|jdddd|jiddd d }|j ||}|d }|d }d }||v}|slt j d|fd||ft j|t j|dz} dd| iz} tt j| dx}x}}|d} | d}d }||k(}|slt j d|fd||ft j|t j|dz} dd| iz} tt j| dx}x}}| d}d}||u}|slt j d|fd||ft j|t j|dz} dd| iz} tt j| dx}x}}g} | d}|j} d}| |}|}|s| d}d}||k(}|}|sdt j|t j| t j|t j|dz}| j||s_t j dfd ft j|t j|d!z}d"d#|iz}| j|t j| diz}d$d%|iz}tt j|dx}x} x}x} x}x}x}x}}y)&utA 완료 시뮬레이션 — Track A durable-success EVENT 존재 시 cancel-on-success live remove 또는 CANCEL_FAILED_CLASSIFIED 분기가 실 entrypoint(cancel_on_success_live_wiring)로 동작함을 증명. 현 ledger 에 task-2605 fallback record 가 없으므로 분류 처분 CANCEL_FAILED_CLASSIFIED 가 되어야 한다 (미분류 잔존 아님).gs)goal_idgoal_statement goal_typeboundaryztest-injected A_COMPLETETtask_idFr) real_entrypointtrack_a_task_idshared_ledger_present%track_a_durable_success_event_presenttrack_a_durable_records_counttrack_a_registry_recordrrrrr)z!(a) CANCEL_ON_SUCCESS_LIVE_REMOVECANCEL_FAILED_CLASSIFIEDrrrfrIr Nrrr<rurrcrecancel_dispositionr&CANCEL_ON_SUCCESS_LIVE_REMOVE_ELIGIBLEzE%(py9)s {%(py9)s = %(py5)s {%(py5)s = %(py3)s.startswith }(%(py7)s) })rGr@rBr )z%(py12)s == %(py15)s)rzpy15z%(py17)spy17zassert %(py20)spy20) _stage1_profile_selection GOAL_TYPE_stage3_executorr]_stage5_independent_collectorrrKrrr startswithrr)r0r|s3track_a_completerrr!rNrPrQr$brr rMr}r @py_assert11 @py_assert14 @py_assert13r& @py_format16 @py_format18 @py_format19 @py_format21s r(7test_a_complete_branch_classified_when_no_lookup_recordrsE  ( (!   B    #B5 00!%15)*$-u/D/D#E',&   , ,R1A BB ! "B k?? ?  HB  /</ < //// </// ///</////// ; <DD < DDDD <DDD <DDDDDDDDDDN2" #N # . .N"N ." N N  !N%MN !%M MNNDMI $NNDMI /NNDMI #NNDMI NNGMvNGM N)listrselect_authoritative_verdict)r;r<rr=recsealcallsdelegates r(spyz_make_seal_spy..spy(sbG}X    S 3384D $C Kr*r/)rDrErCs` @r(_make_seal_spyrFs E" :r*c (td\}}|j|d||j|d|d}t|}d}||k(}|s t j d|fd||fd t jvst jtrt jtnd d t jvst j|rt j|nd t j|t j|d z} t jd d zd| iz} tt j| dx}x}}|d} | d} |j}| |k(}|st j d|fd| |ft j| dt jvst j|rt j|ndt j|dz} dd| iz}tt j|dx} x}}| d} |jg}| |k(}|slt j d|fd| |ft j| t j|dz}dd|iz} tt j| dx} x}}| d} |jg}| |k7}|slt j d|fd| |ft j| t j|dz}dd|iz} tt j| dx} x}}| d}t|}d}||k(}|st j d|fd||fd t jvst jtrt jtnd t j|t j|t j|d z}d!d"|iz}tt j|dx}x}x}}| dd}|j }d#}||k(}|st j d|fd$||fd%t jvst j|rt j|nd%t j|t j|d&z} dd| iz}tt j|dx}x}}|j"}|j}||k(}|st j d|fd'||fd%t jvst j|rt j|nd%t j|dt jvst j|rt j|ndt j|d(z} d)d| iz} tt j| dx}x}}|j$}|j}||k(}|st j d|fd*||fd%t jvst j|rt j|nd%t j|dt jvst j|rt j|ndt j|d(z} d)d| iz} tt j| dx}x}}|j&}|j}||k(}|st j d|fd+||fd%t jvst j|rt j|nd%t j|dt jvst j|rt j|ndt j|d(z} d)d| iz} tt j| dx}x}}|j(}d}||u}|st j d,|fd-||fd%t jvst j|rt j|nd%t j|t j|d&z} dd| iz}tt j|dx}x}}|j*}d.}||k(}|st j d|fd/||fd%t jvst j|rt j|nd%t j|t j|d&z} dd| iz}tt j|dx}x}}| d0}|j,}|jg}||}|j.}||k(}|st j d|fd1||fd%t jvst j|rt j|nd%t j|t j|t j|d0t jvst j|rt j|nd0t j|d2z}d3d4|iz}tt j|dx}x}x}x}}| d5}|j0}t3||}|sd6d7t jvst jt2rt jt2nd7d5t jvst j|rt j|nd5d0t jvst j|rt j|nd0t j|t j|d8z} tt j| dx}}|j4}|j6}||k(}|st j d|fd9||fd5t jvst j|rt j|nd5t j|d0t jvst j|rt j|nd0t j|d(z} d)d| iz} tt j| dx}x}}|j8}d}||k(}|st j d|fd:||fd5t jvst j|rt j|nd5t j|t j|d&z} dd| iz}tt j|dx}x}}|j:}d}||k\}|st j d;|fd<||fd5t jvst j|rt j|nd5t j|t j|d&z} dd| iz}tt j|dx}x}}|j<}d=}||u}|st j d,|fd>||fd5t jvst j|rt j|nd5t j|t j|d&z} dd| iz}tt j|dx}x}}|d?} |j>}| |k(}|st j d|fd@| |ft j| d5t jvst j|rt j|nd5t j|dz} dd| iz}tt j|dx} x}}|dA} |j4}| |k(}|st j d|fdB| |ft j| d5t jvst j|rt j|nd5t j|dz} dd| iz}tt j|dx} x}}|dC} |j:}| |k(}|st j d|fdD| |ft j| d5t jvst j|rt j|nd5t j|dz} dd| iz}tt j|dx} x}}|dE} |j8}| |k(}|st j d|fdF| |ft j| d5t jvst j|rt j|nd5t j|dz} dd| iz}tt j|dx} x}}|dG} d}| |u}|slt j d,|fdH| |ft j| t j|dz}dd|iz} tt j| dx} x}}|dI} d=}| |u}|slt j d,|fdH| |ft j| t j|dz}dd|iz} tt j| dx} x}}dJ} |dK}| |v}|slt j dL|fdM| |ft j| t j|dz}dd|iz} tt j| dx} x}}y)NuSTAGE9 옵션 A 강화 — `select_authoritative_verdict` *실제 호출*을 monkeypatch/spy 로 독립 증명한다 (회장 §4.1·§4.2). seam spy 가 ``consolidate_pilot_result`` 가 로드한 *실* avs 모듈로 위임 → 실 entrypoint 가 *진짜 consolidated self-chain 레코드* 에 대해 실행됨을 관찰. 통합 결과 dict 의 seal 필드가 실 seal 값에서 *파생* 됨을 대조(자기보고 플래그만 검증 금지 — §4.2).T)rD!_consolidation_authoritative_sealrq track_a_eventrr<)z0%(py3)s {%(py3)s = %(py0)s(%(py1)s) } == %(py6)slenrC)r?rFrGr uXselect_authoritative_verdict seam 미경유 — stage9 하드코딩/static-string 회귀z >assert %(py8)srZNrr)z/%(py1)s == %(py5)s {%(py5)s = %(py3)s.TASK_ID }r0rErArBr=rurfrIr rV)z%(py1)s != %(py4)sr<)z0%(py4)s {%(py4)s = %(py0)s(%(py2)s) } == %(py7)s)r?rr rBr r collector_result)z,%(py2)s {%(py2)s = %(py0)s.kind } == %(py5)svrr>)zL%(py2)s {%(py2)s = %(py0)s.task_id } == %(py6)s {%(py6)s = %(py4)s.TASK_ID }rXrY)z[%(py2)s {%(py2)s = %(py0)s.executor_key } == %(py6)s {%(py6)s = %(py4)s.EXECUTOR_SELF_KEY })z\%(py2)s {%(py2)s = %(py0)s.collector_key } == %(py6)s {%(py6)s = %(py4)s.EXECUTOR_SELF_KEY }rc)z@%(py2)s {%(py2)s = %(py0)s.session_is_executor_self } is %(py5)s independent)z6%(py2)s {%(py2)s = %(py0)s.claimed_origin } == %(py5)sr;)z}%(py6)s {%(py6)s = %(py2)s {%(py2)s = %(py0)s.derived_origin }(%(py4)s) } == %(py10)s {%(py10)s = %(py8)s.ORIGIN_SELF_CHAIN })r?rr r rZrxryrzr>zgassert %(py6)s {%(py6)s = %(py0)s(%(py1)s, %(py4)s {%(py4)s = %(py2)s.AuthoritativeSelectionResult }) } isinstance)r?rFrr r )zi%(py2)s {%(py2)s = %(py0)s.classification } == %(py6)s {%(py6)s = %(py4)s.AUTHORITATIVE_VERDICT_PENDING })z=%(py2)s {%(py2)s = %(py0)s.independent_anu_count } == %(py5)s>=)z9%(py2)s {%(py2)s = %(py0)s.quarantined_count } >= %(py5)sF)z*%(py2)s {%(py2)s = %(py0)s.ok } is %(py5)sconsolidation_seal_verdict)z/%(py1)s == %(py5)s {%(py5)s = %(py3)s.verdict }!consolidation_seal_classification)z6%(py1)s == %(py5)s {%(py5)s = %(py3)s.classification }$consolidation_seal_quarantined_count)z9%(py1)s == %(py5)s {%(py5)s = %(py3)s.quarantined_count }(consolidation_seal_independent_anu_count)z=%(py1)s == %(py5)s {%(py5)s = %(py3)s.independent_anu_count })consolidation_non_authoritative_confirmedrerrrrr) rFsetattrconsolidate_pilot_resultrJrrKrrrrrkrrTASK_IDr[r\kindr executor_key collector_keysession_is_executor_selfclaimed_originderived_originORIGIN_SELF_CHAINAuthoritativeSelectionResultrNclassificationAUTHORITATIVE_VERDICT_PENDINGindependent_anu_countquarantined_countrir)r4r0 monkeypatchrErCoutrPr"rMr$r^rr!rOr%rNrQr r}r&rLr;r~ @py_assert7rrr>s r(@test_stage9_select_authoritative_verdict_real_call_proven_by_spyrh<s  .JCBCH  ( ( H s?+ C u::?:     aA Y<(5==(<= ((((<=(((<((((((5(((5(((=((((((( Z=4U3344=4 4444=4444=44444444444 Z=5U4455=5 5555=5555=55555555555|!3| !!  !!!! !!!!!!3!!!3!!!|!!! !!!!!!!!!! 9aB 77(((7( ((((7(((((((2(((2(((7((((((((((( ::&&: &&&&:&&&&&&2&&&2&&&:&&&&&&&&&&&&&&&&&&& ??5e555?5 5555?555555525552555?555555e555e55555555555  6u666 6 6666 666666626662666 666666u666u66666666666 & &.$. &$ .... &$......2...2... &...$.......  - -  ----  ------2---2--- --- ------- E(C  11223  3  !3    3 4   !+I!$!A!AB:i!A BB BBBBBB:BBB:BBBBBBiBBBiBBBBBBBBBBBB!ABBB BBBBBBB  # #Hs'H'HH #'H HHHH #'HHHHHHH9HHH9HHH #HHHHHHsHHHsHHH'HHHHHHHH  * */a/ *a //// *a//////9///9/// *///a///////  & &+!+ &! ++++ &!++++++9+++9+++ &+++!+++++++ << 5 <5    <5      9   9   <   5        + ,A 0A0AA ,0A AAAA ,0AAAA ,AAAAAA AAA AAA0AAAAAAAA /0  # #0 # $0 # 1   $ 23  & &3 & '3 & 4   ' 67  * *7 * +7 * 8   + : ;CtC ;t CCCC ;tCCC ;CCCtCCCCCCC ) *3e3 *e 3333 *e333 *333e3333333 2 %& 2&  2& 3 'r*zcls,qc,iac,vrd,expect_non_auth))rbrFAILT)MUT_SENTINEL_CLSiMUT_SENTINEL_VF)AUTHORITATIVE_PASSrrPASSFc p|jdd}|jd|||jdd||dddg fd} |j|d | |j |d |d } | d } | |k(} | st j d | fd| |ft j| dtjvst j|rt j|nddz} dd| iz}tt j|dx} } | d} | |k(} | st j d | fd| |ft j| dtjvst j|rt j|nddz} dd| iz}tt j|dx} } | d} | |k(} | st j d | fd| |ft j| dtjvst j|rt j|nddz} dd| iz}tt j|dx} } | d} | |k(} | st j d | fd| |ft j| dtjvst j|rt j|nddz} dd| iz}tt j|dx} } | d} | |u} | st j d| fd| |ft j| dtjvst j|rt j|nddz} dd| iz}tt j|dx} } y)uSTAGE9 옵션 A 강화 — 하드코딩 우회 구조 제거 (회장 §4.3). seam 이 *임의* selector 결과를 반환하도록 변형하면 통합 결과 dict 가 그 값을 *그대로 반영* 해야 한다. ``consolidate_pilot_result()`` 가 stage9 값을 하드코딩하면 본 mutation 대조에서 반드시 FAIL → 하드코딩 통과 구조가 구조적으로 제거됨을 보증한다.z%anu_v3.authoritative_verdict_selectorz(anu_v3/authoritative_verdict_selector.pyzmutation-sentinelNFmutation) schemarrarauthoritative_verdictauthoritative_source_kindrdrcdeadman_duplicate_seen deadman_validreasonsc ~~Sr2r/)_a_ksentinels r(mutzEtest_stage9_hardcoded_consolidation_cannot_pass_mutation..muts r*rHrqrIrQr<)z%(py1)s == %(py3)svrd)rFrGzassert %(py5)sr@rRclsrSqcrTiacrUrc)z%(py1)s is %(py3)sexpect_non_auth) _load_realr`rXrVrWrrKrrrrrr)r4r0rer~rrr}rr;r|rfr!rPrnrOr{s @r(8test_stage9_hardcoded_consolidation_cannot_pass_mutationrs}(   /2 C//" ""&!$ 0 HBCH  ( ( H s?+ C + ,3 , 3333 ,333 ,3333333333333333 2 3: 3s :::: 3s::: 3::::::s:::s::::::: 5 6< 6" <<<< 6"<<< 6<<<<<<"<<<"<<<<<<< 9 :A :c AAAA :cAAA :AAAAAAcAAAcAAAAAAA : ;N ; NNNN ;NNN ;NNNNNNNNNNNNNNNNr*cd}|j|d|tjtd5|j |d|ddddy#1swYyxYw)u]STAGE9 옵션 A 강화 — seam(실 selector) 이 critical path 임을 증명. seam 을 예외로 대체하면 ``consolidate_pilot_result`` 가 그대로 전파해야 한다. stage9 가 selector 결과와 무관한 하드코딩 shortcut 을 가졌다면 예외가 삼켜져 통과할 것이므로, 본 테스트가 그 구조를 차단.c~~td)Nseam-on-critical-path-probe)r,)ryrzs r(boomz@test_stage9_seam_is_on_critical_path_not_dead_code..booms 899r*rHr)matchrqrIN)rVpytestraisesr,rW)r4r0rers r(2test_stage9_seam_is_on_critical_path_not_dead_coders\:BDI |+H I  && M3/    s AAc >|dd}|d}g}d}||v}|}|rd}||v} | }|sXtjd|fd||ftj|dtjvstj |rtj|ndd z} d d | iz} |j | |rtjd fd |ftj|dtjvstj |rtj|ndd z} dd| iz} |j | tj|diz}dd|iz}ttj|dx}x}x}x}x}} d}|jdd}||v}|sltjd|fd||ftj|tj|dz}dd|iz}ttj|dx}x}}|d}d}||k(}|sltjd|fd||ftj|tj|dz}dd|iz}ttj|dx}x}}|d}d }||u}|sltjd!|fd"||ftj|tj|dz}dd|iz}ttj|dx}x}}|d#}d$}||u}|sltjd!|fd"||ftj|tj|dz}dd|iz}ttj|dx}x}}|d%}d }||u}|sltjd!|fd"||ftj|tj|dz}dd|iz}ttj|dx}x}}|d&}d'}||k(}|sltjd|fd||ftj|tj|dz}dd|iz}ttj|dx}x}}|d(}d}||k(}|sltjd|fd||ftj|tj|dz}dd|iz}ttj|dx}x}}|d)}d*}||k\}|sltjd+|fd,||ftj|tj|dz}dd|iz}ttj|dx}x}}|d-}d$}||u}|sltjd!|fd"||ftj|tj|dz}dd|iz}ttj|dx}x}}|d.}d$}||u}|sltjd!|fd"||ftj|tj|dz}dd|iz}ttj|dx}x}}d/}|d0}||v}|sltjd|fd1||ftj|tj|dz}dd|iz}ttj|dx}x}}|j}t|}|sd2d3tjvstj trtjtnd3d4tjvstj |rtj|nd4tj|tj|d5z} ttj| dx}}|j}t|}|sd6d3tjvstj trtjtnd3d4tjvstj |rtj|nd4tj|tj|d5z} ttj| dx}}|j}t|}|sd7d3tjvstj trtjtnd3d4tjvstj |rtj|nd4tj|tj|d5z} ttj| dx}}|d8d9d:}d }||u}|sltjd!|fd"||ftj|tj|dz}dd|iz}ttj|dx}x}}|j|}|d;}|d<}|j }|}t#|}t%d*d=Dchc]}d>| }}||k(}|stjd|fd?||fd@tjvstj t"rtjt"nd@tj|tj|tj|tj|tj|dAz}dBdC|iz}ttj|dx}x}x}x}x}}|d}|d}||k(}|sltjd|fd||ftj|tj|dz}dd|iz}ttj|dx}x}}dD}|d}||v}|sltjd|fd||ftj|tj|dz}dd|iz}ttj|dx}x}}|dE}|dF}|j }|}t#|}t%d*d=Dchc]}d>| }}||k(}|stjd|fd?||fd@tjvstj t"rtjt"nd@tj|tj|tj|tj|tj|dAz}dBdC|iz}ttj|dx}x}x}x}x}}|dGd}d }||u}|sltjd!|fd"||ftj|tj|dz}dd|iz}ttj|dx}x}}ycc}wcc}w)HuSTAGE9 — 옵션 B real-entrypoint 계승 계약 (자기보고 *외* spy 증명은 위 테스트들이 담당; 본 테스트는 형태/계약 계승만 보존).rqstage9rrrrr r!r"r#rBr$r%r&r'rzassert %(py17)srNz static string(rC)z%(py1)s not in %(py4)srfrIr consolidation_entrypointzBanu_v3.authoritative_verdict_selector.select_authoritative_verdictr<ruconsolidation_sealedTrcrerFrUrRrbrTrSrrO)z%(py1)s >= %(py4)srrrrrzZassert %(py5)s {%(py5)s = %(py0)s(%(py3)s {%(py3)s = %(py1)s.consolidate_pilot_result }) }callabler0)r?rFrGr@zWassert %(py5)s {%(py5)s = %(py0)s(%(py3)s {%(py3)s = %(py1)s._stage9_consolidation }) }zcassert %(py5)s {%(py5)s = %(py0)s(%(py3)s {%(py3)s = %(py1)s._consolidation_authoritative_seal }) }rarh$stage9_consolidation_real_entrypointr6nine_stage_chainrrzb%(py8)s {%(py8)s = %(py0)s(%(py6)s {%(py6)s = %(py4)s {%(py4)s = %(py2)s.keys }() }) } == %(py11)ssetr?rr r rZpy11assert %(py13)spy13z#consolidated result (memory/events/r7nine_stage_real_entrypointsstage9_consolidation_seal)rrKrrrrrrrrsplitrWr_stage9_consolidationrHrkeysrr-)r4r0s9r!r rPrMr!r~rrOr%rr3rrrNrQr$rr/r"rgr0 @py_assert10 @py_format12 @py_format14rs r(:test_stage9_self_report_contract_and_real_entrypoint_shapers  Xx B  B.8.8r>.j.jB.....8r...8......r...r.......jB...j......B...B.............. 2"((3-"22?"2 2222?"2222?222"22222222 %& '& ' ' & ' ' '  $ %-- % ---- %--- %---------- ( )2U2 )U 2222 )U222 )222U2222222 9 :BdB :d BBBB :dBBB :BBBdBBBBBBB 1 2' 2'  2' 3 ( 8 9>Q> 9Q >>>> 9Q>>> 9>>>Q>>>>>>> 4 5:: 5 :::: 5::: 5:::::::::: k?#e#?e ####?e###?###e####### " #,u, #u ,,,, #u,,, #,,,u,,,,,,, 2 $% 2%  2% 3 &22382 33 33333383338333333E333E3332333 3333333//08/ 00 00000080008000000E000E000/000 0000000;;<8; << <<<<<<8<<<8<<<<<assert %(py4)sr rzassert %(py4)srarbrcrerfrIr rhz_assert %(py8)s {%(py8)s = %(py0)s(%(py6)s {%(py6)s = %(py4)s {%(py4)s = %(py2)s.values }() }) }all)r?rr r rZ)jsonr3rrr-rrKrrrrrrdumpsrkvaluesr)r0rr1r2r rNr"rgr0rr~rrkrrr#rQr!rPr$r^s r(:test_stage1_8_byte_equivalent_no_regression_and_nine_stagers  B  B(||   "3" #"1b\(%s (( #(  #(  !# $(1a[AA3K ZZ8 Q4eZ L ZZ8 Q4eZ LRx@@@rR@@@@@@r@@@r@@@@@@R@@@R@@@@A3?@@@@@@@ A BxL*d OB BxL*d OB 8OOO2OOOOOO2OOO2OOOOOOOOOOOOOOOO l 2 3;t; 3t ;;;; 3t;;; 3;;;t;;;;;;;,)3)00302332 33 33333333333333)33303332333 3333333(s T)rstr)rDbool)3__doc__ __future__rbuiltinsr_pytest.assertion.rewrite assertionrewriterimportlib.utilrsyspathlibrr__file__resolveparentsrrpathinsertrr)fixturer0r4rRr_rorrrrrrrrrrrrr8rFrhmark parametrizerrrrr/r*r(rsL #   H~''*t9CHHHHOOAs4y! 3 h! !h  .80,JL62 2 B?"A ?$&NR 9