j< dZddlmZmZmZmZmZmZmZm Z m Z m Z m Z dZ dZdZdZdZdZd Zd Zd Zd Zd ZdZdZdZeeeeeee ee ee eiZeeeeehZeeeeeehZddZdZ dZ!dZ"dZ#dZ$dZ%dZ&dddZ'dZ(y)uMerge-ready DRY-RUN executor (Track B · read-only · evidence-only · merge 실행 0). merge_ready_classifier 의 output dict 와 PR identity 를 입력받아 verdict 별 routing artifact 를 결정적으로 생성한다. **본 task = dry-run 까지만** — 실 merge/push/PR/cron 발사 0 · GitHub write 0 · branch protection 우회 0 · admin override 자동화 0. doctrines (spec system_merge_ready_executor_dryrun_spec_260522.md): - evidence-only decoupled: anu_v3/런타임 import 0 · classifier 수정 0(입력 소비만) - pure function · read-only · 파일/네트워크/subprocess/live-git/merge I/O 0 · no daemon - 모든 artifact 에 actually_executed=false 강제 · 모든 executor_action 에 WOULD_* 접두사 강제 - verdict → routing (spec §1): PASS → merge_ready.auto_merge_candidate.v1 (executor_action=WOULD_MERGE) HOLD → merge_ready.remediation_required.v1 (executor_action=WOULD_AUTO_REMEDIATE) CHAIR_REQUIRED → merge_ready.hold_for_chair.v1 (executor_action=WOULD_ESCALATE_CHAIR) UNKNOWN → merge_ready.hold_for_chair.v1 (executor_action=WOULD_REGATHER, reason=INSUFFICIENT_EVIDENCE) - 보수적 추정 금지: classifier 가 UNKNOWN 이면 routing 도 REGATHER (재수집). - 결정적 idempotency: 동일 입력 2회 호출 → byte-identical 출력 (ts_kst 도 caller 가 공급). 본 모듈은 데이터-only 다. merge/push/PR/cron/branch-protection/admin-override 호출 경로 자체가 부재하다 (코드 경로 0 = 안전 불변식의 가장 강한 보증). 단일소스 스펙: memory/specs/system_merge_ready_executor_dryrun_spec_260522.md ) PASSHOLDCHAIR_REQUIREDUNKNOWN AR_CI_PENDINGAR_GEMINI_EVIDENCE_STALE AR_GEMINI_MEDIUM_WITHIN_EXPECTED*AR_GEMINI_NONCRITICAL_HIGH_WITHIN_EXPECTEDAR_UNRESOLVED_MEDIUM_THREAD AR_MERGE_STATE_TRANSIENT_BLOCKEDAUTO_REMEDIABLE_ORDERz#merge_ready.auto_merge_candidate.v1z#merge_ready.remediation_required.v1zmerge_ready.hold_for_chair.v1 WOULD_MERGEWOULD_AUTO_REMEDIATEWOULD_ESCALATE_CHAIRWOULD_REGATHERWOULD_WAIT_RECHECKWOULD_OWNER_GEMINI_REVIEW_NUDGE+WOULD_AUTO_FIX_REGRESS_PUSH_RESOLVE_RECHECKWOULD_RESOLVE_THREAD_RECHECKINSUFFICIENT_EVIDENCEuG같은 함수 HIGH 반복/scope 확장 조짐 → CHAIR_REQUIRED 승격"WOULD_RECLASSIFY_AFTER_REMEDIATIONcH t|S#ttf$r|cYSwxYw)u`안전 int 변환 (classifier 입력 견고성 doctrine 동형). pr 번호 등 비숫자 폴백.)int TypeError ValueError)valuedefaults 8/home/jay/workspace/utils/merge_ready_dryrun_executor.py_as_intr_s*5z z "s !!c|xsi}t|jddt|jdxsdt|jdxsdt|jdxsddS)u[pr_identity dict → 정규화된 dict({pr, head_sha, task_id, branch}). None-guard 포함.prrhead_shatask_idbranch)r!r"r$r%)rgetstr pr_identitypis r _identityr+gsj  BbffTlA&z*0b1rvvi(.B/bffX&,"-  cJ|xsi}t|jdxsdS)uts_kst 는 caller(=collector/wiring) 가 공급 — 결정적 idempotency 보장. None/누락 → 빈 문자열(스키마 형식 유지).ts_kstr#)r'r&r(s r_ts_kstr/rs'  B rvvh%2 &&r,c|xsi}|jdxsi}t|jddt|jddt|jdxsddS)upost_merge_smoke_plan 은 collector 가 사전 수집해 pr_identity 로 전달. 기본값(defined=True/runnable=True/cmd_ref="") — auto_merge_candidate 생성 시점에 smoke 가 정의/실행가능하다는 가정은 회장 executor 활성화 단계에서 재검증된다.post_merge_smoke_plandefinedTrunnablecmd_refr#)r2r3r4)r&boolr')r)r*sps r _smoke_planr7ysh  B ' ( .BBy$/0 D12rvvi(.B/ r,cr|xsi}|jdxsi}dt|jddiS)ucallback_lifecycle_artifact_plan — collector 가 lifecycle artifact 생성 가능성을 사전 통지. 기본 would_generate=True (정상 closeout 경로 가정). callback_lifecycle_artifact_planwould_generateT)r&r5)r)r*cps r_callback_planr<s>  B 2 3 9rB d266*:D#AB CCr,cN|jddurtd|jdd|jd}t|tr|j dstd|d|jd}|t t tfvrtd ||S) u3artifact 가 안전 불변식을 만족하는지 자체검증. 위반 시 ValueError(설계 버그 신호) — 정상 입력에서는 절대 발생하지 않아야 한다. 불변식: - actually_executed === False - executor_action 은 WOULD_* 접두사 - schema 는 3종 중 하나 actually_executedFz@safety invariant violated: actually_executed must be False (got )executor_actionWOULD_zIsafety invariant violated: executor_action must start with 'WOULD_' (got schemaz*safety invariant violated: unknown schema )r&r isinstancer' startswithSCHEMA_AUTO_MERGE_CANDIDATESCHEMA_REMEDIATION_REQUIREDSCHEMA_HOLD_FOR_CHAIR)artifactactionrBs r_assert_safety_invariantsrJs||'(5 LL!458 ;  \\+ ,F fc "&*;*;H*EWX^Waab c  \\( #F 13NPeffEfZPQQ Or,ct|jdxsi}t|d|d|d|dt|t |t ddt ||d }t|S) u:PASS → merge_ready.auto_merge_candidate.v1 (spec §2.1).auto_merge_10_conditionsr!r"r$r%FT) rBr!r"r$r%verdictrLr1r@r>requires_chair_activationr9r.)dictr&rErr7ACTION_WOULD_MERGEr<rJ)resultidentr)r. conditionsrHs r_build_auto_merge_candidaterTsrfjj!;<BCJ-Dk*%#/$.!,[!9-"%),:;,GH %X ..r,ct|jdxsg}tDcgc] }||vs| }}td|D}|j ||Dcgc]}|t j|t d!}}t|d|d|d|dt||tttd|d } t| Scc}wcc}w) u:HOLD → merge_ready.remediation_required.v1 (spec §2.2).auto_remediablec32K|]}|tvs |yw)N)r ).0as r z._build_remediation_required..sTAQ>S5SaTs )itemrIr!r"r$r%F) rBr!r"r$r%rMrVremediation_planloop_boundary_guard next_recheckr@r>r.) setr&r sortedextendAUTO_REMEDIABLE_ACTION_MAPACTION_WOULD_WAIT_RECHECKrFrLOOP_BOUNDARY_GUARD_TEXTNEXT_RECHECK_ACTIONACTION_WOULD_AUTO_REMEDIATErJ) rQrRr.auto_rem_src_setrYauto_remleftoverr[r\rHs r_build_remediation_requiredrjs6::&78>B?0JaA9I4IJHJT!1TTH OOH !;!?!?F_!`a .Dk*%#/#,7+6"H %X ..3K s B?B?$CN)reasonc Pt|jdxsg}t|jdxsg}t|jdxsg}|r|d} n|tk(rd} nd} | |gd} t|d|d |d |d ||| ||d |d } |r|| d<t | S)uTCHAIR_REQUIRED/UNKNOWN → merge_ready.hold_for_chair.v1 (spec §2.3). Args: verdict: CHAIR_REQUIRED 또는 UNKNOWN — classifier 값 그대로 보존(추정 0). executor_action: WOULD_ESCALATE_CHAIR (CHAIR_REQUIRED) | WOULD_REGATHER (UNKNOWN). reason: UNKNOWN 시 INSUFFICIENT_EVIDENCE 표식 (spec §1). chair_triggersblocking_reasonscritical7_hitsruFcore gate evidence(scope/gates) 결핍 → 재수집 필요 (추정 0)r#)one_line evidence_refsrecommended_optionsr!r"r$r%F) rBr!r"r$r%rMrmreport_envelopernr@r>r.rk)listr&REASON_INSUFFICIENT_EVIDENCErGrJ) rQrRr.rMr@rkrmrnrorprsrHs r_build_hold_for_chairrvs&**%56<"=NFJJ'9:@bA&**%56<"=N#A& / /['!O(Dk*%#/(*,*" H# $X ..r,c~|xsi}|jd}t|}t|}|tk(rt ||||S|t k(r t |||S|tk(rt|||ttS|tk(rt|||tttSt|||tttS)uclassifier 결과 → verdict 별 routing artifact dict (spec §1). Args: merge_ready_result: utils.merge_ready_classifier.classify_merge_ready(...) 반환 dict. verdict/chair_triggers/auto_remediable/critical7_hits/ auto_merge_10_conditions/blocking_reasons/credential_tier 사용. pr_identity: {pr, head_sha, task_id, branch, ts_kst, post_merge_smoke_plan?, callback_lifecycle_artifact_plan?} ts_kst 는 caller 가 결정적으로 공급(idempotency). Returns: dict: 3종 routing artifact 중 verdict 에 맞는 1종. 모든 artifact 는 actually_executed=False · executor_action ∈ {WOULD_*}. Safety invariants (코드 경로 부재로 자동 보장): - merge/push/PR/cron/branch-protection/admin-override 호출 0 - GitHub write 0 · 파일 쓰기 0 · subprocess 0 · network 0 - classifier 수정 0 (입력 dict 만 read-only 소비) rM)rMr@)rMr@rk) r&r+r/rrTrrjrrvACTION_WOULD_ESCALATE_CHAIRrACTION_WOULD_REGATHERru)merge_ready_resultr)rQrMrRtss r dryrun_router|s( %2Fjj#G k "E  B$*65+rJJ$*65"==. $ E2"7  '$ E21/    !r-+  r,)r))__doc__utils.merge_ready_statesrrrrrrr r r r r rErFrGrPrfrxryrc&ACTION_WOULD_OWNER_GEMINI_REVIEW_NUDGE2ACTION_WOULD_AUTO_FIX_REGRESS_PUSH_RESOLVE_RECHECK#ACTION_WOULD_RESOLVE_THREAD_RECHECKrurdrerb frozensetALL_EXECUTOR_ACTIONSALL_SUB_ACTIONSrr+r/r7r<rJrTrjrvr|r,rrs(0DC7 #44(1)J&5b2&D# 7e;,D$&X.0b!D$&? ! "*6' ' D:/*/DVZ)/`1r,