<j@UdZddlmZddlmZmZmZmZddlm Z m Z dZ de d<e d dd Z dd Zdd Zgd Zy )uanu_v3.goal_boundary_validator — goal contract boundary validation (task-2553+7). 회장 §3 명시 Condition 3 기계 구현 (순수, 부작용 0): (a) planned_effective_actions ⊆ allowed_actions (b) planned_effective_actions ∩ forbidden_actions == ∅ (c) effective_diff_files ⊆ expected 6 (TASK_2553P1_EFFECTIVE_DIFF_6) (d) forbidden_write_targets ∩ effective_diff_files == ∅ success_condition / hold_conditions 파서도 포함 (pure 해석기). ) annotations)AnyFinalMappingSequence)TASK_2553P1_EFFECTIVE_DIFF_6#TASK_2553P6_FORBIDDEN_WRITE_TARGETSzanu_v3.goal_boundary_validatorz Final[str]VALIDATOR_MODULE)forbidden_write_targetscg}t|jdxsg}t|jdxsg}t|}t|}t|} tt} ||z } | r|jdt | ||z} | r|jdt | || z } | r|jdt | || z}|r|jdt ||S)ugoal contract 경계 검증. 빈 list = PASS. 비어있지 않으면 각 위반 사유. 검증 항목: (a) every planned_effective_action ∈ allowed_actions (b) no planned_effective_action ∈ forbidden_actions (c) effective_diff_files ⊆ TASK_2553P1_EFFECTIVE_DIFF_6 (d) no forbidden_write_target in effective_diff_files 부작용 0 (순수 함수). allowed_actionsforbidden_actionsu)planned actions 이 allowed_actions 밖: u2planned actions 이 forbidden_actions 와 충돌: u*effective_diff 가 expected 6 파일 밖: u<forbidden_write_target 파일이 effective_diff 에 포함: )setgetrappendsorted) goal_contractplanned_effective_actionseffective_diff_filesr violationsallowed forbiddenplanned diff_filesforbidden_targets expected_6outside_allowed forbidden_hitoutside_expected target_hits !anu_v3/goal_boundary_validator.pyvalidate_boundaryr"s,"JM--.?@FBGGm//0CDJKI56G34J"%&=">; FF$ %E edE] + ! 'qQCF '' 's A A)r r"r0r9N) rMapping[str, Any]r Sequence[str]rr;r r;return list[str])r.r:r<zdict[str, Any])r.r:r<r=)__doc__ __future__rtypingrrrr-anu_v3.pre_authorized_evidence_bundle_builderrr r __annotations__r"r0r9__all__r#r!rEsu #00 @*?.Q 6$6 -6( 6 + 6  6r ( r#