jajU5$dZddlmZddlZddlmZddlmZmZm Z m Z m Z m Z m Z dZdZddZ dd Z dd Z dd Z dd Z dd Z ddZ ddZddZddZ ddZy)uc표적 씬 실행 scope — 씬 이미지 슬라이스 실행 결정론 계약 (2026-07-23). 사용자 지시(슬라이스 E)의 범용화: 에피소드 전체가 아니라 표적 씬 부분집합만 씬 이미지(스틸)를 생성한다. Codex 설계 합의 조건: - BLOCKING-1: 전체 stills/stills_orm 은 컨텍스트 SOT 로 끝까지 유지 (월드 가이드·프롬프트 population·groupbg 컨텍스트/group_sig·canonical origin 전부 전체 목록 전제) — **생성 실행 루프만** effective allowlist 로 제한한다(recipe ordered loop / legacy scene_batch). - BLOCKING-2: 의존 클로저=소비 경로별 **최종 그래프의 재귀 고정점**. legacy=base+zoom+composition+immobilized edge 합산 그래프, recipe=shot_ref_classify+background_share_plan 적용 후 effective prev 체인. cycle/결손=fail-closed. - HIGH-3: requested→dependency→effective 를 이 모듈의 순수 함수가 단일 산출하고 audit(requested_scenes/requested_ids/dependency_added/ effective_ids)을 영속 — 서비스 실행·스텝 카운트·verify 가 동일 audit 을 소비(독자 필터 드리프트 금지). 표적 씬이 selected still 0개면 fail-fast(오타/재세그먼트 mismatch). - 빈 설정("")=전체 생성 — 모든 소비처 byte-identical. 시나리오 의존 없음 — 씬 index 는 범용 정수 목록이다. ) annotationsN)Path)AnyDictListMappingSequenceSetTuplezscene_target_scope.jsonct|xsdj}|syt}|jdD]r}|j}|s|j dj st d|dt|}|dkrt d||j|t|st d |tt|S) u설정 문자열 → 정규화 씬 튜플 (정렬·중복 제거). ""/None = () (표적 미설정 — 전체 생성). 정수 아닌 토큰/음수 = ValueError fail-closed (조용한 무시 금지 — 오타가 전체 생성으로 조용히 확장되는 경로 차단). ,-u)scene_image_target_scenes 파싱 실패: u (정수 목록 필요)ru,scene_image_target_scenes 음수 씬 index: uCscene_image_target_scenes 비어 있지 않은데 유효 씬 0개: ) strstripsetsplitlstripisdigit ValueErrorintaddtuplesorted)rawtextouttokvals \/Users/manta/Documents/Projects/TheRoad-I1/backend/app/modules/pipeline/scene_image_scope.pyparse_target_scenesr#!s syb>   !D ECzz#iik zz#&&(;C7BYZ\ \#h 7>seDF F   QRUQX Y[ [  ct|}|Dcic]}|g}}|D][}|jd}t|ts%||vs*|jds<||j t |d]t d|jD}|rtd|g}t |D]}|j|||Scc}w)u표적 씬의 생성 대상 still id 목록 (stills=selected·non-stale 우주). 표적 씬 중 still 0개인 씬 존재 = ValueError fail-fast (Codex HIGH-3: completed=0 위장 금지 — 오타/재세그먼트 mismatch 신호). scene_indexidc3,K|] \}}|r |ywNr).0tidss r" z&requested_still_ids..Ms?#3C31#3s u}표적 씬에 생성 대상 still 이 없음 — 씬 번호 오타 또는 재세그먼테이션 mismatch (fail-fast): scenes=) rget isinstancerappendrritemsrextend) stills target_scenestargetsr+by_scenessiemptyrs r"requested_still_idsr:>s- G5<%=WaeWH%=  UU= ! b# 2=QUU4[ RL  AdG - ?8>>#3? ?E  BBG JK KC H  8A; J&>s Cc t|Dcic]$\}}|t|jdxsd&c}}jDcic] \}}|s || }}}|Dcgc] }||vs| } }| rt d| ddt } |Dcgc]}|| } }| rv| j }|| vr| j||j|dD]8} | | vsj| st d| d| j| :| rvt |tfd | D} tfd | D}| |fScc}}wcc}}wcc}wcc}w) uC(legacy 경로) 최종 합산 dep 그래프의 재귀 클로저. deps=stills 인덱스 기반 target→source 그래프 (base+zoom+composition+ immobilized edge 가 전부 합쳐진 뒤 호출 — Codex BLOCKING-2). 반환=(effective_ids, dependency_added_ids). 미해석 인덱스=결손 fail-closed. r'ru;requested still 이 stills 우주에 없음 (fail-closed): Nrzdep source still[u] id 결손 (fail-closed)c3(K|] }| ywr)r)r*i id_by_idxs r"r-z+closure_over_index_graph..ys2Ty|Tsc3,K|] }|vs| ywr)r)r*x requesteds r"r-z+closure_over_index_graph..z>i1I+=1i ) enumeraterr.r1rrpoprr0r)r3 requested_idsdepsr>r7kv idx_by_idridmissingseenstacksrc effectiveaddedr?rBs @@r"closure_over_index_graphrSXs8A7HI7Htq!Cd )r**7HII"+//"39"3$!QqA"3I9+Dmss)/CsmGDIr{m  UD'4 5}Ys^}E 5  IIK 9   88Ar?C$ }}S)$+C50IJLL S! # M"I2T22I >i> >E e /J9D 6s#)E EE( E"2E" E'cddlm}i}|D]S}|j|xsijd}|j|}|r |||}|sFt|||<U|S)u(recipe 경로) tag→effective prev tag — 실행 루프와 동일 해석. shot_ref_classify 의 prev 에 background_share_plan 의 apply_share_plan_prev 를 적용한 값 (Codex BLOCKING-2: 두 CP 적용 후의 effective prev 를 클로저 입력으로). 보수적 상한 — 실행 루프의 bg_only 등 조건 분기로 prev 를 안 쓸 수 있으나, 클로저는 초과 포함이 안전하고 미포함이 결손이다. r)apply_share_plan_prevprev)!app.modules.pipeline.still_reciperUr.r)tagsclassify_shots share_plansrUrtagrVplans r"build_effective_prev_mapr]~skHC""3'-2226:s# (t4D 4yCH  Jr$cjt}|D]x}t}|}|s||vrtd|d|d|j|||vrtd|d|d||vrT|j||j|}|rgzt|t fd|D}t ||fS)u(recipe 경로) effective prev 체인 재귀 클로저. 반환=(effective_tags 정렬, dependency_added_tags). prev 가 known (스틸 우주) 밖=결손 fail-closed, cycle=fail-closed. u(prev 체인 cycle 감지 (fail-closed): u (시작 )u:prev 체인이 스틸 우주 밖을 참조 (fail-closed): c3,K|] }|vs| ywr)r)r*r+rBs r"r-z*closure_over_prev_chain..rCrD)rrrr.r) requested_tagsprev_of known_tagsrQstartpathcurrRrBs @r"closure_over_prev_chainrgs%Id{ >se9UGSTUWW HHSM*$ Pe9UG1.//i MM# ++c"C N#I >i> >E ) e ##r$c th||}t|ttd|Dttd|Dttd|D|dS)uNaudit 레코드 — 서비스 실행·스텝 카운트·verify 의 단일 SOT.c32K|]}t|ywr)rr*rAs r"r-z$build_scope_audit..s&E}!s1v}c32K|]}t|ywr)rrks r"r-z$build_scope_audit..s#BMqCFMrlc32K|]}t|ywr)rnrks r"r-z$build_scope_audit..s&L7K!s1v7Krl)contract_version path_kindrequested_scenesrGdependency_added effective_ids)rSCOPE_CONTRACT_VERSIONr)r4rGdependency_added_idsrqrQs r"build_scope_auditrwsg>>)=>?I2"3&E}&E#EF#BM#B BC"3&L7K&L#LM"  r$c|jdxsgDchc] }t|c}tfd|jD}t|jdxsg|k7r.t dt|jdxsgd|dt |jdxsgt |z }|rt dt|d d y cc}w) u소비 직전 — audit 를 **현재 selected-still 우주**와 결합 검증. Codex 재재리뷰 HIGH-1: expected_scenes 대조만으로는 같은 씬 번호의 stale audit(스틸 세대 교체 후 old id)가 로더를 통과하고, 소비측 교집합이 0 이 되어 false CLEAN 이 가능했다. 잠금 2건: - 현재 우주에서 재구성한 표적 씬 selected id 집합 == audit. requested_ids (동등성 — 표적 씬 선택 샷 일부 누락도 검출) - audit.effective_ids ⊆ 현재 우주 (unknown dependency id 조용한 드롭 차단) 위반=ValueError fail-closed (표적 씬 이미지 재실행 필요 신호). universe_scene_by_id = 현재 selected·non-stale still id→scene_index. rrc3PK|]\}}t|tr|vr|ywr))r/r)r*sidr8r5s r"r-z'check_scope_universe..s- 27R b# 2= 7s#&rGu표적 scope audit 이 현재 selected-still 우주와 불일치 — 스틸 세대 교체/선택 변경 후 stale audit (fail-closed): audit.requested=u vs 현재 표적 씬 selected=u# — 씬 이미지 재실행 필요rtub표적 scope audit effective 에 현재 우주 밖 still id — unknown dependency (fail-closed): Nr<)r.rrr1rr)audituniverse_scene_by_idrAexpected_requestedunknownr5s @r"check_scope_universers %yy);<BBCB!s1vBCG 2/557 22eii(.B/3EE %eii&@&FBGJK--?,BC- -. . %))O,23c7G 117!1D0G IJ JDsC&c>t||z dz dz |z tz S)N checkpointsimages)rAUDIT_FILENAME) projects_dir project_id episode_ids r"scope_audit_pathrs0 \Z'-7(B  % &r$cddl}|jjdd|jd}|j t j t|dddd |j||y) uatomic replace 저장 — 크래시 창에서 절단 파일이 fail-closed 로더를 영구 막는 것 방지 (Codex 재리뷰 HIGH-3).rNT)parentsexist_okz .json.tmpFr ) ensure_asciiindent sort_keysutf-8encoding) osparentmkdir with_suffix write_textjsondumpsdictreplace)rer{rtmps r"save_scope_auditrshKKdT2   ; 'CNN 4;U1MJJsDr$c|j|}t|trtd|Drt d|d|t t |t |k7rt d|d|t|S)Nc3dK|](}t|t xs|j *ywr))r/rrrks r"r-z#_require_id_list..s/)C=A 1c" " 3!'')m 3Ts.0u표적 scope audit u 형상 오류 (fail-closed): u 중복 id (fail-closed): )r.r/listanyrlenr)datakeyrevalss r"_require_id_listrs 88C=D dD !S)C=A)C&C!#&DTF KM M 3t9~T"!#&@ GI I :r$c X|jstd|dtj|j d}t |t std||jdtk7r(td|jddtd |d |jd d vr!td |jd d |d |jd}ttd|D}||k7rtd|d|d |dt|d|}t|d|}t|d|}|std|t|t|kstd|t|t|zt|k7rtd||S)u<audit 로드 — 부재/형상/정합 오류=ValueError fail-closed. 표적이 설정된 스텝 카운트/verify 는 반드시 실행이 남긴 audit 과 동일 scope 를 소비해야 한다(독자 필터 재구현 금지 — Codex HIGH-3). 검증: contract_version 정확 일치, path_kind enum, requested_scenes=현재 정규화 표적과 정확 일치(다른 표적의 stale audit 소비 차단), id 목록= 비공백 문자열·중복 없음, requested 비어 있지 않음, requested⊆effective, requested∪dependency_added==effective. u)표적 scope audit 부재 (fail-closed): uH — 표적 설정 상태에서 씬 이미지 실행이 선행돼야 함rru0표적 scope audit 형상 오류 (fail-closed): rpu=표적 scope audit contract_version 불일치 (fail-closed): z != z (r_rq)recipebatchu3표적 scope audit path_kind 오류 (fail-closed): rrc32K|]}t|ywr)rjrks r"r-z#load_scope_audit...s?!s1vrluv표적 scope audit 이 현재 표적과 불일치 — 다른 표적의 stale audit 소비 차단 (fail-closed): audit=u vs 현재=u$) — 씬 이미지 재실행 필요rGrsrtu;표적 scope audit requested_ids 빈 목록 (fail-closed): u8표적 scope audit requested⊄effective (fail-closed): uL표적 scope audit requested∪dependency_added != effective (fail-closed): ) existsrrloads read_textr/rr.rurrr)reexpected_scenesrscenes expected_normrB dep_addedrQs r"load_scope_auditrs ;;=7v>R RS S ::dnngn6 7D dD !KD6RSS xx"#'== Kxx*+.d3I2JKvQ   xx $77 Axx $'r$q 23 3XX( )F3???@M  88>zB#&b.R TU U!=I '94@I =I I$ PR R y>S^ +Ftf MO O 9~I&#i.8 "V %& & Kr$)rrreturnzTuple[int, ...])r3Sequence[Mapping[str, Any]]r4 Sequence[int]r List[str])r3rrG Sequence[str]rHzMapping[int, Set[int]]rTuple[List[str], List[str]])rXrrYMapping[str, Mapping[str, Any]]rZrrzDict[str, str])rarrbzMapping[str, str]rczSet[str]rr) r4rrGrrvrrqrrDict[str, Any])r{Mapping[str, Any]r|zMapping[str, int]rNone)rz str | Pathrrrrrr)rerr{rrr)rrrrrerrr)rerrrrr)__doc__ __future__rrpathlibrtypingrrrrr r r rrur#r:rSr]rgrwrrrrrrr$r"rso,# AAA*: ' 4# '# # !#! #L 31 4$!$ $$! $@ !(     & J  J+ J  JF*-;>   0 0$100r$