3jaUdZddlmZddlmZmZddlmZddlm Z m Z m Z m Z ddl mZmZmZmZmZmZmZmZmZdZded <d Zded <d Zded <dZded<dZded<dZded<dZded<dZded<dZ ded<dZ!ded<dZ"ded<dZ#ded<d Z$ded!<d"Z%ded#<d$Z&ded%<d&Z'ded'<d(Z(ded)<d*Z)ded+<d,Z*ded-<d.Z+ded/<d0Z,ded1<Gd2d3e-Z.eGd4d5Z/dGd6Z0eed7 dHd8Z1dId9Z2eGd:d;Z3e d dJd?Z4 dKd@Z5eeeedA dLdBZ6eeeedA dMdCZ7eeeedA dMdDZ8dNdEZ9gdFZ:y=)Ou anu_v3.default_profile_resolver — TRACK 3: policy profile engine → DEFAULT dispatch-planning 경로 연결 (task-2553+52). 회장 3-track 배치 Track 3. goal_type `policy_profile_default_dispatch_adoption`. 목표 (회장 verbatim §1): policy profile engine 을 **기본 dispatch planning 경로** 에 연결한다. 기본 경로에서 **goal_type + boundary 만으로 profile 선택** 가능해야 한다. 기존 +38 `dispatch_profile_selection` 과의 차이: +38 seam 은 chair 가 ``policy_profile.name`` 을 **명시 공급** 해야 했다. 본 Track 은 그 한 칸을 없앤다 — chair 는 default 경로에서 ``goal_type`` + ``boundary`` 만 준다. 본 resolver 가 ``goal_type → policy_profile`` mapping(`memory/policy_profiles/goal_type_profile_mapping.json`)을 단일 결정 테이블로 조회해 profile 이름을 산출하고, C1 engine 정본 API (parse_goal_request → resolve_policy)를 **read-only 소비** 하여 gate / HOLD / allowed / forbidden / evidence / completion-packet 을 자동 산출한다 (§8 회장이 풀어쓰지 않아도 ANU 가 engine+guard 로 자동산출). 본 모듈 한정 책임 (순수, 부작용 0 — 파일 write 0, network 0, git 0, GitHub API 0, 실 dispatch/PR/merge/branch 실행 0): 1. default profile resolver (§3.1) 2. goal_type → policy_profile mapping 로더·조회 (§3.2) 3. boundary → gate/HOLD/forbidden expansion 표면화 (§3.3 — engine 산출 read-only 표면화) 6. missing / unknown profile fail-closed (§3.6 — 추측·날조 0) 7. profile conflict fail-closed (§3.7) 8. selected profile evidence JSON 산출 (§3.8) 설계 invariant (§5 / §6 / §10): - 신규 별도 모듈 (strict-additive). engine·+38·+39·frozen anchor·기존 profile/mapping/anchor import-only read-only / mutation 0. - engine = `anu_v3.policy_profile_engine` 정본 API 만 호출 (parse_goal_request@187 → resolve_policy@561, PolicyEngineError, validate_against_meta, load_meta_schema). engine 내부 재구현·mutation 0. - resolver 는 profile 을 **선택만** 한다 — 실행하지 않는다. ``DISPATCH_LIFECYCLE_EFFECT == "none"``. 실 운영 in-place 채택은 별도. - missing / unknown / conflict = **fail-closed** (자동 적용 0, profile 미바인딩, 예외 dispatch 비전파). 추측·날조 0. - profile engine 이 write/merge 권한을 요구하면 본 모듈은 그것을 절대 수행하지 않고 fail-closed (§7 공통 HOLD 대상 — 회장 보고). - 외부 의존성 0 (engine 과 동일 — offline 100%). ) annotations) dataclassfield)Path)AnyFinalMappingSequence) PROFILE_JSON_DIR_DEFAULTPROFILE_SCHEMA_DIR_DEFAULTSCHEMA_DIR_DEFAULTPolicyEngineErrorPolicyResolutionload_meta_schemaparse_goal_requestresolve_policyvalidate_against_metazanu_v3.default_profile_resolverz Final[str]RESOLVER_MODULEztask-2553+52.Track3.v1RESOLVER_VERSIONz+anu_v3.default_profile_resolver.decision.v1RESOLUTION_SCHEMA_IDzr? __class__s 6/home/jay/workspace/anu_v3/default_profile_resolver.pyr=z$DefaultProfileResolverError.__init__as+ 1TF"WI./  )r>strr?rDreturnNone)__name__ __module__ __qualname____doc__r= __classcell__)rAs@rBr9r9]sMrCr9cbeZdZUdZded<ded<ded<eeZded<d Zd ed <d d Z y )DefaultDispatchRequestu@기본 dispatch planning 경로 입력. policy_profile.name 은 chair 가 주지 않는다 — resolver 가 goal_type 으로 산출한다. ``explicit_policy_profile_name`` 은 선택적 — chair 가 굳이 명시했는데 mapping 산출과 다르면 **profile conflict fail-closed** (§3.7) 검출용. rDgoal_idgoal_statement goal_type)default_factoryz list[str]boundaryN str | Noneexplicit_policy_profile_namecx|j|j|jt|jd|idS)uresolver 가 산출한 profile_name 을 채워 C1 engine 정본 입력 (goal_request_2553plus33.schema.json) 형태로 변환.name)rNrOrPrRpolicy_profile)rNrOrPlistrR)r@ profile_names rBto_goal_requestz&DefaultDispatchRequest.to_goal_requestys9||"11T]]+%|4   rC)rYrDrEdict[str, Any]) rGrHrIrJ__annotations__rrXrRrTrZrCrBrMrMjs8LN5Hi5/3 *3  rCrMc t|ts&ttdt |j |j d}|r t|tr|jsttd|j dxsi}t|tr|j dnd}tt|j ddt|j d d|j|j d xsgDcgc] }t|c}t|tr%|jr|j Sd Scc}w) udispatch 가 넘긴 raw dict → DefaultDispatchRequest (fail-closed). 형태 불량은 DefaultProfileResolverError 로 raise 하되 entrypoint 가 REFUSED 안전 거부로 흡수한다 (dispatch 무파괴). udefault request dict 아님: rPuOdefault 경로 필수 입력 goal_type 누락/무효 (추측 0 — fail-closed)rWrVNrNrOrR)rNrOrPrRrT) isinstancer r9r%typerGgetrDstripr'rM)rawgtppexplicitbs rBbuild_default_requestris' c7 #) '+DI,>,>+? @    B ZC( ) % ]   ! " (bB!+B!8rvvf~dH !CGGIr*+377#3R89((*#&77:#6#<">Q#a&> *8S 9hnn>NHNN    UY  ?sE! mapping_path schema_dircddl}t|} |jd} |j |}t|tst t d| tt| }t||}|rt td j|t|j!d tr|d st td |S#t$r}t t d|d||d}~wwxYw#|j$r}t t d|d||d}~wwxYw#t$r}t td ||d}~wwxYw)u^goal_type → policy_profile mapping 을 read-only 로딩·검증. engine 의 offline draft-07 subset validator(validate_against_meta)로 `goal_type_profile_mapping.schema.json` 검증. 파일 부재/파싱 실패/ schema 불일치 = fail-closed (DefaultProfileResolverError, code 보존). mutation 0 (mapping 파일 read-only). rNzutf-8)encodingumapping 부재/읽기 실패 z: umapping JSON 파싱 실패 umapping 최상위 dict 아님 rlu#mapping meta-schema 로드 실패: z; mappingsu)mapping.mappings 비어있음/dict 아님)jsonr read_textOSErrorr9r+loadsJSONDecodeErrorr`dictrrrr-rjoinrb) rkrlrqprdeobjmetaerrss rBload_goal_type_mappingr}sm \Akk7k+ jjo c4 ) %)Gs'K   3 K !d +D ) '4   cggj)4 0J) ')T   J; ) %)FqcA3'O     ) %)DQCr!'M   ) '+Nqc)R  sFC C5D# C2C--C25D DD # E,EEc |jdxsi}||vrttd|d||}t|tt frtt d|dt|ts)ttd|dt|j|jd}|r t|tr|jsttd|d|jS)uY단일 결정 테이블 조회. goal_type → policy_profile 이름 (deterministic). - goal_type 미등재 → REFUSAL_GOAL_TYPE_NOT_MAPPED (unknown, 추측 0 fail-closed §3.6) - entry 형태 불량 → REFUSAL_MAPPING_ENTRY_INVALID - entry 가 다중 후보(list) → CONFLICT_AMBIGUOUS_MAPPING (§3.7) rpz goal_type uQ 가 default mapping 에 없음 — UNKNOWN, 추측·날조 0 (fail-closed §3.6)uB 다중 후보(비결정) — profile conflict fail-closed (§3.7)u entry 가 object 아님: rWu/ entry 에 policy_profile(string) 누락/무효) rbr9r)r`rXtupler3r r/rarGrDrc)mappingrPentriesentryrVs rBresolve_profile_namerskk*%+G) ( &3 4  I E%$') & &" #  eW %) ) %?U @T@T?U V   99% &D z$,DJJL) ) %T U   ::<rCceZdZUdZded<ded<ded<ded<ded<d ed <ded <ded <d ed <ded<dZd ed<dZd ed<eZded<dZ ded<e Z ded<e Z ded<dZded<ddZddZddZy)DefaultProfileResolutionudefault 경로 산출 — dispatch planning / batch coordinator 가 그대로 소비할 profile resolution binding (fail-closed 4-상태).rDstatusbool profile_bound auto_applyrNrPrSresolved_profile_name profile_idprofile_versionmapping_sourcer[boundary_expansionN refusal_coderefusal_reasondispatch_lifecycle_effectT default_pathresolverresolver_versiondict[str, Any] | Noneengine_decisioncidtd|jd|jd|jd|jd|j d|j d|jd |jd |jd |jd |jd |jd|jd|jd|jd|j d|j"iS)NschemarrrrrrrrNrPrrrrrrrr)rrrrrrrrrNrPrrrrrrrrr@s rBto_decision_dictz)DefaultProfileResolution.to_decision_dicts; *     5 5  dkk  T//  $//   D--  ()G)G  t||    $T%?%?  $//  t33  d11  !$"9"9 D--! " d11# $ t33%  rCc t|j|j|j|jt |j jdgdd|j|j|j|j|j|jd|jd|j |jtk7|j |j"d S)u§3.8 — selected profile evidence JSON. goal_type + boundary → profile 선택이 default 경로에서 engine read-only 소비로 이뤄졌음을 입증하는 평면 증거.explicit_boundaryF)rPrR"chair_supplied_policy_profile_name)rrrrrruvanu_v3.policy_profile_engine.parse_goal_request -> resolve_policy (정본 API, engine import-only, mutation 0, byte-0)) rrrrselection_inputselectedrengine_consumed_read_onlyr fail_closedrr)rrrrrPrXrrbrrrrrrrrrrrs rBto_selected_profile_evidencez5DefaultProfileResolution.to_selected_profile_evidence+s ) $ 5 5 --!^^ !8!8!s>L$#Hc#,c,-1O*1 ,  D rCrr_N)rrNrPrrc6t|dd|||ddddgi||| S)uXfail-closed 안전 거부 — profile 미바인딩·자동 적용 0, dispatch 무파괴.Fr_Nr rrrrNrPrrrrrrrr)r)r>reasonrrNrPrrs rB_refusedrds= $3/4' rCc |j}t|jt|dt|dt|dt|d|d|dt|jdS)u§3.3 — boundary → gate/HOLD/forbidden expansion 표면화. engine 이 boundary[] + profile 로 산출한 gate/HOLD/allowed/forbidden 을 그대로 표면화 (engine read-only). resolver 가 재구현하지 않는다. rrrrrr)rrrrrrrresolved_boundary)to_coordinator_bindingrXrRrv)resrequestbindings rB#_boundary_expansion_from_resolutionr|s((*G!'"2"23 $W-C%D E#'0I(J#K(9 :;!'*=">?&-.J&K$%89!#,,/  rCrkprofile_json_dirprofile_schema_dirrlc t||}t||j}t|} |jrZ|j|k7rKttd|jd|d|jdt |j|j|S|j|} t| | t!| ||| } t%| |} | j'} | j(d k(rr| j*xsd }d|vxsd|v}t-|rt nt.dd| j| j|| j0| j2| | |rt4nt6||  St-t8dd| j| j|| j0| j2| | |  S#t$ra}|jt k(rt nt}t|j|j||j|jcYd}~Sd}~wwxYw#t"$rB}t|j|j|j|j| cYd}~Sd}~wwxYw)u**DEFAULT dispatch-planning resolver entrypoint** (§3.1). goal_type + boundary 만으로 profile 을 자동 선택·로딩한다. 1. goal_type → policy_profile mapping 조회 (§3.2, 단일 결정 테이블) 2. explicit profile 명시 충돌 검출 → PROFILE_CONFLICT (§3.7) 3. C1 engine 정본 API read-only 소비: parse_goal_request → resolve_policy (engine byte-0, mutation 0) 4. boundary → gate/HOLD/forbidden expansion 표면화 (§3.3) 5. missing/unknown/conflict = fail-closed (§3.6/§3.7 — 추측·날조 0) profile 부재 / schema mismatch / engine HOLD 는 예외를 dispatch 로 전파하지 않고 fail-closed 결정으로 변환 (dispatch lifecycle 무파괴). rj)rrNrPNuchair 명시 profile u ≠ default mapping 산출 z (goal_type u*) — profile conflict fail-closed (§3.7))rrNrPrro)rrrl)rNrPrr"zengine HOLD_FOR_CHAIRu충돌u모순FrT) rrrrNrPrrrrrr)r}rrPr9r>r3r!rrr?rNrDrTr1rZrrrrrr hold_reasonrr#rrr5r7r)rrkrrrlrrYryrr goal_requestrrdecisionr is_conflicts rBresolve_default_profilersM,  (%* ,GW5F5FG &N ,,  0 0L @ %#G$H$H#KL&&2%5\  ##M O#OOw/@/@".  **<8L H,> '&1?{KKmm".~~//)!0;,AT!$  $ $ --*>>++%   I ' $%FF.H$Hn FFAIIfOOw/@/@   D   FFAIIOOw/@/@".   s<#F#(H# H ,AHH H  I7IIIc t|}t |||||j S#t$r8}t|j|jj cYd}~Sd}~wwxYw)u파일레벨 contract entrypoint — raw dict → decision dict. 기본 dispatch planning 경로가 단일 호출로 소비할 결선점. 요청 정규화 실패도 fail-closed 안전 거부로 흡수한다 (예외 dispatch 비전파). Nr)rir9rr>r?rr raw_requestrkrrrlreqrys rBrun_default_profile_resolutionrsj>#K0 # !)-     '> *;;==> + A,-A'!A,'A,c t|}t |||||j S#t$r8}t|j|jj cYd}~Sd}~wwxYw)uI§3.8 — raw dict → selected profile evidence JSON (예외 비전파).Nr)rir9rr>r?rrrs rBrun_selected_profile_evidencersmJ#K0 # !)-   #"$ % 'J *GGIIJrc2|Dcgc]}|d c}Scc}w)uAfixture case[].request 목록 추출 (regression/dry-run 공용).rr])casescs rBdefault_requests_from_fixturer/s"' (QAiL (( (s )rrrrrrrrrr!r#r%r'r)r+r-r/r1r3r5r7r9rMrrir}rrrrr)rdrrErM)rk str | PathrlrrEr[)rzMapping[str, Any]rPrDrErD)r>rDrrDrrDrNrDrPrDrrSrrrEr)rrrrMrEr[) rrMrkrrrrrrlrrEr) rrrkrrrrrrlrrEr[)rzSequence[Mapping[str, Any]]rEz list[Any]);rJ __future__r dataclassesrrpathlibrtypingrrr r anu_v3.policy_profile_enginer r r rrrrrrrr\rrrrrrrrr!r#r%r'r)r+r-r/r1r3r5r7 ValueErrorr9rMrir}rrrrrrrr__all__r]rCrBrs*V#(00   @?7*7#PjP!_J_$[jZ"IZI)/:.)(9 900* Z*+HZG(;:;+AjA(;:;*?Z?,CzC(C:C)EJE+NjN"9Z9*     4F 4/... .b!N b b  b L.<(,-1  '* "%&+   0 $:0 4#;%?/ k #kk! k # k  kkb 4#;%?/ !  #   : 4#;%?/ %%%! % # %  %%,) rC