diff options
| author | Valentin Popov <valentin@popov.link> | 2026-07-18 20:03:36 +0300 |
|---|---|---|
| committer | Valentin Popov <valentin@popov.link> | 2026-07-18 20:03:36 +0300 |
| commit | 6af81522a1ef85b06052112f3474dee84e2d7a5b (patch) | |
| tree | 4f1a447ae2aa2f4e7109533cec8aef63fb1a6223 /docs | |
| parent | 545d661b2b7af61c1b46cd7aebf52ece59b113fa (diff) | |
| download | fparkan-6af81522a1ef85b06052112f3474dee84e2d7a5b.tar.xz fparkan-6af81522a1ef85b06052112f3474dee84e2d7a5b.zip | |
docs(ai): mark handler one corpus-unreachable
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/appendices/script-vm.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/appendices/script-vm.md b/docs/appendices/script-vm.md index 380e367..f4012bf 100644 --- a/docs/appendices/script-vm.md +++ b/docs/appendices/script-vm.md @@ -76,6 +76,11 @@ kind `3` — float, kind `5` — unsigned integer; остальные и пус bridge для VM, но пока не Rust handler: неизвестны точный disk operand slot, ownership значения на FPU stack и следующий consumer, поэтому нельзя назвать его арифметическим opcode или silently заменить portable `f32` execution. +Отдельный проход по всем 58 GOG `.scr` (6 087 instruction records) не нашёл +ни одного selector `1`: из них 2 095 записей выбирают один из handlers, а +3 992 являются sentinel. Значит, это установленная, но не corpus-reachable +ветка данного издания; её нельзя делать приоритетным execution path без +отдельного dynamic/evidence route. `Handler(2)` (третья entry table, VA `0x10009610`) уже имеет статический contract, но ещё не Rust execution: он выбирает active event/instruction через |