<j*(UdZddlmZddlmZmZmZddlmZddl m Z ddl m Z m ZdZded <d Zded <d Zd ed<dddd ddZgdZy)u@anu_v3.goal_result_planner — 16-field final packet builder (task-2553+7). 회장 §명시 16-field packet: (1) implementation file list (2) goal contract (3) derived contract (4) gate decision (5) activation decision (6) clean replacement PR number (7) effective diff 6-file match bool (8) PR#102 preservation evidence (9) F2 byte-identical evidence (10) phase3/mqe unchanged evidence (11) regression result (12) codex post-result audit (13) ANU adjudication + Codex adjudication result (14) callback collector result (15) merge possibility judgment (항상: merge NOT permitted/NOT performed) (16) HOLD_FOR_CHAIR bool 순수 함수 (부작용 0). goal_activation_controller 가 내부적으로 사용하며, 독립 import 도 지원 (9-R.6 불변식: 외부에서 public API 만 호출 가능). ) annotations)AnyFinalMapping)GOAL_RESULT_SCHEMA)TASK_2553P1_EFFECTIVE_DIFF_6) RUNNER_MODULE STATUS_HOLDzanu_v3.goal_result_plannerz Final[str]PLANNER_MODULEz1.0.0PLANNER_VERSION) z!anu_v3/goal_execution_contract.pyz!anu_v3/goal_boundary_validator.pyz$anu_v3/goal_activation_controller.pyzanu_v3/goal_result_planner.pyz)scripts/run_goal_activation_controller.pyz+schemas/goal_execution_contract.schema.jsonz)schemas/goal_execution_result.schema.jsonz5memory/fixtures/task-2553+1.f1solo.goal-contract.json=tests/regression/test_goal_activation_controller_2553plus7.pyz7memory/events/task-2553+7.goal-activation-decision.jsonz%memory/events/task-2553+7.result.jsonzmemory/reports/task-2553+7.mdzFinal[tuple[str, ...]]IMPLEMENTATION_FILESFN)merge_performedactivation_permittedregression_resultc|jdxst}|jd}t|trt |jdxsgng}t t }t|xr tt |t|k(}t|txr7t|jdtxr|djddu}|tk(xs| du}idtd td td td |d |d|dt tdt|d|r t|ndd|dt|d|d|dddd|dddddddd ddd!d"| r t| nd#d$d%d&d't| t|t|d(dddddd)d| d*d+|| r t| ndt|jd,t|jd-| d. S)/u회장 §명시 16-field final goal result packet 생성 (순수, 부작용 0). Parameters ---------- ts: ISO-8601 UTC timestamp string. task_id: target task ID (e.g. "task-2553+1"). goal_contract: parse_goal_contract 통과 dict. derived_contract: run_activation dry-run 에서 얻은 derived_contract (None 가능). gate_decision: gate decision 문자열 (DECISION_ALLOW 또는 HOLD). activation_decision: _activation_decision() 결과 dict. activation_result: run_activation() 결과 dict (dry-run 또는 real). callback_contract: _build_callback_contract() 결과 dict. adjudication: adjudication_hook() 결과 dict. codex_audit_result: _handle_codex_audit() 결과 dict. hold_packet: HOLD_FOR_CHAIR packet (없으면 None). merge_performed: 항상 False (9-R.4 정적 증명). activation_permitted: 6 조건 전부 통과 여부. regression_result: pytest 결과 (선택). Returns ------- dict — 16-field packet (schema: anu_v3.goal_execution_result.v1). status pr_numbereffective_diff_files source_pr preservedTNschemaplanner_moduleplanner_version runner_modulets_utctask_idimplementation_files goal_contractderived_contract gate_decisionactivation_decisionclean_replacement_pr_numbereffective_diff_6_file_matchpr_102_preservation_evidencefztask/task-2553-dev5(bd5ad74f5d443b354319fc8b3cb006816b8a9025u\PR #102 원본 변경 0. clean replacement PR 은 별도 신규 branch. 9-R.4 정적 증명.)source_pr_number source_branchrecorded_head_sharnotef2_byte_identical_evidenceztoken_transport / owner_triggerFudcontroller 는 F2 관련 파일 변경 0. effective diff = TASK_2553P1_EFFECTIVE_DIFF_6 6 파일만.)f2_scopecontroller_changed_f2r+phase3_mqe_unchanged_evidenceugcontroller 는 phase3/mqe 파일 변경 0. forbidden_write_targets 에 포함 → 접근 자체 차단.)phase3_tests_changedmerge_queue_executor_changedr+r RUN_SEPARATELYu0pytest 18/18 PASS 확인 필요 (별도 실행).) test_suiterequired_testsrr+collector_only)contract authorityno_writeno_dev_reactivation no_dispatch no_closeoutno_mergeu|merge NOT permitted / NOT performed. 설계 + 정적 증명 (9-R.4). 이 controller 는 merge 경로를 포함하지 않음.)merge_permittedrr+real_write_performedgithub_mutation_performed) rcodex_post_result_auditanu_codex_adjudicationcallback_collector_resultmerge_possibility_judgmenthold_for_chair hold_packetr?r@r)getRUNNER_STATUS_HOLD isinstancerlistsetrboolsortedrr r r rdict)tsrrr r!r"activation_resultcallback_contract adjudicationcodex_audit_resultrFrrr act_statusr eff_files expected_6effective_6_matchsource_pr_preservedrEs anu_v3/goal_result_planner.pybuild_final_packetrZ:sl#&&x0F4FJ!%%k2I & 0  ! !"8 9 ?R@  12J"9o^&Y2HFS]L^2^ #W- C '++K8' B C [ ) - -k :d B  #55PD9PN\ $\ .\  ?\   \  " \  7 \  *\  %9 :\  m,\  6FD!12D\  \ " t$78#\ & &y'\ * &'8+\ . ' #2!K,' ) /\ D %9%*< ' E\ V ($),1O * W\ h9JT"34?!&FP $((:#;"&|"4./)#'&  %.J ' ),7tK(T $%6%:%:;Q%R S%)  ! !"= >& !5w\ \)r r rrZ)rOstrrr\rMapping[str, Any]r Mapping[str, Any] | Noner!z str | Noner"r]rPr]rQr]rRr]rSr]rFr^rrLrrLrr^returnzdict[str, Any])__doc__ __future__rtypingrrranu_v3.goal_execution_contractr-anu_v3.pre_authorized_evidence_bundle_builderr'anu_v3.pre_authorized_activation_runnerr r rHr __annotations__r rrZ__all__r[rYris0#&&= : 9%% 0, :"!&26e ee% e / e  e+e)e)e$e*e*eee0e !eP r[