3j-UdZddlmZddlmZmZddlmZmZm Z m Z dZ de d<dZ de d <eGd d ZeGd d ZeGddZeGddZdZde d< d ddZddZddZddZddZy) ujanu_v3.goal_loop_planner — Track3 goal-driven loop generalization (minimal). Authority: task-2553+17.md §1 / §2 / §4 (Track3) + §12 9-R.7. The chair supplies only ``goal + boundary + policy_profile``; this module binds them to a track and generates the standard ANU loop plan:: lint -> refine(9-R) -> re-lint -> impl -> audit -> adjudication -> callback -> next and resolves next_action / HOLD condition / final-packet schema. 9-R.7 split rule (non-self-referential / no bootstrap paradox): If any of the Track2 mandatory-11 features would be made unimplementable or contaminated by a Track3 generalization, that **generalization sub-feature only** is split out as a follow-up candidate (all 11 Track2 features preserved, no silent drop). If even after splitting a Track2 mandatory feature is unavoidably damaged -> HOLD_FOR_CHAIR. NOTE (9-R.7 / §10): the construction of this very batch is ANU **manual** coordination — the not-yet-built coordinator never manages its own build/adjudication. This planner is for *future* batches; the task-2553 series here is fixture/verification data only. ) annotations) dataclassfield)DictListSequenceTuple)lint refine_9rre_lintimplaudit adjudicationcallbacknextzTuple[str, ...] LOOP_STAGES) batch_id_generationcallback_4tuple_registrydependency_matrixexpected_files_overlapforbidden_write_overlapshared_artifact_contaminationfinal_authority_packetduplicate_pending_classifiertrack_loop_state_13batch_next_actionconsolidated_final_summaryTRACK2_MANDATORY_11cPeZdZUded<dZded<dZded<dZded <d Zded <y ) PolicyProfilestrnameint retry_ceilingTboolauto_micro_fixhold_on_high_or_criticalzanu_v3.track_final_packet.v1final_packet_schemaN)__name__ __module__ __qualname____annotations__r%r'r(r)//home/jay/workspace/anu_v3/goal_loop_planner.pyr r ;s1 IM3ND%)d)==r/r cheZdZUdZded<ded<eeZded<edZd ed <d d Z y ) GoalRequestz6Chair-supplied: goal + boundary + policy_profile only.r!goal_idgoal_statementdefault_factory List[str]boundaryctdS)Ndefault)r r.r/r0zGoalRequest.Ls i 8r/r policy_profilec2t|||jS)N)track_idgoalr<)TrackGoalBindingr<)selfr>s r0 bind_trackzGoalRequest.bind_trackOs..  r/N)r>r!returnz'TrackGoalBinding') r*r+r,__doc__r-rlistr8r<rBr.r/r0r2r2Ds8@ L5Hi5$)8%NM r/r2c,eZdZUded<ded<ded<y)r@r!r>r2r?r r<N)r*r+r,r-r.r/r0r@r@WsM !!r/r@c|eZdZUded<ded<ded<ded<ded<ded <ee Zded <d Zded <ddZy)LoopPlanr!r>r3r7stagesr$r%hold_conditionsr)r5split_followupsPLANNEDstatusc |j|jt|j|jt|j |j t|j|jdS)N)r>r3rIr%rJr)rKrM) r>r3rErIr%rJr)rKrM)rAs r0to_dictzLoopPlan.to_dictis[ ||4;;'!//#D$8$89#'#;#;#D$8$89kk  r/N)rCzDict[str, object]) r*r+r,r-rrErKrMrOr.r/r0rHrH^sBM L !&t!"`` prefix) -> HOLD_FOR_CHAIR. )r>r3rIr%rJr)z zunknown Track2 feature keys: HOLD_FOR_CHAIRFOLLOW_UP_SPLIT)r<rHr>r?r3rErr%rXr) startswithr ValueErrorrMrKsorted)bindingtrack2_conflictsppplanc irreducible splittableunknowns r0generate_loop_planrgs   B !! $$K &&4522  D/P!,,2O1PKP#1<<+HJ*=!=G8 BCC& ! K ' %j1 KQs$.DDD&D0 D >D c|jdk(ry||jvrtd||jj|}|dzt |jkr|j|dzSy)z6Resolve the next loop stage (or terminal next-action).rZzunknown stage  LOOP_COMPLETE)rMrIr]indexlen)rb current_stageidxs r0resolve_next_actionrosp {{&&DKK'>-):;<< ++  M *C QwT[[!!{{37## r/cP|jD]}|j|s|cSy)z7Return the first triggered HOLD condition, else "NONE".NONE)rJget)rbsignalsconds r0resolve_hold_conditionrus-$$ ;;t K r/c|jS)N)r))rbs r0resolve_final_packet_schemarws  # ##r/cJ|D]}|jD] }|tvs y y)zZero silent drop guarantee: no plan may HOLD without recording it, and split follow-ups must reference only known Track2 keys.FT)rKr)planspfs r0track2_mandatory_preservedr|s9"" A++  r/N)r.)r_r@r`z Sequence[str]rCrH)rbrHrmr!rCr!)rbrHrszDict[str, bool]rCr!)rbrHrCr!)ryzSequence[LoopPlan]rCr&)rD __future__r dataclassesrrtypingrrrr rr-rr r2r@rHrXrgrorurwr|r.r/r0rs2#(..  _  (_  >> >     $ "" "      0 , ')$ $#$$N $r/