ƬLjdZddlmZddlZddlZddlmZddlmZee jjdZ e dz Z e dz Zdd Zdd Zdd Zdd Zdd ZddZddZedk(reyy)a+Build a concise queue of remaining static-analysis work. This page is intentionally not another raw evidence dump. It tells future analysis passes which fronts are settled, which are blocked by missing producer proof, and which are web-runner implementation requirements rather than EXE unknowns. ) annotationsN)Path)Anyoutwebc tjt|z jd}t |t r|SiS#t$ricYSwxYw)Nutf-8encoding)jsonloadsOUT read_textFileNotFoundError isinstancedict)namedatas -tools/build_static_analysis_remaining_work.py load_jsonrsSzz3:00'0BCdD)41r1  s,A AAcL|jd}t|tr|SiS)Nsummary)getrr)rvalues rrrs$ HHY Eud+533cVtj|ddSt|dS)NT)quote)htmlescapestr)rs rhr##s% ;;U]r$ GGE $ GGrcv|jdrd|zS|jdr|jdS|S)Nzout/z../zweb/) startswith removeprefix)paths rlinkr('s: vt| v  (( Krc*'td}t|}ttd}ttd}ttd}ttd}ttd}ttd}ttd}ttd } ttd } ttd } ttd } ttd } ttd}ttd}ttd}ttd}ttd}td}ttd}td}ttd}ttd}ttd}ttd}ttd}ttd}ttd}td}td}td}td } td!}!td"}"td#}#t|#}$ttd$}%ttd%}&ttd&}'ttd'}(ttd(})ttd)}*ttd*}+ttd+},td,}-t|-}.ttd-}/ttd.}0ttd/}1ttd0}2ttd1}3ttd2}4ttd3}5ttd4}6ttd5}7ttd6}8ttd7}9ttd8}:ttd9};ttd:}ttd=}?ttd>}@ttd?}Attd@}BttdA}CttdB}DtdC}E|jdDdEdEk(xr|jdFdEdEk(xrz|jdGdEdEk(xrc|jdHdI|jdJdEk(xr<|jdKdI|jdLdEk(xr|jdMdEdNk\}FdOdPdQdRdS|jdTdEdU|jdVdEdW|jdFdEdX|jdGdEdYgdZd[dOd\|FrdQnd]Frd^nd_d`|jdDdEda|jdbdEdc|jdHdEdU|jdJdEdd|jdKdEdU|jdLdEde|jdMdEdfFrdgndhdidjgd[dkdldQdmdn|jdodEdp|jdqdEdr|jdsdEdtdugd[dvdwdxdydz|jd{|jd|dEd}|jd~dEd|jddEd| jddEd| jddEd|jddEd dgdd[dvddxdd| jddEd| jddEd| jddEd| jddd| jddEd| jddEd| jdddgdd[dddxddjgd|jdd|jdd|jdd|jddEd|jdd|jdd|jddEdU|jddEd|jddEdU|jddEd|jdd|jddd|jdd|jdd|jdd|jdd|jddU|jd«dÑ|jddEdő|jddEdǑ|jddɫdU|jddɫdˑ|jddɫd͑|jddEdϑ|jddEdU|jddEdU|jddEdӑ|jdԫdՑ|jddEdב|jdثdّ|jdګdۑ|jddEdݑ| jdګdޑdgdd[dddxdd|jddEd|jddEd|jddEd|jdxr|jdd|jdd|jdd|jdd|jddEd|jddɫd|jddɫd|jddEdU|jddEd|jdd|jdd|jddgdd[dddxddjgd|!jddd|"jddd|$jddEd|$jddEd|%jdd|%jd dEdU|%jd dEd |&jd dEd |&jddEd|'jddEd|'jddEd|'jddɫd|)jddɫdU|)jddɫd|)jddɫd|)jddɫd|*jddɫd|jddɫd |*jd!dɫd"|+jd#dɫd$|+jd%dɫdU|+jd&dɫd'|jd#dɫd(|,jd#dɫd)|,jd*dɫdU|,jd+dɫdU|,jd,dɫd-|(jd.d/|(jdd0gd1d[d2d3d4d5djgd6|7jd7|:jd7dEd8|7jd9|:jd9dEd:|9jd;dd<|;jd=dEdU|;jd>dEd?|jdGddH|>jdIddJ|?jdKddL@jdMdEd|@jdNdEdO|@jdPddQAjdRdEdS|AjdTdEdUBjdVdEd|BjdWdEdX|BjdYdEdU|BjdZdEd[Cjd\dEd]|Cjd^dEd_Djd`dEda|8jddɫdbEjdcddd|7jdeddfgdgd[dhdid4djdjgdk|.jdldEdm|.jdndEdo|$jddEdp|4jdqddr|4jdsddt|4jdudEdU|4jdvdEdw|/jdxddy|/jdz|.jdzdd{|/jd|dd}|/jd~dd|/jddd|1jddɫd|2jddɫdU|2jddɫd|0jddɫd|0jddɫd|3jddɫdU|3jddɫd|5jd\dɫd|5jddɫd|6jddɫd|.jdidgdd[g }Gddgdt |Gt d|GDt d|GDt d|GDt d|GDd|GdS(Nzcns_precut_catalog_review.jsonz+battle_skill_implementation_gap_review.jsonz+battle_effect_animation_pattern_review.jsonz(battle_effect_runner_binding_review.jsonz!battle_hit_window_gap_review.jsonz"field_encounter_static_review.jsonz)field_step_encounter_boundary_review.jsonz-field_encounter_producer_boundary_review.jsonz0field_active_object_trigger_boundary_review.jsonz/field_encounter_tick_route_boundary_review.jsonz.field_encounter_formation_boundary_review.jsonz,field_encounter_formation_stream_review.jsonz4field_encounter_formation_opcode_cluster_review.jsonz'field_rng_selector_opcode1c_review.jsonz+scene_event_text_consumer_trace_review.jsonz-selected_scene_text_root_consumer_review.jsonz.selected_root_live_writer_frontier_review.jsonz'selected_root_opcode_matrix_review.jsonz&selector_root_preentry_ref_review.jsonz/selector_address_predecessor_bridge_review.jsonz)save_selector_dispatch_table_context.jsonz/generic_vm_stream_producer_frontier_review.jsonz-generic_vm_opcode2a_parent_stream_review.jsonz&generic_vm_opcode14_branch_review.jsonz'display_vm_root_ref_context_review.jsonz*scene_event_vm_execution_route_review.jsonz)scene_event_vm_route_boundary_review.jsonz&global_mode_state_frontier_review.jsonz.save_selector_opcode08_activation_windows.jsonz&save_selector_merge_bridge_matrix.jsonz!strict_event_source_coverage.jsonzruntime_trace_feasibility.jsonzmenu_right_panel_ui_review.jsonz%status_menu_ui_expression_review.jsonz status_menu_vm_table_review.jsonz$hud_menu_opener_boundary_review.jsonz$hud_menu_opener_frontier_review.jsonz+hud_menu_selected_root_frontier_review.jsonz*hud_menu_mode_state_dispatcher_review.jsonz)hud_menu_top_sequence_context_review.jsonz&hud_menu_vm_graph_frontier_review.jsonz*hud_active_group_gate_frontier_review.jsonz'hud_input_consumer_boundary_review.jsonz+status_comment_selector_binding_review.jsonz,status_comment_producer_boundary_review.jsonz'status_comment_backing_writer_scan.jsonz+status_comment_backing_base_ref_review.jsonz*status_comment_base_bind_route_review.jsonz3status_comment_indirect_selector_writer_review.jsonz+status_comment_selector_meaning_review.jsonz1status_comment_target0_writer_context_review.jsonz9status_comment_selector_value_source_frontier_review.jsonz%map_animation_exe_pattern_review.jsonz)map_animation_static_frontier_review.jsonz,map_animation_execution_boundary_review.jsonzmap_animation_tile_review.jsonz)map_animation_resource_binding_probe.jsonz,map_animation_live_buffer_writer_review.jsonz4map_animation_object_relative_tile_write_review.jsonz)map_animation_redraw_consumer_review.jsonz-map_animation_draw_tile_transform_review.jsonz$map_animation_tick_route_review.jsonz9map_animation_active_object_script_tile_write_review.jsonz1map_animation_frame_script_tile_write_review.jsonz4map_animation_non_object_tile_write_root_review.jsonz3map_animation_specialized_loop_boundary_review.jsonzruntime_map_layer0_poll.jsonskillsWithReviewFlagsrrunnerImplementationGapRowsstaticAnalysisGapRowsengineChecksPassedengineChecksTotalpageChecksPassedpageChecksTotalpagesRenderingHelperEffectLayeru전투u전투 계산/타격 windowsettleduEXE 분석 완료z hit events confirmedHitEvents/ hitEventsz , runner gap z , static gap u{새 기술 오류가 보이면 runner 구현/표시 테이블 문제로 보고, EXE 미확정으로 되돌리지 않는다.))zbattle analysiszweb/battle_analysis.html)zhit window JSONz%out/battle_hit_window_gap_review.json)zsupport/status policy JSONz,out/battle_support_status_policy_review.json)areatitlestate stateLabelrnextlinksu전투 이펙트 실행 요구implementationu정적 요구/웹 결속 완료u웹 실행기 구현 요구z review flags z, execution requirements skillsWithExecutionRequirementsz, engine/page binding z + z, effect render pages z/3uEXE child/helper/random placement 요구와 active page 결속은 완료됐다. 새 시각 오류는 개별 effect transform/render tuning으로 처리하고, EXE 미확정으로 되돌리지 않는다.uEXE는 child/helper/random placement 요구를 제공하고, active page는 공통 helper sync/visual 엔진에 결속되어 있다. timeline은 상세 effect frame 검토, simulator/calculator는 전투 흐름용 helper frame preview를 렌더한다.)zeffect patternsz/web/battle_effect_animation_pattern_review.html)zrunner bindingz,out/battle_effect_runner_binding_review.htmlCNSzCNS source-rect/precut catalogu후보 정리 완료zdescriptor assets descriptorPlus4Assetsz, fixed grids fixedGridAssetsz, unbound candidates unboundCandidateAssetsuiaaa/compile false-positive는 제거했다. 새 CNS rect 문제는 catalog를 우선 근거로 삼는다.)z CNS catalogz"out/cns_precut_catalog_review.htmlu필드 인카운트u랜덤 전투 producerblockedu정적 producer 미발견zRNG call sites rngCallSiteCount rngCallSitesz; direct field evidence $rngDirectFieldEncounterEvidenceCountz; movement RNG refs #sharedRngCallsInCoreMovementWindowsz; active-object route proof routeProofScriptCountz; tick-route promotable calls /promotableKeyDirectCallsInsideKnownFieldWindowsz; producer surfaces promotedProducerSurfaceCountz promotedu좌표 업데이트 함수, known field tick route, manual active-object bridge 안에는 없다. higher-level mode/state dispatcher에서 step success와 battle setup을 연결하는 증거가 필요하다.))zproducer boundary1web/field_encounter_producer_boundary_review.html)ztick route boundary JSONz3out/field_encounter_tick_route_boundary_review.json)zactive-object boundaryz4web/field_active_object_trigger_boundary_review.html)zfield encounterz&web/field_encounter_static_review.html)z step boundaryz-web/field_step_encounter_boundary_review.html)z opcode 0x1cz+web/field_rng_selector_opcode1c_review.htmlu 전투 편성/몬스터 produceruconsumer만 groundedzselector roots selectorRootCountz, monster roots selectorMonsterRootCountz, map+monster roots selectorMapMonsterRootCountz, cluster producer !directFieldEncounterProducerFoundFz, stream refs candidateExactPointerRefCountz, stream owners with maps candidateOwnerWithFieldMapCountz, stream status statuszproducer-unbounduopcode 0x1e는 battle actor formation consumer로 확정됐다. stream 후보는 selector/resource root 내부 inline anchor이고 exact pointer ref가 없어, 필드 맵에서 이 stream을 고르는 producer는 아직 없다.))zformation boundaryz2web/field_encounter_formation_boundary_review.html)zopcode clusterz8web/field_encounter_formation_opcode_cluster_review.html)zformation streamz0web/field_encounter_formation_stream_review.html)zformation contextz1web/field_encounter_formation_context_review.htmlz Scene/Eventu#텍스트 consumer와 route bindingz!consumer grounded / route blockedrztext consumer proof textConsumerProofFoundz; route binding proof routeTextBindingProofFoundz; selected root consumer consumerVerifiedz; selector/root writers selectedRootWriterRefCountz; selector byte writer selectorByteWriterGroundedz; selected executor selectedRootExecutorFoundz%; root opcode matrix exact 0x07/0x09 opcode07ExactRootSelectCountopcode09ExactRootStoreCountz4; pre-entry current refs source/predecessor/address )sourceOrPredecessorToCurrentRangeRefCount(addressPredecessorToCurrentRangeRefCountz, address bridge proof 0addressPredecessorBridgeRouteExecutionProofFoundz, class bridgeContextClassification unreviewedz , promoted promotedRouteProofz; dispatch table proof dispatchTableProofFoundz; save slice anchored saveSelectorSliceAnchoredz; runtime dispatch proof 0saveSelectorSliceDirectRuntimeDispatchProofFoundz; generic VM stream producers surfaceCountz, direct unclassified unclassifiedDirectCallCountz, 0x2a fanout calls linkedObjectFanoutCallCountz+; display VM root refs object/create/store objectCreateRefCount unscannedfieldCallbackStoreCountz, root ref opener normalFieldHudOpenerPromotedz; 0x2a active +ec hits activeObjectEcOpcode2aCountz, 0x2a raw/boundary/promoted rawCandidateCountboundaryCandidateCountpromotedParentProducerCountz; direct execution root directExecutionRootFoundz; route surfaces blockedRouteSurfaceCountz blocked; opcode08 promotes opcode08ActivationPromotesRoutez; merge proof proofFoundz; strict source coverage strictEventSourceCoveragePercentz%; historical runtime proof z (not primary)u프롬프트 표시 consumer와 selected-root writer/executor VM primitive는 있다. 전체 selector-root opcode matrix에서도 0x4f mode1은 self/slot-alias로만 나타나며, 0x07 exact-root select와 0x09 exact-root store는 0건이다. selector-root pre-entry ref scan에서는 source/predecessor 0:0/1:0에서 current 2:0으로 들어가는 aligned pointer가 0건이다. address-predecessor 10:0에는 current-range pointer 75건이 있으나 별도 bridge review에서 target-side resource/data adjacency로 재분류했고 route producer 승격은 false다. generic dispatcher 0x00402321/0x00440538은 확정됐고 save-selector 0x00440720 slice 모델도 정적으로 anchored됐지만, 0x00440720을 live route에서 쓰는 table-base switch/direct runtime dispatch 증거는 없다. generic object/display VM stream frontier는 직접 호출 미분류를 0으로 줄였고 opcode 0x2a linked-object fanout까지 정리했다. 0x2a는 strict active object +0xec script inventory에서 0건이며 raw 후보는 parent/root 연결이 없어 route producer 승격 0건이다. 다음 시도는 0x00406dbb 또는 0x0040ad9b/0x0040adc9/0x0040ae0e까지 실제 gameplay stream/root를 공급하는 upstream producer 증거를 우선한다. 런타임 trace는 기본 경로로 쓰지 않는다.))zroute boundary JSON-out/scene_event_vm_route_boundary_review.json)z text consumerz/web/scene_event_text_consumer_trace_review.html)zselected text rootz1web/selected_scene_text_root_consumer_review.htmlzselected root writerz2web/selected_root_live_writer_frontier_review.html)zselected root writer JSON2out/selected_root_live_writer_frontier_review.jsonzselected root opcode matrixz+web/selected_root_opcode_matrix_review.html)z selected root opcode matrix JSON+out/selected_root_opcode_matrix_review.json)zselector root pre-entryz*web/selector_root_preentry_ref_review.html)zselector root pre-entry JSON*out/selector_root_preentry_ref_review.json)zaddress predecessor bridgez3web/selector_address_predecessor_bridge_review.html)zaddress predecessor JSON3out/selector_address_predecessor_bridge_review.jsonzdispatch table contextz-web/save_selector_dispatch_table_context.html)zdispatch table JSON-out/save_selector_dispatch_table_context.jsonzgeneric VM streamz3web/generic_vm_stream_producer_frontier_review.html)zgeneric VM stream JSON3out/generic_vm_stream_producer_frontier_review.jsonzdisplay VM root refsz+web/display_vm_root_ref_context_review.htmlzdisplay VM root refs JSON+out/display_vm_root_ref_context_review.jsonzopcode 0x2a parent streamsz1web/generic_vm_opcode2a_parent_stream_review.html)zopcode 0x2a JSON1out/generic_vm_opcode2a_parent_stream_review.json)zexecution routez.web/scene_event_vm_execution_route_review.html)zopcode08 windows JSON2out/save_selector_opcode08_activation_windows.json)zmerge bridge JSON*out/save_selector_merge_bridge_matrix.json)zstrict coveragez%out/strict_event_source_coverage.htmlu전역 Mode/Stateu상위 mode/state dispatcherz'cross-domain scanned / producer pendingzcross-domain funcs crossDomainFunctionCountz, review-required reviewRequiredCountz, promoted producers promotedProducerCountz, selected-root primitives selectedRootWriterGroundedz, opcode matrix promoted routeProducerPromotedz, dispatch proof z, generic VM producer z!, generic VM unclassified direct z, display root opener z, display root object refs z, opcode2a active/promoted z, save/load bridge saveLoadRestoreBridgeFoundz, menu internal excluded menuInternalDispatcherExcludedz, field movement excluded fieldMovementControllerExcludedu입력/메뉴/scene/field/encounter/map-animation 교집합을 전체 스캔했지만 live gameplay producer 승격은 0건이다. 0x00406dbb는 selector byte writer, 0x0040ad9b/0x0040adc9/0x0040ae0e는 selectedRoot writer/executor primitive로 grounded됐다. 전체 root opcode matrix도 source/predecessor가 current 2:0 exact root를 고르는 경로를 찾지 못했다. generic VM 직접 호출은 nested wrapper/opcode 0x2a fanout/active delayed route로 모두 분류됐고 route producer는 아니다. opcode 0x2a raw 후보도 active +0xec 스크립트에는 없고 parent/root 미연결이므로 생산자로 쓰지 않는다. opcode 0x14는 overlapped-target branch shape로 grounded됐지만 raw VA-shaped 후보는 stream boundary 없이는 승격하지 않는다. dispatch table context와 generic VM stream frontier도 runtime dispatch/table-base switch 또는 object+0x40 producer 승격 증거를 못 찾았으므로, 0x00423319 save/load restore와 구분되는 upstream live producer가 다음 증거다.) )zglobal mode/state frontierz*web/global_mode_state_frontier_review.html)zglobal mode/state JSON*out/global_mode_state_frontier_review.jsonrvrxr|r~rr)zopcode 0x14 branchz*web/generic_vm_opcode14_branch_review.html)zHUD mode/state.web/hud_menu_mode_state_dispatcher_review.html)zscene route boundary JSONru)zencounter producerrL)zmap animation tick JSON(out/map_animation_tick_route_review.jsonzHUD/MenuuESC/X 메뉴 openerz!payload grounded / opener pendingzright menu status: unknownz ; status UI: z; 0x40 VM tables opcode13TableCount+opcode14TableCountz ; ESC opener normalFieldEscOpenerProvenz; strict inventory 0x62/0x9f #strictInventoryDescriptorAddScriptsstrictInventoryCancelOpScriptsz; frontier intersections intersectionFunctionCountz, open candidates normalOpenCandidateCountz; selected-root promotions selectedRootPromotionCountz, 0x62 promoted !descriptorAddPromotedContextCountz; 0x62 rejected #descriptorAddRejectedUnalignedCountz!; top sequence refs/wrapper refs topMenuSequenceAllRefCounttopMenuWrapperDirectRefCountz, top wrapper calls sequence wrapperCallsTopMenuSequencez , parent parentContextClassificationz; VM graph op14 reject (postSelectedRootRejectedAsLinearOpcode14z, op14 candidates &vaShapedOverlappedTargetCandidateCountz, graph opener normalFieldEscOpenerPromotedz; active-group gate classificationz, group writes/field consumers directGroupWriteCountfieldGroupConsumerCountz; display VM root refs z; input boundary z; cancel/add/top cancelBackClearsBitcancelBackCallsAddDescriptor#cancelBackReferencesTopMenuSequencez; internal dispatcher menuInternalDispatcherProvenz , opener uregion #2/#3/#4/#6 payload, 커서, region #2 설명 pointer tables는 확정. strict active-object inventory는 제외됐다. 함수 단위 frontier에서 교집합 3개는 cancel/back, display VM base binder, field movement/collision으로 배제됐고, selected-root/table 및 global 0x62 add-descriptor scan도 opener 승격 0건이다. 4-byte aligned command 조건을 적용해 기존 0x47/0x4d operand 후보는 dword pointer table 내부 unaligned byte로 배제했다. top-menu sequence 0x004ddc6c는 wrapper 0x0047e6a0의 0x04 call operand로만 참조되며, wrapper와 parent context는 direct ref 0건이다. wrapper 직전 0x0047e688의 반복 7c e6 47 00은 opcode 0x7c가 아니라 0x0047e67c branch target 포인터로 해소됐다. 이 gate는 0x6e active group-key branch 2개와 0xe6 active-descriptor-count branch 1개로 wrapper 진입/거부를 나눈다. active group key 0x574544/0x574543은 VM 0x6d handler와 descriptor/display setup에서 쓰이고 field actor/collision subsystem에서도 소비되므로 ESC/X opener 전용 플래그가 아니다. 새 VM graph frontier는 0x0047e670의 apparent 0x14 byte도 linear opcode가 아니라 post-selectedRoot table 값으로 배제했다. 첫 dword 0x0002c614는 file-backed VA가 아니며, 0x0047e688은 이 table 내부 포인터일 뿐이다. 인접 0x004a2cb0 리소스 리스트는 compile/aaa/logo/title/btl_k 계열이라 intro/title context로 재분류되므로 평상시 opener로 승격하지 않는다. 새 input boundary에서도 0x0040c6cc는 0x0200 ESC/X bit를 clear하고 active descriptor cursor/slot을 되감는 cancel/back 소비자일 뿐 addDescriptor/top-menu sequence 근거가 없다. 0x0041d61b와 selector-state handlers는 메뉴가 열린 뒤의 내부 cursor/selector dispatcher로 확정되어 opener 후보에서 제외한다. 평상시 ESC/X opener는 이 내부층보다 위의 field mode/state transition 또는 descriptor attachment producer 쪽에 남았다.))zopener boundary JSON(out/hud_menu_opener_boundary_review.json)zopener frontierz(web/hud_menu_opener_frontier_review.html)zopener frontier JSON(out/hud_menu_opener_frontier_review.json)zselected-root frontierz/web/hud_menu_selected_root_frontier_review.html)zselected-root frontier JSON/out/hud_menu_selected_root_frontier_review.json)ztop sequence contextz-web/hud_menu_top_sequence_context_review.html)ztop sequence context JSON-out/hud_menu_top_sequence_context_review.json)zVM graph frontierz*web/hud_menu_vm_graph_frontier_review.html)zVM graph frontier JSONz*out/hud_menu_vm_graph_frontier_review.json)zactive group gatez.web/hud_active_group_gate_frontier_review.html)zactive group gate JSON.out/hud_active_group_gate_frontier_review.jsonrr)zinput consumer boundaryz+web/hud_input_consumer_boundary_review.html)zinput consumer boundary JSON+out/hud_input_consumer_boundary_review.json)zmode/state dispatcherr)zmode/state JSON.out/hud_menu_mode_state_dispatcher_review.json)zHUD menu previewzweb/hud_menu_preview.html)zright menu JSON#out/menu_right_panel_ui_review.jsonzstatus UI expressionz)web/status_menu_ui_expression_review.htmlzstatus/menu VM tablesz$web/status_menu_vm_table_review.html)zdescriptor stackz%web/menu_descriptor_stack_review.htmlu맵 애니메이션u*layer1 0x40 애니메이션 실행 binding candidateu'영역 grounded / 실행 binding 후보zanimated maps animatedMapCountz, animated cells animatedCellCountz, visible binding #visibleMotionExecutionBindingProvenz!, resource-root command hits P/T *paletteCommandInsideExactResourceRootCount,tileWriteCommandInsideExactResourceRootCountz, live VM writes candidateVmTileWriteRefCountz, live root-bound )liveBufferRefsInsideAnimatedResourceRootsz, object-relative candidateCountanimatedRootCandidateCountz, redraw consumer redrawPathGroundedz, redraw alt-tile alternateTileSelectionFoundz, draw transform #drawTimeVisibleMotionTransformFoundz, tick direct refs directLiveBufferRefsInTickRoute%directLiveBufferRefsInPerFrameUpdatesz, active script candidate &activeObjectDelayedScriptRouteGroundedz, strict +0xec writes commandBoundaryTileWriteCountz, raw +0xec candidates rawTileWriteCandidateCountz, +0x64 frame writes %opcode20CommandBoundaryTileWriteCount%opcode18CommandBoundaryTileWriteCountz, +0x64 targets opcode20AttachTargetCountopcode18StateEntryTargetCountz, remaining roots uniqueRootCountz, remaining promoted $promotedAnimatedProducerCommandCountz, specialized strong strongSpecializedCandidateCountz, static frontier producer z$, historical runtime layer0 changed layer0Changedz' (not producer proof), palette binding mapAnimationPaletteBindingStatusu애니메이션 대상 셀, live tile writer handler, redraw consumer, 일반 draw tile rect 변환은 확정. tick route 직접 write, strict +0xec script, +0x64 frame script, remaining tile-write VM root scan, specialized tick/draw loop scan은 모두 음성. 통합 static frontier에서도 draw-time transform/resource root/active-object/frame-script/non-object/specialized loop/offset-shift visual은 producer로 승격하지 않는다. 남은 증거는 animated-map load/update dispatcher에서 0x40 dirty cell을 실제 visible-motion producer로 연결하는 정적 command/root chain이다. 과거 runtime layer0 변화는 참고만 하고 producer proof로 쓰지 않는다.))zstatic frontierz-web/map_animation_static_frontier_review.html)zexecution boundaryz0web/map_animation_execution_boundary_review.html)zshift hypothesisz.out/map_animation_shift_hypothesis_review.html)zanimation tilez"out/map_animation_tile_review.html)zexecution JSON0out/map_animation_execution_boundary_review.json)z palette tracez)out/map_palette_handler_trace_review.htmlu 상태창u상태창 짧은 문구 선택u 의미 승격 / writer 미확정zcomment groups commentGroupCountz, actor tables actorTableCountz, 0x40 table records z , meaning meaningCandidatez (meaningConfidencez), chapter lists chapterNumberListCountchapterTitleListCountz, selector source selectorSourceGroundedz , producer selectorProducerProbeStatusz, payload consumer statusPayloadConsumerGroundedz, actor branch postSelectorActorBranchGroundedz, producer proven selectorProducerProvenz , base binds objectA8BackingBaseBindCountz, base route active/text activeObjectOpcodeHextextStatusOpcodeHexz, backing +0 writes offset0WriteLikeCountz, write-like offsets writeLikeOffsetCountz$, dynamic +0 candidates/status-menu target0CandidateCounttarget0InStatusMenuPayloadCountz, target+0 roots z promoted statusCommentWriterPromotedz, value-source live writer promotedLiveWriterCountz, binding states statusCountsuz문구 그룹/actor table, 40 14 inline selector array, 0x41b66d text/status handler, selector source, 상태창 payload 0x2f consumer, selector 뒤 actor-slot branch는 확정. 같은 +0 selector가 상태 문구 그룹뿐 아니라 장 번호/장 제목 리스트도 고르므로 게임 내 의미는 story/chapter selector로 승격한다. object+0xa8을 0x004576d8 backing base에 묶는 immediate bind는 2건 확정됐고, route도 active-object opcode 0x43 및 text/status 40 1b mode 1로 분리됐다. 상태 문구/장 제목 payload는 text/status route를 사용한다. 하지만 backing +0 selector byte 직접 write는 0건이다. object-VM dynamic selector writer 0x8c/0x8d/0x8f 전체 스캔에도 status/menu payload 내부 +0 writer는 0건이다. target +0 후보 52건은 root 문맥상 battle/monster/field active-object local writer라서 status/comment writer로 승격하지 않는다. save/load는 0x72 backing block을 복원할 수 있지만 live producer로 승격하지 않는다. selected-root +2/+3 primitive도 다른 route layer다. 남은 것은 이 backing +0 값을 공급하는 상위 state/scenario writer다.) r)zselector meaningz/web/status_comment_selector_meaning_review.html)zvalue-source frontierz=web/status_comment_selector_value_source_frontier_review.html)zbase bind routez.web/status_comment_base_bind_route_review.html)zbacking base refsz/web/status_comment_backing_base_ref_review.html)ztarget +0 contextz5web/status_comment_target0_writer_context_review.html)zcomment selector bindingz/web/status_comment_selector_binding_review.html)zproducer boundary JSON0out/status_comment_producer_boundary_review.json)zbacking writer scanz+web/status_comment_backing_writer_scan.html)zbacking writer JSON+out/status_comment_backing_writer_scan.json)zindirect writer scanz7web/status_comment_indirect_selector_writer_review.html)zindirect writer JSON7out/status_comment_indirect_selector_writer_review.jsonrrz%hwanse-static-analysis-remaining-work):z/out/battle_skill_implementation_gap_review.jsonz/out/battle_effect_animation_pattern_review.jsonz,out/battle_effect_runner_binding_review.jsonz"out/cns_precut_catalog_review.jsonz&out/field_encounter_static_review.jsonz1out/field_encounter_producer_boundary_review.jsonz4out/field_active_object_trigger_boundary_review.jsonz2out/field_encounter_formation_boundary_review.jsonz8out/field_encounter_formation_opcode_cluster_review.jsonz-out/map_animation_static_frontier_review.jsonz/out/scene_event_text_consumer_trace_review.jsonrwryrzr{r}rrrrurrrz%out/strict_event_source_coverage.jsonz"out/runtime_trace_feasibility.jsonrrrrrrrrz$out/status_menu_vm_table_review.jsonz)out/map_animation_exe_pattern_review.jsonrz0out/map_animation_live_buffer_writer_review.jsonz8out/map_animation_object_relative_tile_write_review.jsonz-out/map_animation_redraw_consumer_review.jsonz1out/map_animation_draw_tile_transform_review.jsonrz=out/map_animation_active_object_script_tile_write_review.jsonz5out/map_animation_frame_script_tile_write_review.jsonz8out/map_animation_non_object_tile_write_root_review.jsonz7out/map_animation_specialized_loop_boundary_review.jsonz out/runtime_map_layer0_poll.jsonz1out/runtime_map_layer0_viewport_match_review.jsonz-out/map_animation_resource_binding_probe.jsonz)out/status_menu_ui_expression_review.jsonz/out/status_comment_selector_binding_review.jsonz/out/status_comment_selector_meaning_review.jsonz=out/status_comment_selector_value_source_frontier_review.jsonz.out/status_comment_base_bind_route_review.jsonz/out/status_comment_backing_base_ref_review.jsonz5out/status_comment_target0_writer_context_review.jsonrrrc32K|]}|ddk(s dyw)r:r4rN.0items r zbuild..9RdtG} 7QR c32K|]}|ddk(s dyw)r:r>rNrrs rrzbuild..:s&`Td7mO_>_q&`rc32K|]}|ddk(s dyw)r:rDrNrrs rrzbuild..;rrc32K|]}|ddk(s dyw)r:rrNrrs rrzbuild..<s!Vg+9U!!Vr) itemCount settledCountimplementationCount blockedCountr)versionkindsourceArtifactsritems)rrrjoinlensum)Hcns cns_summary battle_impl battle_effectbattle_effect_runner hit_window field_static field_stepfield_producerfield_active_objectfield_tick_route formationformation_streamformation_clusteropcode1c scene_text selected_textselected_root_writerselected_root_opcode_matrixselector_root_preentryselector_address_predecessorsave_selector_dispatchgeneric_vm_streamgeneric_vm_opcode2ageneric_vm_opcode14display_vm_root_refs scene_routescene_route_boundaryglobal_mode_stateroute_opcode08 route_merge route_strict route_runtimemenu status_uistatus_menu_vmstatus_menu_vm_summaryhud_menu_openerhud_menu_frontierhud_menu_selected_root_frontierhud_menu_mode_statehud_menu_top_contexthud_menu_vm_graphhud_active_group_gatehud_input_boundarystatus_comment_bindingstatus_comment_summarystatus_comment_producerstatus_comment_backing_writerstatus_comment_backing_basestatus_comment_base_routestatus_comment_indirect_writerstatus_comment_meaningstatus_comment_target0_contextstatus_comment_value_sourcemap_animmap_anim_static_frontiermap_anim_boundary map_anim_tilemap_anim_resource_probemap_anim_live_writermap_anim_object_relativemap_anim_redraw_consumermap_anim_draw_transformmap_anim_tick_routemap_anim_active_scriptmap_anim_frame_scriptmap_anim_non_object_tile_rootmap_anim_specialized_loopmap_anim_runtime_pollbattle_effect_runner_readyrsH rbuildrG/s? 4 5C#,K)$QRSKI&STUM"9-W#XY#FGHJ9%IJKL#NOPJY'VWXN!),^"_`y)Z[\ "RSTIy)WXY *` aby!JKLH#PQRJI&UVWM"9-]#^_"))4]*^"_&'OP#*95f+g#h &'RS *[ \]!),["\]!),T"UV"9-V#WX)$PQRK"9-X#YZ *R STOPNDEK@AL>?M 6 7DABIABN$^4i(NOPO *P QR&-i8e.f&g#!),X"YZ"9-X#YZ *R ST#I.Z$[\ +T!UV&'TU$%;<%i0^&_`$+I6_,`$a!"))4a*b"c ' 2^(_ `%,Y7l-m%n"$Y/\%]^%,Y7j-k%l""))4o*p"qy!HIJH&y1\']^ *X YZI&FGHM%i0[&\]"9-[#\]&y1g'hi&y1\']^%i0_&`a!),R"ST$Y/j%kl#I.a$bc$+I6l,m$n! ' 2g(h i%&DE 115: P OO91 = B P OO3Q 71 < P ! $ $%92 >BVBZBZ[npqBr r P ! $ $%7 <@T@X@XYjlm@n n  P ! $ $%F Ja O 2-jnn-A1EFa WbdeHfGgh)oo.KQOPQ)oo.EqIJLR $5"BC1EYE]E]^oqrEsDtu'';'?'?@acd'e&ffh j.]SWR% 050$[__5La%P$QR*/@!DEF&&1oo6NPQ&R%SU@KL *-5!,"2"23E|GWGWXfhiGj"k!lm))5)9)9:`bc)d(ef%%/^^4Y[\%]$^_--@-D-DE\^_-`,ab//?/C/CDuwx/y.z{%%3%7%78VXY%Z$[[d ff 0*70!)--0CQ"G!HI!!*/I1!M NO%%.]]3PRS%T$UV$$5$9$9:]_d$e#fg/334SUVWXY++;+?+?@acd+e*fg!!1!5!5h@R!S T Vz .":=$\$\&$\z~~6N'O&P$\Q'$\'1~~6R'S&T$\U*$\*7*;*;)A)AB^`a)b(c$\d($\)=(@(@A](^'_ $\`% $\ &:%=%=>Y%Z$[ $\ \6 $\/223QSTUV$\WX$\/223PRSTU$\VE$\*--.Y[\]^$\_`$\*--.XZ[\]$\^($\)?(B(BCu(v'w$\x$\699:WYefg$\h$\9<<=QRS$\T($\)?(B(BC\(]'^$\_'$\ (>'A'AB]'^&_!$\ `*!$\"+A*D*DEw*x)y#$\"z/#$\$0A/D/DEc/d.e%$\$fg%$\&%((89'$\&:''$\((9'<'<=Z\]'^&_)$\(`%)$\*&7%:%:;XZ[%\$]+$\*^<+$\.(++,BKPQ/$\.RS/$\0(++,E{ST1$\0U#1$\2$8#;#;BC9$\8DE9$\:'**+CQGH;$\:IJ;$\<'**+H!LM=$\<N)=$\>*59S)T(U?$\>V"?$\@#7":":;UWX"Y!ZA$\@[%A$\B&4%7%78Y%Z$[C$\B\C$\D +|<=E$\D>*E$\F+7*:*:;]_`*a)bG$\Fc,G$\H-:,=,=l,K+LI$\HM[I$\Lj[F P(3C%&7&;&;hju(v'w% R$x#% R&$7#:#:;cep#q"r' R&s ' R(!2 5 56TVa bc) R(d%) R*&;%>%>?OQ\%]$^+ R*_0+ R.),,-DkRS/ R.TU/ R0),,-F TU1 R0V(1 R2)=(@(@AQS^(_'`3 R2a"3 R4#5"8"89I;"W!X5 R4Y"5 R8&))*?MN9 R8OP9 R:&))*H+VW; R:XY; R<&))*OQ\]^= R<_'= R>(;'>'>?]'^&_? R>`? R@.112NOPA RDKSA F*A Caa.a.@-BSBSTfhiBj!k lam"a"*,,/BMDUDUViklDm"n!oap#a#4#8#89^`e#f"gah2a+../[]^_` aab a +../]_`ab a c" a #7":":;Y[\"]!^ a _# a$8#;#;'A'ABacd'e&f#a"g(#a$)?(B(BC_ab(c'd%a$e&%a&'<&?&?@gij&k%l'a&mn'a(),,-TVWXY)a(Z!)a*"7!:!:;VXY!Z [+a*\]+a,),,-LaPQ-a,R#-a.$A#D#DEVXY#Z"[/a.\&/a0'D&G&GHnpq&r%s1a0t&1a2'@&C&CDegh&i%j3a2k,3a4-E,H,HI`bm,n+o5a4p55a66K5N5N`e5f4g7a6h#7a:$,<<0RT]#^"_;a>C M. ` 5 <SS/S"8"<"<=PRS"T!USV S 6 : :;La PQSR&S&<&@&@AUWX&Y%ZS[S2556H)TUSVS+../BINO SP! S *--.FJK S LM S*--.EqIJSK#S$;#>#>?WY^#_"`SaS4778UWmWqWqsPR[X\]^S^$S%<$?$?@_af$g#hSi S!8 ; ;<]_d efSg#S$;#>#>?WY^#_"`SaS:==>\^ijkSl*S-001H+VWSXYS -001F TU!S V%!S"&C%F%FG^`k%l$m#S"n&#S$'D&G&GH^`k&l%m%S$n5%S(2556M{[\)S(]^)S*2556WYdef+S*g"+S,#A"D"DEVXc"d!e-S,f-S.;>>?\^ijk/S.l,/S0-H,K,KLegr,s+t1S0u"1S2#9"<"<^R"P!Q3S6QE1 I v Er 7; zUReRR#&&`U&`#`ReRR!!V!VV  MG Grc|d}djd|jD}g}|dD]}djd|dD}|jdt|dd t|d d t|d d t|ddt|ddt|dd|dd|ddj|dS)Nrrc3XK|]"\}}dt|dt|d$yw)z
z z
N)r#)rkvs rrzrender_html..Ds3 Aq !vZ!v]Cs(*rc3jK|]+\}}dtt|dt|d-yw)zzN)r#r()rlabelr's rrzrender_html..Js7 t%QtDz]O2ahZt D s13r=z;
r8zu*

다음 증거: r<z

z
u Static Analysis Remaining Work

Static Analysis Remaining Work

EXE 정적 분석에서 이미 확정된 것, 웹 구현 요구, 그리고 아직 producer/root 증거가 막힌 것을 분리한 작업 큐입니다.

z
z
)rrappendr#)rrcardsrowsrr=s r render_htmlrRBs,9oG GGMMO E DW   #G}    445d6lO3DE""#DM"2!32a\8J6K5LMT']#$%""#DO"4!56556tF|_4EF""')    %JW(M( (rcVtjdtjdt}tdz j t j |dddt|}td z j |dtd |d d d |d ddy)NT)exist_okz#static_analysis_remaining_work.jsonF),:) ensure_ascii separatorsr r z#static_analysis_remaining_work.htmlz&wrote static analysis remaining work (rrz blocked, rz candidates)) rmkdirWEBrG write_textr dumpsrRprint)r html_texts rmainr_sIItIIItI 7D 00<< 4e C=D!I 00<rms#  H~''* Ul Ul24 HPf>B   zFr