Save Selector Opcode 0x20 Runtime Materializers

route map1_01a -> map2_02d; current selector 2:0; load rebuild call 0x0042349c; descriptor mutation rows 0; opcode 0x20 self-mutation path eliminated: True; current frontier active order proven: False; proofFound False; promotion status blocked.

The active order/count path is now separated from the save-selector stream. Save load materializes descriptor pointers by calling 0x00432323 after the save blocks are read and before the selector pointer is chosen. Later add/remove mutations are general nested-script opcodes 0x62/0x63 through table 0x00440538. The current selector 2:0 leaf rows with low byte 0x63 are CNS/resource words decoded through the save-selector table, not the general remove handler, and the scanned opcode 0x20 descriptor scripts contain no general 0x62/0x63 rows. This removes an opcode 0x20 self-mutation path, but it still does not prove the current selector 2:0 active order because public samples cover selectors 0:0, 1:0, and 22:0 only.

Failed Gates

current-selector-2-0-active-order
selected-root-runtime-materializer-execution
normal-route-descriptor-mutation-observation
route-promotion-proof

Missing Evidence

current selector 2:0 active order/count from public or captured save data
selected-root runtime execution through save-load rebuild or materializer path
normal-route observation tying materialized active descriptor order to opcode 0x20 descriptor scripts
route-promotion proof linking active order/materializers to map1_01a -> map2_02d

Evidence Refs

Hwanse2.exe: active slot materializer routines and handler table references
out/save_loader_trace.json: save-load block reads and rebuild-call ordering
out/save_selector_opcode20_descriptor_scripts.json: descriptor script mutation scan and opcode 0x20 self-mutation elimination
out/save_selector_opcode20_sample_order_effects.json: public sample active-order coverage gap
out/save_selector_leaf_streams.json: current selector leaf low-byte rows decoded through the save-selector table

Handler Tables

table	opcode	handler	role
general `0x00440538`	`0x62`	`0x00407cc1`	add active slot
general `0x00440538`	`0x63`	`0x00407ce5`	remove active slot
save-selector `0x00440720`	`0x62`	`0x0040239f`	not an active-order materializer in the save-selector table
save-selector `0x00440720`	`0x63`	`0x0041004f`	not an active-order materializer in the save-selector table

Materializers

name	function	core label	direct calls	meaning
add active save/object slot	`0x00431fe8`	`0x0043215c`	0x00407cd1	Called by the general-table opcode 0x62 handler with stream+1 as the descriptor id.
rebuild active slot descriptors	`0x00432323`	`0x00432323`	0x0042349c	Called after save blocks are loaded to materialize descriptor pointers from saved count/order bytes.
remove/rebuild active slot descriptors	`0x00432541`	`0x00432541`	0x00407cf5	Called by the general-table opcode 0x63 handler with stream+1 as the descriptor id to remove.

Current Route Same-Low-Byte Rows

stream	word	value	kind	save-selector handler	general handler	reason
`0x00542ac0` leaf	`0x00542b04`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542ac0` leaf	`0x00542b78`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542ac0` leaf	`0x00542be0`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542e10` nested	`0x00542e2c`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542ad4` leaf	`0x00542b04`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542ad4` leaf	`0x00542b78`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542ad4` leaf	`0x00542be0`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542e48` nested	`0x00542e64`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542ae8` leaf	`0x00542b04`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542ae8` leaf	`0x00542b78`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table
`0x00542ae8` leaf	`0x00542be0`	`0x0053f463`	cns face_01.cns	`0x0041004f`	`0x00407ce5`	current route leaf/nested rows are decoded through the save-selector table, not the general nested-object table

Public Sample Order

sample count 0; unique signatures ; active descriptor sets []; current frontier sample covered False.