programs-react: regression fixtures for inline reconstruction (bracketed + smeared)#239
Merged
Merged
Conversation
…d shapes Add fixtures for both emission shapes the reconstruction must handle: - bracketed (post #235): invoke on the body's first op, return on the last, transform:["inline"] on all — frame visible across every body op INCLUDING the exit op (close-after), gone at the gap. - legacy smeared: every op carries invoke+return+inline — close-after still yields exactly one frame per body, no accumulation across gap-separated bodies. Verified end-to-end on real O2 (dbl@2 sites, #235 bracketed emission): one virtual frame per body incl. the exit op, top level between/after.
Contributor
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Test-only follow-up to #237. Locks the inline virtual-activation call-stack reconstruction against both emission shapes it must survive, per architect's self-check request.
transform:["inline"]on every op. Asserts the virtual frame is visible across every body op including the return-bearing exit op (close-after) and gone at the gap — the exact format: clarify inline activation reconstruction (push/pop vs membership) #233 contract now that the compiler brackets the emission.No production changes. Full programs-react suite green (61). Also verified end-to-end against real O2 (
dblinlined at 2 sites) on the shippedtransform-context: one virtual frame per body incl. the exit op, top level between/after, no phantom frames.