4j<dZddlmZddlZddlZddlZddlZddlm Z m Z ddl m Z ddl mZmZmZmZe ej'j(dZdZd Zd Zd Zd Zd Zd!dZeddZeej<d<eddZeej<d<eddZ eddZ!ejDZ"ejFZ#ejHZ$ejJZ%ejLZ&e jNZ'ejPZ(ejRZ)e!jTZ*e!jVZ+e!jXZ,e!jZZ-e!j\Z.e!j^Z/e GddZ0d"dZ1d"dZ2d"dZ3d"dZ4d#dZ5d$dZ6d%d&dZ7e8d k(r e9e7y)'utask-2553+51 — TRACK 2 runtime structure SMOKE PILOT (read-only). 회장 3-track 배치 Track 2. goal_type = ``runtime_structure_smoke_pilot``. 단 하나의 짧은 read-only goal 로 +44 신구조(callback owner/key registry consistency)가 실제로 작동하는지 검증한다. 핵심 = 회장이 gate/HOLD/allowed/forbidden 을 풀어쓰지 않아도 ANU 가 default low-risk read-only profile 을 자동 산출하고 실 entrypoint 를 직접 호출(mock-only 금지)해 검증한다. 실 entrypoint (direct call, no mock): * ``anu_v3.callback_4tuple_registry.Callback4TupleRegistry`` — 영구 append-only 4-tuple ledger 를 READ-ONLY 로만 질의 (classify / history_for / validate_record / validate_identity). append / mark_completed 절대 호출 안 함 (ledger byte-0). * ``anu_v3.callback_owner_validator.validate_callback_owner_runtime`` — 독립 ANU key vs executor self key 로 owner/key/role fail-closed 검증. * ``anu_v3.authoritative_verdict_selector.select_authoritative_verdict`` — self-chain verdict 영구 비권위 + independent-ANU verdict 만 authoritative. Layer A / NO-CRON / READ-ONLY: ZERO cron register/remove, ZERO dispatch, ZERO merge, ZERO PR, ZERO branch/commit/push, ZERO credential, ZERO subprocess/cokacdir exec, ZERO ledger mutation, ZERO 기존 산출물 변조. 본 스크립트의 유일한 write 는 §6 allowlist 의 task-2553+51 신규 산출물뿐이며 그것도 ``--emit`` 시에만 수행한다. executor(이참나, key a999e2ea4c06d2fb) self-collector / self-adjudication / self-Codex / self-dispatch 0. authoritative verdict 는 독립 ANU collector(callback ANU key c119085addb0f8b7)가 산출하며 본 세션은 self-chain QUARANTINED 임을 *증명* 만 한다. ) annotationsN) dataclassfield)Path)AnyDictListOptionalz task-2553+51runtime_structure_smoke_pilotc119085addb0f8b7a999e2ea4c06d2fb 6937032012) z*memory/events/task-2553+51.pilot-plan.jsonz7memory/events/task-2553+51.selected-policy-profile.jsonz2memory/events/task-2553+51.gate-hold-decision.json0memory/events/task-2553+51.execution-result.jsonz> 1 1'4'> JD |t{{*L yABB .. ) )$ /CCKKKKC Jz dispatch.callback_owner_enforcerz#dispatch/callback_owner_enforcer.pyzanu_v3.callback_4tuple_registryz"anu_v3/callback_4tuple_registry.pyzanu_v3.callback_owner_validatorz"anu_v3/callback_owner_validator.pyz%anu_v3.authoritative_verdict_selectorz(anu_v3/authoritative_verdict_selector.pycdeZdZUded<ded<ded<ded<ded<eeZd ed <d d Zy )Checkstrname entrypointboolpassedexpectedobserved)default_factoryDict[str, Any]detailc|j|j|j|j|j|j dS)Nr&r'r)r*r+r.r0)selfs r to_jsonz Check.to_json{s6II//kk  kk   r"Nreturnr-)__name__ __module__ __qualname____annotations__rdictr.r2r"r r$r$rs/ IO LMM"48FN8 r"r$c tt}t|}g}d}d}dD]}|j|}|j |}|j |}| t |ndg} |r |tk7rd}| rd}|j|t||t|dd| d|j d } | tk(} |xr|xr| } td d | d d |d|d| t|d|| dS)u+44 registry 실 entrypoint READ-ONLY 질의 일관성. 실제 영구 ledger 를 query 메서드로만 읽는다 (append/mark_completed 호출 0 → ledger byte-0). 알려진 COMPLETED task 가 later-session 에서도 NORMAL_CALLBACK_COMPLETED 로 재확인되는지, 부재 task 가 fail-safe NO_LEDGER_RECORD 인지, 기록이 validate_record 를 통과하는지 검증. T)z task-2553+47z task-2553+48)task_idN NO_RECORDFstatus)r< history_linesclassify latest_statusvalidate_record_reasonsztask-2553+51-NONEXISTENT-PROBEz1A. callback_4tuple_registry read-only consistencyzhanu_v3.callback_4tuple_registry.Callback4TupleRegistry.{history_for,classify,latest_for,validate_record}zwknown COMPLETED tasks -> NORMAL_CALLBACK_COMPLETED & validate_record clean; absent task -> NO_LEDGER_RECORD (fail-safe)z completed_ok=z record_valid_ok=z failsafe_ok=) ledger_pathledger_mutatedsampledabsent_probe_verdictr0)default_ledger_pathrCallback4TupleRegistry history_forr@ latest_forvalidate_recordNORMAL_CALLBACK_COMPLETEDappendlengetattrNO_LEDGER_RECORDr$r%) ledgerregrE completed_okrecord_valid_oktidhistverdictlatest rec_reasonsabsent_verdict failsafe_okr)s r check_a_registry_readonlyr\s=! &F  (C$&GLO/ s#,,s,+$171Cof-+ w";; L #O!$T#!(4!@+6    &\\*J\KN $44K  =o =+F  @=ML>):?:KL&- )v;#$2   r"c tttddddtdd }t dt t d|}t dttd|}|j d k(xr|jxr |j}|j d k(xr|j xr |j }|xr|}td d |d d|d||j|jdS)u'+49 owner/key/role fail-closed validator 실 entrypoint. 독립 ANU key(c119085addb0f8b7) collector -> PASS / registration allowed / owner_is_independent_anu. executor self key (a999e2ea4c06d2fb) collector -> FAIL / registration BLOCKED (self-collector 0 구조적 강제). ANUzANU-2553p51-NCzANU-2553p51-FBzDG-2553p51-dev7-ichamnaTcokacdir_cron_direct) r< executor_keycollector_rolenormal_collector_cron_idfallback_callback_cron_iddispatch_cron_idchat_idprompt_claims_anu_collector entry_path) collector_keycollector_owner_keyPASSFAILz>B. callback_owner_validator fail-closed (ANU vs executor self)z?anu_v3.callback_owner_validator.validate_callback_owner_runtimezzANU key collector -> PASS+allowed+independent; executor self key collector -> FAIL+blocked (self-collector structurally 0)zanu_ok=z self_blocked=)anu_key_resultexecutor_self_key_resultr0r:) r9TASK_IDEXECUTOR_SELF_KEYCHAT_IDvalidate_callback_owner_runtimeANU_CALLBACK_KEYrWregistration_allowedowner_is_independent_anur$r2)commonanuselfkanu_ok self_blockedr)s r check_b_owner_validatorrzs &!1"22$() F * &,   C , '-   E v )  $ $ )  ( (   /** * /.. .  $ F  M*M6(.?!kkm(-    r"c jtt}ttdtt t dddd }t |gt|}ttdtt tdd dd  }t ||gt|}|jtk(xr0|jd k(xr|jd uxr|jd k(}|jtk(xr |jdk(xr|jdk(}|xr|}tdd|dd|d||j|jdS)u.+49 authoritative verdict selector 실 entrypoint. executor self-session 산출물(self-chain) 은 PASS 라도 영구 비권위 (QUARANTINED / PENDING / verdict FAIL). 독립 ANU collector verdict (collector_key=ANU, role=ANU, !=executor, not self-session) 만 AUTHORITATIVE_PASS. rjexecutorTindependent_anuz8executor self-session pilot result (NEVER authoritative)) kindrWr<r`rhrasession_is_executor_selfclaimed_originr.)r<anu_keysr^Fz1independent ANU collector verdict (authoritative)rkNrr u7C. authoritative_verdict_selector (self-chain非권위)zBanu_v3.authoritative_verdict_selector.select_authoritative_verdictz_self-chain only -> PENDING/FAIL (no authoritative PASS); +independent ANU -> AUTHORITATIVE_PASSzself_quarantined=z independent_authoritative=)self_chain_onlywith_independent_anur0)sortedDEFAULT_ANU_KEYS VerdictRecordKIND_COLLECTOR_RESULTrnroselect_authoritative_verdictrrclassificationAUTHORITATIVE_VERDICT_PENDINGrWauthoritative_verdictindependent_anu_countAUTHORITATIVE_PASSr$r2)r self_chain self_only independentwith_independentself_quarantinedindependent_authoritativer)s r check_c_authoritative_selectorrs{&'H "&'!!%(I J-  gI "&&!&(B K4 [!7X   $AA 1    ' 1  + +t 3 1  + +q 0  ''+== 8  $ $ . 8  2 2a 7  ;";F  F'1 012))B(C E )002$4$<$<$>  r"c tt}ttv}tt|}tt| }|xr|xr|}t dd|dd|d|d||ttdS) u#callback owner/key registry 횡단 일관성 (회장 권고 pilot 후보). enforcer/validator 가 쓰는 독립 ANU key 집합이 회장 §10 가 강제하는 callback key 와 동일하고, executor self key 는 ANU key 가 아님을 is_anu_key 실 함수로 교차 확인. z7D. callback owner/key registry cross-module consistencyz>dispatch.callback_owner_enforcer.{DEFAULT_ANU_KEYS,is_anu_key}zYmandated callback key == registered independent ANU key; executor self key NOT an ANU keyzmandated_in_set=z mandated_is_anu=z self_not_anu=)registered_anu_keysmandated_callback_keyexecutor_self_keyr0)rrrr is_anu_keyror$)rmandated_in_setmandated_is_anu self_not_anur)s r check_d_key_registry_consistencyr>s&'H&*::O !18>L  A A\F  F+//@~l^ =$,%5!2  r"cttttg}t d|D}dt t dtddd|rdnddd|Dcgc]}|jc}d Scc}w) uD모든 실 entrypoint 를 직접 호출 (mock-only FAIL). read-only.c34K|]}|jywN)r)).0cs r zrun_pilot..es.!QXX.szanu_v3.runtime_smoke_pilot.v1udev7-team 이참나FTrjrk%DEFERRED_TO_INDEPENDENT_ANU_COLLECTOR) schemar< goal_typer|r` mock_onlyreal_entrypoints_calledrDself_chain_verdictself_chain_authoritativeauthoritative_selectionchecks) r\rzrrallrn GOAL_TYPEror2)r all_passedrs r run_pilotr]s "#!&((* F .v..J2))#'(2f$)#J(./1199;/  0sA4c|tvrtd|dt|z }|jj dd|j |dy)Nz REFUSED: u' not in §6 allowlist (write 0 outside)T)parentsexist_okzutf-8)encoding)EXPECTED_FILES SystemExitrparentmkdir write_text)reltextps r _writerxsL . 9SE)PQRR s AHHNN4$N/LLL(r"c>tj}|jddd|j|}t }t t j|dd|jr"tdt j|dd|d d k(rd Sd S) Nz--emit store_trueu5write §6 allowlisted artifacts (default: print only))actionhelpF) ensure_asciiindentrrrjrr ) argparseArgumentParser add_argument parse_argsrprintjsondumpsemitr)argvapnsresults r mainrs  "BOO D t B [F $**V% :; ww > JJvE! < +,61=A=r"__main__)rr%rr%)r4r$r3)rr%rr%r4Noner)rzOptional[List[str]]r4int):__doc__ __future__rrimportlib.utilrrr dataclassesrrpathlibrtypingrrr r __file__resolverrrnrrrrorprr!_enfr_reg_val_selrHrGrLrPrKrqrrrrSELF_CHAIN_QUARANTINEDrrrr$r\rzrrrrrr5rr:r"r rs!D# (,, H~''*  + &&   /1VW26 ./ .0TU15 -. .0TU +. 44.. ::((&&"&"F"F(( __ #@@"" 44 $ B B,,22     &6r6rCL>6)>$ z TV r"