Repository navigation
[Calls] Replay saved concrete input environments - #617
Open
CaelmBleidd wants to merge 2 commits into
Open
CaelmBleidd wants to merge 2 commits into
CaelmBleidd wants to merge 2 commits into
Conversation
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
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.
Class probes save concrete input journals, but consuming a saved state still requires a hand-written native wrapper. Add
class-replay-inputto select one journal state, verify the producing manifest and frozen source/journal hashes, restore its original receiver, arguments and environment, and invoke the original callable through the existing supervised class replayer.A private AST-checked source overlay supplies exact source-qualified prototypes, static data setters and mutable top-level module setters. Partial environments, inaccessible bindings, unsupported class state and unresolved runtime module boundaries produce explicit unsupported outcomes. Saved-input replay preserves initializer diagnostics; existing lifecycle callers retain their checked-closure default. An unavailable callable is a harness failure before invocation.
The result records actual native completion and return representability separately from the immutable symbolic candidate. Prefix reachability and native class coverage remain a later validation stage, so
nativeReplayValidatedandnativeCoverageAvailablestay false.This is a child of #568, based on its verified head
835748c620fb5f4691f7a5432c49995444ed1770.Validation:
valuethat must not be shadowed by the generated setter. The new tests are included in the standard adapter test command.ignoreFailures=false, without autocorrection; all three SARIF reports have zero findings.Review the AST eligibility rules, then saved-state identity/restoration and the source/native regression fixtures. Full suites are left to CI.