Scene/Event VM prompt sequence 검토
map1_01a 후보 대사 흐름에서 prompt, wait/render, choice, branch-call 경계를 분리한다.
요약
prompt-sequence-partial-choice-branch-blockedsequencescene-text-group-029 / scene-seq-029-01
root0x00501808..0x00503480
prompts32 shown / 128 sequence
choices4 shown / 8 sequence
choice boundary markers7
choice boundary branch calls8
branch proofFalse
Decisions
후보/partial/blocked 분리| item | promotion | evidence | remaining gap |
|---|---|---|---|
| selected text-root prompt range | partial | scene-text-group-029 / scene-seq-029-01 root 0x00501808..0x00503480 | direct normal scene record -> executed prompt root binding is still missing |
| prompt render/wait boundary | grounded-in-trace | 0x0b render rows=0, 0x06 wait rows=4 | rows are still selector-root-range trace evidence rather than full field-scene runtime proof |
| choice marker boundary | partial | choice text rows shown=4, choice-boundary opcode 0x18 rows=7 | choice text rows and opcode 0x18 rows are not always in the same prompt row, so it remains a boundary candidate |
| choice branch call | partial-blocked | choice-boundary opcode 0x09 branch-call rows=8 | selected option value and next prompt target are not proven |
| prompt sequence as story flow | blocked | early Ataho cave text matches the observed text sample | sequence contains candidate alternatives around choices; it must not be treated as a single linear script |
Choice Boundaries
4 shown| choice | start | choice text | trace prompt with 0x18 | 0x18 marker raw | branch calls | following candidates | remaining gap |
|---|---|---|---|---|---|---|---|
| 10 | 0x004c0790 | 한가한 게 좋지, 잠이나 잘까 / 한가한데 쇼핑이나 할까 | [11, 12] | 0x004c07d6 40 18 3a 020x004c07d6 40 18 3a 02 | 0x004c07de -> 0x004bfdb40x004c07de -> 0x004bfdb4 | #11 story-prompt-2381 아타호 / 「아니지... / 시간이 있을 때 실컷 자야지! #12 story-prompt-2382 아타호 / 「... 그럴까 / 식료품도 떨어질 때가 됐고 #13 story-prompt-2383 산기슭 청류마을로 / 쇼핑이나 하러 갈까! #14 story-prompt-2384 아타호 / 「그럼 쉬기로 할까 | choice marker and branch-call rows are visible, but selected option -> next prompt target is not proven |
| 15 | 0x004c0876 | 기록 / 그만둔다 | [16] | - | 0x004c08b6 -> 0x004bfdb4 | #16 story-prompt-2386 아타호 / 「어라... 분명히 / 서류종류는 정리해서 #17 story-prompt-2387 항아리에 넣어두었는데... / 그중 무투대회 안내장도 / 있었을 텐데... #18 story-prompt-2388 아타호 / 「어, 그런데 내가... / 왜 돌아왔지? | choice marker and branch-call rows are visible, but selected option -> next prompt target is not proven |
| 19 | 0x004c09fc | 쇼핑은 그만두고 자자 / 아니 쇼핑하러 가볼까 | [20] | 0x004c0a38 40 18 3a 02 | 0x004c0a40 -> 0x004bfdb4 | #20 story-prompt-2390 아타호 / 「이런 쓸데없이 / 몇번씩이나 집에 돌아왔네 #21 story-prompt-2391 난, 아직 건망증이 생길 / 나이는 아냐 / 정신차려야지 | choice marker and branch-call rows are visible, but selected option -> next prompt target is not proven |
| 22 | 0x004c0ad4 | 후~쇼핑은 관두고 자자 / 아냐 억지로라도 쇼핑가야지 | [23, 24, 25, 26] | 0x004c0b18 40 18 3a 020x004c0b18 40 18 3a 020x004c0b18 40 18 3a 020x004c0b18 40 18 3a 02 | 0x004c0b20 -> 0x004bfdb40x004c0b20 -> 0x004bfdb40x004c0b20 -> 0x004bfdb40x004c0b20 -> 0x004bfdb4 | #23 story-prompt-2393 아타호 / 「이거 괜시리 귀찮구만 / 역시 잠이나 자자 #24 story-prompt-2394 아타호 / 「좋아 이번에야말로 / 쇼핑하러 가야지! #25 story-prompt-2395 아타호 / 「분명 이 항아리 안에 / 넣어두었는데... #26 story-prompt-2396 아타호 / 「아, 찾았다 이거야 #27 story-prompt-2397 「무투대회 안내서와 신청용지」 / 즉...「무투대회 안내장」 / 을 손에 넣었다 #28 story-prompt-2398 아타호 / 「오호 그렇군... / 이런! 여유가 별로 없잖아! #29 story-prompt-2399 신청기간이 얼마 안남았으니 / 빨리 서둘러야겠다!! / 즉시 출발해볼까...?! #30 story-prompt-2400 그때... 밖에선 / 큰일이 벌어지고 있었다 | choice marker and branch-call rows are visible, but selected option -> next prompt target is not proven |
Prompt Rows
32 shown| # | level | status | start | prompt | text | opcodes |
|---|---|---|---|---|---|---|
| 1 | candidate | context-scan-wait-delimited | 0x004c0600 | story-prompt-5139 | 여긴 호랑이권법가 / 아타호가 사는 곳! | 0x00, 0x01, 0x02, 0x03, 0x04, 0x06, 0x07, 0x08, 0x09, 0x0a, 0x0b, 0x0d, 0x10, 0x11, 0x12, 0x13, 0x15, 0x18, 0x19, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f, 0x20, 0x21, 0x22, 0x24, 0x26, 0x29, 0x2c, 0x2d, 0x2f, 0x30, 0x31, 0x34, 0x35, 0x37, 0x38, 0x3a, 0x3c, 0x3d, 0x3e, 0x3f, 0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47, 0x49, 0x4a, 0x4b, 0x4d, 0x4e, 0x4f, 0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f, 0x62, 0x64, 0x65, 0x69, 0x6b, 0x6c, 0x6d, 0x6f, 0x70, 0x72, 0x73, 0x77, 0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f, 0x81, 0x85, 0x86, 0x89, 0x8a, 0x8f, 0x90, 0x92, 0x93, 0x94, 0x95, 0x97, 0x99, 0x9b, 0x9d, 0xa0, 0xa2, 0xa4, 0xa7, 0xa8, 0xaa, 0xae, 0xb0, 0xb4, 0xb5, 0xb6, 0xb7, 0xb8, 0xba, 0xbf, 0xc1, 0xc4, 0xc6, 0xc9, 0xcb, 0xcc, 0xcd, 0xd0, 0xd5, 0xd6, 0xd7, 0xd8, 0xd9, 0xdc, 0xe0, 0xe1, 0xe5, 0xe6, 0xe9, 0xec, 0xee, 0xf0, 0xf1, 0xf6, 0xf8, 0xf9, 0xff |
| 2 | candidate | render-scan-wait-delimited | 0x004c062e | story-prompt-2372 | 아타호는 동굴에서 / 한가롭게 지내고 있다 | 0x02, 0x06, 0x0b |
| 3 | candidate | render-scan-wait-delimited | 0x004c062e | story-prompt-2373 | 아타호 / 「정말 좋은 날씨야 / 한가해져서 더 좋군! | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x35 |
| 4 | candidate | render-scan-wait-delimited | 0x004c06b0 | story-prompt-2374 | 정말... 한동안은 / 바빠서 정신이 없었는데... | 0x02, 0x06, 0x0b |
| 5 | candidate | render-scan-wait-delimited | 0x004c06b0 | story-prompt-2375 | 아타호 / 「그럼 낮잠이나 자볼까! | 0x00, 0x02, 0x06, 0x09, 0x0b |
| 6 | candidate | render-scan-wait-delimited | 0x004c06b0 | story-prompt-2376 | ... | 0x06, 0x0b |
| 7 | candidate | render-scan-wait-delimited | 0x004c06b0 | story-prompt-2377 | ... | 0x06, 0x0b |
| 8 | candidate | render-scan-wait-delimited | 0x004c06b0 | story-prompt-2378 | ... | 0x06, 0x0b |
| 9 | candidate | render-scan-wait-delimited | 0x004c06b0 | story-prompt-2379 | 아타호 / 「한가해진 건 좋은데, / 너무 심심하구만....... | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x35 |
| 10 | partial | choice-marker-delimited | 0x004c0790 | story-prompt-2380 | 한가한 게 좋지, 잠이나 잘까 / 한가한데 쇼핑이나 할까 | 0x02, 0x0b, 0x18, 0x35 |
| 11 | candidate | render-scan-wait-delimited | 0x004c0790 | story-prompt-2381 | 아타호 / 「아니지... / 시간이 있을 때 실컷 자야지! | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x18, 0x35 |
| 12 | candidate | render-scan-wait-delimited | 0x004c0790 | story-prompt-2382 | 아타호 / 「... 그럴까 / 식료품도 떨어질 때가 됐고 | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x18, 0x35 |
| 13 | candidate | render-scan-wait-delimited | 0x004c0876 | story-prompt-2383 | 산기슭 청류마을로 / 쇼핑이나 하러 갈까! | 0x02, 0x06, 0x0b |
| 14 | candidate | render-scan-wait-delimited | 0x004c0876 | story-prompt-2384 | 아타호 / 「그럼 쉬기로 할까 | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x35 |
| 15 | partial | choice-marker-delimited | 0x004c0876 | story-prompt-2385 | 기록 / 그만둔다 | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x18, 0x35 |
| 16 | candidate | render-scan-wait-delimited | 0x004c0876 | story-prompt-2386 | 아타호 / 「어라... 분명히 / 서류종류는 정리해서 | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x18, 0x35 |
| 17 | candidate | render-scan-wait-delimited | 0x004c0956 | story-prompt-2387 | 항아리에 넣어두었는데... / 그중 무투대회 안내장도 / 있었을 텐데... | 0x02, 0x06, 0x0b |
| 18 | candidate | render-scan-wait-delimited | 0x004c0956 | story-prompt-2388 | 아타호 / 「어, 그런데 내가... / 왜 돌아왔지? | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x35 |
| 19 | partial | choice-marker-delimited | 0x004c09fc | story-prompt-2389 | 쇼핑은 그만두고 자자 / 아니 쇼핑하러 가볼까 | 0x02, 0x0b, 0x18, 0x35 |
| 20 | candidate | render-scan-wait-delimited | 0x004c09fc | story-prompt-2390 | 아타호 / 「이런 쓸데없이 / 몇번씩이나 집에 돌아왔네 | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x18, 0x35 |
| 21 | candidate | render-scan-wait-delimited | 0x004c0a8a | story-prompt-2391 | 난, 아직 건망증이 생길 / 나이는 아냐 / 정신차려야지 | 0x02, 0x06, 0x0b |
| 22 | partial | choice-marker-delimited | 0x004c0ad4 | story-prompt-2392 | 후~쇼핑은 관두고 자자 / 아냐 억지로라도 쇼핑가야지 | 0x02, 0x0b, 0x18, 0x35 |
| 23 | candidate | render-scan-wait-delimited | 0x004c0ad4 | story-prompt-2393 | 아타호 / 「이거 괜시리 귀찮구만 / 역시 잠이나 자자 | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x18, 0x35 |
| 24 | candidate | render-scan-wait-delimited | 0x004c0ad4 | story-prompt-2394 | 아타호 / 「좋아 이번에야말로 / 쇼핑하러 가야지! | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x18, 0x35 |
| 25 | candidate | render-scan-wait-delimited | 0x004c0ad4 | story-prompt-2395 | 아타호 / 「분명 이 항아리 안에 / 넣어두었는데... | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x18, 0x35 |
| 26 | candidate | render-scan-wait-delimited | 0x004c0ad4 | story-prompt-2396 | 아타호 / 「아, 찾았다 이거야 | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x18, 0x35 |
| 27 | candidate | render-scan-wait-delimited | 0x004c0c40 | story-prompt-2397 | 「무투대회 안내서와 신청용지」 / 즉...「무투대회 안내장」 / 을 손에 넣었다 | 0x02, 0x06, 0x0b, 0x2c, 0x35 |
| 28 | candidate | render-scan-wait-delimited | 0x004c0c40 | story-prompt-2398 | 아타호 / 「오호 그렇군... / 이런! 여유가 별로 없잖아! | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x2c, 0x2d, 0x35 |
| 29 | candidate | render-scan-wait-delimited | 0x004c0d06 | story-prompt-2399 | 신청기간이 얼마 안남았으니 / 빨리 서둘러야겠다!! / 즉시 출발해볼까...?! | 0x02, 0x06, 0x0b |
| 30 | candidate | render-scan-wait-delimited | 0x004c0d68 | story-prompt-2400 | 그때... 밖에선 / 큰일이 벌어지고 있었다 | 0x02, 0x06, 0x0b, 0x35 |
| 31 | candidate | render-scan-wait-delimited | 0x004c0d68 | story-prompt-2401 | 흑복면의 사내(빨간띠) / 「네놈이 아타호지?! | 0x00, 0x02, 0x06, 0x09, 0x0b, 0x35 |
| 32 | candidate | render-scan-wait-delimited | 0x004c0dde | story-prompt-2402 | 호랑이권법가 / 「어...? / 자, 잠깐 기다려... | 0x02, 0x06, 0x0b |
Command Boundary Rows
| prompt | cmd | VA | opcode | label | roles | branch target | raw |
|---|---|---|---|---|---|---|---|
| 1 | 1 | 0x0043c186 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 2 | 0x0043c196 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 43 | 0x0043c586 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 44 | 0x0043c58e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 45 | 0x0043c5a6 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 46 | 0x0043c5ae | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 47 | 0x0043c5c6 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 48 | 0x0043c5d6 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 49 | 0x0043c5e6 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 50 | 0x0043c5f6 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 51 | 0x0043c5fe | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 52 | 0x0043c60e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 53 | 0x0043c61e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 54 | 0x0043c62e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 55 | 0x0043c646 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 56 | 0x0043c656 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 57 | 0x0043c666 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 58 | 0x0043c676 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 59 | 0x0043c67e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 60 | 0x0043c68e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 61 | 0x0043c69e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 62 | 0x0043c6ae | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 63 | 0x0043c806 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 64 | 0x0043c80e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 65 | 0x0043c826 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 66 | 0x0043c82e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 67 | 0x0043c83e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 68 | 0x0043c84e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 69 | 0x0043c85e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 70 | 0x0043c86e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 71 | 0x0043c87e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 72 | 0x0043c88e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 73 | 0x0043c89e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 74 | 0x0043c8ae | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 75 | 0x0043c8be | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 76 | 0x0043c8ce | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 77 | 0x0043c8de | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 78 | 0x0043c8f2 | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 79 | 0x0043c906 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 80 | 0x0043c90a | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 81 | 0x0043c90e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 82 | 0x0043c9d2 | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 83 | 0x0043c9da | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 84 | 0x0043c9ea | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 85 | 0x0043ca06 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 86 | 0x0043ca0e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 87 | 0x0043ca26 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 88 | 0x0043ca2e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 89 | 0x0043ca46 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 90 | 0x0043ca56 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 91 | 0x0043ca66 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 92 | 0x0043ca76 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 93 | 0x0043ca7e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 94 | 0x0043ca8e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 95 | 0x0043ca9e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 96 | 0x0043caae | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 97 | 0x0043cac6 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 98 | 0x0043cad6 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 99 | 0x0043cae6 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 100 | 0x0043caf6 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 101 | 0x0043cafe | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 102 | 0x0043cb0e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 103 | 0x0043cb1e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 104 | 0x0043cb2e | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 105 | 0x0043cb46 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 106 | 0x0043cb52 | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 107 | 0x0043cb56 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 112 | 0x0043cc84 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 118 | 0x0043d8f7 | 0x06 | wait for input release | - | 40 06 00 07 | |
| 1 | 119 | 0x0043d90f | 0x06 | wait for input release | - | 40 06 00 07 | |
| 1 | 120 | 0x0043d93c | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 121 | 0x0043d958 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 136 | 0x0043f0a3 | 0x06 | wait for input release | - | 40 06 00 07 | |
| 1 | 137 | 0x0043f0bb | 0x06 | wait for input release | - | 40 06 00 07 | |
| 1 | 138 | 0x0043f0d0 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 139 | 0x0043f0ec | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 142 | 0x0043f3b0 | 0x00 | end/clear | - | 40 00 00 00 | |
| 1 | 144 | 0x0043fc4a | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 149 | 0x00440020 | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 150 | 0x00440044 | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 152 | 0x0044006a | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 153 | 0x00440086 | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 155 | 0x004400b2 | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 157 | 0x004400ec | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 159 | 0x00440128 | 0x02 | text separator/line advance | - | 40 02 00 00 | |
| 1 | 160 | 0x00440142 | 0x02 | text separator/line advance | - | 40 02 00 00 |
Remaining Proofs
goal continuation- direct map1_01a scene record -> selected prompt root binding
- selected choice value -> next prompt target edge
- branch target 0x004bfdb4 role for each choice path
- normal field-scene runtime proof that this candidate sequence is the executed sequence
- full unshown prompt/choice coverage beyond the first 32 prompt rows
Source Artifacts
map1Trace: out/map1_01a_scene_trace.jsonsceneVmReference: docs/SCENE_EVENT_VM_REFERENCE.mdsceneVmGoal: docs/SCENE_EVENT_VM_GOAL.md