jan/rrt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Narrow Tier2 source selection frontier

Browse source
This commit is contained in:
Jan Petykiewicz 2026-04-19 12:26:18 -07:00
commit 0b0420c898
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
artifacts/exports/rt3-1.06/runtime-effect-kind8-tier2-named-availability-note.md
View file

@ -212,6 +212,10 @@ So the surviving frontier is narrower again:
byte streams, but not the auxiliary fixed body or selector bytes `[+0xb8..+0xbb]`; and byte streams, but not the auxiliary fixed body or selector bytes `[+0xb8..+0xbb]`; and
`0x0041a950`, when the restore flags demand it, only releases the current live aux collection and `0x0041a950`, when the restore flags demand it, only releases the current live aux collection and
tail-jumps back into the same `0x004196c0 -> 0x00419230` import-plus-follow-on chain tail-jumps back into the same `0x004196c0 -> 0x00419230` import-plus-follow-on chain
- the world-entry load branch does not add a hidden title-specific selector in between either:
`0x00438c70` allocates the live candidate pool through `0x004131f0` and the auxiliary/source
pool through `0x0041aa50`, and both constructors tail directly into the same fixed tagged-import
families rooted at `0x005c93fc` and `.\Data\BuildingTypes\`
- but the still-missing owner is the earlier non-stock writer or restore-time projection seam that - but the still-missing owner is the earlier non-stock writer or restore-time projection seam that
makes some live candidates reach those later consumers with nonzero `[candidate+0xba/+0xbb]` makes some live candidates reach those later consumers with nonzero `[candidate+0xba/+0xbb]`
despite the observed all-zero BCA corpus despite the observed all-zero BCA corpus

4
docs/rehost-queue.md
View file

@ -700,6 +700,10 @@ Working rule:
`[+0xb8..+0xbb]`, and `0x0041a950` only releases the live aux collection before re-entering `[+0xb8..+0xbb]`, and `0x0041a950` only releases the live aux collection before re-entering
the same `0x004196c0 -> 0x00419230` import-plus-follow-on strip when the restore flags demand the same `0x004196c0 -> 0x00419230` import-plus-follow-on strip when the restore flags demand
it. it.
The outer world-entry load branch is fixed in the same way: `0x00438c70` allocates the live
candidate pool through `0x004131f0` and the auxiliary/source pool through `0x0041aa50`, and
both constructors tail directly into the same fixed tagged-import families rather than taking a
title-specific source-selection branch in between.
So the honest next queue head is now one step earlier again: So the honest next queue head is now one step earlier again:
recover the non-stock writer or restore-time projection owner that makes some live candidates recover the non-stock writer or restore-time projection owner that makes some live candidates
reach those later consumer strips with nonzero `[candidate+0xba/+0xbb]` despite the observed reach those later consumer strips with nonzero `[candidate+0xba/+0xbb]` despite the observed