descr: catch the field-position invariant where it is produced, not where it is repaired - #1053

Merged

youknowone merged 8 commits into

mainfrom

Aug 5, 2026

Commits on Aug 5, 2026

jit: document why an execute_new result needs no root of its own
youknowone
committed
5bf23ed
jitcode: re-resolve field index and name in the pass that replaces the parent
youknowone
committed
9b9a0d2
descr: census field index at the producer, assert it at the assembler
youknowone
committed
449a06a
codewriter: resolve the field slot when the offset comes from the fallback arms
youknowone
committed
190a4dc
wasm: export the field-position invariants so the gate reads them on wasm
youknowone
committed
9df5136
jitcode, codewriter: key the field slot by name, and refuse an ambiguous offset
youknowone
committed
2b5c7e4
jitcode: carry the fieldname to add_struct_field_descr
youknowone
committed
4dd8a71
jitcode: correct two comments that describe the fieldname gap as open
youknowone
committed
c98b31d