4j(/bdZddlZddlmcmZddlZddl Z ddl Z ddl Z e jje jje jjeddZe jjeddZe jjedZe jjedZdZe jjed d Zgd Zd Zd ZGdde j4ZGdde j4Zedk(re j<dyy)u7Regression — task-2553+35 TRACK C3: policy_profile_engine dry-run application. Phase-B contract: * C1 engine (anu_v3/policy_profile_engine) PRESENT -> run dry-run against the 4 task-2553 targets and assert engine-derived gate/HOLD/completion-packet schema matches the Phase-A read-only baseline. NO real merge / GitHub write / thread resolve is ever performed (dry-run only). * C1 engine ABSENT -> skip the engine-consuming assertions and assert the deferral is recorded as the explicit terminal status DEFERRED_PENDING_C1 (NOT HOLD, NOT FAIL) with a next_action. Phase-A baseline assertions always run (engine-independent): they re-derive the expected gate/HOLD/packet keys from the existing task-2553 actual-result events read-only and assert the comparison artifact encodes them faithfully. Nz..memoryeventsz$task-2553+35.dry-run-comparison.jsonztask-2553+35.result.jsonzanu_v3.policy_profile_engineanu_v3zpolicy_profile_engine.py)PR#128 clean replacement merge PR#129 test-only hardening mergeGemini thread resolve*post-merge smoke harness artifact closeoutctt|dd5}tj|cdddS#1swYyxYw)Nrzutf-8)encoding)openjsonload)pathfhs T/home/jay/workspace/tests/regression/test_policy_profile_engine_dryrun_2553plus35.py_loadr%s0 dC' *byy}s.7ctjjtsy tj j tduS#tttf$rYywxYw)u:C1 engine presence probe — import spec AND file on disk.FN) osrisfile ENGINE_PATH importlibutil find_spec ENGINE_MODULE ImportError ValueErrorModuleNotFoundErrorr_engine_presentr!*sN 77>>+ &~~'' 6dBB %8 9s$A A"!A"cDeZdZdZedZdZdZdZdZ dZ dZ y ) PhaseABaselineTestu#Engine-independent — always runs.c,tt|_yN)r COMPARISONcmpclss r setUpClasszPhaseABaselineTest.setUpClass7s #r c|j|jdd|j|jdd|jd|j|jd|jy)Ntaskz task-2553+35task_md_sha256@0a0415868cb288a7ad2678022c2c2d3c690f8914bda559eec655cf9acc1cd799phase_aphase_b) assertEqualr'assertIn)selfs rtest_comparison_artifact_schemaz2PhaseABaselineTest.test_comparison_artifact_schema;s_ &)>:  HH% & N  i* i*r c~|jddDcgc]}|d }}|j|tycc}w)Nr/targetstarget)r'r1TARGETS)r3tgots r test_phase_a_covers_four_targetsz3PhaseABaselineTest.test_phase_a_covers_four_targetsDs=$(HHY$7 $BCqq{CC g&Ds :cF|jddD]}|jd||d|jd|d|d|jd||d|jd||d|jd||d|jd |d|dy) Nr/r6profile_selectionr7 goal_type expected_gate expected_hold!expected_completion_packet_schemaactual_terminal_status)r'r2)r3r9s r5test_phase_a_each_target_has_profile_gate_hold_packetzHPhaseABaselineTest.test_phase_a_each_target_has_profile_gate_hold_packetHs)$Y/ A MM-q!H+ > MM+q)<'=q{ K MM/1ak : MM/1ak : MM3Q(   MM(!O*  + ,-? @   8 9/ J(    rww||F,FGH  > " S   234DEF  - . ?(  +  rww||F,FGH )62 (  B C & (   S s Gc|jd}|j|dd|j|dd|j|dd|j|dd|j|dd|j|dy) Ndry_run_invariants real_mergerreal_github_writereal_thread_resolvec1_core_modified existing_2553_artifacts_modified contamination)r'r1rU)r3invs r.test_dry_run_invariants_zero_real_side_effectszAPhaseABaselineTest.test_dry_run_invariants_zero_real_side_effectsshh+, \*A. 0115 23Q7 /0!4 ?@!D _-.r cdD]I\}}}ttjjt|}|j ||||Ky)z|Phase-A is read-only: source events must still parse and keep their terminal markers (no mutation introduced by C3).))rErFrG)rPrFrQN)rrrrSrTr1)r3namekeyvaldocs r'test_source_events_unmodified_read_onlyz:PhaseABaselineTest.test_source_events_unmodified_read_onlysJ  2ND#s VT23C   SXsD 1  2r N) __name__ __module__ __qualname____doc__ classmethodr*r4r;rCr[rerkrr rr#r#4s6-$$+' 1 f/2r r#c,eZdZdZedZdZdZy)PhaseBEngineConsumingTestu:Engine-consuming — dry-run only, never real merge/write.cJtt|_t|_yr%)rr&r'r!presentr(s rr*z$PhaseBEngineConsumingTest.setUpClasss #%' r c6|jr|jd|jd}|j|dd|j |d|j |dd|j |d|j |jdtjjtrZtt}|j|d d|j|d d |j |jdyy) Nu-C1 engine present — handled by dry-run testr0stateDEFERRED_PENDING_C1executedrG next_actionhold_for_chairrF)HOLDFAIL)rtskipTestr'r1rUassertNotEqual assertTruerrrRESULTr assertNotInget)r3pbress r(test_phase_b_deferred_when_engine_absentzBPhaseBEngineConsumingTest.test_phase_b_deferred_when_engine_absents << MMI J XXi  G&;< J( BwK)9: =)* "234 77>>& !-C   S],A B   S],< = OOCGGM2 3 "r c |js|jdtjt}|j t |dxr t |dd|j}|j}|j}tjjtdd}|jt5|ddd i d d d |j d d Dcic]}|d| }}|j#D]\}} | d} | j%d} t'| j%dxr| d u} d|d dd|d| xsdigdd} | r|| }|j)|d| d||||}|j+|j,d|d|j t |d||j t |d||j/|j0t2||j/|j4t2||j)t7t9|j:t9|j<zg|dg|j|5}||| |d d d |j j>j@|d y #1swYxYwcc}w#1swYHxYw)!utask-2553+36 TRACK C PHASE-B RECONCILIATION — C3 harness corrected to the C1 *settled* canonical API (task-2553+33 ACCEPT). C1 canonical contract (회장 verbatim, 변경 불가): parse_goal_request(obj, *, schema_dir) -> resolve_policy(goal_request, *, profile_json_dir, ...) -> PolicyResolution The pre-+36 contract (resolve_policy(goal_type=..., boundary=...) echoing a historical *runtime terminal status*) was the documented C1<->C3 API mismatch: the settled engine is a PURE CONTRACT DERIVER. It returns PolicyResolution.status in {RESOLVED, HOLD_FOR_CHAIR} OR fail-closes with PolicyEngineError — it never replays the historical runtime terminal status, and never performs a real merge / GitHub write / thread resolve. Reconciled dry-run contract (in-memory only, zero side effects): * target WITH a real policy_profile instance -> canonical parse_goal_request -> resolve_policy(goal_request, profile_json_dir=...) succeeds; PolicyResolution exposes gate / hold / completion-packet / evidence schema; status in {RESOLVED, HOLD_FOR_CHAIR}. * target WITHOUT a profile instance -> the canonical engine DETERMINISTICALLY fail-closes (PolicyEngineError) — the correct dry-run outcome, NOT an engine defect and NOT a real side effect. * the forbidden API resolve_policy(goal_type=..., boundary=...) MUST raise (regression §6.2). u@C1 engine absent — Phase-B DEFERRED_PENDING_C1 (not HOLD/FAIL)parse_goal_requestresolve_policyu_C1 settled canonical API parse_goal_request/resolve_policy 부재 (contract drift → §9 HOLD)rpolicy_profilesxdry_runT)r>boundaryNr/r6r7r=expected_policy_profile profile_instance_present_in_repozdryrun-2553p36-zdry-run application: rg __absent__)r no_real_mergeno_github_write)goal_idgoal_statementpolicy_profilerr)profile_json_dir)RESOLVEDrGz): canonical status out of contract domaingatehold_conditionsu1: allowed∩forbidden 누수 (fail-closed 위반)z1: fail-closed PolicyEngineError must carry a code)!rtr}r import_modulerrhasattrrrPolicyEngineErrorrrrS REPO_ROOT assertRaises TypeErrorr'itemsrboolr1r2rFassertIsInstancecompletion_packet_schemadictevidence_schemasortedsetallowed_actionsforbidden_actions exceptioncode)r3enginerrr profile_dirr9baselinetgtbasesel profile_namert goal_requestgrrctxs r,test_engine_dry_run_matches_phase_a_baselinezFPhaseBEngineConsumingTest.test_engine_dry_run_matches_phase_a_baselines4|| MMR  ((7  F0 1 2 01 , $66.."44ggll9h8IJ   y ) F SIt3D E F-1HHY,? ,JKqAhKNKK!), IC*+C77#<=L377#EFGD( -S"XJ7$9#"?#)<+G<"HK L' 5  Jj1I3O$R+F JJ2eDE V 4c:-> ?E%%c&B&BD#N%%c&9&94E  3s223c#:O:O6PPQeLM&&'89S"*<8)4 MM&&eLMS,   F FLJs? K( K?KKK N)rlrmrnrorpr*rrrr rrrrrs"D(( 4]r rr__main__) verbosity)robuiltins @py_builtins_pytest.assertion.rewrite assertionrewrite @pytest_arimportlib.utilrrrunittestrabspathrSdirname__file__rrTr&rrrr8rr!TestCaser#rrrlmainrr rrs   GGOOBGGLL)BD$O P i8 4 WW\\&"H I f8 9. ggll9h0JK   e2**e2Pt 1 1tn zHMMAr