3jdZddlmZddlmZmZddlmZmZm Z dZ dZ dZ hdZ eGd d ZeGd d Zd d ddZddZy)uanu_v3.batch_runtime_join_policy — +29 standalone batch join policy. DISTINCT from the frozen anchor anu_v3.batch_join_policy (byte-0, §9). This is a NEW standalone module for task-2553+29; the frozen file is neither imported nor edited (9-R.3 file-level contract, §8 forbidden-target collision avoided by using a separate path). Join rules implemented: * 구현목표 11 / regression 11 — one track HOLD does not block independent DONE tracks (tracks are joined by independence, not by worst-case). * regression 2 — a track whose result is ready but whose fallback is still PENDING is NON-blocking: it still contributes its terminal outcome. * 구현목표 12 / regression 14 — closeout eligibility is *derived* from the batch state (never from chat memory) and only ever PROPOSED, never confirmed (§7: closeout 확정 금지). * regression 12 — any cross-task artifact contamination -> BATCH_HOLD. ) annotations) dataclassfield)DictListSequence BATCH_ACCEPT BATCH_HOLDWAIT_FOR_FALLBACK>DONEPASSMERGEDcJeZdZUded<ded<ded<ded<ded<ded<y ) TrackJoinViewstrtask_idterminal_outcomeclassificationboolhold_for_chairfallback_state has_resultN)__name__ __module__ __qualname____annotations__7/home/jay/workspace/anu_v3/batch_runtime_join_policy.pyrr s% LrrceZdZUeeZded<eeZded<eeZded<e Z ded<eeZ ded<y ) JoinResult)default_factoryz List[str]independent_done_tracks held_trackswaiting_tracksrbatch_next_actionblocking_relationsN) rrrrlistr#rr$r%r r&r'rrrr!r!*sK).t)DYD"48K8 %d ;NI;)s)$)$$? ?rr!r) contaminationc0t}|rt|_|D]k}|jtvr2|j s&|j j|jG|jj|jm|jjd|S|D]}|j s|jdk(r&|jj|jD|jtvr&|j j|j||js5|jdk(r&|jj|j|jj|j|jrB|j r6|jjd|jd|j d|jr t|_|S|jr t|_|St|_|S)z5Apply the independence join policy across all tracks.z&cross_task_contamination -> BATCH_HOLDHOLDPENDINGzheld=z do NOT block independent done=z (join by independence))r!r r&r_SETTLEDrr#appendrr$r'rrr%r r )viewsr)resvs rjoinr23s ,C * 2A!!X-a6F6F++22199=&&qyy1  2 %%&NO  -  q11V; OO " "199 -    )  ' ' . .qyy 9 || 0 0I =    % %aii 0  !!!)), -  366 %% ; ; =   * J   1 J!- Jrc|jdixsi}|jdgxsg}|jd}t|xr td|jD}|xr| xr |tk(}|sd}nY|rd}nT|sP|j Dcgc]/\}}|jdt vs|jdr|1} }}d | }nd }t|d d |d Scc}}w)uDerive (PROPOSE, never confirm) closeout eligibility from batch_state. 구현목표 12 / regression 14: input is the batch_state dict ONLY — no chat memory, no external signal. §7: confirmed is hard-pinned False. tracksr)r&c3rK|]/}|jdtvxr|jd 1yw)rrN)getr-).0recs r z+derive_closeout_proposal..os<'  # $ 0S#''BR:S6SS's57zno tracks in batch_statez.cross-task contamination present -> ineligiblerrztracks not all settled: uwall tracks settled (MERGED/PASS/DONE), no contamination — closeout PROPOSED; chair confirmation still required (§7). batch_stateF)eligible derived_from confirmedreason)r6rallvaluesr itemsr-) r:r4r) next_action all_settledr;r>tidr8 unsettleds rderive_closeout_proposalrFes __Xr * 0bFOOOR8>BM//"56Kv,3'==?'$KP=0P[L5PH + A  &  Cww)*(:cggFV>W   ,I;7 J  N%   s4C+N)r/zSequence[TrackJoinView]r)zSequence[object]returnr!)r:Dict[str, object]rGrH)__doc__ __future__r dataclassesrrtypingrrrr r r r-rr!r2rFrrrrMs"#(''  ' &   @@ @')/ "/$/ /d%r